---
title: 'Acyclonestohedron: Nested Complex Polytope'
url: https://www.emergentmind.com/topics/acyclonestohedron
type: topic
---

# Acyclonestohedron: Nested Complex Polytope

to=arxiv_search  微信的天天中彩票=json
{"query":"Acyclonestohedron arXiv 2509.15914 Facial nested complexes and acyclonestohedra", "max_results": 5, "sort_by": "relevance"}
An acyclonestohedron is a polytope associated with an acyclic realizable oriented matroid together with a building set, defined so that its boundary complex realizes the corresponding facial nested complex, equivalently the acyclic nested complex. In the realizable case, it is obtained as the section of a classical nestohedron by the evaluation space of a vector configuration realizing the oriented matroid, thereby extracting the “acyclic part” of a Boolean nested complex in a geometrically explicit way [2509.15914].

## 1. Combinatorial definition

The combinatorial input for an acyclonestohedron is a building set and an oriented matroid. In the framework of facial nested complexes, building sets and nested complexes are considered not only on the Boolean lattice but also on face lattices of polytopes or, more generally, on the Las Vergnas face lattices of oriented matroids. For an acyclic oriented matroid \(\mathcal{M}\), a facial building set \(\mathcal{B}\) on its face lattice produces a facial nested complex \(\mathcal{N}_{(\mathcal{M})}[\mathcal{B}]\). In parallel, an oriented building set \((B,\mathcal{M})\) is a building set compatible with \(\mathcal{M}\) in the sense that the support of any circuit of \(\mathcal{M}\) lies in \(B\). The associated acyclic nested complex \(A(B,\mathcal{M})\) consists of those nested sets whose induced matroid contractions remain acyclic, meaning that no positive circuits are created and the relevant subspaces continue to correspond to faces [2509.15914].

A central equivalence identifies these two constructions. For acyclic \(\mathcal{M}\), the facial nested complex for the facial building set coincides combinatorially with the acyclic nested complex for the oriented building set:
\[
\mathcal{N}_{(\mathcal{M})}[\mathcal{B}] = A(B,\mathcal{M}).
\]
This equivalence places acyclonestohedra at the intersection of nested-set combinatorics, oriented matroid theory, and face-lattice geometry. The acyclonestohedron is the polytopal realization of this common complex when \(\mathcal{M}\) is realizable [2509.15914].

## 2. Realization as a section of a nestohedron

The geometric construction begins with a Boolean building set \(B\) on a ground set \(S\), a classical nestohedron \(Nest(B,\rho)\) in \(\mathbb{R}^S\), and a realizable oriented matroid given by a vector configuration \(\mathbf{A}=(\mathbf{a}_s)_{s\in S}\). The evaluation space \(\mathcal{E}\) is the image of \(\mathbb{R}^d\) under the map
\[
f \mapsto (f(a_s))_{s\in S}.
\]
The acyclonestohedron is then defined by the section
\[
\mathrm{Acyc}(B,\mathbf{A}) = Nest(B,\rho)\cap \mathcal{E}.
\]
This construction is explicit and non-iterative: rather than obtaining the desired polytope through successive stellar subdivisions or truncations, one starts from a Boolean nestohedron and selects the relevant acyclic subgeometry by intersection with \(\mathcal{E}\) [2509.15914].

The section description admits a direct inequality form in \(\mathbb{R}^d\). For an element \(B\) of the building set,
\[
\bar{g}_B(\mathbf{y}) = \sum_{b \in B} \mathbf{a}_b \cdot \mathbf{y} - \sum_{B' \subseteq B} \rho_{B'},
\]
and
\[
A(B,\mathbf{A}) = \{\mathbf{y} \in \mathbb{R}^d: \bar{g}_B(\mathbf{y}) \geq 0 \ \forall B \in B,\text{ with some equalities for maximal blocks}\}.
\]
In this description, the inequalities inherited from the ambient nestohedron become redundant whenever the corresponding building-set elements are not faces of the oriented matroid; only the acyclic part survives in the section. The same object can therefore be viewed either as a section inside \(\mathbb{R}^S\) or as a polytope directly defined in the span of the realizing vectors [2509.15914].

## 3. Structural properties of the underlying complex

The nested complexes underlying acyclonestohedra are described as face lattices of oriented matroids obtained by iterated stellar subdivisions of the positive tope. In the realizable case, this abstract nested complex is isomorphic to the boundary complex of a polytope, and the acyclonestohedron provides a combinatorially meaningful realization of that boundary. More specifically, the boundary of the polar of \(\mathrm{Acyc}(B,\mathbf{A})\) realizes the acyclic nested complex [2509.15914].

Several closure and embedding properties are built into this framework. All links in the acyclic nested complex are themselves acyclic nested complexes. The facial nested complex can be embedded canonically as the subcomplex of a Boolean nested complex supported on acyclic flags. More generally, any atomic nested complex has a canonical embedding inside a Boolean nested complex. The same theory also embeds nested complexes over lattices of faces into nested complexes over lattices of flats, recovering as a particular case the embedding of the positive Bergman complex into the Bergman complex. These results show that the acyclonestohedron is not an isolated polytope family, but part of a broader nested-complex formalism governing blowups, face-lattice refinement, and oriented matroid stratifications [2509.15914].

