arXiv++ Combinatorics

We provide elementary proof of several congruences involving single sum and multisums of binomial coefficients.

The goal of this paper is to introduce and study noncommutative Catalan numbers $C_n$ which belong to the free Laurent polynomial algebra in $n$ generators. Our noncommutative numbers admit interesting (commutative and noncommutative) specializations, one of them related to Garsia-Haiman $(q,t)$-versions, another -- to solving noncommutative quadratic equations. We also establish total positivity of the corresponding (noncommutative) Hankel matrices $H_m$ and introduce accompanying noncommutative binomial coefficients.

The family of lattice simplices in $\mathbb{R}^n$ formed by the convex hull of the standard basis vectors together with a weakly decreasing vector of negative integers include simplices that play a central role in problems in enumerative algebraic geometry and mirror symmetry. From this perspective, it is useful to have formulae for their discrete volumes via Ehrhart $h^\ast$-polynomials. Here we show, via an association with numeral systems, that such simplices yield $h^\ast$-polynomials with properties that are also desirable from a combinatorial perspective. First, we identify $n$-simplices in this family that associate via their normalized volume to the $n^{th}$ place value of a positional numeral system. We then observe that their $h^\ast$-polynomials admit combinatorial formula via descent-like statistics on the numeral strings encoding the nonnegative integers within the system. With these methods, we recover ubiquitous $h^\ast$-polynomials including the Eulerian polynomials and the binomial coefficients arising from the factoradic and binary numeral systems, respectively. We generalize the binary case to base-$r$ numeral systems for all $r\geq2$, and prove that the associated $h^\ast$-polynomials are real-rooted and unimodal for $r\geq2$ and $n\geq1$.

We count the number of distinct (scattered) subwords occurring in the base-b expansion of the non-negative integers. More precisely, we consider the sequence $(S_b(n))_{n\ge 0}$ counting the number of positive entries on each row of a generalization of the Pascal triangle to binomial coefficients of base-$b$ expansions. By using a convenient tree structure, we provide recurrence relations for $(S_b(n))_{n\ge 0}$ leading to the $b$-regularity of the latter sequence. Then we deduce the asymptotics of the summatory function of the sequence $(S_b(n))_{n\ge 0}$.

We introduce a generalization of Pascal triangle based on binomial coefficients of finite words. These coefficients count the number of times a word appears as a subsequence of another finite word. Similarly to the Sierpiński gasket that can be built as the limit set, for the Hausdorff distance, of a convergent sequence of normalized compact blocks extracted from Pascal triangle modulo $2$, we describe and study the first properties of the subset of $[0, 1] \times [0, 1]$ associated with this extended Pascal triangle modulo a prime $p$.

Many digital functions studied in the literature, e.g., the summatory function of the base-$k$ sum-of-digits function, have a behavior showing some periodic fluctuation. Such functions are usually studied using techniques from analytic number theory or linear algebra. In this paper we develop a method based on exotic numeration systems and we apply it on two examples motivated by the study of generalized Pascal triangles and binomial coefficients of words.

This paper is about counting the number of distinct (scattered) subwords occurring in a given word. More precisely, we consider the generalization of the Pascal triangle to binomial coefficients of words and the sequence $(S(n))_{n\ge 0}$ counting the number of positive entries on each row. By introducing a convenient tree structure, we provide a recurrence relation for $(S(n))_{n\ge 0}$. This leads to a connection with the $2$-regular Stern-Brocot sequence and the sequence of denominators occurring in the Farey tree. Then we extend our construction to the Zeckendorf numeration system based on the Fibonacci sequence. Again our tree structure permits us to obtain recurrence relations for and the F-regularity of the corresponding sequence.

