arXiv++ Combinatorics

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 investigate divisibility questions for the sum-of-divisors function $σ(C_n)$ of the Catalan numbers $C_n=(n+1)^{-1}\binom{2n}{n}$. Using the prime factors occurring to exponent one in $C_n$, we give explicit divisors of $σ(C_n)$ and obtain, for each fixed integer $m\geq 2$, a power $m^{R_m(n)}$ dividing $σ(C_n)$, with $R_m(n)\sim\frac{2\log 2}{φ(m)}\frac{n}{\log n}$. We further prove uniform divisibility for all moduli up to fixed powers of $\log n$ and, with the same leading constant $2\log 2$, for almost all moduli up to $\sqrt{n}$ apart from logarithmic factors. We also establish a complete classification of the integers $m\geq 2$ for which $m\midσ(mk-1)$ for every $k\geq 1$, identify precisely the exceptional coprimality relations among the associated linear forms, and record a twin-prime product divisor of $σ(C_n)$. The arguments use standard prime-distribution results and do not assume any conjecture concerning twin primes.

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.

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.

Katabolizable tableaux provide a combinatorial formula for the Schur coefficients of Catalan functions. We prove that a tableau involution preserves katabolizability under antidiagonal reflection of any upper root ideal. This involution complements shape and content in a fixed rectangle and preserves charge. We obtain a bijective proof of the rectangular symmetry of these coefficients.

The Chan--Robbins--Yuen polytope $\mathrm{CRY}_{m+1}$ has normalized volume $\prod_{j=1}^{m-1}C_j$, a product of Catalan numbers. Zeilberger proved the formula using the Morris constant-term identity; finding a combinatorial proof remained an open problem. We give such a proof by counting nonnegative integer flows. We add an extra edge from each vertex to a common sink and count flows according to how many of these edges carry positive flow. A double count proves a special case of a recurrence of Morales and Shi and gives these counts in terms of Narayana numbers. Deleting the first vertex then yields the Catalan product. We also give an explicit bijection for the recurrence and prove the corresponding reduction formula posed by Postnikov.

We study the extreme local structure of plane binary trees through the limiting distribution of the number of leaves at maximum depth. For every $m\geq1$, we determine the limiting probability $κ^{[m]}$ that the deepest level contains $2m$ leaves. The resulting sequence is encoded by a generating function $K(y)$, obtained from a bivariate refinement of the Catalan iteration. We show that, at the critical point of this iteration, a parabolic recurrence governs the marked generating functions. Using continuous iteration theory and a Fatou coordinate, we transform this recurrence into the functional equation $K((1+y/4)^2)=K(y)+4$, which describes the limiting law. Its singular behavior yields the exponential tail $κ^{[m]}\sim4^{-m+1}$. Numerical evaluation gives, e.g., $κ^{[1]}\approx0.7009$, $κ^{[2]}\approx0.2226$ and an average number of deepest leaves equal to $\hatκ=4κ^{[1]}\approx2.8037$.

We study the distribution of output values produced by all fully bracketed implication terms on $n$ distinct variables in Gödel $m$-valued logic on the finite chain $V_m$. The Catalan decomposition of bracketings yields a stratified system of recurrences for the output counts. Passing to tail sums reduces this system to a finite iteration of a single map $Φ_x$ and its inverse branch $Ψ_x$. For each fixed $m$, this reduction gives a common dominant square-root singularity at $r=1/(4m)$, coefficient asymptotics of order $(4m)^n n^{-3/2}$, and limiting proportions for every truth level. In the four-valued case these proportions are obtained explicitly in nested radicals. The main new phenomenon appears when the number of truth values also tends to infinity. If $K_m$ denotes the output level under the limiting $n\to\infty$ distribution and $X_m=K_m/(m-1)$, then $X_m\Rightarrow X$, where $X$ has density $(1+2t)^{-3/2}$ on $[0,1)$ together with an atom of mass $1/\sqrt{3}$ at $1$. In particular, the top mass converges to $1/\sqrt{3}$, while the bottom mass is asymptotic to $1/m$. We further show that the same probability law arises intrinsically when Gödel implication is defined directly on $[0,1]$ and valuations are sampled from Lebesgue product measure: the continuum tail generating function satisfies an exact first-order differential equation whose critical specialization is the ODE appearing in the finite-chain Euler limit. We also record a root-split refinement whose pair-count generating functions factor as products of the level generating functions and inherit the same square-root scale.

