https://arxiv.org/api/VNi5gfHewrpqSq9AQyQxu5KmI2A 2026-06-13T12:33:58Z 49201 15 15 http://arxiv.org/abs/2606.08089v2 2026-06-11T04:56:02Z

For every positive integer $a$ which is coprime with $p$, $p$ is an odd prime, we denote by $\overline{a}$ the unique integer satisfying $1\leq \overline{a}\leq p$ and $a\overline{a}\equiv 1(\mathrm{mod}~p)$. Put $$L(p)=\{a\in Z^+:(a,p)=1,2\nmid a+\overline{a}\}.$$ The elements of $L(p)$ are called D.H. Lehmer numbers. The main purpose of this paper is to prove that for $p$ is a fixed odd prime, every sufficiently large number unless it is congruent to 15 or 16$(\mathrm{mod}~{16})$ is representable as the sum of 14 fourth powers of D.H. Lehmer numbers. Furthermore, every sufficiently large number is representable as the sum of 16 fourth powers of D.H. Lehmer numbers.

2026-06-06T10:31:14Z Yang Qu Rong Ma http://arxiv.org/abs/2606.00525v2 2026-06-11T04:10:58Z

We introduce a family of constants \[ C_m := \lim_{n\to\infty} \left( \sum_{k=1}^n \operatorname{Li}_m\!\left(\frac1k\right) - \log n \right), \] which may be regarded as polylogarithmic analogues of Euler's constant. We study their basic properties and derive representations in terms of iterated logarithmic integral structures associated with the gamma function. We further introduce associated polylogarithmic zeta potentials and polylogarithmic gamma functions, establish differential relations and integral representations, and describe logarithmic branch asymptotics near the singular points. As an application, we relate the constants \(C_m\) to special values of certain Dirichlet series involving the Riemann zeta function.

2026-05-30T04:41:08Z Revised version. Improved exposition, expanded proofs, added examples, and updated to the journal submission version Takumi Noda http://arxiv.org/abs/2606.12810v1 2026-06-11T02:11:31Z

We study the splitting behavior of parametrized families of polynomials over finite fields through a geometric and Galois-theoretic approach. While the underlying techniques are widely considered folklore in arithmetic geometry, they have rarely been written down explicitly. To maximize accessibility, we develop a framework based on classical Galois theory and the Chebotarev Density Theorem over an affine normal variety, avoiding the heavy machinery of Grothendieck's étale topology. The primary goal is to extend and conceptually explain a recent result by Slavov, which established the condition for square values of several polynomials over a finite field to be independent. In the case where $q\equiv 1 \pmod n$, we generalize this phenomenon to $n$-th power residues, and reframe this independence condition as the natural condition on Kummer extensions to be mutually linearly disjoint. Finally, we briefly mention how these results can be translated into the modern language of étale fundamental groups, generalizing the base to geometrically integral, normal schemes of finite type over $\mathbb{F}_q$.

2026-06-11T02:11:31Z Tianhao Wang http://arxiv.org/abs/2605.00590v2 2026-06-11T01:51:26Z

We show that the Hurwitz problem for sums of squares can depend on the base field. More precisely, we construct an explicit formula of type $[12,12,18]$ over every field of characteristic different from $2$ in which $-1$ is a square, whereas no such formula exists over any formally real field. In particular, a formula of this type exists over $\mathbb Q(i)$ and over $\mathbb C$, but not over $\mathbb Q$ or over $\mathbb R$. This settles, in the negative, a longstanding conjecture of Shapiro from 1984, a conjecture of Adem from 1975, and answers a signed-formula problem raised by Shapiro in 2000.

2026-05-01T11:56:32Z 12 pages; added applications to Adem's conjecture and Shapiro's signed-formula problem Chi Zhang Haoran Zhu http://arxiv.org/abs/2606.12776v1 2026-06-11T00:39:01Z

