arXiv++ Combinatorics

The space of unit flows on a directed acyclic graph (DAG) with one source and one sink is known to admit regular unimodular triangulations induced by framings of the DAG. The dual graph of any of these triangulations may be given the structure of the Hasse diagram of a lattice, generalizing many variations of the Tamari lattice and the weak order. We extend this theory to flow polytopes of DAGs which may have multiple sources, multiple sinks, and nontrivial netflow vectors under certain planarity conditions. We construct a unimodular triangulation of such a flow polytope indexed by combinatorial data and give a poset structure on its maximal simplices generalizing the strongly planar one-source-one-sink case.

Brick polytopes constitute a remarkable family of polytopes associated to the spherical subword complexes of Knutson and Miller. They were introduced for finite Coxeter groups by Pilaud and Stump, who used them to produce geometric realizations of generalized associahedra arising from the theory of cluster algebras of finite types. In this paper, we present an application of the vast generalization of brick polyhedra for general subword complexes (not necessarily spherical) recently introduced by Jahn and Stump. More precisely, we show that the $ν$-associahedron, a polytopal complex whose edge graph is the Hasse diagram of the $ν$-Tamari lattice introduced by Préville-Ratelle and Viennot, can be geometrically realized as the complex of bounded faces of the brick polyhedron of a well chosen subword complex. We also present a suitable projection to the appropriate dimension, which leads to an elegant vertex-coordinate description.

In this paper, we use Hasse diagrams and generating functions to count alternating permutations with restricted prefix and suffix of lengths 3 and 4. In other words, for an alternating permutation $σ=σ_1σ_2σ_3\cdotsσ_{n}\in S_{n}$, we restrict length-3 prefixes $σ_1σ_2σ_3$ to follow certain patterns, such as $231$ and $132$, or follow certain restrictions such as $σ_2 \geq \max\{σ_1,σ_3\}+2$, similarly for prefixes of length 4. We also study the enumeration of alternating permutations with restrictions on both prefix and suffix.

Fix $d\ge2$ and consider a uniformly random set $P$ of $n$ points in $[0,1]^{d}$. Let $G$ be the Hasse diagram of $P$ (with respect to the coordinatewise partial order), or alternatively let $G$ be the Delaunay graph of $P$ with respect to axis-parallel boxes (where we put an edge between $u,v\in P$ whenever there is an axis-parallel box containing $u,v$ and no other points of $P$). In each of these two closely related settings, we show that the chromatic number of $G$ is typically $(\log n)^{d-1+o(1)}$ and the independence number of $G$ is typically $n/(\log n)^{d-1+o(1)}$. When $d=2$, we obtain bounds that are sharp up to constant factors: the chromatic number is typically of order $\log n/\log\log n$ and the independence number is typically of order $n\log\log n/\log n$. These results extend and sharpen previous bounds by Chen, Pach, Szegedy and Tardos. In addition, they provide new bounds on the largest possible chromatic number (and lowest possible independence number) of a $d$-dimensional box-Delaunay graph or Hasse diagram, in particular resolving a conjecture of Tomon.

This work shows a study about the structure of the cycles contained in a Minimal Strong Digraph (MSD). The structure of a given cycle is determined by the strongly connected components (or strong components, SCs) that appear after suppressing the arcs of the cycle. By this process and by the contraction of all SCs into single vertices we obtain a Hasse diagram from the MSD. Among other properties, we show that any SC conformed by more than one vertex (non trivial SC) has at least one linear vertex (a vertex with indegree and outdegree equal to 1) in the MSD (Theorem 1); that in the Hasse diagram at least one linear vertex exists for each non trivial maximal (resp. minimal) vertex (Theorem 2); that if an SC contains a number $λ$ of vertices of the cycle then it contains at least $λ$ linear vertices in the MSD (Theorem 3); and, finally, that given a cycle of length $q$ contained in the MSD, the number $α$ of linear vertices contained in the MSD satisfies $α\geq \lfloor (q+1)/2 \rfloor$ (Theorem 4).

