Number Theory [math.NT]

Asymptotic distribution of CM points on the reduction of the Drinfeld modular curve

math.NT

We study a distribution problem over global function fields. More precisely, we describe the asymptotic distribution of rank $2$ CM Drinfeld modules among the irreducible components of the analytic reduction of the Drinfeld modular curve. We focus on the case where the associated quadratic extension is inert at infinity. Our approach relies on harmonic analysis on the quotient of the Bruhat-Tits tree.

On Elliptic Sequences over Commutative Rings

math.NT

math.AC

We define elliptic sequences over a commutative ring as sequences indexed by the (positive) integers satisfying a 4-parameter, highly symmetric family of homogeneous quartic relations among terms which we call elliptic relations. We classify elliptic sequences over a field into three types, and show that most of them are dilated multiples of standard elliptic divisibility sequences (EDSs) which form countably many 4-dimensional families. In particular, we show standard EDSs are elliptic in a purely algebraic way using intricate implications among elliptic relations, without relying on complex analytic theory of Weierstrass functions. We shall use results presented here to give a purely algebraic treatment of division polynomials in a follow-up paper.

A statistical investigation of a divisor-sum function

math.NT

The sum of proper divisors function $s(n)$ has been studied for more than 2000 years. In this paper we study statistical properties of the related function $S_s(n) := \sum_{d \mid n} s(d)$. This function arises from a generalization of the practical numbers. We prove that $S_s(n)/n$ has a continuous asymptotic distribution function, and that its values are dense in the interval $[0,\infty)$. We also establish mean value computations for $S_s(n)$ and $S_s(n)/n$, and provide uniform bounds for the higher order moments of $S_s(n)/n$. The main novelty in this paper is that we highlight a new method of Lebowitz-Lockard and Pollack that is useful for showing that certain functions have a continuous distribution function where classical methods sometimes fail.

Matchable numbers

math.NT

math.CO

We say a natural number $n$ is matchable if there is a bijection from the set of $\tau(n)$ divisors of $n$ to the set $\{1,2,\dots,\tau(n)\}$, where corresponding numbers are relatively prime. We show that the set of matchable numbers has an asymptotic density, which we compute, and we show that every squarefree number is matchable. We also present some related unsolved problems.

Proof of a conjecture of Banerjee,Bringmann and Bachraoui on infinite families of congruences

math.NT

Recently, Andrews and Bachraoui investigated congruences for certain restricted two-color partitions. They made two conjectures for Ramanujan type congruences and a vanishing identity for the limiting sequence. Very recently, Banerjee, Bringmann and Bachraoui confirmed these three conjectures by relating the corresponding generating function to modular forms and mock theta functions. At the end of their paper, they posed a conjecture on infinite families of congruences modulo 4 and 8 for the limiting sequence. The Banerjee-Bringmann-Bachraoui's conjecture implies the two conjectures given by Andrews and Bachraoui. In this note, we settle Banerjee-Bringmann-Bachraoui's conjecture on infinite famlies of congruences based on Banerjee-Bringmann-Bachraoui's results and an identity due to Waston.

There are infinitely many Hilbert cubes of dimension 3 in the set of squares

math.NT

math.CO

A Hilbert cube of dimension $d$ is the set of integers \[ H(a_{0}; a_{1}, \ldots, a_{d})=a_{0}+\{0, a_{1}\}+\cdots+\{0, a_{d}\}=\left\{a_{0}+\sum_{i=1}^{d}\varepsilon_{i}a_{i}:\;\varepsilon_{i}\in\{0,1\}\right\}. \] Brown, Erd\H{o}s and Freedman asked whether the maximal dimension of a Hilbert cube in the set $\cal{S}=\{n^2:\;n\in\mathbb{N}\}$ of integer squares is absolutely bounded or not. Dietmann and Elsholtz proved that if $H(a_{0}; a_{1}, \ldots, a_{d})\subset \cal{S}\cap [0, N]$, then $d\leq 7 \log\log N$ for all sufficiently large values of $N$. Here we prove that there exist at least $\gg N^{1/8}$ Hilbert cubes $H(a_{0}; a_{1}, a_{2}, a_{3})$ with $a_{0}, a_{1}, a_{2}, a_{3}\in [0,N]$ in the set of squares. Moreover, we prove that for each $i, j\in\{0, 1, 2, 3\}$ with $i