This paper presents an AI proof that there is no algorithm deciding whether a polynomial equation over the Gaussian integers in $18$ unknowns has a solution. The proof improves the $20$-unknown theorem of Matiyasevich and Sun. It follows their rationality criterion and integer test, but saves two variables: the clearing-denominator variable is avoided by imposing two integer conditions, and the remaining nonzero condition is absorbed into the relation-combining lemma by the one-variable gadget $(2R+1)(3R+1)$.

2026-06-11T00:39:01Z Part of the proofs in this paper have been verified by Lean Yuchen Ding Junfeng Li http://arxiv.org/abs/2606.12660v1 2026-06-10T20:44:19Z

We extend the theory of root clusters from perfect fields to general fields which are not necessarily perfect. We introduce the following notions for field extensions over any given base field and study their interesting properties: root cluster size, multicluster size and their generalizations root capacity, multiroot capacity; ascending index, ascending normal index and their generalizations intersection indicium, intersection normal indicium; compositum indicium and compositum normal indicium. We establish our results on the Inverse problems for these generalized notions over Hilbertian fields which generalizes our earlier results which were over number fields. In particular, we show over a given Hilbertian field, the existence of a polynomial for given degree, cluster size and multicluster size and existence of an extension for given root capacity and multiroot capacity with respect to that polynomial.

2026-06-10T20:44:19Z 35 pages Shubham Jaiswal http://arxiv.org/abs/2510.27581v2 2026-06-10T20:12:07Z

Fix a positive prime power $q$, and let $\mathbb{F}_q[t]$ be the ring of polynomials over the finite field $\mathbb{F}_q$ with $\text{char}(\mathbb{F}_q)>2$. Suppose $A \subseteq \{f \in mathbb{F}_q[t]: °f \leq N\}$ contains no pair of elements whose difference is of the form $P-1$ with $P$ irreducible. Adapting Green's approach to Sárközy's theorem for shifted primes in $\mathbb{Z}$ using the van der Corput property, we show that \[ |A| \ll q^{(N+1)(11/12+o(1))}, \] improving upon the bound $O\big(q^{(1-c/\log N)(N+1)}\big)$ due to Lê and Spencer. An important distinction between Green's argument and ours lies in the properties of exponential sums over function fields, which differ in several interesting ways from their number-field counterparts.

2025-10-31T16:04:47Z 37 pages Steve Fan Andrew Lott http://arxiv.org/abs/2606.12376v1 2026-06-10T17:40:56Z

In this note we give a lower bound for the second moment of a ratio of zeta functions summed over the non-trivial zeros of the Riemann zeta function that is half the size of the conjectured value. Our result is conditional on the assumption of the Riemann Hypothesis and that all the non-trivial zeros of the zeta function are simple.

2026-06-10T17:40:56Z Andrew Pearce-Crump http://arxiv.org/abs/2606.12359v1 2026-06-10T17:30:23Z

In a recent paper, the authors introduced an infinite hierarchy of $q$-hypergeometric identities, of which the first three orders, $0$, $1$, and $2$, relate to the partition theorems of Euler, Lebesgue, and Capparelli, and stated a partition theorem at order 4 which lies beyond Capparelli's theorem. Here, we first state certain partition theorems that hold at all even orders beyond Capparelli and provide bijective proofs for these theorems. In doing so, we show that there is a fourfold infinite hierarchy of partition theorems that emanates from Capparelli's theorem, which is the base case. It is also shown that the equality of two of the four generating functions holds for all orders, odd and even. Lastly, a very general framework for the remaining two functions is constructed via the method of weighted words, encompassing all possible orders and yielding several infinite hierarchies with different dilations and translations.

2026-06-10T17:30:23Z Yazan Alamoudi Krishnaswami Alladi http://arxiv.org/abs/2606.12351v1 2026-06-10T17:23:56Z

We establish structure theorems for polarised flag type quotients arising in the study of the moduli space of supersingular abelian varieties. In particular, we prove a refined normal form for the top level of these flags and derive an explicit, computable descent criterion for quasi-polarisations. These results provide a complete classification of the first and last step of these flags. As an application, we compute polarised flag type quotients in dimensions $g\leq 5$, describing the fibers of the truncation morphisms as classification objects of supersingular abelian varieties.