We prove that, for all positive integers $n_1, \ldots, n_m$, $n_{m+1}=n_1$, and non-negative integers $j$ and $r$ with $j\leqslant m$, the following two expressions \begin{align*} &\frac{1}{[n_1+n_m+1]}{n_1+n_{m}\brack n_1}^{-1}\sum_{k=0}^{n_1} q^{j(k^2+k)-(2r+1)k}[2k+1]^{2r+1}\prod_{i=1}^m {n_i+n_{i+1}+1\brack n_i-k},\\[5pt] &\frac{1}{[n_1+n_m+1]}{n_1+n_{m}\brack n_1}^{-1}\sum_{k=0}^{n_1}(-1)^k q^{{k\choose 2}+j(k^2+k)-2rk}[2k+1]^{2r+1}\prod_{i=1}^m {n_i+n_{i+1}+1\brack n_i-k} \end{align*} are Laurent polynomials in $q$ with integer coefficients, where $[n]=1+q+\cdots+q^{n-1}$ and ${n\brack k}=\prod_{i=1}^k(1-q^{n-i+1})/(1-q^i)$. This gives a $q$-analogue of some divisibility results of sums and alternating sums involving binomial coefficients and powers of integers obtained by Guo and Zeng. We also confirm some related conjectures of Guo and Zeng by establishing their $q$-analogues. Several conjectural congruences for sums involving products of $q$-ballot numbers $\left({2n\brack n-k}-{2n\brack n-k-1}\right)$ are proposed in the last section of this paper.

We continue to investigate combinatorial properties of functions $f_m$ and $c_m$ considered in our previous papers. They depend on an initial arithmetic function $f_0$. In this paper, the values of $f_0$ are the binomial coefficients. We first consider the case when the values of $f_0$ are the binomial coefficients from a row of the Pascal triangle. The values of $f_0$ consider next are the binomial coefficients from a diagonal of the Pascal triangle. In two final cases, the values of $f_0$ are the central binomial coefficients and its adjacent neighbors. In each case, we derive an explicit formula for $c_1(n,k)$ and give its interpretation in terms of restricted words. In the first two cases, we also consider the functions $f_m$ and $c_m$, for $(m>0)$.

In 1947 Nathan Fine gave a beautiful product for the number of binomial coefficients $\binom{n}{m}$, for $m$ in the range $0 \leq m \leq n$, that are not divisible by $p$. We give a matrix product that generalizes Fine's formula, simultaneously counting binomial coefficients with $p$-adic valuation $α$ for each $α\geq 0$. For each $n$ this information is naturally encoded in a polynomial generating function, and the sequence of these polynomials is $p$-regular in the sense of Allouche and Shallit. We also give a further generalization to multinomial coefficients.

A vector composition of a vector $\mathbf{\ell}$ is a matrix $\mathbf{A}$ whose rows sum to $\mathbf{\ell}$. We define a weighted vector composition as a vector composition in which the column values of $\mathbf{A}$ may appear in different colors. We study vector compositions from different viewpoints: (1) We show how they are related to sums of random vectors and (2) how they allow to derive formulas for partial derivatives of composite functions. (3) We study congruence properties of the number of weighted vector compositions, for fixed and arbitrary number of parts, many of which are analogous to those of ordinary binomial coefficients and related quantities. Via the Central Limit Theorem and their multivariate generating functions, (4) we also investigate the asymptotic behavior of several special cases of numbers of weighted vector compositions. Finally, (5) we conjecture an extension of a primality criterion due to Mann and Shanks in the context of weighted vector compositions.

An identity of Chung, Graham and Knuth involving binomial coefficients and Eulerian numbers motivates our study of a class of polynomials that we call binomial-Eulerian polynomials. These polynomials share several properties with the Eulerian polynomials. For one thing, they are $h$-polynomials of simplicial polytopes, which gives a geometric interpretation of the fact that they are palindromic and unimodal. A formula of Foata and Schützenberger shows that the Eulerian polynomials have a stronger property, namely $γ$-positivity, and a formula of Postnikov, Reiner and Williams does the same for the binomial-Eulerian polynomials. We obtain $q$-analogs of both the Foata-Schützenberger formula and an alternative to the Postnikov-Reiner-Williams formula, and we show that these $q$-analogs are specializations of analogous symmetric function identities. Algebro-geometric interpretations of these symmetric function analogs are presented.

We study the generating function for overpartitions with bounded differences between largest and smallest parts, which is analogous to a result of Breuer and Kronholm on integer partitions. We also connect this problem with over $q$-binomial coefficients introduced by Dousse and Kim.

We prove two new forms of Jacobi-type J-fraction expansions generating the binomial coefficients, $\binom{x+n}{n}$ and $\binom{x}{n}$, over all $n \geq 0$. Within the article we establish new forms of integer congruences for these binomial coefficient variations modulo any (prime or composite) $h \geq 2$ and compare our results with existing known congruences for the binomial coefficients modulo primes $p$ and prime powers $p^k$. We also prove new exact formulas for these binomial coefficient cases from the expansions of the $h^{th}$ convergent functions to the infinite J-fraction series generating these coefficients for all $n$.

