Number Theory [math.NT]

On the reciprocity law in $\mathbb{F}_{q}[t]$

math.NT

In 1991, Rousseau gave a new proof of Gauss's quadratic reciprocity by comparing two distinct coset representations of the group $(\mathbb{Z}_{p}^{*} \times \mathbb{Z}_{q}^{*}) / U$ using the Chinese Remainder Theorem, without Gauss's Lemma. In this paper, we extend Rousseau's approach to $\mathbb{F}_{q}[t]$, providing a new, elementary proof of the reciprocity law for the $d$th power residue symbol, where $d$ is any divisor of $q-1$.

Extremal Problems for GCDs and LCMs in Higher Dimensions

math.NT

We study extremal problems for tuples of integers chosen from sets $A_i \subset [X_i,2X_i]$ for $1\le i\le k$, under large GCD and small LCM conditions. For the GCD problem, we extend the work of Green and Walker to higher dimensions. Specifically, for $k\ge 3$, if $\gcd(a_1,\dots,a_k)\ge D$ for at least a proportion $\delta$ of the tuples in $\prod_{i=1}^k A_i$, then $$ \prod_{i=1}^k |A_i| \ll_{k,\varepsilon} \delta^{-k/(k-1)-\varepsilon} \frac{\prod_{i=1}^k X_i}{D^k}. $$ The proof is based on a minimal counterexample argument and a new high-dimensional measure concentration lemma. We also establish a large sieve-type inequality to obtain a complementary estimate for the GCD problem. For the LCM problem, we use a quite different method to show that, for all $k\ge 2$, $$ \prod_{i=1}^k |A_i| \ll_{k,\varepsilon} \delta^{-k/(k-1)} \frac{L^{k/(k-1)+\varepsilon}} {\bigl(\prod_{i=1}^k X_i\bigr)^{1/(k-1)}}, $$ whenever $\operatorname{lcm}(a_1,\dots,a_k)\le L$ for at least a proportion $\delta$ of the $k$-tuples in $\prod_{i=1}^k A_i$. Finally, we show that these bounds are essentially best possible up to $\varepsilon$-losses in the exponent.

Relations between higher level Hurwitz class numbers

math.NT

We connect generalizations of the classical Hurwitz class numbers coming from two different frameworks: one introduced by Pei and Wang, arising from the generalized Cohen-Eisenstein series, and another by Li, Skoruppa, and Zhou, arising from Eichler orders of quaternion algebras. As applications, we obtain new structural results, a generalization of recent results of Beckwith and Mono, and a generalization of Gauss' formula.

Moments and joint nonvanishing of symplectic $L$-functions

math.NT

We compute an asymptotic formula for a moment involving the spinor and the standard $L$-functions for holomorphic Siegel cusp forms of degree two and large weight $k$. Applications include simultaneous non-vanishing statements and lower bounds for second moments.

Consecutive non-square nom-primitive pairs in as finite field

math.NT

Let $q$ be an odd prime power and write \[ \theta_q := \frac{\phi(q-1)}{q-1}. \] If $\theta_q < \tfrac{1}{3}$, or if $\theta_q = \tfrac{1}{3}$ and $q \notin \{7,13,19,25,37\}$, then the finite field $\F$ contains a pair of consecutive elements that are both non-square and non-primitive. This extends a result of Jarso and Trudgian for prime fields $\Fp$, where the same conclusion was obtained under the stronger condition $\theta_p \le \tfrac{1}{4}$. More generally, let $\ell$ be the least odd prime divisor of $q-1$. If $\theta_q \le \tfrac{1}{3}$, then $\F$ contains a pair of consecutive elements that are non-squares and $\ell$th powers, with the sole exceptions $q \in \{7,13,19,25,37,43\}$.

The Smallest Invariant Factor of Elliptic Curves, and Coincidences

math.NT

For an elliptic curve E over Q and a natural number j, Cojocaru has shown that there is an explicit constant C_E,j giving (under GRH) the density of primes p of good reduction such that the smallest invariant factor of E(F_p) is j. For E without complex multiplication, we study the question of when C_E,j is positive (a necessary and, on GRH, sufficient condition for there to be infinitely many such p), strengthening a result by Kim. Our arguments are group-theoretic using the image of the adelic Galois representation of E. Experimentally, C_E,j appears to vanish only when there is a coincidence of division fields; we document a number of families of such coincidences arising from abelian division fields.

Galois representations over convergent de Rham period ring

math.NT