Let $\mathcal{P}_n$ denote the set of distinct permutations of length $n$ that arise from the flattening process applied to the partitions of $[n]=\{1,\ldots,n\}$. In this paper, we consider the problem of avoidance of a single classical pattern of length four by members of $\mathcal{P}_n$. Let $p_n(τ)$ denote the number of members of $\mathcal{P}_n$ that avoid the pattern $τ$. We show that $p_n(τ)=C_{n-1}$ for all $n \geq 1$ for seven patterns of length four yielding new combinatorial interpretations of the Catalan number sequence. Further, we show that $p_n(τ)$ corresponds to the binomial transform of Catalan numbers for three other patterns. To establish our results, we suitably refine the counting sequence $p_n(τ)$ in each case so as to obtain a system of functional equations satisfied by the corresponding generating functions. These functional equations may then be solved explicitly leading to a determination of $p_n(τ)$ in each case.

The stylic monoid $\mathrm{Styl}_n$, introduced by Abram and Reutenauer, is the quotient of the plactic monoid by the relations $x^2=x$, and its elements are represented by $N$-tableaux. Volkov showed that the Catalan monoid $\mathrm{Cat}_n$ of order-preserving, order-decreasing self-maps of $\{0,1,\ldots,n\}$ is a quotient of $\mathrm{Styl}_n$. However, the quotient map is defined on generators, and it is not apparent how to see, from an $N$-tableau, the map in $\mathrm{Cat}_n$ it corresponds to. In this paper we give a simple visual way to read off this map, and some of its main properties, from the $N$-tableau. The new ingredient is that we do not insist on drawing an $N$-tableau as a classical Young tableau: we allow the entries of each row to be shifted relative to the row below, as long as each entry stays above a smaller one. We call this a positioning, and prove that the column word read from any positioning is plactically equivalent to the usual column word; so every positioning can be used to compute the quotient map. We work with the tight positioning, in which each entry is pushed as far right as possible, and define the full core of an $N$-tableau: the part of each column that climbs by consecutive values from the bottom row. We call an $N$-tableau full if it equals its full core. We prove that passing to the full core does not change the image in $\mathrm{Cat}_n$, that full $N$-tableaux are in bijection with $\mathrm{Cat}_n$, and we show how to read the corresponding map directly off a full $N$-tableau.

We construct an explicit involution on Dyck paths satisfying $\defc\le\min(\area,\dinv)$ that interchanges area and dinv, where $\defc=\binom n2-\area-\dinv$ and $n$ is the semilength. In addition, we give an involution on Dyck paths with $\defc \le 2n-8$ that interchanges area and dinv. Finally, we give an explicit partition formula for the portion of the $q,t$-Catalan polynomial of total degree at least $\binom n2-2n+8$, thereby proving a conjecture of Lee and Li~\cite[Conjecture~4]{LeeLi11}. Altogether our results give a combinatorial explanation of $q,t$-Catalan symmetry in the region $\defc\le\max(2n-8,\min(\area,\dinv))$. Our constructions rely on a number of new combinatorial objects developed here and three main external tools: the dual Dyck insertion of \cite{Hawkes26}, the Garsia--Milne involution principle~\cite{GarsiaMilne81},~\cite{Doyle19}, and the partition bijection of ~\cite{LoehrWarrington09}.

We study integer-interval deformations of Coxeter arrangements of types $A$, $B$, and $D$, assigning an integer interval to each root direction through an integer-valued root function. We introduce a local compatibility condition on this root function. For compatible root functions, subject to additional local bounds in types $B$ and $D$, we derive characteristic-polynomial formulas as binomial sums over cyclic orders in type $A$ and signed permutations in types $B$ and $D$. The proofs use the finite-field method and reduce hyperplane avoidance to consecutive-gap inequalities. These formulas recover, in particular, the classical Catalan and Shi characteristic polynomials.

