Number Theory [math.NT]

On the Diophantine Inequality $\lvert x^{2} - 2^{a}\cdot 3^{b}\rvert < 3\max\{a,b\}$

math.NT

In this paper, we show that there are $57$ nonnegative integer solutions $(a,b,x)$ to the inequality $1\le \lvert x^{2} - 2^{a}\cdot 3^{b}\rvert < 3\max\{a, b\}$ and we list them explicitly. The inequality is converted into a statement about how closely $x/q$ approximates irrational number $\sqrt{d}$ for $d\in\{2,3,6\}$, where $q$ is an integer which is $3$-smooth, after which Worley's theorem on rational approximations via continued fractions is applied to parametrise the solutions and a $p$-adic lower bound for a linear form in logarithms due to Bugeaud and Laurent is applied to find a rather large bound on $\max\{a,b\}$. We finish with an application of the LLL algorithm to reduce this bound.

Factorizations of linearized polynomials and extremal curves in odd characteristic

math.NT

math.AG

We give a complete recipe for constructing extremal van der Geer--van der Vlugt curves over finite fields of odd characteristic. The input data consist of a nonzero element of the base field together with a linear subspace satisfying a certain trace condition. This construction may be viewed as an odd-characteristic analogue of the one previously obtained by the authors in characteristic two.

Modular Heights of Unitary Shimura Varieties II: Arithmetic Generating Series of Divisors

math.NT

This is the second of a series of three papers, in which we prove a formula expressing the modular height of a unitary Shimura variety over a CM number field in terms of the logarithmic derivative of the Hecke L-function associated with the CM extension. The main idea of our proof is to compare the holomorphic projection of the derivative of a certain mixed Eisenstein-theta series and the arithmetic degree of a generating series of divisors on unitary Shimura varieties. In this paper, we define the arithmetic generating series of divisors on unitary Shimura varieties, compute the corresponding arithmetic intersection numbers, and derive the modular height formula for unitary Shimura curves as well as the height formula for a CM point on them.

Structured lattices and their applications to security

math.NT

cs.CR

cs.IT

math.IT

Euclidean lattices are an interesting object of study in many regards and can have a rich structure arising from various constructions, e.g., from number field extensions. A particularly interesting class is the one of well-rounded lattices, as they relate to the well-known densest sphere packing problem in geometry, theta function minimization, and the famous Minkowski and Woods conjectures. In addition to being an important mathematical object in their own right, lattices also play a central role in many applications. This paper offers a survey of structured lattices and discusses their recent applications in lattice-based cryptography and secure wireless communications. Our goal is to spark the interest of mathematicians and adjacent communities in these fascinating topics in the intersection of lattices, number theory, cryptography, and wireless communications.

Schneider--Teitelbaum Duality over a Non-spherically Complete Field

math.NT

math.RT

We formulate Schneider--Teitelbaum duality between wide classes of Banach $k$-linear representations of $G$ and left $O_k[[G]]$-modules for a non-spherically complete field $k$, e.g.\ $\mathbb{C}_p$, and a profinite group $G$. We interpret a topological notion of a weak variant of irreducibility of a Banach $k$-linear representation of $G$ into a purely algebraic notion of a certain simplicity of the dual left $O_k[[G]]$-module. As applications, we give two $p$-adic families of infinite dimensional Banach $\mathbb{C}_p$-linear representations of a $p$-adic Lie group satisfying the weak irreducibility.

Explicit constructions for Ramanujan-type congruences

math.NT

math.CO

For an integer-valued sequence $\{a(n)\}_{n\geq 0}$ and a prime $\ell$, a Ramanujan-type congruence is a relation of the form $a(\ell n-\delta_{\ell})\equiv 0\pmod\ell$, where $\delta_{\ell}$ is a specific shift. In this paper, we present explicit constructions of modular forms to establish Ramanujan-type congruences for a broad class of generating functions, including eta-quotients, weakly holomorphic modular forms, and mock modular forms. As applications, our explicit approach provides a unified framework to not only recover known congruences but also establish new non-congruence results and explicit congruences for various combinatorial and arithmetic functions.

Small values of Carmichael's lambda function

math.NT

