Number Theory [math.NT]

On the effective Pourchet's Theorem

math.NT

math.AC

With the aid of Hensel Lemma, we refine the 2-adic Newton polygon algorithm proposed by Magron, Koprowski, and Vaccon at ISSAC 2023 to express computationally a given positive univariate polynomial with rational coefficients as a sum of five squares of rational polynomials -the effective Pourchet's Theorem- and extend it to cover almost all the possible inputs. We also provide examples which are covered with our methods but cannot be detected by previous conjectural algorithms.

Sums of Laurent series with bounded partial quotients

math.NT

In 1947 M.Hall proved that every real number is the sum of an integer and two real numbers whose partial quotients are at most $4$. Later, Cusick proved that every real number is the sum of an integer and two real numbers whose partial quotients are at least $2$. In a recent paper, the authors proved that every real number is the sum of two real numbers whose partial quotients diverge. In this paper, we prove an analogue of these results for Laurent series.

On Variants of Inverse Cluster Size Problem & General Magnification

math.NT

math.GR

In this article we establish certain variants of the Inverse Cluster Size problem. We introduce the notion of primitive extensions and establish the Primitive variant of the problem. Precisely, we prove the existence of primitive extensions over number fields of any given degree and cluster size less than the degree. We also introduce the notions of Strong and Weak General Magnification and the notion of general primitive extensions. We establish some interesting cases of the General primitive variant of the problem.

Counting elliptic curves with prescribed entanglements

math.NT

We establish asymptotic lower bounds for the number of elliptic curves over $\mathbb{Q}$ with prescribed entanglement of division fields, ordered by naive height. Such elliptic curves are obtained as $1$-parameter families arising from certain genus $0$ modular curves. We apply techniques from the geometry of numbers and sieve methods to prove that the number of elliptic curves with unexplained entanglements $\mathbb{Q}(E[2]) \cap \mathbb{Q}(E[3]) \neq \mathbb{Q}$ and $\mathbb{Q}(E[2]) \cap \mathbb{Q}(E[5]) \neq \mathbb{Q}$ and naive height $\leq X$, grows as $\gg X^{1/9}$ and $\gg X^{1/12}$, respectively.

Equidistribution of holomorphic cusp forms on thin sets

math.NT

In this paper, we prove an average result concerning Young's restricted Quantum Unique Ergodicity conjecture (rQUE), which addresses the sequence of measures induced by Hecke cusp forms converges in the weak-* topology on certain specific submanifolds. Our methods are fundamentally geometric. It is worth noting that our arguments make no use of the theory of L-functions.

Cubic residuacity of real quadratic integers

math.NT

Given a real quadratic integer $u=A+B\sqrt{D}$ with cubic norm, we identify all the classes in a related form class group that represent primes $p$ for which $u$ is a cubic residue mod $p$. A special case of this result was conjectured in a 2025 paper of Evans, Lemmermeyer, Sun, and Van Veen.

G-companions on algebraic stacks and applications to canonical $\ell$-adic local systems on Shimura stacks

math.NT

Cases of Deligne's companion conjecture for normal schemes over finite fields have been proven by L. Lafforgue, Drinfeld, and Zheng in recent years: L. Lafforgue proved the conjecture for curves, Drinfeld proved the conjecture for all smooth schemes and later also for representations valued in a reductive group, and Zheng proved Deligne's conjecture for smooth Artin stacks. In this paper, we extend Drinfeld's theorem for general reductive groups to smooth Artin stacks of finite presentation and apply the result to the study of compatibility of the canonical $\ell$-adic local systems on Shimura stacks.

Twin Primes and Weighted Sieve Integrals: An Analytic Resolution

math.NT

The twin prime conjecture asserts the existence of infinitely many pairs of prime numbers differing by two. In recent years, substantial progress has been made by several mathematicians toward this problem \cite{zhang2014bounded, pollack2014bounded, granville2016bounded, vatwani2017bounded}, yet a complete resolution remains elusive. This paper refines the application of weighted sieve techniques to address the conjecture. By analyzing a logarithmically weighted sum over prime pairs and establishing a strictly positive lower bound for its asymptotic behavior, we confirm the infinitude of twin primes within the analytic framework developed herein.

Tetragonal modular quotients of $X_0(N)$

math.NT

