Number Theory [math.NT]

A counterexample to a conjecture of Thakur on Carlitz-Wieferich primes

math.NT

Let A = F_q[T] with q a power of an odd prime p, let [n] = T^(q^n) - T, and let rho be the Carlitz module. A monic prime P of A is a c-Wieferich prime (to base 1) if rho_P(1) = 1 mod P^2. Thakur suggested in 2015, on the basis of limited data and of proofs in degrees 2 and 3, that in odd characteristic every c-Wieferich prime has degree divisible by p; the question was restated as open in 2024, and Bamunoba and Bergstrom, after extensive computations, expressed the belief that the statement holds in odd characteristic. We show that it is false: an explicit irreducible c-Wieferich prime of degree 5 over F_{19^3} is exhibited, with 19 not dividing 5. We further give a closed form for the resulting common factor of [5] and M_5: it equals mu(T^q - T) for an explicit quintic mu with coefficients in the prime field F_19, squarefree of degree 5*19^3. Degree 5 is the least possible degree of such a counterexample, and exhaustive computations show that no counterexample exists over the prime fields F_p in a substantial range of degrees and characteristics. Proofs of the completeness statements, and the method by which the example was found, appear in a companion paper.

The Second Term for Strongly 2-Primitive Sets

math.NT

math.CO

Let $F(n)$ be the largest size of a set $A\subseteq[1,n]$ such that $a\nmid bc$ whenever $a,b,c\in A$ and $a\notin\{b,c\}$, with $b$ and $c$ allowed to coincide. We prove \[ F(n)=\pi(n)+\left(\frac{27}{2}+o(1)\right)\frac{n^{2/3}}{(\log n)^2}. \] This determines the second-order constant conjectured by Erd\H{o}s; the upper bound keeps the leading constants in his multiplicative basis, while the lower bound packs scale-separated prime triples by proper edge-colourings.

A weighted entropy approach for the quadratic inverse large sieve conjecture

math.NT

The quadratic inverse large sieve problem predicts that the examples sharp at the square-root threshold are essentially quadratic. Hanson proved the first unconditional result in this direction: if $A\subseteq[N]$, $|A|\gg\sqrt N$, and $|A_p|\le p/2+O(1)$ for every prime $p$, then $A$ contains $\gg\log N$ elements in the image of a single quadratic. We significantly improve this lower bound to \[ \exp\left(c\frac{\sqrt{\log N}}{\log\log N}\right). \] We also prove density-dependent variants, including a two-set version motivated by Green--Harper's robust inverse large sieve conjectures and their connection with the inverse Goldbach problem. Combined with a theorem of Elsholtz--Harper on hypothetical decompositions of the primes, our results show that any such decomposition would force both summands to have large intersections with quadratic images. Our proof combines a weighted entropy argument with sieve estimates, inspired by the recent work of Croot--Mao--Pohoata--Sheffer--Yip.

Finiteness of the Tate-Shafarevich group over function fields for groups of multiplicative type

math.NT

math.AG

Let $K = k(X)$ be the function field of a smooth geometrically integral variety $X$ of dimension $\geq 2$ over a field $k$ of characteristic 0 and $V$ be the set of discrete valuations of $K$ associated with the prime divisors on $X$. We show that if $D$ is a $k$-defined group of multiplicative type, then the corresponding Tate-Shafarevich group $Sha(D,V) = \ker \left(H^1(K,D) \to \prod_{v \in V} H^1(K_v, D) \right)$ is finite in the following situations: (1) $k$ is finitely generated and $X(k) \neq \emptyset$; (2) $k$ is a number field. This complements previous work of Harari and Szamuely, which considered the case where $X$ is a curve.

Sets of unit fractions without two members whose average is a unit fraction

math.NT

math.CO

We show that there is a constant $c>0$ such that, for all sufficiently large $N$, there is a subset $A \subseteq \{1,\dots,N\}$ of size $>cN$ such that for any two distinct elements $a,b$ in $A$, the average of $\frac{1}{a}$ and $\frac{1}{b}$ is not a unit fraction, negatively answering a question of Erd\H{o}s and Graham. This also gives the best known lower bounds on the maximum size of a set of unit fractions without non-trivial three-term arithmetic progressions.

Indecomposable translates and degree-$d$ points

math.NT

