https://arxiv.org/api/zxmQUZUuPZ0xepgI9ICsFNSnWE8 2026-06-24T11:13:27Z 49324 795 15 http://arxiv.org/abs/2605.18996v1 2026-05-18T18:14:29Z

This memoir is a survey of theorems and inequalities which have grown out of, and extended, the seminal estimate of Montgomery \cite{HM70} \begin{multline*} V(x,Q)=\sum_{q\le Q}\sum_{\substack{a=1\\ (a,q)=1}}^q \left| ψ(x;q,a) - \frac{x}{φ(q)} \right|^2 \\ = Qx\log x + \textstyle O\big(Qx\log\frac{2x}{Q}\big) + O\big(x^2(\log x)^{-A}\big)., \end{multline*}

2026-05-18T18:14:29Z Robert C. Vaughan http://arxiv.org/abs/2410.18389v5 2026-05-18T17:36:51Z

An abelian variety $A/K$ is heavenly at $\ell$ if the extension $K(A[\ell^\infty])/K(μ_{\ell^{\infty}}\!)$ is both pro-$\ell$ and unramified away from $\ell$. It is known that for a fixed quadratic field $K$, the number of $K$-isomorphism classes of heavenly elliptic curves is finite, even running over all primes $\ell$. We prove a complementary result, that for a fixed prime $\ell\geq 7$, there are only finitely many such classes, even running over all quadratic fields. This naturally raises the question of whether to expect a finiteness result when both $K$ and $\ell$ are allowed to vary. We demonstrate similarities in the behavior of heavenly elliptic curves and elliptic curves with complex multiplication, in terms of their Frobenius traces modulo $\ell$. We determine the complete list of heavenly elliptic curves defined over quadratic fields with complex multiplication and with irrational $j$-invariant (up to isomorphism). We include various extensions of our results to higher degree fields and higher-dimensional abelian varieties where possible.

2024-10-24T03:01:53Z 28 pages, 1 figure, 2 tables; minor corrections in sections 2, 5, 6 Cam McLeman Christopher Rasmussen http://arxiv.org/abs/2605.16240v2 2026-05-18T17:28:05Z

The $q$-analogue of an integer $m$ is given by $[m]_q=(1-q^m)/(1-q)$. Let $a$ be an integer, and let $n$ be a positive odd integer. Via discrete Fourier transforms, we establish the following two identities: $$\det\left[\left[\left\lfloor\frac{aj-(a+1)k}n\right\rfloor\right]_q\right]_{1\leqslant j,k\leqslant n}=-\left(\frac{a(a+1)}n\right)q^{(1-3n)/2}$$ and $$\det\left[\left[\left\lceil\frac{(a+1)j-ak}n\right\rceil\right]_q\right]_{1\leqslant j,k\leqslant n}=\left(\frac{a(a+1)}n\right)q^{(n-1)/2},$$ where $(\frac{\cdot}n)$ denotes the Jacobi symbol.

2026-05-15T17:48:24Z 10 pages. Correct typos and make Theorem 1.3 more general Zhi-Wei Sun http://arxiv.org/abs/2605.18676v1 2026-05-18T17:15:41Z

We establish discorrelation estimates between the Piatetski-Shapiro prime set \[ \mathcal{P}_γ := \{p \text{ is prime and } p = \lfloor n^{1/γ} \rfloor \text{ for some } n \in \mathbb{N}\} \] and arbitrary nilsequences when $γ\in (0,1)$ is sufficiently close to $1$. This extends earlier works which treated linear or polynomial exponential phase functions. As an application, we establish an asymptotic formula for the number of solutions in $\mathcal{P}_γ$ to any "finite-complexity" system of linear equations, including for the number of $k$-term arithmetic progressions in $\mathcal{P}_γ$ up to a threshold $N$ for any given $k \geq 3$. Furthermore, we show that there exists an absolute constant $C>0$ such that if \[ 1 - 2^{-Ck} < γ< 1, \] then the Piatetski-Shapiro primes $\mathcal{P}_γ$ contain infinitely many non-trivial $k$-term arithmetic progressions. This significantly improves upon the previous range of $γ$ obtained by Li and Pan, which is of triple exponential type.

