Number Theory [math.NT]

A Classification of Multiply Monogenic Quartic Orders

math.NT

We study two-times monogenic quartic orders; i.e., those of the shape $\mathbb{Z}[\alpha] = \mathbb{Z}[\beta]$, with algebraic integers $\alpha$ and $\beta$ not $\mathbb{Z}$-equivalent. Two specific types, describing possible algebraic relation among monogenizers of two-times monogenic orders were defined by B\'erczes, Evetrse, Gy\H{o}ry, who proved under certain conditions on the Galois group of the normal closure of a given number field $K$, that there can be only finitely many two-times monogenic $\mathbb{Z}$-orders in the ring of integers $K$ which are not of these specific two types. In this article, we prove this fact for all quartic number fields.

Counting in Vieta graphs over $\mathbb{F}_p$

math.NT

math.CO

We introduce and study a finite simple graph of algebraic origin: the Vieta graph on the solution set over $\mathbb{F}_p$ to a symmetric, multivariate equation which is quadratic in each variable. This construction is a broad generalization of the Markoff graph over $\mathbb{F}_p$, extensively studied in the recent literature. We give a systematic approach, partly based on quadratic character sums, to the following basic counting questions: how many vertices does a Vieta graph have, and what is the degree distribution? We focus on explicit counts, addressing the low-dimensional cases in three and four variables.

On pairs of primes with small order reciprocity

math.NT

We give a sieving algorithm for finding pairs of primes with small multiplicative orders modulo each other. This problem is a necessary condition for obtaining constructions of $2$-cycles of pairing-friendly curves, which have found use in cryptographic applications. Our database of examples suggests that, except for a well-known infinite family of such primes, instances become increasingly rare as the size of the primes increase. This leads to some interesting open questions for which we hope our database prompts further investigation.

Admissible Pairs: A Variation to Pollock Conjectures

math.NT

We introduce a notion of an admissible pair, and prove a variation to Pollock's conjectures on icosahedral and dodecahedral numbers.

Mellin Transform Formulas for Anderson Modules and Hints of Modularity

math.NT

In the present paper, we introduce formulas for the logarithm function of abelian, uniformizable Anderson modules. Combining our formulas with a motivic map introduced recently by the second author, we relate special values of dual Goss $L$-functions of Drinfeld modules to the rigid analytic trivialization of their corresponding $t$-comotives. We apply these formulas to relate certain $L$-values to special values of matrix valued modular forms, generalizing the vector valued Drinfeld modular forms of Pellarin and Pellarin and Perkins in the rank two setting.

Erd\H{o}s-Moser Equation in Arithmetic Progressions

math.NT

We consider the Erd\H{o}s-Moser equation $1^k+2^k+\cdots+(m-1)^k=m^k$ in arithmetic progressions. We prove among other things that when $k=2$, for any solution to exist, the above sum in arithmetic progression must consist of two or four terms. In either case, there are infinitely many solutions that can be completely characterized.

Explicit Jordan decompositions for ideal lattices in CM fields

math.NT

Let $E$ be a CM number field, $F$ a totally real subfield (e.g. $\mathbb Q$), and let $\mathfrak a$ be a non-zero fractional ideal of $E$. Endowed with the Hermitian trace form $h_{E/F}(x,y)=\mathrm{Tr}_{E/F}(x\overline{y})$, the ideal $\mathfrak a$ defines an ideal lattice over $\mathcal O_F$. In this paper, we give explicit formulas for the Jordan decomposition of this lattice at a prime ideal $\mathfrak p\subset\mathcal O_F$, in terms of the prime ideal factorization of $\mathfrak a$ in $E$. Following the approach of Erez, Morales, and Perlis, we reduce the computation to the local behavior at the primes above $\mathfrak p$. Our results provide local invariants for the isometry relation between ideal lattices, with potential applications to the study of structured lattices arising in arithmetic and cryptography.

No three algebraic conjugates of degree sixteen sum to zero

math.NT

