arXiv++ Combinatorics

We study the expansion of the polynomial $g_{p,r}(n) = \binom{pn}{p+r}$ (for integers $p \ge 2$ and $r \ge 1$) in the shifted binomial basis $\bigl\{\binom{n+k-1}{p+r}\bigr\}$. Using generating functions and finite differences, we obtain a closed-form formula for the expansion coefficients $B_{p,r,k}$. We then characterize when the coefficient sequence is palindromic, showing that it exhibits reflection symmetry on its support if and only if $r \equiv 1 \pmod{p}$. The proof combines an analysis of the sequence's support with the root structure of $\binom{pX}{p+r}$. Under the same congruence condition, we show that $p$ divides every coefficient. For $r=1$, the leading coefficient simplifies to $p C_p$, where $C_p$ is the $p$-th Catalan number. Finally, computations for small values of $p$ and $r$ show that the resulting coefficient sequences coincide with selected rows of $p$-decimated multinomial triangles (OEIS A027907 and A008287).

For a sequence $\mathbf a=(a_0,a_1,\dots)$ we define its dilated Hankel determinant $\ddot{H}_n(\mathbf a)=\det(a_{2i+j})_{0\le i,j\le n-1}$, the minor of the infinite Hankel matrix $(a_{i+j})$ formed from the even-indexed rows and the first $n$ columns. We prove that, for a broad class of sequences, $\ddot{H}_n$ admits a remarkably simple product evaluation. This mirrors the behaviour of the classical Hankel determinant $H_n$, but with two key distinctions: the class of sequences for which such formulas are known is far larger in the classical case; and, whereas $H_n$ enjoys a single universal evaluation -- the Heilermann formula via the Jacobi continued fraction -- no analogous general method exists for the dilated determinant, which is therefore considerably more challenging. Our evaluations instead rest on six methods developed here, four of general scope and two of a more specialised nature. The cases treated include the factorial numbers, the Catalan and central binomial coefficients; the Euler numbers and a one-parameter secant family; the involution numbers; the Springer numbers along with elliptic and derivative deformations; the reciprocal-sine function, whose evaluation rests on a new Catalan determinant proved by condensation; a Bessel analogue of the Euler numbers; and a multiplicative Bessel family. As an application, we settle a conjecture of Chapoton and the author on the roots of the Poupard and Kreweras polynomials.

Fried recently enumerated Dyck paths having equally many black and white cells below them, for the chessboard coloring (Narayana numbers) and the column-alternating coloring (Fuss--Catalan numbers). We prove a generalization here: for the coloring of columns modulo any $c\ge2$, the number of Dyck paths of semilength $n$ whose $c$ residue classes carry equal weight is the Raney number $\Raney_{c+1,r}(m)$, where $n=cm+r-1$.

We define an involution $h$ on Catalan structures through an abstract framework, prove an equidistribution theorem for four canonical statistics and present a generating function carrying these. This framework encompasses all combinatorial structures with a decomposition mirroring the first-return decomposition of Dyck paths. The fixed points of~$h$ are counted by Catalan numbers. Canonical bijections transport the equidistribution to eight well known concrete families, identifying the canonical statistics with native ones on each. In addition to its primary structure, each Catalan structure has a derived \emph{secondary structure}, and $h$~interchanges primary and secondary structure. The involution factors as $h = \rev \circ \corev \circ \rev$, where $\rev$ and $\corev$ are two simpler involutions, and the composition $M = h \circ \rev$ coincides with Donaghey's automorphism on plane trees. This yields $M^{-1} = \rev \circ M \circ \rev$ and a period theorem: Iterating the secondary structure construction produces a sequence that repeats with period equal to the order of~$M$. It is an open problem to describe $h$ and the canonical statistics explicitly on most of the more than two hundred known families of Catalan structures.

We study characteristic polynomials of arrangements obtained from the full $m$-Catalan arrangement by deleting hyperplanes indexed by graphs, digraphs, and gain-labeled digraphs. Zero-layer graph deletions give falling-factorial expansions with graphical Stirling coefficients. For a single deleted translated layer $x_i-x_j=l$, the coefficients are directed matching numbers when $1\le l\le\lfloor m/2\rfloor$, and directed path-cover numbers when $\lfloor m/2\rfloor<l\le m$. For simultaneous deletions in several translated layers, the coefficients are admissible sets of deleted gain-labeled arcs. In the case $l=m$, an inclusion-exclusion expansion yields a Lah-number identity relating path covers of a digraph and its complement. We also obtain an $m$-independent criterion for integer linear factorization, compact region-count formulas for a complete bipartite orientation after essentialization, and directed Ish-type applications.