Let $N$ be a positive integer. For every $d\mid N$ such that $(d,N/d)=1$ there exists an Atkin-Lehner involution $w_d$ of the modular curve $X_0(N)$. Let $B(N)$ be the group of all such involutions. In this paper we determine all $\mathbb C$ and $\mathbb Q$-tetragonal quotient curves $X_0(N)/W_N$, where $W_N\subseteq B(N)$ such that $4\leq|W_N|\leq 2^{\omega(N)-1}$, thus completing the classification of all $\mathbb C$-tetragonal quotients of $X_0(N)$ by Atkin-Lehner involutions.

The Fibonacci--Redheffer matrix and its properties

math.NT

A Redheffer--type matrix with Fibonacci entries is defined, and the determinant and spectral properties of this matrix are studied. Also, more general Redheffer--type matrices are considered and intriguing number-theoretic examples are illustrated. Furthermore, several asymptotic results are discussed and a new expression related to the Riemann hypothesis is presented.

Average hardness of SIVP for module lattices of fixed rank

math.NT

The problem of finding short vectors in Euclidean lattices is a central hard problem in complexity theory. The case of module lattices (i.e., lattices which are also modules over a number ring) is of particular interest for cryptography and computational number theory. The hardness of finding short vectors in the asymptotic regime where the rank (as a module) is fixed is supporting the security of quantum-resistant cryptographic standards such as ML-DSA and ML-KEM. In this article we prove the average-case hardness of this problem for uniformly random module lattices (with respect to the natural invariant measure on the space of module lattices of any fixed rank). More specifically, we prove a polynomial-time worst-case to average-case self-reduction for the approximate Shortest Independent Vector Problem ($\gamma$-SIVP) where the average case is the (discretized) uniform distribution over module lattices, with a polynomially-bounded loss in the approximation factor, assuming the Extended Riemann Hypothesis. This result was previously known only in the rank-1 case (so-called ideal lattices). That proof critically relied on the fact that the space of ideal lattices is a compact group. In higher rank, the space is neither compact nor a group. Our main tool to overcome the resulting challenges is the theory of automorphic forms, which we use to prove a new quantitative rapid equidistribution result for random walks in the space of module lattices.

Asymptotic error terms in Bonse-type inequalities

math.NT

Let $p_n$ denote the $n$-th prime. In 2000, Panaitopol established the inequality $p_1 \cdots p_n > p_{n+1}^{n - \pi(n)}$ for all $n \geq 2$, where $\pi(x)$ is the prime counting function. In 2021, Yang and Liao refined this by introducing the exponent $k(n,x) = n - \pi(n) + \frac{\pi(n)}{\pi(\log n)} - x \cdot \pi(\pi(n))$, proving the inequality holds for $x = 2$ and $n \geq 8$. In 2022, Marques and Trojovsk\'y extended this to $x = 1.4$ for $n \geq 21$ and conjectured its validity for $x = 0.1$ when $n \geq 24,154,953$. This paper confirms the conjecture by analyzing the error term $E_n(x) = \log(p_1 \cdots p_n) - k(n,x) \log p_{n+1}$. Also, we derive the asymptotic expansion to $E_n(x)$ demonstrating that it is positive for all sufficiently large $n$ when $x > -2$. For each $x > -2$, we identify a minimal integer $\Psi(x)$ such that $E_n(x) > 0$ for all $n \geq \Psi(x)$, precisely determining $\Psi(0.1) = 24,154,953$. Additionally, we establish effective upper bounds for $\Psi(x)$ both unconditionally and under the Riemann Hypothesis, with the conditional bounds showing a significant improvement. Our analysis fully resolves the conjecture and characterizes $\Psi(x)$ as a non-increasing, piecewise constant function, exhibiting discontinuities at a discrete set of threshold points. These results advance the understanding of Bonse-type inequalities and their asymptotic behavior.

Rigidity in Complex Dynamics: Multiplier Spectrum and Dynamical Andr\'e-Oort Conjecture

math.AG

math.DS

math.NT

In this note, we present recent progress on rigidity problems in one-dimensional complex dynamics, including the proof of Dynamical Andr\'e-Oort conjecture for curves and generic injectivity of multiplier spectrum. The proofs combine ideas from algebraic geometry, Arakelov geometry and complex dynamics.

A Generalized Recurrence for fully degenerate Bell polynomials

math.CO

math.CA

math.NT