Let $\mathbf{B}_{\mathrm{dR}}^{+, \dagger} \subset \mathbf{B}_{\mathrm{dR}}^{+}$ be the ``convergent" de Rham period ring which is the (un-completed) stalk at the de Rham point of the Fargues--Fontaine curve. We develop a Tate--Sen formalism to relate Galois representations over $\mathbf{B}_{\mathrm{dR}}^{+, \dagger}$ to regular connections over (stalks of) convergent functions. As a consequence, when the Sen weights (of the mod $t$ reduction) satisfy a $p$-adic non-Liouville condition, Galois cohomology of a $\mathbf{B}_{\mathrm{dR}}^{+, \dagger}$-representation compares to that of its $\mathbf{B}_{\mathrm{dR}}^{+}$-base change, and hence is finite. In addition, restricted to objects whose Sen weights are algebraic numbers, the categories of $\mathbf{B}_{\mathrm{dR}}^{+, \dagger}$-representations and $\mathbf{B}_{\mathrm{dR}}^{+}$-representations are equivalent.

Residues of a tropical zeta function for convex domains

math.NT

math-ph

math.AG

math.MP

math.SG

We define an $\operatorname{SL}_n(\mathbb{Z})$-invariant tropical zeta function of a convex domain. In dimension 2 it admits boundary Dirichlet-series representation with summands indexed by Farey pairs. For $C^3$ strictly convex domains, it extends meromorphically to $\Re(s)>3/5$, holomorphic there except for a simple pole at $s=2/3$, with residue proportional to equiaffine perimeter. A Tauberian argument yields the $t^{1/3}$ wave-front lattice-perimeter asymptotic for $t\rightarrow 0$.

Spherical Cap $L_2$ Discrepancy -- Blessing of Dimensionality and a Balanced Large-Cap Variant

math.NA

cs.NA

math.NT

We prove that the information complexity (i.e., the inverse) of the classical spherical cap $L_2$ discrepancy on the $d$-dimensional sphere $\mathbb{S}^d$ decreases with dimension $d$, indicating a ``blessing of dimensionality'' for the associated numerical integration problem. We then introduce a modified spherical cap $L_2$ discrepancy that emphasizes large caps (close to hemispheres). For this variant, the problem does not become easier with increasing $d$. We also establish a Stolarsky invariance principle which connects the modified spherical cap $L_2$ discrepancy to numerical integration in the Sobolev space $H^{(d+1)/2}(\mathbb{S}^d)$, represented by the reproducing kernel $K(\boldsymbol{x}, \boldsymbol{y}) = 1 - \tfrac{1}{\sqrt{2}} \|\boldsymbol{x} - \boldsymbol{y}\|$. Stolarsky's invariance principle then implies that the worst-case integration error in this space grows polynomially with $d$.

Lusztig constants and endoscopy

math.RT

math.NT

We prove that on a semisimple Lie algebra $\mathfrak{g}$ over a finite field of large characteristic, if a complex-valued invariant function $f$ and its Fourier transform $\hat f$ are both supported in the nilpotent cone of $\mathfrak{g}$, then $\hat f = \gamma^{-1}f$ for an explicit quadratic Gauss sum $\gamma$. Consequently, we determine a fourth root of unity appearing in various formulae of generalised Gel'fand--Graev characters, known as Lusztig constant, previously known in special cases due to works of Kawanaka, Digne--Lehrer--Michel, Waldspurger and Geck. As consequence, we show the validity of a conjecture of Letellier on the compatibility of Fourier transform with Deligne--Lusztig induction.

On the graph of the dimension function of the Lagrange and Markov spectra

math.NT

math.DS

v2

We study the graph of the function $d(t)$ encoding the Hausdorff dimensions of the classical Lagrange and Markov spectra with half-infinite lines of the form $(-\infty, t)$. For this sake, we use the fact that the Hausdorff dimension of dynamically Cantor sets drop after erasing an element of its Markov partition to determine twelve nontrivial plateaux of $d(t)$. Next, we employ rigorous numerical methods (from our recent joint paper with Pollicott) to produce approximations of the graph of $d(t)$ between these twelve plateaux. As a corollary, we prove that the largest ten non-trivial plateaux of $d(t)$ are exactly those plateaux with lengths $> 0.005$.

Effective correlation and decorrelation for newforms, and weak subconvexity for $L$-functions

math.NT

v2

