Number Theory [math.NT]

Optimal Shifting Method in Dirichlet's divisor problem

math.NT

In this paper, a new method for investigating Dirichlet's divisor problem is developed. For this purpose, integer points under the graph of a hyperbola are studied. Since many investigations in this direction focus on direct estimates of trigonometric sums and are not suitable for studying means, we shall consider shifts with respect to various parameters to define an optimal one. The method allows for obtaining the best possible estimates in the classical divisor problem.

Characterizing monogenic trinomials $\boldsymbol{x^{12}+ax^6+b}$ according to their Galois groups

math.NT

Let $f(x)=x^{12}+ax^{6}+b\in {\mathbb Z}[x]$, with $ab\ne 0$. We say that $f(x)$ is {\em monogenic} if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,\theta,\theta^2,\ldots,\theta^{11}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta)$, where $f(\theta)=0$. For each possible Galois group $G$ of $f(x)$ over ${\mathbb Q}$, we give explicit descriptions of all monogenic trinomials $f(x)$ having Galois group $G$. These results extend recent work on monogenic power-compositional quartic and sextic trinomials.

Algebraic numbers and Fourier analysis: Salem's third problem

math.NT

In 1963, Rapha\"el Salem concluded his highly influential book ``Algebraic Numbers and Fourier Analysis'' with a list of four unsolved problems. The first two problems remain wide open while the last problem on the absolute continuity of Bernoulli convolutions has seen significant progress over the years including recent results by Shmerkin and Varj\'u. In this paper, we solve the third problem concerning the vanishing at infinity of the product of Fourier transforms of Bernoulli convolutions each of which does not vanish at infinity. Our solution uses tools in diophantine approximation such as the theory of Weil heights and Lang's general formulation of Roth's theorem.

Sums of Hecke eigenvalues along polynomial sequences and base change for $\text{GL}(2)$

math.NT

We study sums of absolute values of Hecke eigenvalues of $\textrm{GL}(2)$ representations that are tempered at all finite places. We show that these sums exhibit logarithmic savings over the trivial bound if and only if the representation is cuspidal. Further, we connect the problem of studying the sums of Hecke eigenvalues along polynomial values to the base change problem for $\textrm{GL}(2).$

Classification of Rational Functions of Degree Three over Finite Fields

math.NT

We study rational functions over finite fields under PGL-equivalence. We say that $f, g \in \Bbb F_q(X)$ are \emph{equivalent} if there exist $\psi, \phi \in \Bbb F_q(X)$ of degree one such that $g = \psi \circ f \circ \phi$. Most properties of rational functions over finite fields as they appear in theory and applications are preserved under this equivalence. In a recent work, Mattarei and Pizzato classified rational functions of degree three over finite fields in even characteristic. In the present paper, we classify all rational functions of degree three over finite fields in odd characteristic. Our approach is based on careful analyses of the value frequencies and the ramification points of the degree three rational functions. The completion of our classification also relies on an explicit formula for the number of equivalence classes of degree three rational functions over finite fields recently obtained by the first author.

Handling some Diophantine equation via Euclidean algorithm and its application to purely exponential equations

math.NT

In this paper, we use a variety of classical and new research methods for ternary exponential Diophantine equations and extensive use of computer calculations to study the conjecture of R. Scott and R. Styer which asserts that for any fixed relatively prime positive integers $a,b$ and $c$ all greater than 1 there is at most one solution to the equation $a^x+b^y=c^z$ in positive integers $x,y$ and $z$, except for listed specific cases. Precisely, we confirm that for any fixed prime $c$ of the form $2^r \cdot 3 +1$ with some positive integer $r$ the conjecture holds true, except for finitely many cases all of which can be effectively determined. Most importantly we prove the conjecture to be true whenever $c = 7, 13$, or $97$, giving another proof of the result of T. Miyazaki and I. Pink for $c=13$. We also contribute to the estimation of the number of positive integer solutions $(x,y)$ to the equation $a^x-b^y=c$ for any fixed positive integers $a,b$ and $c$ with both $a$ and $b$ greater than 1. Further, based on a key idea in the proofs of the above results, we present a new application of the Euclidean algorithm for polynomials to the polynomial-exponential Diophantine equation \[ X^m - X^n = q^{y_1} - q^{y_2} \] in positive integers $X, y_1$ and $y_2$, where $m$ and $n$ are given positive integers with $m>n$, and $q$ is a given prime.

