Number Theory [math.NT]

Refuting a Conjecture of Umans and Wang on Arithmetic-Progression Divisor Covers

math.NT

math.CO

An \emph{$n$-divisor set} is a finite set of positive integers containing a multiple of every integer from $1$ through $n$. Umans and Wang proposed, as the arithmetic-progression version of their Strong $(\alpha,\beta)$-Divisor Conjecture, an $n$-divisor arithmetic progression having at most $n^{2\beta}$ terms, each of magnitude at most $\exp(n^\alpha)$. We prove unconditionally that an $n$-divisor arithmetic progression of height $H$ with $\log H=o(\sqrt n)$ must have length \[ L\ge \left(\sqrt{\frac{8}{27}}-o(1)\right) \frac{n^{3/4}}{\sqrt{\log n}}. \] Consequently, the arithmetic-progression version is false whenever $\alpha<1/2$ and $\beta<3/8$. In particular, it is false at the proposed point $(\alpha,\beta)=(1/3,1/3)$, even if both bounds are relaxed by $n^{o(1)}$ at the exponent level. The proof uses primes in a fixed band below $\sqrt n$ to turn semiprime divisibility into a finite incidence structure. An elementary bounded-degree linear-space estimate then gives the result. This theorem concerns the one-dimensional arithmetic-progression version only; it does not disprove the higher-rank Strong Divisor Conjecture.

Squarefree numbers in short intervals: explicit and formalized

math.NT

We make explicit and formalize a result of the author on squarefree numbers in short intervals, showing that for $0 < \varepsilon\le 1/90935 $, $X\ge \exp(10^{27}/\varepsilon^2)$, $H = X^{1/5 - 2/90935 + \varepsilon}$, we have that \[ \biggl|\sum_{X\le n\le X + H } \mu(n)^2 - \frac{6}{\pi^2}H\biggr| \le \frac{10^{450}}{\varepsilon} H X^{-\varepsilon/10^{25}}. \] This article gives an account of what went into making the exponent explicit. The Github repository linked contains the formalization in Lean 4 as well as an account of what went into the largely automated formalization.

Anticyclotomic Iwasawa theory of CM elliptic curves at ramified primes

math.NT

We propose an integral framework for the anticyclotomic Iwasawa theory of CM elliptic curves $E$ at primes $p$ ramified in the CM field. The $\varepsilon$-constants of the geometric specialisations of the associated $p$-adic conjugate symplectic self-dual deformation equidistribute between $\pm 1$ within every layer of the anticyclotomic tower, and none of the geometric specialisations are trianguline at $p$. We define signed Selmer groups via the Lagrangian local conditions arising from the local sign decomposition established in the prequel \cite{BKNO}, and our central result is the formulation and proof of an integral Iwasawa main conjecture relating one of them to the $p$-adic $L$-function $\mathscr{L}_p(E)$ constructed there. We further show that $\mathscr{L}_p(E)$ interpolates the central Hecke $L$-values of the twists with $\varepsilon$-constant $+1$, including twists of arbitrary infinity type, and relate its values at twists with $\varepsilon$-constant $-1$ to the $p$-adic logarithm of certain Selmer elements. This provides the first Iwasawa main conjecture in terms of a $p$-adic $L$-function and Selmer groups for a $p$-adic deformation admitting no trianguline geometric specialisation. The proofs rest on our resolution of a Rubin-type conjecture for the underlying local deformation, together with a theory of plus/minus local points along the anticyclotomic tower, based on the Gaussian plus/minus cyclotomic polynomials rooted in Gauss' Disquisitiones Arithmeticae.

