arXiv++ Combinatorics

Motivated by Kawanoue's construction of a basis for the derivation module of the cone of the extended Catalan arrangement of type $B_\ell$, we construct an explicit basis for the derivation module of $\mathbf{c}Shi(B_\ell,m)$. Our construction generalizes the previously known case $m=1$ to $m\geq1$. It also provides a partial answer to a question of Abe and Terao concerning explicit constructions of simple-root bases.

We establish a substantial part of the categorification framework for $k$-Schur functions proposed in Chen's Ph.D.\ thesis, written under the supervision of Mark Haiman. More precisely, we realize $k$-Schur functions as the graded characters of a distinguished family of objects in a certain module category and establish module-theoretic analogues of several foundational properties of $k$-Schur functions. A final part of Chen's framework predicts a homological characterization of modules admitting filtrations by these distinguished objects; we establish this characterization under an additional combinatorial hypothesis. In addition, we unconditionally prove that modules arising in this framework admit filtrations whose subquotients are affine Demazure modules of level $k$. As a consequence, modified Macdonald polynomials expand positively in the characters of affine Demazure modules. This may be viewed as a homological refinement of Macdonald positivity, arising from an intrinsic $\mathrm{ext}$-orthogonality condition on the corresponding Garsia--Haiman modules. We also prove the combinatorial hypothesis for $m \le 2k$ in the appendix and verify it computationally for $m\leq 19$, yielding $k$-Schur positivity of modified Macdonald polynomials in these cases. Our approach builds on our previous work on the algebraic and geometric realization of Catalan symmetric functions, a class encompassing both $k$-Schur and Hall--Littlewood functions.

We prove a lemma, which we call the Order Ideal Lemma, that can be used to demonstrate a wide array of log-concavity and log-convexity results in a combinatorial manner using order ideals in distributive lattices. We use the Order Ideal Lemma to prove log-concavity and log-convexity of various sequences involving lattice paths (Catalan, Motzkin and large Schröder numbers), intervals in Young's lattice, order polynomials, specializations of Schur and Schur Q-functions, Lucas sequences, descent and peak polynomials of permutations, pattern avoidance, set partitions, and noncrossing partitions. We end with a section with conjectures and outlining future directions.

We study an operator $Θ$ on finite integer sequences, where $Θ(σ)_i$ counts the entries to the left of $σ_i$ that are strictly smaller than $σ_i$. This operator is a variant of the so-called Lehmer code. For every sequence $σ$, the image $Θ(σ)$ is an inversion sequence, and the restriction of $Θ$ to permutations of $[0,n-1]$ is a bijection onto inversion sequences of length $n$. We characterize the fixed points of $Θ$ by avoidance of the pattern $101$ together with a saturation condition, prove that they are counted by the Catalan numbers, and give an explicit recursive bijection with Dyck paths. We also show that the sequences whose first $Θ$-image is fixed are precisely those avoiding both $101$ and $201$. Finally, we prove finite stabilization for all inversion sequences, exhibit a family attaining the maximal stabilization time, and show that the second stabilization level is not closed under classical patterns.

We consider a family of infinite sums of products of Catalan numbers, indexed by trees. We show that these sums are polynomials in $1/π$ with rational coefficients; the proof is effective and provides an algorithm to explicitly compute these sums. Along the way we introduce parametric liftings of our sums, and show that they are polynomials in the complete elliptic integrals of the first and second kind. Moreover, the degrees of these polynomials are at most half of the number of vertices of the tree. The computation of these tree-indexed sums is motivated by the study of large meandric systems, which are non-crossing configurations of loops in the plane.

We prove that, for every positive integer $n$, the polynomial $C_0+C_1x+\cdots+C_nx^n$ is irreducible over $\mathbb{Q}$, where $C_k$ denotes the $k$th Catalan number.