Beyond the square-root barrier: cubic forms of Perazzo type

math.NT

We show how the circle method can be used to study rational points on a certain cubic fourfold, going beyond the square-root barrier.

Quartic Rational Diophantine Quadruples and the Euler Surface

math.NT

We prove that there exist infinitely many quartic rational Diophantine quadruples, that is, sets of four pairwise distinct nonzero rational numbers whose pairwise products increased by 1 are fourth powers in Q. To the best of our knowledge, no examples of such quadruples were previously known. Our construction is motivated by computer experiments and leads naturally to the classical Euler surface E:X^4+Y^4=Z^4+W^4. We show that every rational point on a suitable Zariski-open subset of E yields a quartic rational Diophantine quadruple, thereby obtaining a rational map from the Euler surface to the parameter space of quartic quadruples. In particular, Euler's classical parametrization produces the first explicit infinite family of quartic rational Diophantine quadruples. We also explain that the same mechanism extends to arbitrary exponents k>1, with the Euler surface replaced by the Fermat--Euler surface E_k:X^k+Y^k=Z^k+W^k. For even k, every rational point on a suitable open subset of E_k gives rise to a kth power rational Diophantine quadruple, while for odd k one obtains such quadruples on the locus where W/Z is a square.

Division algorithms for norm-Euclidean imaginary quadratic fields

math.NT

The list of norm-Euclidean imaginary quadratic fields is known and finite. For each known case, we give a division algorithm that finds a remainder at distance less than the Euclidean minimum of the field.

Representations of binary quadratic forms by quaternary quadratic forms

math.NT

math.DS

We prove a local-global principle for primitive representations of binary quadratic forms by quaternary quadratic forms. Our method is a variant of Linnik's ergodic method showing density for certain homogenous toral sets. The central ingredient is a measure classification result of Einsiedler and Lindenstrauss for actions of rank two diagonalizable groups on quotients of products of $\mathrm{SL}_2$. This rigidity result together with an application of the Siegel mass formula reduces the density problem to a counting problem on a certain affine variety. We solve that counting problem using the determinant method of Bombieri-Pila and Heath-Brown.

Pseudometrics and preorders on sets of integer sequences induced by arithmetic functions functions

math.NT

Starting from pseudometrics and preorders on sets of integers, we extend the focus to sets of finite sequences of integers, in particular sequences of consecutive integers. We outline existing concepts for deriving centred pseudometrics and preorders in a given pseudometric space and their application to $\mathbb{Z}$ and develop approaches to generalize the ideas to $\mathbb{Z}^m$. Sequences of consecutive integers represent a special case here and are examined in more detail. Another main topic is the use of arithmetic functions in this context. The types of pseudometrics and preorders examined in this paper can be induced by suitable arithmetic functions. We derive fundamental conclusions about relationships between functions and preorders, as well as about equivalent and potentially distinct types of preorders.

Explicit counting of ideals in number fields of arbitrary degree

math.NT

We implement methods from the geometry of numbers to give explicit estimates for the number of integral ideals in a number field. We pay particular attention to minimising the effect of the degree $n$ of the number field on the error term and avoid terms on the order of $n^{n^2}$. We do this by studying fundamental domains for the action of multiplying with units of infinite order in Minkowski space. With some lattice theory we show that one can make different choices for such a fundamental domain, which yield a smaller error, especially when the degree of the field extension is large. We also adapt Schmidt's partition trick to this generalised setting.