2026-05-18T17:15:41Z 22 pages Xuancheng Shao Yu-Chen Sun http://arxiv.org/abs/2605.18644v1 2026-05-18T16:51:26Z

We try to find all quadruples of positive integers $(m,a,b,c)$ with $a \geq b \geq c$ such that there exists a distinct covering system with minimum modulus $m$ and least common multiple of the moduli $2^a 3^b 5^c$. We obtain complete description of all such quadruples when $m=2,3,4,5$, or $6$, except when $m=6$ and $b=c=1$. We also show that if the LCM of the moduli has only $2$, $3$, or $5$ as prime divisors, then $m \leq 9$ and construct a distinct covering system with $m=8$, $a=8$, $b=3$, and $c=2$. When a covering system exists for a quadruple $(m,a,b,c)$ we provide an example. Nonexistence of covering systems is established via integer programming or by using a new estimate on the density of a set covered by a system of congruences.

2026-05-18T16:51:26Z Joshua Harrington Jonah Klein Joshua Lowrance Ognian Trifonov http://arxiv.org/abs/2512.15407v5 2026-05-18T16:37:07Z

Let $\mathbb{N}$ be the set of natural numbers and $\mathcal{S}_r=\big\{1^r, 2^r, 3^r,\cdots\big\}$ the set of $r$-th powers, where $r\ge 2$ is a natural number. Let $\mathcal{W}_r$ be an additive complement of $\mathcal{S}_r$ and $$ f_r(n)=\#\big\{(w,m^r)\in \mathcal{W}\times \mathcal{S}_r: n=w+m^r\big\}. $$ Motivated by a 1993 conjecture of Cilleruelo, we show that $$ \sum_{n\le N}f_r(n)-N\gg_r N^{1-\frac{1}{r}}. $$ Previously, the bound was only proved for $r=2$. In the case $r=2$, the lower bound above can be made more explicit as $$ \sum_{n\le N}f_2(n)-N\gg N^{1/2}(\log N)^δ $$ for some absolute constant $δ>0$, which improves a $\log$ factor upon a recent result of Ding, Sun, Wang and Xia.

2025-12-17T12:57:36Z The title of the article is revised Yuchen Ding Csaba Sándor Zihan Zhang http://arxiv.org/abs/2605.18555v1 2026-05-18T15:35:56Z

The Wagstaff numbers $W_p = (2^p + 1)/3$ for odd primes $p$ are the natural $+1$ companions of the Mersenne numbers. Known primality proofs for $W_p$ with $p \geq 2617$ rely on the elliptic-curve primality proving algorithm of Atkin-Morain; Chebyshev/Lucas-type tests, while available as compositeness criteria, remain conjectural on the sufficiency side. We present fully verified primality proofs of $W_{2617}$ (788 digits), $W_{10501}$ (3161 digits), and $W_{12391}$ (3730 digits), independent of ECPP and relying only on classical $N-1$ machinery. The proofs apply the Brillhart-Lehmer-Selfridge (BLS) $N-1$ criterion to the cyclotomic decomposition $2^{p-1} - 1 = \prod_{d \mid p-1} Φ_d(2)$, harvesting factored content from the Cunningham project tables (used as evidence) and FactorDB (used only as a discovery aid, with every retrieved factor re-certified). As an independent check on the $\mathbb{Z}[\sqrt{2}]$ arithmetic implementation, the Chua $N+1$ congruence $ω_3^{(W_p + 1)/2} \equiv -1 \pmod{W_p}$ -- the $a=3$ case of the Chua framework with $ω_3 = 3 + 2\sqrt{2}$, a necessary condition for Wagstaff primality -- is verified at each $W_p$. BLS $N-1$ requires $p-1$ sufficiently smooth that enough cyclotomic factors $Φ_d(2)$ are fully factored. On the factorisation data consulted (Cunningham project tables and FactorDB, January-April 2026), $p = 10501$ and $p = 12391$ are the only exponents above $2617$ in the known Wagstaff prime/probable-prime list meeting this ceiling. Every cofactor primality is certified unconditionally by APR-CL; the method is independent of the Chebyshev sufficiency conjecture, and every step is reproducible from the archived scripts.

2026-05-18T15:35:56Z 11 pages. Code and certificates: https://doi.org/10.5281/zenodo.19645478 Alexey Dolotov http://arxiv.org/abs/2602.14586v2 2026-05-18T15:28:00Z

