The sum-product conjecture is false for real numbers

2026-05-27T17:42:41Z

We disprove the sum-product conjecture for real numbers by constructing arbitrarily large $A\subset \mathbb{R}$ (whose elements are algebraic integers in a number field of degree $\asymp \log\lvert A\rvert$) such that \[\max(\lvert A+A\rvert ,\lvert AA\rvert)\leq \lvert A\rvert^{2-c}\] where $c>0$ is an absolute constant. We also disprove the many sums and products conjecture by constructing, for any $k\geq 3$, arbitrarily large $A\subset \mathbb{R}$ such that \[\max(\lvert kA\rvert,\lvert A^{(k)}\rvert)\leq \lvert A\rvert^{C\frac{\log k}{\log\log k}}\] for some constant $C>0$. We obtain similar constructions for $p$-adics, finite fields, and function fields in positive characteristic, and also obtain new lower bounds for the number of solutions to linear equations in a multiplicative group and the number of solutions to the unit equation in sufficiently many variables.

A Local Valuation Criterion for Quadratic-Permutation Interleaved Zadoff--Chu Sequences

2026-05-27T17:39:29Z

Berggren and Popović introduced quadratic-permutation-polynomial interleaved Zadoff--Chu sequences and, from exhaustive data, conjectured that all normalized QPP-interleaved Zadoff--Chu sequences are inequivalent to ordinary Zadoff--Chu sequences precisely for prime-power lengths $N=p^n$ with $p>3$ and $n>1$. We give an exact local arithmetic criterion. For a normalized QPP $π_{a,b}(k)=ak^2+bk\pmod N$, the interleaved sequence is equivalent, under the standard five CAZAC-preserving operations, to a Zadoff--Chu sequence if and only if, for every prime power $p^α\Vert N$, the valuation of $a$ satisfies \[ ν_p(a)\ge \begin{cases} 0, & p=2,\ α=1,\\ α-1, & p=2,\ α\ge2,\\ α-1, & p=3,\\ α, & p>3. \end{cases} \] The proof is based on a third finite-difference invariant of the lifted Zadoff--Chu phase, namely \[ Δ^3\bigl((ak^2+bk+\varepsilon_N+2q)(ak^2+bk)\bigr) =12a(2ak+3a+b). \] As a consequence, the conjectured prime-power boundary is not correct: the exact non-vacuous condition for all nonzero normalized QPPs to be inequivalent to Zadoff--Chu sequences is that $N$ is odd, $9\nmid N$, and $p^2\mid N$ for at least one prime $p\ge5$. In particular, $N=75=3\cdot5^2$ is the smallest non-prime-power counterexample to the conjectured ``only if'' direction. A second corollary records the corresponding statement for irreducible QPPs.

Two determinant evaluations in Sun's conjectures involving Legendre symbols

2026-05-27T17:21:12Z

We prove two determinant evaluations attached to Sun's conjectures on matrices of Legendre symbols. The first one resolves the $p\equiv1\pmod4$ part of Conjecture 4.8(i) by reducing the determinant with four indeterminates to a four-entry inverse package for the adjacent minor $[χ(j-k+1)]_{0\le j,k<(p-1)/2}$. The core evaluation is \[ \det H=\leg{2}{p}(b'_p-a'_p),\qquad U^TH^{-1}U= \begin{pmatrix} \leg{2}{p}\dfrac{pb'_p-a'_p}{b'_p-a'_p}&1\\[2mm] \dfrac{b'_p-a'_p-1}{b'_p-a'_p}&1 \end{pmatrix}, \] where $U=(\mathbf1,η)$ and $η_j=χ(j)$. The proof uses Vsemirnov's factorisation of Chapman's matrix and an adjacent cofactor calculation. The second result gives a uniform exact congruence modulo $p$ for the determinant underlying Sun's Conjecture 4.10(i), valid for any ordered half-system modulo sign and all $u,v\in\mathbb F_p$. Its standard specialization recovers the asserted square class. The square-class assertion itself also follows from Sun's earlier evaluation of $T(d,p)$; the contribution here is an exact and half-system refinement.

Sun-type determinant and permanent congruences

2026-05-27T17:13:20Z

