Number Theory [math.NT]

Lattice point visibility along powers of polynomials
math.NT


Abraham Lobzenz, Tristan Phillips

We study lattice point visibility along polynomial lines of sight and prove the Visibility Density Conjecture of Chaubey and Pandey for a large class of polynomials.

On the integrality of modular functions over $\mathbb{Z}[j]$ and Kronecker-type congruences
math.NT


Ho Yun Jung, Ja Kyung Koo, Dong Hwa Shin

Let $N$ be a positive integer and let $f$ be a meromorphic modular function of level $N$ with rational Fourier coefficients. For a prime $p$, define a function $f_p$ on the complex upper half-plane $\mathbb{H}$ by \begin{equation*} f_p(\tau)=f\left(\frac{\tau}{p}\right)\quad(\tau\in\mathbb{H}). \end{equation*} Let $j$ be the elliptic modular function. We show that if $p\equiv 1$ or $-1\Mod{N}$ and $f$ is integral over $\mathbb{Z}[j]$, then \begin{equation*} \frac{1}{p}(f_p^p-f)(f_p-f^p) \end{equation*} is also integral over $\mathbb{Z}[j]$. This result generalizes the classical Kronecker congruence relation for $j$.

A Proof of Bala's General-$m$ Representation of the Harmonic Numbers
math.NT
cs.DM
math.CO


Tong Niu

For every nonzero integer $m$ and every integer $n \ge 1$, the $n$\textsuperscript{th} harmonic number $H_n = 1 + \tfrac12 + \dots + \tfrac1n$ satisfies the identity \[ H_n \;=\; \frac{1}{m}\,\sum_{k=1}^{n} \frac{(-1)^{k+1}}{k}\, \binom{m k}{k}\binom{n + (m-1)k}{n - k}. \] The cases $m = 1$ and $m = 2$ are classical; for general nonzero integer $m$ the identity was conjectured by P.~Bala in the OEIS entry A001008 in 2022 and remained open. We prove it here, working throughout in $\mathbb{Q}[[x]]$. The proof reduces, via a substitution $u = x/(1-x)^m$, to two formal-power-series identities: a Lagrange--B\"urmann evaluation of $\sum_{k\ge1} \binom{mk}{k} u^k / k$, and the fixed-point fact that under that substitution the unique solution $v(u)$ of $v = u(1-v)^{m}$ is $v = x$. The argument extends verbatim to arbitrary complex $m \ne 0$.

Core abaci and Diophantine equations I: fundamental weight
math.NT
math.CO
math.RT


Yanbo Li, Jiansheng Zhang, Shasha Zhu

In the light of a series of papers on moving vectors, we define and study core abaci of classical affine types for arbitrary charge. This greatly extends the concept of cores with charge zero, and make us being able to parameterize the affine Grassmannian $W^j$ by core abaci of charge $j$ for arbitrary classical affine types. By associating a core abacus $(\lam, j)$ to a weight $\Lambda_j-\beta$ and an affine Weyl group element $w_{\lam, j}$, we prove that the height of $\beta$ is equal to the atomic length of $w_{\lam, j}$. This solves a generalized version of the open problem raised by Brunat, Chapelier-Laget and Gerber. Moreover, Diophantine equations of classical affine types are established by using the height formula that given by Uglov vector. The solutions of certain classes of these Diophantine equations are proved to be completely parameterised by core abaci. As another application, closed formulae for computing the number of certain kinds of core abaci are given.

Hybrid Conjecture in a Mixed Shimura variety
math.NT
math.AG


Rodolphe Richard, Andrei Yafaev

The authors previously formulated the hybrid conjecture, unifying Andr\'e-Pink-Zannier and Andr\'e-Oort conjectures, and proved it in Shimura varieties of abelian type. We study its analogue for mixed Shimura varieties, and consider the prime example, the universal abelian scheme $\mathcal{A}_g\to \mathbb{A}_g$. In a radical departure from the Pila-Zannier strategy, typically applied to such questions, we employ instead a combination of equidistribution and o-minimality Our main result strictly includes the following: the Hybrid Conjecture, in particular the Andr\'e-Pink-Zannier and Andr\'e-Oort conjectures, for $\mathbb{A}_g$; the mixed Andr\'e-Oort conjecture for $\mathcal{A}_g$; and Manin-Mumford conjecture for arbitrary abelian varieties. It also yields an analogue of the ``Manin-Mumford in arithmetic pencil", a result of Baldi-Richard-Ullmo, for abelian schemes over a variety. The mixed hybrid conjecture in $\mathcal{A}_g$ also encompasses the Mordell-Lang conjecture. We actually reduce the mixed hybrid conjecture for $\mathbb{A}_g$ to its "mordellic" part. We also prove, Galois-theoretic results: uniform variants on the Ribet's Kummer theory of Abelian varieties, and Serre's theorem on Lang's conjecture.

