arXiv++ Combinatorics

Dimension of partially ordered sets (posets for short) can be seen as a measure of how much space is needed to store posets. Refining the definition of dimension, or actually the local dimension, in this respect we obtain the notion of relative dimension. We discuss properties of relative dimension and we give bounds for relative dimension of some well-known families of posets.

We determine the measures (in the sense of Harman--Snowden) on the Fraïssé class of partially ordered sets: the space of measures is a union of a plane, eight lines, and 15 isolated points. This is the first case where the space is not equidimensional, and the first primitive case in which it has dimension at least two. ChatGPT was used to obtain many arguments. The writing was done entirely by the author.

When a variety $V_\varphi$ equals the image of a polynomial map $\varphi$ whose coordinate functions are combinatorial generating polynomials (i.e.~polynomials enumerating combinatorial objects), the geometry of $V_\varphi$ reflects identities satisfied by the generating polynomials. The resulting interplay between combinatorics and algebraic geometry can be used to answer questions about $V_\varphi$. A recent technique proposes to do so using a partially ordered set (poset) $P_\varphi$ defined via the coefficient vectors of the polynomials defining $\varphi$. This paper characterizes the poset $P_\varphi$ when the generating polynomials defining $\varphi$ enumerate subgraphs of a directed tree known as treks. The characterization is used to compute the linear span of $V_\varphi$, prove it is toric and deduce a basis for its vanishing ideal. It is also shown that this poset of trek polynomials for a directed tree is a so-called $π$-system if and only if the tree satisfies a property characterized via Stanley's P-partitions. As an additional consequence, it is shown that the varieties for two distinct directed trees intersect in a strictly lower-dimensional variety. This solves an instance of the structural identifiability problem in the graphical models program from statistics.

We use partially ordered sets (posets) to provide a canonical parameterization for the Zariski closure of the image of a semialgebraic set under a rational map whose coordinate functions are polynomials with nonnegative integral coefficients. The resulting poset parametrization of such a unirational variety allows us to translate several well-studied problems into combinatorics; e.g. reducing the problems to describing the poset associated to the variety. These problems include, the implicitization problem from algebraic geometry, the toric reparameterization problem, the computation of the linear span of the variety, and the problem of distinguishing two semialgebraic subsets of the same ambient space. The technique applies to instances of these problems in several fields, including algebraic geometry, algebraic combinatorics, statistics and applied algebra. We demonstrate the technique on examples from each field, including degenerate subvarieties of secant varieties, matroid flat varieties -- which generalize toric varieties of edge polytopes, as well as varieties arising in multivariate data analysis and evolutionary biology.

Let $\mathcal Q=\{Q_a:a\geq1\}$ be a nested family of finite posets such that $Q_a\subseteq Q_{a+1}$ and $|Q_a|<|Q_{a+1}|$. For a poset $Q$, let $\mathcal C_t(Q)$ denote the set of all strict $t$-chains in $Q$. Given an $r$-coloring of $\mathcal C_t(Q_a)$ and posets $P_1,\ldots,P_r$, a weak copy of $P_i$ is called monochromatic of color $i$ if all $t$-chains in the copy have color $i$; the strong version is defined in the same way for induced copies. The corresponding weak and strong multiplicity parameters are the minimum possible total number of such monochromatic copies in the host poset.For the Boolean lattice $B_n$, define $E_n={(S,T,U)\in B_n^3:S\subsetneq T\subsetneq U,\ |S|+|T|=|U|}.$ For a two-coloring $χ:B_n\to{0,1}$, a triple $(S,T,U)\in E_n$ is monochromatic if $χ(S)=χ(T)=χ(U)$. Let $R^{\mathrm{arith}}_2$ be the least integer $n$ such that every two-coloring of $B_n$ contains a monochromatic triple in $E_n$, and let $M^{\mathrm{arith}}_2(B_n)$ be the minimum number of monochromatic triples in $E_n$ over all two-colorings of $B_n$. We prove that $R^{\mathrm{arith}}_2=9.$ Moreover, $|E_n|=\binom{2n}{n}-[x^n](1+x+x^2)^n-2^n+1=\frac{4^n}{\sqrt{πn}}\bigl(1+o(1)\bigr),$ and $2^{δn+o(n)}\le M^{\mathrm{arith}}_2(B_n)\le 2^{γn+o(n)}, $ where $δ\approx 1.356779$ and $γ\approx 1.567837$ are explicit entropy constants. For general nested host families, we prove a double-counting lower bound for strong poset multiplicity. For an arbitrary finite host poset $R$, we also introduce a Fourier-Möbius method and give an exact Fourier expansion for strong multiplicity, a Parseval-type error bound, and a spectral lower bound.

