Number Theory [math.NT]

A New Sparse Algorithm for Polynomial GCD over Integers

math.NT

math.AC

We describe a new greatest common divisor (GCD) algorithm for polynomials with integer coefficients. The bit complexity of the new algorithm is polynomial in the input and output sizes and the individual degree bounds.Our algorithm follows the standard approach by reducing multivariate polynomial GCD to univariate polynomial GCD. Our algorithm reduces a multivariate polynomial GCD to a single univariate polynomial GCD. The main idea of our algorithm is a new variable substitution which reduces a multivariate polynomial to a separated one, that is, the coefficients in a main variable are all monomials. The explicit bit complexity is analyzed and we have implemented our algorithm in Maple. It is shown that our algorithm is efficient for polynomials with high degree, large number of variables, but small number of terms in GCD.

Sums of distinct divisors of factorials

math.NT

For practical $N$ let $h(N)$ be the least $k$ such that every integer $1\le m\le N$ is a sum of at most $k$ distinct divisors of $N$. We prove $h(n!)\le(2\log2+o(1))\,n/\log n$. This improves the bounds of order $n/(\log n)^{1/2-\varepsilon}$ established in Tenenbaum-Yokota's Lemma 4 and Yokota's 1995 knapsack note. We combine their decreasing greedy construction with the sharper factorial divisor-gap estimate of Berend-Harmse. Counting the steps separately below and above $\sqrt{n!}$, with the upper range handled through reciprocal divisors, retains the leading coefficient in the gap exponent and yields the explicit constant $2\log2$.

Ordinary 3-Isogeny Graphs and Improvement of Supersingularity Testing for Twisted Hessian Curves over Prime Fields

math.NT

For any primes $p \neq \ell$, $\ell$-isogeny graphs of ordinary elliptic curves defined over $\mathbb{F}_{p^2}$ have a typical structure called $\ell$-volcanoes, and the structure is the core of Sutherland's supersingularity testing algorithm for elliptic curves. In this paper, by exploiting the properties of $3$-isogenies between twisted Hessian curves, we show that when $p \equiv 2 \pmod{3}$ and $\ell = 3$, every ordinary twisted Hessian curve defined over $\mathbb{F}_p$ lies on the surface of the $3$-volcano. As an application, we give an improved version of Sutherland's supersingularity testing algorithm specialized to twisted Hessian curves defined over $\mathbb{F}_p$ with $p \equiv 2 \pmod{3}$. We also give a generalization of the known fact that any supersingular $j$-invariant is a cube in $\mathbb{F}_{p^2}$; we show that for any twisted Hessian curve $H(a,d)$ defined over $\mathbb{F}_{p^2}$, its $j$-invariant is not a cube in $\mathbb{F}_{p^2}$ if and only if $H(a,d)$ is ordinary and lies on the floor of a $3$-volcano.

Effective estimates for exponential sums with multiplicative coefficients

math.NT

Let $f$ be multiplicative, with $|f(p)|\le A$ at primes and $\sum_{n\le x}|f(n)|^2\le A^2x$ for every $x\ge1$. If $|\alpha-a/q|\le q^{-2}$, $(a,q)=1$, and $3\le R\le q\le N/R$, we prove \[ \sum_{n\le N}f(n)\operatorname{e}(n\alpha) \ll_A \frac{N}{\log N} +\frac{N}{\sqrt R}\sqrt{\log\log(3R)} \] with effective implied constants. Montgomery and Vaughan proved this with second term $NR^{-1/2}(\log R)^{3/2}$, and, for $1$-bounded functions, Bachman replaced it by $NR^{-1/2}\sqrt{\log R\log\log R}$. We remove the factor $\sqrt{\log R}$ from Bachman's second term while retaining the original coefficient hypotheses of Montgomery and Vaughan. A more precise estimate records the distance from a rational number. The proof combines the Brun-Titchmarsh inequality on short intervals with maximal Fourier estimates derived from the Carleson-Hunt theorem; the local bounds permit arbitrary prime-dependent prefixes. We also prove sharpness of the square-root displacement dependence.

Rational Approximations for Reciprocals of Multiple Zeta Values and Trivariate Cauchy Numbers

math.NT