Differences of squares of upper-triangular $2\times 2$ integer matrices
math.NT


Andrej Dujella, Zrinka Franušić

We consider the problem of characterizing upper-triangular matrices $M=\begin{pmatrix}p&r\\0&q\end{pmatrix}\in M_2(\mathbb Z)$ which can be represented in the form $A^2-B^2$ with upper-triangular integer matrices $A$ and $B$ and give a complete criterion in terms of representations of $p$ and $q$ as differences of two squares and an additional divisibility condition on $r$. Also, we give a complete classification of representable matrices in terms of congruence conditions on $p$, $q$, and $r$.

On (not) learning the M\"obius function
math.NT
cs.LG


Alexey Pozdnyakov

We prove lower bounds on learning the M\"obius or Liouville function with a variety of standard learning techniques, including kernel methods, noisy gradient methods, and correlational statistical query algorithms. These results follow from quantitative bounds on the correlation of M\"obius with digital characters of various finite abelian groups, where the group is dictated by the type of input data the algorithm is given. Using residues mod $p$ for many different primes corresponds to a cyclic group, and using the base $p$ expansion for a fixed prime corresponds to an elementary abelian $p$-group. We also note that lower bounds of this form are closely related to certain types of digital prime number theorems.

A necessary condition for a congruent number of the form $8k+3$
math.NT


Shamik Das, Sudipa Mondal

A positive square-free integer is called a \textit{congruent number} if it arises as the area of a right triangle with rational side lengths. Let $ n = p_1p_2 \cdots p_t q $ be a square-free integer, where each $ p_i \equiv 1 \pmod{8} $ and $ q \equiv 3 \pmod{8} $, with the $ p_i $ and $ q $ being distinct primes. In this article, we present a congruence relation modulo powers of 2 between the 2-part of the class numbers of $ \mathbb{Q}(\sqrt{-n}) $ and $ \mathbb{Q}(\sqrt{-p_1p_2 \cdots p_t}) $, under the assumption that $ n $ is a congruent number, using a modified R\'edei matrix.

$2$-Selmer groups, $2$-class groups, and congruent numbers
math.NT


Shamik Das, Debajyoti De, Sudipa Mondal

In this article, we study necessary conditions for certain square-free integers to be congruent numbers. Our method uses divisibility properties of class numbers of related imaginary quadratic fields. We first consider positive square-free integers of the form $n = p_1 p_2 \cdots p_t q,$ where each prime $p_i \equiv 5 \pmod{8}$ and $q \equiv 7 \pmod{8}$. We show that if such an integer $n$ is a congruent number, then the class number $h(-n)$ of the quadratic field $\mathbb{Q}(\sqrt{-n})$ satisfies a specific divisibility condition. Furthermore, we provide quantitative lower bounds on the number of non-congruent numbers of this form. Next, we study integers of the form $n = p_1 p_2 \cdots p_t q,$ with $p_i \equiv 5 \pmod{8}$ and $q \equiv 3 \pmod{8}$. Assuming that $n$ is a congruent number, we obtain a congruence modulo powers of $2$ between the class numbers of the fields $\mathbb{Q}(\sqrt{-n})$ and $\mathbb{Q}\!\left(\sqrt{-p_1 p_2 \cdots p_t}\right)$.

The Absolute Anabelian Geometry of Virtual Curves of Arbitrary Genus
math.NT
math.AG


Zeming Sun

The objective of this paper is to further study the anabelian object referred to as \emph{pointed virtual curves}. Building upon previous work that investigated these fundamental-group-theoretic pullbacks of Galois sections in the genus-zero situation, we extend the central anabelian results to curves of arbitrary genus. To facilitate this generalization, we introduce the group-theoretic notion of an inclusion of CAVC-type and the categorical-theoretic notion of a virtual decuspidaloid. Furthermore, we establish a criterion regarding the "geometricity" of certain virtual curves, providing group-theoretic conditions under which a section of an arithmetic fundamental group arises from a rational point.

