Number Theory [math.NT]

Density of subsets of squarefree elements in certain Dedekind domains

math.NT

We consider polynomial rings over finite fields and rings of integers of imaginary quadratic fields $\mathbb{Q}(\sqrt{-D})$. In this paper, we formulate the density of squarefree elements divisible by all elements of $T$ but by none of $P$, where $T$ and $P$ are subsets of squarefree elements and $T$ is finite. We also define Mersenne irreducibles in order to estimate the density of squarefree elements divisible by none of $P$.

On the density of rational lines on diagonal cubic hypersurfaces, II

math.NT

In this paper, we establish the expected asymptotic formula for the number of rational lines on a diagonal cubic hypersurface in 18 or more variables, improving on recent work of the second author. This is achieved via a refined mean value estimate for minor arcs that non-trivially exploits a shifting variables argument in both underlying dimensions.

Transcendence and measures via the refined Diophantine exponent

math.NT

In 2007, Adamczewski and Bugeaud introduced the notion of the Diophantine exponent of an infinite word as a quantitative measure of repetition, leading to new transcendence results for real numbers whose expansions in an integer base are sufficiently simple. In the present article, we introduce the refined Diophantine exponent, which detects weaker forms of repetition while preserving the full strength of the classical approach. This new exponent applies in situations where repetition is partially obscured by some form of noise. Related ideas already appear in the work of Corvaja and Zannier in 2002 and, more recently, in the works of Kebis, Luca, Ouaknine, Scoones, and Worrell. Our approach provides a unified framework that recovers and extends these results, as well as those of Adamczewski and Bugeaud. We also develop quantitative refinements of this method, leading to results about transcendence measures. The recent breakthrough of Bell, Diller, and Jonsson in the context of algebraic dynamics is partly based on a similar idea, which also served as a motivation for the present work.

An Improvement of Konstantoulas' Density Constant

math.NT

Let $A\subset N$, and define its ordered representation function $r(n)=\#\{(a,b)\in A\times A:a+b=n\}.$ The Erdos--Turan conjecture asserts that, if $r(n) > 0$ for all sufficiently large $n$, then $r(n)$ is unbounded. Konstantoulas proved a density-theoretic version: if the upper density of $E=N\setminus(A+A)$ is less than $1/10$, then $\limsup_{n\to\infty} r(n)> 5$. In this paper, we improve Konstantoulas' constant to $7/32$. We also prove that $D(E)< 1/2$ implies $\limsup_{n\to\infty} r(n) > 3$, and give a conditional criterion forcing $\limsup_{n\to\infty} r(n)>7$.

Perfect powers among Jacobsthal numbers

math.NT

Jacobsthal numbers are an example of a Lucas sequence defined by a recurrence relation analogous to that of the Fibonacci numbers, but with different parameters. In this paper, we prove that the only perfect powers among Jacobsthal numbers are the trivial ones, namely $0$ and $1$. Using the Binet formula, the problem is reduced to an exponential Diophantine equation in three unknowns. We resolve this equation via the modular approach, following the framework developed by Bennett and Skinner for ternary Diophantine equations. This work contributes to the study of perfect powers in linear recurrence sequences.

Integrality of Averages of Roots of Unity and Perfect Isometries

math.NT

math.RT

We establish a criterion for the integrality of averages of roots of unity and apply it to settle a conjecture regarding the linearity of functions on $\mathbb{Z}_n$. Specifically, we prove that for any modulus $n \ge 1$, if a function $f: \mathbb{Z}_n \to \mathbb{Z}_n$ satisfies that the averages $\frac{1}{n} \sum_{x=0}^{n-1} \omega^{f(x)+bx}$ (where $\omega=e^{2\pi i/n}$) are algebraic integers for all $b \in \mathbb{Z}_n$, then $f$ is necessarily linear modulo $n$. This provides a short, elementary proof that works uniformly for all $n$ and avoids the finite-field machinery used in previous partial results. Furthermore, when $n=p^r$, we utilize a local-global integrality argument to show that any normalized sum of $p^r$-th roots of unity that is $p$-adically integral must be either $0$ or a single root of unity. As an application, we completely characterize the perfect isometries of the cyclic group $C_{p^r}$: they are precisely those induced by affine permutations $x \mapsto \alpha x + \beta$ with $\gcd(\alpha, p^r)=1$.

The Bogomolov property for $p$-supercuspidal eigenforms