Given a set $X$, the power set $\mathbb{P}(X)$, and a finite poset $P$, a family $F\subset \mathbb{P}(X)$ is said to be induced-$P$-free if there is no injection $φ: P\rightarrow \mathbb{F}$ such that $φ(p)\subseteqφ(q)$ if and only if $p\leq_{P} q$, for all $p, q \in P$. The family $F$ is induced-$P$-saturated if it is maximal with respect to being induced-$P$-free. If $n=|X|$, then the size of the smallest induced-$P$-saturated family in $\mathbb{P}(X)$ is denoted $sat(n,P)$. The poset $2C_2$ is two incomparable 2-chains (the Hasse diagram is two vertex-disjoint edges) and Keszegh, Lemons, Martin, Pálvölgyi, and Patkós proved that $n+2\leq sat(n,2C_2)\leq 2n$ and gave one isomorphism class of an induced-$2C_2$-saturated family that achieves the upper bound. We show that the lower bound can be improved to $3n/2 + 1/2$ by examining the necessary structure of a saturated family. In addition, we provide many examples of induced-$2C_2$-saturated families of size $2n$ in $\mathbb{P}(X)$ where $|X|=n$.

An abstract $n$-polytope $\mathcal{P}$ is a partially-ordered set which captures important properties of a geometric polytope, for any dimension $n$. For even $n \ge 2$, the incidences between elements in the middle two layers of the Hasse diagram of $\mathcal{P}$ give rise to the medial layer graph of $\mathcal{P}$, denoted by $\mathcal{G} = \mathcal{G}(\mathcal{P})$. If $n=4$, and $\mathcal{P}$ is both highly symmetric and self-dual of type $\{p,q,p\}$, then a Cayley graph $\mathcal{C}$ covering $\mathcal{G}$ can be constructed on a group of polarities of $\mathcal{P}$. In this paper we address some open questions about the relationship between $\mathcal{G}$ and $\mathcal{C}$ that were raised in a 2008 paper by Monson and Weiss, and describe some interesting examples of these graphs. In particular, we give the first known examples of improperly self-dual chiral polytopes of type $\{3,q,3\}$, which are also among the very few known examples of highly symmetric self-dual finite polytopes that do not admit a polarity. Also we show that if $p=3$ then $\mathcal{C}$ cannot have a higher degree of $s$-arc-transitivity than $\mathcal{G}$, and we present a family of regular $4$-polytopes of type $\{6,q,6\}$ for which the vertex-stabilisers in the automorphism group of $\mathcal{C}$ are larger than those for $\mathcal{G}$.

We say a finite poset $P$ is a tree poset if its Hasse diagram is a tree. Let $k$ be the length of the largest chain contained in $P$. We show that when $P$ is a fixed tree poset, the number of $P$-free set systems in $2^{[n]}$ is $2^{(1+o(1))(k-1){n \choose \lfloor n/2\rfloor}}$. The proof uses a generalization of a theorem by Boris Bukh together with a variation of the multiphase graph container algorithm.

The article is devoted to the magnitude homology of digraphs, with a primary focus on diagonal digraphs, i.e., digraphs whose magnitude homology is concentrated on the diagonal. For any digraph $G$, we provide a complete description of the second magnitude homology ${\rm MH}_{2,k}(G)$. This allows us to define a combinatorial condition, denoted by $(\mathcal{V}_\ell)$, which is equivalent to the vanishing of ${\rm MH}_{2,k}(G, \mathbb{Z})$ for all $k > \ell$. In particular, diagonal digraphs satisfy $(\mathcal{V}_2)$. As a corollary, we obtain that the 2-dimensional CW-complex obtained from a diagonal undirected graph by attaching 2-cells to all squares and triangles of the graph is simply connected. We also give an interpretation of diagonality in terms of Koszul algebras: a digraph $G$ is diagonal if and only if the distance algebra $σG$ is Koszul for any ground field, and if and only if $G$ satisfies $(\mathcal{V}_2)$ and the path cochain algebra $Ω^\bullet(G)$ is Koszul for any ground field. To provide a source of examples of digraphs, we study the extended Hasse diagram $\hat G_K$ of a pure simplicial complex $K$. For a triangulation $K$ of a topological manifold $M$, we express the non-diagonal part of the magnitude homology of $\hat G_K$ in terms of the homology of $M$. As a corollary, we obtain that if $K$ is a triangulation of a closed manifold $M$, then $\hat G_K$ is diagonal if and only if $M$ is a homology sphere.

