https://arxiv.org/api/6x0/XkSuenpIQBWrbtzthu0UOm0 2026-06-21T17:48:03Z 49277 615 15 http://arxiv.org/abs/2601.00445v2 2026-05-23T00:55:31Z

We study Prym varieties of ramified (at precisely two points) double covers of smooth irreducible complex projectives curves that admit an automorphism of prime order $p>2$. Using Galois theory, we give an explicit constructions of Prym varieties that are not isomorphic to jacobians (even if one ignores the polarizations).

2026-01-01T19:07:41Z 21 pages. arXiv admin note: substantial text overlap with arXiv:0809.4887 Yuri G. Zarhin http://arxiv.org/abs/2605.21737v2 2026-05-22T23:49:37Z

Let $f(n)$ be a Steinhaus random multiplicative function. Let $A\subset [1, N]$ be a finite set of integers. We show that \[\frac{1}{\sqrt{|A|}} \sum_{n\in A} f(n) \xrightarrow[]{d} \mathcal{CN}(0,1)\] forces that $|A|=o(N)$. We prove that the $o(1)$ density is sharp by showing that for most sets $A$, and thus confirm the existence, with density $ρ$ such that $(1-ρ)^{-1} =o((\log \log N)^{1/2})$, we have \[ \frac{1}{\sqrt{(1-ρ) |A|}} \sum_{n\in A} f(n) \xrightarrow{d} \mathcal{CN}(0,1). \] The extra factor $\sqrt{1-ρ}$ makes a difference as long as the density $ρ>0$.

2026-05-20T21:01:44Z 7 pages. Typos corrected Max Wenqiang Xu http://arxiv.org/abs/2602.23100v2 2026-05-22T19:53:12Z

Assuming the generalized Riemann hypothesis and a bound for the negative discrete moments of the Riemann zeta function (resp. Dirichlet $L$-functions), we prove the existence of a logarithmic limiting distribution for the normalized partial sums $x^{-\frac{1}{2k}}\sum_{n\leq x}f(n)$, where $f$ is either a quadratic Dirichlet character or a modified Dirichlet character, restricted to the $k$-free integers. Moreover, we strengthen a conjecture made by Aymone, Medeiros and the author (cf. Ramanujan J. 59(3):713-728, 2022) concerning the precise order of magnitude for these partial sums.

2026-02-26T15:15:52Z 26 pages Caio Bueno http://arxiv.org/abs/2605.24160v1 2026-05-22T19:29:46Z

In a landmark paper on arithmetical properties of Lambert series, Erdős proved that $\sum_{n=1}^{\infty} \frac{1}{2^{n} - 1}$ is irrational. This value $E$ is now referred to as the Erdős-Borwein constant. Crandall, in 2012, studied properties of the base-2 expansion of this constant, and left the following as an open problem: Does the string $11$ occur infinitely often in the base-2 expansion of $E$? This open problem was also subsequently noted by Shallit. We succeed in introducing a full proof that solves Crandall's problem in the affirmative. Our proof combines a congruence construction in the spirit of Erdős and an estimate due to Alford, Granville, and Pomerance for the counting function for primes in arithmetic progressions. Our argument was developed through extensive interactions with GPT-5.5 Pro.

2026-05-22T19:29:46Z Submitted for publication John M. Campbell http://arxiv.org/abs/2605.24146v1 2026-05-22T19:09:06Z

We study the $K$-Fibonacci sequence $\mathcal{F}_p$ modulo prime $p$. Cardinalities of sets $|\mathcal{F}_p+\mathcal{F}_p|$ and $|\mathcal{F}_p\cdot\mathcal{F}_p|$ are estimated. We present the method of estimating doubling constant of some $m$-dimensional recurrent sets in $\mathbb{F}_p$.

2026-05-22T19:09:06Z Ilya Vyugin Sashadhar Dutta http://arxiv.org/abs/2106.03005v3 2026-05-22T17:45:23Z

We show that the $n$th derivative of the Riemann zeta function, when summed over the non-trivial zeros of zeta, is real and positive/negative in the mean for $n$ odd/even, respectively. We show this by giving a full asymptotic expansion of these sums.

2021-06-06T01:59:38Z This version adds a couple of improvements which were found after the paper was published (At the end of section 1, we state a better error term under RH and a neater way of presenting the main terms) Journal of Number Theory 241 (2022) 142--164 Christopher Hughes Andrew Pearce-Crump 10.1016/j.jnt.2022.03.004 http://arxiv.org/abs/2512.00178v2 2026-05-22T16:03:11Z

