Number Theory [math.NT]

Solving equations of signature $(p,p,2)$ with coefficients over number fields

math.NT

Using the modular method, we study solutions to the Diophantine equation $$Aa^p+Bb^p=Cc^2$$ over number fields. We first prove an asymptotic result for general number fields satisfying an appropriate $S$-unit condition by assuming some standard conjectures in the case of fields that are not totally real. Specifically, we verify that this condition holds for an infinite family of real quadratic fields. Outside the asymptotic setting, we also obtain effective results. In particular, for the equation $$a^p+db^p=c^2$$ over $K= \mathbb{Q}(\sqrt{-d})$ with $d \in \{3, 11, 19, 43, \}$ and $K= \mathbb{Q}(\sqrt d)$ with $d \in \{3, 5, 11, 13, 19, 29\}$, we find explicit bounds (depending on $d$) such that no non-trivial solutions of a certain type exist whenever $p$ exceeds these bounds.

Gain Bounds for Diagonal Superelliptic Equations under the Strong ABC Conjecture

math.NT

We establish a novel framework for bounding the adapted power gain $G_p$ and approximation gain $G_a$ of coprime integer solutions to the generalized diagonal superelliptic equation $By^n = Ax^n + k$ with $x, y \ge 2$. By first deriving a purely structural lower bound for $G_a$, we demonstrate that these equations are inherently predisposed to high ABC-qualities ($q = G_a \cdot G_p$). Combined with the Strong ABC conjecture ($q < q_{max}$), we prove that the power gain is uniformly bounded by $G_p < q_{max}/G_{a,min}$, providing a theoretical foundation for the numerical observation $G_p < 3$ for $n=2$ under the Ultra-Strong conjecture ($q < 1.5$). Specifically, we show that for $k=1$, the structural density forces $q > n/2$, which excludes solutions for $n \ge 4$ under $q < 2$. We validate our theoretical bounds using high-quality ABC triples, specifically analyzing the Reyssat (1987), de Weger (1985), and Nitaj (1993) cases to demonstrate the sharpness of the structural approximation gain.

Proofs of Lupu's conjectures for multiple zeta values and multiple $t$-values

math.NT