Picking up the partial sums of the M\"{o}bius function problem with probabilistic number theory
math.NT
math.PR


Maxie Dion Schmidt

We revisit several hybrid multiplicative-to-additive type functions from a recent preprint article. These functions, $g(n)$ with Dirichlet generating function (DGF) $\zeta(s)^{-1} (1+P(s))^{-1}$ for $\Re(s) > 1$ where $P(s) = \sum_p p^{-s}$ is the prime zeta function, $|g(n)| = \lambda(n) g(n)$ with DGF $\zeta(2s)^{-1}(1-P(s))^{-1}$, and $C_{\Omega}(n)$ with DGF $(1-P(s))^{-1}$. Each of these function variants are defined in terms of the additive (respectively, strongly additive) functions $\omega(n)$ and $\Omega(n)$. These two auxiliary functions are used in the prior manuscript to relate partial sums of the classical M\"{o}bius function, $\mu(n)$, to signed partial sums involving the prime counting function, $\pi(x)$, and the Liouville lambda function, $\lambda(n) := (-1)^{\Omega(n)}$. In this article, we explore summing the identities from the first manuscript using several probabilistic assumptions about the independence of the values of $\Omega(n)$ and $\mu^2(n)$ for $n \leq x$ at large $x$. We recover proofs of the limiting asymptotic growth of $|M(x)| / \sqrt{x}$ whose hypotheses promise to be substantially more attainable to make rigorous than past results from other authors relying on the Riemann Hypothesis or assumption of the linear independence of the simple, non-trivial zeros of $\zeta(s)$.

Large sieve inequality for sums of Legendre symbols over short intervals
math.NT


Igor Shparlinski, Yixiu Xiao

We use the Burgess bound and Selberg sieve to obtain an upper bound on the second moment of sums over an interval $[u+1,u+h]$ of Legendre symbols modulo primes $p$ in a dyadic interval $[Q,2Q]$. The bound is nontrivial and gives a power saving with respect to $h$ for any $u \le Q$, provided $h \ge \psi(Q)$ for any function $\psi(Q)\to\infty$ as $Q\to\infty$. This can be viewed as a generalisation of a result of D. R. Heath-Brown (1995) on moments of sums or quadratic characters over the initial interval $[1,h]$.

Unbounded logarithmic limsup in Erd\H{o}s problem 684
math.NT
math.CO


Ji Ho Bae

Let $f(n)$ be the least $k$ for which the $k$-smooth part of ${n \choose k}$ exceeds $n^2$, as in Erd\H{o}s problem 684. We construct integers $n$ for which $f(n)$ is larger than any prescribed constant multiple of $\log n$. More precisely, for every fixed $C>1$, we obtain infinitely many $n$ such that $f(n)>(C-o(1))\log n$. Hence $$ \limsup_{n\to\infty} f(n)/\log n=\infty. $$ The construction uses a short-multiplier sieve built from $L_M=\mathrm{lcm}(1,\ldots,M)$, a $Q_M=M!/L_M$ box formulation, and a dyadic fixed-$\Omega$ product-shell localization. The analytic input is Timofeev's large-$\Omega$ mean-in-progressions method, used in a localized lower-cutoff form.

Non-Vanishing of Cubic Twists of $GL_n(\mathbb{Q})$ $L$-functions
math.NT


Sayan Ghosh, Pratim Mitra

Let $\pi$ be an irreducible, cuspidal automorphic representation of $GL_n(\mathbb{A}_\mathbb{Q})$ ($n\geq 3$), which is tempered only for $n=3$. Let $s$ be a complex number such that $\Re(s)\notin \left[1/n, 1-1/n\right]$ if $n\neq 4$; $\Re(s)\notin\left[1/5, 4/5\right]$ if $n=4$, then we show that there are infinitely many primitive cubic Dirichlet characters $\chi$ such that $L(s,\pi\times \chi)\neq 0$. Similar results were previously known only for primitive Dirichlet characters without any restriction on the order and quadratic Dirichlet characters.

On the Gauss circle problem over smooth numbers
math.NT


Peng Gao