We report the exact value of the number of labeled partially ordered sets (equivalently, labeled $T_0$ topologies) on 19 points, P(19) = 646099441937791106493755218560442089979, a 39-digit integer extending OEIS A001035, whose largest previously computed term was P(18) (Brinkmann and McKay). By the Stirling transform we also obtain the number of labeled topologies on 19 points, A000798(19) = 689054943207246404281592791142107048261. Our route is the Erné-Stege moment reduction, which expresses P(19) through a few sums of antichain counts over the posets on at most 16 points. All of these are available from the posets on at most 15 points (whose number is catalogued, and which standard software generates on demand), except a single moment over the 16-point posets. That moment is obtained not by enumerating the 16-point posets but by inserting a single element into the 15-point ones, with a per-parent kernel that advances the sum at the cost of computing the parent's own antichain count. The result passes several independent checks, among them the residue predicted by the modular periodicity of A001035 and the recovery from the same sweep of the known count P(16) and the Erné-Stege moments G(16,1) and G(16,2). We also report the moments G(16,3) and G(16,4), the latter an input to the analogous computation for 20 points.

For a partially ordered set ${\mathbb{P}} = (X,\leq)$ there exist hypergraphs where the vertices are the set of ordered tuples of either all incomparable elements of ${\mathbb{P}}$ or all the critical pairs of ${\mathbb{P}}$, and the edges are formed by the duals of either all the alternating cycles of ${\mathbb{P}}$ or all the strict alternating cycles of ${\mathbb{P}}$. The weak chromatic numbers of these hypergraphs are all equal to the order dimension of ${\mathbb{P}}$. Here are established upper bounds on the number of strict alternating cycles a poset ${\mathbb{P}}=(X,\leq)$ can have in terms of $n = |X|$, the cardinality of the groundset of ${\mathbb{P}}$, and the width $w$ of ${\mathbb{P}}$. These bounds also apply to the number of hyperedges of the associated hypergraph ${\mathcal{H}}^s(\mathbb{P})$, with incomparable pairs as vertices and strict alternating cycles dual to its hyperedges.

Order theory is increasingly relevant in applications where data is naturally structured as a partially ordered set (poset), often requiring meaningful notions of distance over posets. In this paper, we introduce a new family of extended metrics on path-connected and fence-connected posets that do not require additional structure. Unlike many existing distances, these metrics are not induced by valuations, but instead arise as a type of shortest-path distance determined by both path length and the number of alternations. For discrete posets, we show that these metrics converge to a type of shortest-fence metric. Our main result establishes that these metrics characterize most discrete path-connected posets up to isomorphism, and up to duality for modular posets. Finally, we prove that this family defines interleaving distances when posets are viewed as thin categories.

In this paper, we introduce a new combinatorial operation, called a flip, on arbitrary partially ordered sets. We define a mutation to be a flip that maps a lattice to a lattice. We study properties of flips, and give a necessary and sufficient condition for a flip to be a mutation. We introduce locally mutable lattices and mutable lattices in terms of flips, and prove that mutable lattices are semidistributive. We show that type-A and type-B Cambrian lattices are locally mutable, and those associated with the finite-type Coxeter quivers with different orientations are related also by the sequence of mutations. Finally we introduce a new class of lattices, called Ordovician lattices, as the lattices obtained from Cambrian lattices by iterated mutations. We provide conjectures on the structure of Ordovician lattices and on the compatibility between our mutation and the mutation in the theory of cluster algebras.