We prove Breuil's lattice conjecture for higher Hodge-Tate weights in the case of $\mathrm{GL}_2(K)$ where $K$ is an unramified extension of $\mathbb{Q}_p$. More precisely, under some genericity conditions, we show that the lattice inside a locally algebraic type induced by the completed cohomology of a $U(2)$-arithmetic manifold depends only on the Galois representation at places above $p$ for arbitrary Hodge-Tate weights, which are small relative to $p$. We further prove that the patched modules of all lattices inside the locally algebraic types with irreducible cosocle are cyclic. One key input of the paper is a structure theorem for mod $p$ representations of $\mathrm{GL}_2(\mathcal{O}_K)$, which are residually multiplicity free and of finite length. Another input is an explicit computation of universal framed Galois deformation rings, which parameterize potentially crystalline lifts with fixed tame inertial types and higher Hodge-Tate weights.

2025-11-28T19:30:36Z 72 pages, various corrections Hymn Chan http://arxiv.org/abs/2410.00529v2 2026-05-22T14:41:34Z

Hofstadter's G function is recursively defined via $G(0)=0$ and then $G(n)=n-G(G(n-1))$. Following Hofstadter, we vary the number $k$ of nested recursive calls in this equation and obtain a family of functions $(F\_k)$. Here we establish that this family is ordered pointwise: for all $k$ and $n$, we have $F\_k(n) \le F\_{k+1}(n)$. To achieve this, we make a detour via infinite morphic words generalizing the Fibonacci word. We prove various properties of these words, concerning the lengths of substituted prefixes of these words and the number of occurrences of specific letters in these prefixes. We also relate the limits of $\frac{1}{n}F\_k(n)$ to the frequencies of letters in the considered words. We provide a certified formalization of all these results in the Rocq proof assistant.

2024-10-01T09:15:10Z Journal of Integer Sequences, 2026, 29 (3), pp.26.3.3 Pierre Letouzey IRIF Shuo Li H3I Wolfgang Steiner IRIF http://arxiv.org/abs/2605.23644v1 2026-05-22T13:55:46Z

Given a point set $S$ in a projective plane $Π_q$ of order $q$, each line $\ell$ determines a secant size $|S\cap \ell|$. We study how balanced the secant-size distribution can be for the line set $\mathcal{L}$ of the plane, in other words, how many lines must share the same secant size. We show that $\min_{ S\subseteq Π_q} \max_k |\{\ell\in \mathcal{L}: |\ell\cap S|=k\}|=Θ(q^{3/2}).$ This shows a large contrast with the case of real projective (or affine) plane, where $\max_{k>1} |\{\ell\in~ \mathcal{L}: |\ell\cap S|=k\}|$ is always at least the third of $|\{\ell\in \mathcal{L}: |\ell\cap S|>1\}|$. We also discuss explicit constructions in addition to randomized point sets, that are asymptotically close to be optimal, and point out a link between the constructions and character-sum estimates. Finally, we explore the relation between balanced secant size distributions and legitimate colorings, studied by Alon and Füredi, and prove a result that might resemble the Erdős-Faber-Lovász conjecture.

2026-05-22T13:55:46Z Zoltán Lóránt Nagy Zsuzsa Weiner http://arxiv.org/abs/2605.23601v1 2026-05-22T13:11:06Z

In 1948, Erdös and Straus formulated a conjecture : for any positive integer $n>2$, there exist positive integers $n_1,n_2$ and $n_3$ such that \begin{equation}\frac{4}{n}=\frac{1}{n_1}+\frac{1}{n_2}+\frac{1}{n_3},\nonumber\end{equation} which is still open. It is known that one only needs to prove the conjecture for any prime number $n$ such that $n\equiv 1\;(\mbox{mod}\;24)$. If $n=24m+1$ and $n_1\leq n_2,n_3$, then $n_1=6m+k$ with $1\leq k\leq 12m$. A solution $(n_1,n_2,n_3)$ of the above equation is called a {\it tame solution} if $n_2$ and $n_3$ are factors of $(6m+k)(24m+1)$. We call $n=24m+1$ {\it wild} if it does not have any tame solution. Computer calculation shows that there are only nine wild primes among the 7185 primes of the form $24m+1$ with $m\leq 30000$. In this paper, we derive the tame solutions of the above equation for the integers of the form $24m+1$ with $m$ parameterized by certain congruence classes. They cover the solvability of all the 586 tame primes among the 591 primes of the form $24m+1$ with $m\leq 2000$.