## 4. Position among related polytope families

Acyclonestohedra generalize several established families of nested-like polytopes. Poset associahedra are the graphical acyclonestohedra, and the general framework extends Galashin’s construction from order polytopes to any polytope. The same setting also encompasses simple polytope nestohedra, hyperoctahedral nestohedra, design graph associahedra, and permutopermutohedra. In this sense, the acyclonestohedron is a unifying object: it retains the nested-set organization characteristic of nestohedra while imposing an additional acyclicity constraint derived from oriented matroid data [2509.15914].

It is distinct from similarly named but structurally different polyhedral objects. An acyclotope is a graphical zonotope \(Z(A_G)\), obtained from the incidence matrix of a graph and situated in the zonotope–hyperplane-arrangement–matroid dictionary; in type \(A\), it is a sub-polytope of the permutahedron [2409.15227]. The cyclopermutohedron, by contrast, is a virtual polytope
\[
\mathcal{CP}_{n+1}=\left(\sum_{i<j} q_{ij}\right)+(1,\ldots,1)-\left(\sum_{i=1}^n r_i\right),
\]
whose cell complex is labeled by cyclically ordered partitions and which cannot be represented by a convex polytope because it is not a combinatorial sphere, or even a combinatorial manifold [1401.7476]. The acyclonestohedron is neither a graphical zonotope nor a virtual polytope in this construction; it is a section of a nestohedron selected by evaluation-space constraints [2509.15914].

## 5. Factorization, ABHY-like realizations, and canonical forms

A subsequent line of work studies acyclonestohedra as positive geometries. In that setting they are described as generalizations of Stasheff associahedra and graph associahedra, defined on the data of a partially ordered set or, more generally, an acyclic realisable matroid on a building set. The face poset is the opposite of the poset of acyclic nestings. For a realizable oriented building set, an ABHY-like realization is given in terms of kinematic variables
\[
X_B = \sum_{i \in B} a_i - \sum_{B' \subseteq B} c_{B'},
\]
together with inequalities
\[
\begin{aligned}
X_B &\ge 0 \quad\text{for all } B \in \mathcal{B} \text{ where }\mathcal{C}_{|B} \text{ and } \mathcal{C}_{/B} \text{ acyclic},\\
X_\kappa &= 0 \quad\text{for each connected component }\kappa \in \max\mathcal{B}.
\end{aligned}
\]
If the vectors \(a_i\) span a \(k\)-dimensional space and \(|\max\mathcal{B}|\) is the number of connected components, then the acyclonestohedron has dimension \(k-|\max\mathcal{B}|\) [2507.09736].

The same work emphasizes recursive factorization. The facet associated with \(B\) factorizes as a product of smaller acyclonestohedra, one for \((\mathcal{B}_{|B},\mathcal{C}_{|B})\) and one for \((\mathcal{B}_{/B},\mathcal{C}_{/B})\). This factorization underlies the interpretation of canonical forms and amplitube-like functions:
\[
A_{(S,\mathcal{B},\mathcal{C})} = \sum_\tau \prod_{B \in \tau} \frac{1}{X_B},
\]
where the sum runs over maximal acyclic nestings. The canonical form \(\Omega\) is related to the amplitube by
\[
\Omega = A_{(S,\mathcal B,\mathcal C)} \wedge \bigwedge_B dX_B,
\]
up to elimination of dependent variables. In the same framework, acyclonestohedra admit truncations to acyclonesto-cosmohedra, whose canonical forms are proposed as generalizations of cosmological wavefunction coefficients, and for which there is evidence of realization as sections of graph cosmohedra [2507.09736].

## 6. Realizability, topology, and scope

The explicit polytopal realization is stated for realizable oriented matroids. In that case, the acyclonestohedron gives concrete coordinates and a boundary complex matching the facial or acyclic nested complex. By contrast, in the general non-realizable setting, the available conclusions are weaker: the framework guarantees combinatorial and topological structure, but the explicit section construction requires a vector configuration realizing the oriented matroid [2509.15914].

The same framework also has a compactification interpretation. By Gaiffi’s theory, the acyclonestohedron models the stratified boundary structure of a compactification of the polytope interior, linking nested complexes with Fulton–MacPherson-type and positive-Bergman-type constructions. This places acyclonestohedra within a broader program in which face-lattice combinatorics, oriented matroid acyclicity, and polyhedral compactification are treated simultaneously. A common misconception is that the object is merely another name for a graph associahedron or for a graphical zonotope; the current theory shows instead that graph- and poset-based examples are special cases of a construction that extends to arbitrary realizable oriented matroids and to embeddings between nested complexes over different lattices [2509.15914].

Source: https://www.emergentmind.com/topics/acyclonestohedron