Global Product Intersection Sets in Semigroups

math.CO

math.GR

math.NT

For a family $(A_q)_{q\in Q}$ of subsets of a semigroup, the product intersection set records those exponents $h \in \mathbb{N}$ for which the $h$-fold product set of the intersection, $(\bigcap_q A_q)^h$, is equal to $\bigcap_q A_q^h$, the intersection of the product sets. Nathanson recently asked which subsets of $\mathbb{N}$ can occur as a product intersection set, both for arbitrary and for decreasing families $(A_q)_{q\in Q}$. We solve both problems by giving a complete classification. In particular, when $|Q| \ge 2$, we show that in either case any subset $X \subseteq \mathbb{N}$ with $1 \in X$ occurs as a product intersection set. Both classifications were autonomously discovered and formally verified in Lean by Aristotle, a formal reasoning agent developed by Harmonic.

Independent Sets and Continued Fractions

math.CO

math.NT

Linek's 1989 problem asks whether the numbers of independent sets of trees avoid infinitely many positive integers. We show that the set of natural numbers realized as the number of independent sets of a tree has a lower growth exponent of $0.1966$. We further prove that the set of positive integers representable by connected planar graphs has asymptotic density one. Lastly, we establish a phase transition: the number of independent sets of graphs with fewer than $d|V|$ edges for any $d<1$ is contained in a set of density zero, whereas, following Shkredov's recent breakthrough on Zaremba's conjecture in continued fraction theory, there exists a constant $D$ such that the number of independent sets of graphs with at most $D|V|$ edges covers all positive integers.

On the Bloch-Kato conjecture for GSp(4)

math.NT

v4

We prove an explicit reciprocity law for the Euler system attached to the spin motive of a genus 2 Siegel modular form. As consequences, we obtain one inclusion of the Iwasawa Main Conjecture for such motives, and the Bloch--Kato conjecture in analytic rank 0 for their critical twists.

On the $(\varphi,\Gamma)$-modules corresponding to crystalline representations

math.NT

math.RT

v3

Let $K$ be a complete discrete valuation field of characteristic $0$ with perfect residue field of characteristic $p>0$. We introduce the notion of crystalline $(\varphi,\Gamma)$-modules over $\widetilde{\mathbb{A}}_K^{+}$ and show that their category is equivalent to the category of crystalline $\mathbb{Z}_p$-representations of the absolute Galois group of $K$. In other words, we determine the $(\varphi,\Gamma)$-modules over $\widetilde{\mathbb{A}}_K$ that correspond to crystalline representations. This equivalence generalizes, in certain respects, that of L. Berger in the unramified case.

Symmetry of hypergeometric functions over finite fields and geometric interpretation

math.NT

v4

We begin by defining general hypergeometric functions over finite fields and obtaining a finite field analogue of a classical symmetry in their complex counterparts. We give a geometric proof for the symmetry by constructing isomorphisms between certain algebraic varieties. The numbers of rational points on these varieties are hypergeometric functions over finite fields.

Infinitely many hyperelliptic curves of small genus and small fixed rank, and of any genus and rank two

math.NT

v4

We prove that for any number field $K$ and any fixed genus $g \geq 2$, there are infinitely many non-isomorphic hyperelliptic curves of genus $g$ over $K$ whose Jacobians have rank over $K$ equal to each of 0, 1, or 2. As an example of our method, over $\mathbb{Q}$, we prove that there exist infinitely many non-isomorphic hyperelliptic curves of genus two, whose Jacobians have rank equal to a fixed number between $1$ and $11$, genus three and four curves with rank between $1$ and $4$, and genus five and six with rank between $1$ and $3$.

Counting points on a family of degree one del Pezzo surfaces

math.NT

v2

