Number Theory [math.NT]

Sieving with square conditions and applications to Hilbert cubes in arithmetic sets

math.NT

math.CO

The purpose of this paper is twofold: 1) Applications of Gallagher's larger sieve modulo prime squares do not work. In some relevant cases we can transform the residue class information modulo $p^2$ to more suitable residue information modulo $p$, so that we can successfully apply the sieve. 2) The applications to Hilbert cubes are of interest in their own right: We study the maximal dimension of Hilbert cubes in various multiplicatively defined sets. For the squareful numbers in $[1,N]$ we achieve an upper bound of the dimension of $d=O(\log N)$. The same upper bounds follow for multiplicative semigroups of integers defined by a positive proportion of the primes, and the set of integers representable by an irreducible positive definite binary quadratic form. Eventually, making use of the sun flower lemma we give an improvement on the maximal dimension $d$ of subset sums in the set of pure powers in $[1,N]$.

Counting subalgebras of $\mathfrak{a}$

math.NT

Let $\mathfrak{o}$ be a compact discrete valuation ring and $n\geq 2$. We introduce a method to study the cotype zeta function of subalgebras of $\mathfrak{o}^n$. This multivariable series encodes the number of finite-index subalgebras $\Lambda$ of the $\mathfrak{o}$-algebra $\mathfrak{o}^n$ of a given elementary divisor type. We express this zeta function as a finite sum of $\mathfrak{o}$-adic integrals and compute these integrals in many cases. As a first application, we recover known results in a natural way from our approach. For instance, we obtain a lower bound for the abscissa of convergence of the subalgebra zeta function of $\mathfrak{o}^n$ by exhibiting an explicit pole. We also determine the number of irreducible subrings of $\mathfrak{o}^n$ of small index. As a second application, we give an explicit formula for the cotype zeta function of subalgebras of $\mathfrak{o}^4$.

Density results for $r$-gaps between zeros of the Riemann zeta-function

math.NT

Let $0<\gamma_1\leq \gamma_2\leq \ldots$ denote the positive ordinates of the non-trivial zeros of the Riemann zeta-function. A result first announced by Selberg states that there exist absolute constants $\Theta, \vartheta>0$ such that for each $r\in \mathbb{N}$, \[ \limsup_{n\to \infty}\frac{\gamma_{n+r}-\gamma_n}{2\pi r/\log \gamma_n}\geq 1+\frac{\Theta}{r^\alpha} \qquad \text{and}\qquad \liminf_{n\to \infty}\frac{\gamma_{n+r}-\gamma_n}{2\pi r/\log \gamma_n}\leq 1-\frac{\vartheta}{r^\alpha} \] where $\alpha$ may be taken as $2/3$, or as $1/2$ if one assumes the Riemann hypothesis. This was recently proved by Conrey and Turnage-Butterbaugh under RH and by Inoue unconditionally. We prove that in fact a positive proportion of $r$-gaps are large (and small) to the above extent, and we provide explicit estimates for the sizes and proportions of these gaps. In the case $r=1$, this quantitatively improves an unconditional result of Simoni\v{c}, Trudgian and Turnage-Butterbaugh.

Construction of a $p$-extension of number fields whose unit group has prescribed Galois module structure

math.NT

Let $G$ be a finite $p$-group. We construct a $G$-extension $K/k$ of number fields such that the $p$-adic completion of the unit group of $K$ has a prescribed $\mathbb{Z}_p[G]$-module structure, up to free direct summands.