We introduce a natural Markov chain on chord diagrams, which, at every step, selects two random chords and swaps them if doing so preserves the diagram's genus. This generalizes the chord swap chain on the Catalan structure of non-intersecting chord diagrams. We show that for fixed genus, the chain mixes in polynomial time.

We provide a recurrence for computing the terms of the OEIS sequence A393920, introduced in \cite{KS}. We also describe a surprising connection between A393920 and the Fibonacci sequence A000045, obtain non-trivial lower and upper exponential bounds for its growth, and investigate connections with partial orders, Catalan numbers, and convex topologies on finite chains. For the representation-theoretic lattice underlying A393920, we describe its atoms, coatoms, join-irreducible and meet-irreducible elements.

We develop a unified framework for studying the integers missing between consecutive terms of an increasing integer sequence, extending Barry's arithmetic gap-sum to geometric and harmonic analogues via the theory of quasi-arithmetic means. All three gap-sums admit a common interpretation: each equals the gap size multiplied by the appropriate mean of the missing integers. Building on this, we prove a general sparse summation theorem expressing the sum of a strictly monotonic function over a sparse integer sequence as the full range sum corrected by the gap-sums of the missing portions. Specializing on the three Pythagorean means recovers a classical formula of al-Kāshī from the fifteenth century in the arithmetic case, and yields explicit formulas in the geometric and harmonic cases. As a concrete application of the geometric case, we derive a product identity involving the Fuss--Catalan numbers. Applying the harmonic case to the Fibonacci and Lucas sequences, we establish that the harmonic gap-sum converges to $\ln(α)$ exponentially, where $α$ is the golden ratio, and derive explicit two-term asymptotic expansions for the tails of the reciprocal Fibonacci and Lucas series with closed-form coefficients, and establish the asymptotic formula $H_{u_n} \sim n\ln(α)$ for both $u_n = F_n$ and $u_n = L_n$, with explicit $O(1)$ error terms that differ due to their distinct initial conditions. As a further consequence, by comparing the gap-sum expansions with the classical Hardy--Wright expansion of harmonic numbers, we derive exact series identities expressing Euler's constant $γ$ in terms of harmonic numbers at Fibonacci and Lucas indices, and obtain a new identity relating the reciprocal Fibonacci constant $ψ$ and the reciprocal Lucas constant $ψ_L$.

A Dyck path of semilength $n$ is a lattice path from $(0,0)$ to $(n,n)$ consisting of $n$ right-steps $(1,0)$ and $n$ up-steps $(0,1)$ that never rises above the line $y=x$. These paths are enumerated by the Catalan numbers and play a central role in enumerative combinatorics. We color the cells of the integer grid in black and white according to two natural patterns, namely chessboard and column-alternating, and enumerate the Dyck paths having equal numbers of black and white cells beneath them.

Efforts have been made to extend Cassini's identity (also known as Simson's identity) to the k-step or k-bonacci numbers for decades. These efforts have lacked both completeness of result and simplicity of proof, and this question remains open and relevant. In this note, we offer a definitive solution as well as the generalization of both Catalan's and Vajda's identities.

We prove two positivity conjectures proposed by Guo for alternating sums and factorial ratios built from Gaussian coefficients. The first result proves the positivity of the odd $q$-super Catalan numbers \[ C_{m,n}(q)=\frac{[2m+1]![2n]!}{[m+n+1]![m]![n]!}. \] The proof uses the positivity theorem of Warnaar and Zudilin for the usual $q$-super Catalan numbers, together with two recurrences obtained from a double application of the $q$-Chu--Vandermonde summation. The second result proves Guo's conjectural strengthening of his alternating-sum positivity theorem, replacing the exponent coefficient $2r-1$ by every odd coefficient $2b-1$, $1\leq b\leq r$. Its proof combines a $q\mapsto q^{-1}$ reciprocity with a finite deletion recurrence.

