arXiv++ Combinatorics

We study the order dimension of Cartesian products of finite posets. Kelly and Trotter conjectured in 1982 that $\dim(P\times Q)\ge\dim P+\dim Q-2$ for all finite posets $P$ and $Q$. For $m\ge3$, let $R_m$ denote the incidence poset of the complete graph on $m$ vertices. We prove that there is a constant $C$ such that, for all sufficiently large $m$, $\dim(R_m\times R_m)\le\left(1+\frac{2}{\log_2 6}\right)\dim R_m+C$. Since $1+2/\log_2 6<2$, this disproves the Kelly--Trotter conjecture and shows that $2\dim R_m-2-\dim(R_m\times R_m)$ can grow linearly with $\dim R_m$. For every integer $d\ge8$, we construct an incidence poset $Q_d$ such that $\dim Q_d=d$ and $Q_d$ has the $(3,d)$-covering property. Consequently, $\dim(P\times Q_d)\le\dim P+d-3$ for every poset $P$ with $\dim P\ge3$. Thus, for every integer $d\ge8$, the poset $Q_d$ violates the Kelly--Trotter conjecture with every poset of dimension at least $3$. Finally, we prove that a poset $Q$ has an $(r,s)$-covering if and only if $\dim(Q\times C^r)\le s$ for every finite chain $C$ with at least two elements.

Let $\mathbb{P}(x\prec y)$ be the probability that $x$ precedes $y$ in a uniformly random linear extension of an $n$-element poset $P$, and define the balancing coefficient to be $δ(x,y)=\min(\mathbb{P}(x\prec y),\mathbb{P}(y\prec x))$ with $δ(P)=\max_{x,y}δ(x,y)$. We prove (Theorem 1) that sufficiently large width forces $δ(P)$ to be arbitrarily close to $1/2$, answering a long-standing conjecture of Kahn and Saks. In fact, we prove the stronger result (Theorem 2) that large width forces one of two configurations in our poset: either a nearly uniform order on $k$ vertices, or an almost fixed order on $t$ vertices with one further vertex inserted uniformly among the $t+1$ slots. We also show that, for fixed $k$, the first possibility must occur within any antichain $X$ of size $Ω(n^{2/3})$.

The balance constant is a poset parameter measuring how well random linear extensions can be split according to their relative order on two elements. We give an $\varepsilon$-improvement for the balance constant over the bound by Brightwell, Felsner and Trotter (1995), for some small $\varepsilon>0$. This is the first general result towards the $\frac{1}{3}$--$\frac{2}{3}$ conjecture in over 30 years.

The Delannoy numbers $d(n,k)$ count lattice paths from $(0,0)$ to $(n-k,k)$ using steps $(1,0),(0,1)$ and $(1,1)$. This paper introduces a graded poset $\mathcal{D}_n$ on the Delannoy paths ending on the line $x+y=n$, whose rank-generating function is the Delannoy polynomial $d_n(x)=\sum_{k=0}^n d(n,k)x^k$. We prove that $\\mathcal{D}_n$ is a self-dual lattice, which is call the Delannoy lattice. By establishing an explicit symmetric Boolean decomposition, we show that $\mathcal{D}_n$ is a symmetric Boolean order, thereby recovering the $γ$-positivity of $d_n(x)$. Such a decomposition is refined to a symmetric chain decomposition with the chain cover property, and is applied to determine all maximum antichains. We also investigate other combinatorial aspects of $\mathcal{D}_n$, including supersolvability, the Möbius number, characteristic polynomials, and zeta polynomials.

We consider the Cartan square $V^{2λ}$ of a minuscule representation $V^λ$ of a simply laced complex simple Lie algebra $\mathfrak g$. We construct for $V^{2λ}$ a family of bases, which we call quiver bases, each indexed by the set $\operatorname{RPP}_2(P_λ)$ of reverse plane partitions of height two on the minuscule poset $P_λ$ of $V^λ$. Let $Q$ be a quiver on the Dynkin diagram of $\mathfrak g$, and let $c_Q$ be the corresponding Coxeter element. The quiver basis $\mathcal B^Q$ is distinguished by the following property: Up to sign, the action of the Tits representative $\dot c_Q$ on $\mathcal B^Q$ lifts the action of $c_Q$, via piecewise-linear toggles, on $\operatorname{RPP}_2(P_λ)$. This proves uniformly that, for any minuscule poset $P$, piecewise-linear Coxeter-motion and rowmotion on $\operatorname{RPP}_2(P)$ exhibit the cyclic sieving phenomenon. In type~$A$, the quiver basis for the standard orientation recovers, up to rescaling, the canonical basis, whose compatibility with the long cycle was established by Rhoades. In other types, however, we show the canonical basis is not compatible with any Coxeter element.

