arXiv++ Combinatorics

Birkhoff's representation theorem identifies a finite distributive lattice with the lattice of order ideals of its poset of join-irreducible elements This can be extended to identifying a finitary distributive lattice with the lattice of finite order ideals of its poset of join-irreducible elements. Each of these representations can be extended into a duality, where the representation and reconstruction are inverse constructions between the isomorphism classes of the selected class of distributive lattices and the isomorphism classes of of the selected class of posets. Many lattices arising in combinatorics are locally finite but not finitary (where ``locally-finite'' means all intervals contain a finite number of elements). The main result of this paper is an analogous representation duality for locally-finite distributive lattices: A locally-finite distributive lattice is dual to a \emph{pair}, consisting of a poset (the poset of prime filters of the lattice) and a distinguished subset of the order ideals of the poset. The distinguished subset is (1) a sublattice that is a maximal collection of order ideals whose mutual symmetric differences are finite, and (2) for every element of the poset, the subset contains ideals that both include and exclude the element. An alternative duality is given where, in the pairs, the subset of order ideals is replaced by a single order ideal, and where isomorphism on the class of pairs is correspondingly made broader. We further show that when the Hasse diagram of the lattice of order ideals of a poset is regarded as a graph, any dual lattice is exactly one connected component of the graph.

A tree poset $T$ is a poset whose Hasse diagram is a tree. Bukh proved that if a family $\mathcal F\subseteq 2^{[n]}$ contains $(h(T)-1+\varepsilon)\binom{n}{\lfloor \frac{n}{2}\rfloor}$ sets, then $\mathcal F$ contains a weak copy of $T$, where $h(T)$ is the height of $T$, the number of elements in a longest chain of $T$. Several strengthenings and generalizations of this result have been obtained. We prove the following robust variant. For a tree poset $T$ and $x\in T$, the $b$-blow-up $T(x,b)$ rooted at $x$ is the tree poset that we obtain from $T$ by replacing every element $u$ by $b^d$ new elements, where $d$ is the distance $d(x,u)$ in the Hasse diagram of $T$ and an edge $uv$ with $v$ being closer to $x$ is replaced by edges such that every new copy of $v$ is joined to $b$ new copies of $u$ such that these new copies form pairwise disjoint sets for the copies of $v$. We prove that for any tree poset $T$, $x\in T$, and $\varepsilon>0$ there exists $δ$ such that if $\mathcal F\subseteq 2^{[n]}$ contains $(h(T)-1+\varepsilon)\binom{n}{\lfloor \frac{n}{2}\rfloor}$ sets, then $\mathcal F$ contains a weak copy of $T(x,\lfloor δn\rfloor)$. This settles a conjecture of Treglown and the author. As applications, we derive the known asymptotic counting and random versions of Bukh's theorem from this stronger embedding result, and obtain new maximal anti-Ramsey results for tree posets.

Framing lattices arise from the dual graphs of framed (or DKK) triangulations of flow polytopes and provide a common framework encompassing classical lattices such as the Boolean, Tamari, and weak-order lattices, as well as $τ$-tilting posets of certain gentle algebras. In this paper, we introduce the \emph{framingtope}, a polytopal complex that provides a geometric counterpart to a framing lattice: its edge graph is the Hasse diagram of the framing lattice. We prove that the framingtope admits three equivalent descriptions, in terms of interior faces of the framed triangulation, sets of pairwise coherent routes covering the graph, and pure intervals of the framing lattice. We further construct a tropical realization of the framingtope as the bounded-cell complex of an arrangement of tropical hypersurfaces associated with an admissible height function. This construction yields explicit vertex coordinates for broad classes of framed graphs, including plane framed graphs and multioruga graphs. In the multioruga case, these coordinates give tropical realizations of weak orders on multipermutations and, in the ordinary oruga case, recover the classical permutahedron.

