---
title: 'Hypergraphic Poset: Polyhedral & Lattice Theory'
url: https://www.emergentmind.com/topics/hypergraphic-poset
type: topic
---

# Hypergraphic Poset: Polyhedral & Lattice Theory

A hypergraphic poset is the partial order \(P_{\mathbb H}\) attached to a hypergraph \(\mathbb H\) on \([n]=\{1,2,\dots,n\}\) by orienting the \(1\)-skeleton of its hypergraphic polytope \(\Delta_{\mathbb H}=\sum_{H\in\mathbb H}\Delta_H\), where \(\Delta_H=\operatorname{conv}\{e_h:h\in H\}\), with a generic linear functional \(\omega\). Its elements can be described as acyclic orientations, or source assignments, on the hyperedges, and its order is generated by \(\omega\)-increasing flips. The construction subsumes several classical posets: the weak Bruhat order on the permutahedron, the Tamari lattice on the associahedron, and, in the cyclic-interval setting, the cyclohedron poset of maximal tubings on the cycle [2411.09832][2605.03913].

## 1. Polyhedral definition

Fix a hypergraph \(\mathcal H\subseteq 2^{[n]}\), usually with all singletons \(\{i\}\in\mathcal H\). For each hyperedge \(H\in\mathcal H\), the simplex
\[
\Delta_H=\operatorname{conv}\{e_h:h\in H\}\subset \mathbb R^n
\]
is the standard simplex on the corresponding coordinate basis vectors, and the hypergraphic polytope is the Minkowski sum
\[
\Delta_{\mathcal H}=\sum_{H\in\mathcal H}\Delta_H.
\]
This polytope is a deformed permutahedron, and singletons affect only translation, not the combinatorics [2508.16006].

A standard choice of linear functional is
\[
\omega=(n-1,n-3,\dots,3-n,1-n),
\]
although the construction is formulated for a generic \(\omega\). Every edge of the \(1\)-skeleton of \(\Delta_{\mathcal H}\) is oriented in the direction of increasing \(\omega\)-value, producing an acyclic digraph on the vertices of \(\Delta_{\mathcal H}\). The hypergraphic poset \(P_{\mathcal H}\) is then the transitive closure of this oriented \(1\)-skeleton; equivalently, its Hasse diagram is the transitive reduction of the same orientation [2508.16006].

This polyhedral definition is fundamental because it places order-theoretic questions inside the geometry of generalized permutahedra. In particular, the central structural problem is not whether the orientation exists—it always does for generic \(\omega\)—but when the resulting acyclic digraph defines a lattice.

## 2. Acyclic orientations, sourcings, and coordinate order

An orientation of a hypergraph \(\mathcal H\) is a choice of a source in each hyperedge,
\[
A:\mathcal H\to [n],\qquad A(H)\in H.
\]
Equivalently, for every \(h\in H\setminus\{A(H)\}\), one draws an arrow \(h\to A(H)\). The orientation is acyclic if the resulting directed graph on \([n]\) has no directed cycle. Vertices of \(\Delta_{\mathcal H}\) are indexed by these acyclic orientations, and \(\omega\)-increasing edges in the polytope correspond to increasing flips, in which the source of a collection of covering hyperedges changes from \(i\) to \(j\) with \(i<j\) while preserving acyclicity [2508.16006].

The same structure can be phrased as a sourcing problem. A sourcing \(S\) of a hypergraph chooses \(S(H)\in H\) for each hyperedge \(H\), and the set of all sourcings is ordered componentwise:
\[
S\le S' \iff S(H)\le S'(H)\ \text{for every }H\in\mathcal H.
\]
All sourcings therefore form the product of chains \(\prod_{H\in\mathcal H}H\). The acyclic sourcing poset \(\operatorname{ASour}(\mathcal H)\) is the induced subposet on acyclic sourcings; in general, \(\operatorname{ASour}(\mathcal H)\) need not be a lattice [2508.01606].

A major structural result is the source characterization for arbitrary hypergraphs: for any two acyclic orientations \(A,B\) of \(\mathcal H\),
\[
A\le_{P_{\mathcal H}} B
\quad\Longleftrightarrow\quad
A(H)\le B(H)\ \text{for all }H\in\mathcal H.
\]
Thus \(P_{\mathcal H}\) is the coordinatewise order on the set of acyclic source-sequences, not merely a reachability order defined abstractly by flips [2508.16006]. A plausible implication is that many lattice-theoretic questions about \(P_{\mathcal H}\) reduce to asking when the set of acyclic source-sequences forms a sublattice of the ambient product of chains.

## 3. Classical models and standard examples