This paper studies the antichain polynomials of $[k]\times P$, where $P$ is a connected minuscule poset. We give a formula for the number of antichains, counted by size, of an arbitrary poset. Using this formula, we present necessary and sufficient conditions for the palindromicity of antichain polynomials for two infinite families of connected minuscule posets. We show that, for every connected minuscule poset $P$, if the antichain polynomial of $[k]\times P$ is palindromic, then it has only real and strictly negative zeros. This result, in particular, gives an affirmative answer to Ding-Dong's conjecture about $γ$-positivity of the antichain polynomial of $[k]\times P$. By constructing a bijection between antichains and labeled Dyck paths, we also give a layer-refined enumeration of the antichains in $[2]\times[m]\times[n]$. We establish a relation between such antichains and Clar covers of the hexagonal flakes $O(2,m,n)$, thus prove a conjectured determinantal formula for a family of Zhang-Zhang polynomials. Real-rootedness and stability results are also obtained when the shortest chain has length at most two. Finally, we present infinitely many connected Peck posets whose antichain polynomials are not unimodal, disproving the log-concavity conjecture of Ding and Dong.

We address Questions~8.1 and~8.4 of Coron--Ferroni--Li \cite{coron2025chow}. For the first part of Question~8.1, which asks whether every rank-uniform EL-shellable poset admits a rank-uniform EL-labeling, we construct a counterexample of rank $4$ and prove that this rank is minimal. For the second part of Question~8.1, concerning whether every rank-uniform EL-shellable poset is UMEL-shellable, we construct a counterexample of rank $3$. We also develop a general criterion for constructing UMEL-shellable posets of rank $3$. As an application, we give an affirmative answer to Question~8.4 of Coron--Ferroni--Li.

This text is a self-contained expository survey of the Lagrange and Markov spectra, centered on a comprehensive exposition of Markov's theorem and its generalizations. Its purpose is to provide a systematic text for learning the theory, with detailed proofs and explanations of the connections among its arithmetic, combinatorial, and geometric descriptions. The necessary background in continued fractions, quadratic irrationals, binary quadratic forms, and bi-infinite sequences is developed step by step, followed by an exposition of generalized Markov numbers, fence posets, curve lengths, and generalized Cohn matrices. One goal of this exposition is to explain the formula connecting generalized Markov numbers with the two spectra. For nonnegative integer parameters $(k_1,k_2,k_3)$, a permutation $σ\in\mathfrak S_3$, and a fraction label $t\in\mathbb Q_{\geq0}\cup\{\infty\}$, let $m_t$ be the associated generalized Markov number and let $k_t=k_{i_t}$ be the parameter assigned to its position $i_t\in\{1,2,3\}$. The text explains the construction of an associated finite sequence $S(t)$ of positive integers and the identity \[ \mathcal L(α_{S(t)}) =\mathcal M(Q_{S(t)}) =\frac{\sqrt{((3+k_1+k_2+k_3)m_t-k_t)^2-4}}{m_t}, \] where $α_{S(t)}=[\overline{S(t)}]$ and $Q_{S(t)}=(x-α_{S(t)}y)(x-α'_{S(t)}y)$, with the prime denoting quadratic conjugation. Here $\mathcal L$ and $\mathcal M$ denote the Lagrange and Markov constants, respectively. The survey explains how this identity relates generalized discrete Markov spectra to the classical theory and how Markov's theorem is recovered when the parameters vanish. The account also includes boundary values arising from irrational slopes and generalizations of Frobenius's uniqueness conjecture, providing a unified perspective on the classical theorem and its extensions.

The Tutte polynomial is a bivariate polynomial that has been extensively studied in graph and matroid theory. Gordon was the first to study the Tutte polynomial $T(P;x,y)$ of the greedoid induced by a poset $P$, including the special case of series-parallel posets. In particular, Gordon and McMahon conjectured that, for any two series-parallel posets $P$ and $Q$, the equality $T(P;x,y)=T(Q;x,y)$ holds if and only if $P\cong Q$. In studying this conjecture, Gordon introduced a subclass $\mathcal{P}$ of series-parallel posets and proved that this equivalence holds for all $P,Q\in\mathcal{P}$. In this paper, we introduce a new subclass $\mathrm H$ of series-parallel posets and prove that $\mathcal P\subseteq\mathrm H$. Moreover, we show that, for every $P\in\mathrm H$ and every $Q\in\mathrm{SP}$, the equality $T(P;x,y)=T(Q;x,y)$ holds if and only if $P\cong Q$, thereby extending Gordon's result.

We introduce posets of type $\mathbb{D}$, a family of posets described by an admissible Dynkin quiver of type $D_n$ together with a compatible set of extra arrows (alien arrows), and show that their socle-projective representation category is of finite representation type. Continuing, in the same spirit, a program initiated for posets of type $\mathbb{A}$ [R. Schiffler, R-J. Serna, A geometric realization of socle-projective categories for posets of type $\mathbb{A}$, J. Pure Appl. Algebra 224 (2020), no. 12, 106436], we build on an existing geometric model for cluster-tilted algebras of type $D_n$, whose geometric combinatorics is more intricate than that of type $\mathbb{A}$. Our main result establishes a $\Bbbk$-linear categorical equivalence $Θ$ between a full subcategory $(\mathcal C/T)_F$ of the arc category of a punctured $(n+3)$-gon, whose objects are certain $sp$-arcs, and the category of finitely generated socle-projective $\Bbbk\mathscr{P}$-modules, for $\mathscr{P}$ a poset of type $\mathbb{D}$. As a consequence, when the set of alien arrows is empty, we conclude that the cluster subalgebra generated by the $sp$-arcs coincides with the full cluster algebra.

