https://arxiv.org/api/1YN+7p10TgnSqJ4DiFXly00fEWs 2026-06-24T10:11:39Z 49324 780 15 http://arxiv.org/abs/2604.25198v2 2026-05-19T11:10:56Z

We construct the local Langlands correspondence of essentially unipotent supercuspidal representations under the framework of rigid inner forms and prove a certaion functoriality and compatibilities. This result is stronger than the analogous one in [Sol20], which did not care about rigidifications of inner twists. We also generalize this correspondence for disconnected reductive groups. We expect to use this result for extension of the explicit local Langlands correspondence in [Kal21] for more general supercuspidal representations.

2026-04-28T04:08:18Z Add Section 4.1, clarify some proofs, and remove the mild condition in Theorem 1.2 Amoru Fujii http://arxiv.org/abs/2605.19582v1 2026-05-19T09:25:12Z

We prove that the inhomogeneous variant of Khintchine's Theorem holds in dimension $2$ without any monotonicity assumption. This resolves the last remaining case in the metric theory of inhomogeneous Diophantine approximation: while the monotonicity assumption is known to be unnecessary in dimensions $m\geq 3$ and necessary in dimension $m=1$, the two-dimensional case has remained open. It also settles the final outstanding case of a Khintchine--Groshev-type theorem for the approximation of systems of linear forms, confirming a conjecture of the first and third authors. Our results bring the inhomogeneous theory of metric Diophantine approximation into alignment with its homogeneous counterpart.

2026-05-19T09:25:12Z 39 pages Demi Allen Manuel Hauke-Treuer Felipe A. Ramírez http://arxiv.org/abs/2605.17645v2 2026-05-19T09:21:11Z

We introduce a class of J-self-adjoint causal operator pencils whose spectral determinants exactly encode the local Euler factors of L-functions. Driven by a fractional causal kernel z^{-1/2}, these operators manifest a rigid arithmetic encoding hierarchy governed by the geometric genus g of their spectral curves. For g=0, a unique pencil recovers the Euler factors of the Riemann zeta(s). For g=1, we prove a universal Euler matching theorem: every 2x2 causal pencil canonically encodes the local factors of an elliptic curve E/Q, with the operator invariants mapping dominantly onto the elliptic moduli space. We resolve the arithmetic obstructions of quadratic twists and inert primes via the topological reality of the operator basepoints. For g=infinity, discrete encoding capacity provably collapses into continuous transcendental spectral measures. As applications, we provide new operator-theoretic proofs of the CM Sato-Tate distribution and establish an unconditional interpolation obstruction, proving that global L-functions are structurally inaccessible to any single local operator. Finally, we assemble the global restricted tensor product of these local Krein spaces. We demonstrate that the Hilbert-Pólya realisation for zeta(s) reduces strictly to a single explicit convergence hypothesis on the global resolvent trace, which we state as a precise conjecture.

2026-05-17T20:46:30Z 85 pages, 0 figures. Introduces J-self-adjoint causal pencils whose spectral determinants encode the local Euler factors of elliptic L-functions. 6 more operatores than previous version Kejun Liu http://arxiv.org/abs/2605.19566v1 2026-05-19T09:12:15Z

Let $N$ be a sufficiently large, odd integer. We prove an asymptotic formula for the number of representations of $N$ as the sum of three primes, one of which is smaller than a given $U$. By inserting the currently best zero-density estimate for Dirichlet $L$-functions, we may unconditionally take $U= N^{\frac{4}{49}}\exp(\log^{\frac{2}{3}+\varepsilon}N)$ for any $\varepsilon>0$. If we assume the Generalized Riemann Hypothesis instead, we may take $U= \log^{4+\varepsilon}N$.

2026-05-19T09:12:15Z Michael Harm http://arxiv.org/abs/2507.15334v2 2026-05-19T08:20:43Z

Given a zero-free region and an averaged zero-density estimate over all Dirichlet $L$-functions modulo $q\in\mathbb{N}$, we refine the error terms of the prime number theorem in all and almost all short arithmetic progressions. For example, if we assume the Generalized Density Hypothesis, then for any arithmetic progression modulo $q\leq \log^{\ell} x$ with $\ell>0$ and any $\varepsilon>0$, the prime number theorem holds in all intervals $(x-\sqrt{x}\exp(\log^{\frac{2}{3}+\varepsilon} x),x]$ and almost all intervals $(x-\exp(\log^{\frac{2}{3}+\varepsilon} x),x]$ as $x\rightarrow\infty$. This refines the classic intervals $(x-x^{1/2+\varepsilon},x]$ and $(x-x^\varepsilon,x]$ for any $\varepsilon>0$.