In their work on Brill-Noether theory, Eisenbud and Harris established the geometry of the universal parameter space of linear series over curves, proving that for even genus $g$ and degree $d = g/2 + 1$, the projection to the moduli space of curves is a finite cover of degree equal to the Catalan number $C_{g/2} = \frac{1}{g/2+1}\binom{g}{g/2}$. In this paper, we construct the tropical counterpart of this universal family: a polyhedral cone complex $\mathcal{G}_{g \to 0, d}^{\mathrm{trop}}$ parametrizing degree-$d$ tropical morphisms from genus-$g$ metric graphs to metric trees. For even $g$ and $d = g/2 + 1$, we prove that the forgetful projection $Π\colon \mathcal{G}_{g \to 0, d}^{\mathrm{trop}} \to \mathcal{M}_{g}^{\mathrm{trop}}$ is a branched cover of degree $C_{g/2}$ equipped with natural determinantal multiplicities. We compute this degree by showing that on caterpillars of loops the morphisms are in bijection with ballot sequences, and we establish its global invariance across $\mathcal{M}_{g}^{\mathrm{trop}}$ via a tropical balancing condition across codimension-$1$ walls. Via deformation and path lifting, this yields an effective method to construct Catalan-many gonality-witnessing maps for any generic metric graph, establishing that the tree gonality of any genus-$g$ metric graph is at most $\lceil g/2 \rceil + 1$.

Algebraic combinatorics often seeks bijections that explain identities between distributions object by object. Encoding combinatorial objects as words lets automata theory study such a bijection as a word-to-word computation and measure its memory, input access, and control of output order. This refines existence questions by asking which computational mechanisms a bijection requires. We develop this viewpoint for Dyck paths. Our motivating example is the $q,t$-Catalan polynomial. Let $D_n$ be the set of Dyck paths of semilength $n$, let $D=\bigcup_{n\ge 0}D_n$, and let $area, dinv, bounce \colon D\to\mathbb{N}$ be the standard statistics. Then, \[ C_n(q,t)=\sum_{P\in D_n}q^{area(P)}t^{bounce(P)} =\sum_{P\in D_n}q^{dinv(P)}t^{area(P)}. \] Haglund's zeta map $ζ\colon D\to D$ gives a bijective proof: it preserves semilength and sends $(dinv,area)$ to $(area,bounce)$. By contrast, the full symmetry $C_n(q,t)=C_n(t,q)$ still lacks a direct explanation: no explicit, uniform, semilength-preserving bijection is known that swaps area and dinv on every Dyck path. Polyregular maps from automata theory provide a natural computational starting point, but we prove that neither $ζ$ nor the classical height-sweep bijection witnessing Narayana symmetry is polyregular. The missing mechanism is global ordering by numerical levels whose range grows with the input. We call this a \emph{rank sort} and introduce \emph{weighted-rank polyregular maps} (WRP), extending polyregular maps by one such sort and containing both bijections. Nevertheless, WRP is a proper subclass of deterministic logspace. We prove that $ζ^{-1}$ lies outside WRP and that no WRP map can realise a semilength-preserving area-dinv swap. Thus the rank-sorting strategy behind $ζ$ cannot be extended within WRP to exchange the two statistics.

We develop a method for evaluating finite and infinite series involving Catalan numbers by specializing alternating binomial identities at half-integer parameters. The key ingredient is an explicit representation of the generalized binomial coefficients $\binom{m+\frac12}{k+1}$ in terms of Catalan numbers and products of odd linear factors. Combining this representation with Pascal-type identities and two identities of Batır and Sofo, we derive several families of closed-form summation formulas involving Catalan numbers, harmonic numbers, and odd harmonic numbers. As special cases, we obtain evaluations of finite sums together with their corresponding infinite-series analogues. The approach provides a systematic mechanism for transforming identities for generalized binomial coefficients into identities for Catalan-number series.

