arXiv++ Combinatorics

We prove the three symmetric Kanade-Russell identities modulo nine.

Ramanujan's modular equations of degrees $3$, $5$, $7$, $11$ and $23$ are closely related to certain theta function identities. Warnaar generalized the identities arising from the modular equations of degrees $3$ and $7$ to a general theta function identity. Kim subsequently obtained a further general theta function identity associated with the modular equations of degrees $5$, $11$ and $23$, and established several general theta function identities containing known partition theorems as special cases. In this paper, we present an elementary approach to Kim's general theta function identities, yielding $q$-series proofs of these identities within a common framework.

We develop an algebraic framework for the quasi-modularity of symmetric multiple $q$-zeta values. We identify natural classes of symmetric quasi-shuffles whose $q$-zeta values exhaust the algebra of level-one quasi-modular forms, and further classes whose $q$-zeta values are quasi-modular forms of finite level. We also obtain explicit symmetrization formulas and relate symmetric quasi-shuffles to symmetric and quasisymmetric functions.

We prove that, for every positive integer $n$, the polynomial $C_0+C_1x+\cdots+C_nx^n$ is irreducible over $\mathbb{Q}$, where $C_k$ denotes the $k$th Catalan number.

The subset $A = \{a_i:i \in I\}$ of a normed vector space is a $B_h$-set if every element of the sumset $hA$ has a unique representation as a sum of $h$ elements of $A$. Let $\varepsilon = \{\varepsilon_i:i \in I\}$ be a set of positive real numbers. An $\varepsilon$-perturbation of $A$ is a set $A' = \{a'_i:i\in I\}$ such that $|a_i'-a_i|<\varepsilon_i$ for all $i \in I$. Let $Δ_{hA} = \inf\{|x'-x| : x,x' \in hA \text{ and } x\neq x'\}$. It is proved that if $A$ is finite or countably infinite set with $Δ_{hA}>0$, then there is a $B_h$-set $A'$ that is an $\varepsilon$-perturbation of $A$.

We investigate the properties of matrices obtained from a geometric transformation of the first $N$ rows of Pascal's triangle. For $N > 2$, their congruence properties form a \emph{Pascal tiling}, that is, a perfect alternation between entries congruent to $0 \pmod{N}$ and the others, if and only if $N$ is prime. This result yields an alternative proof of the classical congruence $L_N-1\equiv 0 \pmod{N}$ for prime $N$, where $L_N$ denotes the $N$th Lucas number. Within the framework of the \emph{Pascal tiling theorem}, this congruence can be expressed as a sum of entries lying along a diagonal of one of the matrices under consideration; when $N$ is prime, each of these entries is congruent to $0 \pmod{N}$. By contrast, for Fibonacci pseudoprimes, the sum remains congruent to $0 \pmod{N}$ while at least one of its terms is not. Finally, these results are interpreted in terms of decompositions of binomial coefficients and extended to multinomial coefficients, leading to a study of the associated symmetries. This perspective highlights the case where $N$ is a prime power and clarifies the conditions under which a Pascal tiling arises.

Recently, Kang, Kim, and Lee \cite{Kang2026} developed a unified moment-trace framework for symmetric partition statistics using complete Bell polynomials and their inversion formula. In this paper, we apply this framework to crank statistics for $t$-core partitions and overpartitions. For $t\in\{5,7,11,17,19\}$, we show that the normalized even crank moment generating functions for $t$-core partitions admit partition-trace representations in terms of the functions $D^{(t)}_{2s}(τ)$, together with suitable Bernoulli-number shifts. We also establish inverse trace formulas that recover $D^{(t)}_{2s}(τ)$ from the corresponding normalized even crank moments. For overpartitions, we obtain analogous trace and inverse-trace identities for the normalized even moments associated with the first and second residual crank generating functions. As applications, we use complete Bell polynomials and their inversion formula to obtain explicit expressions for the $t$-core partition numbers and overpartitions number in terms of sums involving divisor function.