We study rational points on the elliptic surface given by the equation: $$y^2 = x^3 + AxQ(u,v)^2 + BQ(u,v)^3,$$ where $A,B\in \mathbb{Z}$ satisfy that $4A^3-27B^2\neq 0$ and $Q(u,v)$ is a positive-definite quadratic form. We prove asymptotics for a special subset of the rational points, specifically those that are integral with respect to the singularity. This method utilizes Mordell's parameterization of integral points on quadratic twists on elliptic curves, which is based on a syzygy for invariants of binary quartic forms. Let $F(A,B)$ denote the set of binary quartic forms with invariants $-4A$ and $-4B$ under the action of $\textrm{SL}_2(\mathbb{Z})$. We reduce the point-counting problem to the question of determining an asymptotic formula for the correlation sums of representation numbers of binary quadratic and binary quartic forms, where the quartic forms range in $F(A,B)$. These sums are then treated using a connection to modular forms.

Folkman's theorem and the primes

math.NT

math.CO

v2

We provide two new proofs of the infinitude of prime numbers, using the additive Ramsey-theoretic result known as Folkman's theorem (alternatively, one can think of these proofs as using Hindman's theorem). This adds to the existing literature deriving the infinitude of primes from Ramsey-type theorems.

Primes in LCM recurrences

math.NT

v3

We study an LCM-based analogue of Rowland's GCD-based prime-generating recurrence, introduced by the author in 2008. The multiplicative increments of this sequence are conjectured always to be $1$ or prime, but a complete proof requires a strengthening of Linnik's theorem on the least prime in an arithmetic progression that lies beyond current reach. We develop a Companion--Sieve framework that reduces the conjecture to an equidistribution problem for primes in the progression $-1\bmod p$, and applying the Bombieri--Vinogradov theorem we prove unconditionally that the conjecture holds for a set of integers of asymptotic density $1$. We also give an effective finite reduction showing that any counterexample beyond a computable threshold involves only large prime factors. A closely related recurrence turns out to encode twin prime pairs through its increment pattern, and we prove a conditional density-$1$ result for it under a prime-index detection hypothesis, using an upper-bound Selberg sieve estimate for twin primes in arithmetic progressions. The analysis also leads to three new conjectures on the distribution of primes in arithmetic progressions.

Inverses of six classes of permutation polynomials of the form $x+\gamma\operatorname{Tr}_q^{q^2}(h(x))$ over finite fields of even characteristic

math.NT

v2

Recently, Jiang et al. \cite{JIANG2025102522} obtained several classes of Permutation Polynomial of the form $x+\gamma\operatorname{Tr}_q^{q^2}(h(x))$ over finite fields $\mathbb{F}_{q^2},q=2^n$. In this paper, we find the compositional inverse of six classes of permutation polynomials of this form.

"Infinitely Often" Transcendence of Gamma-Function Derivatives

math.NT

v4

Relatively little is known about the arithmetic properties of Gamma-function derivatives evaluated at arbitrary points $q\in\mathbb{Q}\setminus\mathbb{Z}_{\leq0}$. In recent work, we showed that the sequence $\left\{\Gamma^{\left(n\right)}\left(1\right)\right\}_{n\geq1}$ contains transcendental elements infinitely often. That result is now generalized to all sequences $\left\{\Gamma^{\left(n\right)}\left(q\right)\right\}_{n\geq1}$ for $q\in\tfrac{1}{2}\mathbb{Z}\setminus\mathbb{Z}_{\leq0}$. Moreover, for all such $q$ we derive a lower bound, $\beta\left(N\right)=\max\left\{ 0,\sqrt{N}-5/2\right\}/N$, for the density of transcendental elements $\Gamma^{\left(n\right)}\left(q\right)$ among $n\in\left\{1,2,\ldots,N\right\}$, where $\beta\left(N\right)\asymp N^{-1/2}\rightarrow0$ as $N\rightarrow\infty$. For $q\in\mathbb{Q}\setminus\tfrac{1}{2}\mathbb{Z}$, we find the somewhat weaker result that at least one of the sequences $\left\{\Gamma^{\left(n\right)}\left(q\right)\right\}_{n\geq1}$, $\left\{\Gamma^{\left(n\right)}\left(1-q\right)\right\}_{n\geq1}$ contains infinitely many transcendental elements.