math.AG

A curve over a number field has infinitely many degree-$d$ points if and only if there exists a degree-$d$ $\mathbb{P}^1$- or $AV$-parametrized point. We show that a $\mathbb{P}^1$-isolated $AV$-parametrized point arises only from an abelian translate satisfying a certain property, which we term ``indecomposable". We apply our results to a family of genus-7 curves for which we can show that every effective abelian translate in degree 5 is decomposable over the algebraic closure, giving a negative answer to a question of Viray and Vogt.

On the existence of Newman and Littlewood multiples for certain integer polynomials

math.NT

Newman polynomials have coefficients in {0, 1} and constant term 1, whereas Littlewood polynomials have coefficients in {-1, 1}. We study two questions concerning the existence of Newman and Littlewood multiples for certain integer polynomials. For Newman multiples, we revisit a question of Hare and Mossinghoff [6]: whether there exists a real number sigma > 1 such that every P in Z[x] with no nonnegative real root and Mahler measure less than sigma has a Newman multiple. To bound any possible value of sigma from above, we seek polynomials with no nonnegative real root and no Newman multiple, and with Mahler measure as small as possible. Using the updated database of known small-Mahler-measure polynomials up to degree 200 [11], we test, for each listed polynomial p(x), both p(x) and its sign transform p(-x). These two polynomials have the same Mahler measure, but the existence of a Newman multiple is not invariant under the substitution x -> x. After a degree-bounded prefilter formulated as a mixed-integer linear optimization problem, we apply the Hare-Mossinghoff certification procedure to the remaining candidates. This yields 14 irreducible polynomials of Mahler measure less than 1.3, with no nonnegative real root and no Newman multiple. The smallest of their Mahler measures is 1.263095875491..., showing that any such sigma is at most this value. For Littlewood multiples, we return to the three Newman polynomials listed in Table 3 of Drungilas, Jankauskas, Junevicius, Klebonas and Siurys [3], for which the existence of a Littlewood multiple of smallest possible degree was left unresolved. We show that one of them attains this degree, whereas the other two have no Littlewood multiple at either of their first two possible degrees.

Improved bounds for multiplicative functions in almost all short intervals

math.NT

We refine the Matom\"aki-Radziwi{\l}{\l} method for short averages of multiplicative functions. For the Liouville function and multiplicative functions supported on smooth numbers, we prove decay bounds that are essentially optimal with the Matom\"aki-Radziwi{\l}{\l} method. The key new ingredient is a sharper treatment of the sieve error, achieved by introducing a more widely separated final prime range when restricting to integers with typical factorizations. We additionally give a weaker but still improved bound for arbitrary 1-bounded multiplicative functions and discuss some limitations of the method. As an application, we give an improved bound for the averaged Chowla conjecture of Matom\"aki-Radziwi{\l}{\l}-Tao that seems essentially best possible via their method.

Arithmetic unlikely intersections in powers of the multiplicative group

math.NT

Inspired by work of Bugeaud-Corvaja-Zannier, we formulate a conjecture about unlikely intersections in powers of the multiplicative group over the ring of integers in a number field. Broadly speaking, if an intersection with a subgroup scheme is unlikely for dimension reasons, its ``size" should not be too big compared to the ``complexity" of the subgroup scheme. We first obtain some results on likely intersections that serve as a benchmark for the unlikely case and generalize work of Barroero-Capuano-M\'erai-Ostafe-Sha. We then show that our conjecture in dimension $1$ follows from work of Corvaja-Zannier, we obtain some partial result in dimension $2$, and we present some open problems that are special cases of the conjecture.

A comment on the number of $k$-th powers inside arithmetic progressions

math.NT

In \cite{BD} Bourgain and Demeter found sharp upper bounds for the number of $k$-th powers inside arbitrary arithmetic progressions whose step has $O(1)$ many divisors. We make the easy observation that the same arguments are still valid if the step does not grow too rapidly in relation to the length of the progression. Furthermore, we give sharp bounds for the number of $k$-th powers among the first $N$ terms for $N$ large enough. Both results should be known. Nevertheless, we add to the literature.

Upper bounds for moments of analytic ranks of elliptic curves over number fields

math.NT

We prove a conditional upper bound for moments of the analytic rank of elliptic curves over number fields. We also prove conditional bounds for the density of elliptic curves with analytic rank larger than a given bound.