Let $f$ and $g$ be spectrally normalized holomorphic newforms of even weight $k \geq2$ on $\Gamma_0(q)$. If $f\neq g$, then assume that $q$ is squarefree. For a nice test function $\psi$ supported on $\Gamma_0(1)\backslash\mathbb{H}$, we establish the best known bounds (uniform in $k$, $q$, and $\psi$) for \[ \int_{\Gamma_0(q)\backslash\mathbb{H}}\psi(z)f(z)\overline{g(z)}y^{k}\frac{dxdy}{y^2}-\mathbf{1}_{f = g}\frac{3}{\pi}\int_{\Gamma_0(1)\backslash\mathbb{H}}\psi(z)\frac{dx dy}{y^2}.\] When $f=g$, our results yield an effective holomorphic variant of quantum unique ergodicity, refining work of Holowinsky-Soundararajan and Nelson-Pitale-Saha. When $f \neq g$, our results extend and improve the effective decorrelation result of Huang for $q=1$. To prove our results, we refine Soundararajan's weak subconvexity bound for Rankin-Selberg $L$-functions.

On Rankin-Selberg integral structures and Euler systems for $\mathrm{GL}_2\times \mathrm{GL}_2$

math.NT

math.RT

v3

We study how Rankin-Selberg periods and distinction problems interact with integral structures in spherical Whittaker type representations. Using this representation-theoretic framework, we settle a conjecture of Loeffler by showing that the local Euler factors appearing in the construction of the motivic Rankin-Selberg Euler system for a product of modular forms are integrally optimal; i.e. any construction of this type with any choice of integral input data in the recipe of Loeffler-Skinner-Zerbes, would give local factors appearing in tame norm relations at $p$, which are integrally divisible by the Euler factor $\mathcal{P}_p^{'}(\mathrm{Frob}_p^{-1})$ modulo $p-1$. We also interpret this as an integrality result on the unramified part of the period associated to the Rankin-Selberg convolution of two modular forms.

Super-Dense Sets and Their Role in the Theory of Normal Numbers

math.NT

math.GN

v5

We introduce and study a new topological notion of the size for subsets of the real line, called \emph{super-density}. A set $A\subset\mathbb{R}$ is super-dense if for every non-empty open interval $I$ and every nowhere constant continuous function $\varphi\colon I\to\mathbb{R}$, we have $\varphi(I\cap A)\cap A\neq\emptyset$. We first establish basic properties of super-dense sets. Our main topological result characterizes them within the framework of Baire category: a set with the Baire property is super-dense if and only if it is co-meager. We then investigate the implications for the theory of normal numbers. We prove that the set of non-normal numbers is super-dense, whereas the set of normal numbers is not. Consequently, no nowhere constant continuous function can map all non-normal numbers to normal numbers. Conversely, we explicitly construct a computable nowhere constant continuous function that maps all normal numbers to non-normal numbers. Finally, we provide a constructive algorithm that, given any countable family of nowhere constant continuous functions, produces a real number $x$ such that $x$ and all its images under these functions are non-normal. As a corollary, we obtain the existence of a non-normal number $x$ such that $e^{\alpha x}$ is non-normal for every non-zero algebraic $\alpha$.

Character sums to prime power moduli evaluated at binary quadratic forms

math.NT

v2

We establish estimates for short character sums to prime power moduli evaluated at binary quadratic forms. This complements estimates established by Heath-Brown for such character sums to squarefree moduli. To this end, we use tools from the $p$-adic theory of exponential sums, as initiated by Mili\'cevi\'c.

Asymptotic statistics for finite continued fractions with restricted digits

math.NT

math.DS

v2

Zaremba's conjecture concerns a formation of continued fraction expansions for rational numbers with partial quotient bounded by an absolute constant. We present asymptotic estimates for the size of $\epsilon$-thickening of certain fractal sets of bounded-type, which in turn provide a remark on Zaremba's conjecture in an averaging sense. We also discuss a generalisation for complex continued fractions over imaginary quadratic fields.

Notes on the LVP and CVP in $p$-adic Fields

math.NT

v3

This paper explores computational methods for solving the Longest Vector Problem (LVP) and Closest Vector Problem (CVP) in $p$-adic fields. Leveraging the non-Archimedean property of $p$-adic norms, we propose a polynomial time algorithm to compute orthogonal bases for $p$-adic lattices when the $p$-adic field is given by a minimal polynomial. The method utilizes the structure of maximal orders and $p$-radicals in extension fields of $\mathbb{Q}_{p}$ to efficiently construct uniformizers and residue field bases, enabling rapid solutions for the LVP and CVP. In addition, we introduce the characterization of norms on vector spaces over $\mathbb{Q}_p$.

Short intervals for the Romanoff-type sumset

math.NT

v2

Let $X$ be large and let $\mathcal{P}$ denote the set of primes. Fix positive real parameters $r_1,\dots,r_s$ and a parameter $\lambda\geqslant 1$ determined by a balancing relation, and let $\mathcal{A}_{\lambda}(X)\subset[1,2X]$ be the associated lacunary set generated by sums of powers of $2$ with polynomially growing exponents. Set $\mathcal{S}_{\lambda}:=\mathcal{P}+\mathcal{A}_{\lambda}(X)$. Fix $\varepsilon>0$, choose $\theta$ with $2/15+\varepsilon<\theta<0.99$, and set $h=X^{\theta}$. We prove that for all but $O_{\varepsilon}\left(X\exp\left(-c_{\varepsilon}(\log X)^{1/4}\right)\right)$ values of $x\in[X,2X]$, the short interval $(x,x+h]$ contains $\asymp_{\varepsilon} h$ integers of the form $p+a$, where $p$ is prime and $a\in\mathcal{A}_{\lambda}(X)$.

On sums of two squares and a basis of order $2$

math.NT

v2

Let $\mathcal{R}$ denote the set of integers $n$ that can be represented as the sum $n = x^2 + y^2$ with $(x,y) = 1$. Let $a$ and $b$ be integers with $a>0$, $a \nmid b$. We show that for sufficiently large positive integer $N$ there are two strings of consecutive positive integers $I_{1}=\{n_1-m,\ldots, n_1+m\}$ and $I_{2}=\{n_2-m, \ldots, n_2+m\}$ such that $m = [(\log N) (\log \log N)^{1/325525}]$, $I_{1}\cup I_{2} \subset [1, N]$, $N = n_1 + n_2$, and for any $n\in I_{1}\cup I_{2}$ at least one of $n$ or $an+b$ does not lie in $\mathcal{R}$. In particular, we have $n(an+b)\notin \mathcal{R}$ for all $n\in I_{1}\cup I_{2}$.

Compactifications of the Eisenstein ancestral Deligne-Mostow variety

math.AG

math.NT

v3

All arithmetic non-compact ball quotients by Deligne-Mostow's unitary monodromy group arise as sub-ball quotients of either of two spaces called ancestral cases, corresponding to Gaussian or Eisenstein Hermitian forms respectively. In a previous paper, we investigated the compactifications of the Gaussian Deligne-Mostow variety. Here we work on the remaining case, namely the ring of Eisenstein integers. This variety is related to the moduli space of unordered 12 points on $\mathbb{P}^1$. In particular, we show that Kirwan's partial resolution of the moduli space is not a semi-toroidal compactification and Deligne-Mostow's period map does not lift to the unique toroidal compactification. We give two interpretations of these phenomena in terms of the log minimal model program and automorphic forms. As an application, we prove that the above two compactifications are not (stacky) derived equivalent, as the $DK$-conjecture predicts. Furthermore, we construct an automorphic form on the moduli space of non-hyperelliptic curves of genus 4, which is isogenous to the Eisenstein Deligne-Mostow variety, giving another intrinsic proof, independent of lattice embeddings, of a result by Casalaina-Martin, Jensen and Laza.

On minimal shapes and isoperimetric constants in hyperbolic lattices

math.CO

math.AT

math.GR

math.NT

math.PR

v3

We fully characterize the set of finite shapes with minimal perimeter on hyperbolic lattices given by regular tilings of the hyperbolic plane whose tiles are regular $p$-gons meeting at vertices of degree $q$, with $1/p+1/q<\frac{1}{2}$. In particular, we prove that the ratio between the perimeter and the area (i.e., the number of vertices) of this set of minimal shapes converges to the isoperimetric constant computed in H\"aggstr\"om-Jonasson-Lyons. In fact, our balls which are constructed via layers and not combinatorial balls, will realize the isoperimetric constant for any fixed number of vertices.

$J$-generalization of the Rogers-Ramanujan-Gordon identities via commutative algebra

math.CO

math.NT

v2

The Rogers-Ramanujan-Gordon identities generalize the classical partition identities discovered independently by L. J. Rogers and S. Ramanujan. In 2021, Afsharijoo provided a commutative algebra proof of the Rogers-Ramanujan-Gordon identities. Building on the Afsharijoo's approach, we present a commutative algebra proof of a broader family of identities introduced by Coulson \textit{et al.}, which includes the Rogers-Ramanujan-Gordon identities as a special case. In the proof, we relate the generating functions associated with these identities to the Hilbert-Poincar\'e series of suitably constructed graded algebras.