We begin with the observation that the signed generalized Stirling polynomials $P_k(m,x)$, which occur in a generalization of Malmsten's integral, reduce to the falling factorials when $k=m$. The structure of these generalized Stirling polynomials is then used to obtain recurrence relations, gamma--polygamma formulas for the polynomials $P_{m-s}(m,x)$, a more transparent proof of a vanishing identity used in earlier closed forms, and a finite approximation to $\cosh πx$ with a corresponding limit formula for $π$. We also observe that these polynomials occur naturally as signed residues of the equal-period Barnes multiple zeta function, namely $P_k(m,x)=(-1)^k m!\operatorname*{Res}_{s=m+1-k}ζ_{m+1}(s,x)$. In addition, we derive the reflection formula $P_k(m,m+1-x)=(-1)^kP_k(m,x)$ and use these polynomial identities to obtain explicit identities for Stirling cycle numbers. We then turn to finite nested sums built from the hyperbolic-secant integral sequence $χ_n$. After the lower bounds are fixed, the nested sums become coefficient-counting problems: the common-lower-bound case gives binomial coefficients, while the staircase case gives Catalan numbers. Combining these counts with the closed forms for the individual $χ_j$'s produces explicit evaluations involving Catalan's constant, zeta values, and polygamma values at one quarter. A Wolfram Language package accompanies the formulas.

Framing triangulations of unit flow polytopes have received a great deal of recent study with rich connections to various generalizations of Catalan and Cambrian combinatorics as well as volume and h*-polynomial formulas. This story has largely been restricted to unit flow polytopes, with only two recent works giving descriptions of framing triangulations on classes of non-unit flow polytopes. In this article we introduce the first theory of (unimodular) framing triangulations for arbitrary integer flow polytopes. We will observe some pathologies in general examples which are impossible in the unit case, and propose in response a class of "well-ordered" framing triangulations which we expect to inherit key properties from the unit case while still containing all settings of framing triangulations existing in the literature.

For a fixed integer $m\ge 1$, let $\mathcal{A}_n^{(m)}$ be the set of permutations $π\in S_n$ that avoid the pattern $132$ and satisfy the adjacency bound $|π_{i+1}-π_i|\le m$ for all $i$. Here, a pattern $132$ means three indices $i<j<k$ such that $π_i<π_k<π_j$. A recent study initiated the enumeration of these constrained 132-avoiding permutations, treating the case $m=2$ by deriving a rational ordinary generating function and asking for finite-state decompositions, rational generating functions, and explicit rational formulas for larger fixed $m$. We introduce a two-sided endpoint-state decomposition that works uniformly for every fixed $m$. The state variables impose threshold bounds on the endpoint deficiencies $n-π_1$ and $n-π_n$, with thresholds in $\{0,1,\ldots,m-1,\infty\}$. This gives at most $(m+1)^2$ states and proves that, for every fixed $m$, the ordinary generating function $A^{(m)}(x)$ is rational and can be computed effectively by exact linear algebra. We also identify cyclic strongly connected components of the dependency graph in the finite-state system to give an explicit upper bound for the order of an eventual constant-coefficient recurrence satisfied by the sequence $a_n^{(m)}=|\mathcal{A}_n^{(m)}|$. We then recover the known case $m=2$ from this state system and work out the case $m=3$ explicitly. On the asymptotic side, we prove that the exponential growth constant exists for every $m$; for $m\ge2$ it is obtained from the spectral radii of the two cyclic components with more than one vertex in the state system. We determine the simple-pole asymptotics for $m=2$ and $m=3$, and we prove that the growth constants are nondecreasing in $m$, strictly smaller than the Catalan growth constant $4$ for every finite $m$, and converge to $4$ as $m\to\infty$.

We study the problem of sampling weighted partial triangulations of a convex polygon. We consider the distribution where each partial triangulation $σ$ is chosen with probability proportional to $λ^{|σ|}$, where $λ>0$ is a model parameter and $|σ|$ denotes the number of diagonals in $σ$. This model belongs to a broad class of weighted geometric partition problems that include lattice triangulations and dyadic tilings, and is closely related to several classical combinatorial structures, including the full triangulations of a convex polygon and the associated Catalan structures. While prior work has largely focused on Markov chain approaches, often only providing suboptimal mixing time bounds, we provide a direct efficient method for exact sampling. Our main result is a randomized algorithm that outputs an exact sample from the target distribution in expected time $O\big((n\sqrtλ+1)\log n\big)$ for all sufficiently large $n$. This provides a nearly optimal sampling algorithm for weighted partial triangulations, offering a compelling alternative to Markov chain-based techniques.