A Combinatorial Approach to Vorono{\"i} Theory

math.NT

This article introduces crystallographic wraiths, new combinatorial invariants attached to Euclidean lattices and linked to the geometry of Vorono{\"i} cells. They are based on geometric properties of shortest linear dependencies among relevant Vorono{\"i} vectors. Moreover, it explores the new theory of crystallographic wraiths, proves that only finitely many occur in each dimension, and extends the construction to a larger class of combinatorial objects. As an application, it provides a new combinatorial proof of Vorono{\"i}'s finiteness theorem for perfect lattices.

An extension of Ramanujan-Guinand identity for the Dedekind zeta function and a new formula for $\zeta_\mathbb{F}(2)$ and $\zeta_\mathbb{F}(2m+1)$

math.NT

On page 253 of his Lost Notebook, Ramanujan recorded an intriguing identity relating a generalized divisor function and a modified Bessel function, which was later rediscovered by Guinand and is now known as the Ramanujan-Guinand identity. In this paper, we establish a number field analogue of this identity for the Dedekind zeta function. In particular, we recover Ramanujan-Guinand identity, Ramanujan-Koshliakov identity, and also obtain the transformation formula for the logarithm of the Dedekind eta function. In 1986, Zagier obtained a formula for $\zeta_\mathbb{F}(2)$ for any number field $\mathbb{F}$. Quite surprisingly, as an application of our main theorem, we also obtain a new formula for $\zeta_\mathbb{F}(2)$ for arbitrary number field $\mathbb{F}$. Moreover, we derive an elegant identity for $\zeta_\mathbb{F}(2m+1)$ for any positive integer $m$ and any number field $\mathbb{F}$.

On semi-stable integral models for Shimura varieties

math.NT

We construct (potentially) semi-stable integral models for a class of Shimura varieties with maximal parahoric level at an odd prime $p$. The main input is an explicit construction of semi-stable equivariant modifications of the relevant canonical local models, where the underlying groups are Weil restrictions of unramified unitary similitude groups, symplectic similitude groups, or even orthogonal similitude groups. Via the local model diagram, these constructions give (potentially) semi-stable integral models of the corresponding Shimura varieties. In particular, the resulting models are regular and have reduced special fiber with normal crossings. As an application, we deduce the unipotence of the inertia action on nearby cycles and the $\ell$-adic cohomology of the geometric generic fibers.

Modularity of Higher Theta Series III: Proof of the Modularity Conjecture

math.NT

math.AG

We prove the Modularity Conjecture for higher theta series on moduli stacks of Hermitian shtukas. For general linear shtukas, we establish a more refined phenomenon that we call supermodularity. As a key input, we prove the Trace Conjecture for Hitchin stacks of low corank, realizing virtual fundamental classes of special cycles as categorical traces.

Towards the Fontaine--Mazur conjecture for GL(2)

math.NT

We combine a new type of modularity result with the geometry of numbers in order to prove some new cases of the Fontaine--Mazur conjecture for GL(2).

Heath-Brown identities for fractional powers of $\zeta$

math.NT

We construct finite Heath-Brown-type identities for the fractional powers $\zeta(s)^{\pm a/b}$ of the Riemann zeta-function, for every reduced fraction $a/b$ with $0 < a/b < 1$, from Newton's binomial series in the algebra of arithmetic functions, and we use them to prove the Vinogradov-quality bound $\sum_{n \le x} d_{\pm a/b}(n)e(n\alpha) \ll_{a,b} ( x q^{-1/2} + x^{4/5} + x^{1/2} q^{1/2} ) (\log 2x)^{C}$, for some constant $C=C(a,b)>0$, whenever $|\alpha - r/q| \le 1/q^2$ with $(r, q) = 1$. The bound carries no $x^{\varepsilon}$ loss, and the same machinery gives the endpoint case of the M\"obius function with an absolute constant. As applications we determine the major-arc expansion of $S_z(x, \alpha) = \sum_{n \le x} d_z(n)e(n\alpha)$ to arbitrary logarithmic precision for real $0<|z|<1$. For rational $z \in (-1,1)$, we determine the order of magnitude of $\sup_{\alpha} |S_z(x, \alpha)|$ and prove an asymptotic formula for the moments $\int_0^1 |S_z(x, \alpha)|^{s}\, d\alpha$ for every fixed real $s > 2$. The minor-arc analysis avoids the theory of $L$-functions entirely, and all constants are effective except those inherited from the Siegel-Walfisz theorem.

On the Existence of Primitive Polynomials $f(x)=g(x)+ \lambda$ over Finite Fields

math.NT

In this paper, we study the existence of primitive polynomials of the form $f(x)=g(x)+\lambda$, where $g(x)\in\mathbb{F}_q[x]$ satisfies $g(0)=0$ and $\lambda$ is a primitive element of $\mathbb{F}_{q^n}$. This problem is motivated by Conjectures 4.1 and 9.1 of \cite{TSR}. Conjecture 4.1 predicts that, for every $m,n\geq 2$, there exists a primitive polynomial of degree $m$ over $\mathbb{F}_{q^n}$ of the form $f(x)=g(x)+\lambda$, where $g(0)=0$ and $\lambda$ is a primitive element of $\mathbb{F}_{q^n}$. Conjecture 9.1 further asserts that, for $m=3$ and $n=2$, the polynomial $x^3+x^2+x+\alpha$ is primitive over $\mathbb{F}_{q^2}$ for every prime power $q$, where $\alpha$ is a generator of the multiplicative group $\mathbb{F}_{q^2}^{*}$. We show that these conjectures are false in general by constructing explicit counterexamples over suitable finite fields. On the other hand, assuming that the characteristic of $\mathbb{F}_q$ does not divide $m$, we derive a sufficient condition for the existence of primitive polynomials of the prescribed form. As a consequence, we prove that for all $m\geq 3$ and $n\geq 2$, the conjectured polynomials exist over sufficiently large finite fields whose characteristic does not divide $m$.

Siegel zeros and small gaps between zeros of the Riemann zeta function

math.NT

On assuming the Riemann Hypothesis, we show that Siegel zeros imply the existence of gaps between the zeros of the Riemann zeta function less than 1/2 the normalised length. Specifically, we show that an infinite family of Siegel zeros implies $\liminf_{n\to\infty}(\gamma_{n+1}-\gamma_n)\log(\gamma_n)/2\pi< 0.4733$ on RH. This refutes the existence of certain strong alternative hypotheses under these assumptions. Our arguments incorporate long Dirichlet polynomials of length $T^{17/14-\varepsilon}$ into the Montgomery--Odlyzko method.

$\Delta$-separated Sidon sets in additive number theory

math.NT

math.CO

The nonempty set $A$ of integers is $\Delta$-separated if $|a-a'| \geq \Delta$ for all $a,a' \in A$ with $a \neq a'$. The set $A$ is a $B_h$-set if every element of the sumset $hA$ has a unique representation as a sum of $h$ elements of $A$. A $B_2$-set is also called a Sidon set. Upper and lower bounds are obtained for the cardinality of the largest $\Delta$-separated Sidon sets contained in the integer interval $\{1,2,\ldots, n\}$.

Universality for Random $p$-adic Polynomials and Random Matrices Via the Resultant Distribution Method

math.PR

math.NT

We prove universality results for zeros of random $p$-adic polynomials with independent, sufficiently non-concentrated coefficients. We show that when the degree goes to infinity, the limiting joint root statistics in arbitrary finite extensions of $\mathbb{Q}_p$ are universal and coincide with those of the Haar coefficient model, whose limiting root statistics were determined by Caruso (arXiv:2110.03942). In particular, our results extend the Haar-model formulas to a broad class of coefficient distributions and to general joint root statistics over finite extensions of $\mathbb{Q}_p$. Our approach is based on a new method, which we call the resultant distribution method. Instead of studying the roots of a random polynomial directly, we analyze the distributions of the resultant valuations against suitable fixed test polynomials. We prove that these resultant distributions determine the limiting law of the polynomial and, together with suitable degree estimates, yield convergence of general root statistics. As a further application, we apply the same method to characteristic polynomials of random $p$-adic matrices with independent entries. We prove that the distinguished factors of the characteristic polynomials converge to universal limiting distributions independent of the entry distribution, thereby showing that such a random matrix model is remarkably robust.

A three-dimensional corner configuration involving the Omega function

math.DS

math.CO

math.NT

Let $\Omega(n)$ denote the number of prime factors of $n$, counted with multiplicity. We prove that if $A\subset\mathbb{N}^3$ has positive upper Banach density, then there are $(x,y,z)\in\mathbb{N}^3$ and $d\in\mathbb{N}$ such that $$(x,y,z),(x+d,y,z),(x,y+d,z),(x,y,z+\Omega(d))\in A.$$ To establish the above result, we give an $L^2$-decoupling theorem for the triple ergodic averages $$ \frac1N\sum_{n=1}^N T_1^n f_1\,T_2^n f_2\,S^{\Omega(n)}g $$ associated with three commuting transformations by isotropy factors and nilpotent structures in $\mathbb{Z}^2$-actions.

Arithmetic Properties of Mixed Stirling Numbers of the second kind

math.CO

math.NT

We investigate the mixed Stirling numbers of the second kind, $\mathcal{S}(n; \mathbf{c})$, which count partitions of $n$ distinct elements into $m$ unlabeled and $k$ labeled non-empty blocks encoded by $\mathbf{c} = (m, 1^k)$. We establish their recurrence relations and exponential generating functions, and analyze their behavior modulo a prime $p$ and $p^2$. In particular, we extend the classical Touchard congruence to this mixed framework. Our results show that these configurations possess unique number-theoretic signatures distinct from classical set partitions.

Squarefree numbers in short intervals

math.NT

v3

We show that there exists $\eta > 0$ such that the interval $[X, X + X^{\frac 15 - \eta}]$ contains a squarefree number for all large $X$. This improves on an earlier result of Filaseta and Trifonov who showed that there is a squarefree number in $[X, X + cX^{\frac 15}\log X]$ for some $c > 0$ and all large $X$. We introduce a new technique to count lattice points near curves satisfying further restrictions, which we use to bound in critical ranges the number of integers in a short interval divisible by a large square. This uses as an input Green and Tao's quantitative version of Leibman's theorem on the equidistribution of polynomial orbits in nilmanifolds.

Moments of real Dirichlet $L$-functions and multiple Dirichlet series

math.NT

v3

We consider the multiple Dirichlet series associated to the $k$th moment of real Dirichlet $L$-functions, and prove that it has a meromorphic continuation to a specific region in $\mathbb{C}^{k+1}$, which is conditional under the generalized Lindel\"of hypothesis for $k\geq 5$. As a corollary, we obtain asymptotic formulas for the first three moments with a power-saving error term, and detect the 0- and 1-swap terms in related problems for any $k$ (conditionally under the Generalized Lindel\"of Hypothesis), recovering the recent results of Conrey and Rodgers on long Dirichlet polynomials. The advantage of our method is its simplicity, since we don't need to modify the multiple Dirichlet series to obtain its meromorphic continuation. As a result, we obtain the asymptotic formulas directly in the form as they appear in the recipe predictions of Conrey, Farmer, Keating, Rubinstein and Snaith.

On the higher analytic vectors of $\mathbf{B}_e$

math.NT

v3

We prove that the first derived analytic vectors of the subring of Fontaine's period ring $\mathbf{B}_e$ stable under the kernel of the cyclotomic character are non-zero. Subsequently we compute their analytic cohomology. We also give a description of the cokernel of the restriction of a variant of the Bloch-Kato exponential map for $\mathbb{Q}_p(n)$ to analytic vectors in terms of derived analytic vectors. In order to achieve the above, we relate pro-analytic vectors with derived analytic vectors in condensed mathematics for regular LF-spaces.

Arithmetic sums and products of infinite multiple zeta-star values

math.NT

v3

Multiple zeta-star values are variants of multiple zeta values which allow equality in the definition. Similar to the theory of continued fractions, every real number which is greater than $1$ can be realized as an unique infinite multiple zeta-star values in a natural way. In this paper, we investigate the arithmetic sums and products of infinite multiple zeta-star values with restricted indices. Moreover, inspired by the theory of continued fractions and Cantor set, we propose a series of conjectures concerning the algebraic points and arithmetic sums and products of infinite multiple zeta-star values with certain indices.

Trilinear Kloosterman fractions I: partially fixed moduli and unbalanced convolutions

math.NT

v2

In this paper, we improve on Fouvry and Radziwi{\l}{\l}'s results on unbalanced convolutions. In particular, we find that if $(\alpha_m)$ and $(\beta_n)$ are sequences supported on $m\sim M$ and $n\sim M$ where $\beta_n$ is equidistributed for small moduli, then \begin{gather*}\sum_{q\sim Q}\left|\mathop{\sum\sum}_{\substack{n\sim N,m\sim M \\ mn\equiv a\pmod q}}\alpha_m\beta_n-\frac{1}{\phi(q)}\mathop{\sum\sum}_{\substack{n\sim N,m\sim M \\ (mn,q)=1}}\alpha_m\beta_n\right|\ll \frac{X}{\log^A X}, \end{gather*} as long as $\exp((\log x)^{\varepsilon}) \leq N \leq Q^{-11/12} X^{17/36-\varepsilon}$ with $Q\leq X^{1/2+1/66-\delta}$, along with wider bounds for $N$ if $Q\leq X^{\frac{45}{89}-\epsilon}$. The former improves the allowable range of $N$, while the latter improves the range of $Q$. To prove these new bounds, we improve Bettin and Chandee's famous result on trilinear forms with Kloosterman fractions in the case where the denominator has a fixed factor.

On the Burgess bound and Pythagorean triples involving primitive roots

math.NT

math.CO

v2

By combining the recent results of Pierce and Xu on the higher-dimensional Burgess bound with the classical one-dimensional Burgess bound, we prove that for any sufficiently large prime $p$, there exists a Pythagorean triple $(a_p,b_p,c_p)$ with $a_p,b_p,c_p\in\mathbb{Z}\cap(0,p)$ such that $a_pb_p/2$ is a primitive root modulo $p$. This confirms a conjecture of Z.-W. Sun for all sufficiently large primes.

Truncated MacMahon-type $q$-series in arithmetic progressions and Chebyshev expansions

math.CO

math.NT

v2

We study three finite families of MacMahon-type $q$-series. The first is the arithmetic-progression family $B_{k,m,N,r}^{\pm}(q)$, which contains the usual truncated MacMahon series and their odd-part analogues as special cases. The other two families, $A_{k,m,a}(q)$ and $C_{k,m,a}(q)$, replace the squared linear factors by quadratic factors and are naturally controlled by Chebyshev polynomials. We prove a double $q$-binomial expansion for $B_{k,m,N,r}^{\pm}(q)$ by a weighted elementary-symmetric-function argument; this proves and extends Merca's Conjecture 7 on truncated MacMahon series. We also establish finite Chebyshev polynomial expansions for $A_{k,m,a}(q)$ and $C_{k,m,a}(q)$, and we give weighted partition proofs of the $a=-2$ identities for both the ordinary family $A_{k,m,a}(q)$ and the odd family $C_{k,m,a}(q)$.

The Arithmetic of Semirings Part I: Ideals

math.AC

math.NT

v2

We study ideals in the semiring $\mathbb{N}$ of natural numbers, with a focus on those which are lost when extending from $\mathbb{N}$ to $\mathbb{Z}$. This leads to a new perspective on the classical theory of numerical semigroups, including the introduction of a natural multiplicative structure. We prove that unique factorization of ideals fails in $\mathbb{N}$ on several levels, introduce a handful of new tropical multiplicative invariants of numerical semigroups, characterize integral closures of ideals in terms of Newton polygons, and analyze the behavior of classical numerical semigroup invariants with respect to the product operation.