The Gauss circle problem concerns with the evaluation of $\sum_{n \leq x}r(n)$, where $r(n)$ denotes the number of representations of $n$ as sums of two squares and $x \geq 2$. Let $\Psi_G(x,y)$ denote the sum of $y$-smooth numbers below $x$ weighted by $r(n)$. In this paper, we evaluate $\Psi_G(x,y)$ asymptotically for certain ranges of $x \geq y \geq 2$.

On D-cap-Modules of Finite Length on Rigid Analytic Spaces
math.NT
math.AG


Julian Reichardt

We show that for quasi-compact smooth rigid analytic spaces, the extension functor sends holonomic D-modules to coadmissible D-cap-modules which are of finite length as weakly holonomic D-cap-modules. Using this, we show that the meromorphic connections considered by Bode--Bitoun and the local cohomology groups considered by Ardakov--Bode--Wadsley are of finite length as weakly holonomic D-cap-modules for quasi-compact smooth rigid analytic spaces. As a central tool, we introduce and study Hilbert polynomials for finitely generated modules over completed Weyl algebras.

Linear Bounds for Differentiable Limits of Weak Pair Correlation Functions
math.NT


Christian Wei{\ss}

For $s \geq 0$ and a parameter $0 < \beta < 1$, the weak pair correlation function $f_{N,\beta}(s)$ for the first $N \in \mathbb{N}$ elements of a sequence $(x_n)_{n \in \mathbb{N}} \subset[0,1]$ is evidently non-decreasing in $s$. Moreover, it satisfies $\lim_{N \to \infty} f_{N,\beta}(0) = 0$ if the elements of $(x_n)_{n \in \mathbb{N}}$ are distinct. Beyond these basic observations, little is known in general about the behavior of the limiting function. In this note, we investigate the situation in which the limit $f_\beta(s)=\lim_{N\to\infty} f_{N,\beta}(s)$ exists for all $s\ge 0$ and is differentiable in a neighborhood of the origin. Under these assumptions, we establish the bounds $2s \le f_\beta(s) \le f'_\beta(0)\, s,$ thereby providing general constraints on the limiting function.

Joint Sato-Tate Laws for Transformations of Hecke Eigenvalues: The Vertical Case
math.NT


Mohammad H. Hamdar, Tian Wang

We introduce a framework within which a large class of joint equidistribution problems can be studied and resolved with effective error terms. This involves proving a higher dimensional and $\mu$-analogue of the Erd\"{o}s-Tur\'{a}n inequality, and utilizing the theory of the Hardy-Krause (H-K) variation from analysis, where, in particular, we formulate a technique to approximate a broad class of relevant functions by functions of bounded H-K variation. Our main focus will be on the vertical Sato-Tate problem for spaces of cusp forms and for families of elliptic curves over finite fields. In particular, we obtain novel results concerning the distribution of arithmetic relations, and, more generally, multi-dimensional functions of Fourier coefficients and Frobenius traces.

The asymptotic oscillations of moments related to Dirichlet series with missing digits
math.NT


Jean-François Burnol

We prove that the (suitably rescaled) moments of certain discrete measures on the unit interval, which are related to the numerical evaluation of zeta series with missing digits in radix $b$, are asymptotically $1$-periodic in the base $b$ logarithm of the index, i.e. asymptotically invariant under multiplication by $b$ of the index.

On the hull of linearized polynomial codes
cs.IT
math.IT
math.NT


Daniele Bartoli, Giovanni Giuseppe Grimaldi, Pantelimon Stănică