Clustering systems provide a natural way to encode structural information contained in phylogenetic networks. In this note, we study the clustering systems of normal and tree-child networks through an overlap-based property of set systems, called not-overlap-covered (NOC). We show that the NOC property is equivalent to inclusion-visibility, a memberwise formulation of the strict-compatibility condition previously used for tree-child clustering systems. We characterize normal networks as precisely the semi-regular networks whose clustering systems satisfy NOC. Consequently, a clustering system is realized by a normal network if and only if it satisfies NOC, or equivalently, if every one of its clusters is inclusion-visible. In this case, the Hasse diagram provides a canonical normal realization. These are exactly the clustering systems realized by tree-child networks. The NOC formulation yields a sharp quadratic upper bound on the number of distinct clusters of tree-child and normal networks and a direct polynomial-time recognition algorithm. Finally, we explore several consequences of the NOC perspective beyond the phylogenetic setting. These include connections to the enumeration of normal networks, an order-theoretic interpretation of inclusion-visibility, structural properties of NOC set systems, and a tractable special case of Minimum Set Cover, which is NP-hard in general.

We study the restricted fan cut inside the dual fundamental Weyl chamber by the weights of a $27$-dimensional minuscule representation of $E_6$; the two such representations are dual and give the same arrangement. Only $11$ of the $27$ weights have kernels meeting its interior, and we prove that they determine the entire fan. It has exactly $14$ chambers and $18$ extreme rays, every chamber is a six-dimensional simplicial cone, and we determine all facets, rays, and incidence relations. The chamber count was previously obtained by Diaconescu and Entin; the simplicial structure, extreme rays, and incidence data are new. The geometry of the $27$ lines on a cubic surface then explains and organizes the resulting chamber architecture. We also enumerate all faces, compute both characteristic polynomials---the arrangement is not supersolvable---together with lattice indices and projective chamber volumes, and describe the oriented matroid. Our main result is representation-theoretic. A distinguished $14$-element visible subposet of the minuscule $\mathbf{56}$ of $E_7$, defined entirely inside $E_7$, has Hasse diagram equal to the chamber adjacency graph of the $E_6$ arrangement. Three canonical $7+7$ splittings of it, of types $A_7$, $D_7$, and $E_7$, are the visible traces of Levi-center $\mathfrak{u}(1)$-charge decompositions of the $\mathbf{56}$ and reproduce the three level-$8$ decompositions on the $E_6$ side. More strongly, the simple-root labels on its covers, transported by minimal-length coset representatives, recover chamber by chamber all six facets and, globally, the $11$ active weight hyperplanes and the boundary walls of the dual Weyl chamber. Thus the $E_7$ shadow records not merely the chamber graph but, once matched with the independent $E_6$ classification, the full local wall architecture of $I(E_6,\mathbf{27})$.

For every $n$, we construct a 2-dimensional $n$-element poset whose Hasse diagram has independence number $n\exp(-Ω(\sqrt{\log n}))$, and consequently, chromatic number $\exp(Ω(\sqrt{\log n}))$. This also yields an $n$-point planar set whose box-Delaunay graph satisfies the same bounds.

For a totally ordered finite set $A$ with the total order $Q$, a poset $P=([d],\le_P)$, and a field $\mathbb{F}$, a tensor $T:A^d\longrightarrow \mathbb{F}$ is in $P$-echelon form if $r\le_{P}s$ in $P$ implies $a_r\le_Q a_s$ in every tuple $(a_1,\dots,a_d)$ in the support of $T$. We prove that if the Hasse diagram of $P$ has no isolated vertex, then tensors in $P$-echelon form with nonzero diagonal entries have full slice-rank. Our results extend and improve on recent results of Amanov and Yeliussizov.

The dimension of a poset $P$ is the minimum positive integer $d$ such that $P$ is an induced subposet of $\mathbb{R}^d$ equipped with the product order. We give a constant-factor polynomial-time approximation algorithm for computing dimension in the class of posets with a planar (Hasse) diagram. While computing the dimension of a poset is NP-hard in general, the computational complexity of the problem for planar posets remains open. The algorithmic result is driven by a structural understanding of the canonical obstruction to small dimension: standard examples. A longstanding problem, originating in the early 1980s, asked whether every poset with a planar diagram has dimension bounded by a function of the maximum order of a standard example that it contains. In the first paper of the series, we have resolved the problem in a more general setting of posets with planar cover graphs by establishing a polynomial bound. We prove a stronger bound in the original setting, namely, for every poset $P$ with a planar diagram $\mathrm{dim}(P) \leq 96\mathrm{se}(P)+672$, where $\mathrm{dim}(P)$ denotes the dimension of $P$ and $\mathrm{se}(P)$ denotes the maximum order of a standard example contained in $P$.