On the size of $\{a: 1\leq a

math.NT

Srikanth Cherukupally

For number $n>1$, let $\mathcal{A}(n) = \{1\leq a< \log_2 n$, and establish the average value of $|\mathcal{A}(n)|$ to be a little above $2$, asymptotically. But the empirical data up to $n<10^7$ indicate that $|\mathcal{A}(n)|\leq 3$, proving which is left as an open issue.

Decidability of singularities in the Ekedahl--Oort stratification

math.NT

math.AG

For an abelian type Shimura variety and an odd prime $p$ of good reduction, we characterize the regularity in codimension one of Zariski closures of Ekedahl--Oort strata in terms of the Frobenius action on the root datum. We give an algorithm that detects codimension one singularities for arbitrary Ekedahl--Oort strata. When the Shimura datum is of split type, we relate the singularities of Ekedahl--Oort strata to a stack of $G$-zips over the complex numbers. We study the existence of generalized Hasse invariants on this stack.

Murmurations, Mestre--Nagao sums, and Convolutional Neural Networks for elliptic curves

math.NT

stat.ML

We apply one-dimensional convolutional neural networks to the Frobenius traces of elliptic curves over $\mathbb{Q}$ and evaluate and interpret their predictive capacity. In keeping with similar experiments by Kazalicki--Vlah, Bujanovi\'{c}--Kazalicki--Novak, and Pozdnyakov, we observe high accuracy predictions for the analytic rank across a range of conductors. We interpret the prediction using saliency curves and explore the interesting interplay between murmurations and Mestre--Nagao sums, the details of which vary with the conductor and the (predicted) rank.

Linear truncation for conditioned prime-factor fibres

math.NT

In previous joint work with Tenenbaum, the truncation step $f \mapsto f_R$ in the conditional effective Erdos-Wintner theorem on the fibre $\omega(n)=k$ yields, in the continuous case for real strongly additive $f$, a remainder of size $\eta_f(R)^{r/(r+1)}$, where $R$ is the truncation level and $r=k/\log\log x$. We prove an effective linear truncation lemma showing that, in the central window $\kappa \le r \le 1/\kappa$, this bound improves to the natural linear scale $r\eta_f(R)$ under an effective Sathe-Selberg-type ratio estimate for the fibre. This yields a direct effective sharpening of the truncation step in the previous joint work. The same truncation upgrade also applies to prime-set restrictions, $\Omega$-fibres, and weighted fibres whenever the corresponding ratio estimate is available.

Fields with no everywhere good abelian varieties

math.NT

We extend methods of Fontaine, Abrashkin and Schoof to obtain criteria determining number fields K over which no non-zero abelian variety with everywhere good reduction exists. As an application, under the GRH, we find 24744 such fields of various degrees up to 16.

Diophantine approximation with integers having no large prime factors

math.NT

Given any irrational number $\alpha$ and a real number $\kappa>0$, we show that for any $\theta<\theta_0(y)$, there are infinitely many $y$-smooth (friable) numbers $n$ such that $$\|n\alpha\|

Parry condition, existence and uniqueness of alternate bases

math.NT

cs.DM

math.CO

Alternate bases are a numeration system that generalizes the R\'enyi numeration system. It is common in this context to construct examples or counter-examples by specifying the expansions of $1$ in the desired system. While it is easy to show when a system with given expansions of $1$ exists in the R\'enyi case, the same is not true in the alternate case. In this article, we establish conditions for given words to be the expansions of $1$ in the alternate case. To do so, we use a fixed point theorem on matrices defined from the expansions and obtain the elements of the base from the components of the fixed point. We also obtain a partial result for the uniqueness of such a base. In the latter parts of the article, we use similar techniques to prove the existence of bases with a given sequence of $B$-integers.

On rank $2$ hypergeometric motives

math.NT

Hypergeometric motives are family of motives associated to hypergeometric local systems. Their special features, in particular their rigidity, makes them more tractable than general motives. In the present article we prove most of the properties that they are expected to satisfy in the rank $2$ case.

The inverse problem for the Steiner--Wiener index via additive number theory

math.CO

math.NT

We show that, for any given $k \ge 2$, every sufficiently large number appears as the Steiner--Wiener $k$ index of a graph.

On the positivity and integrality of coefficients of mirror maps

math.NT

math.AG

v2

We present natural conjectural generalizations of the `positivity and integrality of mirror maps' phenomenon, encompassing the mirror maps appearing in the Batyrev--Borisov construction of mirror Calabi--Yau complete intersections in Fano toric varieties as a special case. We find that, given the combinatorial data from which one constructs a mirror pair of Calabi--Yau complete intersections, there are two ways of writing down an associated `mirror map': one which is the `true mirror map', meaning the one which appears in mirror symmetry theorems; and one which is the `naive mirror map'. The two are equal under a certain combinatorial criterion which holds e.g. for the quintic threefold, but not in general. We conjecture (based on substantial computer checks, together with proofs under extra hypotheses) that the naive mirror map always has positive integer coefficients, while the true mirror map always has integer (but not necessarily positive) coefficients. Almost all previous works on the integrality of mirror maps concern the naive mirror map, and in particular, only apply to the true mirror map under the combinatorial criterion mentioned above.

Zero-cycles on varieties over a $\mathfrak{B}_s$-field

math.NT

v2

A field $F$ is a $\mathfrak{B}_s$-field if, for every finite extension $E'/E$ of $F$, the norm map $K_s^M(E')\to K_s^M(E)$ of the Milnor $K$-groups is surjective. In particular, finite fields ($s=1$), local fields, and certain global fields (with $s=2$) satisfy this condition. For such a field $F$ and a $d$-dimensional variety $X$ over $F$, we prove that $CH^{d+n}(X,n)$ is divisible for $n \geq s+1$, and $CH^{d+s}(X,s)$ is isomorphic to the direct sum of the Milnor $K$-group $K_{s}^M(F)$ and a divisible group. As an application, we study the Kato homology groups $KH_0^{(n)}(X,\mathbb{Z}/l^r\mathbb{Z})$ for any prime $l$ different from the characteristic of $F$.

Elliptic butterflies

math.NT

v2

We study natural evaluation and interpolation problems for elliptic functions and prove that they allow a recursive treatment using a variant of classical butterflies first introduced by Gauss. We deduce the existence of straight-line programs with complexity scaling with $d\log(d)$ for these problems and present applications to finite field arithmetic, coding theory and cryptography.

Primitive-Root Determinant Densities over Prime Fields and Implications for PRIM-LWE

cs.CR

math.NT

v2

The PRIM-LWE problem, introduced by Sehrawat, Yeo, and Desmedt (Theoretical Computer Science, 886 (2021)), is a variant of the Learning with Errors problem in which the secret matrix is required to have a primitive-root determinant. The dimension-uniform reduction constant is $c(p)=\inf_{n\ge 1}c_n(p)$, where $c_n(p)$ is the exact density of $n\times n$ matrices over $\mathbb{F}_p$ with primitive-root determinant. Sehrawat, Yeo, and Desmedt asked whether $\inf_{p\text{ prime}} c(p)=0$, observing that an affirmative answer would follow from the conjectural infinitude of primorial primes. We resolve this question unconditionally using only Dirichlet's theorem and Mertens' product formula, entirely bypassing the primorial-prime hypothesis. We further establish the sharp order \[ \min_{p\le x} c(p)\asymp \frac{1}{\log\log x} \qquad (x\to\infty), \] and show that the limiting distribution of $c(p)$ over the primes has support exactly $[0,1/2]$. We have not found this full-support statement in the literature. The law coincides with the classical shifted-prime distribution of $\varphi(p-1)/(p-1)$ via a transport lemma and is moreover continuous and purely singular. We also derive explicit lower bounds on $c(q)$ for primes of cryptographic interest, parameterized solely by the number of distinct prime factors of $q-1$. As a simple conservative explicit bound, for any prime $q>2^{30}$ the expected overhead $1/c(q)$ is at most $1.79\log q$. On the other hand, our results show that the worst-case overhead among primes $p\le x$ is of order $\Theta(\log\log x)$, and in particular $1/c(q)=O(\log\log q)$ pointwise.