For each integer $n\geq 1$, let $N(n)$ denote the number of distinct subsets of $\{2,\ldots,n+1\}$ obtained by choosing one forbidden residue class modulo each integer from $2$ to $n$; this is OEIS sequence A396595 (https://oeis.org/A396595). Equivalently, $N(n)$ is the initial-restriction complexity of the family of global residue-profile survivor sequences. We derive a closed formula, depending on the parity of $n$, for the number of locally distinct residue profiles, and an exact inclusion--exclusion formula for profiles realizing a prescribed survivor set. We prove that $\log N(n)$ has order $n/\log n$, with any possible leading constant between $\log 2$ and $2\log 2$. For prime traces, the logarithm of their number is asymptotic to $(\log 2)n/\log n$. Our main comparison theorem shows that $N(n)$ is exponentially equivalent to the block complexity of prime-admissible subsets of an interval of length $n$. The combinatorial component of the private composite coordinates argument used in the comparison theorem is formalized in Lean 4/Mathlib. We also establish an exact structural recurrence, characterize extendibility by a residue-class covering criterion, and give a dynamic enumeration algorithm. As further illustrations of the model, we exhibit purely periodic global profiles generating prime-valued survivor sequences for which we have not identified corresponding OEIS entries.

Kanade and Russell initiated a family of conjectural Rogers--Ramanujan type identities of moduli $9$ and $12$, which ultimately comprised five modulo $9$ identities and eleven modulo $12$ identities. The eleven modulo $12$ conjectures were subsequently settled through the work of Bringmann, Jennings-Shaffer, and Mahlburg and of Rosengren. In this paper, we prove all five modulo $9$ Kanade--Russell sum-product identities, four individual generalized Nahm-sum dual identities, and a product formula for the natural dual companion of the fifth Kanade--Russell identity, which is expressed as a linear combination of two negative-mixed-term generalized Nahm sums. The first three individual dual identities settle Conjecture~3.6 of Wang and Wang, while the fourth proves the corresponding conjecture of Li and Wang. Our results also connect directly with the recent Dynkin-diagram framework of Sun and Wang for generalized Nahm sums. They identified the rank-two pairs $(T_1,G_2)$ and $(G_2,T_1)$ as unresolved cases whose modularity would follow, respectively, from the first modulo $9$ Kanade--Russell identity and its Wang-Wang dual. The present results prove precisely these two required identities and hence establish the corresponding modularity statements unconditionally.

Let \(p(n)\) denote the ordinary partition function. Motivated by analogous questions concerning Euler's totient function and its complementary counting function, we study the range of the partition-derived sequence \(p(n)-n\). We give combinatorial interpretations of this sequence and investigate both the attained and omitted positive integers. We obtain exact and asymptotic information about the gaps between consecutive attained values and show that the range is remarkably sparse: its counting function has order \((\log x)^2\), and consequently the range has natural density zero. We also extend the discussion to partitions whose Durfee square has side at least a fixed positive integer.

Let $(a_n)_{n\geq0}$ be a sequence of complex numbers, and define \[ b_n=\sum_{k=0}^n \binom{n}{k} a_k, \qquad c_n=\sum_{k=0}^n \binom{n}{k}(-1)^{n-k}a_k. \] Let $β>1$, put $α=\sqrt{β^2-1}$, and suppose that $b_n,c_n=O(β^n)$. Mashreghi and Ransford proved that \[ \limsup_{n\to\infty}\frac{|a_n|}{α^n} \leq κ\left(\limsup_{n\to\infty}\frac{|b_n|}{β^n}\right)^{\!1/2}\! \left(\limsup_{n\to\infty}\frac{|c_n|}{β^n}\right)^{\!1/2} \] with a universal constant satisfying $2/\sqrt{3} \leq κ\leq2$. We prove that the optimal constant is indeed $κ=2/\sqrt{3}$. The proof, which uses exponential generating functions, Phragmén-Lindelöf estimates, and Cauchy's formula, is compared to the classical one of Mashreghi and Ransford.

We ask how small an increasing integer model of a finite real set can be while preserving all equalities between equal-length sums of at most $q$ elements, with repetitions allowed. The increasing correspondence must preserve exactly which sums are equal; the signs of unequal comparisons may change. Let $H_m(q)$ be the least diameter sufficient for every ordered real set of size $m$. For every integer $q\ge2$ we prove $H_4(q)=q(q+1)$ and $H_5(q)=q^2(q+1)$, and we determine $H_6(2)=24$. The proofs use the linear space determined by the additive equalities and the inequalities prescribing the order of the elements. They also give bounds for larger sets, determine the first two asymptotic terms for each fixed $m\ge4$, and yield further families of sharp examples. An application bounds the integer alphabets needed to realize finite additive-square-free spectra. The supplementary data support the finite six-element classification.

We study the asymptotically maximal possible number of integer solutions to the linear equation $ax+by+cz = 0$ with a fixed choice of $a, b, c \in \mathbb{Z}$ and variables $x, y, z \in S$ for some finite set $S\subset \mathbb{Z}$, as $|S|\to +\infty$. Define $γ_{a, b, c}$ to be the largest constant for which there are arbitrary large finite sets $S\subset \mathbb{Z}$ such that the number of solutions to $ax+by+cz=0$ with $x,y,z\in S$ is $γ_{a,b,c}|S|^2-o(|S|^2)$. We prove structural results for general $a, b, c$ and moreover, we show that $5/13\le γ_{1,1,-3}\le 1/2-δ$ for some constant $δ>0$. In addition we show that the limit as $a \rightarrow \infty$ of $γ_{1,1,-a}$ is equal to precisely $1/5$.

Let $a(n)$ be the sequence A158690 in the On-Line Encyclopedia of Integer Sequences (OEIS), defined by the exponential generating function $\sum_{n\ge0} a(n)t^n/n! = 1+\sum_{m\ge1}\prod_{j=1}^m(1-e^{-(2j-1)t})$. We prove two congruence conjectures of Peter Bala. The first states that, for every integer $k\ge1$, the sequence $a(n)$ modulo $k$ is eventually periodic with period dividing $\varphi(k)$. We prove the stronger statement that the Carmichael function $λ(k)$ is an eventual period. The second conjecture asserts the shifted Gauss congruences $a(np^r+i)\equiv a(np^{r-1}+i)\pmod{p^r}$ for every $i\ge0$, every prime $p$, and all $n,r\ge1$. Both results follow from a general theorem for exponential generating functions of the form $G(e^t-1)$ with $G\in\mathbb Z[[y]]$, together with the standard power-sum formula for Stirling numbers of the second kind.

We establish five families of integer-parameter extensions of Ramanujan's partial theta identities. The families follow from a common two-parameter specialization of Andrews' transformation, for which we give an independent proof based on a $q$-difference recurrence and a boundary estimate. Specializations of the integer parameter recover six identities from Ramanujan's lost notebook. As an application, a residue argument applied to the fifth family gives an integer-parameter extension of Lovejoy's residual identity, from which we construct a corresponding family of conjugate Bailey pairs.

We study external difference families arising from cyclotomic classes in finite fields from the viewpoint of a fixed number of blocks. For families consisting of even-indexed cyclotomic classes, the EDF condition can be expressed in terms of relations among cyclotomic numbers. We first study the two-block case and recover a classical characterization in terms of quadratic forms. Our main result shows that, for a prime $p=12k+1$, the family $\{C_0^6,C_2^6,C_4^6\}$ forms an EDF in $\mathbb{F}_p$ if and only if $k$ is a square. The proofs combine symmetry relations of cyclotomic numbers with their explicit evaluations.

Fix $k\ge 3$, and let $f_k(N)$ be the largest harmonic sum of a subset of $[N]$ containing no $k$ distinct integers with a common pairwise least common multiple. We prove that $f_k(N)=(\log N)^{γ_k+o(1)}$ for a well-defined exponent $γ_k\in(0,1]$. Following the weighted-pressure idea of Chojecki, we give a self-contained proof of variational formulas for $γ_k$ in terms of weighted sunflower-free families. We then eliminate the continuous weight: if $M_k(n,r)$ is the largest size of an $r$-uniform $k$-cosunflower-free family on $[n]$, then \[ γ_k=\sup_{n\ge1,\ 1\le r\le n}\frac{r}{en}M_k(n,r)^{1/r}. \] This finite-block formula yields a direct transfer principle from uniform set-system constructions, recovers the Tang--Zhang bounds, and gives $0.438899\ldots<γ_3\le0.889881\ldots$.

Let $p_j$ be the prime with index $j$. We prove that the ratios $m/n$ for which $p_m+p_n$ is a square are dense in $\mathbb R_{>0}$. The same is true when $|p_m-p_n|$ is a square. In every nonempty open interval, almost every index can be used as a numerator and as a denominator. We also give a quantitative lower bound for the number of possible partners.

For a positive integer $n$, put $A_d=\{id:1\le i\le\lfloor n/d\rfloor\}$ for $1\le d\le n$ and $B_d=\{id:1\le i\le n\}$ for $d\in\mathbb{N}$. For $D\subseteq\{1,\ldots,n\}$, let $m_D(n)$ be the minimum length of an integer interval containing pairwise disjoint shifted copies of $A_d$ for all $d\in D$. For a finite set $E\subseteq\mathbb{N}$, define $M_E(n)$ analogously using $B_e$, $e\in E$. Let $\mathcal{P}(x)=\{p\le x:p\text{ is prime}\}$. We prove $m_{\mathcal{P}(\sqrt n)}(n)=\left(\frac43+o(1)\right)\frac{n^{3/2}}{\ln n}$ and $M_{\mathcal{P}(n)}(n)=\left(\frac16+o(1)\right)\frac{n^3}{\ln n}$ as $n\to\infty$. These asymptotic formulas attain the known lower bounds and settle two conjectures of Alon, Dębski, Grytczuk and Przybyło concerning prime differences. The proof combines a cyclic phase-selection principle with lattice covering estimates and a decomposition into regular blocks of primes.

In this paper, we revisit the work of Berkovich and Paule on variants of the Andrews-Gordon identities. We find a generalization of their principal polynomial identity and, as a consequence, obtain new $\vec M$ versions of the Andrews-Gordon identities. More precisely, for non-negative integers $M_1\ge M_2\ge M_3\ge\ldots\ge M_ν$, we show that a broad class of multi-sums of the form $$ \sum\limits_{\mathbf n} \frac{ q^{ N_1^2+\cdots+N_ν^2 - M_1N_1 - M_2N_2 - \cdots - M_νN_ν} }{ (q)_{n_1}(q)_{n_2}\cdots(q)_{n_ν} } $$ can be expressed as a sum of products. Above, we use standard notations for $q$-Pochhammer symbols and $N_i = \sum\limits_{k=i}^νn_k$ for $1\le i\le ν$.