arXiv++ Combinatorics

We study permutations covered by overlapping occurrences of a consecutive pattern. Special cases of this have been studied for consecutive patterns and via the cluster method. We study enumeration sequences obtained by repeating a fixed overlap. We elicit many structural properties of such pattern covers, mainly in terms of posets whose linear extensions are in bijection with the permutations in question. The enumeration of these permutations for different patterns gives rise to a great variety of sequences, many classical, but most of them not found in the OEIS. We conjecture that, essentially, all these sequences are moments of probability measures on the real line. We develop an enumerative and order-theoretic framework for this. For overlap 1 we give a generating function whose coefficients enumerate permutations covered by any fixed pattern with any fixed number of occurrences. For overlap at most half the pattern length we derive a polynomial-time enumeration formula. We associate to each pattern, overlap, and number of occurrences a poset whose linear extensions are the corresponding permutations. The regularity of this poset construction makes possible a structural analysis that in many cases leads to enumerative formulas for large classes of patterns. We prove uniform restrictions on the local structure of the Hasse diagrams, describe their branches (pendant chains) in terms of the corresponding patterns, and characterize when the poset is a tree or chain or subdivisions of a grid. Some of these constructions yield explicit families of formulas and explain unexpected equinumerations. In a forthcoming paper we investigate the sequences arising here from a probabilistic perspective, viewing them both as point processes and as moment sequences. We also obtain integral and matrix representations for important overlap 1 and 2 classes of pattern-covering sequences.

Given a poset $P$ with no maximal element the question naturally arises of when $P$ can be partitioned into $ω$-chains. In this paper we give general criterion for when this can be done. We show that in the case when a poset with no maximal element is countable or a well-founded forest, then it can always be partitioned into $ω$-chains. We then introduce the lifting property for posets with no maximal element and show that a poset can be partitioned into $ω$-chains if and only if it has the lifting property.

This paper is the first in a series of two which aims at introducing a new family of groups called $k$-shuffle braid groups, denoted $\mathcal{B}_{n}(k)$. These groups have two intrinsically related stories. They were first observed by Calegari in arXiv:2105.11265 by looking at spaces of complex monic polynomials of degree $n$ whose critical values lie in $\mathbb{C} \setminus \{1, e^{\frac{2πi}{k}}, \dots, e^{\frac{2π(k-1)}{k}}\}$. The $k$-shuffle braid groups are the fundamental groups of those spaces, which correspond geometrically to complements of $k$ translates of the discriminant variety. The second story starts from the poset of $k$-shuffle partitions, which were introduced by Drew Armstrong and explored in depth in his thesis arXiv:math/0611106. In this paper, we focus on the combinatorial aspects of $k$-shuffle braid groups starting from the poset of $k$-shuffle non-crossing partitions. We build a CW-complex on which the groups act freely, properly discontinuously and cocompactly, which we show is CAT(0) for dimension up to 7. For higher dimension, we show that the CAT(0) property is implied by the conjecture of Brady and McCammond that the dual braid complex is CAT(0) (arXiv:0909.4778).

Let $P$ be a fixed finite poset whose maximal chains all have $h$ elements, and let $\mathcal W_{n,h}$ be the union of $h$ consecutive middle levels of $2^{[n]}$. We prove that the maximum size of a $P$-free subfamily of $\mathcal W_{n,h}$ is $(π(P)+o(1))M_n$ for a constant $π(P)$, where $M_n=\binom n{\lfloor n/2\rfloor}$, and that the number of $P$-free subfamilies is $2^{(π(P)+o(1))M_n}$. For connected $P$ we prove supersaturation above $(π(P)+ε)M_n$ and determine, in terms of the coordinate patterns of the copies of $P$ in the window, a range of $p$ in which the largest $P$-free subfamily of the random family $\mathcal W_{n,h}(p)$ has size $(π(P)+o(1))pM_n$ and a range in which it has size $(h+o(1))pM_n$; the two ranges meet whenever all copies have the same pattern. For the Boolean poset $Q_d$, which has height $d+1$, the threshold order in the corresponding window $\mathcal W_{n,d+1}$ is $n^{-d/(2^d-1)}$, and $π_d=π(Q_d)$ satisfies $(d+1)λ_d\leπ_d\le d+1-\binom d{\lfloor d/2\rfloor}^{-1}$, where $λ_d$ is the vertex Turán density of $d$-dimensional subcubes in the hypercube. Together with a construction of Ellis, Ivan and Leader this gives $d+1-π_d=\exp(-Θ(d))$. For the diamond, known bounds give $2.1479\leπ_2\le2.15121$.

In this paper, we compute the Möbius function on the poset of pseudo-Levi subgroups containing a fixed maximal torus of two families of finite groups, $GL_n(q)$ and $Sp_{2n}(q)$, for some natural number $n$ and a prime power $q$, where $q>2n+1$. For the general linear group, we consider arbitrary tori, but for symplectic groups, we restrict to tori corresponding to the bipartitions of $n$ into odd integers. Also, we assume $q$ is even for the case of symplectic groups. The Möbius function for the set of pseudo-Levi subgroups of a finite group $G$ is important for an explicit evaluation of the formula expressing the decomposition of tensor products of characters, as proved in Theorem 2 of the paper ''Multiplicity of characters of finite reductive groups and Drinfeld doubles'' [arXiv:2512.01432].