Uniform bounds on $S$-integral points in backward orbits

math.NT

v2

Let $K$ be a number field with algebraic closure $\overline{K}$ and let $S$ be a finite set of places of $K$ containing all the archimedean places. It is known from Silverman's result that a forward orbit of a rational map $\varphi$ contains finitely many $S$-integers in the number field K when $\varphi^2$ is not a polynomial. Sookdeo stated an analogous conjecture for the backward orbits of a rational map $\varphi$ using a general $S$-integrality notion based on the Galois conjugates of points. He proved his conjecture for the power map $\varphi(z) =z^d$ for $d \geq 2$ and consequently for Chebyshev maps (J. Number Theory 131 (2011), 1229-1239). In this paper, we establish uniform bounds on the number of $S$-integral points in the backward orbits of any non-zero $\beta$ in $K$, relative to a non-preperiodic point $\alpha \in \mathbb{P}^1(\overline{K})$, under the power map $\varphi(z) =z^d $.

The fourth known primitive solution to $a^5 + b^5 + c^5 + d^5 = e^5$

math.NT

v2

We report the fourth known primitive solution to the Diophantine equation $a^5 + b^5 + c^5 + d^5 = e^5$, extending the list of solutions from 1966, 1996, and 2004. This result was obtained via a large-scale computational search based on an optimized meet-in-the-middle strategy. We describe the search algorithm, the techniques enabling it at scale, and the computational ranges explored.

Beatty solutions of almost Golomb equations

math.NT

v3

The almost Golomb equation of order $r$ is the implicit functional equation $$a\Bigl(\sum_{j=0}^{r-1} a(n{-}j)\Bigr) = n$$ for nondecreasing sequences of positive integers with $a(1)=1$. Its earliest solution, the almost Golomb sequence of order $r$, is $r$-regular in the sense of Allouche and Shallit and has oscillating ratio $a(n)/n$. We prove that for every $r\ge 2$ that is not an even perfect square, the equation admits a second monotone solution given by an inhomogeneous Beatty sequence of slope $1/\!\sqrt{r}$. Composing the equation with $a$ leads to a triple-nested identity which admits a continuous one-parameter family of inhomogeneous Beatty solutions, parametrised by a shift $d$ ranging over an explicit interval. We determine these intervals sharply for $r=2$ and $r=3$, each proved by a local regime analysis combined with equidistribution of an irrational orbit. The endpoints of these intervals sit naturally inside the Pell--Ostrowski framework of Fokkink, and the defect set at the upper endpoint for $r=2$ is characterised as the return-time set of an irrational rotation to an explicit interval.

Sophie Germain Primes and the Totient of Fibonacci Numbers

math.NT

v2

We study the set $S(q)$ of residue classes $r$ modulo the Pisano period $\pi(q)$ for which $q \mid \varphi(F_m)$ for every $m \equiv r \pmod{\pi(q)}$. We prove that if $q$ is a Sophie Germain prime and $z(2q+1) \mid \pi(q)$, then $S(q)$ is a nonempty arithmetic progression, and for $q > 5$ its cardinality is odd and $q \equiv 8 \pmod{15}$. Conversely, we show that if a prime $p \equiv 1 \pmod{q}$ has $z(p) \mid \pi(q)$, then necessarily $p = 2q+1$, so $q$ is Sophie Germain. We conjecture that $S(q) \neq \emptyset$ forces the existence of such a prime $p$; this is verified for all $q \leq 50000$. Assuming that $z(2q+1) \mid \pi(q)$ holds for infinitely many Sophie Germain primes (verified computationally for approximately 23.9% of them), the Sophie Germain conjecture implies the existence of infinitely many primes $q \equiv 8 \pmod{15}$ with $(2q+1) \mid F_{\pi(q)}$ -- a purely Fibonacci-theoretic condition. These results generalize to arbitrary Lucas sequences $U_n(P,Q)$ with non-square discriminant.