Let $r\ge 1$ be an integer. For any multiple index $\mathbf{s}=(s_1,s_2,\cdots,s_r) \in\mathbb{Z}_{\geq 1}^r$ with $s_r>1$, the multiple zeta value (MZV for short) is defined by \begin{align*} \zeta(s_1,s_2,\cdots,s_r):=\sum_{1\leq k_1<\cdots<...

Moduli of $G$-bundles on rigid gerbes over affine curves

math.NT

math.AG

math.RT

We geometrize the basic cohomology set $H^{1}(\text{Kal}_{F}, G)_{\text{basic}}$ for a global function field $F$. We do this by constructing a v-stack $\text{Bun}_{G,F}^{e}$ which has localization maps to Fargues' analogous stack $\text{Bun}_{G,F_{v}}^{e}$ for all places $v$ of $F$ and whose semistable locus is the disjoint union of $\text{Bun}_{G_{b},F}$ for all $b \in H^{1}(\text{Kott}_{F} \times_{F} \text{Kal}_{F},G)_{\text{basic}}$. We also prove a version of Tate-Nakayama duality for $H^{1}(\text{Kott}_{F} \times_{F} \text{Kal}_{F},G)_{\text{basic}}$, which lets us state a conjectural multiplicity formula for discrete automorphic representations of $G(\mathbb{A}_{F})$ adapted to this new cohomology set.

Congruences for traces of singular moduli and Hurwitz - Kronecker class numbers

math.NT

Traces of singular moduli were introduced and studied by Zagier in 1998. Being simultaneously the (traces of) values of a modular function ($j$-invariant) and Fourier coefficients of modular forms - which constitutes Zagier's duality - these integers are quite interesting. Since then, a substantial amount of research was devoted to various properties of these numbers, congruences in particular. We present an alternative point of view on these congruences, specifically, we view them as congruences between certain weight $3/2$ modular forms under repeated action of $U$-operator. That allows us to obtain a general result which includes some previously known results as special cases. Our approach is especially effective when the prime modulus is relatively small. In these cases, we obtain explanations for certain numerical observations and quantification of some previously known qualitative results. As an application, we obtain modulo $11$ congruences between the traces of singular moduli and class numbers of quadratic fields in the case when the twisted central special value of the $L$-function associated with the elliptic curve of conductor $11$ vanishes.

Arithmetic BF theory and the Cassels-Tate pairing

math.NT

We give a systematic treatment of the arithmetic BF theory, introduced by Carlson and Kim. We observe that the Cassels-Tate pairing can be naturally interpreted as an arithmetic BF functional.

$L^4$-norms of automorphic forms in the depth aspect

math.NT

Let $p$ be an odd prime, and suppose $f$ is an $L^2$-normalised newform for $\Gamma_0(p^n)$ with bounded spectral parameters and trivial central character. We prove the optimal $L^4$-norm bound $\lVert f \rVert_4 \ll_{p,\varepsilon}(p^{n})^\varepsilon $ for all $\varepsilon >0$ as $n \rightarrow \infty$.

A cohomological invariant for algebras of degree 8 and exponent 2 in characteristic 2

math.NT

Our aim in this paper is to extend a work of Sivatski to characteristic 2. More precisely, for $F$ a field of characteristic $2$ and a central simple algebra $A$ of exponent 2 that splits over a triquadratic extension of $F$ of separability degree at least 4, we attach a cohomological invariant $\inv(A) \in H_2^3(F) / G$, where $H_2^3(F)$ is the third Kato-Milno cohomology group and $G$ is a subgroup of $H_2^3(F)$ divisible by the Brauer class of $A$. As an application, we will relate the decomposability of the algebra in degree 8 to the vanishing of $\inv(A)$. Moreover, we will use this invariant to prove some descent results for central simple algebras and quadratic forms over biquadratic extensions.

Arithmetic Aspects of Number Fields Generated by Polynomial Families

math.NT

Let $f(x)=(x^{k}+c)^{m}-ax^{n}\in\mathbb{Z}[x]$ be an irreducible polynomial over $\mathbb{Q}$, where $k,m,n\in\mathbb{N}$ with $km>n$, and let $K=\mathbb{Q}(\theta)$, where $\theta$ is a root of $f(x)$. We investigate the arithmetic properties of the number fields that arise from this family. We first obtain an explicit formula for the discriminant of $f(x)$. Using this formula, we establish necessary and sufficient conditions for the monogeneity of $f(x)$, expressed in terms of the prime divisors of $a$ and $c$ and the parameters $k,m,n$. This yields infinite families of monogenic polynomials of arbitrary degree, including families with a non-square-free discriminant. Building on these results, we extend our algebraic characterization to composite polynomials, establishing some explicit conditions for the monogeneity of the composition of $f(x)$ with an arbitrary polynomial $g(x)$. From an analytic point of view, we derive asymptotic estimates for the number of monogenic polynomials in these families under natural assumptions. We further study non-monogeneity via the field index $i(K)$ and, for each prime $p$, provide sufficient conditions ensuring $\nu_p(i(K))=1$, yielding partial progress toward a problem of Narkiewicz. We also highlight a connection with a class of differential equations naturally associated with $f(x)$. As an application, we determine the conditions under which the splitting field of $f(x)$ has a full symmetric Galois group. Several explicit examples illustrate our results.

On the analytic continuation of Dirichlet series with missing digits

math.NT

math.CO

We study the Dirichlet series associated with the integers whose radix-$b$ representation misses certain (fixed) digits. The existence of a meromorphic continuation to the entire complex plane, which was already well-known as a general fact valid for $b$-automatic Dirichlet series, is proven anew from a representation as an everywhere defined series with good convergence properties. A generating function related to the residues on the real axis is shown to be the multiplicative inverse of the moment generating function for the associated Cantor set in the unit interval. This makes the (normalized) residues some sort of generalized Bernoulli numbers.

Stacky Batyrev-Manin conjecture and modular curves

math.NT

math.AG

Let $\mathscr{X}_0(N)$ be the Deligne--Rapoport modular stack of elliptic curves endowed with a cyclic rational $N$-isogeny over a number field $F$. Let $N\in\{1,2,3,4,5,6,7,8,9,10,12,13,16,18,25\},$ which are precisely the values for which the coarse moduli space of $\mathscr{X}_0(N)$ is isomorphic to $\mathbb{P}^1$. We show that the stacky Batyrev--Manin conjecture [DY24] holds for the naive height on $\mathscr{X}_0(N)$ when $F=\mathbb{Q}$. In the process, we give a concrete description of $\mathscr{X}_0(N)$ as a square root stack over a stacky curve.

A new proof of Carlitz-Wan conjecture on exceptional polynomials

math.NT

We give a new proof of Carlitz-Wan's conjecture, previously proved by Lenstra (1995). Compared to Lenstra's proof, our argument is easier to follow and more intuitive.

Modular abelian surfaces of small conductor with nontrivial Tate--Shafarevich groups

math.NT

We exhibit examples of geometrically simple abelian surfaces $A/\mathbb{Q}$ with conductor bounded by $(10\,000)^2$ whose Tate--Shafarevich groups contain a subgroup isomorphic to $(\mathbb{Z}/p\mathbb{Z})^2$ for each $p = 5, 7, 11, 13$. To find these examples we generalise work of Cremona--Freitas to enumerate all congruences of a certain type between pairs of weight $2$ newforms $f \in S_2^{\mathrm{new}}(\Gamma_0(N))$ and $g \in S_2^{\mathrm{new}}(\Gamma_0(M))$ contained in the LMFDB (i.e., with $N, M < 10\,000$) and with coefficient fields of degree $\leq 4$. Passing from the modular forms to the corresponding abelian varieties we use visibility to (unconditionally) prove the existence of non-trivial elements of the Tate--Shafarevich group. Finally we construct an example of an abelian surface with $(\mathbb{Z}/7\mathbb{Z})^2 \subset \mathrm{Sha}(A/\mathbb{Q})$ which is (conjecturally) not visible in any abelian threefold.

Nontrivial torsion in the Tate--Shafarevich group via visibility and twists

math.NT

Let $\ell$ be an odd prime. We study the visibility theorem for certain elliptic curves over $\mathbb{Q}$ with additive reduction at $\ell$ and no degree $\ell$ isogeny defined over $\mathbb{Q}$, and deduce the existence of nontrivial $\ell$-torsion in $\Sha(E^D/\mathbb{Q})$ for suitable quadratic twists $E^D$. As an application for $\ell=3$, we exhibit pairs of non-isomorphic elliptic curves with the same BSD invariants, Kodaira symbols, and minimal discriminants, whose Tate--Shafarevich groups are isomorphic and have nontrivial $3$-primary parts.

Arithmetic properties of DSOME function

math.NT

Recently, Andrews and Ghosh Dastidar (Ramanujan J. \textbf{69}, Art. No. 26, 2026) studied two interesting functions $SOME(n)$ and $DSOME(n)$, where $SOME(n)$ is the sum of all the odd parts in the partitions of $n$ minus the sum of all even parts and $DSOME(n)$ is the sum of all the odd parts in the partitions of $n$ into distinct parts minus sum of all the even parts. They expressed the generating functions of $SOME(n)$ and $DSOME(n)$ in terms of $q$-series and found several interesting congruences modulo 4 and 5. In this paper, we express the generating function of $DSOME(n)$ in a closed form, which allows us to find some new congruences and internal congruences modulo 4 and 8 for $DSOME(n)$.

Properties of the Function \(F_{x,t}^{(k)}(n)\) with Applications to the Erd\H{o}s--Straus, Sierpi\'nski Conjectures and Their Generalizations

math.NT

This article develops a parametric approach to study the Diophantine equation \(\frac{k}{n} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}\), underlying the Erd\H{o}s--Straus (\(k=4\)), Sierpi\'nski (\(k=5\)), and their generalizations. We introduce and analyze the fundamental function \(F_{x,t}^{(k)}(n) = t^2(kx-n)^2 - 2nxt\), whose perfect square values are equivalent to solutions of the conjectures. For any fixed pair \((x,t)\), we define its admissible domain \(\mathcal{D}_{x,t}^{(k)}\) and prove that on this domain, \(F\) is strictly decreasing, non-negative, and converges to its minimum. A key result is the Zero Lemma: if \(F(n_0)=0\) for some \(n_0\) in the domain, then \(n_0\) is necessarily the upper bound of \(\mathcal{D}_{x,t}^{(k)}\), and such zeros of \(F\) yield explicit symmetric solutions with \(y=z\). As an illustration, in the classical Erd\H{o}s--Straus case (\(k=4\)), we explicitly construct symmetric solutions \(y = z\) for all integers \(n \equiv 0,2,3 \pmod{4}\), covering already \(75\%\) of all integers. For the remaining class \(n \equiv 1 \pmod{4}\), which is traditionally more challenging, we construct explicit symmetric solutions based on the existence of a divisor \(b \equiv 3 \pmod{4}\), and we show that this condition is satisfied for almost all such integers: the set of exceptions has natural density zero. Consequently, the Erd\H{o}s--Straus conjecture is verified for a proportion of integers tending to \(1\) in this class. In particular, we obtain infinitely many new explicit families of symmetric solutions for numbers not covered by Mordell's theorem. These results elucidate the structural behavior of \(F\) and provide a unified framework for generating large families of solutions.

