Number Theory [math.NT]

The level-8 Apery-limit and a proof of the Ramanujan Machine conjecture Z1

math.NT

We prove the level-8 Apery-limit lim B_n^{(8)}/s_n = (7/32) zeta(3), where s_n = sum_{k=0}^n C(n,k)^2 C(2k,n)^2 and B_n^{(8)} is the rational companion sequence. As a corollary we prove the Ramanujan Machine continued-fraction identity PCF((2n+1)(3n^2+3n+1), -n^6) = 8/(7 zeta(3)). The argument uses the level-8 eta-product parametrization, a Wronskian identity, Eichler integrals, and Mellin-Barnes extraction of the period polynomial. The value (7/32) zeta(3) was identified by Almkvist-van Straten-Zudilin (2008) and stated by Golyshev (arXiv:0908.1458); this paper gives the first complete proof. The companion level-6 result was proved in arXiv:2604.06239.

Arithmetic functions and learning theory

math.NT

math.CA

math.ST

stat.TH

We establish a connection between analytic number theory and computational learning theory by showing that the M\"obius function belongs to a class of functions that is statistically hard to learn from random samples. Let $\mu_R$ denote the restriction of the M\"obius function to the squarefree integers in $\{1,\dots,R\}$. Using a recent lower bound of Pandey and Radziwi{\l}{\l} for the $L^1$ norm of exponential sums with M\"obius coefficients, we prove that \[ \FR(\mu_R) \gg R^{-1/4-\epsilon} \] for every $\epsilon>0$. We then show that, for a suitable absolute constant $c_0>0$, the class of $\{-1,1\}$-valued functions on the squarefree integers with Fourier Ratio at least $c_0$ has Vapnik--Chervonenkis dimension at least $cR$. It follows that any distribution-independent learning algorithm that succeeds uniformly on the class $\mathcal{H}_R(\eta_R)$ containing $\mu_R$, where $\eta_R \to 0$, requires at least $\Omega(R)$ samples. We also discuss a conditional improvement under a strong uniform bound for additive twists of the M\"obius function, and we note that the same method applies to the Liouville function.

Prime--Zero Duality: Fractal Geometry, Renormalization-Group Flow, and an Information-Ontological Framework for Number Theory

math.NT

