arXiv++ Combinatorics

Permutation pattern avoidance on Ferrers boards has become a central topic in enumerative combinatorics with important connections to matchings, set partitions, and other combinatorial structures as it allows one to build families of Wilf-equivalent patterns. While shape-Wilf-equivalence classes have been completely determined for individual patterns and pairs of patterns of length three, the corresponding classification for larger pattern sets has remained open. In this paper, we provide a complete classification of the shape-Wilf-equivalence classes of triples of patterns of length three. Our proofs use a bijective encoding of pattern avoiding transversals to establish all equivalence classes. As an application, we enumerate matchings avoiding triples of patterns of length three for all but two equivalence classes, extending previous results of Bloom and Elizalde. These enumerative results identify additional families of combinatorial objects counted by the Fuss-Catalan numbers and by other integer sequences appearing in the OEIS.

Let $a(n)$ be the sequence A158690 in the On-Line Encyclopedia of Integer Sequences (OEIS), defined by the exponential generating function $\sum_{n\ge0} a(n)t^n/n! = 1+\sum_{m\ge1}\prod_{j=1}^m(1-e^{-(2j-1)t})$. We prove two congruence conjectures of Peter Bala. The first states that, for every integer $k\ge1$, the sequence $a(n)$ modulo $k$ is eventually periodic with period dividing $\varphi(k)$. We prove the stronger statement that the Carmichael function $λ(k)$ is an eventual period. The second conjecture asserts the shifted Gauss congruences $a(np^r+i)\equiv a(np^{r-1}+i)\pmod{p^r}$ for every $i\ge0$, every prime $p$, and all $n,r\ge1$. Both results follow from a general theorem for exponential generating functions of the form $G(e^t-1)$ with $G\in\mathbb Z[[y]]$, together with the standard power-sum formula for Stirling numbers of the second kind.

We resolve three conjectures proposed by Tokushige in 2013 about cross $t$-intersecting families of subsets and integer sequences. For $0<p<1$ and $\mathcal F\subseteq2^{[n]}$, define the $p$-biased measure by $μ_p(\mathcal F)=\sum_{F\in\mathcal F}p^{|F|}(1-p)^{n-|F|}$. Two families $\mathcal F_1,\mathcal F_2\subseteq2^{[n]}$ are cross $t$-intersecting if $|F_1\cap F_2|\geq t$ for every $F_1\in\mathcal F_1$ and $F_2\in\mathcal F_2$. We prove that, for every $n\geq t\geq 2$ and $0<p_1,p_2\leq1/(t+1)$, such a pair satisfies $μ_{p_1}(\mathcal F_1)μ_{p_2}(\mathcal F_2)\leq(p_1p_2)^t$. When $p_1,p_2<1/(t+1)$, equality holds if and only if both families are the same $t$-star $\mathcal S_T=\{F\subseteq[n]:T\subseteq F\}$ for some $T\in\binom{[n]}{t}$. Together with the previously known case $t=1$, this completely resolves Tokushige's measure conjecture. We also prove that every pair whose measure product is close to the maximum must be close to a common $t$-star. More precisely, if $p_1,p_2<1/(t+1)$ and $μ_{p_1}(\mathcal F_1)μ_{p_2}(\mathcal F_2)>(1-\varepsilon)^2(p_1p_2)^t$, then there exists $T\in\binom{[n]}{t}$ such that $μ_{p_i}(\mathcal F_i\mathbin{\triangle}\mathcal S_T)<C\varepsilon$ for $i=1,2$, where $C$ depends only on $t,p_1,p_2$. This improves Tokushige's conjectured $C\sqrt{\varepsilon}$ estimate to $C\varepsilon$. For integer sequences, we prove that if every sequence in $\mathcal H_1\subseteq[m]^n$ agrees with every sequence in $\mathcal H_2\subseteq[m]^n$ in at least $t$ coordinates, then $|\mathcal H_1||\mathcal H_2|\leq m^{2(n-t)}$ for all $n\geq t\geq1$ and $m\geq t+1$. We further obtain a more general result in which a separate agreement requirement is imposed for each possible value. This extends a theorem of Frankl and Kupavskii and recovers their earlier cross intersection--union product theorem.

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 prove seven conjectures involving binomial coefficients. These conjectures appear in The On-Line Encyclopedia of Integer Sequences (OEIS). Among these is an application of Jacobi's residue formula. We also apply MacMahon's master theorem to give a new and independently obtained proof of a recently established result.