An improvement on the largest prime factors of consecutive integers

math.NT

Let $P^+(n)$ denote the largest prime factor of $n$. One of Erd\H{o}s and Tur\'an's conjectures asserts that the asymptotic density of integers $n$ satisfying $P^+(n)

<1$, we also show that \begin{align*} \mathop{\lim \sup}_{x\rightarrow\infty}\frac{T_c(x)}{\pi(x)}\leq \min\left(-\frac{7}{2}\log c,\frac{1-\delta}{2c}\right), \end{align*} where $\delta=\delta(c)>0$.

Equidistribution for abelian extensions of global fields

math.NT

We establish asymptotic formulas for abelian extensions of global function fields ordered by conductor and subject to prescribed local conditions. Our proof combines harmonic analysis with a theory of frobenian functions over global function fields developed in this paper. We interpret our result via equidistribution on algebraic stacks.

Defining reduction types of curves via minimal regular and minimal normal crossings models

math.NT

math.AG

We propose a definition of the reduction type of a curve over a discretely valued field in terms of the special fibre of an arbitrary regular model. We show that under this definition, the reduction type in terms of the minimal regular model determines and reduction type in terms of the minimal regular normal crossings model and vice versa. We also show that our definition is compatible with earlier classification results in low genus, namely the Kodaira-N\'eron classification for elliptic curves and the classification result of Namikawa-Ueno in genus 2. The essential new element in our definition is a suitable invariant of the singularities on the special fibre, building on the notion of equisingularity introduced by Zariski.

Conjectural Decidability of the Skolem Problem

cs.DM

math.NT

The Skolem Problem asks to determine whether a given integer linear recurrence sequence (LRS) has a zero term. This problem, whose decidability has been open for many decades, arises across a wide range of topics in computer science, including loop termination, formal languages, automata theory, and probabilistic model checking, amongst many others. In the present paper, we introduce a notion of "large" zeros of (non-degenerate) linear recurrence sequences, i.e., zeros occurring at an index larger than a double exponential of the magnitude of the data defining the given LRS. We establish two main results. First, we define an infinite set of prime numbers, termed "good", having density one amongst all prime numbers, with the following property: for any large zero of a given LRS, there is an interval around the large zero together with an upper bound on the number of good primes possibly present in that interval. The bound in question is much lower than one would expect if good primes were distributed similarly as ordinary prime numbers, as per the Cram\'er model in number theory. We therefore conclude, conditionally on a strengthening of the classical Cram\'er conjecture, that large zeros do not exist, which would entail decidability of the Skolem Problem. Second, we show unconditionally that large zeros are very sparse: the set of positive integers that can possibly arise as large zeros of some LRS has null density. This in turn immediately yields a Universal Skolem Set of density one, answering a question left open in the literature.

Singular points for cone actions on the product of certain homogeneous spaces

math.DS

math.NT

In this paper, we investigate divergent orbits for cone actions on products of certain homogeneous spaces. We introduce a notion of essential singularity for such actions, and estimate the Hausdorff dimension of the corresponding singular set. In particular, let $G/\Gamma=\mathrm{SL}(2,\mathbb{R})^s/\mathrm{SL}(2,\mathbb{Z})^s$, and let $C$ be a cone in the positive Weyl chamber with angular aperture $\epsilon>0$. Then the Hausdorff dimension of the set of points with essential divergent orbits under $C$ satisfies that when $\epsilon\in (0,\frac{1}{64})$, $$ 3s-\frac{1}{2}-4(s-1)\epsilon \leq \dim D^e(C, G/\Gamma)\leq 3s-\frac{1}{2}-\frac{1}{3}\epsilon. $$ This extends the previous result of An--Guan--Marnat--Shi \cite{AGMS} to higher-dimensional cone actions.

Equidistribution of rational points and the geometric sieve for toric varieties

math.NT

math.AG

v3

We prove the Manin--Peyre principle about the equidistribution of rational points on smooth proper split toric varieties. That is, rational points of bounded anticanonical height outside of the boundary divisors are equidistributed with respect to the Tamagawa measure in the adelic space. Based on a refinement of the universal torsor method due to Salberger, we provide asymptotic formulas with effective error terms for the number of rational points lying in an arbitrary adelic neighbourhood, and we also prove an effective version of the Ekedahl-type geometric sieve. Several applications to sieving rational points are derived.

