Number Theory [math.NT]

Recurrence and congruences for the smallest part function

math.NT

math.CO

Let $\operatorname{spt}(n)$ be the number of smallest parts in the partitions of $n$. In this paper, we give some generalized Euler-like recursive formulas for the $\operatorname{spt}$ function in terms of Hecke trace of values of special twisted quadratic Dirichlet series. As a corollary, we give a closed form expressions of the power series $\sum_{n\geq 0}\operatorname{spt}(\ell n-\delta_{\ell})q^n\pmod{\ell}$, $\delta_{\ell}:=(\ell^2-1)/24$, by Hecke traces for weight $\ell+1 $ cusp forms on $\operatorname{SL}_2(\mathbb{Z})$. We further establish an incongruence result for the $\operatorname{spt}$ function.

A purity theorem for Mahler equations

math.NT

The principal aim of this paper is to establish a purity theorem for Mahler functions that is reminiscent of famous purity theorems for G-functions by D. and G. Chudnovsky and for E-functions (and, more generally, for holonomic arithmetic Gevrey series) by Y. Andr{\'e}. Our approach is based on a preliminary study of independent interest of the nature of the solutions of Mahler equations. Roughly speaking, we prove a reduction result for Mahler systems, implying that any Mahler equation admits a complete basis of solutions formed of what we call generalized Mahler series. These are sums involving Puiseux series, Hahn series of a very special type and solutions of inhomogeneous equations of order 1 with constant coefficients. In the light of B. Adamczewski, J. P. Bell and D. Smertnig's recent height gap theorem, we introduce a natural filtration on the set of generalized Mahler series according to the arithmetic growth of the coefficients of the Puiseux series involved in their decomposition. This filtration has five pieces. Our purity theorem states that the membership of a generalized Mahler series to one of the three largest pieces of this filtration propagates to any other generalized Mahler series solution of its minimal Mahler equation. We also show that this statement does not extend to the smallest two pieces.

Revisiting the equation $x^2+y^3=z^p$

math.NT

Let $E/\mathbb Q$ be an elliptic curve and $p \geq 3$ a prime. The modular curve $X_E^-(p)$ parameterizes elliptic curves with $p$-torsion modules anti-symplectically isomorphic to $E[p]$. The work of Freitas--Naskr\k{e}cki--Stoll uses the modular method to show that all primitive non-trivial solutions of the Fermat-type equation $x^2 + y^3 = z^p$ give rise to rational points on $X_E^-(p)$ with $E \in \{27a1,54a1,96a1,288a1,864a1,864b1,864c1 \}$. Using a criterion classifying the existence of local points due to the first two authors, we show that, for $E$ any of the curves with conductor 864 and certain primes $p \equiv 19 \pmod{24}$, we have $X_E^-(p)(\mathbb Q_\ell) = \emptyset$. Furthermore, for each $E$ in the list and any $p$, we prove that either $X_E^-(p)$ can be discarded using the same criterion, or it cannot be discarded using purely local information.

Complexity of Linear Subsequences of $k$-Automatic Sequences

cs.FL

cs.DM

math.CO

math.NT

We construct automata with input(s) in base $k$ recognizing some basic relations and study their number of states. We also consider some basic operations on $k$-automatic sequences and discuss their state complexity. We find a relationship between subword complexity of the interior sequence $(h'(i))_{i \geq 0}$ and state complexity of the linear subsequence $(h(ni+c))_{i \geq 0}$. We resolve a recent question of Zantema and Bosma about linear subsequences of $k$-automatic sequences with input in most-significant-digit-first format. We also discuss the state complexity and runtime complexity of using a reasonable interpretation of B\"uchi arithmetic to actually construct some of the studied automata recognizing relations or carrying out operations on automatic sequences.

A note on modular properties of non-principal and non-coprincipal admissible $C^{(1)}_2$-modules of integer level

math.RT

math.NT

For the affine Lie algebra $C_2^{(1)}$ we study non-principal and non-coprincipal admissible modules of integer level and their quantum Hamiltonian reduction, and show that they have $\Gamma_0(2)$-modular invariance.

Unconditional correctness of recent quantum algorithms for factoring and computing discrete logarithms

math.NT

cs.CC

quant-ph

v2

In 1994, Shor introduced his famous quantum algorithm to factor integers and compute discrete logarithms in polynomial time. In 2023, Regev proposed a multi-dimensional version of Shor's algorithm that requires far fewer quantum gates. His algorithm relies on a number-theoretic conjecture on the elements in $(\mathbb{Z}/N\mathbb{Z})^{\times}$ that can be written as short products of very small prime numbers. We prove a version of this conjecture using tools from analytic number theory such as zero-density estimates. As a result, we obtain an unconditional proof of correctness of this improved quantum algorithm and of subsequent variants.

A positive density of elliptic curves are diophantine stable in certain Galois extensions

math.NT

v2

Let $p \in \{3, 5\}$ and consider a cyclic $p$-extension $L/\mathbb{Q}$. We show that there exists an effective positive density of elliptic curves $ E $ defined over $ \mathbb{Q} $, ordered by height, that are diophantine stable in $ L $.

A short-interval Hildebrand-Tenenbaum theorem

math.NT

v3

In the late eighties, Hildebrand and Tenenbaum proved an asymptotic formula for the number of positive integers below $x$, having exactly $\nu$ distinct prime divisors: $\pi_{\nu}(x) \sim x \delta_{\nu}(x)$. Here we consider the restricted count $\pi_{\nu}(x,y)$ for integers lying in the short interval $(x,x+y]$. In this setting, we show that for any $\varepsilon >0$, the asymptotic equivalence \[ \pi_{\nu}(x,y) \sim y \delta_{\nu}(x)\] holds uniformly over all $1 \le \nu \le (\log x)^{1/3}/(\log \log x)^2$ and all $x^{17/30 + \varepsilon} \leq y \leq x$. The methods also furnish mean upper bounds for the $k$-fold divisor function $\tau_k$ in short intervals, with strong uniformity in $k$.

Mean Value for Random Ideal Lattices

math.NT

v2

We investigate the average number of lattice points within a ball for the $n$th cyclotomic number field, where the lattice is chosen at random from the set of unit determinant ideal lattices of the field. We show that this average is nearly identical to the average number of lattice points in a ball among all unit determinant random lattices of the same dimension. To establish this result, we apply the Hecke integration formula and subconvexity bounds on Dedekind zeta functions of cyclotomic fields. The symmetries arising from the roots of unity in an ideal lattice allow us to prove the existence of ideal lattice packings of dimension $\varphi(n)$ and density $n\cdot 2^{-\varphi(n)}(1+o(1))$ as $n$ goes to infinity.

The Beilinson-Bloch conjecture for some non-isotrivial varieties over global function fields

math.NT

math.AG

v2

The Beilinson-Bloch conjecture is a generalization of the Birch and Swinnerton-Dyer conjecture, which relates the ranks of Chow groups of smooth projective varieties over global fields to the order of vanishing of $L$-functions. We prove the conjecture for certain classes of non-isotrivial varieties over $\mathbb{F}_q(t)$, including some cubic threefolds. We deduce the Birch and Swinnerton-Dyer conjecture for their intermediate Jacobians, and use it to establish new cases of the Tate conjecture over finite fields. We also prove some additional results on the arithmetic of these intermediate Jacobians.

Least zero of pairs of additive cubic equations

math.NT

v2

An effective upper bound is established for the least non-trivial integer solution to the system of cubic forms \[ \begin{cases} F = c_{1}x_1^3 + c_{2}x_2^3 + \cdots + c_{n}x_n^3 = 0, \\ G = d_{1}x_1^3 + d_{2}x_2^3 + \cdots + d_{n}x_n^3 = 0, \end{cases} \] under the "$M$-good" condition for $n \ge 16$, where $c_{1}, \dots, c_{n}$ and $d_{1}, \dots, d_{n}$ are integers. Additionally, a range is derived for the probability that randomly selected simultaneous equations satisfy the $M$-good condition.

Distinction between hyper-Kloosterman sums and multiplicative functions

math.NT

v3

Let $\kl_n(a,b;m)$ be the hyper-Kloosterman sum. Fix integers $n\geqslant2,a\neq0$, $b\neq0$ and $k\geqslant2$. For any $0\neq\eta\in\mathbb{C}$ and multiplicative function $f: \mathbb{N} \rightarrow \mathbb{C}$, we prove that $\kl_n(a,b;m)\neq\eta f(m)$ holds for $100\%$ square-free $k$-almost prime numbers $m$ and $100\%$ square-free numbers $m$. Counterintuitively, if $\kl_n(a,b;p)=\eta f(p)$ holds for all but finitely many primes $p$, we further show that \begin{align*} \ab|\{m\leqslant X:\kl_n(a,b;m)=\eta f(m), m \text{ square-free }k\text{-almost prime}\}|= O(X^{1-\frac{1}{k+1}}). \end{align*} These results overturn the general belief that $\kl_n(a,b;m)$ is nearly multiplicative in $m$, and that its distribution at almost prime moduli $m$ closely approximates that at primes. Moreover, we prove that these results also hold for general algebraic exponential sums satisfying some natural conditions.

Ramanujan's function on small primes

math.NT

math.CV

v2

We study matrices the determinants of which represent $\tau(p_n)$, where $\tau$ is Ramanujan's function and $p_n$ denotes the $n^{th} rational prime. We also look at certain ``deformations'' of these matrices that exhibit nice regularities within the limited range of our empirical observations. This is an application of methods from our previous article arXiv:math/0405083.

Classification of totally real number fields via their zeta function, regulator, and log unit lattice

math.NT

v2

In this paper, assuming the weak Schanuel Conjecture (WSC), we prove that for any collection of pairwise non-arithmetically equivalent totally real number fields, the residues at $s=1$ of their Dedekind zeta functions form a linearly independent set over the field of algebraic numbers. As a corollary, we obtain that, under WSC, two totally real number fields have the same regulator if and only if they have the same class number and Dedekind zeta function. We also prove that, under WSC, the isometry and similarity classes of the log unit lattice of a real Galois number field of degree $[K:\Q]\geq 4$, characterize the isomorphism class of said field. All of our results follow from establishing that, under WSC, any Gram matrix of the log unit lattice of a real Galois number field yields a generic point of certain closed irreducible $\Q$-subvariety of the space of symmetric matrices of appropriate size.

$\mathcal{M}$-points of bounded height

math.NT

math.AG

v2

We initiate a general quantitative study of sets of $\mathcal{M}$-points, which are special subsets of rational points, generalizing Campana points, Darmon points, and squarefree solutions of Diophantine equations. We propose an asymptotic formula for the number of $\mathcal{M}$-points of bounded height on rationally connected varieties, extending Manin's conjecture as well as its generalization to Campana points by Pieropan, Smeets, Tanimoto and V\'arilly-Alvarado. Finally, we show that the conjecture explains several previously established results in arithmetic statistics.

A Jacobian Criterion for Artin $v$-stacks

math.AG

math.NT

math.RT

v3

We prove a generalization of the Jacobian criterion of Fargues-Scholze for spaces of sections of a smooth quasi-projective variety over the Fargues-Fontaine curve. Namely, we show how to use their criterion to deduce an analogue for spaces of sections of a smooth Artin stack over the (schematic) Fargues-Fontaine curve obtained by taking the stack quotient of a smooth quasi-projective variety by the action of a linear algebraic group. As an application, we show various moduli stacks appearing in the Fargues-Scholze geometric Langlands program are cohomologically smooth Artin $v$-stacks and compute their $\ell$-dimensions.

A description of the integral depth-$r$ Bernstein center

math.RT

math.NT

v2

In this paper we give a description of the depth-$r$ Bernstein center for non-negative integers $r$ of a reductive simply connected group $G$ over a non-archimedean local field as a limit of depth-$r$ standard parahoric Hecke algebras. Using the description, we construct maps from the algebra of stable functions on the $r$-th Moy-Prasad filtration quotient of hyperspecial parahorics to the depth-$r$ Bernstein center and use them to attach to each depth-$r$ irreducible representation $\pi$ an invariant $\theta(\pi)$, called the depth-$r$ Deligne-Lusztig parameter of $\pi$. We show that $\theta(\pi)$ is equal to the semi-simple part of minimal $K$-types of $\pi$.

Khintchine dichotomy for self-similar measures

math.DS

math.NT

math.PR

v4

We establish the analogue of Khintchine's theorem for all self-similar probability measures on the real line. When specified to the case of the Hausdorff measure on the middle-thirds Cantor set, the result is already new and provides an answer to an old question of Mahler. The proof consists in showing effective equidistribution in law of expanding upper-triangular random walks on $\text{SL}_{2}(\mathbb{R})/\text{SL}_{2}(\mathbb{Z})$, a result of independent interest.

Characterizing the support of semiclassical measures for higher-dimensional cat maps

math.AP

math-ph

math.MP

math.NT

math.SP

v2

Quantum cat maps are toy models in quantum chaos associated to hyperbolic symplectic matrices $A\in \operatorname{Sp}(2n,\mathbb{Z})$. The macroscopic limits of sequences of eigenfunctions of a quantum cat map are characterized by semiclassical measures on the torus $\mathbb{R}^{2n}/\mathbb{Z}^{2n}$. We show that if the characteristic polynomial of every power $A^k$ is irreducible over the rationals, then every semiclassical measure has full support. The proof uses an earlier strategy of Dyatlov-J\'ez\'equel [arXiv:2108.10463] and the higher-dimensional fractal uncertainty principle of Cohen [arXiv:2305.05022]. Our irreducibility condition is generically true, in fact we show that asymptotically for $100\%$ of matrices $A$, the Galois group of the characteristic polynomial of $A$ is $S_2 \wr S_n$. When the irreducibility condition does not hold, we show that a semiclassical measure cannot be supported on a finite union of parallel non-coisotropic subtori. On the other hand, we give examples of semiclassical measures supported on the union of two transversal symplectic subtori for $n=2$, inspired by the work of Faure-Nonnenmacher-De Bi\`evre [arXiv:nlin/0207060] in the case $n=1$. This is complementary to the examples by Kelmer [arXiv:math-ph/0510079] of semiclassical measures supported on a single coisotropic subtorus.

Restricted projections in positive characteristic via Fourier extension and restriction estimates

math.CO

math.CA

math.NT

v2

Let $d\ge3$ and $\mathbb{F}_q^{\,d}$ be the $d$-dimensional vector space over a finite field of order $q$, where $q$ is an odd prime power. Let $X_\pi$ be the set of lines through the origin intersecting the slice $\pi\cap S^{d-1}$, where $\pi=\{x_d=\lambda\}$ and $S^{d-1}=\{x:\|x\|=1\}$. For $E\subset\mathbb{F}_q^{\,d}$ and $N\ge1$, we study the exceptional sets \[ T_1(X_\pi,E,N)=\bigl\{V\in X_\pi:\ |\pi_V(E)|\le N\bigr\},\qquad T_2(X_\pi,E,N)=\bigl\{V\in X_\pi:\ |\pi_{V^\perp}(E)|\le N\bigr\}, \] with their respective natural ranges of $N$. Using discrete Fourier analysis together with restriction/extension estimates for cone and sphere-type quadrics over finite fields, we obtain sharp upper bounds (up to constant factors) for $\lvert T_1\rvert$ and $\lvert T_2\rvert$, with separate analyses for the cases $\lambda \in \{0, \pm 1\}$. The bounds exhibit arithmetic-geometric dichotomies absent in the full Grassmannian: the quadratic character of $\lambda^{2}-1$ and the parity of $d$ determine the size of the exceptional sets. As an application, when $|E|\ge q$, there exists a positive proportion of elements $\mathbf{y}\in \pi\cap S^{d-1}$ such that the pinned dot-product sets $\{\mathbf{y}\cdot \mathbf{x}\colon \mathbf{x}\in E\}$ have cardinality $\Omega(q)$. We further study analogous families arising from the spheres of radii $0$ and $-1$, and, by combining the results, recover the known estimates for projections over the full Grassmannian, complementing a result of Chen (2018).

Regular Functions on Formal-Analytic Arithmetic Surfaces

math.CV

math.NT

v2

In this paper, we show that for a broad class of pseudoconvex formal-analytic arithmetic surfaces over $\text{Spec}(\mathbb{Z})$, those which admit a nonconstant monic such regular function, that a conjecture of Bost-Charles that the ring of regular functions has continuum cardinality is implied by a purely complex-analytic conjecture. Under the conjecture, a Fekete-Szego-type approximation argument produces a polynomial "large" relative to the regular function, which in turn yields continuum many distinct regular functions. We also introduce a formula for the pushforward by a holomorphic function of the equilibrium Green's functions for our bordered Riemann surface with boundary, a formula which has constant term related to Arakelov degree.

The de Jong fundamental group of $\mathbb{P}^1_C$ depends on $C$ and is not always topologically countably generated

math.AG

math.NT

v2

For $C/\mathbb{Q}_p$ a complete algebraically closed field, we construct a collection of non-isomorphic rank two $\mathbb{Q}_p$-local systems on $\mathbb{P}^1_C$ indexed by $C$. This implies that the de Jong fundamental group $\pi_{1,\mathrm{dJ}}(\mathbb{P}^1_C)$ depends on $C$ and, if $C$ has cardinality $>2^{\mathbb{N}}$, that $\pi_{1,\mathrm{dJ}}(\mathbb{P}^1_C)$ is not topologically countably generated. The argument in fact applies to any connected rigid analytic variety over $C$ with a non-constant function to $\mathbb{P}^1_C$.

The de Jong fundamental group of a non-trivial abelian variety is non-abelian

math.AG

math.NT

v2

We show the de Jong fundamental group of any non-trivial abelian variety over a complete algebraically closed extension $C/\mathbb{Q}_p$ is non-abelian. Generalizing an argument for $\mathbb{P}^1_C$, we also show the de Jong fundamental groups of positive-dimensional quasi-projective rigid analytic varieties over $C$ (including abelian varieties) depend on $C$ and can be arbitrarily large.