Number Theory [math.NT]

Some Remarks on $\tau$-Congruent Numbers

math.NT

In this paper, we extend the work of \cite{Chahal} in several directions. We first determine all Heron triangles that tightly circumscribe the unit circle and the associated $\tau$-congruent numbers generated by them. We then characterize all rational right triangles that tightly circumscribe the unit ellipse and identify the corresponding congruent numbers. In addition, we study of the congruent numbers from the excircle opposite a vertex of a rational right triangle, that is, the circle tangent to one side of the triangle and to the extensions of the remaining two sides.

Linnik's problem for multiplicative functions

math.NT

We study a multiplicative function analogue of Linnik's problem on the least prime in an arithmetic progression. Let $h\colon \mathbb{N}\to\mathbb{R}\setminus\{0\}$ be a multiplicative function, and let $a \pmod q$ be a reduced residue class. We ask how far one must go before finding square-free integers $n_1,n_2\equiv a \pmod q$ with $h(n_1)<0

$Q$-difference analogue of the Stothers-Mason theorem

math.NT

math.CV

In this paper, we give a new definition of the $q$-weight of zeros, which reduces to the multiplicity of zeros as $q\to 1$. Furthermore, we obtain a $q$-difference version of the Stothers-Mason theorem by means of the new definition of the $q$-difference radical, which covers the classical Stothers-Mason theorem as $q\to 1$. As applications, we study the polynomial solutions of $q$-difference Fermat type functional equations.

Good Integers: (T,k)-Subclasses and Applications to Galois Duality in Coding Theory

math.NT

cs.IT

math.IT

The notion of good integers, namely the divisors of the sequence $(a^s+b^s)_{s\ge 1}$ for nonzero coprime integers $a$ and $b$, together with their subfamilies such as oddly-good and evenly-good integers, has become an important arithmetic tool in the study of Euclidean and Hermitian dualities for abelian and cyclic codes. Building on this perspective, this paper introduces and studies another interesting subclass of good integers arising from the sequence $\bigl(a^{ks+T}+b^{ks+T}\bigr)_{s\ge 1}$ for some integers $0\leq T

Mixed thresholds in the Lonely Runner Conjecture

math.NT

math.CO

The Lonely Runner Conjecture states that if $k+1$ runners start at the same point on a unit-length circular track and run with distinct constant speeds, then each runner is at some time at least $1/(k+1)$-distant from every other runner. Equivalently, for every tuple of $k$ distinct positive integer speeds $s_1,\ldots,s_k$, there is a real number $t$ such that $\|s_i t\|\geq \frac{1}{k+1}$ for all $i$. We introduce and study a version of the conjecture in which the required distances may vary with $i$. For $\mathbf d=(d_1,\ldots,d_k)\in(0,1/2]^k$, let $\mathsf{MLPS}_k$ be the set of vectors such that, for every choice of distinct positive integer speeds $s_1,\ldots,s_k$, there is a real number $t$ with $\|s_i t\|\geq d_i$ for all $i$. We give an exact characterization of $\mathsf{MLPS}_2$. We also use Fourier series for distance-threshold indicator functions to obtain an arithmetic progression summation formula and an exact two-function integral formula for unequal thresholds.

Transformation Formulae and Applications for Double Lambert Series

math.NT

In this paper, we study a class of double Lambert series and establish several identities and transformation relations for them. These formulae provide useful tools for reducing certain double Lambert series to single Lambert series. As applications, we derive identities related to recent conjectures of Andrews, Dixit, Schultz, and Yee, and of Amdeberhan, Andrews, and Ballantine. We also propose a new proof of a result of Amdeberhan, Andrews, and Ballantine.

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

math.NT

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$.

Metrical theory of signed Engel expansions

math.NT

