arXiv++ Combinatorics

In this paper we discuss a class of double sums involving ratios of binomial coefficients. The sums are of the form \[ \sum_{j=0}^{n} \sum_{i=0}^j \frac{\binom{f_1(n)}{i}}{\binom{f_2(n)}{j}}\,c^{i-j}, \] where $f_1, f_2$ are functions of $n$. Such sums appear in the analyses of the Mabinogion urn and the Ehrenfest urn in probability. Using hypergeometric functions, we are able to simplify these sums, and in some cases express them in terms of the harmonic numbers.

The Lucas sequence is a sequence of polynomials in s, and t defined recursively by {0}=0, {1}=1, and {n}=s{n-1}+t{n-2} for n >= 2. On specialization of s and t one can recover the Fibonacci numbers, the nonnegative integers, and the q-integers [n]_q. Given a quantity which is expressed in terms of products and quotients of nonnegative integers, one obtains a Lucas analogue by replacing each factor of n in the expression with {n}. It is then natural to ask if the resulting rational function is actually a polynomial in s and t with nonnegative integer coefficients and, if so, what it counts. The first simple combinatorial interpretation for this polynomial analogue of the binomial coefficients was given by Sagan and Savage, although their model resisted being used to prove identities for these Lucasnomials or extending their ideas to other combinatorial sequences. The purpose of this paper is to give a new, even more natural model for these Lucasnomials using lattice paths which can be used to prove various equalities as well as extending to Catalan numbers and their relatives, such as those for finite Coxeter groups.

In this paper we show that many well-known counting coefficients, including the Catalan numbers, the Motzkin numbers, the central binomial coefficients, the central Delannoy numbers are Hausdorff moment sequences in a unified approach. In particular we answer a conjecture of Liang at al. which such numbers have unique representing measures. The smallest interval including the support of representing measure is explicitly found. Subsequences of Catalan-like numbers are also considered. We provide a necessary and sufficient condition for a pattern of subsequences that if sequences are the Stieltjes Catalan-like numbers, then their subsequences are Stieltjes Catalan-like numbers. Moreover, a representing measure of a linear combination of consecutive Catalan-like numbers is studied.

In this paper, the formal derivative operator defined with respect to context-free grammars is used to prove some properties about binomial coefficients and multifactorial numbers. In addition, we extend the formal derivative operator to matrix grammars and show that multifactorial numbers can also be generated.

We present a decomposition of the generalized binomial coefficients associated with Jack polynomials into two factors: a stem, which is described explicitly in terms of hooks of the indexing partitions, and a leaf, which inherits various recurrence properties from the binomial coefficients and depends exclusively on the skew diagram. We then derive a direct combinatorial formula for the leaf in the special case where the two indexing partitions differ by at most two rows. This formula also exhibits an unexpected symmetry with respect to the lengths of the two rows.

Many combinatorial matrices --- such as those of binomial coefficients, Stirling numbers of both kinds, and Lah numbers --- are known to be totally non-negative, meaning that all minors (determinants of square submatrices) are non-negative. The examples noted above can be placed in a common framework: for each one there is a non-decreasing sequence $(a_1, a_2, \ldots)$, and a sequence $(e_1, e_2, \ldots)$, such that the $(m,k)$-entry of the matrix is the coefficient of the polynomial $(x-a_1)\cdots(x-a_k)$ in the expansion of $(x-e_1)\cdots(x-e_m)$ as a linear combination of the polynomials $1, x-a_1, \ldots, (x-a_1)\cdots(x-a_m)$. We consider this general framework. For a non-decreasing sequence $(a_1, a_2, \ldots)$ we establish necessary and sufficient conditions on the sequence $(e_1, e_2, \ldots)$ for the corresponding matrix to be totally non-negative. As corollaries we obtain totally non-negativity of matrices of rook numbers of Ferrers boards, and of graph Stirling numbers of chordal graphs.

A "truncation" of Pascal's triangle is a triangular array of numbers that satisfies the usual Pascal recurrence but with a boundary condition that declares some terminal set of numbers along each row of the array to be zero. Presented here is a family of natural truncations of Pascal's triangle that generalize a kind of Catalan triangle. The numbers in each array are realized as differences of binomial coefficients, as counts of certain lattice paths and tableaux, and as entries of representing matrices for certain linear transformations of polynomial spaces. Lucas's theorem is applied to determine precisely those truncations for which the number of odd entries on each row is a power of two.