Let $d$ be the smallest positive integer, not a multiple of $3$, for which there exists an algebraic number $\al$ of degree $d$ over $\mathbb{Q}$ whose three algebraic conjugates add to zero. We prove that $d=20$. This is derived from the following result: for any linear relation $\sum_{j=1}^d a_j \al_j=0$ with coefficients $a_j\in\mathbb{Z}$ among the conjugates $\al_j$ of an algebraic number of degree $d=p^m$, where $p$ is a prime number, $m \geq 1$, the sum $\sum_{j=1}a_j$ is divisible by $p$. If $d=2p^m$, $p\geq 3$ and $\sum_{j=1}^d|a_d| < p$, then $\sum_{j=1}a_j$ is an even number.

An upper bound for counting algebraic tori over $\mathbb{Q}$ by Artin conductor

math.NT

Let $N_n^{\mathrm{tor}}(X)$ be the number of isomorphism classes of $n$-dimensional algebraic tori over $\mathbb{Q}$ whose Artin conductor is bounded by $X$. We prove that there is an absolute constant $C>0$ such that, for every positive integer $n \ge 2$, $N_n^{\mathrm{tor}}(X)\ll_n X^{\exp(C(\log n)^2)}$. The proofs of the main results were developed through an iterative dialogue with ChatGPT 5.6 Pro.

On the distribution of $\phi(\psi(n))$ and $\psi(\psi(n))$

math.NT

Let $\psi(n)$ and $\phi(n)$ denote Dedekind's arithmetic function and Euler's totient function, respectively. We study the distribution of the compositions $\phi(\psi(n))$ and $\psi(\psi(n))$. In particular, we obtain quantitative upper bounds for the exceptional set associated with $\phi(\psi(n))$, thereby refining a density result of S\'andor. We also prove that, for every fixed $c>0$, the set of integers $n\leq x$ satisfying $\psi(\psi(n))\leq cn$ has asymptotic density zero. Our method adapts sieve ideas used by Dixit and Bhattacharjee to compositions involving Dedekind's arithmetic function.

Non-split Cartan curves and a characterization of fake elliptic curves

math.NT

math.AG

The $\ell$-adic Tate module of an abelian surface with quaternionic multiplication (QM) decomposes as two copies of a two-dimensional $\mathbb{Q}$-rational representation. To this day, there is no criterion to distinguish these representations from those attached to elliptic curves. For this reason, QM abelian surfaces are usually called fake elliptic curves. In this paper we characterize QM abelian surfaces defined over an imaginary quadratic field $K$. Namely, we consider an abelian surface $A/K$ without potential CM and whose $L$-function is a square. Under a reasonable conjecture, we show that $A$ has QM if and only if it has residual image contained in a non-split Cartan group modulo at least two primes. The characterization is unconditional for all indefinite quaternion discriminants up to 33. The proof is based on previous work of Siksek and Michaud-Jacobs on quadratic points on non-split Cartan modular curves. In particular, we compute the rational points on the curve $X_{ns}^+(15)$, and we prove that all quadratic points on $X_{ns}(6)$, $X_{ns}(10)$ and $X_{ns}(15)$ are non-exceptional.

On Diophantine equations over the integer rings of quadratic fields

math.NT

math.LO

Let $K$ be any quadratic number field, and let $O_K$ be the ring of algebraic integers in $K$. In 1975 J. Denef proved that Hilbert's Tenth Problem over $O_K$ has a negative solution. In this paper we establish the following undecidability result: There is no algorithm to decide whether an arbitrarily given polynomial equation $P(z_1,\ldots,z_{16})=0$ (with integer coefficients and 16 unknowns) has solutions over $O_K$. Moreover, when $K$ is a real quadratic field, we show that $15$ unknowns suffice for undecidability.

The extended Fargues--Scholze spectral action

math.RT

math.AG

math.NT

