---
title: Acyclonestohedra in Oriented Matroid Theory
url: https://www.emergentmind.com/topics/acyclonestohedra
type: topic
---

# Acyclonestohedra in Oriented Matroid Theory

Acyclonestohedra are polytopes associated with **acyclic nested complexes** on oriented matroids. In the realizable case, an acyclonestohedron is obtained by intersecting a nestohedron with the **evaluation space** of a vector configuration, and the resulting section selects exactly the acyclic part of the corresponding boolean nested complex; equivalently, the acyclic nested complex is the boundary complex of the polar of that section [2509.15914]. In a parallel formulation, acyclonestohedra are convex polytopes whose faces are indexed by **acyclic nestings** on an oriented building set \((S,\mathcal B,\mathcal C)\), and they generalize Stasheff associahedra, graph associahedra, nestohedra, and poset associahedra [2507.09736].

## 1. Lattice-theoretic and oriented-matroid foundations

A **building set** on a finite lattice \(L\) is a subset \(B\subseteq L_{>0}\) such that every interval below an element \(Y\) factors as a product of the intervals below the maximal blocks of \(B\) contained in \(Y\) [2509.15914]. In the boolean case \(L=2^S\), this reduces to the condition that \(B\) contains all singletons and is closed under unions of intersecting members. Given a building set \(B\), a **nested set** is a subset \(\mathcal N\subseteq B\) containing the connected components \((B)\) such that any collection of pairwise incomparable members has join not in \(B\). The corresponding **nested complex** \(\mathcal N(B)\) is the simplicial complex of these nested sets, with the connected components removed when passing to the simplicial complex.

For boolean building sets, nested complexes are realized by **nestohedra**
\[
Nest(B,\lambda)=\sum_{B\in B}\lambda_B\,\triangle_B,
\]
where \(\triangle_B=\operatorname{conv}\{e_b:b\in B\}\) and \(\lambda_B>0\) for \(|B|\ge 2\) [2509.15914]. Their normal fan is the nested fan, and the boundary complex of the polar is isomorphic to the nested complex.

The oriented-matroid generalization replaces the boolean lattice by the **Las Vergnas face lattice** \((\OM)\) of an oriented matroid \(\OM\). A subset \(F\subseteq S\) is a face precisely when
\[
F \text{ is a face } \iff (S\setminus F,\varnothing)\in \covectors[\OM].
\]
If \(\OM\) is realizable by a vector configuration \(A=(a_s)_{s\in S}\) and is acyclic, then this face lattice agrees with the face lattice of the cone \(R_{\ge 0}A\), and therefore with the face lattice of a polytope obtained by slicing that cone [2509.15914]. A **facial building set** is a building set on this face lattice, and the associated nested complex is the **facial nested complex**.

The abstract of "Facial nested complexes and acyclonestohedra" states that nested complexes of building sets on Las Vergnas face lattices are obtained by iterated stellar subdivisions of the positive tope, and that in the realizable case the nested complex is isomorphic to the boundary complex of a polytope [2509.15914]. This places acyclonestohedra in the intersection of nestohedral combinatorics and oriented-matroid face theory.

## 2. Acyclic nested complexes and the facial–acyclic equivalence

The paper introduces an **acyclic building-set viewpoint** by considering an **oriented building set** \((B,\OM)\), meaning a building set \(B\) on the same ground set as \(\OM\) such that the support of every circuit of \(\OM\) lies in \(B\) [2509.15914]. A nested set \(\mathcal N\) on \(B\) is called **acyclic** if, after restricting and contracting along every partial union inside \(\mathcal N\), the resulting oriented matroid remains acyclic.

Several equivalent criteria are given. For a nested set \(\mathcal N\), acyclicity is equivalent to the condition that for every subcollection \(\mathcal N'\subseteq \mathcal N\), the union \(\bigcup \mathcal N'\) is a face of \(\OM\); equivalently, no circuit has all its negative part inside such a union while some positive part escapes it [2509.15914]. The **acyclic nested complex** \(A(B,\OM)\) is the simplicial complex whose faces are the acyclic nested sets.