We give a new integral representation of the $\wedge^2 \otimes \mathrm{std}_2$ $L$-function of generic cusp forms on $\mathbf{GL}_4 \times \mathbf{GL}_2$ and $\mathbf{GU}_{2,2}\times \mathbf{GL}_2$. In the former case, we use it to prove a relation between its central $L$-value and the generalized Shalika period. Exploiting the theta correspondence for $(\mathbf{GL}_4,\mathbf{GL}_4)$, we further establish a relation between the central value of the $L$-function attached to the strongly tempered spherical pair $(\mathbf{GL}_4 \times \mathbf{GL}_2,\mathbf{GL}_2 \times \mathbf{GL}_2)$ and its corresponding period. In the case of cusp forms on $\mathbf{GL}_4 \times \mathbf{GL}_2$ that are unramified everywhere, our formulas give new evidence towards conjectures of Wan-Zhang and of Gan-Gross-Prasad for $\mathbf{GSpin}_6 \times \mathbf{GSpin}_3$.

2026-02-16T09:33:38Z 58 pages, strengthened Theorem A and rewrote the introduction accordingly Antonio Cauchi Armando Gutierrez Terradillos http://arxiv.org/abs/2604.04850v2 2026-05-18T14:39:58Z

In 1998, Bremner conjectured that elliptic curves over the rationals having long sequences of distinct rational points whose $x$-coordinates are in arithmetic progression, have large rank. This was proved some years ago in a strong form as a consequence of previous work by the authors, by a combination of Nevanlinna theory and the uniform Mordell--Lang theorem of Gao--Ge--Kühne. Thus, if the ranks of elliptic curves over the rationals are uniformly bounded, then so are the lengths of the aforementioned arithmetic progressions. In this note we give a much more direct proof of this last statement, using the height-uniform Mordell theorem of Dimitrov--Gao--Habegger. The method is flexible and we give a new application of these ideas to $x$-coordinates in finitely generated multiplicative groups and geometric progressions; connections to a possible semiabelian uniform Mordell--Lang are also discussed.

2026-04-06T16:52:27Z This version includes applications to finitely generated multiplicative groups, and the presentation has been updated accordingly Natalia Garcia-Fritz Hector Pasten http://arxiv.org/abs/2511.15240v2 2026-05-18T14:06:57Z

We establish a general construction of single-valued elliptic polylogarithms as functions on the once-punctured elliptic curve. Our formalism is an extension of Brown's construction of genus-zero single-valued polylogarithms to the elliptic curve: the condition of trivial monodromy for solutions to the Knizhnik-Zamolodchikov-Bernard equation is expressed in terms of elliptic associators and involves two representations of a two-letter alphabet. Our elliptic single-valued condition reduces to Brown's genus-zero condition upon degeneration of the torus. We provide several examples for our construction, including the elliptic Bloch-Wigner dilogarithm.

2025-11-19T08:49:12Z 25 pages, 3 appendices; v2: minor changes Konstantin Baune Johannes Broedel Yannis Moeckli http://arxiv.org/abs/2509.20259v3 2026-05-18T13:44:10Z

Given positive integers $h, N$ satisfying $1 \leqslant h \leqslant 2N^2$, we define $T(h,N)$ to be the number of $2\times 2$ integer matrices with determinant equal to $h$ whose entries lie in $[-N,N]$. Our main result states that for any $\varepsilon >0$, one has \[ T(h,N) = \frac{16}{ζ(2)} N^2 \bigg( \sum_{d |h} \frac{1}{d} \bigg) + O_{\varepsilon}(N^{\varepsilon} (N+ h)).\] This quantitatively improves upon recent work of Afifurrahman and Ganguly--Guria, and delivers square-root cancellation estimates when $h \leq N$. We further show that when $h$ is large, the error term is of approximately the correct order.

2025-09-24T15:45:45Z 10 pages. The content of the previous version of this paper has been split over two papers, of which this new version is the first and the second is arXiv:2605.15434 Jonathan Chapman Akshat Mudgal http://arxiv.org/abs/2006.06230v6 2026-05-18T13:43:35Z