This paper addresses the unnatural appearance of the two-variable degenerate Fubini polynomials in a recently derived Spivey-type recurrence relation for the fully degenerate Bell polynomials. To solve this, we introduce a new family of polynomial which we also call the fully degenerate Bell polynomials, along with their two-variable counterparts. Our main contribution is the derivation of natural Spivey-type recurrence relations using operator methods. We extend these results to the r-counterparts, the fully degenerate r-Bell polynomials providing Dobinski-like, finite sum, operator expressions, and Spivey-type recurrence relations for all the new polynomials.

Nef cone and successive minima: an example

math.AG

math.NT

In this paper, we compute the nef cone and the pseudo-effective cone of $C\times J$ for a smooth projective curve $C$ and its Jacobian variety $J$ such that $C\times J$ has the minimal Picard number. As a consequence, we also compute the successive minima of a height function for the relative setting $C\times J\to J$, and our result shows that Zhang's theorem of successive minima does not hold in this case.

Cyclotomic integral points for affine dynamics

math.DS

math.AG

math.NT

Let $f:\mathbb{A}^N\to\mathbb{A}^N$ be a regular endomorphism of algebraic degree $d\geq2$ (i.e., $f$ extends to an endomorphism on $\mathbb{P}^N$ of algebraic degree $d$) defined over a number field. We prove that if the set of $f$-preperiodic cyclotomic points is Zariski-dense in $\mathbb{A}^N$, then some iterate $f^{\circ l}$ ($l\geq1$) is a quotient of a surjective algebraic group endomorphism $g:\mathbb{G}_m^N\to\mathbb{G}_m^N$, over $\overline{\mathbb{Q}}$. This is a higher-dimensional generalization of a theorem of Dvornicich and Zannier on cyclotomic preperiodic points of one-variable polynomials. In fact, we prove a much more general rigidity result for all dominant endomorphisms $f$ on an affine variety $X$ defined over a number field, regarding "almost $f$-invariant" Zariski-dense subsets of cyclotomic integral points. As applications, we also apply our results to backward orbits of regular endomorphisms on $\mathbb{A}^N$ of algebraic degree $d\geq2$, and to periodic points of automorphisms of H\'enon type on $\mathbb{A}^N$.

Cyclotomic Matrices and Power Difference Sets

math.RA

math.CO

math.NT

The cyclotomic matrix is commonly used to arrange cyclotomic numbers in a convenient format. A natural question is whether the structure of the matrix can reflect properties of these numbers. In this article, we examine cyclotomic numbers through their associated cyclotomic matrix and reveal an algebraic structure by relating it to a basis element of a Schur ring. This viewpoint leads to structural identities and reinterpretations of classical results. As an application, we investigate the power difference set problem and establish conditions expressed through cyclotomic matrices, including spectral and determinant characterizations.

Currently there are no reasons to doubt the Riemann Hypothesis: The zeta function beyond the realm of computation

math.NT

math-ph

math.MP

v4

We examine published arguments which suggest that the Riemann Hypothesis may not be true. In each case we provide evidence to explain why the claimed argument does not provide a good reason to doubt the Riemann Hypothesis. The evidence we cite involves a mixture of theorems in analytic number theory, theorems in random matrix theory, and illustrative examples involving the characteristic polynomials of random unitary matrices. Similar evidence is provided for four mistaken notions which appear repeatedly in the literature concerning computations of the zeta-function. A fundamental question which underlies some of the arguments is: what does the graph of the Riemann zeta-function look like in a neighborhood of its largest values? We explore that question in detail and provide a survey of results on the relationship between L-functions and the characteristic polynomials of random matrices. We highlight the key role played by the emergent phenomenon of carrier waves, which arise from fluctuations in the density of zeros. The main point of this paper is that it is possible to understand some aspects of the zeta function at large heights, but the computation evidence is misleading.

Weights of mod $p$ automorphic forms and partial Hasse invariants

math.NT

math.AG

math.RT

v4

For a connected, reductive group $G$ over a finite field endowed with a cocharacter $\mu$, we define the zip cone of $(G,\mu)$ as the cone of all possible weights of mod $p$ automorphic forms on the stack of $G$-zips. This cone is conjectured to coincide with the cone of weights of characteristic $p$ automorphic forms for Hodge-type Shimura varieties of good reduction. We prove in full generality that the cone of weights of characteristic $0$ automorphic forms is contained in the zip cone, which gives further evidence to this conjecture. Furthermore, we determine exactly when the zip cone is generated by the weights of partial Hasse invariants, which is a group-theoretical generalization of a result of Diamond--Kassaei and Goldring--Koskivirta.