Let $G$ be a connected reductive group over a non-archimedean local field. The main result of Fargues and Scholze [FS21] for the geometrization of the local Langlands correspondence is the construction of a ``spectral action'' on the category of $\ell$-adic sheaves on $\text{Bun}_{G}$, the stack of $G$-torsors on the Fargues-Fontaine curve. The goal of this paper is to prove a conjecture of Fargues which says that one can extend this construction to the larger stack $\text{Bun}_G^e$ of $G$-torsors on the Kaletha gerbe over the curve, as introduced by Fargues [Far22]. This ``extended spectral action'' allows for a version of the categorical local Langlands conjecture for an arbitrary connected reductive group $G$, and is the first such statement for those $G$ which are not extended pure inner forms of a quasi-split group, such as non-trivial inner forms of $\mathrm{SL}_{n}$. Finally, we prove this conjecture for tori, following the original argument of Zou [Zou24] and, when the center $Z_{G}$ of $G$ is connected and $H^{1}(F,Z_{G})=0$, we reduce the ``extended'' version of the categorical conjecture to the one in Fargues--Scholze.

Murphy's law in non-abelian Hodge theory

math.AG

math.NT

We construct explicit examples of non-integral variations of $\mathbb{Q}$-Hodge structures. Our approach leverages Fenchel--Nielsen-type parameterizations, due to Kabaya and Maskit, of the Teichm\"uller component of relative character varieties. Additionally, we discuss various Diophantine results concerning the $\mathcal{O}_{K,S}$-integral points of such character varieties, and give a new proof of Beauville's classical theorem on families of elliptic curves. We conclude by collecting \emph{pathological behaviors} of the Hodge locus of non-integral $\mathbb{Q}$VHS, in particular the failure of the Cattani--Deligne--Kaplan theorem and the Andr\'e--Oort conjecture; our results indicate that for $\mathbb{Q}$VHS which are not $\mathbb{Z}$VHS, what can go wrong must go wrong.

Strichartz estimates for quasi-periodic functions on long time intervals: An arithmetic approach

math.AP

math.CA

math.NT

We study long-time Strichartz estimates for the one-dimensional Schr\"{o}dinger equation with quasi-periodic initial data. For two-frequency data with an algebraic frequency ratio, we observe that the behavior of the linear Schr\"{o}dinger evolution changes depending on the algebraic degree of the ratio. Making use of this observation, we improve the Strichartz estimates on long time intervals. We also prove an endpoint $L^4$ Strichartz estimate. Our proofs use Roth-type Diophantine inequalities and Vinogradov-type mean value estimates for the Parsell--Vinogradov systems.

Refined upper bounds on Schur-like numbers

math.CO

math.NT

For positive integers $r, m$ and $N$, every $r$-coloring of $\{1, \dots, N\}$ contains a monochromatic solution to $x_1+\dots+x_{m+1}=y_1+\dots+y_m$ provided that $N \ge 3^r (r!)^{1/m}$, which is qualitatively optimal when $m$ is logarithmic in $r$.

Weighted averages of arithmetic functions over regular integers modulo $n$

math.NT

v3

We investigate weighted averages of arithmetic functions over regular integers modulo $n$, extending previous identities of Kiuchi and Matsuoka. We establish general transformation formulas for the associated partial sums corresponding to arbitrary arithmetic functions. These formulas provide a unified framework for deriving asymptotic results. As applications, we obtain explicit asymptotic formulas for weighted averages involving several classical multiplicative functions, including the identity, M\"obius, divisor, and Jordan totient functions.

All bi-unitary perfect polynomials over $\F_2$ with at most four irreducible factors

math.NT

v3

We give, in this paper, all bi-unitary perfect polynomials over the prime field $\F_2$, with at most four irreducible factors.

Simplest Integrals for the Zeta Function and its Generalizations Valid in All $\mathbb{C}$

math.NT

v4

A formula for the Riemann zeta function is obtained as an extension of the Faulhaber formula and, from there, formulae for its generalizations (the Hurwitz zeta, $\zeta(-k,b)$, the polylogarithm, $\mathrm{Li}_{-k}(e^z)$, and the Lerch transcendent, $\Phi(e^z,-k,b)$), are derived that coincide with their Abel-Plana expressions. It allows one to find, for example, the Taylor series expansion of $H_{-k}(n)$ about $n=0$ (when $k$ is a positive integer, a finite Taylor series is obtained, which is nothing but the Faulhaber formula). The used method requires evaluating the limit of $\Phi\left(e^{2\pi i \,x},-2k+1,n+1\right)+\pi i \,x\,\Phi\left(e^{2\pi i \,x},-2k,n+1\right)/k$ when $x$ goes to zero, which is an interesting problem in itself.