Solvable Descent and the Grunwald Problem for Solvable Groups

math.NT

v2

We prove a suitable fibration theorem over quasi-trivial tori that, through an approach developed by Harpaz and Wittenberg, implies so-called solvable descent. In particular, this gives a positive answer to the Grunwald problem for solvable groups up to the necessary Brauer--Manin obstruction, providing a generalizion of Shafarevich's positive answer to the Inverse Galois Problem for solvable groups. This also provides an alternative proof of Shafarevich's result that avoids his "shrinking procedure". For the fibration theorem, we first adapt the starting ideas of Shafarevich for the creation of local lifts. To deal then with the Brauer--Manin obstruction (i.e. the relevant local-to-global obstruction), we compute its "triple variation" on grids of fibers. The resulting expression is a linear combination of Red\'ei symbols on the base. Customizing these and employing a combinatorial principle first noted by Alexander Smith in the context of Class and Selmer Groups, one infers the vanishing of the obstruction in at least one fiber.

Spectral Separation and Eigenvalue Labelling for Polynomial Tensor Representations of General Linear Groups

math.RT

math.GR

math.NT

v4

Let $q$ be a prime power and $H \leq \mathrm{GL}_d(q)$ be a subgroup containing a genuine Singer cycle $s$ of order $q^d-1$. For an untwisted polynomial tensor representation of $\mathrm{GL}_d$ with total degree $K < q-1$, we prove that distinct weights yield distinct eigenvalues for $s$ over the splitting field $\mathbb{F}_{q^d}$. This relies on an elementary base-$q$ injectivity lemma, showing that bounded digit vectors determine distinct residues modulo $q^d-1$. Consequently, if the tensor product is multiplicity-free for the diagonal torus, the Singer cycle has a simple spectrum. We also establish a shifted exponent formula separating distinct shifted digit vectors under the same bound $K < q-1$, cleanly isolating this $q$-Frobenius eigenvalue bookkeeping from general Steinberg $p$-twists. These results provide a uniform spectral mechanism for eigenvalue separation in bounded-degree polynomial tensor representations. Building on this, we formulate a conditional rewriting framework that reduces the reconstruction of the natural action to a functor-specific inversion and normalization problem.

Primitive-Root Determinant Densities over Prime Fields and Implications for PRIM-LWE

cs.CR

math.NT

v4

For a prime $p$, let $c_n(p)$ denote the fraction of $n\times n$ matrices over $\mathbb{F}_p$ whose determinant is a primitive root modulo $p$, and let $c(p)=\lim_{n\to\infty}c_n(p)$ be the limiting density. This quantity governs the efficiency of PRIM-LWE, a variant of the learning with errors (LWE) problem in which the secret matrix is required to have primitive-root determinant. The value $1/c(p)$ equals the expected rejection-sampling overhead in the reduction from standard LWE to PRIM-LWE. We prove unconditionally that $\inf_{p\text{ prime}}c(p)=0$, resolving an open question from the PRIM-LWE literature, and establish the rate $\min_{p\le x}c(p)\asymp 1/\log\log x$ as $x\to\infty$. We show that $c(p)$, viewed as a function on the primes, has a continuous, purely singular limiting distribution with support $[0,1/2]$ and Hausdorff dimension $0$. The moments of this limiting distribution are given by convergent Euler products, and the Mellin transform $\mathbb{E}[X^s]$ extends analytically to $\operatorname{Re}(s)>0$. Using the number of distinct prime factors $\omega(p-1)$, we derive explicit lower bounds: for every prime $p>2^{30}$ the overhead satisfies $1/c(p) < 1.79\log p$, and in general $1/c(p)=O(\log\log p)$. We also describe a certified algorithm for evaluating $c(p)$ and tabulate values for primes of cryptographic interest.