Modular degree and a conjecture of Watkins

math.NT

v3

Given an elliptic curve $E/\mathbb{Q}$ of conductor $N$, there exists a surjective morphism $\phi_E: X_0(N) \to E$ defined over $\mathbb{Q}$. In this article, we discuss the growth of $\mathrm{deg}(\phi_E)$ and shed some light on Watkins's conjecture, which predicts $2^{\mathrm{rank}(E(\mathbb{Q}))} \mid \mathrm{deg}(\phi_E)$. Moreover, for any elliptic curve over $\mathbb{F}_q(T)$, we have an analogous modular parametrization relating to the Drinfeld modular curves. In this case, we also discuss growth and the divisibility properties.

Horizontal $p$-adic $L$-functions

math.NT

v3

We define new objects called 'horizontal $p$-adic $L$-functions' associated to $L$-values of twists of elliptic curves over $\mathbb{Q}$ by characters of $p$-power order and conductor prime to $p$. We study the fundamental properties of these objects and obtain applications to non-vanishing of finite order twists of central $L$-values, making progress toward conjectures of Goldfeld and David--Fearnley--Kisilevsky. For general elliptic curves $E$ over $\mathbb{Q}$ we obtain strong quantitative lower bounds on the number of non-vanishing central $L$-values of twists by Dirichlet characters of fixed order $d\equiv 2 \mod 4$ greater than two. We also obtain non-vanishing results for general $d$, including $d = 2$, under mild assumptions. In particular, for elliptic curves with $E[2](\mathbb{Q}) = 0$ we improve on the previously best known lower bounds on the number of non-vanishing $L$-values of quadratic twists due to Ono. Finally, we obtain results on simultaneous non-vanishing of twists of an arbitrary number of elliptic curves with applications to Diophantine stability.

Asymptotics for $t$-Core Partitions and Stanton's Conjecture

math.NT

math.CO

v2

A partition is a $t$-core partition if $t$ is not one of its hook lengths. Let $c_t(N)$ be the number of $t$-core partitions of $N$. In 1999, Stanton conjectured $c_t(N) \le c_{t+1}(N)$ if $4 \le t \ne N-1$. This was proved for $t$ fixed and $N$ sufficiently large by Anderson, and for small values of $t$ by Kim and Rouse. In this paper, we prove Stanton's conjecture in general. Our approach is to find a saddle point asymptotic formula for $c_t(N)$, valid in all ranges of $t$ and $N$. This includes the known asymptotic formulas for $c_t(N)$ as special cases, and shows that the behavior of $c_t(N)$ depends on how $t^2$ compares in size to $N$. For example, our formula implies that if $t^2 = \kappa N + o(t)$, then $c_t(N) = \frac{\exp\left(2\pi\sqrt{A N}\right)}{B N} (1 + o(1))$ for suitable constants $A$ and $B$ defined in terms of $\kappa$.

Odd and Even Elliptic Curves with Complex Multiplication

math.NT

math.AG

v5

We call an order $O$ in a quadratic field $K$ odd (resp. even) if its discriminant is an odd (resp. even) integer. We call an elliptic curve $E$ over the field $C$ of complex numbers with CM odd (resp. even) if its endomorphism ring $End(E)$ is an odd (resp. even) order in the corresponding imaginary quadratic field. Suppose that $j(E)$ is a real number and let us consider the set $J(R,E)$ of all $j(E')$ where $E'$ is any elliptic curve that enjoys the following properties. 1) $E'$ is isogenous to $E$; 2) $j(E')$ is a real number; 3) $E'$ has the same parity as $E$. We prove that the closure of $J(R,E)$ in the set $R$ of real numbers is the closed semi-infinite interval $(-\infty,1728]$ (resp. the whole $R$) if $E$ is odd (resp. even). This paper was inspired by a question of Jean-Louis Colliot-Th\'el\`ene and Alena Pirutka about the distribution of $j$-invariants of certain elliptic curves of CM type.

Automorphic form twisted Shintani zeta functions over number fields

math.NT

v3

In this paper we study the twisted Shintani zeta function over number fields.

Irreducibility of the characteristic polynomials of random tridiagonal matrices

math.NT

math.PR

v3

