Number Theory [math.NT]

Utilizing Smoothing Techniques to Bound $|\zeta(1+it)|$

math.NT

We demonstrate an improved explicit upper bound of $|\zeta(1+it)|$ for $3 \leq t \leq 10^9$ using smoothing techniques. Our method sharpens previous bounds relying on the Riemann--Siegel formula and the triangle inequality. In particular, we prove that for $t\geq 3$, \begin{align*} |\zeta(1+it)| \leq \frac{1}{2}\log t + 1.57 \end{align*} and for $t \geq 10^8$, \[ |\zeta(1+it)|\leq \frac{1}{3}\log t + 2\log \log t -1.16 . \]

Necessary and sufficient conditions on the order of a finite field $\mathbb{F}_q$ for the easy identification of primitive polynomials of degree 2

math.NT

We present the necessary and sufficient conditions on the order $q$ of a finite field $\mathbb{F}_q$ such that every irreducible polynomial of the form $x^2+bx+c \in \mathbb{F}_q[x]$, with $b\neq 0$ and $c$ a primitive element of $\mathbb{F}_q$, is a primitive polynomial. As a by-product of this result, we also present a new infinite family of finite fields $\mathbb{F}_q$ for which it is easy, in a different way, to determine when an irreducible polynomial of degree two is primitive.

Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond

math.NT

math.CO

math.LO

The theory of $q$-series and basic hypergeometric series plays a crucial role at the intersection of combinatorics, number theory, and representation theory. From the classical partition identities of Euler and Jacobi to modern developments in class field theory, vertex operator algebras, and the Monstrous Moonshine conjecture, $q$-series provide the analytic framework for a wide range of profound applications. In this paper, we discuss the formalization of this theory in the Lean proof assistant, a process that requires careful design of scalable and versatile structures to reconcile formal algebraic identities with analytic convergence properties. We address these foundational challenges by focusing on the construction of $q$-Pochhammer symbols, $q$-binomial coefficients, Bailey's Lemma and similar primitives. To demonstrate the utility of this work, we provide fully verified proofs of the Jacobi Triple Product formula and the celebrated Rogers-Ramanujan identities, which serve as both historical and technical benchmarks for the field. This work establishes a rigorous computational foundation for the future formalization of mock theta functions, modular forms, and the diverse algebraic structures that underpin their applications across mathematics and physics.

A Pfaffian Proof and Generalization of a Conjecture of Sun Zhiwei

math.NT

Let $p$ be an odd prime, let $n=(p-1)/2$, and let $\chi=(\frac{\cdot}{p})$, with $\chi(0)=0$. For $a\in\mathbb F_p^\times$ define \[ D_a(x)=\det_{1\le i,j\le n}(x+\chi(i^2-aj)), \qquad D_a^{(0)}(x)=\det_{0\le i,j\le n}(x+\chi(i^2-aj)). \] We prove \[ D_a(0)=0 \quad\Longleftrightarrow\quad p\equiv 3 \pmod 4 \quad\text{and}\quad \chi(a n!)=1. \] For $p\equiv3\pmod4$ we also give explicit Pfaffian-square factorizations of $D_a(x)$ and $D_a^{(0)}(x)$. Let $s_p=(-1)^{\lfloor(p+1)/8\rfloor}$. If $\chi(a n!)=1$, then $s_pD_a(x)/x=s_pD_a^{(0)}(x)$ is a positive integer square. If $\chi(a n!)=-1$, then there is a positive integer $\sigma$ such that \[ s_pD_a(x)=\sigma^2(nx-1),\qquad s_pD_a^{(0)}(x)=-\sigma^2\bigl(n+(2n+1)x\bigr). \] The case $a=n!$ settles Sun's Conjecture 4.1.

On Euclidean systems of ray classes

math.NT

Lenstra introduced the notion of Euclidean ideal classes, and Treatman extended it to Euclidean systems. In this paper, we formulate Euclidean systems for ray classes, and study their basic properties. In particular, we show that every Euclidean system of ray classes generates the corre sponding ray class group. We further prove, assuming GRH, that if $K$ is a totally real Galois number field of degree $n\ge 3$ and $p$ is an odd ratio nal prime which does not split completely in $K$, then for every $N>0$, every generating set of the ray class group $Cl_K^{(p)^N}$ with modulus $(p)^N$ is a Euclidean system.