Partial sums of random multiplicative functions with supercritical divisor twists

math.NT

math.FA

math.PR

Let $f$ be a Steinhaus random multiplicative function, and for $\alpha\in \mathbb{R}$, let $d_\alpha$ denote the $\alpha$-divisor function. For $\alpha \in (1,2)$ we establish that $$ \mathbb{E}\bigg\{\Big|\frac{1}{\sqrt{x}}\sum_{n\leq x} d_\alpha(n)f(n)\Big|^{2q}\bigg\} \ll \frac{(\log x)^{2q(\alpha-1)}}{(\log\log x)^{3\alpha q/2}(1-\alpha q)+1} $$ uniformly for $q\in [0,1/\alpha]$ and all large $x$. This matches predictions from the theory of supercritical Gaussian multiplicative chaos, and provides an analogue of a seminal result of Harper corresponding to the critical ($\alpha=1$) case. Our approach is based on studying the measure of level sets of an Euler product associated with $f$, and yields a short proof of Harper's upper bound at $\alpha=1$ (implying Helson's conjecture at $q=1/2$). As an additional application, we obtain a conjecturally sharp bound for the pseudomoments of the Riemann zeta function in a certain parameter range, showing that $$ \lim_{T\to\infty}\frac{1}{T}\int_T^{2T} \bigg|\sum_{n\leq x}\frac{d_\alpha(n)}{n^{1/2+it}}\bigg|^{2q} \mathrm{d}t \ll \frac{(\log x)^{2q(\alpha-1)}}{(\log\log x)^{3\alpha q/2}}, $$ for $\alpha\in (1,2)$ and small $q>0$. This answers a question of Gerspach.

On the computation of base-change lifts and lifts of Hida families

math.NT

We derive an explicit formula for the Hecke eigenvalues of a Hilbert modular form which is a base-change lift of a classical newform to a totally real Galois number field. We show that for a totally real abelian number field $F$ the $L$-function of a base-change lifted form can be factorized as a product of twisted $L$-functions over the characters of $F$. Moreover, we use the formula for the Hecke eigenvalues of a base-change lift to prove the existence of a base-change lift of a Hida family. In particular, we show that a Hida family of classical Hecke eigenforms can be lifted to a formal power series that specializes to the base-change lifts of the Hida family of classical cusp forms.

Small gaps between consecutive zeros of the Riemann zeta-function

math.NT

In this paper, we introduce the resonance-correlation method to study small gaps between consecutive zeros of the Riemann zeta-function. Our method is based on a synthesis of Montgomery's pair correlation approach and the Montgomery-Odlyzko method. As an application, we break the persistent practical barrier around $0.515$ and prove $\mu < 0.50895$ under the Riemann Hypothesis.

On Iwasawa theory of abelian varieties over $\mathbb{Z}_p^2$-extension with applications to Diophantine stability and integally Diophantine extensions

math.NT

We present certain results on the Iwasawa theory of an abelian variety with potentially good ordinary reduction at all primes above $p$. These are then applied to study Diophantine stability and integally Diophantine extensions. Along the way, we also obtain some results pertaining to Mazur growth conjecture which refine previous results of Gajek-Leonard, Hatley, Kundu and Lei. Finally, we extend our investigation to the case of an elliptic curve with good supersingular reduction at the prime $p$ and make a similar analysis.

Asymptotic expansions of integrals and Nielsen's polylogarithms

math.NT

math.CO