We show, under some natural conditions, that the set of abelian points on the non-anomalous subset of a closed irreducible subvariety $X$ intersected with the union of connected algebraic subgroups of codimension at least $\dim X$ in a torus is finite, generalising results of Ostafe, Sha, Shparlinski and Zannier (2017). We also generalise their structure theorem for such sets when the algebraic subgroups are not necessarily connected, and obtain a related result in the context of curves and arithmetic dynamics.

2020-06-11T07:05:45Z Jorge Mello http://arxiv.org/abs/2605.18348v1 2026-05-18T13:06:04Z

In this paper we study the equation $$ x^k + (x+1)^k = y^n,\quad n\geq 3, $$ when $k\equiv 2\pmod{4}$. We prove that the only solutions are for $x=0, -1$ when $6\leq k\leq 100$ or for a $k$ with odd prime factors congruent to $3\pmod{4}$. We use linear forms in logarithms, the modular method and the resolution of Thue equations.

2026-05-18T13:06:04Z 17 pages; Comments are welcome Angelos Koutsianas Nikos Tzanakis http://arxiv.org/abs/2605.21518v1 2026-05-18T12:39:12Z

Erdős asked whether there are infinitely many finite sets of distinct primes $p_1<\cdots<p_k$ and positive integers $m$ such that \begin{equation}\label{eq:erdos-original} \frac1{p_1}+\cdots+\frac1{p_k}=1-\frac1m. \end{equation} This is Erdős Problems \#313~\cite{ErdosProblems313}. As recalled below, it is equivalent to the infinitude of primary pseudoperfect numbers. Following Butske, Jaje, and Mayernik~\cite{ButskeJajeMayernik}, a squarefree positive integer $n$ is a \emph{primary pseudoperfect number} if \begin{equation}\label{eq:ppn-def} \frac1n+\sum_{p\mid n}\frac1p=1, \end{equation} where the sum is over the prime divisors of $n$. OEIS A054377~\cite{OEISA054377} records the initial values \[ \begin{array}{c} 2,\ 6,\ 42,\ 1806,\ 47058,\\[2pt] 2214502422,\ 52495396602. \end{array} \] and the eight-prime-factor example \[ \text{\seqsplit{8490421583559688410706771261086}}. \] Butske, Jaje, and Mayernik proved by computation that for each $r\le 8$ there is exactly one primary pseudoperfect number with $r$ distinct prime factors~\cite{ButskeJajeMayernik}. This result gives a useful baseline, but it does not address later layers or the infinitude problem. This paper uses a local language for residual equations. A \emph{port} is a pair $(R,c)$, and a squarefree integer $B$ fills it if \[ Δ_{R,c}(B):=cB-R\partial(B)=1. \] The corresponding reciprocal form is \[ \sum_{q\mid B}\frac1q+\frac1{RB}=\frac cR. \] The product rule for the arithmetic derivative gives the composition law for ports. This law separates fillings inherited from smaller primary pseudoperfect numbers from fillings that are primitive relative to the fixed residual equation. The unconditional results of the paper are as follows.

2026-05-18T12:39:12Z Han Wang http://arxiv.org/abs/2603.29622v2 2026-05-18T11:14:44Z

We study the parity-perturbed Hofstadter-type recursion $$ Q(1)=Q(2)=1,\qquad Q(n)=Q(n-Q(n-1))+Q(n-Q(n-2))+(-1)^n . $$ We prove, by computer-certified finite-state induction, that this recursion is well-defined for all $(n\ge 1)$. The proof extracts a finite symbolic recursive model from a directly verified initial trace and then verifies an exported machine-readable certificate by independent checkers. The certificate consists of finite symbolic word systems, radius-$(R)$ contexts, context-extension records, symbolic realizations, and arithmetic recurrence records. The checkers verify symbolic closure, cycle factorization, faithfulness to an independently recomputed trace, arithmetic correctness, parity consistency, and strict backwardness of all certified recursive dependencies. The length of the computed trace is not used as evidence for global well-definedness. Instead, exhaustiveness is certified over the declared finite symbolic transition system. Together with a minimal-counterexample induction, the finite certificate rules out a first undefined recursive call.

2026-03-31T11:44:45Z 38 pages, 2 figures. Major revision with explicit certificate semantics, realization and extension records, faithfulness verification, parity checking, and reproducibility infrastructure Marco Mantovanelli