Ascent sequences form a central class of combinatorial objects, as they are in bijection with several important families such as (2+2)-free posets, Stoimenow matchings, and other Fishburn objects, and are enumerated by the Fishburn numbers. We study pattern avoidance in ascent sequences for the five patterns of length 4: $0101$, $0102$, $0112$, $0120$, and $0121$. These patterns arise naturally from recent work on pattern avoidance in related families of Fishburn objects, including Stoimenow matchings and (2+2)-free posets. We enumerate ascent sequences avoiding any subset of these patterns, with the exception of the sets $\{0120\}$, $\{0121\}$, and $\{0120,0121\}$, for which the enumeration remains open. Our results reveal that the corresponding avoidance classes fall into $16$ Wilf equivalence classes and exhibit a wide range of enumerative behaviour, including connections to classical sequences such as the Catalan and Fibonacci numbers, as well as polynomial formulas and rational generating functions; several of the sequences we obtain appear to be new. Our methods combine structural decompositions with generating-tree techniques and, in several cases, rely on reductions to shorter patterns via restricted growth functions. This work contributes to the broader study of pattern avoidance across Fishburn families and highlights further connections between ascent sequences and other combinatorial structures.

We extend the recent work of Caster--Guyer--Samper (2026+) to establish a combinatorial interpretation of the $\textbf{cd}$-index for all $S$-partitionable posets, which includes all polytopes and $S$-shellable spheres. This interpretation is inductive on rank, but does not require passing to the order complex of the poset. We also provide topological interpretations of each $\textbf{cd}$-monomial. Furthermore, we establish a recurrence on the $\textbf{cd}$-indices of shelling components of the $d$-simplex that does not require the use of André permutations, a unimodality result for $\textbf{cd}$-words ending in $\textbf{d}$ for shelling components of the $d$-simplex and the $d$-cube, and provide two families of subdivisions of the boundary of the $d$-simplex whose sequence of $\textbf{cd}$-indices is unbounded on all but the monomial $\textbf{c}^{d+1}$ and all but the two monomials $\textbf{c}^{d+1}$ and $\textbf{d}\textbf{c}^{d-1}$.

Let $P$ be a finite poset, let $x\in P$, and let $N_k$ count its linear extensions in which $x$ occupies position $k$. We prove Chan and Pak's conjecture that, for all integers $a,h\ge1$, \[ (a+h-1)N_{a+h-1}N_a\ \ge\ (a-1)N_{a-1}N_{a+h}+hN_aN_{a+h}. \] The key result is an inclusion coupling of the laws of the set of elements preceding $x$, conditional on consecutive positions of $x$. We construct reversible exchange chains on the corresponding layers of order ideals and couple their generators so that the two prefix sets remain nested. Fishburn's correlation inequality gives monotonicity of endpoint probabilities; their unit total masses provide the rate bounds needed for the coupling. A stationary distribution of the coupled chain then has the required marginals. Normalized cover observables yield a four-term nonnegative certificate for the case $h=1$, and the general case follows by telescoping. The argument applies at every width and gives a proof of Stanley's log-concavity inequality with Fishburn's inequality as its sole external inequality.

One of the possible cryptomorphic definitions of a partially ordered set (= a poset) $P$ on a non-empty finite ground 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 on $N$ consistent with $P$. Any total order on $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 on $N$ equals to ${\cal L}(P)$ for some poset $P$ on $N$ if and only if 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 discussed. 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 (finite) distributive lattice.

We prove that for every integer $d \geq 3$, there exists $α<1$ such that the maximum dimension of an $n$-element poset containing no standard example of order $d$ as an induced subposet is $\mathcal{O}_d(n^α)$. For $d=3$, we obtain an upper bound $\mathcal{O}(n^{2/3}\log n)$, while we also construct a family of $S_3$-free posets with dimension $Ω(n^{1/3}/\log n)$. The proofs were found by OpenAI's ChatGPT-6 Astra.

We introduce a notion of a strong $\mathfrak{sl}_2$-action on a poset, and conjecture the existence of such an action is equivalent to the existence of a symmetric chain decomposition of that poset. We explain the intuition behind the conjecture, go through a number of explicit examples, and prove some special cases and relaxations of the conjecture. Then we explain a computational experiment where we tested the conjecture on millions of randomly constructed rank-symmetric, rank-unimodal, and strongly Sperner posets.

For any finite poset we define a generating polynomial counting upsets, downsets, and their intersection. We investigate the behaviour of this polynomial with respect to poset operations and show that it distinguishes certain posets constructed with the operations of ordinal sum and disjoint union, including Series-Parallel posets as a special case. Lastly, we comment on connections to the causal set approach to quantum gravity.