We study signed generalized Stirling polynomials $P_k(m,x)$ arising in closed forms for Malmsten-type hyperbolic secant integrals. Their product structure is used to prove recurrences, gamma--polygamma formulas for $P_{m-s}(m,x)$, a central vanishing identity, a finite approximation to $\cosh πx$, and a limit formula for $π$. We identify these polynomials as signed residues of the equal-period Barnes multiple zeta function, derive their reflection formula, and obtain finite parity-cancellation and Stirling cycle-number identities. We also compare the centered polynomials with a classical Meixner--Pollaczek orthogonal family. We evaluate finite nested sums built from the sequence $χ_n$. Fixing the lower bounds turns these sums into coefficient-counting problems: common lower bounds give binomial coefficients and staircase bounds give Catalan numbers. Combining these counts with known formulas for $χ_j$ yields explicit hyperbolic-secant integral evaluations involving Catalan's constant, zeta values, and polygamma values. A Wolfram Language package accompanies the formulas.

Regular semisimple Hessenberg varieties are subvarieties of flag varieties defined for any reductive group. Their cohomology carries a representation of the associated Weyl group, known as the dot action representation. In type $A$, these representations can be computed using the chromatic quasisymmetric functions of naturally labeled unit interval graphs. We prove that restricting the dot action representation of any Weyl group to a type $A$ parabolic subgroup yields a representation isomorphic to a direct sum of type $A$ dot action representations. This work is motivated by the conjecture that an analogous property holds for all parabolic subgroups. In particular, for classical Weyl groups of types $B/C$ and $D$, we use chromatic symmetric functions to provide a streamlined, combinatorial formula for the restriction to a specific maximal type $A$ parabolic subgroup. As an application, we prove a conjecture of Lesnevich regarding the representations associated with ideals of types $B$ and $C$ identified under the standard poset isomorphism. Specifically, we show that the corresponding dot action representations are isomorphic if and only if the ideals determine the same reflection sets in their respective root systems. Furthermore, we show that a Catalan number counts the total number of such ideals.

For a finite simple graph $G = (V, E)$, we consider the quotient algebra $\mathcal M(G)$ of the polynomial ring in the variables $u_e$ (for $e \in E$) by the ideal generated by all products $u_e u_f$ for non-disjoint edges $e$ and $f$ (including all squares $u_e^2$). This quotient is called the matching algebra of $G$, since it has a basis indexed by the matchings of $G$. In this quotient, we define a subalgebra $\mathcal D(G)$ generated by the signed incidence sums $θ_v=\sum_{e=(v,w)}u_e-\sum_{e=(w,v)}u_e$ for all $v \in V$ (where all edges of $G$ are oriented arbitrarily); we call this the Dunkl matching algebra. We show that, as a graded vector space, $\mathcal D(G)$ is dual to the span of all polynomials $p_M = \prod_{(i,j) \in M} (x_i - x_j)$, where $M$ ranges over all matchings of $G$. For the complete graph $K_n$, the latter span is a direct sum of two-row Specht modules (one in each degree); thus its Hilbert series is that of the Catalan triangle, and, in characteristic zero, the Dunkl matching algebra can be presented by linear and quadratic relations. For arbitrary graphs, we formulate the saturation problem of deciding when the selected matching Specht generators $p_M$ in a given degree $k$ span the full two-row Specht module $S^{(n-k,k)}$. We show that saturation in degree $k$ forces $k$-connectivity, that saturation in degree $2$ is equivalent to $2$-connectivity, and that $k$-linked graphs are saturated in degree $k$. We also prove saturation in every possible degree whenever the complement of $G$ is a matching. We show that the Dunkl matching algebra equals the full matching algebra exactly for forests, and give an explicit Hilbert series formula for unicyclic graphs.