We introduce $k$-cascading parking functions, a parametrized variant of parking functions in which cars form bumping cascades of up to $k \geq 0$ cars. Setting $k = 0$ recovers classical parking functions, whereas $k = 1$ recovers MVP parking functions. Although parking functions and cascading parking functions are equivalent as sets, they are generally distinct as maps. Therefore, in this paper we consider the enumeration of the fibers of their outcomes. Our main result is a recursive, permutation pattern-based formula for the size of the fiber of any given permutation, for any given $k \geq 0$. When specialized to the longest word, the formula reduces to a family of integer sequences that interpolate between the simplest sequence ($k=0$), the Motzkin numbers ($k = 1$), and the Catalan numbers ($k\geq n-1$). When specialized to the set of layered permutations, the formula gives new combinatorial interpretations for the row sums of certain convolution triangles, including Motzkin and Catalan convolution triangles.

We revisit Zeilberger's computational framework for enumerating polyomino tilings and demonstrate its use in counting tilings of $k\times n$ boards by $L$-tetrominoes, allowing rotations. Recently, Bělohoubek and Slavík gave a generating function for tilings of $2n\times 4$ boards by $L$-tetrominoes. Motivated by their work, we first verify the method by automatically recovering their generating function. We then apply the method to widths $5$ through $9$ and obtain explicit rational generating functions and new integer sequences that are not currently listed in the OEIS.

In this paper, we revisit the Poincaré polynomials, Betti numbers, and Euler characteristics of the Deligne-Mumford moduli spaces $\overline{\mathcal M}_{0,n}$ of stable $n$-pointed rational curves. We give elementary derivations of two recent closed formulas for their Poincaré polynomials, due respectively to Aluffi-Marcolli-Nascimento (arXiv:2406.13095) and to Eur-Ferroni-Matherne-Pagaria-Vecchi (arXiv:2504.16776). Our approach shows that both formulas are already implicit in the generating-series results of Getzler and Manin, and can be extracted from them by elementary manipulations of generating functions, the binomial series, and standard identities for Stirling numbers. Beyond these new derivations, the same method also yields new linear recurrence relations for refined invariants associated with these Poincaré polynomials, namely distinguished summands and a bivariate refinement. As a further consequence, we obtain two additional formulas for the Betti numbers, not previously recorded in this form. We also study the Euler characteristics $χ(\overline{\mathcal M}_{0,n})$. Using the Taylor expansion of a suitable branch of the Lambert $W$-function, we show that their sequence is obtained by evaluating complete Bell polynomials at an explicit auxiliary integer sequence. This Bell-polynomial representation yields Hessenberg determinantal formulas and a new linear recursion, distinct from the well-known quadratic Keel-Manin recursion. It also provides an explicit extraction of the Euler characteristics from the Lambert $W$-function expression considered by Aluffi-Marcolli-Nascimento. Finally, we refine the Manin-Zagier asymptotic estimate for these Euler characteristics by computing the full asymptotic expansion.

Barry introduced a central transform of integer sequences and proposed four conjectures concerning the Hankel transforms of central transform of four rational families. We prove these four conjectures. The proofs are unified within a common algebraic framework: we interpret the Hankel determinants as Gram determinants and use a basis of shifted monic Chebyshev polynomials to reveal the finite-band structure of the associated Gram matrices.

A counting problem arising naturally from game theory leads to the problem of estimating the coefficients $t_{ij}$ of a particular bivariate rational function. Restricting to the diagonal sequences $t_{j+k,k}$ (with $k$ fixed) allows us to study these sequences using elementary one-variable methods.

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 symmetric function is called Schur-positive if it admits an expansion in the Schur basis with nonnegative coefficients. In this paper, we study the Schur positivity of symmetric functions naturally associated with set partitions, with respect to two different notions of descent. In the first case, the Schur expansion involves hook-shaped Young diagrams, and the corresponding coefficients are given by Touchard-Riordan polynomials, which enumerate matchings by their number of crossings. In the second case, the Schur functions correspond to two-rows Young diagrams, and the coefficients are partial sums of associated Bell numbers. A key ingredient of our approach in the second case is the notion of a removable singleton, defined algebraically and shown to admit an equivalent combinatorial interpretation via jeu-de-taquin rectification of skew tableaux. As an application, we establish Schur positivity for various classes of symmetric functions indexed by non-crossing partitions and partitions with a given number of parts. We provide an explicit combinatorial description of the tableaux that contribute to the Schur expansion, and we connects the obtained coefficients to some known integer sequences.