Motivated by entanglement-assisted quantum error-correcting codes, where the hull dimension determines the number of required pre-shared entangled pairs, we study hulls of two families of $\mathbb{F}_q$-linear codes defined by $q$-polynomial operators over $\mathbb{F}_{q^m}$. Our main tool is a unified Gram-matrix method. For image codes $\mathcal{C}(\boldsymbol{\alpha})=\operatorname{im}\Phi_{\boldsymbol{\alpha}}$, with $\Phi_{\boldsymbol{\alpha}}=\sum_i\alpha_iF_i$, we prove the master hull--rank formula $\dim\operatorname{Hull}(\mathcal{C}(\boldsymbol{\alpha}))=\operatorname{rank}(\Phi_{\boldsymbol{\alpha}})-\operatorname{rank}(G(\boldsymbol{\alpha}))$, where $G(\boldsymbol{\alpha})$ is the associated Gram matrix over $\mathbb{F}_q$. Specializing to $C_{\lambda,\mu}=\operatorname{im}(\lambda x+\mu L(x))$, we obtain a quadratic Gram pencil $\lambda^2G_0+\lambda\mu G_1+\mu^2G_2$ whose determinant describes the LCD locus in $\mathbb{P}^1(\mathbb{F}_q)$. We also treat $\mathbb{F}_{q^m}$-linear rank-distance codes $\mathcal{C}=\langle X,F_1,\ldots,F_k\rangle_{\mathbb{F}_{q^m}}$ with the Delsarte inner product, where a $k\times k$ Gram matrix over $\mathbb{F}_{q^m}$ determines the hull dimension. For $L(X)=X^{q^k}$, with $d=\gcd(k,m)$, the resulting circulant Gram matrices yield a closed-form discriminant and a complete classification in three of the four bijectivity configurations over $\mathbb{P}^1(\mathbb{F}_{q^m})$. In the remaining case, the hull dimension equals $\delta=\dim_{\mathbb{F}_q}(\operatorname{im}\phi_{\lambda,\mu}\cap\ker\phi_{\lambda,\mu}^{\dagger})$, and the extremal condition $\delta=d$ is characterized by an explicit trace-isotropy criterion. We conclude with an exact count of LCD and non-LCD points, showing that the LCD density tends to $1$ as $q\to\infty$, together with a worked example over $\mathbb{F}_{64}$ and a SageMath verification.

A Milestone in Formalization: The Sphere Packing Problem in Dimension 8
math.MG
cs.AI
cs.LO
math.NT


Sidharth Hariharan, Christopher Birkbeck, Seewoo Lee, Ho Kiu Gareth Ma, Bhavik Mehta, Auguste Poiroux, Maryna Viazovska

In 2016, Viazovska famously solved the sphere packing problem in dimension $8$, using modular forms to construct a 'magic' function satisfying optimality conditions determined by Cohn and Elkies in 2003. In March 2024, Hariharan and Viazovska launched a project to formalize this solution and related mathematical facts in the Lean Theorem Prover. A significant milestone was achieved in February 2026: the result was formally verified, with the final stages of the verification done by Math, Inc.'s autoformalization model 'Gauss'. We discuss the techniques used to achieve this milestone, reflect on the unique collaboration between humans and Gauss, and discuss project objectives that remain.

Eleven, twelve, and thirteen lonely runners
math.CO
cs.DM
math.NT


Touch Sungkawichai, Tanupat Trakulthongchai

Wills conjectured that, for any non-zero integers $u_1,\ldots,u_k$, there is a real number $t$ such that, for all $i=1,\ldots,k$, \[\lVert tu_i\rVert\geq\frac{1}{k+1},\] where $\lVert x\rVert$ is the distance from $x$ to the closest integer. This statement is known as the Lonely Runner Conjecture. A computational method developed by Rosenfeld and the second author verified the conjecture for $k\leq9$. We further refine this method with new sieving techniques and employ a polynomial method argument to show that any $(u_1,\ldots,u_k)\equiv(1,2,\ldots,k)\pmod{p}$ with $\gcd(u_1,\ldots,u_k)=1$ satisfies the conjecture when $k+1$ and $p > k^2+k$ are both odd primes. Ultimately, we provide a computer-assisted proof of the Lonely Runner Conjecture for $k\in\{10,11,12\}$.

Dimension of the motivic Galois group of a 1-motive
math.AG
math.NT


Cristiana Bertolin

We compute the dimension of the motivic Galois group of a 1-motive M defined over the field of complex numbers, expressing it explicitly in terms of the rank of the multiplicative group generated by the points defining M. As an application, we obtain a new formulation of the Grothendieck--Andr\'e periods Conjecture in the setting of 1-motives.

A Necessary and Sufficient Condition for Uniqueness of Euclidean Division
math.AC
math.NT
math.RA


Senan Sekhon

A well-known result from the 1960s characterizes all Euclidean domains in which division is guaranteed to produce a unique quotient and remainder. As this relies on the historical (and more restrictive) definition of a Euclidean domain, the question of whether the result still holds under the modern definition was left open. In this paper, we prove the answer is afirmative.

Newman's Tauberian theorem, the Riemann-Lebesgue Lemma, and abstract analytic number theory
math.CV
math.NT


Jan-Christoph Schlage-Puchta, Christoph Schwerdt