In this paper, we will study a trivariate extension of the Cauchy numbers of both the first kind (also called Gregory coefficients) and the second kind (also called N\"orlund numbers) via the Laurent expansion of the reciprocal of any positive integer power (which is called the order) of multiple polylogarithms. In the case of logarithm, we will show by the WZ method that for each order $\ell>1$ some Gregory coefficient of order $\ell$ must vanish, in contrast to the fact that all classical Gregory coefficients are nonzero. We also prove in this higher order logarithm case that the sequence is eventually alternating for each fixed order, a property enjoyed by the classical Gregory coefficients. In the most general setting, we conjecture that these new sequences are all eventually positive, which is supported by strong numerical evidence. Finally, we confirm this conjecture in the special case of polylogarithms and double polylogarithms. As a by product, for each zeta value and double zeta value, we find an infinite family of identities expressing its reciprocal as a sum of a rational number and an improper integral.

A $p$-adic monodromy theorem for curves

math.NT

math.AG

We prove that every de Rham $p$-adic local system on a smooth projective curve over a $p$-adic field is potentially semistable; that is, it becomes semistable after pulling back along a finite cover of the curve. This establishes a relative version of the classical $p$-adic monodromy theorem of Berger and Andr\'e--Kedlaya--Mebkhout. Along the way, we also establish a $p$-adic monodromy theorem for de Rham $p$-adic local systems on disks and annuli.

Moments and Non-Vanishing of Maass Form Symmetric Square L-Functions in Short Intervals

math.NT

Recently, Li obtained a mean Lindel\"of estimate for the cubic moment of the central values of Maass form symmetric square $L$-functions over short intervals $(T-H, T+H)$ of length $H \ge T^{18/19+\epsilon}$. We improve this result by showing that the estimate holds for $H \gg T^{6/7+\epsilon}$. The key ingredient in our proof is a new asymptotic formula for the second twisted moment of Maass symmetric square $L$-functions. Based on this formula, we also improve the lower bound for the proportion of non-vanishing central $L$-values in short intervals. Previously, even under the assumption of the Lindel\"of hypothesis for Dirichlet $L$-functions, the proportion of non-vanishing values in intervals of length $H = T^{\beta}$ was only known to be at least $\frac{3\beta-1}{4}$. We establish an unconditional lower bound of $\frac{7\beta-2}{8}$.

Log-crystalline representations and $(\varphi, \Gamma)$-modules

math.NT

math.AG

Let $F$ be an absolutely unramified mixed characteristic local field with rings of integers $O_F$. For a small affine algebra $R$ over $O_F$, we consider the logarithmic \'etale fundamental group $G_R$ of its generic fibre equipped with a "horizontal" log-structure, in the sense of Fujiwara--Kato. We study $p$-adic representations of $G_R$ and obtain a classification of these representations in terms of \'etale $(\varphi, \Gamma_R)$-modules. Moreover, we define and study the notion of log-crystalline representations of $G_R$, a generalisation of crystalline representations from the non-logarithmic/smooth case. Furthermore, in the logarithmic setting, we show that log-crystalline representations of $G_R$ are equivalent to Wach modules for $R$, extending our previous results from the (non-logarithmic) crystalline case.

The irrationality measure of {\pi} is at most 7.101862832357

math.NT

We introduce two independent numerator exponents into the Zeilberger--Zudilin integral and specialize them to \[ A_1=A_2=\frac{1857}{2785}. \] The resulting integer linear forms in $1$ and $\pi$ prove \[ \mu(\pi)<7.101862832357. \] This lowers the Zeilberger--Zudilin upper bound $7.103205334137\ldots$ by more than $0.001342501780$; the difference between the unrounded bounds is $0.0013425017806509\ldots$, approximately $0.01890\%$. The same parameter point is a strict two-dimensional local minimizer of the explicit auxiliary upper-bound function in its admissible arithmetic chamber. This is a local statement about that function, not a claim that the point is a global optimizer among all constructions.

On the bounded-conductor finiteness conjecture in equal characteristic

math.NT

math.AG

We investigate the equal-characteristic case of the Moon--Taguchi bounded-conductor finiteness conjecture for mod $p$ Galois representations over global function fields. We first establish a conditional finiteness theorem: for any global function field $K$ of characteristic $p$ and any integer $n \ge 1$, there are only finitely many isomorphism classes of continuous, semisimple, everywhere unramified, and geometric representations $\rho: G_K \to \mathrm{GL}_n(\overline{\mathbf{F}}_p)$ that admit an everywhere unramified characteristic-zero lift. Furthermore, we prove that the conjecture fails in general without this lifting hypothesis. Concretely, we construct infinitely many global function fields $K$ of characteristic $p$ admitting a continuous, surjective, absolutely irreducible, everywhere unramified, and geometric representation $\rho_r: G_K \twoheadrightarrow \mathrm{SL}_2(\mathbf{F}_{p^r})$ for each integer $r \ge 4$. As a corollary, we construct an everywhere unramified Galois extension \(L/K\), regular over \(\mathbf F_p\), with Galois group \[ \mathrm{Gal}(L/K)\cong \prod_{r\geq4}\mathrm{PSL}_2(\mathbf F_{p^r}). \] Combined with known cross-characteristic finiteness theorems, this completely resolves the question posed by Moon and Taguchi in dimension two: such extensions exist over global function fields of characteristic \(p\), whereas they cannot exist over global function fields of characteristic different from \(p\).

Sharp unconditional moment bounds for products of L-functions

math.NT

We investigate the mixed moments of products of irreducible $\mathrm{GL}(1)$ and $\mathrm{GL}(2)$ $L$-functions on the critical line, and establish sharp moment bounds for these quantities. In particular this establishes the order of these mixed moments in certain ranges. This determines unconditionally, for the first time, the order of magnitude of the first moment of cubic Dedekind zeta functions with negative discriminant. The proof of the lower bound introduces a new method for computing mixed moments, that is a mix of the classical method of Heath--Brown with the modern machinery of Harper, Heap, Radziwill, and Soundararajan.

Internal congruences modulo powers of $2$ for overpartition tuples with odd parts

math.NT

math.CO

Let $\overline{\mathrm{OPT}}_m(n)$ denote the number of overpartition $m$-tuples of $n$ into odd parts. We prove that for every odd $m\ge1$ and every $i\ge3$, \[\sum_{n\ge0}\Bigl(\overline{\mathrm{OPT}}_m\bigl(2^in\bigr)-\overline{\mathrm{OPT}}_m\bigl(2^{i-1}n\bigr)\Bigr)q^n \equiv 2^{\,i+1}\sum_{k\ge0}q^{(2k+1)^2} \pmod{2^{\,i+2}} .\] Thus $\overline{\mathrm{OPT}}_m(2^in)\equiv \overline{\mathrm{OPT}}_m(2^{i-1}n)\pmod{2^{i+1}}$, with equality of $2$-adic valuations exactly at the odd squares. The proof is elementary and uniform in $m$: a single family of integer polynomials, given by a three-term recurrence, governs every $U$-operator identity involved, and a divisibility statement supplies one power of $2$ per iteration.

Generalized Frobenius Partitions Modulo Powers of $2$

math.NT

math.CO

Let $c\phi_k(n)$ denote the number of $k$-colored generalized Frobenius partitions of $n$. We prove that, for every $m\geq2$ and every $k\equiv2\pmod{2^m}$, \[ \sum_{n\geq0}c\phi_k(n)q^n\equiv\frac{\varphi(q)\,(q^2;q^2)_\infty}{(q;q)_\infty^2}\sum_{n\geq0}c\phi_{k/2}(n)q^{2n}\pmod{2^m}, \] where $\varphi(q)$ is the classical theta function. For $m=2$ this recovers a congruence of Chan, Wang, and Yang. Applied with $k=18$, we determine $c\phi_{18}(2n+1)$ modulo $16$ completely. In particular, we also prove \[ \sum_{n\geq0}c\phi_{18}(6n+1)q^n \equiv4\sum_{r\in\mathbb{Z}}q^{r(3r-1)/2}\pmod{16}, \] which proves the congruences $c\phi_{18}(30n+19)\equiv c\phi_{18}(30n+25)\equiv0\pmod{16}$ recently conjectured by Das, Nath, and Sarma (2026). It also yields further congruences modulo $16$ and a simple modulo-$8$ characterization that recovers and extends a recent congruence of those authors. As a second application we set $k=10$ and determine $c\phi_{10}(2n+1)$ modulo $8$.

Bounded asymptotic bases for linear forms

math.NT

math.CO

For a vector of positive integers $\mathbf{b} = (b_1,\ldots,b_h)$ with $\gcd(b_1,\ldots,b_h) = 1$, we study sets $A \subseteq \mathbb{N}$ for which every sufficiently large integer has a bounded positive number of representations \[ n = b_1 x_1 + \cdots + b_h x_h \qquad (x_1,\ldots,x_h\in A). \] We prove that such a set exists for every binary vector $\mathbf{b} \neq (1,1)$, and for some general higher-dimensional families, including $\mathbf{b} = (u_1, p^d u_2, \ldots, p^{(h-1)d} u_h)$ where $p\nmid u_1\cdots u_h$.

Chowla's non-vanishing conjecture over $\mathbb{F}_q(T)$

math.NT

Let $q \equiv 1 \bmod 8$ be a prime power. We prove that $L\left(\tfrac{1}{2}, \chi\right) \neq 0$ for 100% of the imaginary quadratic Dirichlet characters of $\mathbb{F}_q(T)$.

The asymptotic in Waring's problem over function fields beyond twice the degree

math.NT

math.AG

We prove the expected asymptotic in Waring's problem over $\mathbb F_q[T]$, with a power-saving error, whenever $n>2d$, the characteristic is greater than $(d-1)^2$, and $q$ satisfies an explicit lower bound. This range is sharp in general for the expected asymptotic uniformly in the target polynomial. Our main new input is an aggregate minor arc estimate: we count functionals according to the codimension of their associated singular loci and use intersection theory to bound the degrees of the resulting parameter spaces. In particular, if $n\ge (2+\varepsilon)d$, the required lower bound on $q$ is polynomial in $d$ of degree $2+4/\varepsilon$.

On the Mahler measure and root distribution of the $Q$-polynomial of links

math.GT

math.NT

v2

We study the roots and the Mahler measure of the $Q$-polynomial of links. We first consider links obtained by adding twists to a pair of parallel strands. We prove that the Mahler measure of the transformed $Q$-polynomial converges as the number of twists increases. We also show that all but a uniformly bounded number of distinct roots of the $Q$-polynomial approach the real interval $[-2,2]$. This behavior is different from that of the roots of the Jones polynomial under twisting. Numerical experiments on prime knots lead us to a conjecture about the roots of the transformed $Q$-polynomial of alternating knots. Finally, we compare real and unit-circle roots of the Alexander, Jones, and $Q$-polynomials, and give an infinite family of $2$-bridge links whose $Q$-polynomials have only real nonzero roots.

The 2-Adic Valuation of the Order of the All-Ones Class in the Sandpile Group of a Square

math.CO

math.DS

math.NT

Place one grain at every nonsink vertex of the wired $n\times n$ square, and let $L(n)$ be the order of this operation in the sandpile group. Thus $L(n)$ is the least positive $q$ for which $q$ uniform grain layers form an integral combination of toppling moves. We prove that, for every $n\ge1$, \[ \nu_2(L(n))= \begin{cases} 2,&n=1,\\ 1,&n\ge2\text{ even},\\ \nu_2(n+1)+2,&n\ge3\text{ odd}. \end{cases} \] For even squares, this follows from the domino--sandpile results of Florescu, Morar, Perkinson, Salter, and Xu, completed by a short parity observation. For odd squares, a unimodular cyclic basis identifies the folded cokernel with a quotient by two shifted Chebyshev polynomials and sends the all-ones class to $1$. Its order is determined by the constant part of this polynomial ideal, not just by a determinant. Two normalized Euclidean remainders reduce to consecutive Fibonacci polynomials over $\mathbb F_2$, giving the exact valuation.

F-theory on K3 surfaces and orthogonal modular forms

hep-th

math.AG

math.NT

We identify the precise F-theory backgrounds dual to the heterotic string theory compactified on $T^2$ with general Wilson lines turned on for one of the two $E_8$'s. The elliptic curve describing the backgrounds is expressed in terms of orthogonal modular forms and is determined so that it admits a nontrivial scaling limit yielding a rational elliptic surface. We confirm that the curve reduces to the Seiberg-Witten curve for the E-string theory in this limit. We conjecture that our result gives an explicit inverse period map for algebraic K3 surfaces polarized by the $U\oplus E_8(-1)$ lattice.

A dynamic point of view on universality for random matrices over finite local rings

math.PR

math.CO

math.NT

We consider the cokernel corners process for an i.i.d. matrix with entries in a finite local ring. When the distribution of the entries is uniform, this process is a Markov chain, and hence the ergodic theorem for Markov chains can be applied. This implies, in particular, that for uniformly distributed p-adic random matrices, the cokernels of the corners are distributed according to the Cohen-Lenstra measure, almost surely. The purpose of this note is to show that the conclusion of the ergodic theorem also holds for i.i.d matrices, provided that the distribution of the entries is not concentrated on the translate of a subring, or the translate of an ideal. This will follow from the bounds proved in a previous paper of the author.

Quantitative universality for products of i.i.d. random matrices

math.PR

math.CO

math.NT

Using estimates established in a previous paper, we prove quantitative universality results for cokernels of products of i.i.d. random matrices and for flags associated to k-tuples of random i.i.d. matrices, over finite local rings. In the case when the ring is a quotient of $\mathbb{Z}_p$, this gives a quantitative analogue of some previous results of Huang, Nguyen and Van Peski.

Rankin--Selberg integrals of opposite conductor--one newforms

math.RT

math.NT

Let $F$ be a nonarchimedean local field of characteristic zero and let $n\geq2$. For $r=n,n+1$, let $\Pi_r$ be an irreducible tempered representation of ${\rm GL}_r(F)$ of conductor one and with trivial central character. We evaluate the Rankin--Selberg integral of opposite newforms in $\Pi_{n+1}\times \Pi_n$ explicitly and show that its central value is nonzero. As an application, this implies a case of Disegni--Zhang's conjecture on the nonvanishing of local relative characters.

Divisibility and torsion in higher Chow groups over arithmetic fields

math.AG

math.NT

Let $X$ be a smooth scheme of dimension $d$ over a field $F$. We study the abelian-group structure of the higher Chow groups $CH^{d+i}(X,j)$. For a prime $l$ different from the characteristic of $F$, we prove divisibility and torsion-freeness results when $i\ge$ the $l$-cohomological dimension of $F$. If $X$ is smooth proper and geometrically irreducible, we also study the kernel of the push-forward $CH^{d+i}(X,j)\to CH^i(F,j)$. We apply these results to finite fields, local fields, and global fields.

Reversibility and its asymptotic counting in Picard group

math.GR

math.NT

We investigate reversible elements in the Picard modular group $\mathrm{PSL}(2,\mathbb{Z}[i])$. We show that reversibility coincides with strong reversibility for Kleinian groups, in particular for the Picard group. We classify reversible elements in the Picard group and characterize loxodromic reversible elements up to conjugacy. We prove that each such conjugacy class contains exactly eight special representatives. We also obtain asymptotic estimates for the number of reversible conjugacy classes with bounded trace.

A maximal function field of genus $17$ over $\mathbb{F}_{11^2}$

math.AG

math.NT

In this article, we describe a new maximal function field $G$ over the finite field $\mathbb{F}_{11^2}$ with $11^2$ elements and show that it cannot be obtained as a subfield of the Hermitian function field. This provides the first known $\mathbb{F}_{p^2}$-maximal function field that satisfies this property. Further, we compute the automorphism group of $G$. The new maximal function field was found using AI.

Cusp restrictions and Bunke--Naumann invariants with level structure

math.AT

math.KT

math.NT

Restriction to the full cusp divisor of a modular curve defines a secondary invariant whose rational indeterminacy comes from a single global modular form. For every integral weakly holomorphic level-one modular form $h$ of weight divisible by four, we prove that the imported value $[h/2]$ vanishes at every nontrivial $\Gamma_0(N)$ level. The construction localizes coefficients before completion and rationalizes only after passing to homotopy groups. At odd prime level, we identify the full cusp spectrum as a product of two real Tate factors and construct a single holomorphic weight-two correction. This correction yields an actual integral global homotopy class and a rational global source class satisfying the equality required for joint annihilation. The equality transports to every odd composite level, while even levels follow by inverting two. At level three, the Mahowald--Rezk homotopy calculation leaves only the periodic $\nu$ family in stems $8K+3$. A cusp-residue homomorphism detects its secondary value, which has exact order two throughout the periodic family. As an application, the Bunke--Naumann secondary invariants of products in bidegrees $(8k+1,8k'+2)$ vanish after passage to every nontrivial level.

B\'ezout coefficients of coprime numbers approximate quadratic B\'ezier curves

math.NT

v2

Given a point $(p,q)$ with nonnegative integer coordinates and $p\not=q$, we prove that the quadratic B\'ezier curve relative to the points $(p,q)$, $(0,0)$ and $(q,p)$ is approximately the envelope of a family of segments whose endpoints are the B\'ezout coefficients of coprime numbers belonging to neighborhoods of $(p,q)$ and $(q,p)$, respectively.

On properties of the generalized Davenport Expansion

math.NT

v3

We study the continuity properties of a generalized Davenport Fourier expansion we recently discovered, by imposing conditions on the coefficients. We also put our expansion into perspective from the position of Appell sequences.

New explicit bounds for Mertens function and the reciprocal of the Riemann zeta-function

math.NT

v5

IWe prove new unconditional and explicit upper bounds for the reciprocal of the Riemann zeta function in the critical strip, of the orders $(\log t)^{11/12}$, $(\log t)^{11/12}(\log\log t)^{-3/4}$, and $(\log t)^{2/3}(\log\log t)^{1/4}$; these hold in prescribed classical, Littlewood, and Korobov--Vinogradov zero-free regions, respectively. From these bounds, we also derive new unconditional and explicit upper bounds for the Mertens function $M(x)$, of the orders $x (\log x)\exp\!\left(-\eta_1 \sqrt{\log x}\right)$, $x (\log x) \exp\!\left(-\eta_2 \sqrt{\log x \log\log x}\right)$, and $x (\log x)\exp\!\left(-\eta_3 (\log x)^{3/5}(\log\log x)^{-1/5}\right)$, for suitable constants $\eta_1,\eta_2,\eta_3>0$. A key feature of our approach is the use of computational smoothing, which ensures the resulting numerical bounds are strong.

Slope distributions of $\mathscr{L}$-invariants for modular forms

math.NT

v2

Fix a prime $p\geq5$, an integer $N\geq1$ relatively prime to $p$, and an irreducible residual global Galois representation $\bar{r}: Gal_{\mathbb{Q}}\rightarrow GL_2(\mathbb{F}_p)$. In this paper, we utilize ghost series to study $p$-adic slopes of $\mathscr{L}$-invariants for $\bar{r}$-newforms. More precisely, under a locally reducible and strongly generic condition for $\bar{r}$: (1) we determine the slopes of $\mathscr{L}$-invariants associated to $\bar{r}$-newforms of weight $k$ and level $\Gamma_0(Np)$, with at most $O(log_pk)$ exceptions; (2) we establish the integrality of these slopes; (3) we prove an equidistribution property for these slopes as the weight $k$ tends to infinity, which confirms the equidistribution conjecture for $\mathscr{L}$-invariants proposed by Bergdall--Pollack recently.

On triple product $L$-functions and the fiber bundle method

math.NT

math.RT

v3

We introduce multi-variable zeta integrals which unfold to Euler products representing the triple product $L$-function times a product of $L$-functions with known analytic properties. We then formulate a generalization of the Poisson summation conjecture and show how it implies the analytic properties of triple product $L$-functions. Finally, we propose a strategy, the fiber bundle method, to reduce this generalized conjecture to a simpler case of the Poisson summation conjecture along with certain local compatibility statements.

On two Romanoff type problems of Erd\H{o}s

math.NT

v5

Let $\mathcal{P}$ be the set of primes and, for $a>1$, put $\mathcal{S}_a={p+\lfloor a^k\rfloor:p\in\mathcal{P},\ k\ge1}$. Erd\H{o}s recorded a question of Kalm'ar asking whether $\mathcal{S}_a$ has positive lower asymptotic density for every real $a>1$. We prove this for almost every $a>1$, with $$ \liminf_{N\to\infty}\frac{|\mathcal{S}_a\cap[1,N]|}{N} \ge \frac{1}{\log a+9C_0/\pi^2}, $$ where $C_0$ is an absolute constant. The dependence on $a$ has the correct order $1/\log a$ as $a\to\infty$. For almost every $a>1$ and every $\eta>0$, we also prove that at least $x^{1-\eta}$ positive integers $n\le x$ lie outside $\mathcal{S}_a$ for all sufficiently large $x$. For the golden ratio $\varphi=(1+\sqrt5)/2$, the corresponding sumset has positive lower asymptotic density and upper asymptotic density at most $1937/1938$. We also consider a problem of Erd\H{o}s asking whether every sufficiently large odd integer is the sum of a squarefree integer and a power of two. Replacing $2^m$ by $\lfloor a^m\rfloor$, we prove for almost every $a>1$ that the exceptional set up to $x$ is $$ O_{a,\varepsilon}\!\left(\frac{x(\log\log x)^{1+\varepsilon}}{\sqrt{\log x}}\right), $$ and, allowing two distinct exponents, it is $$ O_{a,\varepsilon}\!\left(\frac{x(\log\log x)^{1+\varepsilon}}{\log x}\right). $$ The proofs use metric residue distribution and weighted pair correlation estimates for $\lfloor a^k\rfloor$, together with a congruence covering argument for the prime exceptional set.

Short Interval Variance and Averaged Correlations of Arithmetic Functions

math.NT

v4

In this paper, we study the average shifted sum for general arithmetic functions by applying the standard Hardy--Littlewood circle method and using short-interval variance results. As applications, we prove some nontrivial upper bounds for shifted sums involving $\mu_{k}(n).$ Assuming the Riemann Hypothesis and the Pair Correlation Conjecture of Montgomery, we also prove similar results involving the von Mangoldt function.

The threshold for linear independence of multiple zeta values in positive characteristic

math.NT

v2

A fundamental conjecture formulated by Thakur in 2009, which has guided significant developments in function field arithmetic, asserts that multiple zeta values (MZV's) in positive characteristic of fixed weight are linearly independent over $\mathbb{F}_q$. In this paper we settle this conjecture by determining the precise threshold for this independence. We prove that linear independence holds for all weights up to 2q, while for weight 2q+1 we establish the existence of a unique and explicit $\mathbb{F}_q$-linear relation. This result provides the first counterexample to Thakur's conjecture. Our proof relies on a new connection between MZVs and Carlitz multiple polylogarithms over $\mathbb{F}_q$, generalizing a central result of [IKLNDP24]. We also introduce a modification of the algorithm from [ND21] that yields a weight-preserving operator acting on $\mathbb{F}_q$-linear relations, providing the algebraic framework for these results.

Notes on Algebraic Properties and Non-Standard Analysis of the Ring of Integers Modulo Infinitely Large Primes

math.NT

math.LO

v3

As applications of non-standard analysis to the study of transcendence in the ring $\mathscr{A}$ of integers modulo infinitely large primes, we extend transcendence criteria by Anzawa--Funakura and Matsusaka--Seki. Using the extension of the criterion by Anzawa--Funakura, we observe conditional relation between asymptotic behaviour of prime gaps and transcendence in $\mathscr{A}$. We also summarise known algebraic and model theoretic results on $\mathscr{A}$ for number theorists, and share topics in transcendental number theory with algebraists and model theorists.

Weil-Moore anima

math.NT

math.AT

v2

The Weil group of a number field is a refinement of its absolute Galois group arising from class field theory. The passage from Galois to Weil is important in several places in number theory. However, we will argue that while from the Galois perspective, a number field is a ``K($\pi$,1)'', from the Weil perspective it is not. Thus we are led to further refine the Weil group, by constructing an object, the Weil-Moore anima, which has the Weil group as its fundamental group, but with nontrivial higher homotopy groups. Our motivation is that the cohomological properties of Weil-Moore anima are in several ways nicer than those of the Weil or Galois groups.

Modular Heights of Unitary Shimura Varieties III: Proof of the Main Theorem

math.NT

v3

This is the third and the last of a series of three papers, in which we prove a formula expressing the modular height of a unitary Shimura variety over a CM number field in terms of the logarithmic derivative of the Hecke L-function associated with the CM extension. The main idea of our proof is to compare the holomorphic projection of the derivative of a certain mixed Eisenstein-theta series and the arithmetic degree of a generating series of divisors on unitary Shimura varieties. In this paper, we compute the arithmetic degree of the arithmetic generating series of divisors on unitary Shimura varieties, and then, combining with the results from the first two papers in this series, derive the modular height formula for unitary Shimura varieties.

Constructing the $\mathbf{2^{2^5} + 1 = F_5}$-gon, the first step: the 641-gon

math.NT

v3

In an article, S. Adlaj showed the construction of the $F_4 = 65\,537$-gon ($F_4$ a Fermat prime). By extending the author's method to cases where the multiplicative group is not of order $2^n$ but has an additional prime factor, I here construct the $641$-gon. $641$ is the smaller prime factor of the composite Fermat number $F_5 = 2^{2^5} + 1$.

Strongly complete sets and a conjecture of Erd\H{o}s

math.NT

math.CO

v4

A set $A\subseteq\mathbb{N}$ is called $\textit{complete}$ if every sufficiently large integer can be written as a sum of distinct elements of $A$. It is $\textit{strongly complete}$ if it remains complete after one deletes finitely many elements from it. Building on recent work of Bergelson and Simmons and that of Griesmer, we establish a new strong-completeness criterion exploiting a three-component partition of a given set. As an application, we show that $A$ is strongly complete whenever \[ \big|A\cap(2^k,2^{k+1}]\big|\ge5 \] for every sufficiently large $k\in\mathbb{N}$, and \[ \sum_{a\in A}\|a\theta\|=\infty, \quad\forall\theta\in\mathbb{R}\setminus\mathbb{Z}. \] In particular, this resolves a 1961 conjecture of Erd\H{o}s. The new strong-completeness criterion also enables us to make progress on a 1996 problem of Burr, Erd\H{o}s, Graham, and Li concerning strong completeness of mixed power sets by refining a previous result of Bergelson and Simmons. Besides, we study the polynomially perturbed ray set \[ \{\lfloor t\alpha^n\rfloor,\lfloor t\alpha^n\rfloor+P(n):n\in\mathbb{N}\}, \] which combines the polynomial set $\{P(n):n\in\mathbb{N}\}$ and the single-ray set $\{\lfloor t\alpha^n\rfloor:n\in\mathbb{N}\}$ both previously considered by Graham, and show that it is strongly complete for any $t>0$ and $\alpha\in(0,2)$ and any primitive integer-valued polynomial $P$. The machinery developed for the proof of this result also yields other interesting applications.

A Bombieri-Vinogradov theorem for exponential sums over products of k primes

math.NT

v2

We prove a Bombieri-Vinogradov type theorem for exponential sums over products of $k$ primes. As an application, we show the lower bound $$\sup_{n\le x} \left|\sum_{m\le n} 1_{\Omega(m) = k} e(\alpha m)\right| \gg x^{1/6 - \varepsilon}$$ for $2\le k\le (2-\varepsilon)\log\log x$ and $\alpha\in\mathbb{R},$ where we noted $e(\beta) := e^{2i\pi\beta}.$

Integral Representations and Asymptotics for a Family of Areal Mahler Measures

math.NT

v2

We study a problem posed by Matilde Lal\'in concerning the areal Mahler measures of the multivariable polynomial family $$ P_m(x_1,\ldots,x_m,u) = \prod_{j=1}^m(1+x_j) + u\prod_{j=1}^m(1-x_j), \qquad m\geq1. $$ Using a probabilistic reformulation, we derive convolution and one-dimensional Fourier integral representations for $\mathrm m_{\mathbb D}(P_m)$. We prove that, for every fixed $m$, the value $\pi^m\mathrm m_{\mathbb D}(P_m)$ belongs to the algebra of level-$4$ cyclotomic multiple polylogarithm values, and we evaluate the first nontrivial case $m=2$ explicitly in terms of $\operatorname{Li}_4(1/2)$, $\zeta(3)$, Catalan's constant, $\pi$, and $\log2$. We also derive an explicit three-term asymptotic expansion for $\mathrm m_{\mathbb D}(P_m)$ as $m\to\infty$.

Adjoint Closures of Singular Quadratic Pencils and First's Pfister-Type Conjecture

math.NT

math.RA

v3

We construct, over every formally real field, a singular pair of quadratic forms in dimension seven whose adjoint closure equals its pencil and consists entirely of hyperbolic forms in First's sense, although the pair is not weakly hyperbolic. This disproves First's conjecture that his local--global criterion for nonsingular pairs extends to singular pairs. The example has minimal dimension over formally real number fields and real closed fields. The construction uses an explicit closure formula: adjoining a symmetric singular Kronecker block of positive minimal index to a pair with a nondegenerate first member forces the adjoint closure of the sum to equal its pencil. We determine the corresponding closure formulas for Kronecker decompositions and compute the adjoint algebra, its Jacobson radical, and the involution-trace form of the seven-dimensional example.

Indecomposable rational functions over finite fields with Galois closure of genus one: Reconstruction and exceptionality

math.NT

math.AG

v2

Let $k=\mathbb F_q$. We reconstruct every $k$-indecomposable $g\in k(X)$ of degree greater than one whose normal closure has genus one. Such a map is automatically separable and, after independent degree-one changes of the source and target coordinates over $k$, arises from a separable equivariant isogeny between elliptic curves equipped with compatible finite group actions stable under Frobenius conjugation. In particular, $\deg g=\ell$ or $\ell^2$ for a prime $\ell$, with $\ell\ne\operatorname{char}k$ in the latter case. More generally, every separable rational function with genus-one Galois closure admits a canonical factorization class, modulo degree-one changes of the intermediate coordinates over $k$, determined by the intrinsic translation subgroup of its geometric monodromy group; every $k$-indecomposable factor of the remaining map has Galois closure of genus zero. For every equivariant-isogeny quotient and every finite extension $k_r/k$, the same exact finite-kernel condition characterizes both permutation of $\mathbf P^1(k_r)$ and exceptionality over $k_r$. The finite kernel and its induced Frobenius and linear symmetry actions also determine the arithmetic and geometric monodromy permutation groups, decomposition classes, and the exact periodic set of permutation extension degrees, including its least period and limiting proportion. Together with the corresponding genus-zero theorem, these results yield permutation if and only if exceptionality over every finite extension for every separable rational function whose Galois closure has genus at most one; under $k$-decomposition, the common extension-degree set is the intersection of the corresponding sets for the factors.

Birch's theorem over function fields with quadratically many variables

math.NT

math.AG

v2

For smooth hypersurfaces over rational function fields of characteristic greater than the degree and with sufficiently large constant field, we improve the number of variables required in Birch's theorem from an exponential function of the degree to a quadratic one. This agrees, up to constants, with the sharp quadratic threshold for the unconditional existence of rational points on smooth hypersurfaces. A circle method argument reduces the required cancellation to lower bounds for the codimensions of certain singular loci associated with complete exponential sums over finite fields. Our main innovation is a new method for proving these bounds: we introduce the notion of multiplication rank for the linear functionals indexing these exponential sums and combine the resulting rank stratification with a weighted degeneration of the Jacobian equations to obtain a codimension estimate that grows linearly with multiplication rank.

The Tate conjecture for abelian fivefolds over finite fields

math.NT

v2

We prove the Tate conjecture for abelian fivefolds over finite fields. The proof constructs correspondences for a residual motive using a Moret--Bailly family, Gross--Schoen heights, and monodromy. We also prove standard conjecture~$D_\ell$ over $\overline{\mathbf F}_p$ and independence of $\ell$ of rational cycle class kernels over algebraically closed fields of characteristic $p$. Over finite fields, rational and numerical equivalence agree with rational coefficients, and higher algebraic $K$-groups vanish rationally.

The three Kanade-Russell identities modulo nine

math.NT

math.CO

v2

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

An Eisenstein--Kronecker Modular Symbol and Beilinson--Kato Distributions

math.NT

v2

We construct an Eisenstein-Kronecker modular symbol with values in a completed bigraded quotient of modular forms by Eisenstein series. Its homogeneous finite-level specializations recover the Borisov-Gunnells symbols. The main theorem identifies its standard distribution, after the explicit transposition, orientation, finite symplectic Fourier, projection, and period normalizations, with Colmez's Eisenstein realization of the standard Busuioc-Park-Patashnick-Stevens Beilinson-Kato distribution. The comparison holds on the full BPPS test-function space, including the zero-torsion degenerations. The cyclic Manin relation is obtained from the Frobenius-Stickelberger identity and the theta heat equation; at level one its coefficient identities generate all linear relations among unordered products of two Eisenstein series whose weights are at least four. We also record compatible real-regulator and Poincare-bundle coefficient realizations with the same Fourier normalization.

An extension of the Erd\H{o}s-Tetali theorem

math.CO

math.NT

v3

Given a sequence $\mathscr{A}=\{a_0 0, \] then there must exist $\mathscr{A}\subseteq\mathbb{N}$ with $|\mathscr{A}\cap [0,x]|=\Theta(f(x))$ for which $r_{\mathscr{A},h+\ell}(n) = \Theta(f(n)^{h+\ell}/n)$ for all $\ell \geq 0$. Furthermore, for $h=2$ the same conclusion holds under $x^{1/2}\log(x)^{1/2} \ll f(x) \ll x$. The proof is somewhat technical and the methods rely on ideas from regular variation theory, which are presented in an appendix with a view towards the general theory of additive bases. We also mention an application of these ideas to Schnirelmann's method. Corrections to the published version are highlighted in red.

Intertwining Algebras and Affine Hecke Algebras for Finite Central Extensions of Classical $p$-adic Groups with Application to Metaplectic Groups

math.RT

math.NT

v2

For a finite central extension $\tilde{G}$ of a classical $p$-adic reductive group, we consider the endomorphism algebra of some induced projective generator \`a la Bernstein of the category of smooth representations of $\tilde{G}$. In the case where the Levi subgroups decompose, we compute this algebra to get a result similar to the one previously obtained by the first author for classical $p$-adic groups, showing that this intertwining algebra is a twisted semi-direct product of an affine Hecke algebra with parameters by a twisted finite group algebra. We discuss also the case with non-decomposed Levi subgroups. We then give an application to the category of genuine representations of a $p$-adic metaplectic group. Using results of C. M\oe glin relative to the Howe correspondence, we show that the Bernstein components of these groups are equivalent to tensor products of categories of unipotent representations of classical groups. This generalizes a previous result of the first author. It implies an equivalence of categories between the category of genuine representations of the $p$-adic metaplectic group and the direct sums of those of smooth representations of the corresponding split odd special orthogonal group and its pure inner form.

On the prime field spherical restriction conjecture in four dimensions: breaking the Stein-Tomas exponent and applications

math.CA

math.CO

math.NT

v4

Let $p$ be an odd prime. We prove the extension estimate $R_{S_j}^*(2\to r)\lesssim_r 1$ for every nonzero-radius sphere $S_j\subseteq\mathbb{F}_p^4$ and every $r\geq 16/5$, uniformly in $p$ and $j$. This improves the Stein--Tomas exponent $10/3$ established by Iosevich and Koh (2008). To prove this result, we develop a new method that combines horizontal slicing, cancellation in an affine fourth-moment expansion, a rich-plane decomposition, and incidence estimates. We also formulate a localized spherical restriction/extension conjecture that predicts the sharp dependence of the restriction norm on the size of the physical support. This conjecture implies the spherical extension estimates $R_{S_j}^*(2\to r)\lesssim_r 1$ for every $r>3$, and yields almost-every-pin distance estimates at the conjectured Erd\H{o}s--Falconer exponent in four dimensions, up to an arbitrarily small power loss in the set-size hypothesis. Using the same method, we improve the bounds supplied by Fourier decay and Plancherel at intermediate support scales and derive new almost-every-pin distance estimates in $\mathbb{F}_p^4$.

Classification of Fourier summation formulas on a horizontal strip

math.CA

math.CV

math.NT

v2

We classify Fourier summation identities in which the measure on the Fourier side is supported in a horizontal strip of $\mathbb{C}$. Let $\mu=\nu+\eta$, where $\nu$ is a strongly tempered measure on $\mathbb{R}$, $\eta=\sum_{m\geq1} b(\gamma_m)\delta_{\gamma_m}$ is a strongly tempered pure point measure supported off the real line, and $a:\Lambda\rightarrow\mathbb{C}$, with $\Lambda=\{\lambda_n\}_{n\geq1}\subset\mathbb{R}$, has finite exponential growth. Under natural real-antipodal and conjugation-symmetry assumptions, we characterize summation identities of the form \begin{align} \sum_{n\geq1} a(\lambda_n)\varphi(\lambda_n)=\int_{\mathbb{R}} \widehat{\varphi}(t)\mathrm{d}\nu(t)+\sum_{m\geq1} b(\gamma_m)\widehat{\varphi}(\gamma_m), \end{align} valid for every $\varphi\in C^\infty_c(\mathbb{R})$, where $\widehat{\varphi}$ denotes the Fourier transform. We prove that each such identity determines a unique generating function $F$ that is holomorphic and almost periodic in the half-plane above the strip and admits a meromorphic continuation to $\mathbb{C}^+$. The measure $\eta$ encodes the poles and residues of $F$, while $\nu$ describes the boundary behavior of its regular part through a generalized Nevanlinna representation, and $a$ determines its Fourier coefficients. Conversely, every function in the corresponding meromorphic class whose Fourier coefficients satisfy a local summability condition determines a unique summation identity of this form. The proof combines a strip version of the Bridge Lemma with a Cauchy-transform argument that accounts for the off-real poles. As an application, we show that the Guinand-Weil explicit formula for every member of the Selberg class, including non-self-dual members, fits into our framework, and we identify its associated generating function.

Euclidean SVP is deterministically NP-hard to approximate within any constant factor

cs.CC

math.NT

v2

We prove that, for every constant $\rho>1$, the Euclidean shortest vector problem is NP-hard to approximate within any constant factor $\rho$ under a deterministic polynomial-time many-one reduction. This extends our previous deterministic NP-hardness result from $\rho<\sqrt 2$ to arbitrary constants and gives a deterministic version of Khot's randomized arbitrary-constant theorem.

Generalized Jantzen filtration, hyperbolic restriction, and characteristic cycles

math.RT

math.AG

math.NT

math.QA

v2

In this paper we give a geometric description of the behavior of analytic intertwining operators between parabolically induced representations of $\mathrm{GL}_n(\mathrm{F})$, where $\mathrm{F}$ is a local non-archimedean field, in terms of hyperbolic localization functors of Braden. As a consequence, we can show that the image of an intertwining operator is always semi-simple and give a lower bound on the order of its pole, which is conjectured to be an equality as well as an upper bound in terms of the singular support of certain perverse sheaves. Moreover, we are able to reduce the conjecture of Lapid and M\'inguez on the shape of irreducible subrepresentations of induced representations to a computation of characteristic cycles. The theory of mixed Hodge modules plays a crucial role in the proofs.