Quantitative results on the $k$-dimensional Duffin-Schaeffer conjecture

math.NT

For all $k\geq 2$, we provide almost-sharp quantitative results for the $k$-dimensional Duffin-Schaeffer conjecture, analogous to recent developments in the 1-D case of Koukoulopoulos-Maynard-Yang. In particular, for $\psi:\mathbb{N}\to[0,1/2]$ such that $\sum_{q\in \mathbb{N}}(\psi(q)\varphi(q)/q)^k$ diverges, $Q\geq 1$ and $\alpha\in\mathbb{R}$, we denote by $S_k(\alpha, Q)$ the number of pairs $(a,q)\in\mathbb{Z}^k\times \mathbb{N}$ with $q\leq Q$, $\gcd(a_i,q)=1$ for each $i\in\{1,\dots,k\}$, satisfying $\|q\alpha-a\|_{\infty}<\psi(q)$. Defining $\Psi_k(Q)=\sum_{q\leq Q}(2\psi(q)\varphi(q)/q)^k$, we show that for all $\varepsilon>0$ and almost all $\alpha$ one has $S_k(\alpha,Q)=\Psi_k(Q)+O_{\varepsilon,k}(\Psi(Q)^{1/2+\varepsilon})$.

Large fluctuations of random multiplicative functions

math.NT

math.PR