This article derives full asymptotic expansions for integrals of the form \[ \int_{0}^{1}f(u)(1+q\cdot u^{n})^{w/n}du \] as $n\rightarrow\infty$, with parameters real $w\neq 0$ and $q\in(-1,1]$, or positive $w$ for $q=-1$. We relate the coefficients of the asymptotic expansions to Nielsen's generalized polylogarithms. For $q=-1$, we obtain an expansion in terms of multiple zeta values, which in this setting, reduce to ordinary zeta values. A key point is that for $q=1$, the integrals typically produce alternating multiple zeta values; we formulate a precise symmetry constraint on the relevant coefficient sequence under which all coefficients reduce to polynomials in ordinary zeta values. We also translate this symmetry into a statement about a binomial transform, and we verify the condition for several classical Appell-type families, like Euler, Bernoulli, Genocchi, and Hermite. Finally, we obtain precise results about the convergence of norms of random variables.

Theta Cycles of Modular Forms Modulo $p^2$

math.NT

The theta cycle of a modular form modulo a prime $p\geq 5$ is well understood. By contrast, the theta cycle modulo a power of $p$ is still mysterious and experimentally erratic. Here we completely determine the theta cycle of a weight $k < p$ modular form modulo $p^2$ on the initial segment of length $p$ and we prove exact values or nontrivial bounds for the weight filtrations on $p-2$ further segments of length $p - k + 1$. In particular, asymptotically as $p \to \infty$ we establish 50% of the theta cycle exactly, and we provide nontrivial bounds for 100% of it. We determine the first two low points exactly and $\left\lfloor \frac{p - k + 1}{2} \right\rfloor$ further low points at regular positions. Moreover, we detect low points at exceptional positions which solve a quadratic equation modulo $p$, and which disturb the otherwise regular structure in the segments that we exhibit.

Frobenius nonclassicality of generalized Fermat curves with respect to conics

math.AG

math.NT

The effective application of the St\"ohr-Voloch theory for the linear system of plane curves of a fixed degree to bound the number of rational points of a family of plane curves defined over $\mathbb{F}_q$ requires the characterization of the $\mathbb{F}_q$-Frobenius nonclassical curves in the family. In this paper, we provide necessary and sufficient conditions for certain generalized Fermat curves $\mathcal{F}$ defined over $\mathbb{F}_q$ to be $\mathbb{F}_q$-Frobenius nonclassical with respect to the linear system of conics. In the Frobenius classical cases, we obtain nice bounds for the number $N_q(\mathcal{F})$ of rational points of $\mathcal{F}$ via St\"ohr-Voloch theory, whereas in the Frobenius nonclassical cases, we derive explicit formulas for $N_q(\mathcal{F})$.

On the largest strongly connected component of randomly oriented divisor graphs

math.CO

math.NT

