arXiv++ Combinatorics

Let $d\geq 2$ and $k\geq 1$ be fixed. We prove that, for every $ε>0$ and every real $β$, there exist integers $1\leq b_1,\ldots,b_k\leq N$ such that \[ \left\|\sum_{j=1}^k b_j^{1/d}-β\right\| \ll_{d,k,ε} N^{-k/d+ε}. \] The proof combines Schmidt's Subspace Theorem with an explicit inhomogeneous transference argument. This improves Iyer's (2025) higher-root exponent $(k-d+1)/d^2$, and also the analogous $d$-ary full-basis exponent away from the cases where $k+1$ is a power of $d$, at the cost of ineffectivity. We also record a conjectural uniform exponent $k-1/d$. In the square-root case $d=2$, we give explicit integer-target constructions for $k=2,3,4$ attaining this conjectural value.

Let $\mathbb{F}_q$ denote the finite field of order $q$. For $q$ odd, we investigate the planarity over $\mathbb{F}_{q^3}$ of the family $$ f_{E,A,B,C,D}(X) := EX^2+ AX^{q+1}+ BX^{q^2+1}+CX^{2q} +DX^{2q^2}\in \mathbb{F}_{q}[X]. $$ Using results from the theory of q-polynomials, we establish conditions under which these polynomials are planar functions. In particular, we provide characterizations for the planarity property and present new families of planar trinomials, quadrinomials, and pentanomials.

This paper considers the properties of Tribonacci numbers on identities, matrices, and determinants. In the first front part, we obtain several symmetric identities of Tribonacci numbers by a matrix-based approach and binomial inversion technique. In the core section of the latter half, we present a determinant representation of Tribonacci numbers in a slightly modified Toeplitz--Hessenberg form derived from Bell polynomials.

For a full-rank integral lattice $\mathcal{L}\subset\mathbb{R}^n$, Regev and Stephens-Davidowitz proved that \[N_{=k}(\mathcal{L}):=|\{y\in\mathcal{L}:\lVert y\rVert^2=k\}|\le 2\binom{n+2k-2}{2k-1}.\] We classify the equality cases. For $n\ge2$, equality holds if and only if either $k=1$ and $\mathcal{L}\cong\mathbb{Z}^n$, or $n=8$, $k=2$, and $\mathcal{L}\cong E_8$. For $n=1$, equality holds exactly when $\mathcal{L}$ represents $k$. The proof shows that equality is rigid. Saturation of the shell bound forces the normalized norm-$k$ shell to be an antipodal tight spherical $(4k-1)$-design. The associated Delsarte--Goethals--Seidel annihilator polynomial gives an arithmetic root condition, which isolates $E_8$ at $k=2$, rules out $k=3$, and combines with the Bannai--Damerell/Bannai theorem and an elementary circle argument to exclude all remaining cases in dimension at least $2$.

Let $K$ be a number field, and $\varphi_{1},\ldots,\varphi_{g}\in K(t)$ be finitely many rational maps, each of degree at least $2$. We first show that for generic finite sets $\mathcal{A}_{1},\ldots,\mathcal{A}_{g}$ consisting entirely of points that are not $\varphi_{i}$-periodic, there exists a set of primes $\mathfrak p$ of $K$ of positive density such that for each $\mathcal{A}_{i}$ and every $α\in\mathcal{A}_i$, $α$ is not $\varphi_i$-periodic modulo $\mathfrak p$. The notion of genericity used here is defined in terms of the associated arboreal fields and is sharper than those previously used in the literature. Leveraging our proof in the generic case, we then show that the same conclusion holds for most \textit{expected} cases of non-generic sets $\mathcal{A}_{i}$. Finally, we apply our result to confirm the dynamical Mordell--Lang conjecture for coordinate-wise actions of a class of maps that includes rational maps that are generic in this sense.

For a split graph $S$, the combinatorics of 2-switches on $S$ is faithfully encoded by the factor graph $Φ(S)$, a multigraph whose induced cycles have length at most $4$. In this paper we address the following question: for which $n \in \mathbb{N}$ is there a split graph $S$ whose factor graph contains an $n$-simple triangle, that is, a triangle all of whose edges have multiplicity $n$? We show that the answer is governed by a purely arithmetic condition, the $Δ$ property, relating the differences and sums of complementary divisors of $n$, and thereby establish a two-way bridge between Graph Theory and Number Theory.

A graph-theoretic analogue of Iwasawa theory, initiated by Gonet and Vallières, has attracted considerable interest in the study of Iwasawa invariants. On the other hand, for a pair of prime numbers $(r,\ell)$, one obtains a graph, called the supersingular $\ell$-isogeny graph (SIG), whose adjacency matrix has eigenvalues given by the $\ell$-th Fourier coefficients of the weight 2 Eisenstein series and newforms of level $r$. In this paper, we fix prime numbers $r$ and $p$, and let $\ell$ vary over infinitely many primes. We then investigate the distribution of the Iwasawa $λ$-invariants of the constant $\mathbf{Z}_p$-towers over the SIGs, thereby revealing connections among graph theory, Iwasawa theory, elliptic curves, and the Galois representations attached to newforms. At the end of this paper, we propose a conjecture concerning the Galois orbits of newforms.

