arXiv++ Combinatorics

A palindromic composition of $n$ is a composition of $n$ which can be read the same way forwards and backwards. In this paper we define an anti-palindromic composition of $n$ to be a composition of $n$ which has no mirror symmetry amongst its parts. We then give a surprising connection between the number of anti-palindromic compositions of $n$ and the so-called tribonacci sequence, a generalization of the Fibonacci sequence. We conclude by defining a new q-analogue of the Fibonacci sequence, which is related to certain equivalence classes of anti-palindromic compositions

We prove a new Fermionic quasiparticle sum expression for the character of the Ising model vertex algebra, related to the Jackson-Slater $q$-series identity of Rogers-Ramanujan type and to Nahm sums for the matrix $\left( \begin{smallmatrix} 8 & 3 \\ 3 & 2 \end{smallmatrix} \right)$. We find, as consequences, an explicit monomial basis for the Ising model, and a description of its singular support. We find that the ideal sheaf of the latter, defining it as a subscheme of the arc space of its associated scheme, is finitely generated as a differential ideal. We prove three new $q$-series identities of the Rogers-Ramanujan-Slater type associated with the three irreducible modules of the Virasoro Lie algebra of central charge $1/2$. We give a combinatorial interpretation to the identity associated with the vacuum module.

We study combinatorics of billiard partitions which arose recently in the description of periodic trajectories of ellipsoidal billiards in d-dimensional Euclidean and pseudo-Euclidean spaces. Such partitions uniquely codify the sets of caustics, up to their types, which generate periodic trajectories. The period of a periodic trajectory is the largest part while the winding numbers are the remaining summands of the corresponding partition. In order to take into account the types of caustics as well, we introduce weighted partitions. We provide closed forms for the generating functions of these partitions.

We study the number $p(n,t)$ of partitions of $n$ with difference $t$ between largest and smallest parts. Our main result is an explicit formula for the generating function $P_t(q) := \sum_{n \ge 1} p(n,t) \, q^n$. Somewhat surprisingly, $P_t(q)$ is a rational function for $t>1$; equivalently, $p(n,t)$ is a quasipolynomial in $n$ for fixed $t>1$. Our result generalizes to partitions with an arbitrary number of specified distances.

We prove several power series identities involving the refined generating function of interval orders, as well as the refined generating function of the self-dual interval orders. These identities may be expressed as $\sum_{n\ge 0}(1/p;1/q)_n= \sum_{n\ge 0} pq^n(p;q)_n(q;q)_n$ and $\sum_{n\ge 0} (-1)^n(1/p;1/q)_n= \sum_{n\ge 0} pq^n(p;q)_n(-q;q)_n =\sum_{n\ge 0} (q/p)^n(p;q^2)_n$, where the equalities apply to the (purely formal) power series expansions of the above expressions at $p=q=1$, as well as at other suitable roots of unity.

The Jacobi-Stirling numbers were discovered as a result of a problem involving the spectral theory of powers of the classical second-order Jacobi differential expression. Specifically, these numbers are the coefficients of integral composite powers of the Jacobi expression in Lagrangian symmetric form. Quite remarkably, they share many properties with the classical Stirling numbers of the second kind which, as shown in LW, are the coefficients of integral powers of the Laguerre differential expression. In this paper, we establish several properties of the Jacobi-Stirling numbers and its companions including combinatorial interpretations thereby extending and supplementing known contributions to the literature of Andrews-Littlejohn, Andrews-Gawronski-Littlejohn, Egge, Gelineau-Zeng, and Mongelli.

We investigate a relationship between MacMahon's generalized sum-of-divisors functions and Chebyshev polynomials of the first kind. This determines a recurrence relation to compute these functions, as well as proving a conjecture of MacMahon about their general form by relating them to quasi-modular forms. These functions arise as solutions to a curve-counting problem on Abelian surfaces.

We study M(n), the number of distinct values taken by multinomial coefficients with upper entry n, and some closely related sequences. We show that both pP(n)/M(n) and M(n)/p(n) tend to zero as n goes to infinity, where pP(n) is the number of partitions of n into primes and p(n) is the total number of partitions of n. To use methods from commutative algebra, we encode partitions and multinomial coefficients as monomials.

By applying a recent construction of free Baxter algebras, we obtain a new class of Hopf algebras that generalizes the classical divided power Hopf algebra. We also study conditions under which these Hopf algebras are isomorphic.

We prove a new four parameter q-hypergeometric series identity from which the three parameter key identity for the Goellnitz theorem due to Alladi, Andrews, and Gordon, follows as a special case by setting one of the parameters equal to 0. The new identity is equivalent to a four parameter partition theorem which extends the deep theorem of Goellnitz and thereby settles a problem raised by Andrews thirty years ago. Some consequences including a quadruple product extension of Jacobi's triple product identity, and prospects of future research are briefly discussed.

We present a new identity involving compositions (i.e. ordered partitions of natural numbers). The Formula has its origin in complex dynamical systems and appears when counting, in the polynomial family $\{f_c:z \mapsto z^d + c \}$, periodic critical orbits with equivalent itineraries. We give two different proofs of the identity; one following the original approach in dynamics and another with purely combinatorial methods.

Our object is a thorough analysis of the WP-Bailey tree, a recent extension of classical Bailey chains. We begin by observing how the WP-Bailey tree naturally entails a finite number of classical q-hypergeometric transformation formulas. We then show how to move beyond this closed set of results and in the process we explicate heretofore mysterious identities of D. Bressoud. Next, we use WP-Bailey pairs to provide a new proof of recent formula of A. Kirillov. Finally, we discuss the relation between our approach and that of W. Burge.

We announce a new four parameter partition theorem from which the (big) theorem of Gollnitz follows by setting any one of the parameters equal to 0. This settles a problem of Andrews who asked whether there exists a result that goes beyond the partition theorem of Gollnitz. We state a four parameter q-series identity (key identity) which is the generating function form of this theorem. In a subsequent paper, the proof of the new four parameter key identity will be given.

We study the combinatorics of ad-nilpotent ideals of a Borel subalgebra of $sl(n+1,\Bbb C)$. We provide an inductive method for calculating the class of nilpotence of these ideals and formulas for the number of ideals having a given class of nilpotence. We study the relationships between these results and the combinatorics of Dyck paths, based upon a remarkable bijection between ad-nilpotent ideals and Dyck paths. Finally, we propose a (q,t)-analogue of the Catalan number $C_n$. These (q,t)-Catalan numbers count on the one hand ad-nilpotent ideals with respect to dimension and class of nilpotence, and on the other hand admit interpretations in terms of natural statistics on Dyck paths.

Using new $q$-functions recently introduced by Hatayama et al. and by (two of) the authors, we obtain an A_2 version of the classical Bailey lemma. We apply our result, which is distinct from the A_2 Bailey lemma of Milne and Lilly, to derive Rogers-Ramanujan-type identities for characters of the W_3 algebra.