We give a generalized and effective version of Bekehermes' improvement of Newman's Tauberian theorem. To do so we prove an effective version of the Riemann-Lebesgue Lemma for functions of bounded $p$-variation. We apply our Tauberian theorem to abstract analytic semigroups and prove a version of the prime number theorem as well as an estimate for Mertens' function with explicit error term.

On classical doubling method gamma factors for certain depth zero representations
math.RT
math.NT


Johannes Girsch, Elad Zelingher

Piatetski-Shapiro--Rallis discovered an integral representation construction, known as the doubling method, for the tensor product $L$-function of a cuspidal automorphic representation of $G \times \mathrm{GL}_1$, where $G$ is a classical group. Lapid--Rallis defined and studied the counterpart local factors. In this article, following Lapid--Rallis, we define and study an analogous doubling method gamma factor associated to irreducible representations of classical finite groups of Lie type. We prove that this gamma factor is multiplicative and use results of Yost-Wolff--Zelingher to give explicit formulas for it in terms of the Deligne--Lusztig data of the representation in the non-conjugate-dual character case. Finally, we relate our construction to the local construction of Lapid--Rallis via certain depth zero supercuspidal representations of classical groups.

Faulhaber's formula, Bernoulli numbers, power sums of natural numbers and totatives and the functional equation $f(x)+x^k=f(x+1)$
math.NT
math.CO
math.HO
v2


Chai Wah Wu

In modern usage the Bernoulli numbers and Bernoulli polynomials follow Euler's approach and are defined using generating functions. We consider the functional equation $f(x)+x^k=f(x+1)$ and show that a solution can be derived from Faulhaber's formula for the sum of powers that provide a characterization of Bernoulli numbers and related results. We then use these results to study sums of powers of totatives of $n$ that are less than $\frac{n}{2}$. In particular, we show that, like the case of the sum of powers of all totatives, the sum of powers of this half of the totatives can also be expressed as a linear combinations of Dirichlet inverses of Jordan totients of odd degrees.

A universal Euler system for GSp(4)
math.NT
v2


David Loeffler, Sarah Livia Zerbes

In our earlier work with Christopher Skinner (J. Eur. Math. Soc 24 (2022), no. 2; DOI 10.4171/JEMS/1124; Arxiv 1706.00201), we constructed Euler systems for the 4-dimensional spin Galois representations corresponding to automorphic forms for GSp(4). This construction depended on various arbitrary choices of local test data. In this paper, we use multiplicity-one results for smooth representations to determine how these Euler system classes depend on the choice of test data, showing that all of these classes lie in a 1-dimensional space and are explicit multiples (given by local zeta-integrals) of a "universal" class independent of the choice of test data.

Counting integer matrices with square-free determinants
math.NT
v3


Alina Ostafe, Igor E. Shparlinski

We consider the set $\mathcal M_n\left(\mathbb Z; H\right)$ of $n\times n$-matrices with integer elements of size at most $H$ and obtain and asymptotic formula on the number of matrices from $\mathcal M_n\left(\mathbb Z; H\right)$ with square-free determinants. We also use our approach with some further enhancements, to obtain an asymptotic formula for the sums of the Euler function with determinants of matrices from $\mathcal M_n\left(\mathbb Z; H\right)$.

Quantitative correlations and some problems on prime factors of consecutive integers
math.NT
v2


Terence Tao, Joni Teräväinen

We consider several old problems involving the number of prime divisors function $\omega(n)$, as well as the related functions $\Omega(n)$ and $\tau(n)$. Firstly, we show that there are infinitely many positive integers $n$ such that $\omega(n+k) \leq \Omega(n+k) \ll k$ for all positive integers $k$, establishing a conjecture of Erd\H{o}s and Straus. Secondly, we show that the series $\sum_{n=1}^{\infty} \omega(n)/2^n$ is irrational, settling a conjecture of Erd\H{o}s. Thirdly, we prove an asymptotic formula conjectured by Erd\H{o}s, Pomerance and S\'ark\"ozy for the number of $n\leq x$ satisfying $\omega(n)=\omega(n+1)$, for almost all $x$, with similar results for $\Omega$ and $\tau$. Common to the resolution of all these problems is the use of the probabilistic method. For the first problem, this is combined with computations involving a high-dimensional sieve of Maynard-type. For the second and third problems, we instead make use of a general quantitative estimate for two-point correlations of multiplicative functions with a small power of logarithm saving that may be of independent interest. This correlation estimate is derived by using recent work of Pilatte.

