Number Theory [math.NT]

On $\frac{1}{n!}$ in Cantor sets

math.NT

Let $C$ be the middle-third Cantor set. We show that \[\left\{\frac{1}{n!}: n\in\mathbb{N}\right\}\cap C=\left\{1, \frac{1}{5!}\right\}.\] This answers a question recently posed by Jiang [J. Lond. Math. Soc., 2026, published online]. Our approach generalizes to general missing-digit sets, showing that, in any such set, there are only finitely many elements of the form $\frac{1}{n!}$, all of which can be effectively determined.

2- and 3-Dissections of Second-, Sixth-, and Eighth-Order Mock Theta Functions

math.NT

In this paper, we develop a unified method for obtaining and proving $m$-dissections of mock theta functions. Our approach builds upon a transformation formula for Appell--Lerch sums due to Hickerson and Mortenson, which allows these sums to be expressed as linear combinations of Appell--Lerch sums together with suitable theta products. By systematically exploiting this representation, and through extensive symbolic computations carried out in Maple, we derive explicit dissection identities in a direct and effective manner. We focus exclusively on the cases of $2$- and $3$-dissections.

On the Density of Coprime Reductions of Elliptic Curves

math.NT

Given non-CM elliptic curves $E_1$ and $E_2$ over $\mathbb{Q}$, we study the natural density of primes $p$ of good reduction for which the orders of the groups $E_1(\mathbb{F}_p)$ and $E_2(\mathbb{F}_p)$ are coprime. This problem may be viewed as an elliptic curve analogue of the classical question concerning the density of coprime integer pairs. Motivated by Zywina's refinement of the Koblitz conjecture, we formulate a conjecture for the density of such primes. We prove that the series defining this constant converges and admits an almost Euler product expansion. In the case of Serre pairs, we give a closed formula for the constant and use it to prove a moments result describing the distribution of these constants as $(E_1, E_2)$ varies.

Igusa Stacks and the Cohomology of Shimura Varieties II

math.NT

math.AG

math.RT

We construct Igusa stacks for all Shimura varieties of abelian type and derive consequences for the cohomology of these Shimura varieties. As an application, we prove that the Fargues--Scholze local Langlands correspondence agrees with the semi-simplification of the local Langlands correspondences constructed by Arthur, Mok and others, for all classical groups of type $A$, $B$ and $D$; this extends work of Hamann, Bertoloni Meli--Hamann--Nguyen and Peng.