We consider the integer version of Alkan--Gale's model on stability in a two-sided market, called the stable generalized allocation one. It is given by a triple $(G,b,C)$, where $G=(V,E)$ is a finite bipartite graph with nonnegative integer capacities $b(e)\in{\mathbb Z}_+$ of edges $e\in E$, and for each vertex (``agent'') $v\in V$, the preferences on the set $E_v$ of its incident edges depend on a choice function $C_v$. The latter acts on the set of vectors in ${\mathbb Z}_+^{E_v}$ bounded by the capacities and obeys the standard axioms of substitutability and size monotonicity. Alkan--Gale's prominent theorem implies that the stability problem in this case always has a stable solution $x\in{\mathbb Z}_+^E$ and, moreover, the set ${\cal S}_{G,b,C}$ of these solutions (``stable generalized allocations'') forms a distributive lattice. However, this lattice is rather intricate to construct and work with, and we wonder whether it can be represented via a ``simpler'' stability model. Answering this issue, we arrange a sort of splitting techniques to embed ${\cal S}_{G,b,C}$, as a sublattice, in the lattice of stable matchings and, more compactly, in the lattice of stable allocations (as in Baiou--Balinski's stability model). This generalizes Fleiner's result on a detachment in the special case with all-unit capacities. Keywords: stable marriage, stable allocation, choice function, rotation, distributive lattice, poset representation

In this article, we first introduce quasi-overlap and quasi-grouping functions on bounded pseudo-ordered sets, respectively, and give their respective preliminary constructions and the induced quasi-overlap functions on quotient posets.. We then explore the invariant properties under weighting and automorphisms. We also introduce the migrativity, the homogeneity, the idempotency, the cancellation law, the Archimedean and limiting properties of quasi-overlap functions and discuss their relations. We finally present two constructing methods of quasi-overlap functions, which are based on boundary-faithful mappings and adjunctions on bounded psosets and the transitive-endpoints of a bounded trellis, respectively. The corresponding statements are valid for quasi-grouping functions as well.

We prove the face-number conjecture of Hibi and Li: for every finite poset, the order polytope has no more faces of any given dimension than the chain polytope. More generally, the face numbers increase weakly along the admissible family of chain-order polytopes when one order coordinate is replaced by a chain coordinate.

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.

We introduce a new method that brings the combinatorics of hyperplane arrangements into the study of representation zeta functions of compact Lie groups. For the Witten zeta function $ζ_Φ(s)$ associated with a root system $Φ$, our method yields elegant formulas for $ζ_Φ(0)$ and $ζ_Φ'(0)$ in terms of the exponents of various parabolic subsystems of $Φ$. Such formulas do not appear to be readily accessible through the conventional analytic techniques in the literature. More generally, the method applies to a broad family of conical zeta functions, expressing these two special values through the Möbius function of the intersection poset of the associated hyperplane arrangement.

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.

Posets of integer partitions, ordered by refinement, were criticized for unruly structural behavior by both Birkhoff and Ziegler. However, recent work of Propp, McConville, and Sagan demonstrated that such posets of hyperbinary partitions are distributive, with posets of join irreducible elements isomorphic to the well-studied class of fence posets. We provide a generalization of this result for hyper $(b,t)$-ary partitions, where all parts are powers of some positive integer $b$, and multiplicities are restricted to $t\ge b$. Then, we show that posets of hyper $(b,t)$-ary partitions are indeed also distributive lattices.

A cyclic subgroup graph of a group is a graph whose vertices are cyclic subgroups of the group, and two distinct vertices are adjacent if one is a maximal subgroup of the other. In this paper, we examine several graph-theoretic properties of cyclic subgroup graphs, including bipartiteness, regularity, girth, diameter, and vertex degrees. We also classify all groups whose cyclic subgroup graphs are connected, complete, star graphs, trees, or paths. Further, we examine the cyclic subgroup graph for specific families of groups such as cyclic, dihedral, dicyclic, generalized quaternion, minimal non-cyclic and nilpotent groups. We also discuss the relationship of cyclic subgroup graph with the power graph and the enhanced power graph. Additionally, we give a relationship between a cyclic subgroup graph and a poset.

In 1986, Füredi and Kahn showed that the dimension $\dim(P)$ of any finite poset $P$ satisfies $\dim(P) = O(d \log^2 d)$, where $d$ is the maximum degree of the comparability graph of $P$. Scott and Wood more recently improved this bound to one of the form $d \log^{1+o(1)} d$. We show that $\dim(P) = O(d \log d)$, thus confirming that the corresponding lower bound of Erdős, Kierstead, and Trotter is tight up to the implicit constant.

We study the minion homomorphism poset of multisorted Boolean clones. Our main result completely determines the subposet induced by products of Boolean clones: every inequality between prod- ucts is induced by inequalities between their Boolean factors. Furthermore, we determine the minion cores of all products of Boolean clones, thereby identifying canonical representatives of their minion homomorphic equivalence classes.