On the sizes of the maximal prime powers divisors of factorials
math.NT
v3


Dan Levy

Let p be any prime, and $p^(\nu_p(n!))$ the maximal power of $p$ dividing $n!$. It is proved that there exists a positive integer $n_0$, which depends only on $p$, such that $q^(\nu_q(n!)) < p^(\nu_p(n!))$ for all $n \ge n_0$ and all primes $q > p$. For twin primes $p$ and $q = p + 2$ it is proved that the minimal $n_0$ satisfying $q^(\nu_q(n!)) < p^(\nu_p(n!))$ for all $n \ge n_0$ is given by $n_0 = (p^2+p)/2$.

Nontrivial torsion in the Tate--Shafarevich group of elliptic curves via visibility and twists
math.NT
v2


Asuka Shiga

Let $\ell$ be an odd prime. We study the visibility theorem for certain elliptic curves over $\mathbb{Q}$ with additive reduction at $\ell$, and deduce the existence of nontrivial $\ell$-torsion in $\Sha(E^D/\mathbb{Q})$ for suitable quadratic twists $E^D$. As an application for $\ell=3$, we exhibit pairs of non-isomorphic elliptic curves with the same BSD invariants, Kodaira symbols, and minimal discriminants, whose Tate--Shafarevich groups are isomorphic and have nontrivial $3$-primary parts.

ABC implies that Ramanujan's tau function misses almost all primes
math.NT
v3


David Kurniadi Angdinata, Evan Chen, Chris Cummins, Ben Eltschig, Dejan Grubisic, Leopold Haller, Letong Hong, Andranik Kurghinyan, Kenny Lau, Hugh Leather, Seewoo Lee, Simon Mahns, Aram H. Markosyan, Rithikesh Muddana, Ken Ono, Manooshree Patel, Gaurang Pendharkar, Vedant Rathi, Alex Schneidman, Volker Seeker, Shubho Sengupta, Ishan Sinha, Jimmy Xin, Jujian Zhang