This work presents a study of perturbations of symmetric Boolean functions. In particular, it establishes a connection between exponential sums of these perturbations and Diophantine equations of the form $$ \sum_{l=0}^n \binom{n}{l} x_l=0,$$ where $x_j$ belongs to some fixed bounded subset $Γ$ of $\mathbb{Z}$. The concepts of trivially balanced symmetric Boolean function and sporadic balanced Boolean function are extended to this type of perturbations. An observation made by Canteaut and Videau for symmetric Boolean functions of fixed degree is extended. To be specific, it is proved that, excluding the trivial cases, balanced perturbations of fixed degree do not exist when the number of variables grows. Some sporadic balanced perturbations are presented. Finally, a beautiful but unexpected identity between perturbations of two very different symmetric Boolean functions is also included in this work.

In a previous paper, we studied an overpartition analogue of Gaussian polynomials as the generating function for overpartitions fitting inside an $m \times n$ rectangle. Here, we add one more parameter counting the number of overlined parts, obtaining a two-parameter generalization $\overline{m+n \brack n}_{q,t}$ of Gaussian polynomials, which is also a $(q,t)$-analogue of Delannoy numbers. First we obtain finite versions of classical $q$-series identities such as the $q$-binomial theorem and the Lebesgue identity, as well as two-variable generalizations of classical identities involving Gaussian polynomials. Then, by constructing involutions, we obtain an identity involving a finite theta function and prove the $(q,t)$-log concavity of $\overline{m+n \brack n}_{q,t}$. We particularly emphasize the role of combinatorial proofs and the consequences of our results on Delannoy numbers. We conclude with some conjectures about the unimodality of $\overline{m+n \brack n}_{q,t}$.

We show that, for all positive integers $n_1, \ldots, n_m$, $n_{m+1}=n_1$, and any non-negative integers $j$ and $r$ with $j\leqslant m$, the expression $$ \frac{1}{[n_1]}{n_1+n_{m}\brack n_1}^{-1} \sum_{k=1}^{n_1}[2k][k]^{2r}q^{jk^2-(r+1)k}\prod_{i=1}^{m} {n_i+n_{i+1}\brack n_i+k} $$ is a Laurent polynomial in $q$ with integer cofficients, where $[n]=1+q+\cdots+q^{n-1}$ and ${n\brack k}=\prod_{i=1}^k(1-q^{n-i+1})/(1-q^i)$. This gives a $q$-analogue of a divisibility result on the Catalan triangle obtained by the first author and Zeng, and also confirms a conjecture of the first author and Zeng. We further propose several related conjectures.

Let $G$ be a finite, simple, connected graph. An arithmetical structure on $G$ is a pair of positive integer vectors $\mathbf{d},\mathbf{r}$ such that $(\mathrm{diag}(\mathbf{d})-A)\mathbf{r}=0$, where $A$ is the adjacency matrix of $G$. We investigate the combinatorics of arithmetical structures on path and cycle graphs, as well as the associated critical groups (the cokernels of the matrices $(\mathrm{diag}(\mathbf{d})-A)$). For paths, we prove that arithmetical structures are enumerated by the Catalan numbers, and we obtain refined enumeration results related to ballot sequences. For cycles, we prove that arithmetical structures are enumerated by the binomial coefficients $\binom{2n-1}{n-1}$, and we obtain refined enumeration results related to multisets. In addition, we determine the critical groups for all arithmetical structures on paths and cycles.

In this paper, we gave some properties of binomial coefficient.

Generalized Pascal matrix whose elements are generalized binomial coefficients is included in the group of generalized Riordan arrays. There is a special set of generalized Riordan arrays defined by parameter $q$. If $q=0$, they are ordinary Riordan arrays, if $q=1$, they are exponential Riordan arrays. In other cases, except $q=-1$, they are arrays associated with the $q$-binomial coefficients as well as the exponential Riordan arrays are associated with the ordinary binomial coefficients. Case $q=-1$ does not fit into the concept of generalized Riordan arrays, but it is necessary to expand for it. Introduced a special class of matrices, each of which is a limiting case of a certain set of generalized Pascal matrices. It is shown that every such matrix included in the matrix group similar to the generalized Riordan group.