https://arxiv.org/api/XciTvka2w+KTPgZTY2Oy9LBsKFA 2026-06-25T16:45:09Z 49346 840 15 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 http://arxiv.org/abs/2210.02519v2 2026-05-18T11:04:41Z

We extend the local Langlands conjectures to a certain class of disconnected groups, allowing non-abelian component groups, and recast in this language some aspects of twisted endoscopy. We further introduce normalized twisted transfer factors and a normalized correspondence between an $L$-packet for a disconnected group and the set of representations of the centralizer groups of its Langlands parameter. We prove the first instance of this conjecture, in which the identity component of the (possibly non-abelian) disconnected group is a torus.

2022-10-05T19:35:17Z Second updated version. Changes since v1: Changed handling of Kottwitz signs to align with results for real groups, added material about admissible Whittaker data and toral invariants, added appendices Tasho Kaletha http://arxiv.org/abs/2605.17973v1 2026-05-18T07:29:36Z

Towers of algebraic function fields over finite fields play a fundamental role in arithmetic geometry and coding theory. Classical examples arising from modular and Drinfeld modular curves exhibit asymptotically good behavior. In this paper, we introduce an analogous construction derived from the moduli spaces of higher-level dormant $\mathrm{PGL}_2$-opers of prescribed radii on $4$-pointed stable curves of genus $0$. These spaces, which we refer to as dormant modular curves, form projective systems under level reduction. Building on previous results in the moduli theory of dormant opers, we establish an explicit formula for computing the genera of these curves. This formula allows us to study the asymptotic behavior of the corresponding towers of function fields and to compare them with the classical modular and Drinfeld modular cases.

2026-05-18T07:29:36Z 42 pages Kohei Aoyama Youhei Morita Yasuhiro Wakabayashi http://arxiv.org/abs/2605.17972v1 2026-05-18T07:28:15Z

For congruence subgroups commensurable with $\operatorname{SL}_2$ over number fields, we study cusp counts with certain multiplicities. We prove that the ratio of the total weighted cusp count to the group index is bounded by a negative power of the norm of the congruence level. This generalizes a theorem of Cox--Parry over $\mathbb Q$, and supports the heuristic that cusp terms occurring in topological, arithmetic and representation-theoretical formulas are subleading. The proof proceeds by localizing at a prime and reducing the problem to finite quotients, where it becomes a counting problem for finite groups. The main technical part is a counting problem for subgroups of $\operatorname{SL}_2$ over finite non-reduced principal local rings, proved by an analysis reminiscent of additive combinatorics.

2026-05-18T07:28:15Z 92 pages Shengyuan Zhao http://arxiv.org/abs/2011.04846v3 2026-05-18T07:21:07Z

This paper aims to develop a theory of projective and affine structures on higher-dimensional varieties in positive characteristic. This theory deals with Frobenius-projective and Frobenius-affine structures, which have been previously investigated in the case where the underlying space is a curve. We first provide a description of such structures in terms of Berthelot's higher-level differential operators. That description leads us to obtain a positive characteristic version of Gunning's formulas, which give necessary conditions on Chern classes for the existence of Frobenius-projective and Frobenius-affine structures, respectively. Finally, we establish some characterizations of projective spaces using Frobenius-projective structures.

2020-11-10T00:43:06Z This is the first of two papers obtained by dividing the content of the previous version. 49 pages Yasuhiro Wakabayashi http://arxiv.org/abs/2605.17872v1 2026-05-18T05:33:41Z

In this note, we obtain an exact formula for the $q$-adic valuation of $σ_k(n)$ where $q$ is an odd prime, allowing us to derive an explicit upper bound which is asymptotically better than the previous bound obtained by Zhao when $n$ is large and $k \geqslant q-2$. The key parts are played by the LTE lemma and the use of cyclotomic polynomials.

2026-05-18T05:33:41Z 5 pages ; comments are welcome Olivier Bordellès http://arxiv.org/abs/2206.13997v4 2026-05-18T04:39:35Z

In this paper, we obtain an analogue of the Serre derivation acting on the product of spaces of Drinfeld modular forms which generalizes the differential operator introduced by Gekeler in the rank two case. We further introduce a finitely generated algebra $\mathcal{M}_r$ containing all the Drinfeld modular forms for the full modular group and show its stability under the partial derivatives.

2022-06-28T13:35:01Z 30 pages Yen-Tsung Chen Oğuz Gezmiş http://arxiv.org/abs/2605.17836v1 2026-05-18T04:18:06Z

Let $K/\mathbf{Q}_p$ be an unramified extension of degree $f$ with residue field $k$. Let $σ$ be an irreducible representation of $\mathrm{GL}_n(k)$ over $\overline{\mathbf{F}}_p$. For $n\ge 3$, we prove that the universal supersingular representation of weight $σ$ is non-admissible and of infinite length when $σ$ is sufficiently generic and satisfies certain technical conditions. This generalizes the previous results for $n=2$ and a non-trivial finite extension $K/\mathbf{Q}_p$. Our method employs a weight cycling argument together with recent progress on the Serre weight conjectures.