2026-05-22T13:11:06Z 62pages Xiaoping Xu http://arxiv.org/abs/2605.23526v1 2026-05-22T11:42:34Z

Let $Γ_{0,n}^+(p)\subset \mathrm{SL}_n(\mathbb{Z})$ be the congruence subgroup of level-$p$ whose first column is of the form $(*,0,\dots,0)^t\bmod p$. We prove that the top-dimensional cohomology group $H^{\binom{n}{2}}(Γ_{0,n}^+(p);\mathbb{Q})$ vanishes for $p\in\{2,3,5,7,13\}$ if $n \geq 3$, as well as for $p \leq 6n-14$. Additionally, we prove a non-vanishing result, showing that this cohomology group is nonzero for $n = 2$ for every prime $p$, and for $n=3$ for all primes $p \notin \{2,3,5,7,13\}$.

2026-05-22T11:42:34Z 95 pages Tatiana Abdelnaim http://arxiv.org/abs/2605.13460v2 2026-05-22T10:35:24Z

A prime $p$ is called a Wieferich prime if $2^{p-1}\equiv 1 \pmod{p^2}$. A monic polynomial $f(x)\in {\mathbb Z}[x]$ of degree $N\ge 2$ is called monogenic if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,θ,θ^2,\ldots,θ^{N-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(θ)$, where $f(θ)=0$. In this article, we show that ${\mathcal F}_p(x):=x^{2p}+2x^{p}+2$ is monogenic if and only if $p$ is not a Wieferich prime.

2026-05-13T12:52:46Z Lenny Jones http://arxiv.org/abs/2605.23466v1 2026-05-22T10:26:28Z

We show that arithmetic definability of henselian valuations is preserved by the tilting correspondence. Moreover, we show that if a perfectoid valuation is arithmetically definable, then no parameters are needed. We also investigate whether these definitions can be chosen uniformly, and discuss the required quantifier complexity.

2026-05-22T10:26:28Z This work presents the results of the project "Arithmetic Definability of Henselian Valuations", one of the projects of the event "Women in Numbers Europe 5" which took place in Split, Croatia, in summer 2025 Gessica Alecci Ihsane Hadeg Franziska Jahnke Margarete Ketelsen Isabella Negrini http://arxiv.org/abs/2605.23383v1 2026-05-22T08:53:15Z

In this paper, we completely classify the rational weights $k$ for which the Kaneko-Zagier (KZ) differential equation admits a fundamental system of solutions consisting of modular forms for a principal congruence subgroup $Γ(N)$. By transforming the KZ equation into a hypergeometric differential equation, we study the global analytic continuation of its solutions, adopting an approach analogous to Stiller's work on Picard-Fuchs equations. We explicitly construct the monodromy representation matrices corresponding to the elements of the principal congruence subgroups and completely determine the algebraic conditions under which these connection matrices commute. Leveraging these stringent commutativity constraints, we prove that the weights $k$ yielding modular solutions are strictly limited to $k \equiv 1/2, 7/2, 1, 2, 3 \pmod{6}$ and $k = (6n+1)/5$, thereby demonstrating that no modular solutions exist beyond those previously discovered by Kaneko and Koike. Furthermore, the commutative algebras generated by these connection matrices reveal a profound analogy with commuting transfer matrices in quantum integrable systems.

2026-05-22T08:53:15Z 19 pages Yuichi Sakai Hiroyuki Tsutsumi http://arxiv.org/abs/2605.18294v2 2026-05-22T07:37:19Z

Let $F$ be a totally real field and $E$ be a quadratic CM extension field of $F$. Let $n$ be an odd positive integer. Yamana constructed a lift from Hermitian modular forms to automorphic forms on the unitary group. We denote by $\mathrm{I}_n(f)$ the form obtained by applying this lift to the Hermitian modular form $f$ of weight $(κ_v)_{v|\infty}$ and level 1. We then express the period $\perd{\mathrm{I}_n(f), \mathrm{I}_n(f)}$ of $\mathrm{I}_n(f)$ for Hecke eigenforms $f$ in terms of special values of certain $L$-functions attached to $f$. This is an extension of Katsurada's result concerning Ikeda's conjecture.

2026-05-18T12:17:55Z 53 page,v2: corrected the value of Tamagawa numbers and revised main results; definition of Tamagawa measures added, proof on double cosets expanded, and minor stylistic issues fixed Jin Higashitani