$a_n=[x^n](1-x)^{-n}(1-x^2)^{-n}$ is the sequence A348410 in the Encyclopedia of Integer Sequences. Using a method from Hautus and Klarner from 1971 and the software \textsf{Gfun} we find an algebraic equation for the generating function $g(z)=\sum_na_nz^n$.

Higher dimensional permutations are tuples of d-1 permutations that can be identified with a point set in a d-dimensional grid. In N. Bonichon and P.-J. Morel, {\it J. Integer Sequences} 25 (2022), several conjectures regarding the enumeration of pattern avoiding d-permutations were stated. In this paper, we consider a mapping from d-permutations to $2^{d-1}-$ary trees that naturally generalizes the classical max-tree construction for permutations. We then show that, when restricted to d-permutations avoiding (21,12) and 231, this mapping yields a bijection with d-ary trees. This result resolves one of the conjectures of Bonichon and Morel.

We develop a unified algebraic theory of the weighted Tower of Hanoi with arbitrary nonnegative symmetric move costs depending on both disc index and pegs. Starting from a general optimality recurrence with two competing strategies -- one largest-disc move (one-LDM) and two largest-disc moves (two-LDM) -- we derive complete matrix formulations for both regimes and obtain explicit closed forms for the minimal transfer cost. The one-LDM dynamics is governed by a nontrivial linear operator whose spectral decomposition reveals a fundamental connection with the Jacobsthal and Lichtenberg sequences, while the two-LDM dynamics exhibits pure exponential growth. This framework yields exact solutions for broad classes of weight models, including peg-symmetric, disc-symmetric, polynomial, geometric, arithmetic, and sequence-induced costs. In particular, choosing classical integer sequences (Fibonacci, Lucas, Jacobsthal, Pell, Euler, etc.) as disc weights produces new derived sequences with explicit formulas and recurrences, establishing the Tower of Hanoi as a sequence-generating transform. We further introduce and analyze models with forbidden moves and move-type-dependent weights, uncovering a phase transition phenomenon in which the optimal strategy switches from two-LDM behavior for small discs to one-LDM behavior beyond a finite threshold. Our results provide a comprehensive algebraic and combinatorial understanding of weighted Hanoi dynamics and expose deep connections between optimal solutions and classical integer sequences.

The alternated composition of $N=2p$ differential operators $ w_j(x)\,\partial_x^p$ of strict order $p$ on the line $\mathbb{R}\ni x$ is again a differential operator of strict order $p$; its coefficient is the constant $\mathrm{const}(p)$, depending only on the arity $N$, times the Wronskian determinant of the originally taken coefficients $w_1$, $\ldots$, $w_N$. The case $p=1$ of the Lie bracket for two vector fields fixes $\mathrm{const}(1)=1$. When $p=2$, finding $\mathrm{const}(2)=2$ is easy; we obtain $\mathrm{const}(3)=90$. The problem is to know $\mathrm{const}(p\geqslant 4)$. We express the formula of $\mathrm{const}(p)$ in terms of the sum with signs over the much smaller set of 'late-growing' permutations, thus reaching the exact values $c(p=4)= 586\,656$, $c(p=5)\approx 1.9\cdot 10^{12}$, and $c(p=6)\approx 7.9\cdot 10^{21}$; the positive integer sequence $\mathrm{const}(p)$ seems to be new.

The sequence A176677 in the Encyclopedia of Integer Sequences enumerates Motzkin paths where two types of horizontal steps may occur, but only on odd indexed levels. We show how to perform the enumeration, also dealing with partial such Motzkin paths leading to a particular level or to any level (open paths). The method is the kernel method where functional equations are manipulated in a suitable way. The coefficients of sequence A176677 satisfy a holonomic recursion that was recently discussed on the arxiv. We show how this can be established in an (almost) automatic fashion. Eventually we switch the roles of `odd' and `even'. One could also allow more versions of horizontal steps but we leave this to the interested readers.

