arXiv++ Combinatorics

Let $(a_n)_{n\geqslant 0}$ be a sequence of integers. Its dual sequence $(a_n^*)_{n\geqslant 0}$ is defined by \begin{equation*} a_n^* := \sum_{k=0}^{n} \binom{n}{k}(-1)^k a_k. \end{equation*} Let $p>3$ be a prime. In this paper we mainly investigate congruences modulo $p^2$ involving central binomial coefficients and $p$-adic dual sequences. For example, we prove that for any sequence $(a_k)_{k\ge0}$ of $p$-adic integers, \begin{align*} \sum^{(p-1)/2}_{k=0}\binom{2k}{k}^2\frac{a_{2k}}{16^k}\equiv\left( \frac{-1}{p}\right) \sum_{k=0}^{p-1}\frac{\mathcal{P}_{k}}{16 ^{k}}a_{k}^*\pmod{p^2}, \end{align*} where $(\mathcal{P}_n)_{n\ge0}$ are the Catalan--Larcombe--French numbers given by \begin{equation*} \mathcal{P}_0=1,\quad \mathcal{P}_1=8, \quad n^2 \mathcal{P}_n = 8(3n^2-3n+1)\mathcal{P}_{n-1}-128(n-1)^2\mathcal{P}_{n-2} \quad (n\ge2). \end{equation*} We also establish a new formula for $\sum_{k=0}^{(p-1)/2}\binom{2k}{k}a_{2k}^*/4^k \pmod{p^2}$ and as a consequence we confirm some conjectures of Z.-W. Sun \cite{Sun2014CANT} on the generalized central trinomial coefficients $T_{2k}(b,c)$, i.e., the coefficient of $x^{2k}$ in $(x^2+bx+c)^{2k}$, where $b,c$ are integers.

For any $n\in\mathbb{N}=\{0,1,2,\ldots\}$ and $b,c\in\mathbb{C}$, the $n$-th generalized central trinomial coefficient is defined as the constant term in the Laurent expansion of $(b+x+cx^{-1})^n$. In this paper, utilizing the constant term method and generating functions, we prove a parametric congruence concerning generalized central trinomial coefficients. As applications, we confirm several conjectures of Z.-W. Sun.

For a finite set $A$ of positive integers, let $H(A)$ be its set of subset sums, including the empty sum, and let $g_k(n)$ be the least $N$ for which some $n$-element set $A\subseteq[N]$ has $H(A)$ free of nonconstant $k$-term arithmetic progressions. The problem of determining $g_k(n)$ was posed by Erdős and Sárkőzy. In the three-term case, we prove a lower bound equal to the exact bandwidth of the ternary grid. If $T_m=[x^m](1+x+x^2)^m$ is the central trinomial coefficient, then \[ g_3(n)\ge \frac{T_n-1}{2}+\sum_{j=0}^{n-1}T_j =\left(\frac{\sqrt{3}}{2\sqrtπ}+o(1)\right)\frac{3^n}{\sqrt{n}}. \] For general $k \ge 4$ we show \[ g_k(n)\gg_k \left(\frac{k-1}{k-2}\right)^n n^{-\log_2((k-1)/(k-2))} \] In the opposite direction, a carry-free digit construction based on nearly-regular graphs gives \[ \limsup_{n\to\infty}g_k(n)^{1/n} \le \min_{p\ \mathrm{prime},\ p\ge3}p^{2/(\min\{p,k\}-1)}. \] Consequently, as $k\to\infty$, the logarithm of the lower exponential rate is at least $(1+o(1))/k$, while the logarithm of the upper exponential rate is at most $(2+o(1))\log k/k$.

The Kleshchev multipartitions arise in the representation theory for the Ariki-Koike algebras. In previous work, Li, Stanton, Xue, Yee, and the author considered a refined enumeration for the $2$-dimensional case, namely, the Kleshchev bipartitions, by invoking the $2$-residue statistic for partitions. In this paper, we make further elaboration by bounding the largest part of the bipartitions and show that the related counting functions are connected with two families of $q$-trinomial coefficients introduced by Andrews and Baxter.

In this paper we address the well-known problem of counting the number of $3n$-letter words that can be formed from a three-letter alphabet by decomposing it into four possible cases based on its remainder when divided by three. The solution to the problem also gives us some sums of trinomial coefficients.

