Number Theory [math.NT]

Explicit bounds for Buchstab's function

math.NT

Buchstab's function $\omega(u)$ describes the distribution of integers without small prime factors. We establish numerically explicit upper and lower bounds for $\omega(u)$ that are easy to evaluate, without the need to solve the delay differential equation numerically.

A More Efficient Algorithm for Finding the Number of Permutations of $\mathbb{ZZ}/n\mathbb{ZZ}$ with Distinct Partial Sums

math.NT

The notion of the factorial extends to abelian groups under the group operation and any permutation of the elements of the group. Notably, for some finite groups, it is possible to order elements in these groups such that no two ``factorials'' are the same. In this paper we count the number of ways to order elements to achieve this result for the integers modulo 20 and 22 under addition, as well as introduce an improved algorithm to count these permutations for the integers modulo $n$. We relate these numbers to the values in an already known sequence via a bijection which we prove in this paper. This proof and other lemmas allow us to calculate new terms for the sequence.

Factorial Calculi and the Canonical Stirling Defect of the Prime Bhargava Factorial

math.NT

The classical gamma function is singled out among solutions of Euler's recurrence by the Bohr--Mollerup theorem. We develop an analogous normalization theory for the Bhargava factorial attached to the rational primes. Using factorial calculi, filtered prime-layer completion, centered cyclotomic quadrature, and orbitwise Stirling normalization, we construct a canonical zero-free entire function $\displaystyle \Gamma_{\mathbb P}^{\mathrm{cyc}}$ interpolating the prime Bhargava factorial. It satisfies the Euler-type reflection law \[ \Gamma_{\mathbb P}^{\mathrm{cyc}}(z)\Gamma_{\mathbb P}^{\mathrm{cyc}}(1-z)=1, \qquad \Gamma_{\mathbb P}^{\mathrm{cyc}}(1/2)=1. \] At positive integers we obtain the unsmoothed Stirling formula \[ \log (n+1)!_{\mathbb P} =n\log n+(C_{\mathbb P}-1)n+\tfrac12\log(2\pi n) +\mathcal R_{\mathbb P}(n)+O(n^{-1}), \qquad C_{\mathbb P}=\sum_p\frac{\log p}{(p-1)^2}, \] where $\displaystyle \mathcal R_{\mathbb P}(n)=o(n)$ and admits an exact prime-local fractional-part expansion. This gives a prime-case response to Questions 31 and 33 of Bhargava's paper \emph{The Factorial Function and Generalizations}. Hankel positivity rules out positive Euler--Mellin representations for the function and its reciprocal; the cyclotomic construction instead motivates a prime Hankel conjecture for a canonical contour or distributional representation of the reciprocal. Finally, all but one centered subcritical Vaughan character moment are controlled unconditionally. Assuming the corresponding square-root estimate, we prove \[ \sum_{n\le X}\mathcal R_{\mathbb P}(n)^2 \sim-\frac43\zeta(-1/2)X^{3/2}\log X. \]

Densities of arithmetic Hecke triangle group orbits

math.NT

We give new proofs computing the asymptotic densities for orbits of the arithmetic Hecke triangle groups $\Gamma_q$ when $q=4$ and $q=6$. We use elementary number theory techniques along with basic properties of the M\"obius function and Riemann zeta function with additional congruence conditions. This note actually came about by observing that, in the $q=4$ case, the underlying congruence condition partitions the set of coprime integer pairs into three classes of equal density.

Explicit height bounds on modular polynomials for the elliptic $j$-invariant, cube root of $j$, and Weber modular function $\mathfrak f$

math.NT

We improve an explicit upper bound on the modular polynomial $\Phi_N$ given by Breuer, G\'omez, and Pazuki. We also prove new explicit upper bounds on the height of modular polynomials for the cube root of $j$ and the Weber modular function $\mathfrak f$.

Prime-Interval Algebras

math.NT

Starting from a positive integer $n$ and no a priori information about the primes above it, we construct a polynomial quotient ring that recovers exactly the primes in $(n,2n]$ from a single modular exponentiation. The primes occur simultaneously as the nonzero monomial degrees of the resulting polynomial remainder, and each coefficient independently certifies its corresponding prime through its additive order. When $n=p_k$ is prime, the least nonzero degree is $p_{k+1}$. Thus the next prime is recovered from the preceding prime alone, without using the index $k$, the prime-counting function, a prime table, nor any primality tests. We develop the underlying ring structure, give equivalent annihilator and quotient formulations, extend the result to shorter intervals, and provide a SageMath implementation.