We introduce the study of \textit{randomly oriented divisor graphs}. For each $\rho \in [0,1]$, the randomly oriented divisor graph $\mathcal{D}_\rho(N)$ is obtained from the divisor graph on $\{1, 2, \ldots, N\}$ by directing each edge according to divisibility and independently reversing the direction of each edge with probability $\rho$. We study the expected size of the largest strongly connected component, $\textbf{E}[\#\Phi(\mathcal{D}_\rho(N))]$. Our main result gives a lower bound for this quantity in terms of the distribution of values of the divisor function $\tau(n)$. As a consequence, we show that for any fixed $\rho \in (0,1)$, the largest strongly connected component has expected size asymptotic to $N$. To obtain explicit bounds, we prove an effective version of a theorem of Hardy and Ramanujan on the normal order of $\log \tau(n)$, which may be of independent interest.

Structural Hierarchy of Reid Class of non-Archimedean Banach Spaces

math.LO

math.FA

math.NT

Let $k$ be a complete valuation field. We formulate a class $\mathscr{R}$ of Banach $k$-vector spaces analogous to Reid class of Abelian groups. We formulate an analogue of the hierarchy of Reid class introduced by K.\ Eda, and verify a counterpart of the classification theorem of Reid class by K.\ Eda. As an application, we verify that the Banach $\mathbb{C}_p$-vector spaces \begin{eqnarray*} & & \ell^{\infty}(\mathbb{N},\mathbb{C}_p), \text{\rm C}_0(\mathbb{N},\mathbb{C}_p), \ell^{\infty}(\mathbb{N},\text{\rm C}_0(\mathbb{N},\mathbb{C}_p)), \text{\rm C}_0(\mathbb{N},\ell^{\infty}(\mathbb{N},\mathbb{C}_p)), \\ & & \ell^{\infty}(\mathbb{N},\text{\rm C}_0(\mathbb{N},\ell^{\infty}(\mathbb{N},\mathbb{C}_p))), \text{\rm C}_0(\mathbb{N},\ell^{\infty}(\mathbb{N},\text{\rm C}_0(\mathbb{N},\mathbb{C}_p))), \end{eqnarray*} and so on are all distinct, the Banach $\mathbb{C}_p$-vector space of bounded continuous functions $\mathbb{Q} \to \mathbb{C}_p$ and its dual Banach $\mathbb{C}_p$-vector spaces cannot be expressed by iterated application of bounded direct product and completed direct sum, and there is no left adjoint functor of the forgetful functor from $\mathscr{R}$ to the category of Banach $\mathbb{C}_p$-vector spaces.

Analytically generated sharply o-minimal structures

math.LO

math.AG

math.NT

We describe a class of sharply o-minimal structures, called analytically generated structures, whose definable sets and their complexity filtration are determined by the collection of definable complex cells. We prove a polynomially effective parameterization theorem using real complex cells for real sets definable in such structures. Following Binyamini--Novikov, this allows us to establish a polynomially effective version of the Yomdin--Gromov lemma on C^r-smooth parameterizations of definable sets, which implies Wilkie's conjecture on polylogarithmic bounds for the amount of algebraic points of bounded height and degree in the transcendental part of a definable set. In addition, we obtain a polynomially effective preparation theorem for definable functions, similar to the subanalytic preparation theorems of Parusinski and of Lion--Rolin.

Spectral Theory of Isogeny Graphs

math.NT

math.AG

v5

We consider finite graphs whose vertexes are supersingular elliptic curves, possibly with level structure, and edges are isogenies. They can be applied to the study of modular forms and to isogeny based cryptography. The main result of this paper is an upper bound on the modules of the eigenvalues of their adjacency matrices, which in particular implies that these graphs are Ramanujan. We also study the asymptotic distribution of the eigenvalues of the adjacency matrices, the number of connected components, the automorphisms of the graphs, and the connection between the graphs and modular forms.

Ramanujan Bigraphs

math.NT

math.CO

math.GR

v3

In their seminal paper, Lubotzky, Phillips and Sarnak (LPS) defined the notion of regular Ramanujan graphs and gave an explicit construction of infinite families of $(p+1)$-regular Ramanujan Cayley graphs, for infinitely many primes $p$. In this paper we extend the work of LPS and its successors to bigraphs (biregular bipartite graphs), in several aspects: we investigate the combinatorial properties of various generalizations of the notion of Ramanujan graphs, define a notion of Cayley bigraphs, and give explicit constructions of infinite families of $(p^3+1,p+1)$-regular Ramanujan Cayley bigraphs, for infinitely many $p$. Both the LPS graphs and our ones are arithmetic, arising as quotients of Bruhat-Tits trees by congruence subgroups of arithmetic lattices in a $p$-adic group, $PGL_2(\mathbb{Q}_p)$ for LPS and $PU_3(\mathbb{Q}_p)$ for us. In both cases the Ramanujan property relates to the Ramanujan Conjecture (RC) on the respective groups. But while for $PGL_2$ the RC holds unconditionally, this is not so in the case of $PU_3$. We find explicit cases where the RC does and does not hold, and use this to construct arithmetic non-Ramanujan Cayley bigraphs as well, and prove that nevertheless they satisfy the Sarnak-Xue density hypothesis. On the combinatorial side, we present a pseudorandomness characterization of Ramanujan bigraphs, and a more general notion of biexpanders. We show that our Ramanujan bigraphs exhibit the cutoff phenomenon with bounded window size for non-backtracking random walks, either as a consequence of the Ramanujan property, or of the Sarnak-Xue density hypothesis. Finally, we present some other applications of our work: golden gates for $PU_3$, Ramanujan and non-Ramanujan complexes of type $\widetilde{A}_2$, optimal strong approximation for $p$-arithmetic subgroups of $PSU_3$ and vanishing of first Betti numbers of Picard modular surfaces.

Relative representability and parahoric level structures

math.NT

math.AG

v3

We establish a representability criterion of $v$-sheaf theoretic modifications of formal schemes and apply this criterion to moduli spaces of parahoric level structures on local shtukas. In the proof, we introduce nice classes of equivariant profinite perfectoid covers and study geometric quotients of perfectoid formal schemes by profinite groups. As a corollary, we show the local representability of integral models of local Shimura varieties under hyperspecial levels, and study the forgetful morphisms between integral models of Shimura varieties associated with inclusions of parahoric subgroups under hyperspecial levels.

Bases for some modules of cyclotomic units

math.NT

v4

Let $\mathbf{Was}(\mathbb{K})$ denote the group of Washington's cyclotomic units of any abelian number field $\mathbb{K}$. If $\mathbb{K}$ coincides with its genus field in the narrow sense, we give a $\Lambda$-basis of $\lim\limits\_{\xleftarrow{}} \mathbf{Was}(\mathbb{K}\_k^{+})$ where $(\mathbb{K}\_k)\_{k \geqslant 0}$ denotes the cyclotomic $\mathbb{Z}\_p$-tower of $\mathbb{K}$ and $\Lambda$ denotes the Iwasawa's algebra. This results from a $\mathbb{Z} [1/2]$-basis of $\mathbf{Was}(\mathbb{K}) \otimes\_{\mathbb{Z}} \mathbb{Z} [1/2]$ that we give under the same hypothesis.

The asymptotic in Waring's problem over function fields via a singular locus in the circle method

math.NT

v3

We give results on the asymptotic in Waring's problem over function fields that are stronger than the results obtained over the integers using the main conjecture in Vinogradov's mean value theorem. Similar estimates apply to Manin's conjecture for Fermat hypersurfaces over function fields. Following an idea of Pugin, rather than applying analytic methods to estimate the minor arcs, we treat them as complete exponential sums over finite fields and apply results of Katz, which bound the sum in terms of the dimension of a certain singular locus, which we estimate by tangent space calculations.

A Normality Conjecture on Rational Base Number Systems

math.NT

math.CO

v2

The rational base number system, introduced by Akiyama, Frougny, and Sakarovitch in 2008, is a generalization of the classical integer base number system. Within this framework two interesting families of infinite words emerge, called minimal and maximal words. We conjecture that every minimal and maximal word is normal over an appropriate subalphabet. To support this conjecture, we present extensive numerical experiments that examine the richness threshold and the deviation from normality of these words. We also discuss the implications that the validity of our conjecture would have for several long-standing open problems, including the existence of $Z$-numbers (Mahler, 1968) and $Z_{p/q}$-numbers (Flatto, 1992), the existence of triple expansions in rational base $p/q$ (Akiyama, 2008), and the Collatz-inspired `4/3 problem' (Dubickas and Mossinghoff, 2009).

Explicit extreme values of the argument of the Riemann zeta-function

math.NT

v2

We investigate explicit extreme values of the argument of the Riemann zeta-function in short intervals. As an application, we improve the result of Conrey and Turnage-Butterbaugh concerning $r$-gaps between zeros of the Riemann zeta-function.

The Fibonacci--Redheffer matrix and its properties

math.NT

v2

A Redheffer--type matrix with Fibonacci entries is defined, and the determinant and spectral properties of this matrix are studied. Also, more general Redheffer--type matrices are considered and intriguing number-theoretic examples are illustrated. Furthermore, several asymptotic results are discussed and a new expression related to the Riemann hypothesis is presented.

Non-vanishing of Artin $L$-functions associated with $D_4$-quartic function fields ordered by conductor

math.NT

v2

We study the low-lying zeros of certain Artin $L$-functions associated with $D_4$-quartic function fields. Specifically, we prove that when ordered by conductor, at least $77\%$ of these $L$-functions are non-vanishing at the central point. This generalises and extends results over $\mathbb{Q}$ due to Durlanik, proving that an infinite number of these $L$-functions are non-vanishing. We obtain these results by examining the low-lying zeros of the $L$-functions using the one-level density. Specifically, we apply and extend a method used by Rudnick, who studied Dirichlet $L$-functions associated with quadratic function field extensions, to the $D_4$-case. The main difficulty is studying $L$-functions which are associated to $D_4$-fields whose quadratic subfield is of large discriminant. These $L$-functions are studied by utilising the so-called flipped field of a $D_4$ extension, combining a method introduced by Friedrichsen for counting $D_4$-fields, with explicit ramification theory in such fields provided by Altu\u{g}, Shankar, Varma and Wilson.

Multi-scale Vandermonde test kernels for spectral trace formulas

math.NT

v3

We construct a family of test kernels for use in spectral trace formulas on locally symmetric spaces. The key innovation is the factorization $h_T = g_T \star \widetilde{g}_T$, which simultaneously achieves: (i) automatic positive semi-definiteness of the spectral multiplier $m_{h_T}(\pi) = |m_{g_T}(\pi)|^2 \ge 0$; (ii) $J$-fold moment annihilation via a multi-scale Vandermonde construction, yielding super-polynomial decay of all error terms; (iii) uniform spectral parameter bounds (Master-Bound) $\mathfrak{E}_{\mathrm{tot}}(T) \ll T^{d+1-\delta}$ with $\delta > 0$ depending only on the symmetry order $k$ and the annihilation depth $J \asymp \sqrt{(\log T)/k}$, representing a power saving over the main term $\asymp T^{d+1}$. The cost is a controlled polynomial growth $T^{c_0^2/2+o(1)}$ in the Vandermonde coefficients (with exponent strictly less than 1), which is dominated by the super-polynomial decay of the off-diagonal terms. The construction is axiomatized over two analytic hypotheses -- a Weyl law and Bessel/Airy asymptotics -- making it applicable beyond the classical $\mathrm{GL}(2)$ setting.

Toric schemes and integral models for Shimura varieties with $\Gamma_1(p)$-type level

math.AG

math.NT

math.RT

v2

We propose a conjectural theory of $p$-integral models of Shimura varieties with level structure at $p$ given by a class of normal subgroups of parahoric subgroups with abelian quotient group. The role of the theory of local models is played in this context by a certain root stack over the local model for parahoric level. The construction of this root stack is based on the "divisor theorem" (a foundational fact about local models) and on the theory of toric varieties in this context, both of which are of independent interest. We prove our conjecture in the case of Shimura varieties of PEL type when the parahoric is an Iwahori (under some additional conditions).

Partition regularity in imaginary quadratic rings of integers

math.CO

math.DS

math.NT

v2

We obtain partition regularity results for homogeneous quadratic equations whose parametrized solutions admit nice factorizations into linear forms over rings of integers of imaginary quadratic fields. To do so, we develop number-theoretic results of independent interest on such fields, such as a characterization for aperiodic completely multiplicative functions, the Tur\'an-Kubilius inequality, and a new concentration estimate for multiplicative functions.