arXiv++ Combinatorics

We study real numbers defined by multidimensional automatic arrays weighted by multiplicatively independent bases. Let $a_1, \dots, a_r\geq 2$ be integers such that $\log a_1, \dots, \log a_r$ are $\mathbb Q$-linearly independent. Given bounded automatic sequences $(p_n(i))_{n\geq 0}$ with $i=1, \dots , r$ and a function $f:\mathbb Z^r\rightarrow \mathbb Z$, we consider the associated series $α= \sum_{n_1,\dots,n_r \geq 0} \frac{f(p_{n_1}(1),\dots,p_{n_r}(r))}{a_1^{n_1}\cdots a_r^{n_r}}$. Using combinatorial properties of automatic sequences and Schmidt's Subspace Theorem, we prove that $α$ is either rational or transcendental. This extends a result of Adamczewski and Bugeaud to the multidimensional setting.

In the preceding decade, Andrews and Newman resurrected the concept of a `minimal excludant' of a partition ($mex$, for short), namely, the least positive missing integer in a partition. Subsequently, several authors have not only studied its generalizations, analogues and the like but also connected the mex to several important partition statistics. In the present paper, we study the set of missing positive integers as a whole, in two different classes of partitions, namely, unrestricted partitions and overpartitions. To be precise, a $missing \ integer$ is a positive integer that is less than the largest part of a partition and which does not occur as a part. In particular, we examine the number of partitions with a given number of missing integers, determine congruences for two pairs of functions associated to them, and propose three bias type inequality conjectures for these functions.

Let $d(\cdot)$ denote the natural density on the positive integers. We characterize all sets $A,B$ with positive density satisfying $d(A+B)=d(A)+d(B)$, under the assumption that the two sets are not both contained in a proper finite union of residue classes. This gives a new inverse theorem for Kneser's sumset inequality in the integers, and provides a partial answer to a long-standing open question of Erdős and Graham.

The Cohn-Elkies linear programming (LP) bound for sphere packing is known to be sharp in dimensions 8 and 24 but in no other dimension above 2. We investigate why by examining three independent necessary conditions for LP sharpness, drawn from number theory, lattice theory, and conformal field theory. The first condition, dim S_{d/2}(SL_2(Z)) <= 1, bounds the freedom in theta series and rules out all d >= 48. The second, derived from Cohn and Triantafillou's dual LP obstruction via cusp forms for the congruence subgroup Gamma_0(2), explains why LP sharpness fails in dimensions 16 and 32 despite the first condition being satisfied. The third, via the Hartman-Mazac-Rastelli correspondence between LP bounds and the modular bootstrap for Narain conformal field theories, reinterprets LP sharpness as the existence of an extremal CFT. We formulate a conjecture that these three conditions are equivalent for d congruent to 0 mod 8, and observe that the Bost-Connes quantum statistical system provides a natural algebraic framework in which all three perspectives are connected through the Hecke algebra.

In this work we develop exact formulas to the number of solutions of $ax+by+cz=n$ in some special cases. In 2020, Binner gave a formula for the number of non negative integer solutions, $N(a,b,c;n)$ in non-negative integer pairs $(x,y,z),$ of the equation $ax+by+cz=n$ assuming that $a,b,c$ and $n$ are natural numbers. However, his formula was in summations of floor functions. Moreover, he gave a reciprocity relation to solve these sums by generalising the Gauss reciprocity relation. Until now no exact formula has been found to solve these sums. We notice that these sums can be completely solved in some special cases, which lead us to find the number of solutions of the above equation in case of Fibonacci and Lucas triplets. In other words; If $a,b\ and\ c$ are chosen to be three consecutive Fibonacci or Lucas numbers then we determine the exact formula to the number of non-negative integer solutions $(x,y,z)$ of the equation $F_ix+F_{i+1}y+F_{i+2}z=n$ and $L_ix+L_{i+1}y+L_{i+2}z=n$ where i is fixed.

We give a quintet of proofs resulting from questions posed by Erdős. These questions concern ordinary lines in planar point sets, sequences with uniformly small exponential sums, $K_4$-free $4$-critical graphs with few chords in any cycle, a counterexample to a "fewnomial" version of the Erdős--Turán discrepancy bound, and a finiteness theorem for integers $n$ such that $n-a k^2$ is prime for all $k\leq \sqrt{n/a}$ coprime to $n$ (for fixed $a\in\mathbb Z_+$). Each proof is due to an internal model at OpenAI.

Graph theory provides powerful tools for modeling concepts in number theory, leading to the introduction of graphs derived from arithmetic properties. One such structure is the divisor prime graph, $G_{Dp(n)}$. For any positive integer $n$, let $D(n)$ be the set of its positive divisors. The vertex set of $G_{Dp(n)}$ consists of the elements of $D(n)$, with the adjacency condition that two vertices $x$ and $y$ share an edge if and only if their greatest common divisor is $1$. The primary focus of this study is to evaluate the topological characteristics of $G_{Dp(n)}$. To achieve this, we analyze and compute various distance and degree-based indices, specifically focusing on the Wiener, Harary, hyper-Wiener, First and Second Zagreb, Schultz, Gutman, and Eccentric connectivity indices.

We say a natural number $n$ is matchable if there is a bijection from the set of $τ(n)$ divisors of $n$ to the set $\{1,2,\dots,τ(n)\}$, where corresponding numbers are relatively prime. We show that the set of matchable numbers has an asymptotic density, which we compute, and we show that every squarefree number is matchable. We also present some related unsolved problems.

A Hilbert cube of dimension $d$ is the set of integers \[ H(a_{0}; a_{1}, \ldots, a_{d})=a_{0}+\{0, a_{1}\}+\cdots+\{0, a_{d}\}=\left\{a_{0}+\sum_{i=1}^{d}\varepsilon_{i}a_{i}:\;\varepsilon_{i}\in\{0,1\}\right\}. \] Brown, Erdős and Freedman asked whether the maximal dimension of a Hilbert cube in the set $\cal{S}=\{n^2:\;n\in\mathbb{N}\}$ of integer squares is absolutely bounded or not. Dietmann and Elsholtz proved that if $H(a_{0}; a_{1}, \ldots, a_{d})\subset \cal{S}\cap [0, N]$, then $d\leq 7 \log\log N$ for all sufficiently large values of $N$. Here we prove that there exist at least $\gg N^{1/8}$ Hilbert cubes $H(a_{0}; a_{1}, a_{2}, a_{3})$ with $a_{0}, a_{1}, a_{2}, a_{3}\in [0,N]$ in the set of squares. Moreover, we prove that for each $i, j\in\{0, 1, 2, 3\}$ with $i<j$, the set $$ \left\{\frac{a_{i}}{a_{j}}:\;H(a_{0}; a_{1}, a_{2}, a_{3})\subset S\right\} $$ is dense in the set of positive real numbers (in the Euclidean topology).

This article derives full asymptotic expansions for integrals of the form \[ \int_{0}^{1}f(u)(1+q\cdot u^{n})^{w/n}du \] as $n\rightarrow\infty$, with parameters real $w\neq 0$ and $q\in(-1,1]$, or positive $w$ for $q=-1$. We relate the coefficients of the asymptotic expansions to Nielsen's generalized polylogarithms. For $q=-1$, we obtain an expansion in terms of multiple zeta values, which in this setting, reduce to ordinary zeta values. A key point is that for $q=1$, the integrals typically produce alternating multiple zeta values; we formulate a precise symmetry constraint on the relevant coefficient sequence under which all coefficients reduce to polynomials in ordinary zeta values. We also translate this symmetry into a statement about a binomial transform, and we verify the condition for several classical Appell-type families, like Euler, Bernoulli, Genocchi, and Hermite. Finally, we obtain precise results about the convergence of norms of random variables.

We introduce the study of \textit{randomly oriented divisor graphs}. For each $ρ\in [0,1]$, the randomly oriented divisor graph $\mathcal{D}_ρ(N)$ is obtained from the divisor graph on $\{1, 2, \ldots, N\}$ by directing each edge according to divisibility and independently reversing the direction of each edge with probability $ρ$. We study the expected size of the largest strongly connected component, $\textbf{E}[\#Φ(\mathcal{D}_ρ(N))]$. Our main result gives a lower bound for this quantity in terms of the distribution of values of the divisor function $τ(n)$. As a consequence, we show that for any fixed $ρ\in (0,1)$, the largest strongly connected component has expected size asymptotic to $N$. To obtain explicit bounds, we prove an effective version of a theorem of Hardy and Ramanujan on the normal order of $\log τ(n)$, which may be of independent interest.

For every subset $A$ of a semigroup $S$, let $A^h$ be the set of all products of $h$ elements of $S$. If $(A)_{q\in Q}$ is a family of subsets of $S$, then $A = \bigcap_{q \in Q} A_q$ satisfies $A^h \subseteq \bigcap_{q \in Q} A_q^h$. The product intersection set $H(A_q) = \left\{h \in \mathbf{N}: A^h = \bigcap_{q \in Q} A_q^h \right\}$ is investigated.

Let $p$ be a prime, let $q=p^n$, and let $D\subseteq \mathbb{F}_q^\ast$. A celebrated result of Carlitz and McConnel states that if $D$ is a proper subgroup of $\mathbb{F}_q^\ast$, and $f:\mathbb{F}_q\to\mathbb{F}_q$ is a function such that $(f(x)-f(y))/(x-y)\in D$ for all $x\neq y$, then $f$ must be of the form $f(x)=ax^{p^j}+b$. In this paper, we extend their result to the setting where $D$ is a union of cosets of a fixed subgroup of $\mathbb{F}_q^\ast$, under a mild assumption. In a similar spirit, we also investigate maximum cliques in related Cayley graphs over finite fields, strengthening several results of Blokhuis, Sziklai, and Asgarli and Yip.

Answering a question of Leo Versteegen, we prove that for $n\ge 3$ every sum-free set $A\subseteq\mathbb{F}_5^n$ with $|A|\ge 28\cdot 5^{n-3}$ is either contained in the union of two parallel hyperplanes, or isomorphic to $Λ\times \mathbb{F}_5^{n-3}$, where $Λ\subseteq \mathbb{F}_5^3$ denotes a certain sum-free set of size $28$ discovered by Vsevolod Lev and Leo Versteegen.

Generalized bent (gbent) functions from an $n$-variable Boolean space to $\mathbb{Z}_{2^k}$ are central in cryptography and sequence design. Instead of the usual binary decomposition, we introduce a $2^\ell$-adic representation, for $k=\ell r$, writing such functions as linear combinations of $r$ component functions valued in $\mathbb{Z}_{2^\ell}$. We prove a general result on overconstrained character sums over finite abelian groups: under a common-argument hypothesis, sequences with two-level Fourier magnitude spectra must be extremely sparse, with a conditional extension to multi-level spectra. As an application, we derive consequences for generalized plateaued functions under suitable assumptions. We then show that if $f:\mathbb{F}_2^n\to\mathbb{Z}_{2^k}$ is landscape, then under the $2^\ell$-adic decomposition every function in a certain affine space over $\mathbb{Z}_{2^\ell}$ is again landscape with the same Walsh magnitudes. This gives an unconditional necessity result, with no structural assumptions on $f$, together with a complete characterization using only a small subset of these maps. For generalized bent and generalized plateaued functions, sufficiency is also obtained from linear combinations of lower components under natural assumptions; a counterexample shows these assumptions are essential. Our method reduces verification for landscape functions from $2^{2^{k-1}}$ checks to fewer than $2^{k-\ell+1}+1$ conditions; for gbent functions this drops to a single basis function under the common-argument hypothesis, and for generalized plateaued functions, under additional assumptions, to $2^{k-\ell}$ checks. The $2^\ell$-adic framework also preserves key properties, including duality and differential uniformity.

Andrews and the third author recently studied congruences for certain restricted two-color partitions. They made two conjectures for Ramanujan-type congruences and a vanishing identity for the limiting sequence. In this paper, we settle these conjectures by relating the corresponding generating function to modular forms and mock theta functions.

Using generalized binomial coefficient identities and some results of John Dougall, we derive some families of series involving the cubes of Catalan numbers. We also establish a family of series containing fourth powers of Catalan numbers. Finally, we find a generalization of the Bauer series for $1/π$ and obtain some Ramanujan-like series for $1/π^2$ and~$1/π^3$.

A folklore conjecture states that the Nahm sum associated with a pair of Dynkin diagrams of type $ADET$ is a modular function. In this paper, we extend this conjecture to Dynkin diagrams of type $ABCDEFGT$ in the context of generalized Nahm sums. The modular Nahm sums are closely related to the characters of 2d rational conformal field theories. In this work, we identify many specific generalized Nahm sums with characters of some well-studied 2d CFTs. For example, we find that the generalized Nahm sums associated with $(T_1, C_r)$ and $(T_1,D_r)$ correspond to the supersymmetric Virasoro minimal models $\mathrm{SM}(4r+6, 4)$ and $\mathrm{SM}(8r+4, 2)$, respectively.

We give a triplet of short proofs, each of which answers a question raised by Erdős. The first concerns the small prime factors of $\binom{n}{k}$, the second concerns whether an additive basis $A$ can always be split into pieces $A_1$ and $A_2$ such that each of $A_i + A_i$ has bounded gaps, and the final concerns whether $\{αp\}$ is "well-distributed" in the sense introduced by Hlawka and Petersen. In each case, the proof is due entirely to an internal model at OpenAI.

We prove that the perturbed Hofstadter-type sequence Q(1)=1, Q(2)=1, and Q(n)=Q(n-Q(n-1))+Q(n-Q(n-2))+(-1)^n is well-defined for all n>=1, in the sense that all recursive arguments remain positive. This contrasts with the classical Hofstadter Q-sequence, for which global well-definedness remains open. The proof reduces the infinite recursion to a finite combinatorial constraint system. We introduce a symbolic encoding of local configurations, compute the finite set of admissible contexts, and construct a compatibility relation that captures all valid local transitions. We then show that valid assignments split into two global modes, which reduces all potential obstructions to a finite critical core. A complete finite verification excludes these obstructions and establishes global well-definedness. More generally, the argument shows that certain meta-Fibonacci recursions admit a finite-state description whose global consistency can be decided by exhaustive combinatorial analysis.