2026-05-18T04:18:06Z 22 pages, 1 figure; comments welcome! Zachary Feng Heejong Lee Ray Li Vaughan McDonald Nischay Reddy http://arxiv.org/abs/2605.17825v1 2026-05-18T03:59:26Z

We consider the Linnik--Goldbach problem of writing all large even integers as the sum of two primes and a fixed number of powers of 2. We show that, under the generalised Riemann hypothesis, one can use 6 powers of two. In addition, we update the best known bounds on Romanov's constant, showing unconditionally that more than $25\%$ of odd numbers can be written as the sum of a prime and a power of 2.

2026-05-18T03:59:26Z RHB at 50 proved that seven 2's would do.\\ Twenty-five years later, we show six in this review.\\ We wish him to his century when proofs of 5 are due! Daniel R. Johnston Tim Trudgian http://arxiv.org/abs/2603.07802v2 2026-05-18T03:11:31Z

We develop a noncommutative invariant theory for ordinary linear differential operators on Riemann surfaces. For a monic binomially normalized operator $L=\sum_{k=0}^n {n\choose k}a_kD^{\,n-k}$, $a_0=1$, with coefficients in an associative differential algebra, we construct universal gauge-covariant coefficients $I_m(L)$. After correcting their reparametrization anomalies, we obtain Wilczyński currents $W_m(L)$, which transform as genuine $m$-differentials. The construction is algebraic, finite-layered, and valid over noncommutative coefficient algebras; in the commutative scalar case it recovers the classical Wilczyński invariants. We globalize the theory using jet bundles and infinitesimal neighborhoods of the diagonal. The natural global objects are $A$-linear opers, where $A$ is a sheaf of associative algebras with a compatible connection. In this setting $P=I_2/(n+1)$ is an $A_{\mathrm{ad}}$-valued projective connection, while $W_m$, $m\ge 3$, are global $A_{\mathrm{ad}}$-valued differentials; scalar invariants are obtained from traces, characteristic coefficients, and cyclic trace polynomials. As applications, we discuss projective connections, symmetric powers, fanning curves in Grassmannians, Calabi--Yau Picard--Fuchs equations, weak scalar and matrix-valued $W_2$-structures from Hodge subvariations, and modular differential equations. In the modular setting, the currents become modular forms, and the first coefficient gives the modular connection underlying the Serre derivative. We also extend the formalism to Siegel space using central Siegel modular connections and the associated equivariant differential algebra.

2026-03-08T21:04:10Z 71 pages, no figures, Major revision Amir Jafari http://arxiv.org/abs/2605.17756v1 2026-05-18T02:23:57Z

This paper provides the first criteria for the linear independence of multiple polylogarithm values over algebraic number fields. In particular, we derive novel results regarding the linear independence of products of polylogarithms at distinct points over an algebraic number field. Our approach is based on the explicit construction of Padé-type approximants tailored for multiple polylogarithms.

2026-05-18T02:23:57Z 29 pages Makoto Kawashima http://arxiv.org/abs/2605.17699v1 2026-05-17T23:44:44Z

We study multiplicative dependence between terms of the $k$-generalized Pell sequence $(P_n^{(k)})_{n\ge 2-k}$, defined by the linear recurrence \[ P_n^{(k)} = 2P_{n-1}^{(k)} + P_{n-2}^{(k)} + \dots + P_{n-k}^{(k)}, \] with initial conditions $P_0^{(k)} = \dots = P_{-(k-2)}^{(k)} = 0$ and $P_1^{(k)} = 1$. For $k\ge 2$ we determine all pairs $(m,n)$ with $n>m\ge 0$ such that $P_n^{(k)}$ and $P_m^{(k)}$ are multiplicatively dependent. The main result states that the only solutions occur for very small $k,m,n$ (which are listed explicitly). The proof uses lower bounds for linear forms in logarithms (Matveev), the Baker-Davenport reduction algorithm, and a computational search.

2026-05-17T23:44:44Z 11 pages Cherif B. Deme Kancou D. Fall Khady Faye Bernadette Faye http://arxiv.org/abs/2605.17622v1 2026-05-17T19:39:50Z

Prime numbers appeared in contexts spanning statistical mechanics, quantum mechanics and dynamical systems. However, the mechanisms governing the irregularities observed in their sequence and linking them to physical systems remained unclear. Here, it is shown that prime gaps at different separation distances follow a function depending on that distance and can be described by an iterative map which predicts the primary growth of successive primes. On the other hand, the analysis of remaining fluctuations reveals the existence of a well-defined cohomological structure, where the deterministic functional relation holds for primes up to small decaying fluctuations. In consequence, the long-range correlations as well as local jumps in primes encode the underlying cohomological structure where prime numbers are states of a given system that becomes deterministic asymptotically. Remarkably, the solution to this cohomological equation turns out to be the logarithmic integral function.

2026-05-17T19:39:50Z 17 pages, 6 figures Marzena Ciszak