Lehmer conjectured that Ramanujan's tau-function never vanishes. In a related direction, a folklore conjecture asserts that infinitely many primes arise as absolute values of Ramanujan's tau-function. Recently, Xiong showed that these prime values form a subset of the primes with density at most $2/11$. Assuming the $abc$ Conjecture, we prove the stronger upper bound \[ S(X):=\#\{\ell\le X:\ \ell\ \text{prime and } |\tau(n)|=\ell \text{ for some } n\ge 1\} = O(X^{13/22}), \] which implies that Ramanujan's tau-function misses a density 1 subset of the primes. We give a heuristic suggesting that $S(X)$ should nevertheless be infinite, with predicted order of magnitude \[ S(X)\asymp \frac{C X^{\frac{1}{11}}}{(\log X)^2}. \] The main engine in this note was formalized and produced automatically in Lean/Mathlib by AxiomProver from a natural-language statement of the problem.

Character Sheaves on Tori over Local Fields
math.RT
math.NT
v2


Tanmay Deshpande, Saniya Wagh

Let $\breve{K}$ be a complete discrete valuation field with an algebraically closed residue field ${k}$ and ring of integers $\breve{{O}}$. Let $T$ be a torus defined over $\breve{K}$. Let $L^+T$ denote the connected commutative pro-algebraic group over ${k}$ obtained by applying the Greenberg functor to the connected N\'eron model of $T$ over $\breve{{O}}$. Following the work of Serre for the multiplicative group, we first compute the fundamental group $\pi_1(L^+T)$. We then study multiplicative local systems (or character sheaves) on $L^+T$ and establish a local Langlands correspondence for them. Namely, we construct a canonical isomorphism of abelian groups between the group of multiplicative local systems on $L^+T$ and inertial local Langlands parameters for $T$. Finally, we relate our results to the classical local Langlands correspondence for tori over local fields due to Langlands, via the sheaf-function correspondence.

An Unsure Note on an Un-Schur Problem
math.CO
math.NT
v2


Olaf Parczyk, Christoph Spiegel

Graham, R\"odl, and Ruci\'nski originally posed the problem of determining the minimum number of monochromatic Schur triples that must appear in any 2-coloring of the first $n$ integers. This question was subsequently resolved independently by Datskovsky, Schoen, and Robertson and Zeilberger. Here we suggest studying a natural anti-Ramsey variant of this question and establish the first non-trivial bounds by proving that the maximum fraction of Schur triples that can be rainbow in a given $3$-coloring of the first $n$ integers is at least $0.4$ and at most $0.66364$. We conjecture the lower bound to be tight. This question is also motivated by a famous analogous problem in graph theory due to Erd\H{o}s and S\'os regarding the maximum number of rainbow triangles in any $3$-coloring of $K_n$, which was settled by Balogh et al.

A sparse canonical van der Waerden theorem
math.CO
math.NT
v2


José D. Alvarado, Yoshiharu Kohayakawa, Patrick Morris, Guilherme O. Mota, Miquel Ortega

The canonical van der Waerden theorem asserts that, for sufficiently large $n$, every colouring of $[n]$ contains either a monochromatic or a rainbow arithmetic progression of length $k$ ($k$-AP, for short). In this paper, we determine the threshold at which the binomial random subset $[n]_p$ almost surely inherits this canonical Ramsey type property. As an application, we show the existence of sets $A\subseteq [n]$ such that the $k$-APs in $A$ define a $k$-uniform hypergraph of arbitrarily high girth and yet any colouring of $A$ induces a monochromatic or rainbow $k$-AP.

Locally-APN Binomials with Low Boomerang Uniformity in Odd Characteristic
cs.IT
math.IT
math.NT
v2


Namhun Koo, Soonhak Kwon, Minwoo Ko, Byunguk Kim

Recently, several studies have shown that when $q\equiv3\pmod{4}$, for certain choices of $r$, the function $F_r(x)=x^r+x^{r+\frac{q-1}{2}}$ defined over $\Fq$ is locally-APN and has boomerang uniformity at most~$2$. In this paper, we extend these results by showing that if there is at most one $x\in \Fq$ with $\chi(x)=\chi(x+1)=1$ satisfying $(x+1)^r - x^r = b$ for all $b\in \Fqmul$ and $\gcd(r,q-1)\mid 2$, then $F_r$ is locally-APN with boomerang uniformity at most $2$. Moreover, we study the differential spectra of $F_3$ and $F_{\frac{2q-1}{3}}$, and the boomerang spectrum of $F_2$ when $p=3$.

Construction of Local Arthur Packets for Metaplectic Groups and the Adams Conjecture
math.RT
math.NT
v2


Jiahe Chen

In this article, we explicitly construct local Arthur packets for metaplectic groups over non-Archimedean local fields of characteristic zero. Our construction is a generalization of Atobe's construction of local Arthur packets for classical groups. As a result, we prove that the local Arthur packets are multiplicity free. Moreover, we generalize Moeglin's earlier work about the Adams conjecture to metaplectic groups.

Eigenforms and graphs of Hecke operators with wild ramification
math.AG
math.NT
math.RT
v3


Rudrendra Kashyap, Vladyslav Zveryk

Hecke operators on moduli of bundles over a global function field become substantially more complicated in the presence of ramification. We show that far enough in the Harder-Narasimhan cone of $\mathrm{Bun}_G$, this extra complexity has a simple structure, which allows to reduce most of the study to the unramified case. Using the theory of graphs of Hecke operators, we transform this statement into a combinatorial condition. Utilizing the combinatorial language, we obtain tight bounds, and for generic eigenvalues exact formulas for the dimensions of Hecke eigenspaces with arbitrary ramification for $\mathrm{Bun}_{\mathrm{PGL}_2}$. Moreover, our methods allow to construct eigenforms explicitly.

Global Product Intersection Sets in Semigroups
math.CO
math.GR
math.NT
v2


Wouter van Doorn, Pietro Monticone, Quanyu Tang

For a family $(A_q)_{q\in Q}$ of subsets of a semigroup, the product intersection set records those exponents $h \in \mathbb{N}$ for which the $h$-fold product set of the intersection, $(\bigcap_q A_q)^h$, is equal to $\bigcap_q A_q^h$, the intersection of the product sets. Nathanson recently asked which subsets of $\mathbb{N}$ can occur as a product intersection set, both for arbitrary and for decreasing families $(A_q)_{q\in Q}$. We solve both problems by giving a complete classification. In particular, when $|Q| \ge 2$, we show that in either case any subset $X \subseteq \mathbb{N}$ with $1 \in X$ occurs as a product intersection set. Both classifications were autonomously discovered and formally verified in Lean by Aristotle, a formal reasoning agent developed by Harmonic.