The last in-tree recognition problem asks whether a given spanning tree can be derived by connecting each vertex with its rightmost left neighbor of some search ordering. In this study, we demonstrate that the last-in-tree recognition problem for Generic Search is $\mathsf{NP}$-complete. We utilize this finding to strengthen a complexity result from order theory. Given a partial order $π$ and a set of triples, the $\mathsf{NP}$-complete intermezzo problem asks for a linear extension of $π$ where each first element of a triple is not between the other two. We show that this problem remains $\mathsf{NP}$-complete even when the Hasse diagram of the partial order forms a tree of bounded height. In contrast, we give an $\mathsf{XP}$-algorithm for the problem when parameterized by the width of the partial order. Furthermore, we show that $\unicode{x2013}$ under the assumption of the Exponential Time Hypothesis $\unicode{x2013}$ the running time of this algorithm is asymptotically optimal.

The $Q$-polynomial property is an algebraic property of distance-regular graphs, that was introduced by Delsarte in his study of coding theory. Many distance-regular graphs admit the $Q$-polynomial property. Only recently the $Q$-polynomial property has been generalized to graphs that are not necessarily distance-regular. In [ J. Combin. Theory Ser. A, 205:105872, 2024 ], it was shown that graphs arising from the Hasse diagrams of the so-called attenuated space posets are $Q$-polynomial. These posets could be viewed as $q$-analogs of the Hamming posets, which were not studied in [ J. Combin. Theory Ser. A, 205:105872, 2024 ]. The main goal of this paper is to fill this gap by showing that the graphs arising from the Hasse diagrams of the Hamming posets are $Q$-polynomial.

Given $s,t\in\mathbb{N}$, a complete bipartite poset $\mathcal{K}_{s,t}$ is a poset whose Hasse diagram consists of $s$ pairwise incomparable vertices in the upper layer and $t$ pairwise incomparable vertices in the lower layer, such that every vertex in the upper layer is larger than all vertices in the lower layer. A family $\mathcal{F}\subseteq2^{[n]}$ is called induced $\mathcal{K}_{s,t}$-saturated if $(\mathcal{F},\subseteq)$ contains no induced copy of $\mathcal{K}_{s,t}$, whereas adding any set from $2^{[n]}\backslash\mathcal{F}$ to $\mathcal{F}$ creates an induced $\mathcal{K}_{s,t}$. Let $\mathrm{sat}^{*}(n,\mathcal{K}_{s,t})$ denote the smallest size of an induced $\mathcal{K}_{s,t}$-saturated family $\mathcal{F}\subseteq2^{[n]}$. It was conjectured that $\mathrm{sat}^{*}(n,\mathcal{K}_{s,t})$ is superlinear in $n$ for certain values of $s$ and $t$. In this paper, we show that $\mathrm{sat}^{*}(n,\mathcal{K}_{s,t})=O(n)$ for all fixed $s,t\in\mathbb{N}$. Moreover, we prove a linear lower bound on $\mathrm{sat}^{*}(n,\mathcal{P})$ for a large class of posets $\mathcal{P}$, particularly for $\mathcal{K}_{s,2}$ with $s\in\mathbb{N}$.

Given a lattice path $ν$, the alt $ν$-Tamari lattice is a partial order recently introduced by Ceballos and Chenevière, which generalizes the $ν$-Tamari lattice and the $ν$-Dyck lattice. All these posets are defined on the set of lattice paths that lie weakly above $ν$, and posses a rich combinatorial structure. In this paper, we study the geometric structure of these posets. We show that their Hasse diagram is the edge graph of a polytopal complex induced by a tropical hyperplane arrangement, which we call the alt $ν$-associahedron. This generalizes the realization of $ν$-associahedra by Ceballos, Padrol and Sarmiento. Our approach leads to an elegant construction, in terms of areas below lattice paths, which we call the canonical realization. Surprisingly, in the case of the classical associahedron, our canonical realization magically recovers Loday's ubiquitous realization, via a simple affine transformation.

We introduce a class of 4-dimensional crystal melting models that count the BPS bound state of branes on toric Calabi-Yau 4-folds. The crystalline structure is determined by the brane brick model associated to the Calabi-Yau 4-fold under consideration or, equivalently, its dual periodic quiver. The crystals provide a discretized version of the underlying toric geometries. We introduce various techniques to visualize crystals and their melting configurations, including 3-dimensional slicing and Hasse diagrams. We illustrate the construction with the D0-D8 system on $\mathbb{C}^4$. Finally, we outline how our proposal generalizes to arbitrary toric CY 4-folds and general brane configurations.