math.DS

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{\epsilon_{1}(x)}{d_{1}(x)}+\frac{\epsilon_{2}(x)}{d_{1}(x)d_{2}(x)}+\cdots+\frac{\epsilon_{n}(x)}{d_{1}(x)d_{2}(x)\cdots d_{n}(x)}+\cdots,$$ where $\epsilon_{1}(x)\coloneqq1$ and $\epsilon_{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 $\epsilon_{n+1}(x)=-\epsilon_{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 $\Delta_{n}(x)\coloneqq d_{n}(x)-d_{n-1}(x)\ (n\geq2)\ (\Delta_{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\phi(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 $\phi$ is an arbitrary positive function defined on the set of positive integers.

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

math.NT

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.

On the analytic continuation of the Riemann zeta function

math.NT

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.

Equidistribution of CM points and RM curves

math.NT

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.

The sum-product conjecture is false for real numbers

math.NT

math.CO

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.

Riemann and the logarithmic derivatives of zeta

math.HO

math.NT

In one of his posthumous papers, conserved in G\"ottingen, Riemann considers the derivatives of $\log\zeta(s)$ at the point $1/2$, giving explicit values for them. Around 2010 we shared Riemann's value of the second derivative with some mathematicians. From that time I have been asked several times for references. So I decided to write this. Specially explaining the wonderful formulas \[\frac{\zeta'(\frac12)}{\zeta(\frac12)}=\frac{\pi}{4}+\frac{\gamma}{2}+\frac{\log(8\pi)}{2},\quad \frac{\zeta''(\frac12)}{\zeta(\frac12)}-\Bigl(\frac{\zeta'(\frac12)}{\zeta(\frac12)}\Bigr)^2=8-\frac{\pi^2}{4}-2G+2\sum_{n=1}^\infty\frac{1}{\alpha_n^2}\]

Proofs of Two Positivity Conjectures of Guo

math.CO

math.NT

We prove two positivity conjectures proposed by Guo for alternating sums and factorial ratios built from Gaussian coefficients. The first result proves the positivity of the odd $q$-super Catalan numbers \[ C_{m,n}(q)=\frac{[2m+1]![2n]!}{[m+n+1]![m]![n]!}. \] The proof uses the positivity theorem of Warnaar and Zudilin for the usual $q$-super Catalan numbers, together with two recurrences obtained from a double application of the $q$-Chu--Vandermonde summation. The second result proves Guo's conjectural strengthening of his alternating-sum positivity theorem, replacing the exponent coefficient $2r-1$ by every odd coefficient $2b-1$, $1\leq b\leq r$. Its proof combines a $q\mapsto q^{-1}$ reciprocity with a finite deletion recurrence.

Brauer--Manin obstruction from failure of Kodaira vanishing in positive characteristic

math.AG

math.NT

We study the Brauer-Manin set of smooth projective surfaces over global fields of positive characteristic for which Kodaira vanishing fails. Our results apply in particular to Raynaud surfaces.

Lattice points on determinant surfaces and the spectrum of the automorphic Laplacian

math.NT

v3

We use classical Fourier analysis along with tools from the spectral theory of Automorphic forms to derive an asymptotic formula with a strong error term for the number of integer solutions $(a, b, c, d)$ inside the expanding box $[-X,X]^4$ to the determinant equation $ad-bc=r$, where $r \neq 0$ is a fixed integer. Furthermore, we apply our method to study sums over these solutions where the variables are weighted by periodic arithmetical functions in two of the variables in one case, and by an arbitrary sequence of complex numbers in another.

Ramification bounds via Wach modules and q-crystalline cohomology

math.NT

math.AG

v2

Let $K$ be an absolutely unramified $p$-adic field. We establish a ramification bound, depending only on the given prime $p$ and an integer $i$, for mod $p$ Galois representations associated with Wach modules of height at most $i$. Using an instance of $q$-crystalline cohomology (in its prismatic form), we thus obtain improved bounds on the ramification of $\mathrm{H}^{i}_{et}(X_{\mathbb{C}_K}, \mathbb{Z}/p\mathbb{Z})$ for a smooth proper $p$-adic formal scheme $X$ over $\mathcal{O}_K$, for arbitrarily large degree $i$.

Vanishing of Witten zeta function at negative integers

math.NT

math.CA

v4

We prove Witten zeta function of a root system $\Phi$ has high-order vanishing at negative even integers, using an integral representation involving the Hurwitz zeta function. This settles a conjecture of Kurokawa and Ochiai for a large class of compact Lie groups. We also provide a qualitative description of the corresponding leading coefficient in terms of Riemann zeta values, in which the highest root of $\Phi$ makes a natural appearance.

A note on the irrationality of $\zeta_2(5)$

math.NT

math.AG

math.CA

math.CO

v2

In a spirit of Ap\'ery's proof of the irrationality of $\zeta(3)$, we construct a sequence $p_n/q_n$ of rational approximations to the $2$-adic zeta value $\zeta_2(5)$ which satisfy $0 < |\zeta_2(5)-p_n/q_n|_2 < \max\{|p_n|,|q_n|\}^{-1-\delta}$ for an explicit constant $\delta>0$. This leads to a new proof of the irrationality of $\zeta_2(5)$, the result established recently by Calegari, Dimitrov and Tang using a different method. Furthermore, our approximations allow us to obtain an upper bound for the irrationality measure of this $2$-adic quantity; namely, we show that $\mu(\zeta_2(5)) \le (16\log2)/(8\log2-5) = 20.342\dots$.

Cannonball Polygons with Multiplicities

math.NT

v2

We generalize the Cannonball Problem by introducing integer-valued and non-increasing arithmetic functions $w$. We associate these functions $w$ with certain polygons, which we call cannonball polygons. Through this correspondence, we show that for any $Z\in\mathbb{N}$, there exists a cannonball polygon with multiplicity 8 and largest side of length $Z$. Moreover, for any multiplicity $s$ greater than 8, we provide an asymptotic formula for the number of distinct classes of cannonball polygons with multiplicity $s$.

Quadratic forms of modular forms

math.NT

v3

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.

Counting primitive integral solutions to spherical generalized Fermat equations

math.NT

v2

A solution $(x,y,z) \in \mathbb{Z}^3-\{(0,0,0)\}$ to a generalized Fermat equation \[ Ax^a + By^b + Cz^c = 0, \] is called \emph{primitive} if $\gcd(x,y,z) = 1$. By work of Beukers, we know that in the \emph{spherical} regime (that is, when the Euler characteristic $\chi = \tfrac{1}{a} + \tfrac{1}{b} + \tfrac{1}{c} - 1$ is positive), if the equation has one primitive solution, then it has infinitely many. In this work, we use the method of \emph{Fermat descent}, as employed by Poonen--Schaefer--Stoll, to refine Beukers' result to an asymptotic count of the number of primitive integral solutions of bounded height.

Distribution of integer points on determinant surfaces and a $\text{mod-}p$ analogue

math.NT

v3

We establish an asymptotic formula for counting integer solutions with smooth weights to an equation of the form $xy-zw=r$, where $r$ is a non-zero integer, with an explicit main term and a strong bound on the error term in terms of the size of the variables $x, y, z, w$ as well as of $r$. We also establish an asymptotic formula for counting integer solutions with smooth weights to the congruence $xy-zw \equiv 1 (\text{mod }p)$, where $p$ is a large prime, with a strong bound on the error term.

A closed formula for the Geil-Matsumoto bound on numerical semigroups via Ap\'ery sets

math.NT

v3

The Geil-Matsumoto bound (GM bound) constrains the number of rational points on a curve over a finite field in terms of the Weierstrass semigroup of any of the points on the curve. For general numerical semigroups, the GM bound lacks a simple closed-form expression, making its computation a challenging problem. A closed formula has been obtained for the case when the semigroup is generated by two co-prime integers. In this work, for any numerical semigroup, we provide a closed formula for the GM bound in terms of the Ap\'ery set of a nonzero element of the semigroup. In the case where the numerical semigroup is generated by consecutive integers $n, n+1, \dots, n+t$ with $\lceil\textstyle\frac{n-1}{2}\rceil\leq t \leq n-1$, we obtain a simple closed formula for the bound. We apply these results to obtain upper bounds on the number of rational points for algebraic curves over finite fields. In some cases, our bounds improve some well-known upper bounds on the number of rational points.

The Bruhat-Tits stratification for basic unramified $GU(1,n-1)$ Rapoport-Zink spaces at arbitrary parahoric level

math.NT

math.AG

v3

In this paper, we describe a stratification on the reduced special fiber of the basic unramified unitary Rapoport-Zink space of signature $(1,n-1)$ and at arbitrary parahoric level. We prove the smoothness, irreducibility and compute the dimensions of the closed strata, which are isomorphic to the closure of certain fine Deligne-Lusztig varieties for a product of unitary and general linear groups. We also describe the incidence relations of the stratification by using Bruhat-Tits indices, which are related to the Bruhat-Tits building of an underlying $p$-adic unitary group.

Estimating the number of zeros of Dedekind zeta-functions

math.NT

v4

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.

Solubility of a family of conics with polynomial coefficients in many variables

math.NT

v2

We study the proportion of conics given by $(\mathcal{C}_{\mathbf{F}, \mathbf{y}}) : F_0(\mathbf{y})x_0^2 + F_1(\mathbf{y})x_1^2 = F_2( \mathbf{y})x_2^2 $ which have a rational point $\mathbf{x} = (x_0 :x_1:x_2) \in \mathbb{P}^2(\mathbb{Q})$, where $\mathbf{y} = (y_0 : \dots : y_n)\in \mathbb{P}^n(\mathbb{Q})$ and $F_0,F_1,F_2 \in \mathbb{Z}[X_0,\ldots, X_n]$ are homogeneous polynomials in many variables of the same degree $d$. We provide an asymptotic formula for the number of $\mathbf{y}$ of bounded height such that the corresponding conic $(\mathcal{C}_{\mathbf{F}, \mathbf{y}})$ has a rational point. In particular, our result agrees with the Loughran--Smeets and the Loughran--Rome--Sofos conjectures. Our strategy is based on a recent result of Destagnol--Lyczak--Sofos relying on the circle method to estimate the average of an arithmetic function over polynomials in many variables. To this end, we study the proportion of conics $t_0x_0^2 + t_1x_1^2 + t_2x_2^2 = 0$ having a rational point, and coefficients $t_0,t_1,t_2$ in arithmetic progressions.

Sheared displays and $p$-divisible groups

math.NT

math.AG

v2

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

Solution to the Erdos problem on distinct residues of factorials

math.NT

math.CO

v3

Paul Erdos posed the following question: Is there a prime number $p>5$ such that the residues of $2!$, $3!$,\ldots, $(p-1)!$ modulo $p$ all are distinct. In this short note, we give the negative answer on this question in an elementary way.

Frequency Ordered Ratio Families Arising from the Factorization of $p_{m-1}+1$

math.NT

v2

We investigate a ratio sequence derived from the factorization of $p_{m-1} + 1$, where $p_n$ denotes the $n$th prime. For each $m \geq 3$, write $p_{m-1} + 1 = L_m R_m$ with $L_m$ the largest prime factor. Restricting to those $m$ for which $L_m > m$ (equivalently, $m \in \text{A223881}$), we obtain a multiset of values $R_m$. Since $p_{m-1}+1$ is even and $L_m > 3$ is odd, all values of $R_m$ are strictly even. Sorting the distinct $R_m$ by decreasing frequency yields a new sequence beginning $2, 6, 4, 8, 10, 12, 14, 16 \dots$. This article explains how this construction arises naturally from the structure of A223881, why the ``family'' phenomenon appears in plots of $p_{m-1} + 1$, and how the frequency ordering of $R_m$ captures the dominant families. Additionally, we propose a heuristic asymptotic model explaining the observed frequency ordering via classical results on primes in arithmetic progressions and support the model with numerical log-log analysis.

On some constancy of Hecke eigensystems for Drinfeld cuspforms of finite slope

math.NT

v2

Let $p$ be a rational prime, let $q>1$ be a $p$-power integer, let $\mathbb{F}_q$ be the field of $q$ elements and let $A=\mathbb{F}_q[t]$ be the polynomial ring over $\mathbb{F}_q$. Let $\mathfrak{n}\in A$ be a nonzero element and let $\wp\in A$ be a monic irreducible polynomial of positive degree. Let $k\geq 2$ and $r\geq 1$ be integers. Let $S_k(\Gamma_1(\mathfrak{n}\wp^r))$ be the space of Drinfeld cuspforms of level $\Gamma_1(\mathfrak{n}\wp^r)$ and weight $k$. In this paper, we prove that the multiplicity of a Hecke eigensystem of finite $\wp$-slope in $S_k(\Gamma_1(\mathfrak{n}\wp^r))$ is equal to $q^{(r-1)\mathrm{deg}(\wp)}$ times that in $S_k(\Gamma_1(\mathfrak{n}\wp))$. In particular, this shows that a Hecke eigensystem of finite $\wp$-slope appears in $S_k(\Gamma_1(\mathfrak{n}\wp^r))$ if and only if it appears in $S_k(\Gamma_1(\mathfrak{n}\wp))$.

Fibonacci Numbers and Vieta Jumping for a Rational Diophantine Equation

math.NT

v2

We study the Diophantine equation $\displaystyle{\tfrac{a+1}{b} + \tfrac{b+1}{a} \ = \ k}$, where $k$ is an integer. Using Vieta jumping, we completely classify all positive integer pairs $(a, \, b)$. We prove that the associated integer value $k$ can only be $3$ or $4$. The corresponding solution pairs $(a,\,b)$ are related to the classical Fibonacci numbers. As a consequence, the quantity $\frac{a+b}{\gcd(a, \,b)^2}$ takes only the values $1, \, 2, \, 3$ and $5$. This reveals an unexpected connection between a simple rational Diophantine condition, Vieta jumping, and Fibonacci numbers.

Sun-type determinant and permanent congruences

math.NT

v3

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$.

Two determinant evaluations in Sun's conjectures involving Legendre symbols

math.NT

v3

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 \([\chi(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,\eta)\) and \(\eta_j=\chi(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.

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

math.NT

cs.IT

math.IT

v3

Berggren and Popovi\'c 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 $\pi_{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^\alpha\Vert N$, the valuation of $a$ satisfies \[ \nu_p(a)\ge \begin{cases} 0, & p=2,\ \alpha=1,\\ \alpha-1, & p=2,\ \alpha\ge2,\\ \alpha-1, & p=3,\\ \alpha, & p>3. \end{cases} \] The proof is based on a third finite-difference invariant of the lifted Zadoff--Chu phase, namely \[ \Delta^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.

An Improved Upper Bound for the Dirichlet Spectrum in Diophantine Approximation

math.NT

v2

We study the continuous part of the Dirichlet spectrum $\mathbb{D}$ and improve the best previously published upper bound for the ray-origin constant $\delta$. Building on and refining V. A. Ivanov's approach, we introduce a Cantor-type set $F_4^*$ defined by certain restrictions on partial quotients. For its thickness, we prove $\tau(\log(F_4^*))>1$, and apply sum-set results for Cantor sets to prove that the set $F_4^* \cdot F_4^*$ is an interval. Finally, we establish a new upper bound $\delta\le \frac{111(397+\sqrt{26565})}{65522}\approx0.94866$.

Problems in additive number theory, VII: The structure of additive $h$-bases for $n$

math.NT

math.CO

v2

In additive number theory, a finite set $A$ of integers is an $h$-basis for $n$ if every integer in $\{0,1,2,\ldots, n\}$ can be represented as the sum of exactly $h$ not necessarily distinct elements of $A$. This paper introduces a new class of problems for these and related additive bases. The problems are designed, in part, to be susceptible to solution by AI.

The Shimurian BT stack is a gerbe over truncated displays

math.AG

math.NT

v2

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

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

math.CO

math.CA

math.NT

v3

For a set $E \subseteq \mathbb{F}_q^d$, the distance set is defined as $\Delta(E) := \{\|\mathbf{x} - \mathbf{y}\| : \mathbf{x}, \mathbf{y} \in E\}$, where $\|\cdot\|$ denotes the standard quadratic form. We investigate the Erd\H{o}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 $\Lambda_4(E)$, we prove that quantitative gains in $\Lambda_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.

1-motives and admissible variations of mixed Hodge structures

math.AG

math.NT

v3

Let S be a connected scheme smooth and of finite type over the field of complex numbers. To every 1-motive over S, Andr\'e associated the enriched Hodge realization given by a torsion-free, graded-polarizable and admissible variation of mixed Hodge structures of type (0,0), (-1,0), (0,-1), (-1,-1) over the associated complex analytic space. In this paper, we prove that every admissible variation of mixed Hodge structures of the above type arises, up to isogeny, from a 1-motive over S, thereby providing a positive answer to a question of Andr\'e concerning the geometric origin of such variations. More precisely, we establish a Hodge-theoretic interpretation of sections of semi-abelian varieties by combining Andr\'e's description of the abelian case with a new analysis of the toric part. As a consequence, we prove a relative analogue of Deligne's equivalence over the field of complex numbers. Namely, under suitable assumptions on S and on the lattices and the tori underlying 1-motives, the enriched Hodge realization functor induces an equivalence between the category of 1-motives over S and the category of torsion-free, graded-polarizable and admissible variations of mixed Hodge structures of type (0,0), (-1,0), (0,-1), (-1,-1). In general, the corresponding statement holds only up to isogeny. Finally, we introduce the global Mumford--Tate group of a 1-motive over S and show that its neutral connected component identifies with the Mumford-Tate group of the generic fiber.