We describe a mixed subdivision of the $(n-1)$-dimensional Loday associahedron into $(n-1)!$ maximal cells which are combinatorial cubes, and we show that the face poset of this subdivision is isomorphic to the face poset of the subdivision of the $1\times 2\times \dotsb \times (n-1)$ box into unit cubes. More generally, we describe mixed subdivisions of generalized associahedra into pieces which are Minkowski sums of Bruhat interval polytopes. Our subdivisions arise from a torus-equivariant embedded (in a product of flag varieties) degeneration of brick varieties into reduced unions of products of Richardson varieties. The subdivision of Loday's associahedron allows us to `embed' the 1-skeleton of the permutahedron in the boundary of the associahedron.

We prove that Chapoton's $q$-Zeta numerator has nonnegative coefficients for the positive-root poset of every finite reduced irreducible crystallographic root system, graded by root height minus one and normalized by Chapoton's prescribed denominator. The same holds for every interval of the root poset with zero adjoined. The key observation is that adjoining a minimum changes the numerator only by the substitution $t\mapsto qt$. The numerator thereby becomes a nonnegative combination of flag $h$-numbers of a lower-semimodular lattice, and a classical labelling of the dual lattice gives a positive descent expansion. To make the coefficients explicit, we construct signed edge-lexicographic (EL) labellings of Ferrers-cell posets with nonincreasing boundaries. They give ballot-word formulas in types $A$, $B$, and $C$, which prove an observation of Chapoton in type $B$, and a coloured path formula in type $D$. For trapezoidal boundaries, one-boundary major-index enumerators evaluate the path sums in Gaussian-binomial form.

We introduce an original notion of (upper) extra-fine sheaf on a topological space, for which Čech cohomology in strictly positive degree vanishes. We apply this notion when the topological space is a partially ordered set (poset) equipped with the Alexandroff topology and the sheaves are made of duals of decomposable functors of vector spaces. The decomposition of the functor is known as interaction decomposition and can be expressed by a novel sum-intersection condition. We use these results to compute the dimension of the space of global sections when the sheaves are derived from those freely generated over a presheaf (of finite sets); this generalizes and makes topological classical counting formulae for the number of solutions of the linearized marginal problem (Kellerer and Matúš). We finish with a comparison theorem between the Čech cohomology associated to a covering and the topos cohomology of the poset with coefficients in the presheaf, which is also the cohomology of a cosimplicial local system over the nerve of the poset. For that, we give a detailed treatment of cosimplicial local systems on simplicial sets. The appendixes present presheaves, sheaves relative Čech cohomology, and their application to the marginal problem.

Inspired by the recent preprint of Ellenberg, Libedinsky, Plaza, Simental, and Williamson, we study the geometry of Richardson varieties whose associated Bruhat intervals are boolean posets. We define magic words for a Bruhat interval and prove that for intervals with magic words the associated Richardson variety is a tower of $\mathbb{P}^1$-s. We also prove that the Bruhat intervals consisting of the dyadically well-distributed permutations all have magic words. This gives a new proof that they form a boolean poset.

We establish a simple characterization of special matchings of all Bruhat intervals in the symmetric group, yielding an explicit classification that depends only on the one-line notations of the endpoints. We also study extensions of graded posets by partial special matchings, proving the existence and uniqueness of such extensions and providing an explicit construction. Combining these results, we obtain a combinatorial algorithm for computing Kazhdan--Lusztig polynomials for an isomorphism-closed family of Bruhat intervals that includes all intervals whose bottom element has length at most one.

We introduce the chain replacement of a poset flow: it is obtained by considering the simplicial nerves of the posets of strictly increasing chains in the given poset, ordered by refinement. It maps posets to q-cofibrant flows and inclusions of posets to q-cofibrations. Using the combinatorial properties of the chain replacement, we prove that pushouts along the chain replacement of an order-reflecting inclusion of posets induce trivial h-cofibrations on spaces of execution paths between states of the original flow. By introducing the Hurewicz model structure on flows (or H-model structure), we deduce the same property for any q-cofibrant replacement of an order-reflecting inclusion of posets.

In this paper we extend results concerning a kind of covering space for finite posets that bears some analogy to the topological theory of covering spaces. Previous work focused on ranked, locally-finite posets with a unique minimal element. In this previous work the notion of a covering space based on preservation of path weights was defined, and it was shown that, given a poset, there is a unique universal covering space which has an explicit description. Numerous examples of combinatorially significant posets and their universal covers were explored. In this paper we consider finite posets that have a unique minimal element, but that need not be ranked. We give a combinatorial description of these covering spaces, which we call path covers. We then show these covers naturally form a supersolvable lattice and deduce some of its properties. Finally, we investigate an analogue of deck transformations and give some results relating these transformations, poset automorphisms, and the automorphisms of the lattice of path covers.

The $k$-color Ramsey number of a poset $P$ is the smallest dimension $d$ such that any $k$-coloring of the $d$-dimensional Boolean lattice contains a monochromatic induced copy of $P$. For $ j\ge 2$ the $j$-diamond is the poset that consists of a maximum element, a minimum element and an antichain of size $j$. We prove that the $k$-color Ramsey number of the $j$-diamond is at most $jk$. Colorings of the Boolean lattice that assign sets of the same size the same color provide matching lower bounds for $j \in \{2,3,4\}$.