We introduce a new poset structure on Dyck paths where the covering relation is a particular case of the relation inducing the Tamari lattice. We prove that the transitive closure of this relation endows Dyck paths with a lattice structure. We provide a trivariate generating function counting the number of Dyck paths with respect to the semilength, the numbers of outgoing and incoming edges in the Hasse diagram. We deduce the numbers of coverings, meet and join irreducible elements. As a byproduct, we present a new involution on Dyck paths that transports the bistatistic of the numbers of outgoing and incoming edges into its reverse. Finally, we give a generating function for the number of intervals, and we compare this number with the number of intervals in the Tamari lattice.

Given two posets $P,Q$ we say that $Q$ is $P$-free if $Q$ does not contain a copy of $P$. The size of the largest $P$-free family in $2^{[n]}$, denoted by $La(n,P)$, has been extensively studied since the 1980s. We consider several related problems. Indeed, for posets $P$ whose Hasse diagrams are trees and have radius at most $2$, we prove that there are $2^{(1+o(1))La(n,P)}$ $P$-free families in $2^{[n]}$, thereby confirming a conjecture of Gerbner, Nagy, Patkós and Vizer [Electronic Journal of Combinatorics, 2021] in these cases. For such $P$ we also resolve the random version of the $P$-free problem, thus generalising the random version of Sperner's theorem due to Balogh, Mycroft and Treglown [Journal of Combinatorial Theory Series A, 2014], and Collares Neto and Morris [Random Structures and Algorithms, 2016]. Additionally, we make a general conjecture that, roughly speaking, asserts that subfamilies of $2^{[n]}$ of size sufficiently above $La(n,P)$ robustly contain $P$, for any poset $P$ whose Hasse diagram is a tree.

The $(m,n)$-multiplihedron is a polytope whose faces correspond to $m$-painted $n$-trees, and whose oriented skeleton is the Hasse diagram of the rotation lattice on binary $m$-painted $n$-trees. Deleting certain inequalities from the facet description of the $(m,n)$-multiplihedron, we construct the $(m,n)$-Hochschild polytope whose faces correspond to $m$-lighted $n$-shades, and whose oriented skeleton is the Hasse diagram of the rotation lattice on unary $m$-lighted $n$-shades. Moreover, there is a natural shadow map from $m$-painted $n$-trees to $m$-lighted $n$-shades, which turns out to define a meet semilattice morphism of rotation lattices. In particular, when $m=1$, our Hochschild polytope is a deformed permutahedron whose oriented skeleton is the Hasse diagram of the Hochschild lattice.

The Wiener index of a finite graph G is the sum over all pairs (p, q) of vertices of G of the distance between p and q. When P is a finite poset, we define its Wiener index as the Wiener index of the graph of its Hasse diagram. In this paper, we find exact expressions for the Wiener indices of the distributive lattices of order ideals in minuscule posets. For infinite families of such posets, we also provide results on the asymptotic distribution of the distance between two random order ideals.

In cooperative game theory, associated games allow for providing meaningful characterizations of solution concepts. Moreover, generalized values allow computing an influence or power index of each coalition in a game. In this paper, we view associated games through the lens of game maps and we define the novel Shapley-Hodge Game, briefly ``SHoGa''. We characterize SHoGa via an axiomatic approach as a generalized value, and we thoroughly discuss the consistency properties of its associated game. Furthermore, we describe the Hodge decomposition of an oriented graph representing the transitive closure of the Hasse diagram of coalitions in the game. Finally, we show how SHoGa is linked to the solution of the Poisson equation derived from such a decomposition.

A rooted tree T is a poset whose Hasse diagram is a graph-theoretic tree having a unique minimal element. We study rowmotion on antichains and lower order ideals of T. Recently Elizalde, Roby, Plante and Sagan considered rowmotion on fences which are posets whose Hasse diagram is a path (but permitting any number of minimal elements). They showed that in this case, the orbits could be described in terms of tilings of a cylinder. They also defined a new notion called homometry which means that a statistic takes a constant value on all orbits of the same size. This is a weaker condition than the well-studied concept of homomesy which requires a constant value for the average of the statistic over all orbits. Rowmotion on fences is often homometric for certain statistics, but not homomesic. We introduce a tiling model for rowmotion on rooted trees. We use it to study various specific types of trees and show that they exhibit homometry, although not homomesy, for certain statistics.