A Coordinate System for Collatz Dynamics

math.NT

It is well-established that every odd positive integer $n$ can be written uniquely as $n = \lambda \cdot 2^a \cdot 3^b - 1$ where $\gcd(\lambda, 6) = 1$ and $a \geq 1$. Building from this 3-smooth factorization, we introduce a partition of the nonnegative integers into countably many infinite triangles where each row $k$ forms a Collatz chain of alternating parity. The partition admits a coordinate system as a skeleton $\mathcal{L}_\lambda$ using the pair $(a, b)$ for odd positive integers within a geometric structure where row $k$ corresponds to $k = a + b$. Each position $(a, b)$ maps to $(a-1, b+1)$, a deterministic diagonal flow requiring no number-theoretic input. At the boundary $a = 1$, the trajectory exits to another skeleton depending on the factorization of $\lambda \cdot 3^{b+1} - 1$. The coordinate system is new. As a concrete application, we prove that rows $k \equiv 2 \pmod 4$ with $k \geq 6$ in the principal skeleton $\mathcal{L}_1$ contain no primes, and show this is the unique residue class admitting complete algebraic obstruction. Our contribution is the framework that makes visible which nonnegative integers these arguments apply to, with all results independent of the Collatz conjecture.

Gross-Zagier formula for the $4, 7$ cases of Sylvester's conjecture

math.NT

In \cite{Yin26}, the author constructed some CM points on the elliptic curves $E_{p^i}:y^2=x^3+\frac{p^{2i}}{4}$ for primes $p\equiv 4,7\mod 9$ and $i=1,2$, which give rational points on the curves $x^3+y^3=p^i$. This solves the $4,7$ cases of Sylvester's conjecture. In this paper, we prove the explicit Gross-Zagier formula relating the height of our CM points and the derivative of the $L$-functions of $E_{p^i}$.

On a Smoothed Walfisz Divisor Problem

math.NT

This work is in the spirit of our previous investigation on a smooth Dirichlet divisor problem, where we now replace the Dirichlet divisor function $\tau$ by the sum-of-divisors function $\sigma$. We prove a totally explicit asymptotic formula for the sum of $\sigma(n)$ twisted by the weight $1-x/n$, which enables us to eliminate the difficult part in the classical average order of $\sigma(n)$. As a corollary, we deduce the convergence of an integral dealing with the error term in the Walfisz divisor problem. We also provide an appendix containing the necessary explicit results derived from the mean value theorem and the Euler-Maclaurin summation formula.

The Eichler--Selberg trace formula for Hilbert cusp forms, the class numbers of quartic CM fields, and their distributions

math.NT

Motivated by Su's construction of Cohen-type Eisenstein series of half-integral weight over totally real number fields \cite{Su16}, we introduce a generalization of Hurwitz class numbers to totally real number fields. Using these generalized Hurwitz class numbers, we establish an Eichler--Selberg trace formula for the space of holomorphic Hilbert cusp forms over real quadratic fields of narrow class number one. While the classical Hurwitz class numbers are defined in terms of class numbers of imaginary quadratic fields, the generalized Hurwitz class numbers appearing in our Eichler--Selberg trace formula are defined in terms of class numbers of quartic CM fields. For applications of this Eichler--Selberg trace formula, we study the distribution of the generalized Hurwitz class numbers, prove class number relations, and carry out numerical computations of traces of Hecke operators for $\mathbb{Q}(\sqrt{5})$ and $\mathbb{Q}(\sqrt{29})$.

Genuine and strongly genuine polynomials: With an application to the persistence of Galois groups under specialization

math.NT