The prime numbers and the non-trivial zeros of the Riemann zeta function are globally linked by the explicit formula of analytic number theory. Whether they share a hidden, scale-by-scale geometric symmetry has remained unexplored. We address this by measuring the joint fractal structure of a prime residue class (p=1,5,9,13 mod 16) and the zero distribution of zeta(s). Our central finding is that the duality measure K = 1/d_P + 1/zeta_R is remarkably stable, varying by only 17% across scales L=100--2000, captured by a finite-size scaling law K(L) = K_IR + a*L^{-b}. After geometric normalization, the data converge to a universal infrared fixed point K_IR = 4 with critical exponent b ~ 0.51, robust across two random-matrix symmetry classes (beta=2,4), echoing Montgomery--Odlyzko universality. We interpret K as a conserved information current between the arithmetic and spectral domains, with the scaling law reflecting a renormalization-group flow from an ultraviolet fixed point K_UV = 11 (Hurwitz's theorem on normed division algebras) to K_IR = 4. The exponent b ~ 1/2 is derived from a variational information action S[I_P, I_Z]. A structural argument for the Riemann Hypothesis emerges: the generator kappa with kappa^2 = ijk = -1 enforces, via exchange symmetry I_P <-> I_Z, the fixed point I_P* = I_Z* = 2, encoding the critical line Re(s) = 1/2. Upgrading this to a rigorous proof is the central open problem. We also explore, in a speculative spirit, whether (K_IR, b, kappa) resonate with quantities in quantum gravity and learning theory, including the Bekenstein--Hawking entropy formula. These analogies define open problems at the interface of number theory, physics, and information science.

On the Number of Prime Factors of Consecutive Integers

math.NT

We prove that there are infinitely many $n$ such that $\omega(n+k) \ll \log k$ for all integers $k \ge 2$. This improves on a result of Tao-Ter\"{a}v\"{a}inen (2025), who has $O(k)$ in place of $O(\log k)$. As corollaries, we make progress on a number of questions posed by Erd\H{o}s. The proof is based on a quantitative refinement of the Tao-Ter\"{a}v\"{a}inen probabilistic argument, combining a more efficient sieve procedure with stronger exponential concentration-of-measure estimates. Moreover, we formulate a conjecture on integers with many prime factors based on Cram\'{e}r-type random models. Assuming this conjecture, the main bound is essentially sharp.

Computer vision and converse theorems

math.NT

Random matrices provide a well-established statistical model for a range of arithmetic phenomena. In this paper, we investigate the extent to which one- and two-dimensional convolutional neural networks (CNNs) can distinguish between arithmetic data arising from elliptic curves with conductor in a fixed interval and random matrix data drawn from the same Sato-Tate distribution. Inspired by converse theorems in the Langlands program, we represent each elliptic curve together with its twists as a vector field and, subsequently, encode that vector field as a digital image. We observe that a two-dimensional CNN trained on this image data is better able to separate conductor families from random matrix data than a one-dimensional CNN trained on vectors of Frobenius traces without twisting data. We also observe that the same two-dimensional architecture can predict the analytic rank of an elliptic curve, and it does so by factoring through the (untwisted) Frobenius traces.

Another factor of integer polynomials with minimal integrals

math.NT

Let $N$ be a positive integer and let $S_N$ be the set of polynomials with integer coefficients, degree less than $N$, and minimal positive integral over $[0,1]$. D. Bazzanella initiated the study of $S_N$ because of its relation to the distribution of prime numbers. Indeed, it is possible to prove that $\sum_{p^m \leq N} \log p = -\log \int_0^1 P(x) \mathrm{d} x$ for every $P \in S_N$, where the sum runs over prime numbers $p$ and positive integers $m$ such that $p^m \leq N$. For each real number $t$, let $\lfloor t \rfloor$ denote the maximal integer not exceeding $t$. The main result of this paper states that there exist infinitely many polynomials $P \in S_N$ such that $\big(x^3(1 - x)^2\big)^{\lfloor N / 6 \rfloor}$ divides $P(x)$ in $\mathbb{Z}[x]$. This improves upon a similar result of Sanna, who proved the same claim but with the lower-degree polynomial $\big(x(1-x)\big)^{\lfloor N / 3 \rfloor}$ in place of $\big(x^3(1 - x)^2\big)^{\lfloor N / 6 \rfloor}$.

Gelfand--Kirillov dimension and mod $p$ cohomology for inner forms of $\mathrm{GL}_2$

math.NT

math.RT

Under standard assumptions, we compute the GK-dimension of Hecke eigenspaces in the mod $p$ cohomology of an inner form $D^\times$ of $\mathrm{GL}_2$ over a totally real field unramified at $p$, allowing $D$ to be a division algebra at $p$. Our arguments also apply when $D$ is a matrix algebra at $p$, in which case they give a simplified proof of a theorem of Breuil--Herzig--Hu--Morra--Schraen.

Counting Theorems for Algebraic Relations

math.NT

math.AG

math.LO

Let X be a set definable in a sharply o-minimal structure. We consider the problem of counting the number of points where X intersects algebraic varieties V over Q of dimension k < codim X, as a function of T := deg(V) + h(V), where h(V) is the log-height of V. In particular, we conjecture that after removing a suitable "algebraic part", this number grows polynomially in T -- a generalization of Wilkie's conjecture. We show that this full conjecture implies some open problems in algebraic independence theory. We also formulate a weaker conjecture stating that all intersections above are contained in a poly(T) amount of balls of radius e^{-T}. We then consider the case where X (subset of C^n) is a (compact piece of a) trajectory of a polynomial differential equation satisfying a variant of Nesterenko's D-property. Our main theorem is a proof of the weakened conjecture for such curves when k < sqrt(n) - 1.

Log-Concavity and Infinite Log-Concavity of Linear Recurrent Sequences with Linear Coefficients via Companion Matrix Methods

math.CO

math.NT

We study log-concavity properties of real sequences $(a_n)_{n \ge 0}$ satisfying a $d$-th order linear recurrence whose coefficients are linear functions of $n$; the so-called P-recursive (or holonomic) sequences. Writing the recurrence in companion-matrix form $\mathbf{v}_{n+1} = M_n\,\mathbf{v}_n$ with $M_n = nA + B$, we show that the log-concave operator value $\mathcal{L}(a_n) = b_n \coloneqq a_n^2 - a_{n+1}a_{n-1}$ is a quadratic form in the state vector $\mathbf{v}_n$, and identify the matrix $Q_n = Q^{(0)} + nQ^{(1)}$ whose positive semi-definiteness gives a sufficient condition for log-concavity. For the class of second-order recurrences with constant coefficients, we prove a tight (necessary and sufficient) criterion for the sequence to be $\infty$-log-concave, a consequence of the fact that $\mathcal{L}(a_n)$ is itself a geometric sequence so that $\mathcal{L}^2(a_n) = 0$ identically. We obtain analogous tight criteria for sequences fixed by $\mathcal{L}$, and for P-recursive sequences satisfying a dominant-root asymptotic behaviour. We leave some further insight in case this criteria break down in full generality.

Recurrence Time for Finite Quantum Systems

quant-ph

math.NT

We study the time it takes for all states of a finite quantum system to return simultaneously to their original configuration. In particular, we define the recurrence time for a quantum system to be the time at which all time-evolved states are close to their initial configuration, and at least one state has deviated significantly during this interval. Considering finite-dimensional quantum systems evolving unitarily, we find bounds on this notion of recurrence time, for continuous time and discrete time, by using Dirichlet's approximation theorem. We show how the problem of finding a bound on recurrence time can be related to approximating the difference of real numbers by rationals. We present a mathematical result on the latter, which we then use to obtain tighter bounds on recurrence time.

Distinguished Simple Supercuspidal Representations of $p$-adic $\text{GL}(n)$

math.RT

math.NT

Let $\text{E}/\text{F}$ be a quadratic extension of non-Archimedean local fields with odd residual characteristic. In this paper, we give equivalent conditions for a simple supercuspidal representation $\pi$ of $\text{GL}(n, \text{E})$ to be distinguished by $\text{GL}(n, \text{F})$ in terms of its defining maximal simple type and twisted gamma factors. Furthermore, we prove that the collection of twisted gamma factors evaluated at $\frac{1}{2}$ between $\pi$ and all unitary, tamely ramified quasi-characters of $\text{E}^{\times}$ that are trivial on $\text{F}^{\times}$ is sufficient to determine whether $\pi$ is distinguished by $\text{GL}(n, \text{F})$.

On local integrability results for $p$-adic reductive groups

math.RT

math.NT

We present a short proof, based on local character expansions, of the celebrated theorem of Harish-Chandra about local integrability of complex characters of $p$-adic reductive groups. The proof gives an algebraic incarnation of the local integrability that works for some coefficients different from $\mathbb{C}$, verifies local integrability in cases that appear not covered in the literature, and shows that a character is locally-$L^{\alpha}$ for some specified $\alpha>1$ as in [GGH23].

Evaluations of some series via the WZ method

math.CO

math.NT

In this paper, we evaluate some series via the WZ method, and confirm several previous conjectures. For example, we prove the following two identities conjectured by the second author: $$\sum_{k=0}^{\infty} \frac{(28k^2 + 10k + 1) \binom{2k}{k}^5}{(6k + 1)(-64)^k \binom{3k}{k} \binom{6k}{3k}} = \frac{3}{\pi}$$ and $$\sum_{k=1}^\infty \frac{d^4}{dk^4}\left(\frac{(21k-8)\Gamma(k+1)^2}{k^3\Gamma(2k+1)}\right)=\frac{1959}2\zeta(6)-432\zeta(3)^2. $$

Rational analytic syntomic cohomology

math.AG

math.NT

We define and study the rational analytic syntomification $X^{\mathrm{Syn}}$ of a partially proper rigid-analytic variety $X$ over $\mathbb{Q}_p$. We establish Poincar\'e duality and a theory of first Chern classes for the resulting cohomology theory, identify vector bundles on $X^{\mathrm{Syn}}$ with de Rham bundles on the Fargues--Fontaine curve of $X^{\diamondsuit}$ and recover several classical comparison theorems in $p$-adic Hodge theory. We also develop analogues of our results and constructions over $\mathbb{C}_p$.

Borel--Bernstein and Hirst-type Theorems for Nearest-Integer Complex Continued Fractions over Euclidean Imaginary Quadratic Fields

math.DS

math.NT

For each $d \in {1,2,3,7,11}$, let $T_d$ be the nearest-integer complex continued fraction map associated with the Euclidean ring $\mathcal{O}*d$, and let $(a_n)$ be its digit sequence. We prove two metric results for this five-system family. First, for every sequence $(u_n)*{n\ge 1}$ with $u_n \ge 1$, the set of points for which $|a_n| \ge u_n$ for infinitely many $n$ has full or zero normalized Lebesgue measure according as $\sum_{n=1}^\infty u_n^{-2}$ diverges or converges. This gives a unified Borel--Bernstein theorem, extending the Hurwitz case $d=1$ to all five Euclidean imaginary quadratic fields. Second, for any infinite set $S \subset \mathcal{O}_d$, if $\tau(S)$ denotes its convergence exponent, then the digit-restricted set $F_d(S)={z:\ a_n(z)\in S\ \text{for all } n,\ |a_n(z)|\to\infty}$ satisfies $\dim_H F_d(S)=\tau(S)/2$. More generally, for any cutoff function $f(n)\to\infty$, the set $F_d(S,f)={z\in F_d(S):\ |a_n(z)|\le f(n)\ \text{for all } n}$ is either empty or has the same Hausdorff dimension $\tau(S)/2$. The proof combines quantitative ergodic properties of the nearest-integer systems with a large-digit conformal iterated function subsystem that is $2$-decaying. We also obtain applications to sparse patterns, shrinking targets, and almost-sure $L'evy$- and Khinchine-type laws.

Sharp bounds on the number of squares in recurrence sequences and solutions of $X^{2}-\left( a^{2}+b \right) Y^{4}=-b$

math.NT

v4

We obtain best possible results for the number of coprime positive integer solutions of the equation in the title when $a$ is a positive integer, $b=p^{m}$, $2p^{m}$ or $4p^{m}$, where $m$ is a non-negative integer, $p$ is prime, $\gcd \left( a^{2}, b \right)$ is squarefree and $X^{2}- \left( a^{2}+b \right) Y^{2}=-4$ has a solution in positive integers. We prove our results by establishing best possible bounds for the number of distinct squares in certain binary recurrence sequences, including those associated with such equations.

The Categories of Lubin-Tate and Drinfeld Bundles

math.NT

math.AG

math.RT

v2

For a finite extension $F$ of $\mathbb{Q}_p$ and $n \geq 1$, we show that the category of Lubin-Tate bundles on the $(n-1)$-dimensional Drinfeld symmetric space is equivalent to the category of finite-dimensional smooth representations of the group of units of the division algebra of invariant $1/n$ over $F$.

Primes in LCM recurrences

math.NT

v2

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 faces a known barrier equivalent to an open case of Linnik's theorem. We prove unconditionally that the conjecture holds for a set of integers of asymptotic density $1$, and we 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 as well. The analysis also leads to two new conjectures on the distribution of primes in arithmetic progressions.

The \'{e}tale Brauer-Manin obstruction for classifying stacks

math.NT

math.AG

v2

We study the strong approximation for classifying stacks $BG$, where $G$ is a linear algebraic group over a number field $k$. More specifically, we prove that the \'etale Brauer-Manin obstruction is the only obstruction to strong approximation for $BG$. To prove the result, we formulate the theory of torsors and Galois twists for algebraic stacks.

Algebraic representatives of the ratios $\zeta(2n+1)/\pi^{2n}$ and $\beta(2n)/\pi^{2n-1}$

math.NT

v4

In \cite{TallaWaffo2025arxiv2511.02843} we introduced even polynomials $\Xi_n,\Lambda_n\in\mathbb{Q}[x]$ arising from integral representations of $\beta(2n)/\pi^{2n-1}$ and $\zeta(2n+1)/\pi^{2n}$. In this paper we give explicit closed formulae for these polynomials in terms of Eulerian numbers and study their structural properties. These properties may prove useful in studies on the arithmetic nature of the ratios $\beta(2n)/\pi^{2n}$ and $\zeta(2n+1)/\pi^{2n+1}.$

Burgess-Type Bounds for Character Sums over $\mathbb{F}_{p^n}$

math.NT

v4

We establish Burgess-type bounds for short multiplicative character sums over finite fields $\mathbb{F}_{p^n}$ under a purely volumetric condition. We show that for a box $B \subset \mathbb{F}_{p^n}$, nontrivial cancellation occurs whenever $|B| \ge p^{n(1/4+\varepsilon)}$, without imposing lower bounds on the individual side lengths. This removes the coordinate-wise restrictions present in earlier results and extends work of Gabdullin for $n=2,3$ to arbitrary dimension. The proof combines methods from the geometry of numbers with multiplicative energy estimates and bounds for character sums due to Katz.

Short Exponential Sums and Ternary Correlations of Multiplicative Functions

math.NT

v2

In this paper, we investigate the average behavior of ternary correlations for general $k$-divisor-bounded multiplicative functions, assuming certain second moment integral bounds for the associated $L$-functions. Our approach differs from previous methods based on spectral theory or Heath-Brown-type decompositions, and instead combines the circle method with weighted short exponential-sum bounds. The key input is short exponential-sum estimates obtained from integral moment bounds for $L$-functions.

Beatty solutions of almost Golomb equations

math.NT

v2

The 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. 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.

Fourier Dimension in Inhomogeneous Duffin--Schaeffer Conjecture

math.NT

v2

Let \(Q \subseteq \mathbb{N}\) be a subset, and let \(\psi\colon \mathbb{N} \to [0, \tfrac{1}{2})\), \(\theta\colon \mathbb{N} \to \mathbb{R}\) be functions. Let \(\{A_q\}\) and \(\{B_q\}\) be sequences of integers such that \(\gcd(A_q, B_q) = 1\) and \(B_q > 0\) for all \(q\). Define \(W_Q^{\ast}(\psi,\theta)\) to be the set of \(x \in [0,1]\) for which \[ \left| x - \frac{p + \theta(q)}{q} \right| < \frac{\psi(q)}{q} \] holds for infinitely many \((p,q) \in \mathbb{Z} \times Q\) with \(\gcd(B_q p + A_q, q) = 1\). In this paper, we determine the Fourier dimension of \(W_Q^{\ast}(\psi,\theta)\). Our result not only recovers the classical theorems of Kaufman and Bluhm (concerning the homogeneous case \(\psi(q) = q^{-\tau}\) with \(\tau \ge 1\)) and the one-dimensional version of a result by Cai and Hambrook on the inhomogeneous approximable set, but also provides a complete inhomogeneous generalization. Moreover, it gives an affirmative answer to the coprime formulation of the Chen--Xiong conjecture.

Almost Mathematics, K\"ahler differentials and deeply ramified fields

math.AC

math.NT

v3

This article discusses ramification and the structure of relative K\"ahler differentials of extensions of valued fields. We begin by surveying the theory developed in recent work with Franz-Viktor Kuhlmann and Anna Rzepka constructing the relative K\"ahler differentials of extensions of valuation rings in Artin-Schreier and Kummer extensions. We then show how this theory is applied to give a simple proof of Gabber and Ramero's characterization of deeply ramified fields. Section 4 develops the basics of almost mathematics, and should be accessible to a broad audience. Section 5 gives a simple and self contained proof of Gabber and Ramero's characterization of when the extension of a rank 1 valuation of a field to its separable closure is weakly \'etale. In the final section, we consider the equivalent conditions characterizing deeply ramified fields, as they are defined by Coates and Greenberg, and show that they are the same as the conditions of Gabber Ramero for local fields.

Remarks on two problems by Hassett

math.AG

math.NT

v2

One of the ultimate goals of the Hassett-Keel program is the determination of the log canonical models of the moduli spaces of pointed rational curves $\overline{M}_{0,n}$. In this paper, we study log canonical models of $\overline{M}_{0,5}$ with \textit{asymmetric} boundary divisors. Our results generalize previous work by Alexeev-Swinarski, Fedorchuk-Smyth, Kiem-Moon and Simpson for the first non-trivial case, namely $n=5$. We prove that all moduli spaces of weighted pointed rational curves $\overline{M}_{0,A}$ arise as log canonical models of $\overline{M}_{0,5}$ for suitable choices of boundary coefficients, thereby also recovering a theorem of Fedorchuk and Moon. In addition, we relate these moduli spaces to Deligne-Mostow ball quotients. We further study log canonical models of the moduli spaces $\overline{M}_{0,n\cdot (1/k)}$ with symmetric weight, which differ from $\overline{M}_{0,n}$. The case $n=5$ can be viewed as an explicit guiding example in a very general program and the paper can thus also serve as an expository introduction.

Congruences modulo powers of $3$ for generalized Frobenius partitions $C\Psi_{6,0}$

math.CO

math.NT

v2

In 1984, Andrews introduced the family of partition functions \(c\phi_k(n)\), which counts the number of generalized Frobenius partitions of \(n\) with \(k\) colors. In previous work, we proved a conjecture on congruences for \(c\phi_6(n)\) modulo powers of 3. In this paper, we consider the \((6,0)\)-colored Frobenius partition functions \(c\psi_{6,0}(n)\). We establish a connection between the generating functions of \(c\psi_{6,3}(n)\) and \(c\psi_{6,0}(n)\) via an Atkin-Lehner involution, and prove congruences modulo powers of 3 for \(c\psi_{6,0}(n)\).

Character Theory for Semilinear Representations

math.RT

math.GR

math.NT

v3

Let $G$ be a group acting on a field $L$, and suppose that $L /L^G$ is a finite extension. We show that the category of semilinear representations of $G$ over $L$ can be described in terms of the category of linear representations of $H$, the kernel of the map $G \rightarrow \mathrm{Aut}(L)$. When $G$ is finite and $L$ has characteristic 0 this provides a character theory for semilinear representations of $G$ over $L$, which recovers ordinary character theory when the action of $G$ on $L$ is trivial.

Dynamical Mordell-Lang conjecture for split self-maps of affine curve times projective curve

math.DS

math.AG

math.NT

v2

We prove the dynamical Mordell-Lang conjecture for product of endomorphisms of an affine curve and a projective curve over $\overline{\mathbb{Q}}$.

Character values and conductors of low-rank groups of Lie type

math.RT

math.GR

math.NT

v2

Let $\chi$ be a complex irreducible character of a finite group $G$. The conductor of $\chi$, denoted $c(\chi)$, is the smallest positive integer $n$ such that $\chi(x)\in \mathbb{Q}(\exp({2\pi i/n}))$ for all $x\in G$. We show that for certain rank $1$ finite groups of Lie type, the conductor $c(\chi)$ is realized at a single group element; that is, there exists $g\in G$ such that $c(\chi)=c(\chi(g))$. In some quasisimple cases, we further prove that the field of values \(\mathbb{Q}(\chi)\) is generated by a single value. This phenomenon, which is related to a well-known conjecture of W.~Feit, was recently observed by Boltje \emph{et al.} in their reduction of the conjecture to finite simple groups. Our approach uses techniques from algebraic number theory together with the known character tables of these groups.