Let $f(n)$ be the least possible largest element of an $n$-element set of positive integers with pairwise distinct subset sums. Dubroff, Fox and Xu proved the finite lower bound \[ f(n)\ge \binom{n}{\lfloor n/2\rfloor} \] by applying a vertex-boundary estimate to the $2^{n-1}$ subsets whose sums lie below half of the total sum. We instead order all $2^n$ subsets by increasing subset-sum value. We prove that the bandwidth of this numbering is at most the largest element of the set, so the exact formula for the bandwidth of the hypercube gives the stronger finite bound \[ f(n)\ge H_n:=\sum_{j=0}^{n-1}\binom{j}{\lfloor j/2\rfloor}. \] An exact identity for $H_n$ in terms of Catalan numbers yields \[ \frac{H_n}{\binom{n}{\lfloor n/2\rfloor}} =\begin{cases} 1+\dfrac{2}{3n}+O(n^{-2}),& n\text{ even},\\[5pt] 1+\dfrac{4}{3n}+O(n^{-2}),& n\text{ odd}. \end{cases} \] For every $n\ge3$, this bound is strictly larger than the central-binomial bound. As a separate corollary, a first-order asymptotic formula for factorials rewrites this lower bound as a multiple of $\sqrt{2/π}\,2^n/\sqrt n$; the coefficients of $1/n$ are $5/12$ in even dimension and $7/12$ in odd dimension.

A canon permutation is a $k$-regular word over $[n]$ in which, for each $j$, the $j$-th copies of the letters form the same permutation $σ$. These were introduced by Elizalde as a generalization of nonnesting multipermutations, which are the case $k = 2$. We study classical pattern avoidance in them for arbitrary $k$. We show that avoiding any one of $112$, $122$, $211$ or $221$ is counted by the $k$-Catalan numbers $\frac{1}{n}\binom{kn}{n-1}$. We enumerate the classes obtained by forbidding one of these together with any $τ\in \mathcal{S}_3$, and we give a bijection with $k$-ary trees that we use to generalize a theorem of Gabriel, Peske, Pudwell and Tay. We then show that avoiding a set of patterns closed under relabeling reduces, up to a factor of $n!$, to avoidance in $k$-regular lattice words. We use this to enumerate the canon permutations avoiding some natural generalizations of the nonnesting and noncrossing patterns, as well as the family $\{1^a21^b, 2^a12^b\}$. We close with several conjectures and questions.

The growth rate of Av(1324) is the last unknown Stanley-Wilf limit of a length-four pattern. The best rigorous lower bound has been 10.271012 since Bevan, Brignall, Elvey Price and Pantone obtained it in 2020; we raise it to 10.617. Their scheme relaxes an interleaving rule in one direction only. Relaxing it in both is valid, and the Harris inequality then bounds the resulting count below by the product of its two marginals. We remove that inequality, the last one the scheme contains: both neighbours of a connecting cell are placed against one and the same sequence of skew components, so their joint count is a single transfer operator on the square of one cell's state space, and the matrix the Catalan series is applied to is unipotent, so the series terminates and the count is exact. Its rate is concave in the strip profile, which reduces the minimisation to finitely many vertices, and the vertices the aggregating weight does not reach are classified. Two further ingredients enter: an algebraic tilt of the domino ensemble off the leaf and empty-strip densities at which their construction holds it, and the k-leaf strip densities in closed form, which they could not obtain even for k = 1.

It is well known that, for each classical pattern $τ$ of length 3, the number of $τ$-avoiding permutations of length $n$ is the $n$th Catalan number, and numerous bijections between different length-three avoidance classes have been constructed and studied. In this paper, we refine this classical problem by studying Wilf equivalence among permutations that simultaneously avoid a classical pattern of length three and a flat partially ordered pattern. Partially ordered patterns (POPs) provide a flexible framework for encoding families of classical permutation patterns. For $\ell\geq 3$ and $1\leq x\leq\ell$, let $P_{\ell,x}$ be the length-$\ell$ POP in which the entry at position $x$ is required to be smaller than all the other entries, while no relations are imposed among the remaining entries. Such POPs are called flat POPs. We classify the Wilf equivalences among all pairs $(τ,P_{\ell,x})$, where $τ$ is a classical pattern of length three. For every $\ell\geq4$, the resulting $6\ell$ pairs form exactly $2\ell-1$ Wilf equivalence classes, while the exceptional case $\ell=3$ gives four classes. Our proofs combine the derivation of explicit formulas and recurrence relations with the construction of bijections. Moreover, we introduce novel prime-divisor arguments to distinguish the remaining candidate classes, reducing the problem to showing that a certain Diophantine equation has no solutions for $\ell\ge 3{,}274$, where the bound $3{,}274$ is not claimed to be sharp. Finally, by extending our work on POPs, we resolve a conjecture of Qiu and Remmel concerning the distribution of quadrant marked mesh patterns on 132-avoiding permutations and correct an error in their paper that is crucial to the proof.