The trinomial transform of a sequence is a generalization of the well-known binomial transform, replacing binomial coefficients with trinomial coefficients. We examine Pascal-like triangles under trinomial transform, focusing on the ternary linear recurrent sequences. We determine the sums and alternating sums of the elements in columns, and we give some examples of the trinomial transform triangle.

We consider the number of partitions of $n$ whose Young diagrams fit inside an $m \times \ell$ rectangle; equivalently, we study the coefficients of the $q$-binomial coefficient $\binom{m+\ell}{m}_q$. We obtain sharp asymptotics throughout the regime $\ell = Θ(m)$ and $n = Θ(m^2)$. Previously, sharp asymptotics were derived by Takács only in the regime where $|n - \ell m /2| = O(\sqrt{\ell m (\ell + m)})$ using a local central limit theorem. Our approach is to solve a related large deviation problem: we describe the tilted measure that produces configurations whose bounding rectangle has the given aspect ratio and is filled to the given proportion. Our results are sufficiently sharp to yield the first asymptotic estimates on the consecutive differences of these numbers when $n$ is increased by one and $m, \ell$ remain the same, hence significantly refining Sylvester's unimodality theorem.

We establish a supercongruence conjectured by Almkvist and Zudilin, by proving a corresponding $q$-supercongruence. Similar $q$-supercongruences are established for binomial coefficients and the Apéry numbers, by means of a general criterion involving higher derivatives at roots of unity. Our methods lead us to discover new examples of the cyclic sieving phenomenon, involving the $q$-Lucas numbers.

We present positivity conjectures for the Schur expansion of Jack symmetric functions in two bases given by binomial coefficients. Partial results suggest that there are rich combinatorics to be found in these bases, including Eulerian numbers, Stirling numbers, quasi-Yamanouchi tableaux, and rook boards. These results also lead to further conjectures about the fundamental quasisymmetric expansions of these bases, which we prove for special cases.

For $n=0,1,2,\ldots$ let $W_n=\sum_{k=0}^{[n/3]}\binom{2k}k \binom{3k}k\binom n{3k}(-3)^{n-3k}$, where $[x]$ is the greatest integer not exceeding $x$. Then $\{W_n\}$ is an Apéry-like sequence. In this paper we deduce many congruences involving $\{W_n\}$, in particular we determine $\sum_{k=0}^{p-1}\binom{2k}k\frac{W_k}{m^k}\pmod p$ for $m=-640332,-5292,-972,-108,-44,-27,-12,8,54,243$ by using binary quadratic forms, where $p>3$ is a prime. We also prove several congruences for generalized Apéry-like numbers, and pose 29 challenging conjectures on congruences involving binomial coefficients and Apéry-like numbers.

The ring of symmetric functions carries the structure of a Hopf algebra. When computing the coproduct of complete symmetric functions $h_λ$ one arrives at weighted sums over reverse plane partitions (RPP) involving binomial coefficients. Employing the action of the extended affine symmetric group at fixed level $n$ we generalise these weighted sums to cylindric RPP and define cylindric complete symmetric functions. The latter are shown to be $h$-positive, that is, their expansions coefficients in the basis of complete symmetric functions are non-negative integers. We state an explicit formula in terms of tensor multiplicities for irreducible representations of the generalised symmetric group. Moreover, we relate the cylindric complete symmetric functions to a 2D topological quantum field theory (TQFT) that is a generalisation of the celebrated $\mathfrak{\widehat{sl}}_n$-Verlinde algebra or Wess-Zumino-Witten fusion ring, which plays a prominent role in the context of vertex operator algebras and algebraic geometry.

Loeb showed that a natural extension of the usual binomial coefficient to negative (integer) entries continues to satisfy many of the fundamental properties. In particular, he gave a uniform binomial theorem as well as a combinatorial interpretation in terms of choosing subsets of sets with a negative number of elements. We show that all of this can be extended to the case of Gaussian binomial coefficients. Moreover, we demonstrate that several of the well-known arithmetic properties of binomial coefficients also hold in the case of negative entries. In particular, we show that Lucas' Theorem on binomial coefficients modulo $p$ not only extends naturally to the case of negative entries, but even to the Gaussian case.