We study permutations $π\in S_n$ that avoid $123$ while satisfying the adjacency constraint $\lvert π_{i+1}-π_i\rvert \le m$ for some $m\in\mathbb{Z}^{+}$. We first show that every admissible permutation is localized within vertical distance $m$ of the reverse diagonal, revealing a strong global restriction imposed by the interaction between pattern avoidance and bounded adjacency. For every fixed $m$, we then construct an exact finite-state description of the family, with precisely $2^{m+1}-m-1$ realizable states. This yields an explicit transfer-matrix enumeration and, in particular, a rational generating function for every fixed $m$; consequently, the enumeration sequence satisfies an eventual constant-coefficient linear recurrence. We further identify the exponential growth rate with the spectral radius $ρ_m$ of the corresponding transfer matrix and show that $ρ_m<4$, is nondecreasing in $m$, and converges to the Catalan growth constant $4$ as $m\to\infty$. Finally, we show that the bounded-adjacency constraint breaks the ordinary length-three Wilf equivalence, and we develop algorithmic and graph-theoretic interpretations of the family, including a correspondence with constrained Hamiltonian paths in powers of the path graph.

Motivated by Kawanoue's construction with the finite-sum formulas, we construct an explicit homogeneous basis for the derivation module of the cone of the extended Catalan arrangement of type Dl. We further show that the restriction of this basis at infinity coincides, up to a nonzero constant, with the integral basis constructed by Feigin-Wang-Yoshinaga. This identifies the geometric motivation behind the parameter choices.

The $k$-Schur functions (resp., $K$-$k$-Schur functions) are the symmetric function representatives of Schubert classes in the homology (resp., $K$-homology) of the affine Grassmannian of type $A$. We prove that every $K$-$k$-Schur function is a nonnegative integer linear combination in the basis of $k$-Schur functions. This settles a conjecture by Lam, Schilling and Shimozono. The proof relies on realizations of $k$-Schur and $K$-$k$-Schur functions as Catalan and Katalan functions, respectively.

Let $W=W(B_n)$ act diagonally on $\mathfrak{h}\oplus\mathfrak{h}^*$, let $S=\mathbb{C}[\mathfrak{h}\oplus\mathfrak{h}^*]$, let $J\subset S$ be the ideal generated by the $W$-alternating polynomials and $\mathfrak{m}_S$ is the maximal ideal of the origin. For sufficiently large $m$ we compute $q,t$-Fuss-Catalan polynomial $Cat^{(m)}(B_n;q,t):=Hilb(\frac{J^m}{\mathfrak{m}_S J^m})_{det-part}$ and imply $Cat^{(m)}(B_n;1,1)=\binom{n(m+1)}{n}$. For proofs, we work with the $Γ$-equivariant Hilbert scheme $Y_n=nΓ$-$Hilb(\mathbb{C}^2)$, $Γ=μ_2$ and Haiman-type Koszul complex that defines the punctual locus of $Y_n$. Our formula for $Cat^{(m)}(B_n;q,t)$ is derived from a localization computaion for the Haiman-type Koszul complex.

A finite nonempty set $F\subset\mathbb{N}$ is Schreier if $\min F\ge |F|$. First, we prove a linear recurrence relation and compute initial counts for Schreier sets consisting of intervals. Two intervals of integers are separated if their union is not an interval. If $\mathcal J_{k,n}$ is the collection of Schreier sets that are the union of exactly $k$ separated intervals, then the sequence $(|\mathcal{J}_{k,n}|)_{n=1}^\infty$ satisfies the characteristic polynomial $p_k(x) = (x-1)^{2k+1}(x+1)^k$. Furthermore, we introduce the new concept of $k$-super-Schreier sets and let $\mathcal{S}_{k,n}$ denote the collection of $k$-super-Schreier sets whose maximum is $n$. We show that the sequence $(|\mathcal{S}_{k,n}|)_{n=1}^\infty$ satisfies a Fibonacci-type recurrence with a remainder term expressible as a polynomial of $n$.