Number Theory [math.NT]

Elementary closed-forms for non-trivial divisors

math.NT

We present several elementary closed-forms that express a non-trivial divisor for every composite integer $n > 1$. Each closed-form consists of a fixed number of elementary arithmetic operations drawn from the set: addition, subtraction, multiplication, integer division, and exponentiation. Two families of closed-forms are developed. First, direct application of the hypercube method yields closed-forms $T_1(n)$, $T_2(n)$, $T_3(n)$, and $T_4(n)$ expressing the smallest prime divisor, largest non-trivial divisor, largest prime divisor, and greatest prime $\leq n$, respectively. The factorial-unwinding technique underlying these hypercube constructions leads to extreme symbolic complexity, motivating our main result: An alternative closed-form $T(n)$ that avoids factorial-unwinding by synthesizing the quadratic residue invariants $\chi(n)$ (largest $r$ such that $r^2$ is a divisor) and $\omega(n)$ (number of distinct prime divisors) with integer root extraction. Although evaluating these closed-forms requires exponential time, the number of arithmetic operations performed remains constant and independent of the input size $n$. This sharply contrasts with traditional algorithmic methods, where the number of operations required to locate a non-trivial divisor necessarily scales with $n$.

Existence of primitive k-normal elements for critical values over finite fields

math.NT

Let $\mathbb{F}_{q^n}$ be a finite field with $q^n$ elements. An element $\alpha \in \mathbb{F}_{q^n}$ is called $k$-normal over $\mathbb{F}_q$ if $\alpha$ and its conjugates generate a vector subspace of $\mathbb{F}_{q^n}$ of dimension $n-k$ over $\mathbb{F}_q$. The existence of primitive $k$-normal elements and related properties have been studied throughout the past few years for $k > n/2$. In this paper, we provide general results on the existence of primitive $k$-normal elements for the critical value $k = n/2$, which have not been studied until now, except for $n = 4$. Furthermore, we show the strength of this result by providing a complete characterization of the existence of primitive $3$-normal elements in $\mathbb{F}_{q^6}$ over $\mathbb{F}_q$.

A Geometric-Arithmetic Framework for the Flint Hills Series

math.NT

We introduce a geometric-arithmetic approach to the analysis of the Flint Hills series, linking its convergence behavior to the irrationality measure of pi. The framework highlights the interplay between the distribution of near-multiples of pi and the growth rate of denominator sequences, offering new insights into the arithmetic structure underlying this famous unsolved problem.

On the Rank of Jacobian Varieties of the Curves $y^s=ax^r+b$

math.NT

We study the family of algebraic curves of genus $\geq 1$ defined by the affine equations $y^s=ax^r+b$ over a number field $k$, where $r \geq 2$ and $s\geq 2$ are fixed integers. Assuming the strong version of Lang's conjecture on varieties of general type, we prove that the Mordell-Weil rank of the Jacobian varieties of these curves is uniformly bounded. The proof proceeds by constructing a parameter space for curves in the family with a given number of rational points and analyzing the geometry of its fibers, which are shown to be complete intersection curves of increasing genus.

New optimal function field towers over finite fields of quartic power

math.NT

We introduce two new types of towers of Drinfeld modular curves. These towers originate from a specific domain $\mathcal{A} $ and are analogous to the towers of rank-two Drinfeld modular curves over the polynomial ring. Specifically, the domain $\mathcal{A} $ corresponds to the projective line over the finite field $ \mathbb{F}_q $, equipped with an infinite place of degree two. We select an arbitrary non-zero principal $\mathcal{A} $-ideal $ I_{\eta} $ of degree two. Notably, the $ I_{\eta} $-reduction of the tower of minimal Drinfeld modular curves is asymptotically optimal over the finite field $ \mathbb{F}_{q^4} $.

Metric properties of continued fractions with large prime partial quotients

math.NT

