https://arxiv.org/api/CkBgegC9L+HFF6Egam0Z5aDeJ58 2026-06-25T14:14:10Z 49346 810 15 http://arxiv.org/abs/2605.19898v1 2026-05-19T14:31:18Z

We explore log Manin's conjecture for integral points and its connections to $\mathbb A^1$-connectedness. We prove log Manin's conjecture for Campana rational curves and for $\mathbb A^1$-curves on split toric varieties. Our arguments combine the Cox ring description of the moduli space of rational curves with Batyrev's heuristic-type counting arguments. As our proofs are geometric in nature, they give a geometric explanation of the mysterious leading constant for Campana points proposed by Chow--Loughran--Takloo-Bighash--Tanimoto.

2026-05-19T14:31:18Z 47 pages Qile Chen Brian Lehmann Sho Tanimoto http://arxiv.org/abs/2605.19773v1 2026-05-19T12:41:57Z

For the mixed CM point (a,b,c) = (1/6, 1/3, 1), define A_n^{mix} := 108^n [z^n] _2F_1(1/6, 1/3; 1; z)^3. For every split prime p >= 7, p == 1 mod 3, and every m >= 1, we prove unconditionally A_{mp}^{mix} == A_m^{mix} mod p^4. The exponent 4 exceeds the generic weight-3 Hodge-gap prediction of 3; the extra factor of p is a CM enhancement attached to j=0. We also establish the matching unconditional inert-prime obstruction (p == 2 mod 3), both as a formal-parameter congruence on the q-side and as a coefficient-level Cartier parity law modulo p. The proof uses the modular realization on Gamma_0(3) with parameter t = u/(1+27u)^2, a Lagrange-Burmann reduction to three Cartier identities Lambda_p(C_mix U_p^l) == 0 mod p^4 for l = 1,2,3, a saturated weak q-expansion lattice on the rigidified stack X_0(3) handling vertical integrality, and a length-three Witt-Cartier pole estimate at the elliptic point P_- driven by mu_3-equivariance of the canonical Frobenius lift.

2026-05-19T12:41:57Z 29 pages Alex Shvets http://arxiv.org/abs/2605.21524v1 2026-05-19T12:13:59Z

In this paper, we investigate the combinatorial structure and asymptotic distribution of the solution set of the equation $σ(n+1) = kσ(n)$ for a given integer $k>1$. From a combinatorial perspective, the solutions to this equation are closely related to the concept of $k$-layered numbers, which are a generalization of Zumkeller numbers. In the analytic section, which constitutes the core of this research, we employ the framework of probabilistic number theory and an extension of the classical Kubilius model to study the oscillatory and local behavior of the sum-of-divisors function. Utilizing the truncation technique for arithmetic functions and applying the Chinese Remainder Theorem, the problem is reduced to a synthetic measure space equipped with independent random variables. Subsequently, by applying the optimized version of the Kolmogorov-Rogozin anti-concentration inequality (Petrov's theorem) to the difference of additive variables and finely tuning the error parameters, we prove that the natural density of this set is zero. The main quantitative outcome of this approach is the derivation of the explicit upper bound $A_k(x) \ll_k \frac{x}{\sqrt{\log \log \log x}}$ for the counting function of the solutions. Finally, alongside the zero asymptotic density, relying on the framework of polynomials and Schinzel's H Hypothesis, we establish the conditional infinitude of the solution set for the case $k=2$ and formulate the existential results.

2026-05-19T12:13:59Z Amirali Fatehizadeh 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