This (partly expository) paper originated from the study of Hankel determinants of convolution powers of Catalan numbers and of Narayana polynomials. This led to some Hankel determinants of signed Catalan numbers whose values are multiples of Fibonacci numbers and to some Hankel determinants of signed central binomial coefficients whose values are multiples of Lucas numbers. Most proofs are computational but we also include a combinatorial one due to Christian Krattenthaler. Finally we formulate some conjectures.

Exponential sums have applications to a variety of scientific fields, including, but not limited to, cryptography, coding theory and information theory. Closed formulas for exponential sums of symmetric Boolean functions were found by Cai, Green and Thierauf in the late 1990's. Their closed formulas imply that these exponential sums are linear recursive. The linear recursivity of these sums has been exploited in numerous papers and has been used to compute the asymptotic behavior of such sequences. In this article, we extend the result of Cai, Green and Thierauf, that is, we find closed formulas for exponential sums of symmetric polynomials over any Galois fields. Our result also implies that the recursive nature of these sequences is not unique to the binary field, as they are also linear recursive over any finite field. In fact, we provide explicit linear recurrences with integer coefficients for such sequences. As a byproduct of our results, we discover a link between exponential sums of symmetric polynomials over Galois fields and a problem for multinomial coefficients which similar to the problem of bisecting binomial coefficients.

We pursue the investigation of generalizations of the Pascal triangle based on binomial coefficients of finite words. These coefficients count the number of times a finite word appears as a subsequence of another finite word. The finite words occurring in this paper belong to the language of a Parry numeration system satisfying the Bertrand property, i.e., we can add or remove trailing zeroes to valid representations. It is a folklore fact that the Sierpiński gasket is the limit set, for the Hausdorff distance, of a convergent sequence of normalized compact blocks extracted from the classical Pascal triangle modulo $2$. In a similar way, we describe and study the subset of $[0, 1] \times [0, 1]$ associated with the latter generalization of the Pascal triangle modulo a prime number.

The $q$-analogue of the binomial coefficient, known as a $q$-binomial coefficient, is typically denoted $\left[{n \atop k}\right]_q$. These polynomials are important combinatorial objects, often appearing in generating functions related to permutations and in representation theory. Stanley conjectured that the function $f_{k,R}(n) = \#\left\{i : [q^{i}] \left[{n \atop k}\right]_q \equiv R \pmod{N}\right\}$ is quasipolynomial for $N=2$. We generalize, showing that this is in fact true for any integer $N\in \mathbb{N}$ and determine a quasi-period $π'_N(k)$ derived from the minimal period $π_N(k)$ of partitions with at most $k$ parts modulo $N$.

The Gaussian polynomial in variable $q$ is defined as the $q$-analog of the binomial coefficient. In addition to remarkable implications of these polynomials to abstract algebra, matrix theory and quantum computing, there is also a combinatorial interpretation through weighted lattice paths. This interpretation is equivalent to weighted board tilings, which can be used to establish Gaussian polynomial identities. In particular, we prove duals of such identities and evaluate related sums.

We give elementary proofs for the Apagodu-Zeilberger-Stanton-Amdeberhan-Tauraso congruences $$\sum\limits_{n=0}^{p-1}\dbinom{2n}{n} \equivη_{p}\mod p^{2},$$ $$\sum\limits_{n=0}^{rp-1}\dbinom{2n}{n} \equivη_{p}\sum\limits_{n=0}^{r-1}\dbinom {2n}{n}\mod p^{2}$$ and $$\sum\limits_{n=0}^{rp-1}\sum\limits_{m=0}^{sp-1}\dbinom{n+m}{m}^{2} \equivη_{p} \sum\limits_{m=0}^{r-1}\sum\limits_{n=0}^{s-1}\dbinom{n+m}{m}^2\mod p^2,$$ where $p$ is an odd prime, $r$ and $s$ are nonnegative integers, and $η_{p}= \begin{cases} 0, &\text{if }p\equiv0\mod 3;\\ 1, & \text{if }p\equiv1\mod 3;\\ -1, &\text{if }p\equiv2\mod 3 \end{cases}.$$