The hypergraphic-poset framework recovers several canonical combinatorial orders. These examples are central because they show that hypergraphic posets are not a niche generalization, but a common language for familiar polyhedral orders [2411.09832][2605.03913].

| Hypergraph \(\mathcal H\) | Polytope \(\Delta_{\mathcal H}\) | Poset \(P_{\mathcal H}\) |
|---|---|---|
| All \(2\)-subsets \(\{i,j\}\) | Permutahedron | Weak Bruhat order |
| All intervals \([i,j]\) | Stasheff associahedron / Loday’s associahedron | Tamari lattice |
| All regular and cyclic intervals | Bott–Taubes cyclohedron | Cyclo-lattice of maximal tubing on the cycle |

For the complete-graph hypergraph \(\mathcal H=\{\{i,j\}:1\le i<j\le n\}\), the vertices of \(\Delta_{\mathcal H}\) are permutations of \([n]\), the flips are adjacent transpositions that increase inversion number, and \(P_{\mathcal H}\) is the weak Bruhat order on \(S_n\). In source-sequence terms, each edge \(\{i,j\}\) is sent to \(\min\{\text{positions of }i\text{ and }j\text{ in }\pi\}\), which recovers the usual inversion-set description of weak order [2411.09832][2605.03913].

For the interval hypergraph \(\mathcal H=\{[i,j]:1\le i<j\le n\}\), \(\Delta_{\mathcal H}\) is the associahedron, and acyclic orientations are in bijection with binary trees with \(n\) leaves, or triangulations of an \((n+2)\)-gon. The resulting poset is the Tamari lattice. Concretely, each interval-edge \([i,j]\) is oriented according to which among \(i\) or \(j\) appears first in the bracketed tree-walk around the polygon [2411.09832][2605.03913].

For the complete cyclic-interval hypergraph, containing all regular and cyclic intervals, \(\Delta_{\mathcal H}\) is the Bott–Taubes cyclohedron and \(P_{\mathcal H}\) is the cyclo-lattice of maximal tubing on the cycle [2605.03913].

## 4. Lattice criteria in the interval and cyclic-interval regimes

The basic misconception to avoid is that a hypergraphic poset is automatically a lattice. Even in highly structured families, latticehood is a classification problem rather than a formal consequence of the definition.

For interval hypergraphs \(\mathcal I\), Bergeron and Pilaud give a complete lattice-theoretic classification. The fundamental criterion is:
\[
P_{\mathcal I}\ \text{is a lattice}
\quad\Longleftrightarrow\quad
\mathcal I\ \text{is closed under intersection}.
\]
They further characterize when \(P_{\mathcal I}\) is distributive, semidistributive, and a lattice quotient of weak order. In particular, distributivity requires an additional “initial/final” condition on overlaps; join-semidistributivity requires intersection closure together with a four-interval “diamond” condition; and the natural surjection \(S_n\to P_{\mathcal I}\) is a full lattice quotient exactly when \(\mathcal I\) is closed under all subintervals, in which case \(P_{\mathcal I}\) factors as a Cartesian product of Tamari lattices [2411.09832].

The cyclic-interval case extends this picture. An edge \(e\subseteq [n]\) is regular if \(e=[i,j]\) with \(1\le i<j\le n\) and \(e\neq [1,n]\), and cyclic if \(e=[j,n]\cup[1,i]\) for some \(1\le i<j\le n\). A cyclic-interval hypergraph is one whose hyperedges are all regular or cyclic, with all singletons included. For such a hypergraph \(H\), define for every interval \(D=[x,y]\subseteq [n]\)
\[
H|_D:=\{e\cap D:e\in H\}\setminus\{\varnothing\}.
\]
Then \(P_H\) is a lattice if and only if, for every interval \(D=[x,y]\), two conditions hold: first, the collection of regular edges in \(H|_D\) is closed under intersection; second, every hugging quadruple in \(H|_D\) admits a fix. Here a hugging quadruple consists of \(I,J,\bar I,\bar J\in H|_D\) with \(I,\bar I\) containing \(\{x,x+1\}\), \(J,\bar J\) containing \(\{y-1,y\}\), and with \(I,\bar I\) regular while \(J,\bar J\) are cyclic, or vice versa. A fix is an edge \(f\in H|_D\) such that
\[
\{x+1,y-1\}\subseteq f\subseteq I\cup \bar I\cup J\cup \bar J.
\]
This gives a complete lattice characterization for cyclic-interval hypergraphs and extends both the interval result of Bergeron–Pilaud and the complete cyclic-interval result of Adenbaum et al. [2605.03913][2510.09429].