Let $\lambda(n)$ be the exponent of the multiplicative group $(\mathbb{Z}/n\mathbb{Z})^{\times}$, and set $L(x,y) = \#\{n\le x: \lambda(n)\le y\}$. We prove an upper bound for $\log \frac{L(x,y)}{x}$ valid for $\exp((\log_2{x})^{1+\epsilon}) \le y\le x/\exp((\log_2{x})^{1+\epsilon})$. Our bound is asymptotically sharp under a plausible hypothesis on powersmooth shifted primes. As an application, we obtain a new upper bound on the count of odd $n\le x$ for which the order of $2$ modulo $n$ is appreciably smaller than $x^{1/2}$.

Modular Heights of Unitary Shimura Varieties III: Proof of the Main Theorem

math.NT

This is the third and the last of a series of three papers, in which we prove a formula expressing the modular height of a unitary Shimura variety over a CM number field in terms of the logarithmic derivative of the Hecke L-function associated with the CM extension. The main idea of our proof is to compare the holomorphic projection of the derivative of a certain mixed Eisenstein-theta series and the arithmetic degree of a generating series of divisors on unitary Shimura varieties. In this paper, we compute the arithmetic degree of the arithmetic generating series of divisors on unitary Shimura varieties, and then, combining with the results from the first two papers in this series, derive the modular height formula for unitary Shimura varieties.

Generalization of Selberg's $3/16$ theorem for geometrically finite thin subgroups of $\operatorname{SO}(n, 1)$

math.DS

math.NT

math.SP

Let $\Gamma$ be a geometrically finite thin subgroup of an arithmetic lattice $\Gamma_0 < G := \operatorname{SO}(n, 1)$ and consider the congruence covers of $\Gamma \backslash G$. In the breakthrough work of Bourgain-Gamburd-Sarnak, the expansion machinery was used to establish a uniform spectral gap in the setting $(G, \Gamma_0) = (\operatorname{SL}_2(\mathbb{R}), \operatorname{SL}_2(\mathbb{Z}))$ when the critical exponent satisfies $\delta_\Gamma > \frac{1}{2}$. The main applications are affine sieve for $\Gamma$-orbits and uniform resonance-free half-planes for the resolvent of the Laplacian. These results were generalized in subsequent works by Mohammadi-Oh, Oh-Winter, the author, and Edwards-Oh. Yet, the region $\delta_\Gamma \in \bigl(\frac{1}{2}, n - 2\bigr]$ for $n \geq 3$ remains to be treated when there are cusps. The purpose of this paper is to fill in this gap in the literature. The difficulty lies in working with a countably infinite coding due to the presence of cusps. In particular, we incorporate new tools to prove the Zariski density and full trace field properties of the return trajectory subgroups.

Cram\'er-Type Moderate Deviations for Engel's Series via a Martingale Approach

math.PR

math.NT

Let $x$ be uniformly distributed on $(0,1)$, and let $(q_n)_{n\geq1}$ be the digits of its Engel series expansion. We establish a Cram\'er-type moderate deviation expansion for $(\log q_n-n)/\sqrt n$. The proof is based on a martingale decomposition and asymptotic results for martingales. As consequences, we obtain a moderate deviation principle over the full range of scales between the central limit theorem and the law of large numbers, without the additional lower rate restriction required in several earlier works. We also derive a uniform Berry--Esseen bound of order $(\log n)/\sqrt n$.

Secretary Problem Thresholds and Convergents of $1/e$

math.PR

math.NT

We prove that if $p/q$ is a continued fraction convergent of $1/e$ with $q\geq 3$, then, for the secretary problem with $q$ applicants, the optimal number of initially rejected applicants is $p$.

Must a primitive non-deficient number have a component not much larger than its radical?

math.NT

v4

Let $n$ be a primitive non-deficient number where $n=p_1^{a_1}p_2^{a_2} \cdots p_k^{a_k}$ where $p_1, p_2, \cdots, p_k$ are distinct primes. We prove that there exists an $i$ such that $$p_i^{a_i+1} < 2k(p_1p_2p_3\cdots p_k).$$ We conjecture that in fact one can always find an $i$ such that ${p_i}^{a_i+1} < 2p_1p_2p_3\cdots p_k$.

Harder's conjecture II

math.NT

v4