2026-06-10T17:23:56Z 32 pages, comments welcome! Michael Burger http://arxiv.org/abs/2606.12229v1 2026-06-10T15:38:08Z

We study general properties of the perfectoidization of finite algebras over a perfectoid ring, which helps to understand some precise and explicit descriptions. For example, we prove that if $A=R[t]/(m(t))$ where $m(t)$ is monic, $R$ is perfectoid and the discriminant $d$ of $m(t)$ is a non-zero divisor of $R$ satisfying a bounded torsion condition, then $dA_{\mathrm{pfd}}\subset A$. We also prove a density criterion reducing the construction of the perfectoidization to adjoining suitable $p$-power roots modulo $p$. In the second part of the paper, we compute perfectoidizations in several families of examples, including Kummer-type extensions and split finite algebras.

2026-06-10T15:38:08Z Ryo Ishizuka Léo Navarro Chafloque http://arxiv.org/abs/2606.12220v1 2026-06-10T15:32:16Z

In this article, we relate any Farey triangle in the extended upper half-plane to a variant of Colmez--Fontaine's fundamental lemma in $p$-adic Hodge theory. In particular, their original fundamental lemma corresponds to the fundamental Farey triangle $(\frac{1}{0},\frac{1}{1},\frac{0}{1})$.

2026-06-10T15:32:16Z 11 pages, 1 figure. arXiv:2404.04551v1 has been split into two papers; this is the first part. All comments are welcome! Heng Du Qingyuan Jiang Yucheng Liu http://arxiv.org/abs/2606.12194v1 2026-06-10T15:16:54Z

We show that for any $A\subseteq \mathbb{F}_q^n$ lacking non-trivial solutions to a translation-invariant linear equation of genus one, meaning that no nonempty proper subset of the coefficients sums to $0$, there is a set $B\subseteq \mathbb{F}_q^m$ in some higher dimension which also lacks non-trivial solutions, such that \[|B|^{1/m}>|A|^{1/n}.\] In particular, this implies that no fixed cap set in $\mathbb{F}_3^n$ gives an asymptotically optimal lower bound by direct products alone.

2026-06-10T15:16:54Z 10 pages Paul Hametner Fred Tyrrell http://arxiv.org/abs/2306.15519v5 2026-06-10T13:59:41Z

In this paper, we characterize the vanishing of twisted central $L$-values attached to newforms of square-free level in terms of certain polynomials of quadratic forms introduced by Zagier and the action of finitely many Hecke operators thereon. To be more precise, we establish that a twisted central $L$-value attached to a newform vanishes if and only if a certain explicitly computable polynomial is constant. We describe these constants explicitly in two different ways. One of the descriptions involves the generalized Hurwitz class numbers, which were introduced by Pei and Wang in $2003$. We provide some numerical examples and conclude by offering some questions for future work.

2023-06-27T14:47:25Z Final version, to appear in Journal of Number Theory. We provide 2 ancillary files supplementing the examples in our paper Joshua Males Andreas Mono Larry Rolen Ian Wagner http://arxiv.org/abs/2606.12037v1 2026-06-10T13:00:12Z

We prove two conjectural $q$-congruences proposed by Guo. The first is Conjecture 7.2 in Guo's work on $q$-analogues of two ``divergent'' Ramanujan-type supercongruences; it asserts a square-cyclotomic congruence for a truncated $q$-analogue of a Ramanujan-type sum when $n\equiv1\pmod4$. The second is Conjecture 4.1 in Guo's extension of Van Hamme's $(A.2)$ supercongruence; it gives divisibility modulo $[n]$ for a family of truncated basic hypergeometric sums with a parameter $s$. The proof of the first result relies on a known Watson-transformation congruence obtained by Guo. The proof of the second result is based on period decomposition at primitive roots of unity and a reflection cancellation inside residue blocks.

2026-06-10T13:00:12Z 13 pages Ji-Cai Liu Qing-Yuan Tao