Let $F$ be a field, let $0\le \ell\le k-2$, and suppose that $n\ge k-1$. We determine the minimum degree of a polynomial in $F[x_1,\ldots,x_n]$ that vanishes to order at least $k$ at every nonzero vertex of the Boolean cube and to order exactly $\ell$ at the origin. The answer is \[ n+2k-2-ρ_F(k-\ell), \] where $ρ_F(s)$ is the least number of positive integers summing to $s-1$ whose corresponding Catalan numbers are nonzero in $F$. The proof gives an explicit basis of the reduced vanishing space. In this basis the top-degree map is diagonal, with Catalan numbers on the diagonal; a refinement using block coordinates shows that the basis is compatible with polynomial degree. In odd characteristic the degree is either $n+2k-3$ or $n+2k-4$, according as $C_{k-\ell-2}$ is nonzero or zero. In characteristic $2$ it is \[ n+2k-2-s_2(k-\ell-1), \] where $s_2$ denotes binary digit sum. Thus the first characteristic drop, and all later drops, are determined exactly.

Let $(a_n)_{n\geqslant 0}$ be a sequence of integers. Its dual sequence $(a_n^*)_{n\geqslant 0}$ is defined by \begin{equation*} a_n^* := \sum_{k=0}^{n} \binom{n}{k}(-1)^k a_k. \end{equation*} Let $p>3$ be a prime. In this paper we mainly investigate congruences modulo $p^2$ involving central binomial coefficients and $p$-adic dual sequences. For example, we prove that for any sequence $(a_k)_{k\ge0}$ of $p$-adic integers, \begin{align*} \sum^{(p-1)/2}_{k=0}\binom{2k}{k}^2\frac{a_{2k}}{16^k}\equiv\left( \frac{-1}{p}\right) \sum_{k=0}^{p-1}\frac{\mathcal{P}_{k}}{16 ^{k}}a_{k}^*\pmod{p^2}, \end{align*} where $(\mathcal{P}_n)_{n\ge0}$ are the Catalan--Larcombe--French numbers given by \begin{equation*} \mathcal{P}_0=1,\quad \mathcal{P}_1=8, \quad n^2 \mathcal{P}_n = 8(3n^2-3n+1)\mathcal{P}_{n-1}-128(n-1)^2\mathcal{P}_{n-2} \quad (n\ge2). \end{equation*} We also establish a new formula for $\sum_{k=0}^{(p-1)/2}\binom{2k}{k}a_{2k}^*/4^k \pmod{p^2}$ and as a consequence we confirm some conjectures of Z.-W. Sun \cite{Sun2014CANT} on the generalized central trinomial coefficients $T_{2k}(b,c)$, i.e., the coefficient of $x^{2k}$ in $(x^2+bx+c)^{2k}$, where $b,c$ are integers.

A classical problem in lattice path enumeration counts paths that remain on one side of a boundary line. We study several classes of paths where this boundary is porous and show that they are related through a single half-turn rotation bijection. As a first application, we enumerate minimal bridges by relating them to excursions: for positive integers $k$ and $n$, the number of paths from $(0,0)$ to $(kn,n)$ with unit right and up steps that avoid all other lattice points on the line $y=x/k$ is $\frac{k}{kn+n-1}\binom{kn+n}{n}$. The same bijection yields a relation between the ordinary generating functions for binomial coefficients and $k$-Catalan numbers through a dual edge-forbidden model, extends to forbidden strips containing the diagonal, and handles a rational-slope case involving Duchon paths. Finally, our bijection also proves that the number of bridges from $(0,0)$ to $(2n,2n)$ that avoid even diagonal points is $C_{2n}+4C_{2n-1}$, with $C_n$ the $n$th Catalan number. This complements a result of Shapiro.