Given integers $p,q,t$ with $1 \le t \le p$ and $1 \le q \le h_p(t)$, a strong $(p,q,t)$-coloring of the Boolean lattice $B_n$ is a coloring of its $t$-chains such that every induced copy of $B_p$ in $B_n$ uses at least $q$ colors on its $t$-chains. Let $f_t^{\sharp}(n,p,q)$ denote the minimum number of colors in such a coloring. We study this Boolean-lattice analogue of the Erdős-Gyárfás function. We first show that every finite poset strongly embeds into a Boolean lattice. Combined with a structural Ramsey theorem for finite posets with linear extensions, this implies the existence of the strong Boolean Ramsey number $\mathrm{R}^{\sharp}_{k,t}(\mathcal{B}\mid Q)$ for every integer $k\ge1$, every $t\ge1$, and every nonempty finite poset $Q$. In particular, this gives an affirmative answer to a problem of Cox and Stolee and yields the existence of $f_t^{\sharp}(n,p,2)$. Next, using the symmetric Lovász local lemma, we obtain a probabilistic upper bound on $f_t^{\sharp}(n,p,q)$. Finally, we prove lower bounds by combining Turán-type extremal estimates for $t$-chains, a double-counting argument, and a generalized Lubell-type framework for $t$-chains.

Order dimension theory measures the complexity of partially ordered sets by quantifying how far they are from being linearly ordered. In this paper we study classical bounding results for order dimension within the framework of reverse mathematics. We focus on principles asserting that the dimension of a poset can be bounded in terms of the dimension of subposets obtained by removing chains or points, denoted by $\mathsf{DBi_n}$, $\mathsf{DBc_n}$, and $\mathsf{DB_p}$. We prove that, over $\mathsf{RCA}_0$, both $\mathsf{DBi_n}$ and $\mathsf{DBc_n}$ are equivalent to $\mathsf{WKL}_0$. To analyze $\mathsf{DB_p}$, we introduce a natural strengthening $\mathsf{DB^+_p}$ and show that both $\mathsf{DB_p}$ and $\mathsf{DB^+_p}$ are provable from $\mathsf{WKL}_0$ and from $\mathsf{I}Σ^0_2$, while $\mathsf{B}Σ^0_2$ does not suffice to prove $\mathsf{DB^+_p}$. The latter result is obtained by showing that the statement \lq\lq $\mathsf{DB^+_p}$ is computably true\rq\rq\ is equivalent to $\mathsf{I}Σ^0_2$.

We present an explicit family of hypergraphs with arbitrarily large uniformity and chromatic number that admit realizations in both geometric and number-theoretic settings. As an application, we give a new proof of a theorem of Chen, Pach, Szegedy, and Tardos. They showed that for any constants $c,k\ge1$, there exists a finite point set $P$ in the plane with the following property: for every coloring of $P$ with $c$ colors, there is an axis-parallel rectangle containing at least $k$ points, all of the same color. Their original proof is probabilistic; we present an explicit construction. Moreover, in the case $k=2$, we show that one can even realize a graph that has arbitrarily large girth and chromatic number simultaneously. We also answer a question of Pálvölgyi on coloring sets of integers with respect to certain finite arithmetic progressions. Finally, we give an application to coloring partially ordered sets.

A finite poset (partially ordered set) $P$ with ${\hat 0}$ is called of distributive type if every interval $[{\hat 0}, a]$, $a \in P$, of $P$ is a distributive lattice. From a viewpoint of ASL's (algebras with straightening laws), the join-meet toric ring on a finite distributive lattice is generalized to an ASL on a finite poset of distributive type. Our target is the questions when a finite poset of distributive lattice is Cohen--Macaulay and when the ASL on it is Gorenstein. We focus on a natural class of finite posets of distributive type and study various aspects of the above questions.

A finite impartial game is a two-player game in which the players take turns making moves and the game ends after finitely many moves. In this paper, we study a class of finite impartial games introduced by H.~Lenstra, which we call coin turning games. We focus on two typical classes of coin turning games, namely the order ideal games and the rulers, distinguished by their choices of turning sets. For several posets arising from enumerative combinatorics, we determine the Sprague-Grundy functions. In particular, we determine the Sprague-Grundy function of the order ideal game on the ASM poset, introduced by J.~Striker in connection with the alternating sign matrices.

We present a matrix-theoretic approach for studying and enumerating finite posets through their incidence representations, referred to as poset matrices. Naturally labelled posets are encoded as Boolean lower triangular matrices, allowing a unified treatment of Birkhoff problem on non-isomorphic posets and Dedekind problem on antichains. A key idea is a systematic construction and indexing of poset matrices as principal submatrices of the binary Pascal matrix, leading to new structural insights through permutation similarity and domination relations. This approach provides a consistent matrix-based perspective on classical enumeration problems in poset theory.

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.