A central theorem identifies the facial and acyclic constructions. If \(\fbuilding=B\cap(\OM)\) is the facial part of \(B\), then
\[
\mathcal N[(\OM)](\fbuilding)\;=\;A(B,\OM).
\]
The same theorem is accompanied by a structural statement: the map \(B\mapsto B\cap(\OM)\) sends oriented building sets onto facial building sets, and any facial building set can be extended to an oriented one by adjoining circuit supports and taking building closure [2509.15914].

This equivalence is the combinatorial core of the subject. It shows that acyclonestohedra do not introduce an unrelated class of complexes, but rather isolate the **acyclic subcomplex** already latent in a suitably chosen boolean nested complex. A plausible implication is that the combinatorics of acyclonestohedra is best viewed as a face-lattice refinement problem controlled by oriented-matroid acyclicity.

## 3. Boolean embeddings, evaluation spaces, and the section construction

The geometric realization proceeds through embeddings of nested complexes into boolean nested complexes. More generally, if \(\phi:L\to L'\) is an order embedding satisfying certain tameness conditions, then nested complexes on \(L\) can embed into nested complexes on \(L'\) [2509.15914]. A map is **tame** if it is an order embedding and is either atom-exhaustive, or join-preserving, or cover-preserving. Under these hypotheses, if \(B\) is the preimage of an \(L'\)-building set \(B'\), then \((B,B')\) is \(\phi\)-compatible, so the \(L\)-nested complex embeds as a subcomplex of the \(L'\)-nested complex.

For finite atomic lattices there is a canonical embedding
\[
\phi(X)=S_{\le X}\subseteq S,
\]
where \(S\) is the set of atoms. This embedding is atom-exhaustive and tame, and every building set is pushable across it. Hence every nested complex on a finite atomic lattice embeds into a boolean nested complex [2509.15914]. In the oriented-matroid setting, this yields the key interpretation: the facial nested complex, equivalently the acyclic nested complex, sits inside the boolean nested complex of a suitable boolean building set, and the acyclic faces are precisely those compatible with the oriented matroid.

Let \(A=(a_s)_{s\in S}\) be a realizable oriented matroid. Its **evaluation space** \(\evaluations\subseteq\mathbb R^S\) is the subspace spanned by all evaluation vectors \((f(a_s))_{s\in S}\), equivalently
\[
\evaluations = \bigcap_{c\in\circuits} H_c^=.
\]
Choosing coefficients \(\rho_B\) with
\[
\rho_B=0 \text{ if } |B|=1,\qquad \rho_B=R^{|B|}\text{ for } |B|\ge 2,
\]
for \(R\) sufficiently large, the **acyclonestohedron** is defined by the section
\[
Acyc(B,A)=Nest(B,\rho)\cap \evaluations
\]
[2509.15914].

The role of the large coefficients is explicit. If a nested set is not acyclic, then the corresponding face of the nestohedron lies entirely on one side of some circuit hyperplane and misses \(\evaluations\); if it is acyclic, then its face intersects \(\evaluations\). The main realization theorem is
\[
A(B,\OM(A))\cong \partial\bigl(Acyc(B,A)^\circ\bigr).
\]
Thus the section realizes exactly the acyclic nested complex, and no extraneous boolean faces survive [2509.15914].

There is also an equivalent realization in the ambient space \(R^A\), described by inequalities
\[
\overline g_B(y)= \sum_{b\in B} a_b\, y - \sum_{B'\subseteq B}\rho_{B'} \ge 0,
\]
with equalities for the connected components of \(B\). The resulting polytope is affinely equivalent to \(Nest(B,\rho)\cap \evaluations\) [2509.15914]. This provides explicit coordinates in the natural realization space of the matroid rather than only an abstract section description.

## 4. Special cases, recoveries, and unified families

Acyclonestohedra recover several previously studied families exactly. **Poset associahedra** are the graphical acyclonestohedra: for a poset \(P\), Galashin’s piping complex is identified with the acyclic nested complex of a graphical oriented building set built from the Hasse diagram of \(P\) [2509.15914]. In the graphical case, the acyclonestohedron becomes a graph associahedron sectioned by the evaluation space of the graph’s oriented matroid. This recovers Galashin’s polytopality results, provides explicit coordinates, and answers some of his open questions.

The same framework extends to **affine poset cyclohedra**, again as acyclic nested complexes for a suitable affine oriented matroid, with explicit section-realizations [2509.15914]. More broadly, the paper states that the framework subsumes ordinary **nestohedra**, **hyperoctahedral nestohedra**, **design graph associahedra**, and **permutopermutohedra**, together with graphical and affine graphical constructions. The abstract emphasizes that poset associahedra are the graphical acyclonestohedra and that the theory generalizes the poset associahedra recently introduced by P. Galashin, from order polytopes to any polytope [2509.15914].

Several precise degeneration statements clarify the range of the construction. If \(A\) is linearly independent, then \(\evaluations=\mathbb R^S\), so the acyclonestohedron is just the original nestohedron. For an oriented forest, the graphical acyclonestohedron is the usual graph associahedron. For a poset whose Hasse diagram is a tree, one recovers the associahedron or permutahedron depending on the tree shape [2509.15914]. The paper also notes that some truncations are redundant: facets corresponding to blocks not visible in the evaluation space never meet the section. This explains why the section model is more efficient than a naive iterated truncation.

The framework also interacts with compactification theory. By a theorem of Gaiffi, the interior of any polytope admits a stratified \(C^\infty\) compactification whose strata are indexed by the faces of the relevant facial nested complex; in the realizable case, the acyclonestohedron provides the combinatorial model for such compactifications. The paper further connects this boundary structure to wondertopes of Brauner–Eur–Pratt–Vlad [2509.15914].

## 5. Oriented building sets, canonical forms, and acyclonesto-cosmohedra

A second line of development treats acyclonestohedra as positive geometries. "Acyclonesto-cosmohedra" defines them as convex polytopes whose face poset is the poset of **acyclic nestings** of an oriented building set \((S,\mathcal B,\mathcal C)\), ordered by reverse inclusion [2507.09736]. Here \(\mathcal B\) is a building set on \(S\), and \((S,\mathcal C)\) is an **acyclic realizable matroid** on the same ground set. If \(\mathcal C=\varnothing\), the acyclonestohedron reduces to the ordinary nestohedron or graph associahedron. For a totally ordered set, the building set is the family of intervals
\[
\mathcal B=\left\{\{\mathtt e_i,\dots,\mathtt e_{j-1}\}\mid 1\le i<j\le n+1\right\},
\]
and the corresponding acyclonestohedron is exactly the Stasheff associahedron [2507.09736].

The acyclicity condition is imposed locally along a nesting. An **acyclic nesting** \(\mathcal N\subset\mathcal B\) is a nesting such that for every \(B\in\mathcal N\), the matroid obtained by restricting to \(B\) and contracting by the union of smaller nests is acyclic. If the oriented matroid is realizable by vectors \(a_i\in V^*\), then the polytope has dimension
\[
k-|\max(\mathcal B)|,
\]
where the vectors span a \(k\)-dimensional space [2507.09736].

The paper assigns affine kinematic variables
\[
X_B=\sum_{i\in B}a_i-\sum_{\substack{B'\in\mathcal B\\ B'\subseteq B}}c_{B'}
\]
with cut parameters \(c_B\ge 0\), and realizes the polytope by the inequalities
\[
X_B(v)\ge 0
\]
for allowed \(B\), together with
\[
X_\kappa(v)=0\qquad (\kappa\in\max(\mathcal B)).
\]
When the \(a_i\) are linearly dependent, additional constraints on the \(c_B\) appear; a sufficient hierarchy given in the paper is
\[
c_B \ll c_{B'}\qquad\text{whenever }|B|<|B'|
\]
[2507.09736].

As a positive geometry, the acyclonestohedron has canonical form
\[
\Omega = A_{(S,\mathcal B,\mathcal C)} \,\bigwedge_B dX_{\{B\}},
\]
where the rational function
\[
A_{(S,\mathcal B,\mathcal C)}=\sum_{\tau}\prod_{B\in\tau}\frac1{X_B}
\]
is the **amplitube**, summed over maximal acyclic tubings \(\tau\) [2507.09736]. The factorization property is explicit: a facet corresponding to \(B\in\mathcal B\) factorizes into smaller acyclonestohedra obtained by restriction and contraction, and residues on poles factorize into products of lower-dimensional amplitubes. The paper interprets this as the geometric realization of locality and unitarity.

The same article introduces **acyclonesto-cosmohedra**, obtained by a further truncation in which faces are labeled by **nested nestings** \((\tau,\mathcal N)\). A face has codimension
\[
\text{codim}=|\mathcal N|,
\]
including the improper nest, so \(\dim(\text{face})=d-|\mathcal N|\), and these polytopes are generally non-simple for \(d>2\) [2507.09736]. They are realized by variables
\[
Y_\tau=\sum_{B\in\tau}X_B-\sum_{B\in\tau}\delta_{B\setminus\bigcup\{N\in\tau\mid N\subsetneq B\}},
\]
with inequalities
\[
Y_\tau(v)\ge 0\quad\text{for every acyclic nesting }\tau,\qquad X_\kappa(v)=0\quad (\kappa\in\max(\mathcal B)),
\]
and a hierarchy \(\delta_{S'}\ll \delta_{S''}\), \(\delta_{S'}\ll c_B\) whenever \(|S'|<|S''|\) [2507.09736].

Their canonical forms define a **cosmological amplitube**
\[
\Psi_{(S,\mathcal B,\mathcal C)} = \prod_{(\tau,\mathcal N)}\prod_{N\in\mathcal N}\frac1{\mathcal R_N},
\]
interpreted as a generalization of cosmological wavefunction coefficients. The paper also gives evidence that acyclonesto-cosmohedra can be obtained as sections of graph cosmohedra; for the diamond and bowtie posets, the corresponding acyclonesto-cosmohedra are polygons with \(12\) and \(16\) sides respectively, and both are realized as sections of the graph cosmohedron of \(C_4\) [2507.09736].

## 6. Relation to associahedra, cyclohedra, and acyclotopes

The term **acyclonestohedron** does not appear in "Associahedra, cyclohedra and inversion of power series" [2010.14283]. That paper nevertheless studies a nearby polyhedral-combinatorial framework: the Hopf monoid \(C\) of sets of cycles and paths, with paths corresponding to associahedra and cycles corresponding to cyclohedra. For a graph \(g\), the graph associahedron \(a_g\) is used throughout, and its faces are in order-reversing bijection with tubings \(t\), with
\[
\dim F_t = |I|-|t|
\]
[2010.14283]. The paper gives cancellation-free and grouping-free antipode formulas, describes the character group \(X(C)\) as pairs of power series, and expresses inversion in terms of faces of associahedra and cyclohedra. This suggests a precursor to any framework intended to unify acyclic path-type and cyclic cycle-type nested structures.

A separate possible source of confusion is the term **acyclotope**. "Acyclotopes and Tocyclotopes" states that the term “Acyclonestohedra” does not appear there, and that the closest and essentially intended object is the **acyclotope**, namely the graphical zonotope \(Z(A_G)\), whose vertices correspond to acyclic orientations of a graph \(G\) [2409.15227]. That paper then introduces the dual **tocyclotope**, whose vertices correspond to totally cyclic orientations, and develops Ehrhart formulas for graphs, signed graphs, and general integer matrices. The acyclotope/tocyclotope theory is therefore a zonotopal and matroid-dual construction, whereas acyclonestohedra arise from nested complexes, oriented building sets, and evaluation-space sections of nestohedra. The two theories are related by their use of acyclic and cyclic combinatorics, but they denote different polyhedral objects.

Within this broader landscape, acyclonestohedra occupy the nestohedral/oriented-matroid side of the subject. Their defining feature is that acyclicity is enforced by the oriented matroid and is then realized geometrically as a section selecting precisely the admissible nested faces. That feature distinguishes them both from classical graph associahedra, where all nested faces are present, and from acyclotopes, where the basic polytope is a zonotope encoding orientations rather than a section of a nestohedron.

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