arXiv++ Combinatorics

For a prime $p$ and nonnegative integers $j$ and $n$ let $\vartheta_p(j,n)$ be the number of entries in the $n$-th row of Pascal's triangle that are exactly divisible by $p^j$. Moreover, for a finite sequence $w=(w_{r-1}\cdots w_0)\neq (0,\ldots,0)$ in $\{0,\ldots,p-1\}$ we denote by $\lvert n\rvert_w$ the number of times that $w$ appears as a factor (contiguous subsequence) of the base-$p$ expansion $n=(n_{μ-1}\cdots n_0)_p$ of $n$. It follows from the work of Barat and Grabner (Digital functions and distribution of binomial coefficients, J. London Math. Soc. (2) 64(3), 2001), that $\vartheta_p(j,n)/\vartheta_p(0,n)$ is given by a polynomial $P_j$ in the variables $X_w$, where $w$ are certain finite words in $\{0,\ldots,p-1\}$, and each variable $X_w$ is set to $\lvert n\rvert_w$. This was later made explicit by Rowland (The number of nonzero binomial coefficients modulo $p^α$, J. Comb. Number Theory 3(1), 2011), independently from Barat and Grabner's work, and Rowland described and implemented an algorithm computing these polynomials $P_j$. In this paper, we express the coefficients of $P_j$ using generating functions, and we prove that these generating functions can be determined explicitly by means of a recurrence relation. Moreover, we prove that $P_j$ is uniquely determined, and we note that the proof of our main theorem also provides a new proof of its existence. Besides providing insight into the structure of the polynomials $P_j$, our results allow us to compute them in a very efficient way.

We obtain new combinatorial identities for integral values of binary Krawtchouk polynomials $K^{2m}_p(x)$, $0\le p\le 2m$, by computing the characters of the $p$-exterior representations on certain elements of order 2 of $\mathrm{SO}(2m)$. From this identities, we deduce several new relations for binomial coefficients and Catalan numbers.

We develop a new method for proving algebraic independence of $G$-functions. Our approach rests on the following observation: $G$-functions do not always come with a single linear differential equation, but also sometimes with an infinite family of linear difference equations associated with the Frobenius that are obtained by reduction modulo prime ideals. When these linear difference equations have order one, the coefficients of the $G$-function satisfy congruences reminiscent of a classical theorem of Lucas on binomial coefficients. We use this to derive a Kolchin-like algebraic independence criterion. We show the relevance of this criterion by proving, using p-adic tools, that many classical families of $G$-functions turn out to satisfy congruences "à la Lucas".

Using techniques from the theories of convex polytopes, lattice paths, and indirect influences on directed manifolds, we construct continuous analogues for the binomial coefficients and the Catalan numbers. Our approach for constructing these analogues can be applied to a wide variety of combinatorial sequences. As an application we develop a continuous analogue for the binomial distribution.

In [J. Algebra 452 (2016), 372-389], we characterise when the sequence of free subgroup numbers of a finitely generated virtually free group $Γ$ is ultimately periodic modulo a given prime power. Here, we show that, in the remaining cases, in which the sequence of free subgroup numbers is not ultimately periodic modulo a given prime power, the number of free subgroups of index~$λ$ in $Γ$ is - essentially - congruent to a binomial coefficient times a rational function in $λ$ modulo a power of a prime that divides a certain invariant of the group $Γ$, respectively to a binomial sum involving such numbers. These results, apart from their intrinsic interest, in particular allow for a much more efficient computation of congruences for free subgroup numbers in these cases compared to the direct recursive computation of these numbers implied by the generating function results in [J. London Math. Soc. (2) 44 (1991), 75-94].

The generalization of Archimedes strategy to obtain the area of a parabolic segment leads to combinatorial formulas involving minimal covers of sets. These, in turn, are conjecturally related to $q$-binomial coefficients.

We extend the digital binomial identity as given by Nguyen el al. to an identity in an arbitrary base $b$, by introducing the $b-$ary binomial coefficients. We then study the properties of these coefficients such as orthogonality, a link to Lucas' theorem and the corresponding $b-$ary Pascal triangles.