Let $f$ be a Rademacher or Steinhaus random multiplicative function. For various arithmetically interesting subsets $\mathcal A\subseteq [1, N]\cap\mathbb N$ such that the distribution of $\sum_{n\in \mathcal A} f(n)$ is approximately Gaussian, we develop a general framework to understand the large fluctuations of the sum. This extends the general central limit theorem framework of Soundararajan and Xu. In the case when $\mathcal A = (N-H, N]$ is a short interval with admissible $H=H(N)$, we show that almost surely \begin{equation*} \limsup_{N\to\infty} \frac{\big\lvert\sum_{N-H0. \end{equation*} When $\mathcal A$ is the set of values of an admissible polynomial $P\in\mathbb Z[x]$, we extend work of Klurman, Shkredov, and Xu, as well as Chinis and the author, showing that almost surely \begin{equation*} \limsup_{N\to\infty} \frac{\big\lvert\sum_{n\leq N} f(P(n))\big\rvert}{\sqrt{N \log\log N}}>0, \end{equation*} even when $P$ is a product of linear factors over $\mathbb Q$. In this case, we also establish the corresponding almost sure upper bound, matching the law of iterated logarithm. An important ingredient in our work is bounding the Kantorovich--Wasserstein distance by means of a quantitative martingale central limit theorem.

Subconvexity Problem on $\operatorname{GL}_3$ over number fields: the twist aspect

math.NT

Let $F$ denote a number field and let $\mathfrak{q}\subset O_F$ traverse a sequence of prime ideals with norm $N(\mathfrak{q}) \to \infty$ and for each $\mathfrak{q}$, let $\chi \in \widehat{F^{\times}\setminus \mathbb{A}^\times}$ be a finite order character of conductor $\mathfrak{q}$. For a fixed unitary cuspidal automorphic representation $\pi$ of $\operatorname{GL}_3/F$ we show that \begin{equation*} L(\pi \otimes \chi,\tfrac{1}{2})\ll \ N(\mathfrak{q})^{3/4-\kappa}.\end{equation*} holds for all $\kappa< \frac{1}{36}$.

On the Ramanujan Vector Field modulo $p$

math.NT

math.AG

For every prime $p \geq 5$, we compute the $p$-th power of the Ramanujan vector field that arises from the differential relations discovered by Ramanujan for the Eisenstein series $E_2,E_4$ and $E_6$. Our method results in explicit equations for the $p$-th power and uses classical results of Serre and Swinnerton-Dyer about modular forms modulo $p$. From this, we verify that a general conjecture by Sheperd-Barron and Ekedahl is valid for the Ramanujan vector field. Furthermore, we consider the affine realization of a certain moduli space of elliptic curves where the Ramanujan vector field is defined, and describe - in characteristic $p$ - the locus given by supersingular elliptic curves in two ways: a classical one - using equations for the supersingular polynomial - and a new one as the singular set of some vector fields. Additionally, we prove that the Ramanujan vector field is transversal to this locus.

The number of non-isomorphic arithmetic expressions that can be constructed using +,-,x and /

math.CO

math.NT

The goal of this paper is to count the number of distinct functions of n variables, up to permutation of the variables, that can be constructed using each variable exactly once, without constants, using only the operations of addition, subtraction, multiplication, and division. We refer to such a function as an arithmetic expression. Under this definition, two expressions are identical if they represent the same rational function; for example, $x_1-x_2-x_3$ and $x_1-(x_2+x_3)$ are identical arithmetic expressions, as are $x_1(x_2+x_3)$ and $(x_2+x_3)x_1$. Two arithmetic expressions are said to be isomorphic if one can be obtained from the other by a permutation of the variables. For example, $(x_1-x_2)/x_3$ and $(x_2-x_3)/x_1$ are isomorphic. The first few values of the number of non-isomorphic arithmetic expressions with n variables are: $$1,4,18,93,500,2844,16621,99674,608448,...$$ In order to accomplish this enumeration, we classify the set of all arithmetic expressions into 12 disjoint categories. Counting all non-isomorphic expressions in each category allows us to obtain the total required quantity.

Power partitions and Khinchin families

math.PR

math.CV

math.NT

We prove, within the probabilistic framework of Khinchin families, the Hardy--Ramanujan asymptotic formula for the number $p_k(n)$ of partitions of $n$ into $k$-th powers: \[ p_k(n) \sim \frac{\alpha_k}{n^{(3k+1)/(2k+2)}} \exp\!\bigl(\beta_k\, n^{1/(k+1)}\bigr), \quad n \to \infty, \] where $\alpha_k$ and $\beta_k$ are explicit constants depending only on $k$. The argument reduces to verifying strong Gaussianity of the associated Khinchin family and computing \newline asymptotic approximations of its mean and variance.

Corrigendum and addendum to "Fixed-point-free elements of iterated monodromy groups" [Trans. of the American Mathematical Society Vol. 367, No. 3 (2015), 2023-2049]

math.DS

math.NT

In this note we document a gap in an argument in the above paper, and point to new work in the literature giving a complete proof of the main result.

Structure of sets with small product sets in torsion-free groups, cyclic groups of prime orders and abelian groups

math.CO

math.NT

Let $\ell$ and $m$ be positive integers with $\ell \leq m$, and let $\mathcal{A} = (A_1, \ldots, A_m)$ be a finite sequence of finite subsets of a group $G$ (not necessarily abelian), written multiplicatively. The {\it generalized product set} $\Pi^{\ell}(\mathcal{A})$ is the set of all elements of $G$ which can be represented as a product of exactly $\ell$ elements from $\ell$ distinct sets from $\mathcal{A}$ taken in any order. DeVos, Goddyn and Mohar obtained the nontrivial lower bound for the size of this product set when $G$ is abelian. The DeVos-Goddyn-Mohar Theorem is a fundamental result in additive combinatorics which unifies various results from zero-sum combinatorics and has connections with subsequence sums and sumsets. In this paper, we obtain an optimal lower bound for the size of generalized product set ${\Pi}^{\ell}(\mathcal{A})$ in torsion-free groups (not necessarily abelian), and characterize the structure of underlying sets in the sequence $\mathcal{A} = (A_1, \ldots, A_m)$ for which ${\Pi}^{\ell}(\mathcal{A})$ achieves the optimal lower bound. By slightly modifying the arguments of the proofs in the case of torsion-free groups, we derive such inverse theorems in cyclic groups of prime orders also. Our proof of these result also yields a new proof of DeVos-Goddyn-Mohar Theorem in $\mathbb{Z}_p$. Moreover, we extend these inverse results to arbitrary abelian groups. Furthermore, as an application, we generalize a theorem for subsequence sums due to Hamidoune in torsion-free groups, and obtain several other results for subsequence sums in arbitrary groups.

Extreme $L_p$ discrepancy, numerical integration and the curse of dimensionality

math.NA

cs.NA

math.NT

The classical notion of extreme $L_p$ discrepancy is a quantitative measure for the irregularity of distribution of finite point sets in the $d$-dimensinal unit cube. In this paper we find a dual integration problem whose worst-case error is exactly the extreme $L_p$ discrepancy of the underlying integration nodes. Studying this integration problem we show that the extreme $L_p$ discrepancy suffers from the curse of dimensionality for all $p \in (1,\infty)$. It is known that the problem is tractable for $p=\infty$; the case $p=1$ stays open.

Monodromy rank and the semisimple Mumford-Tate conjecture for hyper-K\"ahler varieties

math.AG

math.NT

In this paper, we establish two main results concerning the Mumford-Tate conjecture for hyper-K\"ahler varieties. First, we prove the conjecture for the semisimplified $\ell$-adic Galois representations attached to hyper-K\"ahler varieties with second Betti number $b_2 \geq 4$. As a direct consequence, we deduce that the Hodge conjecture implies the Tate conjecture for powers of hyper-K\"ahler varieties. Second, we show that the Mumford-Tate conjecture for hyper-K\"ahler varieties is invariant under deformation. The proofs rely on comparing the ranks of $\ell$-adic algebraic monodromy groups in higher degrees to those in degree $2$ via the theory of Frobenius tori and the Looijenga-Lunts-Verbitsky Lie algebra.

Hilbert surfaces, modular forms, and Siegel-Veech constants

math.AG

math.CV

math.DS

math.NT

We give the values of the Siegel-Veech constants associated with saddle connections having distinct endpoints on translation surfaces in Prym eigenform loci in $\Omega \mathcal{M}_3(2,2)^{\rm odd}$. In particular, we show that these constants are actually the same for all of these loci. As a by-product, we show that the Euler characteristic of the Hilbert modular surfaces which parametrize Abelian surfaces with $(1,2)$-polarization admitting a real multiplication and the Euler characteristic of their product locus are related by a simple formula. For principally polarized Abelian surfaces, a similar phenomenon has been observed by Bainbridge.

Endomorphism algebras of abelian varieties with large cyclic 2-torsion field over a given field

math.NT

v4

In this article we study the endomorphism algebras of abelian varieties $A$ defined over a given number field $K$ with large cyclic 2-torsion fields. A key step in doing so is to provide criteria for all the endomorphisms of $A$ to be defined over $K(A[2])$, the field generated by its 2-torsion. When $K= \mathbb{Q}$ and $\mathrm{Gal}(\mathbb{Q}(A[2])/\mathbb{Q})$ is cyclic of prime order $p = 2 \dim(A) +1$, we prove that there are only finitely many possibilities for the geometric endomorphism algebra $\mathrm{End}(A) \otimes \mathbb{Q}$.In fact, when $\dim (A) \not \in \{3,5,9,21,33,81\}$, we show $\mathrm{End}(A) \otimes \mathbb{Q}$ is a proper subfield of the $p$-th cyclotomic field. In particular, when $g=2$, $\mathrm{End}(A) \otimes \mathbb{Q}$ is isomorphic to either $\mathbb{Q}$ or $\mathbb{Q}(\sqrt{5})$.

Cyclic isogenies of elliptic curves over fixed quadratic fields

math.NT

v3

Building on Mazur's 1978 work on prime degree isogenies, Kenku determined in 1981 all possible cyclic isogenies of elliptic curves over $\mathbb{Q}$. Although more than 40 years have passed, the determination of cyclic isogenies of elliptic curves over a single other number field has hitherto not been realised. In this paper we develop a procedure to assist in establishing such a determination for a given quadratic field. Executing this procedure on all quadratic fields $\mathbb{Q}(\sqrt{d})$ with $|d| < 10^4$ we obtain, conditional on the Generalised Riemann Hypothesis, the determination of cyclic isogenies of elliptic curves over $19$ quadratic fields, including $\mathbb{Q}(\sqrt{213})$ and $\mathbb{Q}(\sqrt{-2289})$. To make this procedure work, we determine all of the finitely many quadratic points on the modular curves $X_0(125)$ and $X_0(169)$, which may be of independent interest.

Slopes of modular forms and geometry of eigencurves

math.NT

v4

Under a stronger genericity condition, we prove the local analogue of ghost conjecture of Bergdall and Pollack. As applications, we deduce in this case (a) a folklore conjecture of Breuil--Buzzard--Emerton on the crystalline slopes of Kisin's crystabelian deformation spaces, (b) Gouvea's $\lfloor\frac{k-1}{p+1}\rfloor$-conjecture on slopes of modular forms, and (c) the finiteness of irreducible components of the eigencurve. In addition, applying combinatorial arguments by Bergdall and Pollack, and by Ren, we deduce as corollaries in the reducible and strongly generic case, (d) Gouvea--Mazur conjecture, (e) a variant of Gouvea's conjecture on slope distributions, and (f) a refined version of Coleman's spectral halo conjecture.

On the error term in the explicit formula of Riemann-von Mangoldt II

math.NT

v3

We give an explicit $O(x/T)$ error term for the truncated Riemann--von Mangoldt explicit formula. For large $x$, this provides a modest improvement over previous work, which we demonstrate via an application to a result on primes between consecutive powers.

Determination of the stably free cancellation property for orders

math.NT

math.GR

math.KT

math.RA

v3

Let $K$ be a number field, let $A$ be a finite-dimensional semisimple $K$-algebra, and let $\Lambda$ be an $\mathcal{O}_{K}$-order in $A$. We give practical algorithms that determine whether $\Lambda$ has stably free cancellation (SFC). As an application, we determine all finite groups $G$ of order at most $383$ such that the integral group ring $\mathbb{Z}[G]$ has SFC.

New phenomena arising from L-invariants of modular forms

math.NT

v2

This article explains how to practically compute L-invariants of p-new eigenforms using p-adic L-series and exceptional zero phenomena. As proof of the utility, we compiled a data set consisting of over 150,000 L-invariants. We analyze qualitative and quantitative features found in the data. This includes conjecturing a statistical law for the distribution of the valuations of L-invariants in a fixed level as the weights of eigenforms approach infinity. One novel point of our investigation is that the algorithm is sensitive to compiling data for fixed Galois representations modulo p. Therefore, we explain new perspectives on L-invariants that are related to Galois representations. We propose understanding the structures in our data through the lens of deformation rings and moduli stacks of Galois representations.

Galois module structure of algebraic integers of cyclic cubic fields

math.NT

v2

We determine the Galois module structure of the ring of integers for all cubic fields using roots of the generic cyclic cubic polynomial $f_n(X)=X^3-nX^2-(n+3)X-1$. Let $L_n=\mathbb Q(\rho_n)$ be a cyclic cubic field with Galois group $G:={\rm Gal}(L_n/\mathbb Q)$, where $\rho_n$ is a root of $f_n (X)$, and ${\mathcal O}_{L_n}$ the ring of integers of $L_n$. We explicitly give the generator of the free module ${\mathcal O}_{L_n}$ of rank $1$ over the associated order ${\mathcal A}_{L_n/\mathbb Q}:= \{ x\in \mathbb Q [G] \, |\, x\, {\mathcal O}_{L_n} \subset {\mathcal O}_{L_n} \}$ by using the roots of $f_n(X)$.

Non-permutation phenomena in trivariate families over $\F_{2^m}$ and resolution of a conjecture

math.NT

cs.IT

math.AG

math.CO

math.IT

v2

Constructing permutation polynomials over finite fields, particularly those with simple algebraic structure in multiple variables, is a fundamental problem with applications in cryptography and coding theory. Recently, Li and Kaleyski (IEEE Trans. Inf. Theory, 2024) generalized two sporadic quadratic APN permutations into infinite families of trivariate functions. Motivated by their work, we investigate conditions under which generalized trivariate functions fail to be permutations. We establish necessary conditions on coefficient parameters that prevent the permutation property, provide a complete computational classification for small field extensions, and prove general non-permutation results. As a key application of our algebraic geometry approach, we resolve the permutation part of a conjecture by Beierle, Carlet, Leander, and Perrin (Finite Fields Appl., 2022) regarding a related trivariate form. Specifically, we prove that for all odd characteristic-2 extension degrees $m \geq 23$, their function $C_u$ is not a permutation over $\mathbb{F}_{2^m}^3$ for any $u \in \mathbb{F}_{2^m}^*$, resolving the permutation part of their conjecture for sufficiently large fields.

On the Distribution of Points of Valuation 1 for a Polynomial in Two Variables

math.NT

v3

We investigate the variation in the total number of points in a random $p\times p$ square in $\mathbb{Z}^2$ where the $p$-adic valuation of a given polynomial in two variables is precisely $1$. We establish that this quantity follows a Poisson distribution as $p\rightarrow\infty$ under a certain conjecture. We also relate this conjecture to certain uniform distribution properties of a vector valued sequence.

Bounded Exponential Sums with Multiplicative Coefficients

math.NT

v2

We investigate when the exponential sum $S_f(x,\alpha) := \sum_{n\le x}f(n)\mathrm{e}(n\alpha)$ is bounded, for a multiplicative function $f$ and $\alpha\in\mathbb{R}$. We show that under natural assumptions, $S_f(x,\alpha)$ is bounded only when $f$ is very close to a twisted Dirichlet character $\chi(n)n^{it}$. We obtain sharper classification results for functions that are completely multiplicative or take only finitely many values, including a complete classification in the case when $f$ is completely multiplicative and $\alpha$ is irrational. We also prove a stronger classification under the assumption that the sum is bounded for a positive measure set of $\alpha$.

Long strings of composite values of polynomials and a basis of order 2

math.NT

v2

We show that for any polynomial $f: \mathbb{Z}\to \mathbb{Z}$ with positive leading coefficient and irreducible over $\mathbb{Q}$, if $N$ is large enough then 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 $f(n)$ is composite for any $n\in I_{1}\cup I_{2}$. This extends the result in [5] which showed the same result but with $f(n)=n$.

On the Generalised Divisor Problem

math.NT

v2

In this paper, we apply the Dirichlet convolution method to \begin{equation*} T_{k}(x)=\sum_{n \leq x} d_{k}(n), \end{equation*} for $k\ge 3$, where $d_{k}(n)$ is the number of ways to represent $n$ as a product of $k$ positive integer factors. We prove that for $k=3$, the error term $|\Delta_3(x)|< 2.968x^{2/3}\log^{1/3}x$ for all $x\ge 2$. This improves the best-known explicit result established by Bordell{\`e}s for all $x\ge 2$. We extend this for all $k>3$ and obtain an explicit error term of the form $\Delta_{k}(x)=O\left(x^{\frac{k-1}{k}}(\log x)^{\frac{(k-1)(k-2)}{2k}}\right)$.

Counting the number of $m$-periodic $\mathcal{O}_{K}$-points of a discrete dynamical system with applications from arithmetic statistics, V

math.NT

math.DS

v2

In this follow-up paper, we again inspect a surprising relationship between the set of $m$-periodic points of a polynomial map $\varphi_{d, c}$ defined by $\varphi_{d, c}(z) = z^d + c$ for all $c, z \in \mathcal{O}_{K}$ and the coefficient $c$, where $K$ is any number field of degree $n\geq 2$, $d>2$ is an integer and $m\in \mathbb{Z}_{\geq 2}$ is any fixed (period). As before, we again study counting problems which are inspired by advances on $m$-torsion point-counting in arithmetic statistics and $m$-periodic point-counting in arithmetic dynamics. In doing so, we then first prove that for any prime $p\geq 3$ and for any fixed $\ell\in \mathbb{Z}_{ \geq 1}$ and (period) $m\in \mathbb{Z}_{\geq 2}$, the average number of distinct $m$-periodic integral points of any $\varphi_{p^{\ell}, c}$ modulo prime ideal $p\mathcal{O}_{K}$ is unbounded or zero as $c$ tends to infinity. Motivated further by $K$-rational periodic point-counting work of Benedetto along with conjectural work of Hutz on $m$-periodic points of any $\varphi_{(p-1)^{\ell}, c}$ for any prime $p\geq 5$ and any fixed $\ell \in \mathbb{Z}_{\geq 1}$ in arithmetic dynamics, we then also prove that for any fixed (period) $m\in \mathbb{Z}_{\geq 2}$, the average number of distinct $m$-periodic integral points of any $\varphi_{(p-1)^{\ell}, c}$ modulo prime $p\mathcal{O}_{K}$ is $1$ or $2$ or $0$ as $c\to \infty$. Finally, we then apply here density, polynomial-counting, field-counting, and Sato-Tate equidistribution results from arithmetic statistics, and thereby obtaining further counting and statistical results on the irreducible monic polynomials, Artin-Mazur zeta functions, algebraic number fields, and lastly on Artin $L$-functions arising naturally in our polynomial discrete dynamical settings.

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

math.NT

math.AG

v3

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 and fivefolds. 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 further results on the arithmetic of these intermediate Jacobians. To that end, we show that a few classes of varieties over an arbitrary field have motive of abelian type, generalizing previously known examples over the complex numbers.

Least zero of pairs of additive cubic equations

math.NT

v3

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.

On the Classification of Dillon's APN Hexanomials

math.NT

cs.IT

math.AG

math.IT

v3

We systematically analyze a class of hexanomial functions over finite fields of characteristic $2$ proposed by Dillon (2006) as candidates for almost perfect nonlinear (APN) functions, significantly extending earlier partial-APN results. For functions over $\mathbb{F}_{q^2}$, where $q=2^n$, of the form \[ F(x)=x(Ax^2+Bx^q+Cx^{2q})+x^2(Dx^q+Ex^{2q})+x^{3q}, \] we derive necessary conditions on the coefficients $A,B,C,D,E$ for APNness using algebraic number theory and algebraic-geometry methods over finite fields. Our main contribution is a comprehensive case-by-case analysis that excludes large classes of Dillon hexanomials via vanishing patterns of key coefficient polynomials. We identify algebraic obstructions -- including absolutely irreducible components of associated varieties and degree incompatibilities in polynomial factorizations -- that prevent these functions from attaining optimal differential uniformity. These results substantially narrow the search space for new APN functions in this family and provide a framework applicable to other APN candidates. We complement the theory with extensive computations: exhaustive searches over $\mathbb{F}_{2^2}$ and $\mathbb{F}_{2^4}$, and random sampling over $\mathbb{F}_{2^6}$ and $\mathbb{F}_{2^8}$, yielding hundreds of APN hexanomials. Complete CCZ-equivalence testing shows that, although many examples occur, they fall into few distinct classes. For $q\in\{2,4\}$, all examples are CCZ-equivalent to the Budaghyan--Carlet family, while in larger dimensions none appear equivalent to that family.

Manin's conjecture for $\mathcal{M}$-points

math.NT

math.AG

v3

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 new expansion of the Riemann zeta function

math.NT

v3

After a brief introduction to Ramanujan's method of summation, we give an expansion of the Riemann Zeta function in the critical strip as a convergent series $\sum_{m\geq 0}x_m P_m(s) $ where the functions $P_m$ are polynomials with their roots on the line $\{\Re(s)=1/2\}$, the coefficients $x_m$ being finite linear combinations of the Euler constant $\gamma$ and the values $\zeta(2),\zeta(3),\dots,\zeta(m+1).$

$\mathcal{M}$-points of bounded height on toric varieties

math.NT

math.AG

v2

We establish an asymptotic formula for the number of $\mathcal{M}$-points of bounded height on split toric varieties, for the height induced by any big and nef divisor class. This formula establishes new cases of the extension of Manin's conjecture to $\mathcal{M}$-points, as introduced by the author. As a special case of our result, we strengthen the results obtained by Pieropan and Schindler on Campana points of bounded height on toric varieties. As another special case, we obtain an asymptotic for the number of weak Campana points of bounded height, which is novel even for projective space. We illustrate this result by giving an asymptotic for the number of points on projective space of bounded height for which the product of coordinates is powerful. Finally, we derive an asymptotic for the number of rational points in the image of a toric rational map, in the spirit of the Loughran-Smeets conjecture.

Shifted moments of modular $L$-functions to a fixed level

math.NT

v2

We establish upper bounds for shifted moments of modular $L$-functions to a fixed prime level under the generalized Riemann hypothesis.

Counting Problems for Orthogonal Sets and Sublattices in Function Fields

math.CO

math.NT

v2

Let $\mathcal{K}=\mathbb{F}_q((x^{-1}))$. Analogous to orthogonality in the Euclidean space $\mathbb{R}^n$, there exists a well-studied notion of ultrametric orthogonality in $\mathcal{K}^n$. In this paper, we extend the work of Soffer-Aranov and Behajaina on counting problems related to orthogonality in $\mathcal{K}^n$. For example, we resolve an open question posed in Soffer-Aranov and Behajaina by bounding the size of the largest ``orthogonal sets'' in $\mathcal{K}^n$. Furthermore, using similar ideas and techniques, we investigate analogues of Hadamard matrices over $\mathcal{K}$. Finally, we also use ultrametric orthogonality to compute the number of sublattices of $\mathbb{F}_q[x]^n$ with a certain geometric structure, and to determine the number of orthogonal bases of a sublattice in $\mathcal{K}^n$. The resulting formulas depend crucially on successive minima.

The Voronoi Spherical CDF for Lattices and Linear Codes: New Bounds for Quantization and Coding

cs.IT

math.IT

math.NT

v3

For a lattice/linear code, we define the Voronoi spherical cumulative density function (CDF) as the CDF of the $\ell_2$-norm/Hamming weight of a random vector uniformly distributed over the Voronoi cell. Using the first moment method together with a simple application of Jensen's inequality, we develop lower bounds on the expected Voronoi spherical CDF of a random lattice/linear code. Our bounds are valid for any finite dimension and are quite close to a ball-based lower bound. They immediately translate to new non-asymptotic upper bounds on the normalized second moment and the error probability of a random lattice over the additive white Gaussian noise channel, as well as new non-asymptotic upper bounds on the Hamming distortion and the error probability of a random linear code over the binary symmetric channel. In particular, we show that for most lattices in $\mathbb{R}^n$ the second moment is greater than that of a Euclidean ball with the same covolume only by a $\left(1+O(\frac{1}{n})\right)$ multiplicative factor. Similarly, for most linear codes in $\mathbb{F}_2^n$ the expected Hamming distortion is greater than that of a corresponding Hamming ball only by an additive universal constant.

Khintchine dichotomy and Schmidt estimates for self-similar measures on $\mathbb{R}^d$

math.DS

math.NT

math.PR

v2

We extend the classical theorems of Khintchine and Schmidt in metric Diophantine approximation to the context of self-similar measures on $\mathbb{R}^d$. For this, we establish effective equidistribution of associated random walks on $\text{SL}_{d+1}(\mathbb{R})/\text{SL}_{d+1}(\mathbb{Z})$. This generalizes our previous work which requires $d=1$ and restricts Schmidt-type counting estimates to approximation functions which decay fast enough. Novel techniques include a bootstrap scheme for the associated random walks despite algebraic obstructions, and a refined treatment of Dani's correspondence. Along the way, we also establish non-concentration properties of self-similar measures near algebraic subvarieties of $\mathbb{R}^d$.

Hausdorff dimension of double base expansions and binary shifts with a hole

math.DS

math.MG

math.NT

v2

For two real bases $q_0, q_1 > 1$, a binary sequence $i_1 i_2 \cdots \in \{0,1\}^\infty$ is the $(q_0,q_1)$-expansion of the number \[ \pi_{q_0,q_1}(i_1 i_2 \cdots) = \sum_{k=1}^\infty \frac{i_k}{q_{i_1} \cdots q_{i_k}}. \] Let $U_{q_0,q_1}$ be the set of all real numbers having a unique $(q_0,q_1)$-expansion. When the bases are equal, i.e., $q_0 = q_1 = q$, Allaart and Kong (2019) established the continuity in $q$ of the Hausdorff dimension of the univoque set $U_{q,q}$, building on the work of Komornik, Kong, and Li (2017). We derive explicit formulas for the Hausdorff dimension of $U_{q_0,q_1}$ and the entropy of the underlying subshift for arbitrary $q_0, q_1 > 1$, and prove the continuity of these quantities as functions of $(q_0, q_1)$. Our results also concern general dynamical systems described by binary shifts with a hole, including, in particular, the doubling map with a hole and (linear) Lorenz maps.

Matrices with integer eigenvalues for all permutations of coefficients (thanks to Pythagoras!)

math.HO

math.NT

v2

It is shown that Pythagorean triples can be used to generate matrices that have integer eigenvalues for all permutations of their coefficients, via simple formulas. For example, each and every permutation of the $2\times2$ matrix coefficients $\{12,6,7,1\}$, generated by the Pythagorean triple $(5,12,13)$, yields a matrix with integer eigenvalues. Further, each and every Pythagorean triple in fact generates a countable infinity of nontrivially related matrices having this property.