Sun proposed a list of congruence and quadratic-residue conjectures for determinants and permanents over residue classes modulo a prime. This article gives a uniform treatment of Conjectures 4.6, 4.7, 4.8(ii), 4.9, 4.10(ii), 4.11 and 4.12 from Sun's list, while making explicit the overlap with two earlier contributions. Luo and Xia's Legendre-symbol formula for $D_p(b,1)$ already implies the non-vanishing assertion in Conjecture 4.6 when $p\equiv5\pmod {24}$; our determinant argument gives a root-quotient criterion for irreducible binary quadratic forms over $\Fp$ and also covers the remaining case $p\equiv19\pmod {24}$. For the Cauchy kernel $1/(x-y)$, we prove the derangement determinant and permanent congruences modulo $p^2$ and a polynomial fixed-point permanent congruence modulo $p$. For the Cayley kernel $(x+y)/(x-y)$, She, Sun and Xia's permanent identity supplies the structural input for the fixed-point permanent; combined with our Cauchy permanent congruence and Morley's congruence, it yields the congruence modulo $p^2$. Independent interpolation arguments give the signed fixed-point determinant congruences and the quadratic-residue assertion for the signed derangement determinant. Finally, a local expansion at the unique zero eigenvalue proves the half-size quadratic Cayley determinant divisibility by $p^2$, and by $p^3$ when $p\equiv7\pmod8$.

Quadratic forms of modular forms

2026-05-27T16:33:27Z

In this paper, we study quadratic forms in spaces of holomorphic cusp forms. We show, conditionally, that when two quadratic forms in Hecke eigenforms share no common diagonal terms, their inner product is expected to converge to the sum of the products of their common off-diagonal coefficients. This phenomenon could be interpreted as a mixed $L^4$-norm problem. We also define the $\ell^p$-norm of a holomorphic cusp form via its expansion with respect to an orthonormal Hecke basis. We then establish a conditional upper bound for the $\ell^p$-norm, and deduce that the coefficients of quadratic forms of holomorphic cusp forms in the Hecke basis are not uniformly small, being dominated by small-amplitude components. This behavior is consistent with the expected distribution of orthogonal families of $L$-functions.

Additive structures imply more distances in $\mathbb{F}_q^d$

2026-05-27T16:08:54Z

For a set $E \subseteq \mathbb{F}_q^d$, the distance set is defined as $Δ(E) := \{\|\mathbf{x} - \mathbf{y}\| : \mathbf{x}, \mathbf{y} \in E\}$, where $\|\cdot\|$ denotes the standard quadratic form. We investigate the Erdős--Falconer distance problem within the flexible class of $(u, s)$--Salem sets introduced by Jonathan M. Fraser, with emphasis on the even case $u = 4$. By exploiting the exact identity between $\|\widehat{E}\|_4$ and the fourth additive energy $Λ_4(E)$, we prove that quantitative gains in $Λ_4(E)$ force the existence of many distances. In particular, for a $(4, s)$--Salem set $E\subset \mathbb{F}_q^d$ with $d \geq 2$, if \[ |E|\gg q^{\min\left\{\frac{d+2}{4s+1}, \frac{d+4}{8s}\right\}}, \] then $E$ determines a positive proportion of all distances. This strictly improves Fraser's threshold of $\frac{d}{4s}$ and the Iosevich-Rudnev bound of $q^{\frac{d+1}{2}}$ in certain parameter ranges. As applications, we obtain improved thresholds for multiplicative subgroups and sets on arbitrary varieties, and establish a sharp incidence bound for Salem sets that is of independent interest in incidence geometry. Moreover, our methods give sharp lower bounds for the number of distinct distances determined by two different sets. We also propose a unified conjecture for $(4, s)$--Salem sets that reconciles known bounds and pinpoints the odd-dimensional sphere regime: in odd dimensions $d \geq 3$, the often-cited $\frac{d-1}{2}$ threshold does not follow without additional structures. This provides a clear picture of the spherical distance conjecture.

Equidistribution of CM points and RM curves

2026-05-27T15:26:56Z

In 1988, William Duke showed that CM points of fundamental discriminant $D$ are equidistributed in the complex upper half-plane $\mathcal H$ as $D \to -\infty$. He also showed a similar result for RM curves (a positive discriminant analog of CM points). In this paper, we investigate analogous problems concerning the distribution of CM points and RM curves along fixed geodesics in $\mathcal H$, and around fixed points in $\mathcal H$. Specifically, we show that CM points and RM curves are equidistributed along every fixed rational geodesic in $\mathcal H$, and around every fixed CM point in $\mathcal H$. To prove these results, we solve the aggregate Linnik problem for arbitrary binary quadratic forms.

On the analytic continuation of the Riemann zeta function

2026-05-27T15:25:24Z

Analyzing in detail the analytic continuation of the Riemann zeta function we are able to generate several new identities which may be useful for application in physics and mathematics.

A unified proof of conjectures on the spaces of multiple $q$-zeta values

2026-05-27T15:06:48Z