Let $f$ be a primitive form of weight $2k+j-2$ for $SL_2(Z)$, and let $P$ be a prime ideal of the Hecke field of $f$. We denote by $Sp_m(Z)$ the Siegel modular group of degree $m$. Suppose that $k$ is congruent to $0$ modulo $4$, $j$ is congruent to $0$ modulo $4$, and that $P$ divides the algebraic part of $L(k+j,f)$. Put ${\bf k}=(k+j/2,k+j/2,j/2+4,j/2+4)$. Then under certain easily checkable conditions, we prove that there exists a Hecke eigenform $F$ in the space of modular forms of weight $(k+j,k)$ for $Sp_2(Z)$ such that $[I_2(f)]^{\bf k}$ is congruent to $A^{(I)}_4(F)$ modulo $P$. Here, $[I_2(f)]^{\bf k}$ is the Klingen-Eisenstein lift of the Saito-Kurokawa lift $I_2(f)$ of $f$ to the space of modular forms of weight ${\bf k}$ for $Sp_4(Z)$, and $A^{(I)}_4(F)$ is a certain lift of $F$ to the space of cusp forms of weight ${\bf k}$ for $Sp_4(Z)$. As an application, we prove Harder's conjecture on the congruence between the Hecke eigenvalues of $F$ and some quantities related to the Hecke eigenvalues of $f$. This version gives proofs of Lemmas 7.2 and 7.3 and Corollaries 7.4 and 7.5 in the paper arXiv:2306.07582v2.

Measure theoretic properties of large products of consecutive partial quotients

math.NT

v3

The theory of uniform approximation of real numbers motivates the study of products of consecutive partial quotients in regular continued fractions. For any non-decreasing positive function $\varphi:\mathbb{N}\to\mathbb{R}_{\geq 2}$, we determine the Lebesgue measure of the set $\mathcal{F}_{\ell}(\varphi)$ of irrational numbers $x$ whose regular continued fraction $x~=~[a_1(x),a_2(x),\ldots]$ is such that, for infinitely many $n\in\mathbb{N}$, there are two numbers $1\leq j

Modular Heights of Unitary Shimura Varieties I: Derivatives of Eisenstein Series

math.NT

v3

This is the first of a series of three papers, in which we prove a formula expressing the modular height of a unitary Shimura variety over a CM number field in terms of the logarithmic derivative of the Hecke L-function associated with the CM extension. The main idea of our proof is to compare the holomorphic projection of the derivative of a certain mixed Eisenstein-theta series and the arithmetic degree of a generating series of divisors on unitary Shimura varieties. In this paper, we compute an explicit expression of the holomorphic projection of the derivative of a certain mixed Eisenstein-theta series.

Kitaoka's Conjecture and sums of squares

math.NT

v2

We connect the existence of a ternary classical universal quadratic form over a totally real number field $K$ with the property that all totally positive multiples of 2 are sums of squares (if $K$ does not contain $\sqrt 2$ or contains a nonsquare totally positive unit). In particular, we get that Kitaoka's Conjecture holds for all fields of odd discriminant.

Diamond Determinants and Somos Sequences

math.NT

v2

A Somos sequence of order $n$ is defined by a quadratic recurrence of width $n + 1$. Some of the remarkable properties of these sequences for small $n$ are tied to certain matrices built out of them being of finite rank. We give an elementary proof of the finite-rank property for order $6$, previously only established with the help of advanced machinery from the theory of hyperelliptic functions. Our method also yields a new finite-rank property for the Somos sequences of order $7$. In addition, we conjecture generalisations of these results to higher orders, for the subclass of Gale-Robinson sequences.

Fractional parts of powers of negative rationals

math.NT

v3

We prove that for any real number $\xi\neq 0$ and any coprime integers $p>q\ge1$ such that $\xi$ is irrational or $q>1$, the image in $\mathbb{R}/\mathbb{Z}$ of the sequence $(\xi (-p/q)^n)_{n\ge 0}$ is not contained in any interval of length less than $(1+q/p-q^2/p^2)/p$.

Every natural number is a sum of distinct semiprime unit fractions

math.NT

math.CO

v2