For a finite poset $\mathcal{P}$, its height $h(\mathcal{P})$ is the number of cover relations in its longest chain. When $\mathcal{P}$ is a lattice $\mathcal{L}$, we label its elements $x$ with $h(x_\downarrow) = h([\hat{0},x])$ and its cover relations $x \lessdot y$ with $h(y_\downarrow) - h(x_\downarrow)$. When a lattice $\mathcal{L}'$ extends $\mathcal{L}$, $h(x_\downarrow)_\mathcal{L} \leq h(x_\downarrow)_{\mathcal{L}'}$. We study lattices $\mathcal{L}$ and $\mathcal{L}'$ such that $h(x_\downarrow)_\mathcal{L} = h(x_\downarrow)_{\mathcal{L}'}$. Cover relations labeled $1$ in $\mathcal{L}$ induce a poset that we call the (long) skeletal poset $\mathrm{SK}(\mathcal{L})$. Its Hasse diagram is the largest spanning subgraph that the Hasse diagrams of $\mathcal{L}$ and $\mathcal{L}'$ have in common. An example of lattices $\mathcal{L}$ and $\mathcal{L}'$ is the alt-Tamari lattices introduced by Chenevière, where every alt-Tamari lattice $\mathrm{alt}\text{-}\mathrm{Tam}_n$ extends the Tamari lattice $\mathrm{Tam}_n$/refines the Dyck lattice $\mathrm{Dyck}_n$ such that $h(x_\downarrow)_{\mathrm{Tam}_n} = h(x_\downarrow)_{\mathrm{alt}\text{-}\mathrm{Tam}_n}$. We study $\mathrm{SK}(\mathrm{Tam}_n)$ with another poset we introduce. We enumerate intervals in these posets. For a well-chosen distributive lattice, we introduce its altitude lattices, which generalize the alt-Tamari lattices $\mathrm{alt}\text{-}\mathrm{Tam}_n$. Altitude lattices within a family have the same number of linear intervals. They are related to each other via extensions, refinements, and embeddings of some skeletal posets. For a poset $\mathcal{P}$ with $\hat{0}$, we define its Kneser graphs $KG(k) := (V(k),E)$, where $V(k) := \{x: h(x_\downarrow) = k, 1 \leq k \leq h(\mathcal{P})\}$ and $E := \{(x,y): x_\downarrow \cap y_\downarrow =\hat{0}\}$. We give some observations about them in a reconstruction setting.

In 2024, Ceballos and Chenevi{è}re introduced alt $ν$-Tamari lattices, parameterized by a lattice path $ν$ and an increment vector $δ$, as a common generalization of $ν$-Tamari and $ν$-Dyck lattices. We study rowmotion on two families: the alt hook-Tamari lattice $\mathsf{H}_δ(a,b)$ (where $ν=EN^{a-1}E^{b-1}N$) and the alt $2$-row-Tamari lattice $\mathsf{T}_δ(a,b)$ (where $ν=E^aNE^bN$). We explicitly determine the orbit structures of $\mathsf{H}_δ(a,b)$ and $\mathsf{T}_δ(a,b)$ under rowmotion, and prove that their orbit structures are independent of the increment vector $δ$. As a consequence, we show that rowmotion on $\mathsf{H}_δ(a,b)$ exhibits the cyclic sieving phenomenon. We also compute orbit sums for several natural statistics. In the hook case, we evaluate the down-degree, peak, valley, and area statistics; in the $2$-row case, we focus on the down-degree statistic. All of these -- except for the area statistic -- are homometric under rowmotion. Regarding the methodology of this paper, our results in the hook case are obtained by applying a simple local modification to their Hasse diagrams. In the $2$-row case, we introduce a switching property for semidistributive lattices, which allows us to compare the orbit structures arising from different increment vectors.