The proof strategy in the cyclic-interval case is itself structurally informative. Necessity comes from restricting to \(H|_D\) and analyzing minimal failures of join-existence inside hugging quadruples. Sufficiency is established by constructing, for any two acyclic orientations \(A,B\in P_H\), a pseudo-join \(X^{AB}\) by a regulated path of local “max-moves” on sources of edges, then proving that \(X^{AB}\) is acyclic, dominates both \(A\) and \(B\), and is minimal with that property; meets are obtained symmetrically [2605.03913].

## 5. Related posets: path hypergraphs, ornamentations, and intreeval lattices

A distinct but closely related development studies hypergraphic posets through path hypergraphs of directed graphs. For a directed graph \(D\) on \([n]\), the path hypergraph \(P(D)\) has as hyperedges the vertex-sets of all directed paths in \(D\). When \(D\) is acyclic and increasing, these hyperedges are intervals in the partial order induced by \(D\) [2508.01606].

This perspective brings in two additional posets. The acyclic reorientation poset \(\operatorname{AReori}(E)\) is defined for a directed acyclic graph \(E\) by reversing or not reversing each arc, subject to acyclicity. The ornamentation poset \(\operatorname{Ornaments}(D)\) consists of compatible choices of ornaments \(O(v)\), where an ornament at \(v\) is a subset \(U\subseteq [n]\) such that, in the induced subgraph on \(U\), every \(u\in U\) has a directed path to \(v\). Ornamentations are ordered componentwise by inclusion and form a lattice. The paper exhibits commutative squares of order-preserving surjections linking weak order on \(S_n\), \(\operatorname{AReori}(\operatorname{tc}(D))\), \(\operatorname{ASour}(P(D))\), and \(\operatorname{AOrn}(D)\) [2508.01606].

For rooted, or more generally unstarred increasing trees, the acyclic sourcing poset of the path hypergraph is isomorphic to the ornamentation lattice:
\[
\operatorname{ASour}(P(D)) \cong \operatorname{Ornaments}(D),
\]
and this lattice is a lattice quotient of \(\operatorname{AReori}(\operatorname{tc}(D))\). For any increasing tree, the ornamentation lattice is the MacNeille completion of \(\operatorname{ASour}(P(D))\) [2508.01606]. This gives polytopal realizations of ornamentation lattices and answers an open question of C. Defant and A. Sack.

The same work characterizes which subhypergraphs \(H\subseteq P(T)\) of a path hypergraph of an increasing tree \(T\) again yield lattices. Such hypergraphs are called intreeval hypergraphs. The criterion is:
\[
\operatorname{ASour}(H)\ \text{is a lattice}
\quad\Longleftrightarrow\quad
\text{\(H\) is path intersection closed and star-sparse}.
\]
This recovers the interval-hypergraph criterion on a path as a special case [2508.01606].

## 6. Structural significance and directions

The modern view of hypergraphic posets combines polyhedral realization, source-sequence combinatorics, and lattice theory. On the polyhedral side, hypergraphic polytopes realize acyclic sourcing posets through linear orientation, and graphical zonotopes realize the analogous reorientation posets [2508.01606]. On the order-theoretic side, the coordinatewise source characterization shows that the difficulty lies not in defining the order, but in understanding the structure of the acyclic region inside the ambient product of chains [2508.16006].

This viewpoint clarifies why classical lattices recur. Many familiar lattices appear as \(P_H\) when \(H\) ranges over building-sets, nestohedra, graphical zonotopes, and hyperplane arrangement galleries [2605.03913]. It also explains negative examples. The acyclic sourcing poset need not be a lattice in general; the freehedron hypergraph fails even to be a lattice in the interval setting, and a small starred tree produces ornamentations while the corresponding acyclic sourcing poset has a diamond and is not a lattice [2411.09832][2508.01606].

Several open directions are explicitly identified. Beyond the interval case, one may ask for a full classification of hypergraphs \(\mathbb H\) for which \(P_{\mathbb H}\) is semidistributive, congruence-uniform, or distributive. A second question is which hypergraphic posets arise as lattice quotients of weak order outside the interval case. A third concerns the geometry of \(\Delta_{\mathbb H}\): characterizing those hypergraphic polytopes that are “nice” generalized permutahedra with lattice \(1\)-skeletons [2411.09832].

Taken together, these results place the hypergraphic poset at the intersection of generalized permutahedra, acyclic orientation theory, weak-order quotients, and lattice completions. The interval and cyclic-interval classifications provide precise test cases, while the source characterization for arbitrary hypergraphs suggests that the general theory is governed by the combinatorics of allowable source-sequences rather than by the geometry alone [2508.16006][2605.03913].

Source: https://www.emergentmind.com/topics/hypergraphic-poset