We develop the theory of strongly $n$-genuine polynomials $F(Y,X_1,\ldots,X_n)$, which have the property that the number of specializations $F(Y,X_1,\mathbf{x}')$ with $\mathbf{x}'=(x_2,\ldots,x_n) \in \mathbb{Z}^{n-1}$ (respectively $\mathbf{x}' \in \mathbb{F}_p^{n-1}$) such that $F(Y,X_1,\mathbf{x}')$ is reducible over $\overline{\mathbb{Q}}$ (respectively over $\overline{\mathbb{F}}_p$) can be well-controlled quantitatively. We also develop the theory of a larger class of $n$-genuine polynomials $F(Y,X_1,\ldots,X_n)$, which have the property that the number of specializations $F(Y,X_1,\mathbf{x}')$ with $\mathbf{x}' \in \mathbb{Z}^{n-1}$ (respectively $\mathbf{x}' \in \mathbb{F}_p^{n-1}$) such that $F(Y,X_1,\mathbf{x}')$ splits completely over $\overline{\mathbb{Q}}$ (respectively over $\overline{\mathbb{F}}_p$) into factors that are linear in $Y$ can be well-controlled quantitatively. For each of these classes, we prove that there are four equivalent characterizations. As an application, we demonstrate that $n$-genuine and strongly $n$-genuine polynomials can be used to prove, for any polynomial $F(Y,X_1,\ldots,X_n)$, an upper bound for the number of specializations $F(Y,\mathbf{x})$ with $\mathbf{x}=(x_1,\ldots,x_n) \in \mathbb{Z}^n$ such that the Galois group of the splitting field of $F(Y,\mathbf{x})$ over $\mathbb{Q}$ is not isomorphic to the Galois group of the splitting field of $F(Y,X_1,\ldots,X_n)$ over $\mathbb{Q}(X_1,\ldots,X_n)$. We simultaneously prove analogous results over any number field.

Iwasawa-Type Spectral Resultant Growth Laws for Grover Walks on Graph Towers

math.NT

Let $X_0\leftarrow X_1\leftarrow\cdots$ be a $\mathbb Z_p^d$-tower of finite graphs, and let $U_n$ be the Grover transition matrix on $X_n$. We study Iwasawa-type $p$-adic growth laws for the polynomial spectral quantities \[ \det P(U_n), \] where $P(A)$ is a monic polynomial. The basic object is the spectral resultant \[ \mathcal R_{X,P}(T)=\operatorname{Res}_A(\mathcal F_X(A,T),P(A)), \] where $\mathcal F_X(A,T)$ is the universal Grover--Ihara spectral polynomial of the tower. In the integral setting, this resultant generates the zeroth Fitting ideal of a natural finite module over the Iwasawa algebra; when the resultant is nonzero, this module is torsion. The polynomial $P$ packages prescribed spectral values into a single spectral packet. If $P$ is coprime to the Bass factor $A^2-1$ and $\mathcal R_{X,P}$ does not vanish at torsion characters, then $\det P(U_n)$ is nonzero for all $n$ and we prove a Cuoco--Monsky type leading asymptotic formula for $v_p(\det P(U_n))$. The leading terms are given explicitly by the $\mu$- and $\lambda$-invariants of $\mathcal R_{X,P}$, with a separate correction coming from the Bass factor. For $P(A)=A-a$, with $a\ne\pm1$ and $a$ not an eigenvalue at any level, this recovers the leading invariants in the fixed non-eigenvalue formula for Grover characteristic polynomials. We also prove an equivariant factorization of spectral resultants for finite connected $p$-group covers. As a consequence, we obtain an unramified equivariant Kida formula under explicit integrality and nonzero-resultant assumptions. Finally, when $\gcd(P,A^2-1)=1$, we show that torsion zeros of $\mathcal R_{X,P}$ correspond exactly to occurrences of roots of $P$ as Grover eigenvalues at finite levels. The examples include the $K_3$-tower, non-abelian Heisenberg $5$-group covers, and an explicit torsion-zero spectral packet.

Algorithms for hyperelliptic Mumford Curves $p$-adic Uniformization, $p$-adic integrals and $p$-adic heights

math.NT

math.AG

Mumford curves generalize the Tate uniformization of elliptic curves with split multiplicative reduction and provide p-adic analogues of the uniformization of Riemann surfaces. In this paper, we present several algorithms for hyperelliptic Mumford curves. For a given hyperelliptic Mumford curve $X$ defined over a finite extension of the field of p-adic numbers for some $p\neq 2$, we first describe how to compute a p-adic Schottky group W that uniformizes X; this is based on our extension to Kadziela's approximation theorem. As applications, we explain how to use this uniformization in order to compute p-adic Abelian integrals and $p$-adic Schneider heights on X; the latter uses Werner's formula expressing the p-part of the Schneider height in terms of theta functions. We illustrate our algorithms with numerical examples computed using the computer algebra system SageMath.

The trianguline variety for reductive groups

math.NT

We study the trianguline variety for split connected reductive groups. We generalize a theorem of Breuil, Hellmann, and Schraen about its local structure, establishing smoothness over the loci determined by various regularity conditions on the triangulation parameter, and normality at certain points outside of these smooth loci. Along the way, we prove a crystallinity criterion for $(\varphi,\Gamma_K)$-modules with $\mathsf G$-structure.

Cyclic Codes and Cyclically Covering Subspaces over Finite Fields

math.NT

Let \(q\) be a power of a prime \(p\), and let \(n\) be a positive integer. A subspace \(U\subseteq \mathbb F_q^n\) is called cyclically covering if the union of all its cyclic shifts covers \(\mathbb F_q^n\), and \(h_q(n)\) denotes the maximum possible codimension of such a subspace. This paper studies cyclically covering subspaces via cyclic codes. We first prove that \(h_q(n)=0\) if and only if every nonzero cyclic code in \(\mathbb F_q^n\) contains a full-weight codeword. We also relate \(h_q(n)\) to the maximum weights of cyclic codes. In particular, when \(h_q(n)>0\), we obtain sharp bounds for the maximum weight of cyclic codes without full-weight codewords and provide explicit examples attaining these bounds. Moreover, we study the number of cyclic codes containing no full-weight codeword. We determine this number completely over \(\mathbb F_2\), and give lower bounds over \(\mathbb F_3\). From this, we prove that if \(q\ge 3\) is an odd prime and \(m\ge 4\) is an integer, then \(h_q\left(\frac{q^m+1}{2}\right)>0\).

Beyond the Giampietro--Darmon Conjecture

math.NT

Giampietro and Darmon conjectured a formula for the norm of various algebraic numbers, obtained as infinite products of $p$-adic cross-ratios of CM points. These quantities arose from the $p$-adic uniformisation of Shimura curves and displayed strong parallels with the Gross--Zagier factorisation for the norms of the differences between two singular moduli. The conjectured formula was conditional on the genus of the Shimura curve being zero, and in earlier work, this formula was proved in most cases. In this work, we extend the validity of the factorisation formula beyond what was conjectured by Giampietro and Darmon to many more cases, by relating this to the genus of an Atkin--Lehner quotient of the Shimura curve being zero instead. To this end, we solve a $p$-inverted version of a counting problem that was previously considered in work of Howard and Yang.

The Gauss periods and cyclotomic matrices involving Gauss sums over cyclic groups

math.NT

In this paper, by using the arithmetic properties of the Gauss periods and character sums over cyclic groups, we study the cyclotomic matrix $$A_k(\chi)=\left[G_N(\chi^{ki+ki})\right]_{0\le i,j\le \varphi(N)/k-1},$$ where $N=p^m$ is a prime power, $\varphi(\cdot)$ is the Euler totient function, $k$ is a divisor of $\varphi(N)$, $\chi$ is a generator of character group $\widehat{(\mathbb{Z}/N\mathbb{Z})^{\times}}$, and $$G_N(\chi^{ki+kj})=\sum_{x\in\mathbb{Z}/N\mathbb{Z}}\chi^{ki+kj}(x)e^{2\pi ix/N}$$ is the Gauss sum over $\mathbb{Z}/N\mathbb{Z}$.

A note on polyhedral cones and toric polylogarithms

math.KT

math.AG

math.NT

We extend some methods of our previous work on special elements in Milnor K-theory of algebraic tori, exhibiting in particular a $\mathrm{GL}_n(\mathbb{Q})$-equivariant isomorphism between a chain complex of simplicial cones, computing the homology of $S^{n-1}$, and the trace-fixed part of the weight-n Gersten complex for the Milnor K- theory of $\mathbb{G}_m^n$ over $\mathbb{Q}$. Via a relationship between graded pieces of algebras of cones and Steinberg modules, this refines a result of Charlton-Radchenko-Rudenko.

The universal zero-sum invariant and weighted zero-sum for infinite abelian groups II

math.CO

math.NT

Let $G$ be an abelian group, and let $\mathcal F (G)$ be the free commutative monoid with basis $G$, and $\mathcal A (G)$ the set consisting of all minimal zero-sum subsequences over $G$. For any subset $\Omega \subset \mathcal F (G)$, we define the universal zero-sum invariant ${\mathsf d}_{\Omega}(G)$ as the minimal positive integer $\ell$ such that every sequence $T$ over $G$ of length $\ell$ contains a subsequence lying in $\Omega$. The classical Davenport constant ${\rm D}(G)$ for $G$ can also be written as ${\mathsf d}_{\mathcal A (G)}(G)$. We give a complete classification of all finite abelian groups for which $\mathcal A(G)$ is a minimal set to represent the Davenport constant. We also investigate the weighted Davenport constant over abelian groups (which may be infinite). Let $F$ and $G$ be abelian groups, and let $\Psi \subseteq \mathrm{Hom}(F,G)$ denote a weight set. We reinterpret the weighted Davenport constant $D_{\Psi}(G)$ in terms of coverings of Cartesian powers $F^n$ by kernels of induced homomorphisms arising from tuples in $\Psi^n$; these homomorphisms are naturally linked to coproducts in the category of abelian groups. This motivates the notion of kernel-cover compactness, a property characterizing when such kernel coverings admit finite subcovers. We establish a correspondence between weighted zero-sum invariants and kernel-cover structures, where the bound $D_{\Psi}(G)\le n$ is equivalent to a canonical kernel-cover property on $F^n$. We further study finite reduction phenomena for infinite weight sets and provide sufficient conditions ensuring uniform kernel-cover compactness. The present work constitutes a follow-up to [G. Wang, Comm. Algebra, 2025].

Recent progress on the geometric Bombieri--Lang conjecture

math.AG

math.CV

math.NT

We survey recent progress on the geometric Bombieri--Lang conjecture over function fields of characteristic zero. We discuss recent work of Xie--Yuan and Guoquan Gao, which together proves the conjecture for varieties admitting finite morphisms to abelian varieties. The guiding idea, developed in joint work with Xinyi Yuan, is that Vojta's dictionary can be made concrete in this setting: from rational points of large height one constructs entire curves on complex fibers.

Black Holes and Random Variables

hep-th

math.NT

We formulate an avatar of the Fyodorov-Hiary-Keating conjecture for black hole microstate counts in quantum gravity. By holography, this implies sharp bounds on interval counts of high-dimension primary operators in conformal field theory. The extremal fluctuations of these counts are characterized by a random variable, with a prescribed tail distribution. At large $N$, these order-one erratic fluctuations set a quantitative limit on the resolution of the semiclassical AdS gravitational path integral. Gaussian random models for state counts arise naturally in this context; we express the phenomenon of erratic $N$-dependence in AdS/CFT as a decorrelation property of these models. Our broader point is to suggest that AdS black hole microstate spectra and their field theory duals should exhibit the extreme value statistics of random matrices, lying in the universality class of Gaussian log-correlated fields.

Exponents of Jacobians and relative class groups

math.NT

math.AG

v2

We prove a lower bound for the exponent of the relative class group $\mathrm{Pic}^0 X_1/\phi^* \mathrm{Pic}^0 X_2$ for a covering of curves $X_1 \to X_2$ over a finite field $\mathbb{F}_q$. The results improve on the existing best bounds (due to Stichtenoth) in the case $X_2=\mathbb{P}^1$, when the relative class group equals the class group of the function field $\mathbb{F}_q(X_1)$, and are completely new for the genuinely relative situation.

A guide to Tauberian theorems for arithmetic applications

math.NT

v4

A Tauberian theorem deduces an asymptotic for the partial sums of a sequence of non-negative real numbers from analytic properties of an associated Dirichlet series. Tauberian theorems appear in a tremendous variety of applications, ranging from well-known classical applications in analytic number theory, to new applications in arithmetic statistics, group theory, and the intersection of number theory and algebraic geometry. The goal of this article is to provide a useful reference for practitioners who wish to apply a Tauberian theorem. We explain the hypotheses and proofs of two types of Tauberian theorems: one with and one without an explicit remainder term. We furthermore provide counterexamples that illuminate that neither theorem can reach an essentially stronger conclusion unless its hypothesis is strengthened.

Approximation theorems for classifying stacks over number fields

math.NT

v2

Approximation theorems for algebraic stacks over a number field $k$ are studied in this article. For G a connected linear algebraic group over a number field we prove strong approximation with Brauer-Manin obstruction for the classifying stack $BG$. This result answers a very concrete question, given $G$-torsors $P_v$ over $k_v$, where $v$ ranges over a finite number of places, when can you approximate the $P_v$ by a $G$-torsor $P$ defined over $k$.

An upper bound for the size of the ideal class monoid

math.NT

v2

The ideal class monoid for an order $R$ in a finite field extension $E/F$ of a number field, denoted by $\overline{\mathrm{Cl}}(R)$, is a fundamental object to study in number theory which has useful applications in algebraic geometry and topology. In this paper, we describe an upper bound for $\#\overline{\mathrm{Cl}}(R)$, in terms of the class number of $E$ and (local) orbital integrals for $\mathfrak{gl}_n$. We also describe an upper bound for the class number of $E$ in terms of the Minkowski bound. When $[E:F]\leq 3$ or when $R$ is a Bass order, we refine our upper bound, using a known formula for local orbital integrals in the authors' previous work. In particular, if $R=\mathbb{Z}[x]/(x^3-mx^2+(m-1)x-1)$ with $m\in \mathbb{Z}$ which arises in a study of Cappell-Shaneson homotopy 4-spheres in topology, then we further refine our upper bound in terms of the discriminants of $R$ and $E$, which is $\frac{2}{3^5} \Delta_R^{\frac{1}{2}}\cdot \Delta_E^{\frac{3}{2}}$, when $\Delta_E>3075$.

Arithmetic properties of DSOME function

math.NT

v2

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)$.

A generalization of Bressoud's beautiful bijection

math.NT

v2

Within this research, two combinatorial bijections using Young diagrams were studied. The first is a special case of a bijective correspondence between two classes of combinatorial objects. Its proof, based on Young diagrams, establishes equinumerosity and provides an explicit constructive mapping. The second is a generalization to any natural d, preserving bijectivity. It shows the combinatorial structure remains stable under changes in the parameter, with Young diagrams serving as a universal language. A notable and non-obvious aspect of this generalization is the symmetry revealed in the construction. Intuitively, it was not evident that one could consider not only the natural order of residues but also any permutation of them.

On zero-sum problems of new types

math.NT

math.CO

v5

In this paper, we investigate zero-sum problems of new types. For example, given $2n-1$ integers $a_1,\ldots,a_{2n-1}$ not divisible by an integer $n>1$, we prove that for some nonempty $I\subseteq\{1,\ldots,2n-1\}$ with $|I|\leqslant n$, the sum $\sum_{i\in I}a_i$ is divisible by $n$ but not divisible by $n^2$. We also pose several conjectures for further research.

Proofs of four conjectural identities on modular rank four Nahm sums

math.NT

math.CO

v2

Nahm sums and Rogers-Ramanujan type identities have attracted considerable attention in recent years. In this paper, we provide analytic proofs of four conjectural identities on modular rank four Nahm sums that were proposed by Cao and Wang. Moreover, we reveal that the conjectures of Shi-Wang and Cao-Wang are closely related.

The Minimal Absolute Value of Sums of Fifth Roots of Unity

math.NT

math.CO

v2

We determine the minimal absolute value of a non-vanishing sum of $n$ fifth roots of unity chosen with repetition, and characterize the corresponding sums. As a function of $n$, the minimal absolute value is monotone non-increasing over congruence classes of $n$ modulo $5$ and its only jumps occur when $n=5F_m$, $n=L_m$, or $n=2L_m$, where $F_m$ and $L_m$ denote the $m$-th Fibonacci and Lucas numbers respectively. To prove our results we reduce the problem to a series of inequalities involving rational approximations of the golden ratio $\varphi=(1+\sqrt{5})/2$, the solutions of which can be characterized using the theory of continued fractions.

Taxonomy and Practical Evaluation of Primality Testing Algorithms

cs.CR

math.NT

v4

Many modern asymmetric encryption methods rely on prime numbers, as they have distinctive properties. For instance, the security of RSA cryptosystem relies on the computational difficulty of factoring a large composite number in its prime factors, a problem that remains challenging for classical computers but potentially solvable using quantum algorithms. On the other hand, generating large prime numbers is also challenging due to their irregular distribution among integers, necessitating the use of primality testing algorithms to verify candidate primes. In this paper, we intensively review and classify various classical and quantum algorithms for factorization and primality testing, highlighting their advantages, limitations, speed/accuracy tradeoffs, time complexities, along with a brief summary. Furthermore, we apply and compare these algorithms to gain practical insights and conduct a comprehensive performance comparison. The insights from this paper show that while quantum factoring algorithms, particularly Shor's algorithm and its refinements, have introduced significant advancements over their classical counterparts, quantum primality testing algorithms have not demonstrated comparable advantages.

Springer isomorphisms over a general base scheme

math.AG

math.NT

math.RT

v2

We establish the existence of Springer isomorphisms for reductive group schemes over general base schemes. For this, we first study centralizers of fiberwise regular sections of reductive group schemes, and we establish their flatness in many cases. At the end, we give several arguments to show that the hypotheses in our results are essentially optimal. Our results clarify some aspects of Springer isomorphisms even over a field, and the arguments simplify considerably in this case.

Arithmetic unique ergodicity for flat vector bundles

math.DS

math.NT

v2

In this paper, we prove a uniform version of quantum unique ergodicity for highfrequency eigensections of Pauli-Schr\"odinger spin operators on a certain series of unitary flat bundles over arithmetic surfaces.

Cassini's identity for k-bonacci numbers

math.CO

cs.DM

math.NT

v2

Efforts have been made to extend Cassini's identity (also known as Simson's identity) to the k-step or k-bonacci numbers for decades. These efforts have lacked both completeness of result and simplicity of proof, and this question remains open and relevant. In this note, we offer a definitive solution as well as the generalization of both Catalan's and Vajda's identities.