A Catalan word of length $n$ that avoids the pattern $(\geq, \geq)$ is a sequence $w=w_1\cdots w_n$ with $w_1=0$ and $0\leq w_i\leq w_{i-1}+1$ for all $i$, while ensuring that no subsequence satisfies $w_i \geq w_{i+1}\geq w_{i+2}$ for $i=2,\ldots,n$. These words are enumerated by the $n$-th Motzkin number. From such a word, we associate a $n$-column Motzkin polyomino (called a $(\geq,\geq)$-polyomino), where the $i$-th column contains $w_i+1$ bottom-aligned cells. In this paper, we derive generating functions for $(\geq,\geq)$-polyominoes based on their length, area, semiperimeter, last symbol value, and number of interior points. We provide asymptotic analyses and closed-form expressions for the total area, total semiperimeter, sum of the last symbol values, and total number of interior points across all $(\geq,\geq)$-polyominoes of a given length. Finally, we express all these results as linear combinations of trinomial coefficients.

We give a formula for the density of $0$ in the sequence of generalized Motzkin numbers, $M^{a, b}_n$, modulo a prime, $p$, in terms of the first $p$ generalized central trinomial coefficients $T^{a, b}_n\bmod p$ (with $n<p$). We apply our method to various other sequences to obtain similar formulas. We also prove that $T^{a, b}_{p-1-n}\equiv (b^2-4a^2)^{\frac{p-1}{2}-n}T^{a, b}_n\pmod p$ to obtain tight lower bounds for the density of $0$ in our sequences. This symmetry of the first $p$ central trinomial coefficients mod $p$ also appears in a couple of other applications, including the proof of a novel symmetry of the first $p-2$ Motzkin numbers that is of independent interest: $M^{a, b}_{p-3-n}\equiv (b^2-4a^2)^{\frac{p-3}{2}-n}M^{a, b}_n\pmod p$.

Many famous integer sequences including the Catalan numbers and the Motzkin numbers can be expressed in the form $ConstantTermOf\left[P(x)^nQ(x)\right]$ for Laurent polynomials $Q$, and symmetric Laurent trinomials $P$. In this paper we characterize the primes for which sequences of this form are uniformly recurrent modulo $p$. For all other primes, we show that $0$ has density $1$. This will be accomplished by showing that the study of these sequences mod $p$ can be reduced to the study of the generalized central trinomial coefficients, which are well-behaved mod $p$.

Hou and Liu developed a telescoping method to prove the congruence of partial sums of P-recursive sequences. We release the requirement on the telescoper and utilize the congruence of the sequence. With this approach, we are able to confirm a conjecture of Sun and find a new congruence on the central trinomial coefficient.

The divisibility and congruence of usual and generalized central trinomial coefficients have been extensively investigated. The present paper is devoted to analytic properties of these numbers. We show that usual central trinomial polynomials $T_n(x)$ have only real roots, and roots of $T_n(x)$ interlace those of $T_{n+1}(x)$, as well as those of $T_{n+2}(x)$, which gives an affirmative answer to a open question of Fisk. We establish necessary and sufficient conditions such that the generalized central trinomial coefficients $T_n(b,c)$ form a log-convex sequence or a Stieltjes moment sequence.

A sequence $a=(a_n)_{n=1}^\infty$ of non-negative integers is called realizable if there is a self-map $T:X\to X$ on a set $X$ such that $a_n$ is equal to the number of periodic points of $T$ in $X$ of (not necessarily exact) period $n$, for all $n\geq1$. The sequence $a$ is called almost realizable if there exists a positive integer $m$ such that $(ma_n)_{n=1}^\infty$ is realizable. In this article, we show that certain wide classes of integer sequences are realizable, which contain many famous combinatorial sequences, such as the sequences of Apéry numbers of both kinds, central Delannoy numbers, Franel numbers, Domb numbers, Zagier numbers, and central trinomial coefficients. We also show that the sequences of Catalan numbers, Motzkin numbers, and large and small Schröder numbers are not almost realizable.

In 1987, Andrews and Baxter introduced six kinds of $q$-trinomial coefficients in exploring the solution of a model in statistical mechanics. In this paper, we give some $q$-supercongruences for the truncated forms of these polynomials.