Conditionally on the Riemann hypothesis for certain Dedekind zeta functions, we show that the characteristic polynomial of a class of random tridiagonal matrices of large dimension is irreducible, with probability exponentially close to one; moreover, its Galois group over the rational numbers is either the symmetric or the alternating group. This is the counterpart of the results of Breuillard--Varj\'u (for polynomials with independent coefficients), and with those of Eberhard and Ferber--Jain--Sah--Sawhney (for full random matrices). We also analyse a related class of random tridiagonal matrices for which the Galois group is much smaller.

Metric theory of inhomogeneous Diophantine approximations with a fixed matrix

math.NT

v3

In this paper we develop a metric theory of inhomogeneous Diophantine approximation for the case of a fixed matrix. We use transference principle to connect uniform Diophantine properties of a pair $(\Theta, \pmb{\eta})$ of a matrix and a vector with the asymptotic Diophantine properties of the transposed matrix $\Theta^{\top}$, and vice versa, the asymptotic Diophantine properties of a pair $(\Theta, \pmb{\eta})$ with asymptotic Diophantine properties of the transposed matrix. In these setups, we prove analogues of classical statements of metrical homogeneous Diophantine approximations and answer some open questions that were raised in recent works.

Parameter Height bounds for the Zilber Pink conjecture for PEL types III and IV

math.NT

v2

We prove the Zilber-Pink conjecture to the intersection of an irreducible Hodge generic algebraic subvariety $ V \subset \mathcal{A}_g$ with special subvarieties of all simple PEL types other than $\mathbb{Z}$, under the assumption of the Large Galois Orbits conjecture. In particular, we establish parameter height bounds for the arithmetic ingredients of the Pila-Zannier strategy in the case of Albert types III and IV. This paper is a sequel to Daw and Orr's paper "Lattices with skew-Hermitian forms over division algebras and unlikely intersections" 2023.

On $q$-Analogs of the $3x+1$ Dynamical System

math.NT

math.DS

v4

The $3x+1$ Conjecture asserts that the $T$-orbit of every positive integer $x$ contains $1$, where $T$ maps $x$ to $x/2$ for $x$ even and to $(3x+1)/2$ for $x$ odd. Several authors have studied the analogous map, $T_q$, which maps $x\in F_2[q]$ to $x/q$ if $q$ divides $x$ and $((1+q)x+1)/q$ otherwise. In particular, they showed that the $T_q$-orbit of every polynomial contains $1$. This seems analogous to the $3x+1$ conjecture, but does not prove the conjecture itself, as the dynamical systems involved are not conjugate via any correspondence between polynomials and positive integers. In this paper, we show that $T_q$ actually is conjugate to $T$ if we extend their domains to the ring of formal power series $F_2[[q]]$ and the 2-adic integers $\mathbb{Z}_2$, respectively. Thus, it is not polynomials that correspond to positive integers via conjugacy, but rather certain formal power series. We then generalize this result to the family of functions $T_{A,B}\colon F_2[[q]]\to F_2[[q]]$ mapping $x$ to $x/q$ if $q$ divides $x$ and $(Ax+B)/q$ otherwise, where $A,B\in F_2[[q]]$ are not divisible by $q$. Unlike $T_q$, some of these maps do have the property that polynomials correspond to the positive integers whose $T$-orbit contains $1$ via a conjugacy with $T$. We show that $T_{1,1+q^2}$ is one such map, and has the additional nice property that the orbit of every polynomial enters either the unique $2$-cycle or one of the two fixed points. Finally, the power series that correspond to the natural numbers via these conjugacies can be represented as rational numbers with odd denominators by replacing $q$ with $2$ and interpreting the resulting formal series as a 2-adic integer. Finding a simple closed form for even one such correspondence could settle the conjecture itself, and we provide some data along these lines for both $T_{1,1+q^2}$ and $T_q$.

Local points on twists of $X(p)$ with applications

math.NT

v3

Let $E/\mathbb Q$ be an elliptic curve and $p \geq 3$ a prime. The modular curve $X_E^-(p)$ parametrizes elliptic curves with $p$-torsion modules anti-symplectically isomorphic to $E[p]$. We give a complete classification of when $X_E^-(p)(\mathbb Q_\ell)$ is non-empty, for all primes $\ell\neq p$; our result also includes $\ell=p$ in most cases when $E$ is semistable at $p$. We give two different applications. First, we classify CM curves $E/\mathbb Q$ where the modular curve $X_E^-(p)$ is a counterexample to the Hasse principle for infinitely many $p$. Assuming the Frey--Mazur conjecture, we prove that for at least $60\%$ of rational elliptic curves $E$, the modular curve $X_E^-(p)$ is a counterexample to the Hasse principle for at least $50\%$ of primes $p$. Secondly, we introduce a new technique to the elimination stage of the modular method and apply it to show that $x^3+y^3=5^\alpha z^p$ has no non-trivial primitive solutions for various primes $p$ satisfying $(\alpha/p)=-1$. Moreover, as a by-product of our work, we simplify the assumptions of several local symplectic criteria due to the first author and Alain Kraus.