Let $G$ be a finite group acting on a finite set $X$. This group action splits $X$ into disjoint orbits. The Burnside process is a Markov chain on $X$ which has a uniform stationary distribution when the chain is projected to orbits. We initiate the study of the Burnside process on Catalan structures. We consider two special cases: the first where the state space is the set of parking functions of length $n$ and $G = S_n$ is the symmetric group on $[n]$, such that $G$ acts by permuting coordinates, and the second where the state space is the set of labeled Dyck paths of length $2n$ and $G = S_n$ acts by permuting labels. The resulting Burnside processes give novel algorithms for sampling, respectively, an increasing parking function and a Dyck path approximately uniformly at random. Our main result shows that both processes are rapidly mixing, with mixing times upper bounded by $O(n \log n)$. As an application, we show how our Burnside process can be used to sample triangulations of an $(n+2)$-gon approximately uniformly at random.

We announce a series of results on the combinatorial study of the q-Catalan triangle (C_{n,k}(q)), defined by C_{n,0}(q)=q^{n(n-1)/2} and C_{n,k}(q)=C_{n,k-1}(q)+q^{n-k-1}C_{n-1,k}(q). We establish combinatorial interpretations via a universal combinatorial family of seven components: four families of pattern-avoiding permutations weighted by inversion or co-inversion statistics, Dyck paths, binary words and triangulations. We introduce the mirror polynomial C-tilde_{n,k}(q)=q^{n(n-1)/2}C_{n,k}(q^{-1}), prove its dual recurrence and co-inversion interpretation. The q,p-Catalan triangle and a multivariate generalization opening the way to cyclotomic q-analogues are introduced. Theorems on the q-Catalan triangle via 312-avoiding permutations and the mirror recurrence are proved completely here. This is the first paper of series W0-W5 on classical and q-deformed interpretations of the Catalan triangle.

We answer a question of Simental by providing a combinatorial interpretation of a formula which generalizes rational Catalan numbers and which appears in the study of Springer fibers. We provide an interpretation in terms of binary necklaces as well as anchored Dyck paths.

This paper develops three related combinatorial results for Dyck-type sequences. First, it constructs a row-insertion algorithm for dual Dyck sequences and extends it to Dyck tableaux. This construction gives a weight-preserving bijection between dual Dyck factorizations and pairs consisting of a Dyck tableau and a semistandard Young tableau of the same shape. As a consequence, the associated dual Dyck symmetric functions are Schur-positive, and the corresponding affine Dyck symmetric functions have the conjugate-shape Schur expansion. Second, it applies these Dyck symmetric functions to the \(q,t\)-Catalan polynomial. It gives a two-column tableau formula for \(C_n(q,t)\), expressing it as a sum over Dyck \(m\)-skeletons and at-most-two-column Dyck tableaux with summands involving two-variable Schur functions. Third, it develops a Dyck-skeleton formula for the deficit range \(\defc\le 2n-8\). Full and special Dyck skeletons, together with local \(\mathrm{East}\), \(\mathrm{West}\), \(\mathrm{up}\), and \(\mathrm{down}\) moves, organize the low-area half of each low-deficit slice into skeleton-indexed strings. The \(q,t\)-symmetry of \(C_n(q,t)\) supplies the complementary high-area half in the resulting interval formula.

We study the extreme local structure of plane binary trees through the distribution of leaves at maximum depth. We first address two basic questions: (i) the asymptotic probability that exactly two leaves occur at the deepest level, and (ii) the asymptotic mean number of leaves at that level. These problems lead to generating functions coupled with the Catalan iteration $I_{k+1}(z)=1+zI_k(z)^2$ through quasi-logistic recurrences. We show that both associated series have dominant singularity $ρ=1/4$ and admit square-root singular expansions. The singular terms are obtained through a three-zone dominated-convergence analysis of the critical scaling regime of the truncation error. We then extend the framework to derive the full limiting distribution of the number of deepest leaves. Enumerating trees with exactly $2m$ deepest leaves yields a hierarchy of differential equations that reduces to successive polynomial integrations. Encoding these parameters into a bivariate generating function transforms the nonlinear dynamics back into the Catalan recurrence. Using continuous iteration theory and the Fatou coordinate associated with an Abel equation, we obtain a functional equation characterizing the distribution. Finally, singularity analysis implies a strict exponential tail: the probability of having $2m$ deepest leaves satisfies $κ[m]\sim 4^{-m+1}$. Numerical evaluation gives an average number of deepest leaves equal to $\hatκ\approx 2.8037$, while the probability of exactly two deepest leaves is $κ\approx 0.7009$.