2025-07-21T07:47:54Z Michael Harm http://arxiv.org/abs/2403.05078v2 2026-05-19T08:07:11Z

Let $G_1,\dots, G_n\in \mathbb{F}_p[X_1,\dots,X_m]$ be $n$ polynomials in $m$ variables over the finite field $\mathbb{F}_p$ of $p$ elements. For any sufficiently large prime $p$ and non-trivial bounds for the Weyl sums associated to the non-trivial linear combinations of $G=(G_1,\dots, G_n)$, we study various properties regarding the distribution of the vectors by fractional parts \begin{equation*} \bigg(\bigg\{ \frac{G_1(\textbf{x})}{p}\bigg\},\cdots,\bigg\{ \frac{G_n(\textbf{x})}{p}\bigg\}\bigg)\in \mathbb{T}^n,\hspace{10pt} \textbf{x}\in \mathbb{F}_p^m. \end{equation*} We prove refinements of equidistribution, such as bounds for the ball discrepancy and variance.

2024-03-08T06:13:32Z Finite Fields Th. Appl. 113 (2026) 102834 Michael Harm 10.1016/j.ffa.2026.102834 http://arxiv.org/abs/2605.19443v1 2026-05-19T06:56:44Z

The paper is a continuation of the paper of Kudla-Rapoport-Zink on $p$-adic uniformization of Shimura curves associated to a group of binary unitary similitudes. Here we consider two variants: first, the RSZ variant, for which we can allow any level which is maximal at the chosen special $p$-adic place where the group is anisotropic; second, the unitary group variant. The latter is based on an explicit determination of the integral local Shimura variety associated to an anisotropic unitary group over a $p$-adic local field.

2026-05-19T06:56:44Z 55 pages Michael Rapoport Haining Wang http://arxiv.org/abs/2605.19310v1 2026-05-19T03:45:29Z

We give an elementary, Fourier-free proof of Roth's theorem. The proof follows Roth's original density-increment strategy, but replaces the usual Fourier-analytic step with a direct combinatorial argument involving averages over sub-progressions.

2026-05-19T03:45:29Z 10 pages, no figures Mark Lewko http://arxiv.org/abs/2603.10356v2 2026-05-19T01:32:57Z

We prove an explicit analogue of Legendre's conjecture for almost primes. Namely, for every integer $n \geq 1$, the interval $(n^2,(n+1)^2)$ contains an integer having at most $3$ prime factors, counted with multiplicity. This improves the previous best result of Dudek and Johnston, who showed that every such interval contains an integer with at most $4$ prime factors. The proof is divided into two ranges. For $n^2 \leq 10^{31}$, we use prior computational results on primes in short intervals between consecutive squares, together with explicit bounds on maximal prime gaps. For $n^2 > 10^{31}$, we give a sieve-theoretic argument with explicit constants, adapting Richert's logarithmic weights to intervals between consecutive squares and employing an explicit linear sieve of Bordignon, Johnston, and Starichkova.

2026-03-11T03:10:12Z 15 pages, no figures. Revised version with expository changes Peter J. Campbell http://arxiv.org/abs/2604.08818v3 2026-05-19T01:18:31Z

In 1953 LeVeque proved the existence of $U_m$-numbers by showing that for some specially defined Liouville number $λ$, the $m$th root $λ^{1/m}$ is in $U_m$. In this article we study the following question: let $u$ be an algebraic function of degree $m$ and $λ$ a Liouville number; under which conditions is $u(λ)$ a $U_m$-number? We consider a more refined notion of $\mathcal{L}$-numbers, and show that, under very general assumptions, an algebraic function of degree $m$ takes $U_m$-values at all $\mathcal{L}$-numbers.

2026-04-09T23:17:42Z Updated following referee's suggestions Yuri Bilu Diego Marques http://arxiv.org/abs/2605.19177v1 2026-05-18T22:58:22Z