Linear equations and chromatic thresholds in $B_h$ sets

math.CO

math.NT

v2

We derive sparse analogs of several Roth-type results, showing that they hold in $B_h$ sets of near-maximum size. It is shown that if a $B_h$ set is free of pairwise distinct solutions to a linear equation with more than $2h$ variables then it must be a constant factor smaller than the best-known upper bound on the size of any $B_h$ set. As a key input, it is established that extremal $B_h$ sets are Fourier pseudorandom. If the forbidden equation has a certain subdivision structure, an asymptotic saving is obtained. The case of Sidon sets ($h=2$) was previously studied by Conlon, Fox, Sudakov, and Zhao as well as Prendiville. When forbidding a non-translation-invariant equation $E$ from a Sidon set, it is shown that if $E$ has a zero-sum subcollection of at least five coefficients then the Sidon set must either be very small or generate a Cayley graph with bounded chromatic number. On the other hand, large Sidon sets are constructed that generate Cayley graphs with unbounded chromatic number and are also free of multiple equations with zero-sum subcollections of four coefficients. This can be viewed as a sparse analog of a result of Liu, Wu, Yang, and Zhang characterizing linear equations with vanishing chromatic threshold.

A generalization of partition identities of G\"ollnitz-Gordon, Rogers-Ramanujan and Nandi

math.RT

math.CO

math.NT

v2

We propose Andrews-Gordon type series for certain level 2 standard modules of type $A^{(2)}_{\textrm{odd}}$, and prove the corresponding sum-product identities except for $A^{(2)}_{6n+3}$. These identities generalize the identities of G\"ollnitz-Gordon (mod 8), Rogers-Ramanujan (mod 5) and (partially) Nandi (mod 14).