Given a point set $S$ in a projective plane $Π_q$ of order $q$, each line $\ell$ determines a secant size $|S\cap \ell|$. We study how balanced the secant-size distribution can be for the line set $\mathcal{L}$ of the plane, in other words, how many lines must share the same secant size. We show that $\min_{ S\subseteq Π_q} \max_k |\{\ell\in \mathcal{L}: |\ell\cap S|=k\}|=Θ(q^{3/2}).$ This shows a large contrast with the case of real projective (or affine) plane, where $\max_{k>1} |\{\ell\in~ \mathcal{L}: |\ell\cap S|=k\}|$ is always at least the third of $|\{\ell\in \mathcal{L}: |\ell\cap S|>1\}|$. We also discuss explicit constructions in addition to randomized point sets, that are asymptotically close to be optimal, and point out a link between the constructions and character-sum estimates. Finally, we explore the relation between balanced secant size distributions and legitimate colorings, studied by Alon and Füredi, and prove a result that might resemble the Erdős-Faber-Lovász conjecture.

Let $q$ be an odd prime power, let $n\ge 2$, and let $V\subsetneq \mathbb F_{q^n}$ be a proper $\mathbb F_q$-vector subspace. Given a nonzero quadratic form $Q(X,Y)\in \mathbb F_{q^n}[X,Y]$, we consider the graph $Γ(Q,V)$ that naturally arises from the condition $Q(X,Y)\in V$. We determine all quadratic forms $Q$ for which $Γ(Q,V)$ is undirected for every $V$. Besides the case $Q(x,y)=XY$, studied earlier by the second author, this essentially leads to the forms $X^2\pm Y^2$ and the family $Q_b(X, Y):=X^2+bXY+Y^2, b\ne 0$. We then study connectedness and clique number for the corresponding graphs. Our results reveal a clear contrast between these cases. The graphs $Γ(X^2\pm Y^2, V)$ are well structured, disconnected and their clique number can be as large as $\# V$. On the other hand, the family $Q_b$ seems to yield less structured graphs: the graphs are connected (in fact, of diameter $2$) if $\# V\ge q^{3n/4}$ and, in many cases, their clique number is $o(\# V)$. Our proofs are mainly based on character sums, while requiring a few algebraic and combinatorial ideas. We end the paper with some open problems and remarks, including a short discussion of the complementary case where $q$ is even.

We show that there are sets of $n$ points in the plane with $n$ arbitrarily large that contain more than $n^{1.014}$ pairs of points separated by a distance exactly $1$. This improves on very recent work of a team at OpenAI, who proved the same result with an inexplicit exponent greater than $1$, drastically improving on the best previous lower bound and disproving a conjecture of Erdős. The method is number-theoretic, relying on constructing algebraic number fields of large degree and small discriminant with many primes of small norm via a Golod-Shafarevich criterion argument.

We present a short, digested, human-verified version of the recent OpenAI-generated counterexample to the Erdős unit distance conjecture, and a sequence of reflections on it. The argument relies crucially on ideas that may, at least in retrospect, be attributed to Ellenberg-Venkatesh, Golod-Shafarevich, and Hajir-Maire-Ramakrishna.

In this note, we prove a recent conjecture of Amdeberhan, Andrews and Ballantine concerning a double Lambert series. More precisely, they conjectured that \[ \coeff{q^{N2^a}} \sum_{m,k\geq 1} \frac{q^{mk2^a}}{(1+q^{k2^{a-1}})(1-q^{2m-1})} =σ_1(N), \] where $σ_1(N)$ is the sum of all the positive divisors of $N$. The main idea of the proof is to first transform a double Lambert series on the left-hand side into a single sum. This leads us to derive a new representation of quasi-modular forms $E_2(q)$.