For a positive integer \( k \), let \( [k] = \{1, 2, \ldots, k\} \). Let \( h \) be a non-negative integer, and let \( n \) be a multiple of \( h + 1 \). Define \( H \) as the disjoint union of \( n/(h+1) \) cliques (each of size \( h + 1 \)) with vertex sets \( V_1, \ldots, V_{n/(h+1)} \), where \( V_i = \{ v_j \mid j = (i-1)(h+1) + k, k \in [h+1] \} \) for \( i \in [n/(h+1)] \). A non-increasing integer sequence \( (d_1, \ldots, d_n) \) is \( H \)-realizable if there exists a graph \( G \) with \( V(G) = V(H) = \{ v_i \mid i \in [n] \} \), \( d_G(v_i) = d_i \) for all \( i\in [n] \), and \( G \) contains \( H \) as a spanning subgraph. If \( h = 0 \), then a non-increasing integer sequence \( (d_1, \ldots, d_n) \) is \( H \)-realizable if and only if there exists a graph \( G \) with degree sequence \( (d_1, d_2, \dots, d_n) \); Erdős and Gallai established a necessary and sufficient condition for this property. Recently, Briggs, McDonald, and Shan extended their result to the case \( h = 1 \). In this paper, we establish a necessary and sufficient condition for a sequence \( (d_1, d_2, \dots, d_n) \) to be \( H \)-realizable for any non-negative integer \( h \), thereby confirming a conjecture due to Briggs, McDonald and Shan.

Weighted Catalan numbers are a class of weighted sums over Dyck paths. Well-studied for their arithmetic properties and applications to enumerative combinatorics, these numbers were recently generalized to the setting of $k$-dimensional Catalan numbers for $k \geq 2$. In this paper, we introduce the $k$-dimensional semisymmetric weighted Catalan numbers ($k$-dimensional SSWCNs), an alternative $k$-dimensional generalization, along with their variant, the $k$-dimensional $u$-bounded semisymmetric weighted Catalan numbers ($k$-dimensional $u$-bounded SSWCNs). We define these two classes of numbers using the notion of semisymmetric height, a new statistic on points in $\mathbb{Z}^k_{\geq 0}$ motivated by geometric symmetries of $k$-dimensional analogs of Dyck paths and of the fundamental Weyl chamber of type $A_{k-1}$. For our main results, we prove the eventual periodicity of $k$-dimensional SSWCNs and their $u$-bounded variants modulo a suitable integer $m$, and we derive formulas for several classes of $k$-dimensional $u$-bounded SSWCNs. Additionally, using semisymmetric height, we derive novel analogs in the $k$-dimensional setting of the integer sequence counting Dyck paths by height and of the Narayana numbers. We conclude the paper with a future direction for generalizing weighted Catalan numbers to the $k$-dimensional setting.

Many integer sequences arise as numbers of $G$-orbits on $\binom{X}{n}$ as $n$ varies, for a permutation group $G\subseteq \operatorname{Sym}(X)$. For finite $X$, Stanley proved that these finite sequences increase towards the middle using an action of the Lie algebra $\mathfrak{sl}_2(\mathbb{C})$. For infinite sets $X$, and hence infinite sequences, Cameron provided an argument for monotonicity. He first identifies orbits with a vector space basis of a certain commutative $k$-algebra $\mathsf{H}_{G,X}^{\star}$, called the orbit algebra. He then considers the operator, which forms the product with the constant $1$-function on $X$, and proves its injectivity. In this paper we generalize Stanley's approach to oligomorphic groups, and in particular extend Cameron's operator to a full $\mathfrak{sl}_2(\mathbb{C})$-action on $\mathsf{H}_{G,X}^{\star}$. We define for every oligomorphic permutation group $G\subseteq \operatorname{Sym}(X)$ the $X$-th tensor power $(k^r)^{\otimes X}$, generalizing work of Entova-Aizenbud. We show that this space carries natural commuting actions of $G$ and the Lie algebra $\mathfrak{gl}_r(k)$, the latter depending on a Harman--Snowden measure $μ$ on $G$. We then show that $\mathsf{H}_{G,X}^{\star}\subseteq (\mathbb{C}^2)^{\otimes X}$ can be decomposed into a direct sum of $\mathfrak{sl}_2(\mathbb{C})$-Verma modules, which gives monotonicity. We explain how our approach applies to Fibonacci numbers, Tribonacci numbers, etc. by constructing measures on products with $(\mathbb{Q},<)$.