Delta Theory of Anderson Modules I: Differential Characters

math.NT

math.AG

v2

In this article we develop the theory of differential or delta characters (the arithmetic analogue of Manin characters) of Anderson modules. Here we generalize the construction by Borger and Saha of the canonical finite rank $R$-module $\mathbf{H}(E)$ with a semilinear operator on it to any Anderson module $E$, where $R$ is the base ring which is a $\pi$-adically complete discrete valuation ring with a fixed lift of Frobenius $\phi$ on it. Then we show that $\mathbf{H}(E)$ admits a functorial map to the de Rham cohomology $\mathbf{H}_{\mathrm{dR}}^*(E)$ of $E$ which also preserves the Hodge filtration. We also prove that the module of delta characters $\mathbf{X}_{\infty}(E)$ is finite and free as an $R\{\phi^{*}\}$-module. This leads to a strengthened version of an analogous result by Buium on the generation of differential characters of abelian varieties. We also construct a family of differential modular functions that play the analogous role of $f_{\mathrm{jet}}$ constructed by Buium for elliptic curves. In a subsequent article, the finite rank $R$-module $\mathbf{H}(E)$ will lead to the construction of a canonical $z$-isocrystal $\mathbf{H}_{\delta}(E)$ with a Hodge-Pink filtration on it and we will show that $\mathbf{H}_{\delta}(E)$ is an admissible $z$-isocrystal.

Lefschetz decompositions of Kudla-Millson theta functions

math.NT

math.AG

v2

In the 1980's Kudla and Millson introduced a theta function in two variables. It behaves as a Siegel modular form with respect to the first variable, and is a closed differential form on an orthogonal Shimura variety with respect to the other variable. We prove that the Lefschetz decomposition of the cohomology class of that theta function is also its modular decomposition in Eisenstein, Klingen and cuspidal parts. We also show that the image of the Kudla-Millson lift is contained in the primitive cohomology of X. As an application, we deduce dimension formulas for the cohomology of X in low degree. Our results cover the cases of moduli spaces of compact hyperk\"ahler manifolds.

On the uniform distribution modulo $1$ of zeros and $a$-points of zeta functions

math.NT

v2

Fujii gave five sufficient conditions for the uniform distribution modulo $1$ of the sequence $(u f(\gamma_n))$, where $\gamma_n$ runs over the imaginary parts of the non-trivial zeros of the Riemann zeta function. In this paper, we provide four sufficient conditions for the uniform distribution modulo $1$ that apply to a much broader class of sequences. Our method relies solely on the asymptotic behavior of the counting function and does not require the intricate calculations concerning the Riemann zeta function employed by Fujii in his paper. As applications, we prove the uniform distribution modulo $1$ of $(u f(x_n))$ for various sequences $(x_n)$, including the non-trivial $a$-points of the derivatives of the Riemann zeta function, the non-trivial zeros of the derivatives of Dirichlet $L$-functions, and the non-trivial zeros of functions in the Selberg class. Furthermore, by applying the Erd\H{o}s--Tur\'an inequality, we obtain an upper bound for the discrepancy of these sequences.

On Maximal Prime Gaps

math.NT

v4

In this paper, we show a new upper bound of prime gaps, that is the gap between a prime number and its consecutive prime number. We show that the gap between a prime number $p_n$ and its consecutive prime number is not larger than $\frac{13}{3}\log^2{p_n}$. We also show that the result implies the existence of a prime number in a certain type of interval for large enough numbers as a consequence.

Obstructions and kernel transport for Hecke lifts of partition q-brackets

math.NT

math.CO

v2