An $(α,β)$ Somos-$4$ sequence $S_n$ is defined by the recurrence $S_nS_{n-4}=αS_{n-1}S_{n-3}+βS_{n-2}^2$ ($n\geq 4$), with suitable initial values, where $α$ and $β$ are constant parameters. A widely studied question is the following: When does the Hankel transform of a generating function become an $(α,β)$ Somos-4 sequence? In particular, how can $α$ and $β$ be derived for such a function? A sufficient condition for this problem has been established by Wang and Zhang. In this paper, we obtain the following three main results. (i): We extend the Wang--Zhang sufficient condition by working over the rational function field. Then we combine this result with the Sulanke--Xin quadratic transformation to resolve all of Barry's currently unsolved $(α,β)$ Somos-4 conjectures, which arise in diverse contexts, including generalized Catalan recurrences, Riordan arrays, generalized Bernstein arrays, and elliptic curves. (ii): We show that the odd and even subsequences of an $(α,β)$ Somos-4 sequence are again $(α,β)$ Somos-4 sequences with transformed parameters. This is employed to establish Barry's Hurwitz transform conjecture. (iii): Using the theory of orthogonal polynomials, we prove a Hankel determinant formula and thereby prove a conjecture related to the $(α,β)$ Somos-4 sequence. In addition, we prove some conjectures on formulas for periodic Hankel determinants.

In this paper, we study the regions of asymmetric extensions of the Catalan and Shi arrangements. We first determine the characteristic polynomials of a general class of Catalan and Shi arrangements using the finite field method, thereby obtaining explicit formulas for the number of regions. We then introduce two new classes of combinatorial objects: $\mathbf{c}$-labelled Dyck paths and $\mathbf{c}$-building functions, which generalize classical Dyck paths and parking functions, respectively. We prove that the regions of the asymmetric Catalan arrangement are in natural bijection with $\mathbf{c}$-labelled Dyck paths, while those of the asymmetric Shi arrangement are in natural bijection with $\mathbf{c}$-building functions. This resolves a problem proposed by Theo Douvropoulos during the 2022 Oberwolfach Workshop on Enumerative Combinatorics. In particular, our results extend Stanley's celebrated correspondence between $m$-parking functions and the regions of the $m$-Shi arrangement by introducing new combinatorial models and developing entirely different proof techniques.

Much work in knot theory has consisted of categorifying, and thereby strengthening, knot invariants. We take the opposite approach: decategorification, more commonly called combinatorics. We introduce a technique that relates the dual braid group generators, the Hecke images of pure braids, and factorization problems in reflection groups to knot invariants. We prove that the $(a,z{=}0)$-HOMFLYPT polynomial can be computed as a solution to such a problem. This technique was motivated by Coxeter--Catalan combinatorics. For example, we give a new proof of EL-shellability of the noncrossing partition lattice using the image of the full twist in the Hecke algebra; in a surprising sort of combinatorial reciprocity, its inverse computes the homotopy type. Similarly, noncrossing partitions naturally arise from our construction applied to positive powers of the full twist, while cluster complexes come from the same construction applied to negative powers. In crystallographic type, we exploit the conjugacy of all Coxeter elements to give the first reflection subword models for rational noncrossing Catalan objects. Our reciprocity gives two models: one generalizing noncrossing partitions, and one generalizing clusters. Applying the same method produces two (rational) noncrossing parking models.

As is well known the Catalan numbers can be interpreted as numbers of Dyck paths. The Narayana polynomials and the q-Narayana polynomials for q=-1 can analogously be interpreted as certain weights of these paths. In the present note we try to get some information about the corresponding weights of bounded Dyck paths. This also leads to some number sequences and analogues of Pascals triangle which previously have occurred in other contexts. We consider some examples and obtain some results and conjectures.