We prove two conjectures on the spaces generated by multiple $q$-zeta values. More precisely, we show that the spaces $Z_q^{\mathrm{o}}$ and $Z_{q,1}^{\mathrm{o}}$ already generate the larger spaces $Z_q$ and $Z_{q,1}$, respectively. Our result is stronger than the equality of $\mathbb{Q}$-vector spaces: for every generator in the larger spaces, we construct an explicit expression with integer coefficients in terms of the smaller generating families. We first establish these formulas at the finite level, where suitable finite $q$-analogues admit recursive descriptions through generating series, and then pass to the infinite limit.

Estimating the number of zeros of Dedekind zeta-functions

2026-05-27T15:06:28Z

In this article, I derive a new approach to estimate the number of non-trivial zeros of a given Dedekind zeta function with absolute height at most $T\geq1$ counted with multiplicity. The error term in corresponding asymptotic formula improves all previous results, even in the case of the Riemann zeta function.

Primes in arithmetic progressions to large moduli and refinements of Harman's sieve

2026-05-27T14:56:28Z

We study the average distribution of primes of size $x$ in arithmetic progressions to moduli larger than $x^{\frac{1}{2}}$. Using arithmetic information from the works of many authors together with different variants of the original Harman's sieve, we construct suitable majorants and minorants for the prime indicator function $\mathbb{1}_{p}(n)$ that satisfy Bombieri--Vinogradov type mean value theorems with different types of moduli. Specifically, we obtain some mean value theorems for primes with bilinear forms of moduli up to $x^{\frac{9}{17}}$ or with trilinear forms of moduli up to $x^{\frac{17}{32}}$. As a by-product, we obtain new upper and lower bounds for $π(x; q, a)$ that hold for almost all moduli $q$.

Metrical theory of signed Engel expansions

2026-05-27T14:24:49Z

Motivated by the Engel and Pierce expansions, we introduce a signed Engel expansion. We expand each $x\in(0,1)\setminus\mathbb{Q}$ uniquely as $$x=\frac{ε_{1}(x)}{d_{1}(x)}+\frac{ε_{2}(x)}{d_{1}(x)d_{2}(x)}+\cdots+\frac{ε_{n}(x)}{d_{1}(x)d_{2}(x)\cdots d_{n}(x)}+\cdots,$$ where $ε_{1}(x)\coloneqq1$ and $ε_{n}(x)\in\left\{1,-1\right\}$ for $n\geq2$. The digit sequence $\left\{d_{n}(x)\right\}_{n\geq1}$ satisfying $d_{n+1}(x)\geq d_{n}(x)+2$ when $ε_{n+1}(x)=-ε_{n}(x)$ forms a non-decreasing sequence of even positive integers tending to infinity. On the one hand, we obtain the law of large numbers, the central limit theorem and the law of the iterated logarithm regarding $d_{n}(x)$ and $Δ_{n}(x)\coloneqq d_{n}(x)-d_{n-1}(x)\ (n\geq2)\ (Δ_{1}(x)\coloneqq d_{1}(x))$. On the other hand, we prove a Borel--Bernstein theorem on the zero-one law on the Lebesgue measure of the set $$\left\{x\in(0,1)\colon R_{n}(x)\geqφ(n)\ \textnormal{ for infinity many } n\right\},$$ where $R_{n}(x)\coloneqq\frac{d_{n}(x)}{d_{n-1}(x)}\ (n\geq2)\ (R_{1}(x)\coloneqq d_{1}(x))$ and $φ$ is an arbitrary positive function defined on the set of positive integers.

The Shimurian BT stack is a gerbe over truncated displays

2026-05-27T13:23:32Z

We show that the mod $p$ fiber of the Shimurian stack $BT_n^{G,μ}$ constructed by Gardner--Madapusi is a gerbe over the corresponding stack of truncated displays. This confirms a conjecture of Drinfeld.

Additive Diophantine Equations involving S-Units, Factorials and Ternary Recurrences with repeated root

2026-05-27T13:17:09Z

Let $C_n=n2^n+1$ denote the $n$th Cullen number. There has been recent interest in finding all Cullen numbers having a given Diophantine property. We prove that, for a fixed integer $k$ and bounded integers $a_1,\ldots,a_k$, the greatest prime divisor of $C_n-a_1m_1!-\cdots-a_km_k!$ tends to infinity, in an effective way. We prove this for some more general families of ternary recurrence sequences as well. We also solve the Diophantine equation $$C_n = m_1! + m_2! + s,$$ where $s$ is a positive integer composed of primes $2,3,5,7$.

Sheared displays and $p$-divisible groups

2026-05-27T13:15:58Z

We develop a Dieudonné theory for $p$-divisible groups using sheared Witt vectors.