The complex of discrete Morse matchings $\M(K)$, introduced by Chari and Joswig, is a simplicial complex whose simplices are the acyclic matchings on the Hasse diagram of $K$. Its homotopy type is known in only a handful of cases. In this paper, we compute the homotopy types of $\M(Δ^3)$ and $\M(\partialΔ^3)$, the corresponding pure complexes $\M_{P}(Δ^3) \simeq \M_{P}(\partialΔ^3)$, and the generalized complex of discrete Morse matchings $\GM(Δ^3) \simeq \GM(\partialΔ^3)$. For general $n$ we prove the identity $f(n) = (n+1) \cdot |\text{top-dimensional facets of } \M(Δ^n_{(n-2)})|$, reducing the enumeration of optimal matchings on $Δ^n$ to an enumeration on its $(n-2)$-skeleton, and we show that the inclusion $\M(K) \hookrightarrow \M(CK)$ is null-homotopic for any cone. We also compute the $f$-vector of $\M(Δ^4)$, whose top entry $f(4) = 380{,}125$ is the number of optimal discrete Morse matchings on $Δ^4$. We conclude with two conjectures extending the $\M_{P}$ and $\GM$ equivalences to all $n$.

We extend the study of the recently introduced crystal melting models associated to toric Calabi-Yau 4-folds in several directions. In particular, we investigate in greater detail the structure of these models for general toric CY 4-folds and flavor configurations, using the explicit example of $Q^{1,1,1}$ to illustrate our ideas. To this end, we develop an efficient algorithm for constructing crystals based on periodic quivers. A central goal of this work is to understand the behavior of crystals and their partition functions under triality. We analyze the evolution of crystals along periodic triality cascades and generate detailed data for these systems, including Hasse diagrams, partition functions, and the multiplicities of melting configurations. We introduce the notion of stable variables and show that they lead to the stabilization of the partition functions along cascades. Finally, we define the profile of the crystal partition function and observe that, when expressed in terms of stable variables, it displays interesting behavior. A further motivation for this work is to generate empirical data that may guide the search for a physically motivated generalization of cluster algebras associated with $2d$ (0,2) quiver theories and their triality transformations.

In this article, we study two combinatorial problems concerning the set of reflections of a Coxeter system. The first problem asks whether the language of palindromic reduced words for reflections is regular, and the second is about finding formulas for the Poincaré series of reflections, namely the generating function of reflection lengths. These two problems were inspired by a conjecture of Stembridge stating that the Poincaré series of reflections is rational and by the solution provided by de Man. To address the first problem, we introduce reflection-prefixes, arising naturally from palindromic reduced words. We study their connections with the root poset, dominance order on roots, and dihedral reflection subgroups. Using $m$-canonical automata associated with $m$-Shi arrangements, we prove that the language of reduced words for reflection-prefixes is regular. For the second problem, we focus on affine Coxeter groups. In this case, we derive a simple formula for the Poincaré series using symmetries of the Hasse diagram of the root poset.

Chip-firing on a directed graph is a game in which chips, a discrete commodity, are placed on the vertices of the graph and are transferred between vertices. In this paper, we study a chip-firing game on the Hasse diagram of the lattice of nonnegative integer points on the plane, where we start with $2^n$ chips at the origin. When we fire a vertex $v$, we send one chip to each out-neighbor. We fire until we reach a stable configuration, a distribution of chips where no vertex can fire. We study the intermediate firing configuration: a table that assigns to each vertex the total number of chips that pass through it. We prove that the nonzero entries of the stable configuration correspond to the odd entries of the intermediate configuration. The intermediate configuration consists of three parts: the top triangle, the midsection, and the bottom triangle. We describe properties of each part. We study properties of each row and the number of rows of the intermediate configuration. We also explore properties of the difference tables, which are tables of first differences of each row of the intermediate firing configuration.

Flow polytopes of acyclic oriented graphs arise naturally in combinatorial optimization, and the study of their volumes and triangulations has revealed intriguing connections across combinatorics, geometry, algebra, and representation theory. In this work, we introduce the framing lattice associated with a framed graph, whose Hasse diagram is dual to a framed triangulation of the corresponding flow polytope. Framing lattices are remarkable in that they provide a unifying framework encompassing many classical and well-studied lattice structures, including the Boolean lattice, the Tamari lattice, and the weak order on permutations. They further subsume a broad array of examples such as all type-A Cambrian lattices, the Grassmann and grid-Tamari lattices, the alt-$ν$-Tamari and cross-Tamari lattices, the permutree lattices, and the $τ$-tilting posets of certain gentle algebras. We show, among several foundational structural properties, that the framing lattice is a semidistributive, congruence uniform, and polygonal lattice, with its polygons consisting of squares, pentagons, and hexagons. We study its connections to noncrossing partitions via Reading's core label orders, simple representations of its join and meet irreducible elements, and several of its lattice congruences and quotients induced by a graph operation called an M-move.