By the Bloch-Okounkov theorem, the $q$-bracket sends shifted symmetric functions on partitions to quasimodular forms. Following a question of van Ittersum, we study whether the Hecke action on quasimodular forms lifts through this map, in the sense of exact lifts $A_{n,2k}$ with $\langle A_{n,2k}f\rangle_q = T_{n,2k}\langle f\rangle_q$. Our main theorem is that Zagier's lowering operator $B=\frac{1}{2}(D-\partial^2)$ is injective on the genuine homogeneous subspace in every weight at least $4$, although it is not injective on the formal algebra. For exact lifts compatible with lowering, this transports Hecke actions on $q$-bracket kernels between adjacent weights, with divisibility consequences for characteristic polynomials and $p$-adic constraints on kernel eigenvalues. In fixed weight, we classify all exact lifts by an action on the kernel and a kernel-valued cocycle relative to a section. Two obstruction results show that no exact lift is an algebra homomorphism, and that even strict compatibility with multiplication by $Q_2$ already fails in weight $6$. Finally, we construct exact lifts with scalar kernel action whenever the $q$-bracket image is Hecke-stable, and exact rational computations give $q$-bracket surjectivity through weight $16$ and therefore existence of Hecke lifts through weight $16$.

Positive dyadic density for rational weighted binary expansions

math.NT

v3

Let $S\subseteq\mathbb N$ be infinite, and consider the weighted binary expansion $\eta_S=\sum_{n\in S}n2^{-n}$. We prove that if $\eta_S$ is rational, then $S$ occupies a positive proportion of every sufficiently large dyadic block. The proportion depends only on the reduced denominator of $\eta_S$. This blockwise density theorem implies Erd\H{o}s Problem~260. Rationality turns the scaled binary tails into nonnegative integer carries bounded linearly in the scale. If a dyadic block were sparse, its overlapping gap windows would give a positive lower bound for the integrated excess over a threshold interval. A lattice congruence places the carry states associated with each frequent initial long prefix on an affine occurrence line. Their continuations trace a path of normalized slopes. Odd denominators and separation of reduced fractions control paths that remain in $(0,1)$. Once a path leaves $[0,1]$, its distance from that interval grows exponentially, while the original integer parameter is retained for reconstruction. A partition into four disjoint classes combines the complementary multiplicity estimates into an upper bound for the same integrated excess. The two bounds contradict one another. Thus rationality forces a local density condition on every infinite support of this form.

A few remarks on the Baez-Duarte Criterion

math.NT

math.CO

v2

The goal of this paper is to derive a few very interesting lemmas related to the B\'{a}ez-Duarte criterion.

Hilbert's tenth problem for rings of holomorphic functions of bounded order

math.CV

math.LO

math.NT

v2

One of the main open problems in the context of extensions of Hilbert's tenth problem (HTP) is the case of the ring of complex entire functions in one variable. In the direction of an answer, for every $\rho\ge 0$, we give a negative solution to the analogue of HTP in the ring of complex entire functions in one variable of growth order at most $\rho$.

Heights of complete intersections in toric varieties

math.AG

math.NT

v2

The height of a toric variety and that of its hypersurfaces can be expressed in convex-analytic terms as an adelic sum of mixed integrals of their roof functions and duals of their Ronkin functions. Here we extend these results to the $2$-codimensional situation by presenting a limit formula predicting the typical height of the intersection of two hypersurfaces on a toric variety. More precisely, we prove that the height of the intersection cycle of two effective divisors translated by a strict sequence of torsion points converges to an adelic sum of mixed integrals of roof and duals of Ronkin functions. This partially confirms a previous conjecture of the authors about the average height of families of complete intersections in toric varieties.

Intrinsic ergodicity for $\mathfrak{B}$-free integers in number fields

math.DS

math.NT

v2

Let $K$ be a number field with ring of integers $\mathscr{O}_K$, and let $\mathfrak{B}$ be an Erd\H{o}s family of ideals in $\mathscr{O}_K$. We prove that the associated $\mathfrak{B}$-free subshift $(X_{\mathfrak{B}},(S_a)_{a\in\mathscr{O}_K})$ is intrinsically ergodic: it carries a unique measure of maximal entropy, which we identify explicitly as a relatively independent extension of the Haar rotation on $\prod_{\mathfrak{b}\in\mathfrak{B}}\mathscr{O}_K/\mathfrak{b}$. This is the first proof of intrinsic ergodicity for $\mathfrak{B}$-free systems beyond dimension one, and relies on the work of Ara\'ujo--Dymek--Ku\l aga-Przymus. Via their reductions, we also settle the $k$-free and $\mathfrak{B}$-free lattice-point cases and the $k$-free number-field case. We give two independent proofs of the underlying rigidity statement: one through a single-site relative-entropy argument, and one through an exact-tiling realisation of Peckner's induce-and-split scheme.