Stability of torsion subgroups of elliptic curves over non-Galois extensions of odd prime degree

math.NT

v2

Let $K$ be a field of characteristic $0$ and $E/K$ an elliptic curve over $K$. For a finite extension $L/K$ and a prime $\ell$, we provide Galois-theoretic sufficient conditions on $L/K$ under which $E\left(L\right)\left[\ell^{\infty}\right] = E\left(K\right)\left[\ell^{\infty}\right]$. For a non-Galois extension $L/K$ of prime degree, we relate the growth of the $\ell^{\infty}$-torsion subgroup of $E$ under the base change $L/K$ to the image of the mod-$\ell$ cyclotomic character. In particular, we refine Najman's result by ruling out certain torsion structures for cubic non-Galois extensions $L/\mathbb{Q}$.

Second Class Particle Behaviour in Blocking ASEP

math.PR

math.CO

math.NT

v2

We consider any fixed $d\in\mathbb{Z}_{>0}$ number of second class particles in the asymmetric simple exclusion process (ASEP), constructed via a basic coupling of two ASEPs. We give the joint distribution of the positions of the second class particles and also the probability of there being a second class particle at a given site, under the natural blocking measure for ASEP. In order to find these distributions we use results about the number of particles in half-infinite and finite site ranges of ASEP. Our investigations also lead to probabilistic proofs of well-known combinatorial identities; the Durfee rectangles identity, Euler's identity, and the $q$-Binomial Theorem.

Connections between certain numbers related to derangements and $r$-permutations

math.CO

math.NT

v2