This paper presents combinatorial facts dealing with the number of unlabeled partially ordered sets (posets) refined by the number of arcs in the Hasse diagram (sequence A342447 in OEIS). The main result is that the differences with respect to the number of points in this sequence become stationary if the number of points is sufficiently high. These differences are proposed as the new sequence A376894. In addition, the underlying combinatorial and graph theoretical arguments were used to extend some further OEIS sequences.

A wiring diagram is a labeled directed graph that represents an abstract concept such as a temporal process. In this article, we introduce the notion of a quasi-skeleton wiring diagram graph, and prove that quasi-skeleton wiring diagram graphs correspond to Hasse diagrams. Using this result, we designed algorithms that extract wiring diagrams from sequential data. We used our algorithms in analyzing the behavior of an autonomous agent playing a computer game, and the algorithms correctly identified the winning strategies. We compared the performance of our main algorithm with two other algorithms based on standard clustering techniques (DBSCAN and agglomerative hierarchical), including when some of the data was perturbed. Overall, this article brings together techniques in category theory, graph theory, clustering, reinforcement learning, and data engineering.

A least common ancestor (LCA) of two leaves in a directed acyclic graph (DAG) is a vertex that is an ancestor of both leaves and has no proper descendant that is also their common ancestor. LCAs capture hierarchical relationships in rooted trees and, more generally, in DAGs. In 1981, Aho et al. introduced the problem of determining whether a set of pairwise LCA constraints on a set $X$, of the form $(i,j)<(k,l)$ with $i,j,k,l\in X$, can be realized by a rooted tree whose leaf set is $X$, such that whenever $(i,j)<(k,l)$, the LCA of $i,j$ is a descendant of that of $k,l$. They also presented a polynomial-time algorithm, BUILD, to solve this problem. However, many such constraint systems cannot be realized by any tree, prompting the question of whether they can be realized by a more general DAG. We extend Aho et al.'s framework from trees to DAGs, providing both theoretical and algorithmic foundations for reasoning about LCA constraints in this broader setting. Given a collection $R$ of LCA constraints, we define its $+$-closure $R^+$, capturing additional LCA relations implied by $R$. Using $R^+$, we construct a canonical DAG $G_R$ and prove that $R$ is DAG-realizable if and only if it is realized by $G_R$. We further adapt this construction to phylogenetic networks, defining a canonical network $N_R$ and prove that it is regular, i.e., it coincides with the Hasse diagram of its underlying set system. Finally, we show that for any DAG-realizable $R$, its classical closure - comprising all LCA constraints that hold in every DAG realizing $R$ - coincides with its $+$-closure. All constructions are computable in polynomial time, and we provide explicit algorithms for each.

In the work of C. Donovan and N. A. Scoville, the homotopy type of the Morse complex of the extended star graph which is obtained as the one-point union of n paths of length 2 was determined by using star clusters and Cluster Lemma. In this paper, we determine the homotopy type of the Morse complex of extended star graph consisting of a path of length 1 and n paths of length 2 by using strong collapses and Hasse diagram. Furthermore, we compute the homotopy type of the graph obtained by attaching the center vertices of two extended star graphs to different endpoints of a path by using star clusters and the Cluster Lemma.

In 2022 Kim showed when a graph $G$ is ternary (without induced cycles of length divisible by three), its independence complex $\text{Ind}(G)$ is either contractible or homotopy equivalent to a sphere. In this paper, we show that when $\text{Ind}(G)$ is homotopy equivalent to a sphere of dimension $\dim \text{Ind}(G)$, the complex is Gorenstein. Equivalently, $G$ is a $1$-well-covered graph. This answers a question by Faridi and Holleben. We then focus on the independence complexes of Gorenstein planar ternary graphs. We prove that they are boundaries of vertex decomposable simplicial polytopes. We show that the transformations among these flag spheres using edge subdivisions and contractions can be modeled by the Hasse diagram of the partition refinement poset. In addition, their $h$-polynomials are products of Delannoy polynomials and thus real-rooted. Finally, we demonstrate a way to construct nonplanar Gorenstein ($1$-well-covered) ternary graphs from planar ones.