Let $x \in [0,1)$ with continued fraction expansion $[a_1(x),a_2(x),\dots]$, and let $\phi:\mathbb{N}\to\mathbb{R}^+$ be a non-decreasing function. We consider the numbers whose continued fraction expansions contain at least two partial quotients that are simultaneously large and prime, that is \[ E'(\phi):=\Big\{x\in[0,1): \exists\, 1\leq k\neq l\leq n, \ a'_{k}(x),\ a'_{l}(x)\geq\phi(n) \ \text{for i.m. } n\in\mathbb{N}\Big\}, \] where $a'_i(x)$ denotes $a_i(x)$ if $a_i(x)$ is prime and $0$ otherwise. We establish a zero-one law for the Lebesgue measure of $E'(\phi)$ and determine its Hausdorff dimension.

Elliptic butterflies

math.NT

We study natural evaluation and interpolation problems for elliptic functions and prove that they allow a recursive treatment using a variant of classical butterflies first introduced by Gauss. We deduce the existence of straight-line programs with complexity in $d\log(d)$ for these problems and present applications to finite field arithmetic, coding theory and cryptography.

Bianchi's elliptic quintic curves and several modular function fields of level ten

math.NT

We provide an explicit description of two torsion points on the classical Bianchi elliptic quintic curve in terms of Ramanujan's functions. As a byproduct, we describe generators and defining equations of several modular function fields of level 10 using those functions.

A New Representation of the Riemann Zeta Function

math.NT

In this paper,we develop a novel representation of the zeta function expressed as the limiting difference between two structured double sums. This approach leads to a new and elegant identity involving maximum functions and additive terms, providing theoretical insights. The derivation relies on generalized harmonic series and polygamma functions, linking classical analysis with contemporary summation techniques.

Estimating the number of zeros of Dedekind zeta-functions

math.NT

In this article, I derive a new approach to estimate the number of non-trivial zeros of a given Dedekind zeta function with absolute height at most $T>=1$ counted with multiplicity. The error term in corresponding asymptotic formula improves all previous results, even in the case of the Riemann zeta function.

S\'ark\"ozy's theorem in $\mathbf{F}_2[x]$

math.NT

math.CO

Green showed that, conditional on GRH, a subset $A \subseteq [N]$ with $\mid A \mid \gg_{\epsilon} N^{\frac{11}{12}+\epsilon}$ must contain two elements whose difference is $p-1$ for $p$ a prime. We prove an analogous unconditional result for $\mathbf{F}_2[x]$, improving the exponent to $\frac{7}{8}+\epsilon$.

S\'ark\"ozy's theorem in $\mathbb{F}_q[t]$ via the van der Corput property

math.NT

Fix a positive prime power $q$, and let $\mathbb{F}_q[t]$ be the ring of polynomials over the finite field $\mathbb{F}_q$. Suppose $A \subseteq \{f \in \mathbb{F}_q[t]\colon\text{deg}~ f \le N\}$ contains no pair of elements whose difference is of the form $P-1$ with $P$ irreducible. Adapting Green's approach to S\'ark\"ozy's theorem for shifted primes in $\mathbb{Z}$ using the van der Corput property, we show that \[|A| \ll q^{(N+1)(11/12+o(1))},\] improving upon the bound $O\big(q^{(1-c/\log N)(N+1)}\big)$ due to L\^{e} and Spencer.

Minima successifs des r\'eseaux et pentes des fibr\'es vectoriels sur les corps de fonctions globaux

math.AG

math.NT

Let ${\bf C}$ be a smooth geometrically connected projective curve over a finite field, and let $A$ be the affine algebra of its regular functions outside a fixed place of ${\bf C}$. We give precise relationships between the Mahler successive minima of normed $A$-lattices and the Harder-Narasimhan slopes of vector bundles over ${\bf C}$ using their category equivalence.

Pointwise convergence of ergodic averages along quadratic bracket polynomials

math.DS

math.CA

math.NT

We establish a pointwise convergence result for ergodic averages modeled along orbits of the form $(n\lfloor n\sqrt{k}\rfloor)_{n\in\mathbb{N}}$, where $k$ is an arbitrary positive rational number with $\sqrt{k}\not\in\mathbb{Q}$. Namely, we prove that for every such $k$, every measure-preserving system $(X,\mathcal{B},\mu,T)$ and every $f\in L^{\infty}_{\mu}(X)$, we have that \[ \lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^Nf(T^{n\lfloor n\sqrt{k}\rfloor}x)\quad\text{exists for $\mu$-a.e. $x\in X$.} \] Notably, our analysis involves a curious implementation of the circle method developed for analyzing exponential sums with phases $(\xi n \lfloor n\sqrt{k}\rfloor)_{1\le n\le N}$ exhibiting arithmetical obstructions beyond rationals with small denominators, and is based on the Green and Tao's result on the quantitative behaviour of polynomial orbits on nilmanifolds. For the case $k=2$ such a circle method was firstly employed for addressing the corresponding Waring-type problem by Neale, and their work constitutes the departure point of our considerations.

The Skolem Problem in rings of positive characteristic

cs.LO

math.NT

We show that the Skolem Problem is decidable in finitely generated commutative rings of positive characteristic. More precisely, we show that there exists an algorithm which, given a finite presentation of a (unitary) commutative ring $\mathcal{R} = \mathbb{Z}_{/T}[X_1, \ldots, X_n]/I$ of characteristic $T > 0$, and a linear recurrence sequence $(\gamma_n)_{n \in \mathbb{N}} \in \mathcal{R}^{\mathbb{N}}$, determines whether $(\gamma_n)_{n \in \mathbb{N}}$ contains a zero term. Our proof is based on two recent results: Dong and Shafrir (2025) on the solution set of S-unit equations over $p^e$-torsion modules, and Karimov, Luca, Nieuwveld, Ouaknine, and Worrell (2025) on solving linear equations over powers of two multiplicatively independent numbers. Our result implies, moreover, that the zero set of a linear recurrence sequence over a ring of characteristic $T = p_1^{e_1} \cdots p_k^{e_k}$ is effectively a finite union of $p_i$-normal sets in the sense of Derksen (2007).

Kudla's modularity conjecture on integral models of orthogonal Shimura varieties

math.NT

math.AG

v2

We construct a family of special cycle classes on the regular integral model of an orthogonal Shimura variety, and show that these cycle classes appear as Fourier coefficients of a Siegel modular form. Passing to the generic fiber of the Shimura variety recovers a result of Bruinier and Raum, originally conjectured by Kudla.

Combinatorics on Number Walls and the $P(t)$-adic Littlewood Conjecture

math.NT

v3

For any prime $p$ and real number and $\alpha$, the $p$-adic Littlewood Conjecture due to de Mathan and Teuli\'e asserts that \[\inf_{|m|\ge1}|m|_p\cdot |m|\cdot |\left\langle\alpha m\right\rangle|=0.\] Above, $|m|$ is the usual absolute value, $|m|_p$ is the $p$-adic norm and $\left|\left\langle x\right\rangle\right|$ is the distance from $x\in\mathbb{R}$ to the nearest integer. Let $\mathbb{K}$ be a field and $P(t)\in\mathbb{K}[t]$ be an irreducible polynomial. This paper deals with the analogue of this conjecture over the field of formal Laurent series over $\mathbb{K}$, known as the $P(t)$-adic Littlewood Conjecture ($P(t)$-LC). The following results are established: (1) Any counterexample to $P(t)$-LC for the case $P(t)=t$ generates a counterexample when $P(t)$ is any irreducible polynomial. Since $P(t)$-LC is knwon to be false when $P(t)=t$ and $\mathbb{K}$ has characteristic 0,3,5,7 and 11, one obtains a disproof of the $P(t)$-LC over any such field for any choice of irreducible polynomial $P(t)$. (2) A Khintchine-type theorem for $t$-adic multiplicative approximation is established, enabling one to determine the measure of the set of counterexamples to $P(t)$-LC with an additional monotonic growth function in the case $P(t)=t$. (3) The Hausdorff dimension of the same set is shown to be maximal when $P(t)=t$ in the critical case where the growth function is $\log^2$. These goals are achieved by developing an extensive theory in combinatorics relating $P(t)$-LC to the properties of the so-called number wall of a sequence. This is an infinite array containing the determinant of every finite Toeplitz matrix generated by that sequence. The main novelty of this paper is creating a dictionary allowing one to transfer statements in Diophantine approximation in positive characteristic to combinatorics through the concept of a number wall, and conversely.

Motivic action for Siegel modular forms

math.NT

math.AG

v2

We study the coherent cohomology of automorphic sheaves corresponding to Siegel modular forms $f$ of low weight on ${\rm GSp}(4)$ Shimura varieties. Inspired by the work of Prasanna--Venkatesh on singular cohomology of locally symmetric spaces, we propose a conjecture that explains all the contributions of a Hecke eigensystem to coherent cohomology in terms of the action of a motivic cohomology group. Under some technical conditions, we prove that our conjecture is equivalent to Beilinson's conjecture for the adjoint $L$-function of $f$. We also prove some unconditional results in special cases. For a lift $f$ of a Hilbert modular form $f_0$ to ${\rm GSp}(4)$, we produce elements in the motivic cohomology group for which the conjecture holds, using the results of Ramakrishnan on the Asai $L$-function of $f_0$. For a lift $f$ of a Bianchi modular form $f_0$ to ${\rm GSp}(4)$, we show that our conjecture for $f$ is equivalent to the conjecture of Prasanna-Venkatesh for $f_0$, thus establishing a connection between the motivic action conjectures for locally symmetric spaces of non-hermitian type and those for coherent cohomology of Shimura varieties.

Joint effective equidistribution of partial lattices in positive characteristic

math.NT

v2

Let $\nu$ be a place of a global function field $K$ over a finite field, with associated affine function ring $R_\nu$ and completion $K_\nu$, and let $1 \leq \mathfrak{m}<\textbf{d}$. The aim of this paper is to prove an effective triple joint equidistribution result for primitive partial $R_\nu$-lattices $\Lambda$ of rank $\mathfrak{m}$ in $K_\nu^{\;\textbf{d}}$ as their covolume tends to infinity: of their $K_\nu$-linear span $V_\Lambda$ in the rank-$\mathfrak{m}$ Grassmannian space of $K_\nu^{\;\textbf{d}}$; of their shape in the modular quotient by $\operatorname{PGL}_\mathfrak{m}(R_\nu)$ of the Bruhat-Tits buildings of $\operatorname{PGL}_\mathfrak{m}(K_\nu)$; and of the shape of $\Lambda^\perp$ in the similar quotient for $\operatorname{PGL}_{\textbf{d}-\mathfrak{m}}(K_\nu)$, where $\Lambda^\perp$ is the orthogonal partial $R_\nu$-lattice of rank $\textbf{d}-\mathfrak{m}$ in the dual space of $K_\nu^{\;\textbf{d}}$. The main tools are a new refined $\text{LU}$ decomposition by blocks of elements of $\operatorname{SL}_\textbf{d}(K_\nu)$, techniques of Gorodnik and Nevo for counting integral points in well-rounded families of subsets of algebraic groups, and computations of volumes of various homogeneous spaces associated with partial $R_\nu$-lattices.

On the Iwasawa Invariants of Mazur--Tate elements of elliptic curves at additive primes

math.NT

v2

We investigate the $\lambda$-invariants of Mazur--Tate elements of elliptic curves defined over the field of rational numbers at primes of additive reduction. We explain their growth and how these invariants relate to other better understood invariants depending on the potential reduction type. We give examples and a conjecture for the additive potentially supersingular case, supported by computational data from Sage in this setting. Further, we extend our results to $\lambda$-invariants of Mazur--Tate elements of cuspidal Hecke eigenforms associated with potentially ordinary $p$-adic Galois representations.

Iwasawa Theory of Elliptic Curves in Quadratic Twist Families

math.NT

v3

In this article, we use two different approaches -- one algebraic and the other analytic -- to study the variation of Iwasawa invariants of rational elliptic curves in some quadratic twist families. The analytic approach involves a thorough investigation of half-integral weight modular forms. On the other hand, the algebraic proof requires studying the BDP-Selmer groups and the fine Selmer groups.

The non-existence of some Galois representations of moderate dimension in small characteristic

math.NT

v2

Refining arguments of Hyunsuk Moon, under the assumption of the Generalized Riemann Hypothesis, we prove the non-existence of irreducible mod 2 Galois representations unramified outside 2 of dimensions $\leq 4$, and of totally real such representations of dimensions $\leq 8$. We also prove the non-existence of irreducible totally real mod 3 representations unramified outside 3 of dimensions $\leq 4$. We show unconditionally that the image of an irreducible mod 2 symplectic 4-dimensional Galois representation that is unramified outside 2 must be large. Under GRH, we then deduce the non-existence of such representations.

A universal example for quantitative semi-uniform stability

math.AP

math.FA

math.NT

math.OC

v2

We characterise quantitative semi-uniform stability for $C_0$-semigroups arising from port-Hamiltonian systems, complementing recent works on exponential and strong stability. With the result, we present a simple universal example class of port-Hamiltonian $C_0$-semigroups exhibiting arbitrary decay rates slower than $t^{-1/2}$. The latter is based on results from the theory of Diophantine approximation, as the decay rates will be strongly related to the approximation properties of irrational numbers by rationals obtained from cut-offs of continued fraction expansions.

Euler characteristic of crepant resolutions of specific modular quotient singularities

math.AG

math.NT

v2

In this paper, we consider a generalization of the McKay correspondence in positive characteristic regarding the Euler characteristic of crepant resolutions of quotient singularities given by finite subgroups of the special linear group. As the main result, we prove that this generalization holds for groups with a specific semidirect product structure, using the wild McKay correspondence over finite fields as mass formulas. Furthermore, two additional examples with more complicated structures are also given. Based on our main result, we propose a conjectural form of the generalized McKay correspondence in the modular case.

Approximate Fiber Products of Schemes and Their \'Etale Homotopical Invariants

math.AG

math.AT

math.NT

v3

The classical fiber product in algebraic geometry provides a powerful tool for studying loci where two morphisms to a base scheme, $\phi: X \to S$ and $\psi: Y \to S$, coincide exactly. This condition of strict equality, however, is insufficient for describing many real-world applications. This paper develops a new framework to study and quantify the nature of approximate alignment between morphisms in the context of arithmetic geometry, using the tools of {\'e}tale homotopy theory. We introduce the central object of our work, the \textit{{\'e}tale mismatch torsor}, a sheaf of torsors over the product scheme $X \times_S Y$. The structure of this sheaf serves as a rich, intrinsic, and purely algebraic object amenable to both qualitative classification and quantitative analysis of the global relationship between the two morphisms. Our main results are twofold. First, we provide a complete classification of these structures, establishing a bijection between their isomorphism classes and the first {\'e}tale cohomology group $H_{\text{\'e}t}^1(X \times_S Y, \underline{\pi_1^{\text{\'e}t}(S)})$. Second, we construct a canonical filtration on this classifying cohomology group based on the theory of infinitesimal neighborhoods. This filtration induces a new invariant, which we term the \textit{order of mismatch}, providing a hierarchical, algebraic measure for the degree of approximation between the morphisms. We apply this framework to the concrete case of generalized Howe curves over finite fields, demonstrating how both the characteristic class and its order reveal subtle arithmetic properties.

Divergent Infinite Series -- Ramanujan's Initial Intuition

math.CO

math.NT

v3

This paper investigates Srinivasa Ramanujan's initial intuitive methodology for assigning the finite value -1/12 to the sum of the divergent infinite series of all positive integers. We systematically examine Ramanujan's initial method, originally sketched in his notebooks, and set the methodology into an algebraic framework. The methodology has limited applicability to other classes of divergent series. The methodology is extended to assign a Ramanujan smoothed sum to the infinite sequences of integers raised to a positive integer power and to figurate binomial number sequences, including triangular numbers, tetrahedral numbers, and higher-dimensional analogues, avoiding analytical continuation. A key finding establishes that the Ramanujan smoothed sums of figurate binomial sequences are intrinsically connected to logarithmic numbers (Gregory coefficients), providing a novel perspective on Ramanujan summation through the lens of classical combinatorial functions. The paper applies asymptotic expansions of associated rational generating functions to demonstrate consistency with established results from analytic continuation methods. The results illuminate the deeper mathematical structures underlying Ramanujan's intuitive insights and suggest new avenues for research in divergent series summation.