Congruences for the coefficients of MacMahon-like $q$-series

math.NT

In this paper, we study the congruences for the coefficients of MacMahon-like series introduced by Bringmann--Craig--van Ittersum--Pandey. We prove all the congruences conjectured in their paper. In addition, we establish several new congruence relations of a similar type.

Playing with additivity conditions in multiplicative functions

math.NT

Let $f:\mathbb{Z}\to\mathbb{C}$ be a multiplicative function. Assume there exist integers $a>1$ and $d>1$ such that $(a,d)=1$ and let $\mathcal{P}_{a,d}=\{a+kd:k\in\mathbb{Z}\}$. Under mild extra conditions on $d$ and $f(a)$, we prove that $f(n)=n\chi(n)$ for all $n$ outside an explicit exceptional set depending on $d$, and some Dirichlet character $\chi$.

Autonomous disproofs of the sum-product conjecture over $\mathbb R$ with GPT-5.5 Pro

cs.AI

math.CO

math.NT

OpenAI's recent disproof of the Erd\H{o}s unit distance conjecture marked a milestone for AI in mathematics. It also inspired another breakthrough: a human disproof of the Erd\H{o}s--Szemer\'edi sum-product conjecture over $\mathbb R$. In this paper, we present a simple agent built on GPT-5.5 Pro. Using a problem-agnostic, three-stage prompting pipeline -- proof-plan proposal, proof construction, and review -- the agent autonomously generated correct proofs that the sum-product conjecture is false over $\mathbb R$ in 7 of 8 independent trials; in the remaining trial, it identified an unresolved gap in its argument. The seven proofs are diverse: some are close to existing unit-based constructions, while others avoid units by using $L^p$-type regions of algebraic integers. The system used an average of 132.4k reasoning tokens per trial. We release the code, intermediate outputs, and generated proofs, providing a reproducible, data-contamination-free case study in autonomous proof generation.

Exterior power sums

math.CO

math.NT

We prove that for every fixed $\lambda>0$ and all sufficiently large $n$, any $z_1,\dots,z_n\in\C$ with $|z_j|\geq1$ satisfy $\max_{2\leq k\leq n+1}|\sum_j z_j^k|>e^{-\lambda n}$. Consequently, the $n$th root of the optimal maximum tends to $1$, so no constant $C>1$ in Erd\H{o}s 973 can exist. The proof combines a truncated exponential factorization with overconvergence on an open set outside the unit disk and a normal-family obstruction for Cauchy transforms.

Some aspects of the spectral theory with twisting representations

math.SP

math.NT

In recent years, significant advancements have been made in understanding the spectral theory of hyperbolic spaces, particularly in the context of twisting representations, both unitary as well as non-unitary. We survey some results that we obtained within the framework of the SPP 2026 "Geometry at Infinity" as well as some closely related results.

Average variance bounds for integer points on the sphere

math.NT

v2

Let $\widehat{\mathcal E}(n)$ denote the set of integer points on the sphere $|\mathbf{x}|^2=n$, projected radially onto the unit sphere. Under the usual congruence conditions on $n$, Duke proved that these points become equidistributed as $n\to\infty$. To study their finer-scale distribution, we consider the variance of the number of projected lattice points contained in a spherical cap. Bourgain, Rudnick, and Sarnak conjectured an asymptotic formula for this variance. We prove an unconditional upper bound of the conjectured order of magnitude after averaging over the squared radius $n$, and we obtain a corresponding estimate for averages over sufficiently long intervals.

Local Intertwining Relations and Co-tempered $A$-packets of Classical Groups

math.NT

math.RT

v3

The local intertwining relation is an identity that gives precise information about the action of normalized intertwining operators on parabolically induced representations. We prove several instances of the local intertwining relation for quasi-split classical groups and the twisted general linear group, as they are required in the inductive proof of the endoscopic classification for quasi-split classical groups due to Arthur and Mok. In addition, we construct the co-tempered local $A$-packets by Aubert duality and verify their key properties by purely local means, which provide the seed cases needed as an input to the inductive proof. Together with further technical results that we establish, this makes the endoscopic classification conditional only on the validity of the twisted weighted fundamental lemma.

The positivity technique and low-lying zeros of Dirichlet $L$-functions

math.NT

v2