One of possible cryptomorphic definitions of a partially ordered set (= a poset) $P$ on a non-empty finite basic set $N$ is in terms of the set ${\cal L}(P)$ of all its linear extensions, that is, in terms of the set of total orders of $N$ consonant with $P$. Any total order of $N$ can be interpreted as a node of a particular graph, called the permutohedral graph (over $N$), because it is indeed the graph of a certain polytope in $\mathbb{R}^{N}$, known as the permutohedron. It is shown in the paper that a non-empty set of total orders of $N$ equals to ${\cal L}(P)$ for some poset $P$ on $N$ iff it is a geodetically convex set in the permutohedral graph. This result means that a purely graphical concept of geodetical convexity in this graph is a cryptomorphic definition of a finite poset. In particular, the lattice of geodetically convex sets in this graph is graded and its height function is described in graphical terms. A counter-example, however, shows that the height function does not correspond to the usual graphical diameter, relating this matter to a combinatorial concept of the dimension of a poset. Two alternative cryptomorphic views on a poset $P$ on $N$ are also briefly commented. The geometric counterpart is its full-dimensional braid cone in $\mathbb{R}^{N}$, while a combinatorial alternative is a topology on $N$ distinguishing points, often referred as a distributive lattice.

It has long been known that the most symmetrical solutions of Kirkman's Schoolgirl Problem can be constructed from the $240$ packings of the projective space $PG(3, 2)$, but it seems to have escaped notice that these packings have the structure of a partially ordered set. In this paper, we construct a shellable Bruhat-like graded partial order on the packings of $PG(3, 2)$ that refines the partial order on the product of four chains $[8]\times[5]\times[3]\times[2]$ and defines a Lehmer code on the packings. The partial order exists because the packings of $PG(3, 2)$ form a quasiparabolic set (in the sense of Rains--Vazirani) that is in bijective correspondence with a certain collection of maximal orthogonal subsets of the $E_8$ root system. The $E_8$ construction also induces transitive actions of the Weyl groups of type $D_n$ on the packings for $5 \leq n \leq 8$, and these actions are faithful for $n < 8$. It is possible to define both the signed permutation action and the partial order using the combinatorics of labelled Fano planes.

Let $U$ be a set of positive roots of type $ADE$, and let $Ω_U$ be the set of all maximum cardinality orthogonal subsets of $U$. For each element $R \in Ω_U$, we define a generalized Rothe diagram whose cardinality we call the level, $ρ(R)$, of $R$. We define the generalized quantum Hafnian of $U$ to be the generating function of $ρ$, regarded as a $q$-polynomial in $U$. Several widely studied algebraic and combinatorial objects arise as special cases of these constructions, and in many cases, $Ω_U$ has the structure of a graded partially ordered set with rank function $ρ$. A motivating example of the construction involves a certain set of $k^2$ roots in type $D_{2k}$, where the elements of $Ω_U$ correspond to permutations in $S_k$, the generalized Rothe diagrams are the traditional Rothe diagrams associated to permutations, the level of a permutation is its length, the generalized quantum Hafnian is the $q$-permanent, and the partial order is the Bruhat order. We exhibit many other natural examples of this construction, including one involving perfect matchings, two involving labelled Fano planes, and one involving the invariant cubic form in type $E_6$.

The dimension of a partially ordered set $P$ (poset for short) is the least positive integer $d$ such that $P$ is isomorphic to a subposet of $\mathbb{R}^d$ with the natural product order. Dimension is arguably the most widely studied measure of complexity for posets, and standard examples in posets are the canonical structure forcing dimension to be large. In many ways, dimension for posets is analogous to chromatic number for graphs with standard examples in posets playing the role of cliques in graphs. However, planar graphs have chromatic number at most four, while posets with planar diagrams may have arbitrarily large dimension. The key feature of all known constructions of such posets is that large dimension is forced by a large standard example. The question of whether every poset of large dimension and with a planar cover graph contains a large standard example has been a critical challenge in posets theory since the early 1980s, with very little progress over the years. We answer the question in the affirmative. Namely, we show that every poset $P$ with a planar cover graph has dimension $\mathcal{O}(s^8)$, where $s$ is the maximum order of a standard example in $P$.