We prove that every natural number is a finite sum of distinct unit fractions whose denominators are semiprimes (products of two distinct primes). This is the $\omega=2$ integer case of a problem of Erd\H{o}s and Graham, stated only as a conjecture by Butler, Erd\H{o}s and Graham (Integers 15 (2015), A51), who proved the $\omega=3$ analogue. Counterintuitively the problem hardens as $\omega$ decreases -- the induction's feed thins -- so $\omega=2$ is the hard case; our proof adapts the Butler-Erd\H{o}s-Graham induction to this thin-feed regime, where the entire content of the induction step reduces to an explicit onset inequality $Y_0(N)\le\min\{\beta(N),\beta'(N)\}$, proved for all $N\ge10$ by Olson's addition theorem and elementary Chebyshev bounds above a finite, machine-checked base range. The same engine extends to the rationals: for every squarefree $b$, every $a/b$ above an explicit threshold $\min\{B_{N_b}/6,\,1/5\}$ is $\omega=2$ representable, unconditionally. As an application we give the first complete proof of the rational $\omega=3$ statement -- every $a/b$ with squarefree $b$ is a sum of distinct sphenic unit fractions -- that Butler, Erd\H{o}s and Graham conjectured but left unpublished; a descent settles every $\omega\ge3$. What remains open is the $\omega=2$ regime below this threshold, which we reduce to a single explicit conjecture -- that the gap-free floor of a semiprime subset-sum set tends to zero. This work is a human-AI collaboration: AI tools (notably Anthropic's Claude, used through Claude Code) contributed substantially to the Lean formalisation, the experiments, and the writing; correspondingly, every result is machine-checked in Lean 4 / Mathlib (no sorry; two cited classical axioms, plus the native_decide compiler-trust base for the finite computations), so its correctness is independent of the tools used.

The field of moduli of plane curves

math.AG

math.NT

v4

We prove that a smooth, complex plane curve of odd degree can be defined by a polynomial with coefficients in $\mathbb{R}$ if and only if it is isomorphic to its complex conjugate; there are counterexamples in even degree. Over arbitrary base fields of characteristic $0$, we prove that a smooth plane curve of degree prime with $6$ can be defined by a polynomial with coefficients in the field of moduli. We also prove results about fields of moduli of algebraic cycles in $\mathbb{P}^{2}$. In particular, these apply to singular plane curves of arbitrary degree, too.

Exponential prime orbit theorems for Anosov subgroups

math.DS

math.DG

math.NT

v3

Let $\Gamma$ be a Zariski dense Anosov subgroup of a connected semisimple real algebraic group -- these are higher rank analogues of convex cocompact subgroups. Let us measure the Jordan projections with any linear form which is positive on the limit cone of $\Gamma$. We prove a corresponding counting theorem with a power saving error term for the conjugacy classes of loxodromic elements in $\Gamma$. The proof is based on interpreting the Jordan projections as periods of a natural flow associated to $\Gamma$ and proving exponential mixing. We also prove the existence of a spectral gap for the Selberg zeta function.

On the analog of the Kolmogorov-Arnold superposition representation for continuous functions of several $p$-adic variables

math-ph

math.MP

math.NT

v3

It is shown that any continuous function depending on several $p$-adic variables, each of which is defined on $\mathbb{Z}_{p}$, can be represented as a superposition of continuous functions of one $p$-adic variable. This statement is true for both functions with values in $\mathbb{R}$ and functions with values in $\mathbb{Q}_{p}$.

Power Partitions and Hayman Functions

math.PR

math.CV

math.NT

v3

We prove, within the probabilistic framework of Khinchin families, that the generating function $P_k$ of partitions into $k$-th powers is strongly Gaussian in the sense of B\'aez-Duarte, and even further that it is a Hayman function. Thus the Hardy--Ramanujan asymptotic formula for the number $p_k(n)$ of partitions of $n$ into $k$-th powers which reads \[ p_k(n) \sim \frac{\alpha_k}{n^{(3k+1)/(2k+2)}} \exp\!\Big(\beta_k\, n^{1/(k+1)}\Big), \qquad n\to\infty, \] where $\alpha_k$ and~$\beta_k$ are explicit constants depending only on $k$, follows directly from Hayman's asymptotic formula for strongly Gaussian power series. The proof of strong Gaussianity of $P_k$ combines a Gaussianity criterion for Khinchin families with certain bounds of Tenenbaum, Wu and Li on the generating function; the asymptotic formula is recovered by computing asymptotic approximations of the mean and variance of the associated family. Analogous results are presented for the generating function $Q_k$ of partitions into distinct $k$-th powers.

Maximal Transcendentality of the Double-Scaled PCM

hep-th

math-ph

math.MP

math.NT

v2

We prove, to all orders, maximal transcendentality of the strongly coupled large-N Principal Chiral Model in the double-scaling regime introduced in our earlier work. We also prove that, after a natural shift of the coupling constant, the coefficients of the vacuum-energy expansion are expressed purely as polynomials in odd zeta values with rational coefficients. The first 35 explicitly computed orders reveal further number-theoretic regularities, pointing to hidden structure beyond maximal transcendentality.