We propose higher-order generalizations of Jacobsthal's $p$-adic approximation for binomial coefficients. Our results imply explicit formulae for linear combinations of binomial coefficients $\binom{ip}{p}$ ($i=1,2,\dots$) that are divisible by arbitrarily large powers of prime $p$.

By using the Rodriguez-Villegas-Mortenson supercongruences, we prove four supercongruences on sums involving binomial coefficients, which were originally conjectured by Sun. We also confirm a related conjecture of Guo on integer-valued polynomials.

The binomial coefficients and Catalan triangle numbers appear as weight multiplicities of the finite-dimensional simple Lie algebras and affine Kac--Moody algebras. We prove that any binomial coefficient can be written as weighted sums along rows of the Catalan triangle. The coefficients in the sums form a triangular array, which we call the alternating Jacobsthal triangle. We study various subsequences of the entries of the alternating Jacobsthal triangle and show that they arise in a variety of combinatorial constructions. The generating functions of these sequences enable us to define their k-analogue of q-deformation. We show that this deformation also gives rise to interesting combinatorial sequences. The starting point of this work is certain identities in the study of Khovanov--Lauda--Rouquier algebras and fully commutative elements of a Coxeter group.

We define a $q$-deformation of the classical ring of integer-valued polynomials which we call the ring of quantum integer-valued polynomials. We show that this ring has a remarkable combinatorial structure and enjoys many positivity properties: for instance, the structure constants for this ring with respect to its basis of $q$-binomial coefficient polynomials belong to $\mathbb{N}[q]$. We then classify all maps from this ring into a field, extending a known classification in the classical case where $q=1$.

Combinatorial number system represents a non-negative natural numbers as sum of binomial coefficients. This paper presents an induction proof that there exists unique representation of every non-negative natural number $m$ as sum of $r$ binomial coefficients.

Let $p>3$ be a prime and let $a$ be a positive integer. We show that if $p\equiv1\pmod 4$ or $a>1$ then $$\sum_{k=0}^{\lfloor\frac34p^a\rfloor}\frac{\binom{2k}k^2}{16^k}\equivł(\frac{-1}{p^a}\r)\pmod{p^3}$$ with $(-)$ the Jacobi symbol, which confirms a conjecture of Z.-W. Sun. We also establish the following new congruences: \begin{align*}\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k\binom{3k}k}{27^k}\equiv&ł(\frac p3\r)\frac{2^p+1}3\pmod{p^2}, \\\sum_{k=0}^{(p-1)/2}\frac{\binom{6k}{3k}\binom{3k}k}{(2k+1)432^k}\equiv&ł(\frac p3\r)\frac{3^p+1}4\pmod{p^2}, \\\sum_{k=0}^{(p-1)/2}\frac{\binom{4k}{2k}\binom{2k}k}{(2k+1)64^k}\equiv&ł(\frac{-1}p\r)2^{p-1}\pmod{p^2}. \end{align*} Note that in 2003 Rodriguez-Villeguez posed conjectures on $$\sum_{k=0}^{p-1}\frac{\binom{2k}k^2}{16^k},\ \sum_{k=0}^{p-1}\frac{\binom{2k}k\binom{3k}k}{27^k},\ \sum_{k=1}^{p-1}\frac{\binom{4k}{2k}\binom{2k}k}{64^k},\ \sum_{k=1}^{p-1}\frac{\binom{6k}{3k}\binom{3k}k}{432^k}$$ modulo $p^2$ which were later proved.

For a polynomial with palindromic coefficients, unimodality is equivalent to having a nonnegative $g$-vector. A sufficient condition for unimodality is having a nonnegative $γ$-vector, though one can have negative entries in the $γ$-vector and still have a nonnegative $g$-vector. In this paper we provide combinatorial models for three families of $γ$-vectors that alternate in sign. In each case, the $γ$-vectors come from unimodal polynomials with straightforward combinatorial descriptions, but for which there is no straightforward combinatorial proof of unimodality. By using the transformation from $γ$-vector to $g$-vector, we express the entries of the $g$-vector combinatorially, but as an alternating sum. In the case of the $q$-analogue of $n!$, we use a sign-reversing involution to interpret the alternating sum, resulting in a manifestly positive formula for the $g$-vector. In other words, we give a combinatorial proof of unimodality. We consider this a "proof of concept" result that we hope can inspire a similar result for the other two cases, $\prod_{j=1}^n (1+q^j)$ and the $q$-binomial coefficients.