The critical-window profile for $d_k$ in short intervals

math.NT

v3

We establish an almost-all transition theorem for the $k$-fold divisor function in short intervals. Let $k\geq2$ be fixed, let $\ell=\log\log X$, and set \[ D_k(X)=(\log X)^{k\log k-k+1}, \qquad M_k(x)=\frac1x\sum_{x

Some series representing the Riemann zeta function

math.NT

v5

Given an integer $b$ at least equal to $2$, we obtain a representation of the Riemann zeta function in the complex plane as a finite linear combination of geometrically convergent series. The coefficients involve partial factorials and rational functions in $b^{s}$ using the Bernoulli numbers. We obtain, for arbitrary $b$, and for $s$ away from the poles, the asymptotic expansion of these rational functions to all orders in inverse powers of their index $m$. Each term of the development involves a periodic function in the base $b$ logarithm of $m$, depending on $s$.

The top cohomology of principal congruence subgroups of special linear groups over Euclidean number rings

math.NT

math.AT

math.GR

math.GT

v2

For $R$ a Euclidean number ring, and let $\Gamma_n(p)$ be the level-$p$ principal congruence subgroup of $\text{SL}_n(R)$. Borel--Serre showed that the cohomology of $\Gamma_n(p)$ vanishes above a degree $\nu$ that is quadratic in $n$. Let $K$ be the fraction field of $R$, and $\mathcal{T}_n(K)$ the Tits building of $\text{SL}_n(K)$. For $R=\mathbb{Z}$, Lee--Szczarba asked when $\text{H}^\nu(\Gamma_n(p))$ is isomorphic to $\widetilde{\text{H}}_{n-2}(\mathcal{T}_n(K)/\Gamma_n(p))$, which was answered by Miller--Patzt--Putman. We study a generalized version of Lee--Szczarba's question. We prove that for a prime $p$ in a Euclidean number ring $R$ with fraction field $K$, that a natural map $\text{H}^\nu(\Gamma_n(p)) \to \widetilde{\text{H}}_{n-2}(\mathcal{T}_n(K)/\Gamma_n(p))$ is always surjective, and give a sufficent set of conditions on $p \in R$ that guarantee when this map is an isomorphism.

Eventually greedy best Egyptian underapproximations of rational numbers via optimal control

math.NT

math.CA

math.CO

math.OC

v2

We prove that every positive rational number has eventually greedy best Egyptian underapproximations, both when repetitions of the denominators are allowed and when the denominators are required to be distinct. This answers affirmatively a problem originating with Erd\H{o}s and Graham and later revisited by Nathanson, and yields an application concerning the maximal asymptotic growth of denominators in unit fraction series converging to a given rational number. We reformulate the question as an optimal control problem for a dynamical system, construct an appropriate payoff function, and study properties of the associated Bellman function. We also answer another question of Nathanson by constructing an irrational number with unique and greedy best Egyptian underapproximations.

A New Characteristic-Uniform Model for Elliptic Curves -- Theory, Arithmetic, and Applications

math.NT

v2

We develop a characteristic-uniform theory of the elliptic-curve family \[ \mathcal C_d:\qquad (u^2+u)(v^2+v)=d, \] called the Cd curves. The smooth $(2,2)$-completion, its marked boundary, and its dihedral symmetry provide a common geometric framework in every characteristic. In odd characteristic we give explicit dictionaries with Edwards, Montgomery, and Weierstrass models, whereas in characteristic two the same equation retains its intrinsic Artin--Schreier structure. Working directly on $\mathcal C_d$, we derive affine and projective addition and doubling formulas, complete addition-law atlases, differential addition, Kummer arithmetic, halving, tripling, and scalar-multiplication procedures, including specialized formulas in characteristics two and three. We also investigate endomorphisms, division polynomials, isomorphism classes, finite-field mean values, model-preserving isogenies, V\'elu-type constructions, and Tate and Weil pairings. A detailed specialization to Cd25519 shows how the model supports efficient full-point and Kummer-line arithmetic while remaining directly compatible with Curve25519. Finally, we place $\mathcal C_d$ in the broader symmetric family \[ (u^2+u+a)(v^2+v+b)=d. \] These results exhibit Cd curves as a self-contained and computationally effective model for elliptic-curve theory and applications.

Homological spectral graph theory and weighted cycle counting

math.CO

cs.DM

math.NT

math.SP

v4

Twisting a finite graph by its homology characters produces families of generally non- Hermitian weighted vertex and edge adjacency matrices. We show that these families are organized by the canonical 2-torsion character and, when it exists, a period character. The canonical character {\theta} translates every complex character to an anti-isospectral partner, for every positive directed weight. On the unitary character torus, the untwisted matrices maximize spectral radius strictly apart from topologically forced exceptions; for edge adjacency, the only possible additional maximizer is the period character {\eta}. For symmetric weights, these results locate the two outer spectral edges of maximal-abelian and periodic Bloch families. Fourier inversion of twisted edge traces then yields weighted circuit and prime-cycle formulas in integral and finite-quotient homology classes, with {\theta} and {\eta}, when present, governing the resulting parity effects. Thus spectral antisymmetry, spectral-edge extremality, and weighted cycle counting arise from the same homological structure.

On a question of Astorg and Boc Thaler

math.DS

math.NT

v5

Astorg and Boc Thaler studied the dynamics of certain skew-products $f$ tangent to the identity on $\mathbb{C}^2$, with two real parameters $\alpha>1$ and $\beta$ derived from its coefficients. They proved that if there exists a strictly increasing sequence of positive integers $(n_k)_{k\geqslant 1}$ such that $(\sigma_k)_{k\geqslant 1}:=(n_{k+1}-\alpha n_k-\beta\ln n_k)_{k\geqslant 1}$ converges, then $f$ admits wandering domains of rank one. They also proved that for $\alpha>1$ with the Pisot property, the condition that $\theta:=\frac{\beta\ln\alpha}{\alpha-1}$ is rational is sufficient for the existence of $(n_k)_{k\geqslant 1}$ such that $(\sigma_k)_{k\geqslant 1}$ converges to a cycle. They asked if this condition is necessary. When $\alpha$ is an algebraic number, we answer the question of Astorg and Boc Thaler in the affirmative. Furthermore, denoting by $P(x)\in\mathbb{Z}[x]$ the minimal polynomial of~$\alpha$, we prove that $\theta\in\frac{1}{P(1)}\mathbb{Z}$ is necessary and sufficient for the existence of $(n_k)_{k\geqslant 1}$ such that $(\sigma_k)_{k\geqslant 1}$ converges. Combined with the work of Astorg and Boc Thaler, our result provides explicit new examples of skew-products on $\mathbb{C}^2$ with wandering domains of rank one.

Analytic properties of the parametric harmonic zeta function, with applications to harmonic Stieltjes constants

math.CV

math.NT

v2

This paper investigates the analytic structure of the parametric harmonic zeta function $\zeta_{H}\left(s, a, b\right)$, a Dirichlet series associated with generalized harmonic numbers. We establish its meromorphic continuation to the complex plane and determine the residues at all of its poles. We then derive a Taylor expansion for $\zeta_{H}\left(s, a, b+t\right)$, leading to harmonic analogues and extensions of classical identities due to Landau, Singh-Verma, and Srivastava. We further develop a systematic theory of the associated harmonic Stieltjes constants by deriving explicit formulas, including previously unknown cases, together with a limit representation for the first-order constants. Finally, we construct the harmonic analogue of the classical digamma function, establish its principal analytic properties and its connection with the harmonic Stieltjes constants, and obtain Raabe-type formulas for the parametric harmonic zeta function, the harmonic Stieltjes constants, and the harmonic digamma function.

Small Matrices with Large Inverses: Unimodular $4 \times 4$ Cases

math.CO

cs.DM

math.NT

v3

How close to singularity can an $n \times n$ unimodular matrix be? For ternary cases as $n$ increases, exact expressions are unlikely, but upon fixing $n=4$ and assessing $(2k+1)$-ary cases as $k$ increases, we make significant progress; similarly for $(k+1)$-ary cases of $4\times 4$ nonnegative unimodular matrices.