Arithmetic exceptionality of Latt\`{e}s maps

math.NT

Let $\mathbb{F}_q$ denote a finite field of order $q$. A rational function $r(x)\in \mathbb{Q}(x)$ is said to be arithmetically exceptional if it induces a permutation on $\mathbb{P}^1(\mathbb{F}_p)$ for infinitely many primes $p$. Based on some computational results, Odaba\c{s} conjectured that for each $k\in \mathbb{N}$, the $k$-th Latt\`{e}s map attached to an elliptic curve $E/\mathbb{Q}$ is arithmetically exceptional if and only if $E$ has no $k$-torsion point whose $x$-coordinate is rational. In this paper, we prove that this conjecture is true for any elliptic curve $E/\mathbb{Q}$ having complex multiplication by an imaginary quadratic field other than $\mathbb{Q}(\sqrt{-11}).$ On the other hand, we show that the conjecture becomes invalid if $E$ has CM by $\mathbb{Q}(\sqrt{-11})$ and $6\mid k$. Partial results for non-CM elliptic curves are also given.

Weak approximations, Diophantine exponents and two-dimensional lattices

math.NT

We study properties of Diophantine exponents of lattices and so-called related "weak" uniform approximations introduced in recent papers by Oleg German, in the simplest two-dimensional case. In contrast to the multidimensional case, in the two-dimensional case we can use a powerful tool of continued fractions. We develop an analog of Jarn\'{\i}k's theory dealing with inequalities between the ordinary and uniform Diophantine exponents, which turned out to be related to mutual behaviour of irrationality measure functions for two real numbers.

Analytical continuation of prime zeta function for $\Re(s)>\frac{1}{2}$ assuming (RH)

math.NT

We derive a simple expression to analytically continue the prime zeta function to the domain $\Re(s)>\frac{1}{2}$ assuming (RH) and taking into account a proper branch cut. We also verify the formula numerically and provide several plots.

Stern polynomials and algebraic independence

math.NT

Let $t\geq2$ and $k\geq1$ be integers. Let $H_{k}(z)$ with $\left\vert z\right\vert <1$ be the limit of a certain subsequence of the Stern polynomials introduced by Dilcher and Eriksen. We use Mahler's method to prove the algebraic independence of the values at nonzero algebraic points of the functions $H_{k}(z)$ and $H_{k}(z^{t^{k}})$.

The Prime times of twisted Diophantine approximation

math.NT

math.DS

The seminal work of Kurzweil (1955) provides for any fixed badly approximable $\alpha$ and monotonically decreasing $\psi$ a Khintchine-type statement on the set of the inhomogeneous real parameters $\gamma$ for which $\lVert n \alpha + \gamma\rVert \leq \psi(n)$ has infinitely many integer solutions, and further shows that the assumption of $\alpha$ being badly approximable is necessary. In this article, we generalize Kurzweil's statement to restricting $n \in \mathcal{A}$, where $\mathcal{A} \subseteq \mathbb{N}$ is a set with some multiplicative structure. We show that for badly approximable $\alpha$, the result of Kurzweil extends to a general class of sets $\mathcal{A}$, which allows us to establish the Kurzweil-type result in particular along the primes and along the sums of two squares. Furthermore, we construct non-trivial sets $\mathcal{A}$ where the assumption of $\alpha$ being badly approximable is necessary. In particular, this criterion applies to $\mathcal{A}$ being the set of square-free numbers, providing a novel characterization of the badly approximable numbers. These statements in particular allow for improving the best known bounds for $\lVert n \alpha + \gamma\rVert \leq \psi(n)$ for infinitely many $n \in \mathcal{A}$ for fixed badly approximable $\alpha$ and for various sets $\mathcal{A}$ of number-theoretic interest when accepting an exceptional set for $\gamma$ of Lebesgue measure $0$.

Second order Recurrences, quadratic number fields and cyclic codes

math.NT

cs.CR

Wall-Sun-Sun primes (shortly WSS primes) are defined as those primes $p$ such that the period of the Fibonacci recurrence is the same modulo $p$ and modulo $p^2.$ This concept has been generalized recently to certain second order recurrences whose characteristic polynomials admit as a zero the principal unit of $\mathbb{Q}(\sqrt{d}),$ for some integer $d>0.$ Primes of the latter type we call $WSS(d).$ They correspond to the case when $\mathbb{Q}(\sqrt{d})$ is not $p$-rational. For such a prime $p$ we study the weight distributions of the cyclic codes over $\mathbb{F}_p$ and $\mathbb{Z}_{p^2}$ whose check polynomial is the reciprocal of the said characteristic polynomial. Some of these codes are MDS (reducible case) or NMDS (irreducible case).

Computing the local $2$-component of a non-selfdual automorphic representation of $\mathrm{GL}_3$

math.NT

In this paper, we explicitly determine the local $2$-adic component of a non-selfdual automorphic representation $\Pi$ of $\mathrm{GL}_3$ constructed by van Geemen and Top. We prove that $\Pi_2$ is a parabolically induced representation of $\mathrm{GL}_3(\mathbb{Q}_2)$ given by $\Pi_2 = \mathrm{Ind}_P^{\mathrm{GL}_3(\mathbb{Q}_2)}(\pi\boxtimes \chi)$, where $P$ is the standard parabolic subgroup of $\mathrm{GL}_3$ with Levi subgroup $\mathrm{GL}_2 \times \mathrm{GL}_1$, $\chi$ is an unramified character of $\mathbb{Q}_2^\times$ satisfying $\chi(2) = -2\sqrt{-1}$, and $\pi$ is a supercuspidal representation of $\mathrm{GL}_2(\mathbb{Q}_2)$. Furthermore, we describe $\pi$ explicitly as a compactly induced representation $\pi = \mathrm{c-Ind}_{J_\alpha}^{\mathrm{GL}_2(\mathbb{Q}_2)} \Lambda$ and determine the representation $\Lambda$ explicitly. The proof relies on explicit computations of Hecke eigenvalues using computer calculations. The automorphic representation $\Pi$ is realized in the cuspidal cohomology of the congruence subgroup $\Gamma_0(128) \subset \mathrm{SL}_3(\mathbb{Z})$. By computing the Hecke eigenvalues of an associated Hecke eigenvector, we are able to uniquely identify the local structure of $\Pi_2$. As an application, we obtain an explicit description of the $2$-adic local component of the Galois representation $\rho_{\mathrm{vGT},\ell}$ associated with $\Pi$.

Poly-Bernoulli numbers from shifted log-sine integrals

math.NT

In 1999, Arakawa and Kaneko introduced a zeta function whose special values at negative integers yield the poly-Bernoulli numbers and investigated its relation to multiple zeta values. Since the poly-Bernoulli numbers appear in this function essentially by design, it is natural to ask whether they arise as special values of more intrinsic zeta-type objects. In this article, we show that a shifted log-sine integral provides such an example. Its analytically continued values at negative integers are given by anti-diagonal sums of poly-Bernoulli numbers with negative index.

A note on gamma factors for pairs

math.NT

math.RT

In this short note we observe that the gamma factor defined by Gelfand and Kazhdan coincides with the Rankin-Selberg root number defined by Jacquet, Piatetskii-Shapiro and Shalika.

An integrality phenomenon

math.NT

We prove a general statement about the integrality of the sequences generated by a recursion of the following form: $nu_n$ equals a linear combination of $u_{n-1},u_{n-2},\dots,u_0$ with polynomial coefficients in $n$ of special form. This includes a conjectural integrality of the sequence related to the H\"ormander-Bernhardsson extremal function, for which we further give a direct proof as well.

Murmurations in the depth aspect

math.NT

We compute the murmuration density function for the family of Hecke forms of weight $k$ and prime power level $N=\ell^a$, with $\ell$ a fixed odd prime and $a\to \infty$.

A conditional bound for the least prime in an arithmetic progression

math.NT

Assuming the generalized Lindel\"of hypothesis for Dirichlet $L$-functions, we establish that the least prime $p\equiv a\pmod{q}$ satisfies $p\ll_{\varepsilon} q^{2+\varepsilon}$. This achieves a bound that nearly matches the classical estimate implied by the generalized Riemann hypothesis.

Iterated beta integrals

math.NT

We introduce iterated beta integrals, a new class of iterated integrals on the universal abelian covering of the punctured projective line that unifies hyperlogarithms and classical beta integrals while preserving their fundamental properties. We establish various analytic properties of these integrals with respect to both the exponent parameters and the main variables. Their key feature is invariance under simultaneous translation of the exponent parameters, which generates relations between integrals over possibly different coverings. This mechanism recovers notable identities for multiple zeta values and variants -- including Zagier's 2-3-2 formula, Murakami's $t$-value analogue, Charlton's $t$-value analogue, Zhao's $2$-$1$ formula, and Ohno's relation -- and also yields new relations, such as a proof of a Galois descent phenomenon for multiple omega values.

Quadratic Residue Codes over $\mathbb{Z}_{121}$

cs.IT

math.IT

math.NT

In this paper, we construct a special family of cyclic codes, known as quadratic residue codes of prime length \( p \equiv \pm 1 \pmod{44} ,\) \( p \equiv \pm 5 \pmod{44} ,\) \( p \equiv \pm 7 \pmod{44} ,\) \( p \equiv \pm 9 \pmod{44} \) and \( p \equiv \pm 19 \pmod{44} \) over $\mathbb{Z}_{121}$ by defining them using their generating idempotents. Furthermore, the properties of these codes and extended quadratic residue codes over $\mathbb{Z}_{121}$ are discussed, followed by their Gray images. Also, we show that the extended quadratic residue code over $\mathbb{Z}_{121}$ possesses a large permutation automorphism group generated by shifts, multipliers, and inversion, making permutation decoding feasible. As examples, we construct new codes with parameters $[55,5,33]$ and $[77,7,44].$

Linear theories of global fields with absolute values

math.LO

math.NT

We study the theory of a global field k as a k-vector space with a predicate for one of the absolute values on k. For example, we prove that in this language a global field with an ultrametric or real archimedean absolute value has a decidable theory, while with a complex absolute value the theory is always undecidable. We also study the existential theories and axiomatize k together with predicates for all non-complex absolute values on k simultaneously.

Local coherence for representations of amalgams

math.RT

math.NT

In all forms of the local Langlands program the abelian category of smooth representations of p-adic groups G in vector spaces over a field k plays a central role. Of particular interest are its finiteness properties. If the field k has characteristic zero then, by work of Bernstein, this category is most of the time locally noetherian. But if the field has characteristic p then this remains the case only for very special groups. The basic idea of this paper is that if G is an amalgam, i.e., a colimit of certain subgroups then this is reflected by Mod(G) being the limit of the corresponding categories for these subgroups. This allows to deduce finiteness properties of Mod(G) from finite properties of the categories in the limit diagram.

Exceptional loci in algebraic surfaces

math.AG

math.NT

We study the algebraic exceptional set for surfaces (S,B) of log general type, when B has at least three irreducible components; we prove that in most cases it is finite or empty.

The Uniform Mordell-Lang Conjecture

math.NT

math.AG

v4

The Mordell--Lang conjecture for abelian varieties states that the intersection of an algebraic subvariety $X$ with a subgroup of finite rank is contained in a finite union of cosets contained in $X$. In this article, we prove a uniform version of this conjecture, meaning that that the number of cosets necessary does not depend on the ambient abelian variety. To achieve this, we prove a general gap principle on algebraic points that extends the gap principle for curves embedded into their Jacobians, previously obtained by Dimitrov--Gao--Habegger and K\"{u}hne. Our new gap principle also implies the full uniform Bogomolov conjecture in abelian varieties.

On the positivity and integrality of coefficients of mirror maps

math.NT

math.AG

v3

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. Most 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.

Integral Springer Theorem for Quadratic Lattices under Base Change of Odd Degree

math.NT

v2

A quadratic lattice $M$ over a Dedekind domain $R$ with fraction field $F$ is defined to be a finitely generated torsion-free $R$-module equipped with a non-degenerate quadratic form on the $F$-vector space $F\otimes_{R}M$. Assuming that $F\otimes_{R}M$ is isotropic of dimension $\geq 3$ and that $2$ is invertible in $R$, we prove that a quadratic lattice $N$ can be embedded into a quadratic lattice $M$ over $R$ if and only if $S\otimes_{R}N$ can be embedded into $S\otimes_{R}M$ over $S$, where $S$ is the integral closure of $R$ in a finite extension of odd degree of $F$. As a key step in the proof, we establish several versions of the norm principle for integral spinor norms, which may be of independent interest.

Counting Salem numbers arising from arithmetic hyperbolic orbifolds

math.NT

math.DG

math.GR

math.GT

v2

The relationship between Salem numbers and short geodesics has been fruitful in quantitative studies of arithmetic hyperbolic orbifolds, particularly in dimensions 2 and 3. In this article, we push these connections even further. The primary goals are: (1) to bound the proportion of Salem numbers of degree up to $n+1$ in the commensurability class of classical arithmetic lattices in any odd dimension $n$; (2) to improve lower bounds for the strong exponential growth of averages of multiplicities in the geodesic length spectrum of non-compact arithmetic orbifolds. In order to accomplish these goals, we bound, for a fixed square-free integer $D$, the count of Salem numbers with minimal polynomial $f$ satisfying $f(1)f(-1)=-D$ in $\mathbb{Q}^{\times}/\mathbb{Q}^{\times 2}$. To do this, we make use of results on the distribution of Salem numbers, as well as classical methods for counting Pythagorean triples and Gauss' lattice-counting argument. To this end, we give a generalization of the count of Pythagorean triples and provide an elementary proof which may be of independent interest.

The Local-Global Conjecture is False for Generalized Circle Packings

math.NT

v2

Haag, Kertzer, Rickards, and Stange disprove the Local-Global Conjecture for Apollonian circle packings. We extend their disproof to four more types of integral circle packing: the octahedral, cubic, square, and triangular packings. In each case, we find quadratic invariants which imply quadratic reciprocity obstructions to the conjecture in certain packings. We utilize an explicit parametrization of circles tangent to a fixed circle in each packing type, and a quadratic reciprocity argument. Even in the packings where we do not find quadratic obstructions, the curvatures exhibit a predictable reciprocity structure. This leads to partial obstructions on integers appearing as curvatures in subsets of the packing.

Perfect Sets of Liouville Numbers with Controlled Self-Powers

math.NT

v3

We study the arithmetic behavior of self-powers $x^x$ when $x$ is a Liouville number. Using recent ideas on strengthened Liouville approximation, we develop flexible constructions that illuminate how transcendence, Liouville properties, and "large" topological size interact in this setting. As a concrete outcome, we build a perfect set of Liouville numbers of continuum cardinality whose finite sums, finite products, and self-powers all remain Liouville. These results show that rich algebraic and topological structures persist inside the Liouville universe for the map $x\mapsto x^x$.

On the Digits of Partition Functions

math.NT

math.CO

v2

We study a problem of Douglass and Ono concerning the smallest integer $n$ such that the partition function $p(n)$ begins with a specified string of digits $f$ in base $b$. By employing an elementary discrepancy framework, we establish new upper bounds that significantly improve upon previous results of Luca.

Equidistribution in shrinking sets for arithmetic spherical harmonics

math.NT

v2

We study a variant of the equidistribution of mass conjecture on the sphere posed by B\"ocherer, Sarnak, and Schulze-Pillot: quantum unique ergodicity in shrinking sets. Conditionally on the generalized Lindel\"of hypothesis, we show that quantum unique ergodicity holds on every shrinking spherical cap whose radius is considerably larger than the Planck scale, and that it holds on almost every shrinking spherical cap whose radius is larger than the Planck scale. Additionally, conditionally on GLH, we provide explicit upper bounds for the $1$-Wasserstein distance and the spherical cap discrepancy between the involved measures.

Tropical Weierstrass points and Weierstrass weights

math.AG

math.CO

math.NT

v3

In this paper, we study tropical Weierstrass points. These are the analogues for tropical curves of ramification points of line bundles on algebraic curves. For a divisor on a tropical curve, we associate intrinsic weights to the connected components of the locus of tropical Weierstrass points. These are obtained by analyzing the slopes of rational functions in the complete linear series of the divisor. We prove that for a divisor $D$ of degree $d$ and rank $r$ on a genus $g$ tropical curve, the sum of weights is equal to $d - r + rg$. We establish analogous statements for tropical linear series. In the case $D$ comes from the tropicalization of a divisor, these weights control the number of Weierstrass points that are tropicalized to each component. Our results provide answers to open questions originating from the work of Baker on specialization of divisors from curves to graphs. We conclude with multiple examples that illustrate interesting features appearing in the study of tropical Weierstrass points, and raise several open questions.