In this paper we establish a formal connection between the structure of ideals in integers rings and the theory of additive combinatorics. For integers rings with cyclic class groups, we prove a structural theorem demonstrating that every non-zero ideal can be decomposed into a maximal principal part and a product of ideals whose total length is bounded by the Davenport constant. With this decomposition we find divisors for generators of the ideal $I=(α, β)$. The central result of this work is the derivation of a closed formula using character theory over finite abelian groups to count the exact number of zero-sum subsequences of a given sequence. Under the established correspondence between principal ideals and zero-sum sequences, this formula provides a precise counting of the principal ideal divisors of any given ideal, and therefore counting common divisors of generators of the ideal $I=(α,β)$. This result constitutes a natural generalization of the classical divisor function $d_0(n)$ from unique factorization domains to any Dedekind domain with a finite class group. Finally, we characterize irreducible elements in $\mathcal{O}_K$ based on the counting of these zero-sum subsequences.

2026-05-18T22:58:22Z 10 pages, 0 figures, research Ángel Martínez-Avelar Mario Pineda-Ruelas http://arxiv.org/abs/2605.19165v1 2026-05-18T22:40:26Z

Extending our work on the $k$-tuple conjecture, we previously applied those methods to the Engelsma counterexamples (narrow constellations) of length $J=459$ and span $|s|=3242$. Here we extend that analysis to the $116$ Engelsma counterexamples of length $J=458$ and $|s|=3240$. We track the evolution of these $116$ counterexamples from inadmissible driving terms starting in the cycle of gaps ${\mathcal G}(11^\#)$ up through their first appearance in ${\mathcal G}(113^\#)$. We continue developing primorial coordinates for each admissible instance through a breadth-first exhaustive search through ${\mathcal G}(211^\#)$. Each of the $(458,3240)$ constellations sits inside a $(459,3242)$ constellation, which we call its {\em parent}. We show that no $(458,3240)$ constellation occurs outside of its parent until the cycle ${\mathcal G}(227^\#)$. The early evolution of the $(458,3240)$ constellations is dominated by the evolution of their parents, which we have previously studied. For each $(458,3240)$-counterexample we calculate its asymptotic relative population, among other constellations of length $J=458$.

2026-05-18T22:40:26Z 14 pages, 7 figures Fred B. Holt http://arxiv.org/abs/2605.19105v1 2026-05-18T20:47:26Z

We prove a quantitative Halász theorem for multiplicative functions on the nonzero ideals of $\mathbb{Z}[i]$, with bounds controlled by pretentious distance to the Archimedean characters $N^{it}$. We also prove a sectorial analogue: under angular non-pretentiousness, the sum of $f$ over ideals lying in a fixed sector is asymptotically given by the expected proportion of the unrestricted sum. Finally, under angular non-pretentiousness and a non-degeneracy condition on conjugate prime pairs, we prove a sectorial short-interval version of the Halász theorem for annular sectors whose radial thickness tends to infinity. The proof of the sectorial short-interval Halász theorem uses angular Fourier expansion, norm-compression to multiplicative functions on $\mathbb{N}$, and a theorem of Mangerel.

2026-05-18T20:47:26Z 33 pages, no figures Jan Kuś http://arxiv.org/abs/2511.13898v2 2026-05-18T19:34:32Z

We prove two unconditional upper bounds on the gaps between ordinates of consecutive non-trivial zeros of a general $L$-function $L(s)$. This extends previous work of Hall and Hayman (2000) on the Riemann zeta-function and work of Siegel (1945) on Dirichlet $L$-functions. Interestingly, we observe that while Hall and Hayman's method gives a sharper estimate when the degree of $L(s)$ is sufficiently small compared to the analytic conductor, Siegel's method does better in the other regime.

2025-11-17T20:48:41Z To appear in Expo. Math Tianyu Zhao http://arxiv.org/abs/2605.19013v1 2026-05-18T18:35:07Z

We give a complete classification of all Salem polynomials of length 5. For length 6 we show that all but finitely many Salem polynomials lie in one of 12 infinite families, and subject to Lehmer's Conjecture we give a complete list of the 126 exceptions. We provide a table of short polynomials for all known Salem numbers below the smallest Pisot number.

2026-05-18T18:35:07Z 21 pages, 4 tables James McKee Chris Smyth