arXiv++ Combinatorics

The alternating composition of $N = 2p$ weighted differential operators $w_j(x)\cdot\partial_x^{\,p}$ of strict order $p$ on the line $\mathbb{R} \ni x$ is again an operator of order $p$; its coefficient is the universal constant $c(p)$ times the Wronskian of the weights $w_1,\ldots,w_N$. Lie brackets of vector fields fix $c(p=1)=1$; we want to find $c(p \geqslant 2)$: e.g., $c(2) = 2$ or $c(3) = 90$. Direct symbolic expansion (over $|S_{2p}| =(2p)!$ permutations) fails for $p \geqslant 4$. Taking the monomials $w_j = x^{j-1}$ reduces the summation to the much smaller set $Φ_p \subseteq S_{2p-1} \subsetneq S_{2p}$ of late-growing permutations. Expressing $c(p)$ as a signed sum of products of falling factorials, we implement and speed up the algorithm that gains all the integer values up to $c(18) = 4.881\ldots \cdot 10^{462}$. The resulting sequence is new, now registered as OEIS A392714; its (sub)leading-order growth rate is $\log c(p) \simeq 2p^2\log p -b p^2 + \overline{o}(p^2)$ for $p\gg 1$, with $b\geqslant 2.6744$.

We study the integer sequence that enumerates cokernel-closed, idempotent split, full, additive subcategories of the category of finite dimensional complex representations of a uniformly oriented $A_n$ quiver. Using a combinatorial model, we describe a non-obvious connection of this sequence to Catalan numbers and derive an implicit recurrence. We also describe some basic properties of the lattice underlying the sequences, in particular, we give an explicit description of the meet irreducible elements of that lattice.

We prove several conjectures from the On-Line Encyclopedia of Integer Sequences about the lower and upper Wythoff sequences and the Fibonacci word. Among them are two of Kimberling's three conjectures on the number of ways to write $n=\lfloor hφ\rfloor+\lfloor kφ^2\rfloor$ with $h,k\ge1$ (A259598): exactly one way if and only if $n+1=2F$ for a Fibonacci number $F\ge2$, and exactly two ways if and only if $n+1\ge7$ is a Lucas number. The third conjecture, that no way exists if and only if $n+1$ is a Fibonacci number, was proved earlier by Kawsumarng et al. We also observe that Kimberling's conjecture on the gaps of the sums of two distinct terms of A003622 and of their complement (A333308, A333309) follows, after a shift by $2$, from earlier Walnut results of Shallit and of Bosma et al. on A260317, and we re-verify it. Next, we prove Kimberling's five 2025 conjectures on the gaps between positions where the Fibonacci word and the "Lucas word" take prescribed values (A383423-A383427). Finally, we prove a conjecture of Mathar on A285383, and we point out that a conjecture of Schmidt on A003250 follows from theorems of Carlitz, Scoville and Vaughan (1973); we also confirm it with Walnut. Most proofs are decision procedures run in the free prover Walnut, and we supply the complete command file.

Let $a(n)$ be the number of standard Young tableaux of shape $(n,n,n)$ whose entry in row $2$, column $1$ is odd; equivalently, the number of those whose first descent is even. This is entry A011553 of the On-Line Encyclopedia of Integer Sequences, contributed in 1996, and after thirty years of curation it carries no formula. We supply one, $a(n) = 8\,\bigl(n!\,(n+2)!\bigr)^{-1}\sum_{m=1}^{\lfloor n/2\rfloor} m(m+1)(3n-2m-1)!/(n-2m)!$, and use it to settle both of the conjectures the entry records. A creative telescoping certificate shows that $a$ satisfies a linear recurrence of order two with polynomial coefficients; the order-three recurrence conjectured by R. J. Mathar in 2023 is a left multiple of it, with explicit cofactor $(4S^{-1}-3)/(7n-9)$. We also prove $a(n)\sim 3^{3n+7/2}/(64πn^{4})$, the asymptotic conjectured by V. Kotesovec in 2014. The second proof gives slightly more than the conjecture asks: the position of the first descent has a limiting distribution, the probability that the $(2,1)$ entry equals $r+1$ tending to $r(r+2)/3^{\,r+1}$. Summing the even terms, a uniformly random tableau of shape $(n,n,n)$ has an odd $(2,1)$ entry with probability tending to $27/64$, whereas for a uniformly random tableau of $n$ cells of unrestricted shape the corresponding limit is $1/e$.

In this work, the author employs the Faà di Bruno formula, identities for the partial Bell polynomials, two combinatorial identities, and the (logarithmically) complete monotonicity of generating functions for several integer sequences, together with the Wronski theorem, to investigate a collection of analytic and combinatorial structures. The study establishes Taylor series expansions for various functions involving the inverse (hyperbolic) tangent function and derives the Maclaurin expansion of the Wilf function, a composite of the inverse tangent, square root, and exponential functions. The coefficients in this expansion are expressed in terms of Stirling numbers of the second kind, and their generating functions, limits, positivity, monotonicity, and logarithmic convexity are analyzed. The paper further presents closed-form formulas for special values of the Gauss hypergeometric function and for certain partial Bell polynomials, along with several infinite series representations of the circular constant and related sequences. An asymptotic rational approximation to the circular constant is recovered, and connections among several integer sequences are established via determinants.