Assuming the generalized Riemann hypothesis, we sharpen the error terms in a number of estimates related to the distribution of low-lying zeros of Dirichlet $L$-functions. The refinements, building upon earlier work of Omar, come from the use of the positivity technique, which involves choosing certain test functions in the explicit formula. We also improve a result of Hughes and Rudnick on the proportion of Dirichlet $L$-functions modulo a large prime $q$ having small first zeros. In addition, some of our results are generalized to a larger class of $L$-functions, and explicit conditional estimates are provided for the lowest zeros of Dirichlet $L$-functions.

On Diophantine $m$-tuples related to primitive elements of finite fields

math.NT

math.CO

v2

Inspired by recent works on Diophantine tuples over finite fields, in this paper we consider Diophantine tuples related to primitive elements of finite fields. Let $\mathbb{F}_q$ be the finite field with $q$ elements and $\mathbb{F}_q^*=\mathbb{F}_q\setminus\{0\}$ be the multiplicative cyclic group of all non-zero elements over $\mathbb{F}_q$. An element $g\in\mathbb{F}_q$ is called primitive if $g$ generates the group $\mathbb{F}_q^*$. A set $\{x_1,x_2,\cdots,x_m\}\subseteq\mathbb{F}_q^*$ of $m$ elements is said to be a $\mathcal{P}$-Diophantine $m$-tuple over $\mathbb{F}_q$ if $x_ix_j+1$ is primitive for any $1\le i\le j\le m$. Let $N_m$ denote the number of $\mathcal{P}$-Diophantine tuples over $\mathbb{F}_q$. Then we obtain the asymptotic formula $$m!\cdot N_m=\left(\frac{\varphi(q-1)}{q-1}\right)^{m(m+1)/2}q^m+O_{m,r}\left(q^{m-\frac{1}{2}+r}\right),$$ where $\varphi(\cdot)$ is the Euler totient function and $r\in(0, 1/2)$ is an arbitrary real number. Moreover, we prove that there exists a $\mathcal{P}$-Diophantine $m$-tuple over $\mathbb{F}_q$ whenever $q\ge \exp(\exp(m(m+1)))$.

The tempered disk and the tempered cohomology

math.AG

math.FA

math.NT

v3

Let V be a complete discretely valued ring of mixed characteristic, with fraction field K and residue field k. Using the ind-Banach framework for derived analytic geometry, we view generic fibers of V-schemes as derived analytic spaces. This approach yields a refined notion of spectrum, richer than that of classical rigid geometry: for ex- ample we may have open subsets whose structure sheaf contains functions of logarithmic growth. In this setting, the transfer theorem for the log-growth of solutions of p-adic differ- ential equations becomes a natural continuity statement, analogous to the classical transfer theorem for radii of convergence on Berkovich spaces. Motivated by ideas of Scholze, we introduce tempered tubular neighborhoods of smooth k-schemes and define a new tempered de Rham cohomology via the derived de Rham complex of these tubes. Finally, we establish a comparison theorem showing that, for smooth proper k-schemes, tempered de Rham cohomology agrees with crystalline cohomology.

Intrinsic ergodicity for $\mathfrak{B}$-free integers in number fields

math.DS

math.NT

v3

Let $K$ be a number field with ring of integers $\mathscr{O}_K$, and let $\mathfrak{B}$ be an Erd\H{o}s family of ideals in $\mathscr{O}_K$. We prove that the associated $\mathfrak{B}$-free subshift $(X_{\mathfrak{B}},(S_a)_{a\in\mathscr{O}_K})$ is intrinsically ergodic: it carries a unique measure of maximal entropy, which we identify explicitly as a relatively independent extension of the Haar rotation on $\prod_{\mathfrak{b}\in\mathfrak{B}}\mathscr{O}_K/\mathfrak{b}$. This is the first proof of intrinsic ergodicity for $\mathfrak{B}$-free systems beyond dimension one, and relies on the work of Ara\'ujo--Dymek--Ku\l aga-Przymus. Via their reductions, we also settle the $k$-free and $\mathfrak{B}$-free lattice-point cases and the $k$-free number-field case. We give two independent proofs of the underlying rigidity statement: one through a single-site relative-entropy argument, and one through an exact-tiling realisation of Peckner's induce-and-split scheme.

Fractal uncertainty principle over $\mathbb{Q}_p$

math.FA

math.CA

math.NT

v2

We prove a fractal uncertainty principle over $\mathbb{Q}_p$ for porous sets, resolving a conjecture of Cohen.