Let $M_n$ and $T_n$ denote the $n$th Motzkin number and the $n$th central trinomial coefficient respectively. We prove that for any prime $p\ge 5$, \begin{align*} &\sum_{k=0}^{p-1}M_k^2\equiv \left(\frac{p}{3}\right)\left(2-6p\right)\pmod{p^2},\\ &\sum_{k=0}^{p-1}kM_k^2\equiv \left(\frac{p}{3}\right)\left(9p-1\right)\pmod{p^2},\\ &\sum_{k=0}^{p-1}T_kM_k\equiv \frac{4}{3}\left(\frac{p}{3}\right)+\frac{p}{6}\left(1-9\left(\frac{p}{3}\right)\right)\pmod{p^2}, \end{align*} where $\left(-\right)$ is the Legendre symbol. These results confirm three 12-year-old supercongruence conjectures of Z.-W. Sun.

We study divisibility for the $q$-trinomial coefficients $τ_0(n,m,q)$, $T_0(n,m,q)$ and $T_1(n,m,q)$, which were first introduced by Andrews and Baxter. In particular, we completely determine $τ_0(an,bn,q)$, $T_0(an,bn,q)$ and $T_1(an,bn,q)$ modulo the square of the cyclotomic polynomial $Φ_n(q)$ for $(a,b)=(m,m-1)$.

In this paper, we present several new congruences on the $q$-trinomial coefficients introduced by Andrews and Baxter. A new congruence on sums of central $q$-binomial coefficients is also established.

We consider the sequence of integers whose $n$th term has base-$p$ expansion given by the $n$th row of Pascal's triangle modulo $p$ (where $p$ is a prime number). We first present and generalize well-known relations concerning this sequence. Then, with the great help of Sloane's On-Line Encyclopedia of Integer Sequences, we show that it appears naturally as a subsequence of a $2$-regular sequence. Its study provides interesting relations and surprisingly involves odious and evil numbers, Nim-sum and even Gray codes. Furthermore, we examine similar sequences emerging from prime numbers involving alternating sum-of-digits modulo~$p$. This note ends with a discussion about Pascal's pyramid involving trinomial coefficients.

We establish a congruence on sums of central $q$-binomial coefficients. From this $q$-congruence, we derive the divisibility of the $q$-trinomial coefficients introduced by Andrews and Baxter.

We present a formula that expresses the Hankel determinants of a linear combination of length $d+1$ of moments of orthogonal polynomials in terms of a $d\times d$ determinant of the orthogonal polynomials. This formula exists somehow hidden in the folklore of the theory of orthogonal polynomials but deserves to be better known, and be presented correctly and with full proof. We present four fundamentally different proofs, one that uses classical formulae from the theory of orthogonal polynomials, one that uses a vanishing argument and is due to Elouafi [J. Math. Anal. Appl. 431} (2015), 1253-1274] (but given in an incomplete form there), one that is inspired by random matrix theory and is due to Brézin and Hikami [Comm. Math. Phys. 214 (2000), 111-135], and one that uses (Dodgson) condensation. We give two applications of the formula. In the first application, we explain how to compute such Hankel determinants in a singular case. The second application concerns the linear recurrence of such Hankel determinants for a certain class of moments that covers numerous classical combinatorial sequences, including Catalan numbers, Motzkin numbers, central binomial coefficients, central trinomial coefficients, central Delannoy numbers, Schröder numbers, Riordan numbers, and Fine numbers.

For each $n=0,1,2,\ldots$ the central trinomial coefficient $T_n$ is the coefficient of $x^n$ in the expansion of $(x^2+x+1)^n$. In 2016 the second author conjectured that for any prime $p>3$ and positive integer $n$ the quotient $(T_{pn}-T_n)/(pn)^2$ is a $p$-adic integer. In this paper we confirm this conjecture and prove further that $$\frac{T_{pn}-T_n}{(pn)^2}\equiv\frac{T_{n-1}}6\left(\frac p3\right)B_{p-2}\left(\frac13\right)\pmod p,$$ where $(\frac p3)$ is the Legendre symbol and $B_{p-2}(x)$ is the Bernoulli polynomial of degree $p-2$.

For any $n\in\mathbb{N}=\{0,1,2,\ldots\}$ and $b,c\in\mathbb{Z}$, the generalized central trinomial coefficient $T_n(b,c)$ denotes the coefficient of $x^n$ in the expansion of $(x^2+bx+c)^n$. Let $p$ be an odd prime. In this paper, we determine the summation $\sum_{k=0}^{p-1}T_k(b,c)^2/m^k$ modulo $p^2$ for integers $m$ with certain restrictions. As applications, we confirm some conjectural congruences of Sun [Sci. China Math. 57 (2014), 1375--1400].