An inversion sequence of length $n$ is an integer sequence $(a_1, \ldots, a_n)$ such that $0 \le a_i < i$ for all $i$. The study of pattern-avoiding inversion sequences was initiated in 2015 by Mansour and Shattuck and in 2016 by Corteel, Martinez, Savage and Weselcouch. Martinez and Savage later defined a new type of pattern, a triple of binary relations, of which there are currently 14 uncounted avoidance classes. We complete the enumeration for all of these classes using generating tree methods "growing on the left" and "growing on the right". For many of these classes we are able to find algebraic generating functions. We also discuss the asymptotic behaviour of the counting sequences.

Let $G=\langle a,b\rangle$ be a finite group with distinct nonidentity generators, and suppose that $H=\langle ba^{-1}\rangle$ is normal. We determine exactly which complementary generator choices on the nonterminal cosets of $H$ extend to two arc-disjoint Hamiltonian paths with both terminal vertices in $H$. The associated return residue must avoid an explicit set of at most six residues. When $[G:H]\ge3$, any two nonterminal cosets may be left free while all other choices are prescribed; two is best possible. Every such Cayley digraph has two arc-disjoint Hamiltonian paths; this includes all two-generator Cayley digraphs of finite abelian groups. The criterion follows from a complete distance formula for the Hamiltonian cut spectra of $\mathrm{Cay}(\mathbb{Z}_q;\{D,D+1\})$. Their unique nondegenerate exception comes from the odd central coefficient $(q-1)/2$. The geometric ingredient is a confinement theorem: two sector-filled integer sequences satisfying a length inequality, with overlapping ranges and distance at least two, have one sequence contained in a single gap of the other. Sector filling bounds alternation, and the length inequality excludes interlacing. A self-contained proof of the primitive-ray cycle profile follows the intersection geometry of Curran and Witte.

We study the sequence $a(0)=0$, $a(1)=1$ and $a(n)=n-a(n-a(n-a(n-1)))$ for $n\ge 2$, listed as A076502 in the On-Line Encyclopedia of Integer Sequences. We identify $a(n)$ as a two-position shift in the greedy Padovan numeration system, with a finite-state correction. The proof constructs an addition automaton from an exact integer-carry invariant and certifies its completeness by finite-language inclusion; a synchronized automaton then verifies the nested recurrence. We establish bounded discrepancy from the line of slope $c$, where $c^3-c^2+2c-1=0$, and show that the exact set of offsets from $\lfloor cn\rfloor$ is $\{-1,0,1,2\}$. We construct an explicit 26-letter non-erasing morphic presentation of the first-difference word, prove that its least balance constant is 4, and give an effective procedure for enclosing the global discrepancy extrema to arbitrary accuracy. We formalize the recurrence identification, six-decimal discrepancy bound, exact offset set, concrete morphic identity, least balance constant, and an effective extrema algorithm in Lean. Separate exact computations refine the numerical enclosures.

An $n$-barrycade of height $h$ is a set of $h$ permutations of $[n]$ such that all the prefix sums are different. This notion was described in 2020 by Richard Guy, together with the central problem to determine for which values of $n$ there exists a break-free $n$-barrycade, that is, one in which every possible prefix sum from $1$ to $\frac{n(n+1)}{2}-1$ is covered. The height of such barrycade would be $\frac{n+2}{2}$. We prove that barrycades of linear height exist for infinitely many sizes: there is a constant $c>0$ such that for infinitely many positive integers $n$ there exists an $n$-barrycade of height at least $cn$. We also explore an infinite variant of the problem and propose three constructions -- greedy, grasshopper and precise grasshopper -- that give increasingly more satisfying results. Along the way we encounter new integer sequences and formulate conjectures concerning omitted elements, missing partial sums, and word representations of infinite barrycades, which are firmly supported by computational data.

We prove that the pairs of integers $0\le m<n$ for which a nondecreasing integer sequence can remain complete after every deletion of $m$ terms and become incomplete after every deletion of $n$ terms are exactly those with $m\le1$. Here a sequence is complete if every sufficiently large integer is a finite sum of terms with distinct indices. This answers Erdős Problem 348, posed by Graham and later included in the book of Erdős and Graham. The proof uses a central-interval theorem: if a complete nondecreasing positive integer sequence $(a_i)$ has prefix sums $S_j$ with $S_j-a_{j+1}\to\infty$, then each sufficiently long prefix represents every integer from any fixed completeness threshold $T$ to $S_j-T$. We also refute Graham's conjecture, later repeated by Erdős and Graham, that $(\lfloor tγ^n\rfloor)_{n\ge1}$ is complete for every $t>0$ and $1<γ<(1+\sqrt5)/2$. We obtain the counterexample by combining Dubickas's fractional-part theorem with an elementary sign adjustment. For a common base in this range, we further construct two such sequences whose interleaving is incomplete and whose coefficient ratio is not a rational multiple of any integer power of the base.

Global permutation patterns have recently been shown to characterize important properties of a Coxeter group. Here we study global patterns in the context of signed permutations, with both characterizing and enumerative results. Surprisingly, many properties of signed permutations may be characterized by avoidance of the same set of patterns as the corresponding properties in the symmetric group. We also extend previous enumerative work of Egge, and our work has connections to the Garfinkle--Barbasch--Vogan correspondence, the Erdős--Szekeres theorem, and well-known integer sequences.

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.

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 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.