For non-negative integer parameters $r,u,m,n$ define \begin{align*} \cal{D}(r,u,m,n) := \big\{\ \sigma\in \cal{S}_{r+n}\ \big|\ \sigma(x)=y \textrm{ for exactly } u \textrm{ pairs } (x,y) \textrm{ such that } 1\leq x,y\leq r \textrm{ and } \sigma(t)=t \textrm{ for exactly } m \textrm{ elements } r+1\leq t\leq r+n\ \big\} \end{align*} and \begin{align*} \cal{D}_{r,u,m}(n) := \big\{\ \sigma\in \cal{S}_{r+n}\ \big|\ \forall_{1\leq x

Liminal ${\rm SL}_2\mathbb{Z}_p$-representations and odd-th cyclic covers of genus one two-bridge knots

math.GT

math.NT

v3

Let $p$ be a prime number and let $K$ be a genus one two-bridge knot. In the spirit of arithmetic topology, we observe that if $p$ divides the size of the 1st homology group of some odd-th cyclic branched cover of the knot $K$, then its group $\pi_1(S^3-K)$ admits a liminal ${\rm SL}_2\mathbb{Z}_p$-character, where $\mathbb{Z}_p$ denotes the ring of $p$-adic integers. In addition, we discuss the existence of liminal ${\rm SL}_2\mathbb{Z}_p$-representations and give a remark on a general two-bridge knot. In the course of argument, we also point out a constraint for prime numbers dividing certain Lucas-type sequences by using the Legendre symbols.

From Euler to AI: Unifying Formulas for Mathematical Constants

math.HO

cs.AI

cs.CL

math.NT

v3

The constant $\pi$ has fascinated scholars throughout the centuries, inspiring numerous formulas for its evaluation, such as infinite sums and continued fractions. Despite their individual significance, many of the underlying connections among formulas remain unknown, missing unifying theories that could unveil deeper understanding. The absence of a unifying theory reflects a broader challenge across math and science: knowledge is typically accumulated through isolated discoveries, while deeper connections often remain hidden. In this work, we present an automated framework for the unification of mathematical formulas. Our system combines Large Language Models (LLMs) for systematic formula harvesting, an LLM-code feedback loop for validation, and a novel symbolic algorithm for clustering and eventual unification. We demonstrate this methodology on the hallmark case of $\pi$, an ideal testing ground for symbolic unification. Applying this approach to 455,050 arXiv papers, we validate 385 distinct formulas for $\pi$ and prove relations between 360 (94%) of them, of which 166 (43%) can be derived from a single mathematical object - linking canonical formulas by Euler, Gauss, Brouncker, and newer ones from algorithmic discoveries by the Ramanujan Machine. Our method generalizes to other constants, including $e$, $\zeta(3)$, and Catalan's constant, demonstrating the potential of AI-assisted mathematics to uncover hidden structures and unify knowledge across domains.

Structured extensions and multi-correlation sequences

math.DS

math.NT

v2

We show that every multi-correlation sequence is the sum of a generalized nilsequence and a null-sequence. This proves a conjecture of N. Frantzikinakis. A key ingredient is the reduction of ergodic multidimensional inverse theorems to analogous finitary inverse theorems, offering a new approach to the structure theory of multidimensional Host-Kra factors. This reduction is proven by combining the methods of Tao (2015) with the Furstenberg correspondence principle. We also prove the analogous multidimensional finitary inverse theorem with quasi-polynomial bounds.

The Hasse Principle for Geometric Variational Problems: An Illustration via Area-minimizing Submanifolds

math.DG

math.AP

math.NT

v5

The Hasse principle in number theory states that information about integral solutions to Diophantine equations can be pieced together from real solutions and solutions modulo prime powers. We show that the Hasse principle holds for area-minimizing submanifolds: information about area-minimizing submanifolds in integral homology can be fully recovered from those in real homology and mod n homology for all $n\in \mathbb{Z}_{\ge 2}$. As a consequence we derive several surprising conclusions, including: area-minimizing submanifolds in mod n homology are asymptotically much smoother than expected, area-minimizing submanifolds are not generically calibrated, and products of area-minimizing submanifolds are not generically area-minimizing. We conjecture that the Hasse principle holds for all geometric variational problems that can be formulated on chain space over different coeffiicients, e.g., Almgren-Pitts min-max, mean curvature flow, Song's spherical Plateau problem, minimizers of elliptic and other general functionals, etc.

An extension of the Floquet-Bloch theory to nilpotent groups and its applications

math.DG

math-ph

math.DS

math.MP

math.NT

math.PR

v3

We develop a generalized Floquet-Bloch theory for discrete torsion-free nilpotent groups by exploiting their Malcev completions. Our main result is a branching formula that relates finite-dimensional representations of a discrete nilpotent lattice to infinite-dimensional unitary representations of its simply connected nilpotent Lie group. This generalization enables to extend the following two classical asymptotic problems (i) a Chebotarev density analogue for prime closed geodesics on compact negatively curved manifolds with nilpotent covers, and (ii) long time asymptotic expansions of heat kernels on such coverings to the nilpotent setting. As a by-product, we derive a semi-classical expansion for the Harper operator, presenting an alternative to mathematical justification of Wilkinson's formula by Helffer-Sj\"ostrand. We conclude by proposing several avenues for future work: extensions to general hyperbolic flows and noncompact manifolds (in particular knot complements and related quasi-morphisms), connections to modified Riemann-Hilbert problems and opers. Furthermore, we give a brief comment on asymptotic behavior of knot invariants and infinite extensions in number theory.

Polynomial extensions of Raimi's theorem

math.CO

math.NT

v2

Raimi's theorem guarantees the existence of a partition of $\mathbb{N}$ into two parts with an unavoidable intersection property: for any finite coloring of $\mathbb{N}$, some color class intersects both parts infinitely many times, after an appropriate shift (translation). We establish a polynomial extension of this result, proving that such intersections persist under polynomial shifts in any dimension. Given non-constant polynomials $P^{(1)},\dots,P^{(f)}\in\mathbb{Z}[x]$ with positive leading coefficients and $P^{(j)}(0)=0$, we construct a partition of $\mathbb{N}^k$ such that for any coloring of $\mathbb{N}^k$ with finitely many colors, there exist $x_0\in \mathbb{N}$ and a single color class that meets all partition pieces after shifts by $x_0+P^{(j)}(h)$ in each of the $k$ coordinate directions, for every $j$ and infinitely many values $h\in \mathbb{N}$. Our proof exploits Weyl's equidistribution theory, Pontryagin duality, and the structure of polynomial relation lattices. We also prove some finite analogues of the above results for abelian groups and $SL_2(\mathbb{F}_q)$.