Multiple analogues of certain families of combinatorial numbers are recently constructed by the author in terms of well poised Macdonald functions, and some of their fundamental properties are developed. In this paper, we present combinatorial formulas for the well poised Macdonald functions, the multiple binomial coefficients, the multiple bracket function, and the multiple Catalan and Lah numbers.

Multiple binomial sums form a large class of multi-indexed sequences, closed under partial summation, which contains most of the sequences obtained by multiple summation of products of binomial coefficients and also all the sequences with algebraic generating function. We study the representation of the generating functions of binomial sums by integrals of rational functions. The outcome is twofold. Firstly, we show that a univariate sequence is a multiple binomial sum if and only if its generating function is the diagonal of a rational function. Secondly, we propose algorithms that decide the equality of multiple binomial sums and that compute recurrence relations for them. In conjunction with geometric simplifications of the integral representations, this approach behaves well in practice. The process avoids the computation of certificates and the problem of the appearance of spurious singularities that afflicts discrete creative telescoping, both in theory and in practice.

This article is an extensive study of partitions with fixed number of odd and even-indexed odd parts. We use these partitions to generalize recent results of C. Savage and A. Sills. Moreover, we derive explicit formulas for generating functions for partitions with bounds on the largest part, the number of parts and with a fixed value of BG-rank or with a fixed value of alternating sum of parts. We extend the work of C. Boulet, and as a result, obtain a four-variable generalization of Gaussian binomial coefficients. In addition we provide combinatorial interpretation of the Berkovich-Warnaar identity for Rogers-Szego polynomials.

Every binomial coefficient aficionado knows that the greatest common divisor of the binomial coefficients $\binom n1,\binom n2,\dots,\binom n{n-1}$ equals $p$ if $n=p^i$ for some $i>0$ and equals 1 otherwise. It is less well known that the greatest common divisor of the binomial coefficients $\binom{2n}2,\binom{2n}4,\dots,\binom{2n}{2n-2}$ equals (a certain power of 2 times) the product of all odd primes $p$ such that $2n=p^i+p^j$ for some $0\le i\le j$. This note gives a concise proof of a tidy generalization of these facts.

We generalize previous definitions of Tesler matrices to allow negative matrix entries and negative hook sums. Our main result is an algebraic interpretation of a certain weighted sum over these matrices, which we call the Tesler function. Our interpretation uses a new class of symmetric function specializations which are defined by their values on Macdonald polynomials. As a result of this interpretation, we obtain a Tesler function expression for the Hall inner product $\langle Δ_f e_n, p_{1^{n}}\rangle$, where $Δ_f$ is the delta operator introduced by Bergeron, Garsia, Haiman, and Tesler. We also provide simple formulas for various special cases of Tesler functions which involve $q,t$-binomial coefficients, ordered set partitions, and parking functions. These formulas prove two cases of the recent Delta Conjecture posed by Haglund, Remmel, and the author.

Centrosymmetric involutions in the symmetric group S_{2n} are permutations πsuch that π=π^{-1} and π(i)+π(2n+1-i)=2n+1 for all i, and they are in bijection with involutions of the hyperoctahedral group. We describe the distribution of some natural descent statistics on 321-avoiding centrosymmetric involutions, including the number of descents in the first half of the involution, and the sum of the positions of these descents. Our results are based on two new bijections, one between centrosymmetric involutions in S_{2n} and subsets of {1,...,n}, and another one showing that certain statistics on Young diagrams that fit inside a rectangle are equidistributed. We also use the latter bijection to refine a known result stating that the distribution of the major index on 321-avoiding involutions is given by the q-analogue of the central binomial coefficients.