math.NT

We prove a lower bound on the Weil height, the so-called Bogomolov property, for the algebraic extensions of $\mathbb Q$ cut out by the adelic Galois representations attached to certain eigenforms whose local component at a prime $p$ is supercuspidal. To this end, we give a method for constructing metric inequalities over $p$-adic Lie extensions of fields over $\mathbb Q$ that are finitely ramified at $p$.

Visible 2-torsion in the Tate-Shafarevich group of an elliptic curve

math.NT

We show that every pair of 2-torsion elements in the Tate-Shafarevich group of an elliptic curve are visible in the same abelian surface. This was previously only known for a single 2-torsion element. Our result explains some of the original observations on visibility in the paper of Cremona and Mazur.

On the asymptotic average diameter of blocks of uniformly distributed sequences and related results

math.NT

This paper was triggered by recent results on the maximal `average distance between consecutive points' of uniformly distributed sequences (u.f.d.s.). Here we address a generalized version of this question, consider pairwise maximal/minimal/total distances in blocks/segments of $ d \geq 2 $ consecutive points of u.f.d.s., and derive sharp upper bounds for all three aggregations. Our main idea of proof consists in, firstly, adding degrees of freedom, secondly, translating the resulting problem to a solvable optimization problem over the compact family of $ d $-stochastic measures, and, thirdly, showing that the obtained bounds are also sharp bounds for the original problem.

Moments of partition statistics, Bell polynomials and Eisenstein-type series

math.CO

math.NT

We develop a systematic method to express generating functions for moments of combinatorial statistics in terms of partition traces. We employ an algebraic approach based on the complete Bell polynomials and their inversion formula, alongside an analytic approach via Fa\`a di Bruno's formula. Our approach can be applied to a wide class of combinatorial statistics, such as the largest part of an integer partition, the partition crank and rank, and the unimodal sequence rank.

Cubic surfaces failing the integral Hasse principle

math.NT

math.AG

v4

We study the integral Brauer--Manin obstruction for affine diagonal cubic surfaces, which we employ to construct the first counterexamples to the integral Hasse principle in this setting. We then count in three natural ways how such counterexamples are distributed across the family of affine diagonal cubic surfaces and how often such surfaces satisfy integral strong approximation off $\infty$.

Integrality of Hecke eigenvalues and the growth of Hecke fields

math.NT

v2

We prove that Hecke eigenvalues for any Hilbert and Siegel modular forms are algebraic integers. Our method does not rely on cohomologicality nor Galois representations. We apply the integrality of Hecke eigenvalues for Hilbert modular forms of non-parallel weight to the estimation of the growth of Hecke fields of Hilbert cusp forms with non-vanishing central $L$-values. As a further application, we give the growth of the fields of rationality of cuspidal automorphic representations of ${\rm GL}_{2d}(\mathbb{A}_\mathbb{Q})$ for a prime number $d$ with non-vanishing central $L$-values. We also apply the integrality of Hecke eigenvalues for holomorphic Siegel cusp forms of general degree in order to give the growth of the Hecke fields of those forms.

Noncommutative factorizations of higher sine functions in positive characteristic

math.NT

v2

In this paper we describe new noncommutative factorizations of functions related to $d$-th tensor powers of Carlitz's $\mathbb F_q[\theta]$-module for $d\geq 1$, called higher sine functions. In recent work by the second author, factorizations of this type have been constructed for operators which are combinations of powers of a Frobenius endomorphism with coefficients ``in $\operatorname{End}(\operatorname{End}(\mathbb G_a^d))$''. In the present paper we succeed in determining factorizations with coefficients ``in $\operatorname{End}(\mathbb G_a^d)$'' which are not easily deducible from previous work. One key ingredient in obtaining this is an application of a ``motivic pairing'' that the first author introduced in recent work. Another key ingredient is the notion of ``$\Delta$-matrix'' which comes into play in the analysis of the coefficients of the factorizations. Our results can be applied to explicitly describe analogues of shuffle $q^n$-powers for multiple polylogarithms at one, and to multiple zeta values of Thakur. All the identities we prove occur at the finite level.

The Hasse principle for random homogeneous polynomials in thin sets

math.NT

math.AG

v3

Let $d$ and $n$ be natural numbers. Let $\nu_{d,n}: \mathbb{R}^n\rightarrow \mathbb{R}^{N}$ denote the Veronese embedding with $N=N_{n,d}:=\binom{n+d-1}{d}$, defined by listing all the monomials of degree $d$ in $n$ variables using the lexicographical ordering. Let $\langle \boldsymbol{a}, \nu_{d,n}(\boldsymbol{x})\rangle\in \mathbb{Z}[\boldsymbol{x}]$ be a homogeneous polynomial in $n$ variables of degree $d$ with integer coefficients $\boldsymbol{a}$, where $\langle\cdot,\cdot\rangle$ denotes the inner product. For a non-singular form $P\in \mathbb{Z}[\boldsymbol{x}]$ of degree $k\ (\leq d)$ in $N$ variables, consider a set of integer vectors $\boldsymbol{a}\in \mathbb{Z}^N$, defined by $$\mathfrak{A}(A;P)=\{\boldsymbol{a}\in \mathbb{Z}^N:\ P(\boldsymbol{a})=0,\ \|\boldsymbol{a}\|_{\infty}\leq A\}.$$ By handling a new lattice problem via the geometry of numbers, we confirm that whenever $n> 24d$ and $d\geq 17,$ the proportion of integer coefficients $\boldsymbol{a}\in \mathfrak{A}(A;P)$, whose associated equation $f_{\boldsymbol{a}}(\boldsymbol{x})=0$ satisfies the Hasse principle, converges to $1$ as $A\rightarrow\infty$. This improves on the recent work of the second author.

Mayer--Vietoris sequences for complexes of tori

math.NT

v3

In the patching setting, given a factorization inverse system of fields over which patching for finite-dimensional vector spaces holds, together with a crossed module over the inverse limit field, the corresponding six-term Mayer--Vietoris sequence is constructed, generalizing the classical result of Harbater--Hartmann--Krashen for linear algebraic groups. When the crossed module is a two-term complex of tori, the above sequence is extended into a nine-term exact sequence, notably without any assumption on global domination of Galois cohomology of the inverse system. As an application, we show that patching holds for nonabelian second Galois cohomology of reductive groups with smooth centers. We then obtain a weak local--global principle for this cohomology set in the simply connected semisimple case. We also rediscover a well-known local--global principle for indices of central simple algebras.

Irreducibility and locus of complex roots of polynomials related to Fermat's Last Theorem

math.NT

v4

We study the polynomials $x^n + (1-x)^n + a^n, a \in\mathbb{Q}$, whose rational roots would yield counterexamples to Fermat's Last Theorem. We investigate their factorization over $\mathbb{Q}$. In the case $a \notin \{0, \pm 1\}$, we ask whether they are irreducible over $\mathbb{Q}$, prove the irreducibility for several infinite families, and investigate the location of the roots of these polynomials on the complex plane. For $a=\pm1$, the factorization of $K_{a,n}$ is intimately related to that of the Cauchy--Mirimanoff polynomials $E_n$ and the polynomials $T_n$ and $S_n$ introduced by P. Nanninga. After removing the trivial factors $x$, $x-1$, and $x^2-x+1$, the remaining components agree (up to change of variable) with $E_n$, $S_n$, or $T_n$. We prove several new irreducibility results for these factors.

On the density of rational lines on diagonal cubic hypersurfaces

math.NT

v2

In this paper, we establish the asymptotic estimates for the rational lines on diagonal cubic hypersurfaces defined by $\sum_{i=1}^sc_ix^3_i=0$ with $c_i\in\mathbb{Z}\setminus \{0\},$ provided that $s\geq 19.$ This improves the previously known bound $s\geq 21$ required to obtain such asymptotic estimates. Our approach develops a multidimensional shifting variables argument together with a pruning argument, and exploits the recent progress on the Parsell-Vinogradov system.

Collision of Orbits on an Elliptic Surface

math.NT

v3

Let $C$ be a smooth projective curve defined over $\Qbar$, let $\pi:\mathcal{E}\lra C$ be an elliptic surface and let $\sigma_{P_1},\sigma_{P_2},\sigma_{Q}$ be sections of $\pi$ (corresponding to points $P_1,P_2, Q$ of the generic fiber $E$ of $\mathcal{E}$). We obtain a precise characterization, expressed solely in terms of the dynamical relations between the points $P_1,P_2,Q$ with respect to the endomorphism ring of $E$, so that there exist infinitely many $\l\in C(\Qbar)$ with the property that for some nonzero integers $m_{1,\l},m_{2,\l}$, we have that $[m_{i,\l}](\sigma_{{P_{i}}}(\l))=\sigma_{Q}(\l)$ (for $i=1,2$) on the smooth fiber $E_\l$ of $\mathcal{E}$.

The solvability of the inverse volcano problem over non-prime finite fields

math.NT

v2

For a finite field $\mathbf{F}_{p^k}$ and a prime $\ell \neq p$, consider the graph $G$ of $\ell$-isogenies between ordinary elliptic curves over $\mathbf{F}_{p^k}$. Kohel proved that the connected components of $G$ have a remarkable structure, now called an $\ell$-volcano graph. Bambury, Campagna, and Pazuki investigated the inverse volcano problem: given a volcano graph $V$, can one find it as a connected component of $G$ over $\mathbf{F}_{p^k}$? They gave a complete positive answer over $\mathbf{F}_p$, and described a specific counterexample over $\mathbf{F}_{p^2}$. In this paper, we generalise the results of Bambury-Campagna-Pazuki by providing a precise framework for the inverse volcano problem over $\mathbf{F}_{p^k}$. The solvability of the problem for an $\ell$-volcano graph $V$ of depth $d$ is typically determined by the relation between $d$ and the $\ell$-valuation $r$ of $k$. When $r$ is small in comparison to $d$, we prove that there are infinitely many primes $p$ solving the inverse problem for $V$. The situation where $r$ is large in comparison to $d$ is more delicate: in many cases we prove that the inverse problem for $V$ is unsolvable; in a few other cases the problem appears to be solvable, but our proof of this is conditional on a variant of the Cohen-Lenstra heuristics for class groups of imaginary quadratic fields. We provide some computational evidence in support of these modified heuristics.

Low-Lying Zeros on the Critical Line for Families of Dirichlet $L$-Functions

math.NT

v3

In this paper, we establish a new lower bound for the number of low-lying zeros of Dirichlet $L$-functions $L(s, \chi)$ on the critical line within extremely short intervals. Specifically, for a sufficiently large prime $P$ and real number $T \in [a_1/\sqrt{\log P}, 1]$, we prove that the sum of the number of zeros on the critical line $N_0(T, \chi)$ over characters $\chi \bmod P$ satisfies $$ \sum_{\chi \bmod P} N_0(T, \chi) \gg T^2 P\sqrt{\log P} .$$ Traditional approaches encounter significant technical barriers in this short-interval regime. The Levinson method fails due to its own inherent limitations in handling such restricted intervals , while standard applications of the Selberg mollifier are hindered by the emergence of complex, inseparable cross-terms that are difficult to evaluate. To overcome these obstacles, we introduce a novel analytic framework utilizing high-dimensional Mellin transforms. This approach systematically manages the multi-variable series generated by the mollifier calculations. By explicitly resolving these cross-term obstructions, we extract the localized lower bound, providing a robust method that circumvents the short-interval bottleneck and offers potential applicability to the zero statistics of higher-rank $L$-function families.

Hecke Eigenvalues of Ikeda Lifts

math.NT

v2

In this paper, we study the Hecke eigenvalues of Ikeda lifts. Using the spherical map for the Hecke algebra of the symplectic group, we obtain an explicit formula for the eigenvalues $\lambda_F(p^r)$. From this formula, we show that $\lambda_F(p^r)$ can be written as a polynomial in $p^{\pm 1/2}$ with a positive leading term. Furthermore, we prove that the coefficients of this polynomial are bounded and, as a consequence, the Hecke eigenvalues $\lambda_F(p^r)$ are positive for all sufficiently large primes $p$.

Power Products in Elliptic Divisibility Sequences and Prime-Incidence Obstructions

math.NT

v2

Let $E/\mathbb Q$ be an elliptic curve, let $P\in E(\mathbb Q)$ be non-torsion, and let $(D_n)$ be the associated elliptic divisibility sequence. For a fixed prime $\rho$, we study when an arbitrary finite product \[ \prod_{i=1}^k D_{n_i} \] can be a $\rho$-th power in $\mathbb Q^\times$. The main result is that, under the hypothesis that $D_1$ is divisible by $2$ or $3$, such product relations impose rigid restrictions on the large prime divisors of the indices $n_i$. More precisely, for every $B\ge 2$, all sufficiently large prime divisors $\ell$ which occur as simple largest prime divisors of the indices and whose complementary cofactors are $B$-smooth must occur in $\rho$-balanced blocks. Equivalently, the corresponding prime-incidence rows over $\mathbb F_\rho$ have pairwise disjoint supports, are linearly independent, and satisfy the packing bound \[ |\Lambda^*|\le \lfloor k/\rho\rfloor . \] In particular, if $n_i=\ell_i a_i$, where the $\ell_i$ are sufficiently large primes and the $a_i$ are $B$-smooth, then a $\rho$-th power product relation can hold only if each prime $\ell$ occurs among the $\ell_i$ with multiplicity divisible by $\rho$. The proof combines Silverman's valuation law, a fixed finite-prime-set consequence of Reynolds' finiteness theorem, and the Hasse bound. The case $\rho=2$ gives the corresponding square-product obstruction.

Asymptotic formulas for sums of elements from a multiplicative group

math.NT

v2

Let $K$ be a number field, $k\geq 2$ an integer, $(K^*)^k$ the $k$-fold direct product of $K^*$ with coordinatewise multiplication, and $\Gamma$ a finitely generated subgroup of rank $r$ of $(K^*)^k$. Further, let $H(\alpha )$ denote the absolute exponential height of an algebraic number $\alpha$. Fix non-zero elements $a_1,\ldots , a_k\in K$. We give asymptotic formulas for the number of $\mathbf{x}=(x_1,\ldots , x_k)\in\Gamma$ with $H(a_1x_1+\cdots +a_kx_k)\leq X$ as $X\to\infty$ such that no non-empty subsum of $a_1x_1+\cdots +a_kx_k$ vanishes. By the same method of proof, we obtain an asymptotic formula as $X\to\infty$ for the number of non-negative integers $n$ with $H(u_n)\leq X$, where $\{ u_n\}$ is a linear recurrence sequence.

Extreme $L_p$ discrepancy, numerical integration and the curse of dimensionality

math.NA

cs.NA

math.NT

v3

The classical notion of extreme $L_p$ discrepancy is a quantitative measure for the irregularity of distribution of finite point sets in the $d$-dimensinal unit cube. In this paper we find a dual integration problem whose worst-case error is exactly the extreme $L_p$ discrepancy of the underlying integration nodes. Studying this integration problem we show that the extreme $L_p$ discrepancy suffers from the curse of dimensionality for all $p \in (1,\infty)$. It is known that the problem is tractable for $p=\infty$; the case $p=1$ stays open.

Progress in Formalizing Sphere Packing in Dimension 8

math.MG

cs.AI

cs.LO

math.NT

v3

In 2016, Viazovska famously solved the sphere packing problem in dimension $8$, using modular forms to construct a 'magic' function satisfying optimality conditions determined by Cohn and Elkies in 2003. In March 2024, Hariharan and Viazovska launched a project to formalize this solution and related mathematical facts in the Lean Theorem Prover. A significant milestone was achieved in February 2026: the result was formally verified, with the final stages of the verification done by Math, Inc.'s autoformalization model 'Gauss'. We discuss the techniques used to achieve this milestone, reflect on the unique collaboration between humans and Gauss, and discuss project objectives that remain.

Lift-independence problem in the $P$-adic Simpson correspondence for curves

math.AG

math.NT

v2

Let $X$ be a proper smooth rigid analytic variety over a complete algebraically closed field $p$-adic field $\mathbf C$. Fix an continuation $\mathrm{Exp}$ of $\exp$. Faltings (in the curve case) and Heuer showed that any lifting $\widetilde X$ of $X$ over $\mathbf{B}_{\rm dR}^+/t^2$ induces an equivalence bewteen the category of Higgs bundles on $X_{\mathrm{\acute{e}t}}$ and the category of $v$-bundles on $X_v$. In this paper, we aim to study how the equivalence depends on the choice of such a lifting $\widetilde X$ when $X$ is a curve of genus $g\geqslant 2$. More precisely, we call a Higgs bundle lift-independent if it always corresponds to the same $v$-bundle under $p$-adic Simpson correspondence with respect to any lifting $\widetilde X$ and then we will show that (1) There exists some $r(g)\geqslant \sqrt{g-1}$ such that any semistable lift-independent Hitchin-small Higgs bundle of rank $r\leqslant r(g)$ has zero Higgs field. (2) There always exists a semistable Higgs bundle of degree $0$ with non-zero Higgs field that is lift-independent.