In this paper, we investigate the combinatorial structure and asymptotic distribution of the solution set of the equation $σ(n+1) = kσ(n)$ for a given integer $k>1$. From a combinatorial perspective, the solutions to this equation are closely related to the concept of $k$-layered numbers, which are a generalization of Zumkeller numbers. In the analytic section, which constitutes the core of this research, we employ the framework of probabilistic number theory and an extension of the classical Kubilius model to study the oscillatory and local behavior of the sum-of-divisors function. Utilizing the truncation technique for arithmetic functions and applying the Chinese Remainder Theorem, the problem is reduced to a synthetic measure space equipped with independent random variables. Subsequently, by applying the optimized version of the Kolmogorov-Rogozin anti-concentration inequality (Petrov's theorem) to the difference of additive variables and finely tuning the error parameters, we prove that the natural density of this set is zero. The main quantitative outcome of this approach is the derivation of the explicit upper bound $A_k(x) \ll_k \frac{x}{\sqrt{\log \log \log x}}$ for the counting function of the solutions. Finally, alongside the zero asymptotic density, relying on the framework of polynomials and Schinzel's H Hypothesis, we establish the conditional infinitude of the solution set for the case $k=2$ and formulate the existential results.

We give an elementary, Fourier-free proof of Roth's theorem. The proof follows Roth's original density-increment strategy, but replaces the usual Fourier-analytic step with a direct combinatorial argument involving averages over sub-progressions.

We give negative answers to two questions of Bergelson, Moreira, and Richter concerning recurrence along functions from a Hardy field. For the pair \(f_1(t)=t^{3/2}\) and \(f_2(t)=λt^{3/2}+t\), where \(λ\in\mathbb R\setminus\mathbb Q\), singled out in their integer-coefficient derivative-span question, we prove that every \(F\in\nablaz(f_1,f_2)\) satisfies \(\lim_{t\to\infty}|F(t)|\in\{0,\infty\}\). Nevertheless, there is a set \(E\subset\mathbb N\) of positive natural density such that \(R_{f_1}(E)\cap R_{f_2}(E)\) is piecewise syndetic and not thick. Thus the proposed integer-coefficient replacement does not imply thickness. We further show that, even under the same full integer derivative-span condition, the common return-time set may be empty. This stronger obstruction also gives a negative answer to their question asking whether the recurrence conclusion of Theorem A follows from joint intersectivity of the integer polynomials in \(\operatorname{poly}(f_1,\ldots,f_k)\). The constructions use elementary Bohr sets.

We determine all permutation polynomials among several families of polynomials over $\mathbb{F}_{q^3}$ for arbitrary prime powers $q$. We obtain some new families of permutation polynomials over $\mathbb{F}_{q^3}$ with simple coefficients for infinitely many characteristics. As a specific consequence, our results resolve the generalization of conjectures of Zhang, Zheng, Wang, Peng, and Li in the even characteristic. Our proofs are conceptually short and involve no complicated computations, in contrast to the proofs of results on permutation polynomials which were published previously. Moreover, we develop a totally new systematic method in this paper for the study of permutation polynomials.

We prove a lower bound on the number of directions determined by Cartesian products $A\times A$ in the affine plane over the finite field $\mathbb F_{p^2}$. Our lower bound holds for sets of size $p^{2/3}<|A|<p$, which are not contained in any affine copy of $\mathbb F_p$. The proof combines a structural result of Li and Roche-Newton on the set of directions formed by Cartesian products with a lower bound of Fancsali, Sziklai and Takáts. A key step shows that, unless the set of directions exhibits closure properties forcing subfield structure, one obtains a direction for which an algebraic multiplicity parameter in the latter theorem can be made explicit.

Very recently, Green and Sawhney obtained a quasipolynomial bound in the Furstenberg--Sárközy theorem for square differences by proving an ''arithmetic level-$d$'' inequality, thereby yielding a greatly improved density increment scheme. We adapt their method to general intersective polynomials $h\in\mathbb{Z}[x]$ and obtain an analogous quasipolynomial upper bound for the largest subset of $\{1,2,\dots,X\}$ whose difference set contains no nonzero element of the form $h(n)$ with $n\in \mathbb{Z}$. This is the best quantitative upper bound presently known for sets lacking intersective polynomial differences. In contrast to the square case, extending the method to general intersective polynomials requires performing a density increment iteration in which the underlying polynomial changes at each step; a key contribution of this paper is to show that the arithmetic level-$d$ inequality remains effective uniformly across all auxiliary polynomials arising in the iteration. We also develop smoothly weighted versions of the exponential sum estimates of Rice.

The $q$-analogue of an integer $m$ is given by $[m]_q=(1-q^m)/(1-q)$. Let $a$ be an integer, and let $n$ be a positive odd integer. Via discrete Fourier transforms, we establish the following two identities: $$\det\left[\left[\left\lfloor\frac{aj-(a+1)k}n\right\rfloor\right]_q\right]_{1\leqslant j,k\leqslant n}=-\left(\frac{a(a+1)}n\right)q^{(1-3n)/2}$$ and $$\det\left[\left[\left\lceil\frac{(a+1)j-ak}n\right\rceil\right]_q\right]_{1\leqslant j,k\leqslant n}=\left(\frac{a(a+1)}n\right)q^{(n-1)/2},$$ where $(\frac{\cdot}n)$ denotes the Jacobi symbol.

In this paper, we find several determinants expressing the Fibonomial coefficients. We also give the generating functions, Vandermonde identity, and continued fractions about Fibonomial coefficients.