https://arxiv.org/api/K/0CTJl/63KqppUZHF+WvCMOrX4 2026-06-18T21:04:36Z 49268 390 15 http://arxiv.org/abs/2606.02683v1 2026-06-01T17:55:21Z

Devnani and Eyyunni recently studied the maps pre$_k$ on integer partitions, which arise from applying elementary symmetric polynomials to the parts of a partition. They asked whether there exists $n \ge 1$ such that exactly one partition of $n$ lies in the image of pre$_2$. We show that this occurs only for $n$ in {1, 2, 4}, and that for all $n \ge 5$, at least two partitions of n are in the image of pre$_2$.

2026-06-01T17:55:21Z 2 pages Arnav Garg http://arxiv.org/abs/2604.09808v2 2026-06-01T17:53:21Z

We present a complete formalization, in the Lean interactive theorem prover with the Mathlib library, of the Ramanujan--Nagell theorem: the only integer solutions to the Diophantine equation $x^2 + 7 = 2^n$ are $(n,x) \in \{(3,\pm1),(4,\pm3),(5,\pm5),(7,\pm11),(15,\pm181)\}$. The formalization includes all dependencies, notably the computation of the ring of integers of the quadratic field $\mathbb{Q}(\sqrt{-7})$, its class number, and unit group. We describe the proof strategy, the architecture of the formalization, and the challenges encountered in bridging the gap between textbook proofs and their machine-checked counterparts, with particular attention to the algebraic number theory infrastructure required.

2026-04-10T18:32:19Z v2: substantial revision; the Lean 4 formalization is rewritten to work directly in the Euclidean domain R = Z[(1+sqrt(-7))/2] rather than via the ring of integers of Q(sqrt(-7)), shortening it from ~3,570 to ~1,800 lines, with the exposition revised to match Barinder S. Banwait http://arxiv.org/abs/2606.02541v1 2026-06-01T17:45:49Z

For $k$ sufficiently large, we show that there is a three-coloring of the first $2^{k (\log^* k)/4}$ positive integers without any monochromatic $k$-term arithmetic progressions. Thus, the three-color van der Waerden number $w(k;3)$ grows faster than any exponential in $k$. We further prove a new lower bound on multicolor van der Waerden numbers which resolves a problem of Erdős and Graham on canonical van der Waerden numbers.

2026-06-01T17:45:49Z 19 pages Jacob Fox Zach Hunter http://arxiv.org/abs/2606.02429v1 2026-06-01T16:04:44Z

This note gives a simple algorithm for the following effectivity problem: given a genus $2$ curve $X$ together with a nonconstant map $π:X\to E$ to an elliptic curve, determine an elliptic curve $E'$ and a map $π':X\to E'$ independent of $π$. Equivalently, we compute the complementary elliptic factor in the decomposition of $\operatorname{Jac}(X)$ up to isogeny. While the problem has been studied extensively, and more general ones have been solved by deep and powerful techniques, we are not aware of a reference for the simple explicit procedure described here.

2026-06-01T16:04:44Z 13 pages, comments welcome Andrea Gallese Davide Lombardo Francesco Naccarato Umberto Zannier http://arxiv.org/abs/2606.02407v1 2026-06-01T15:51:43Z

For the Lindelöf Hypothesis concerning the Riemann zeta function $ζ(s)$, upper bounds as $\Im(s)\to\infty$ have been extensively studied for many years. In particular, the Lindelöf Hypothesis is one of the most important open problems in analytic number theory. It is also known to be equivalent to certain mean value estimates, which provide a fundamental connection between pointwise upper bounds and integral mean values of zeta-functions. In this paper, we consider an analogue of the Lindelöf Hypothesis for the Barnes multiple zeta function $ζ_r (s,a,(w_1,\dots,w_r)) = \sum_{m_1=0}^\infty \cdots \sum_{m_r=0}^\infty (a+m_1 w_1+\cdots+m_r w_r)^{-s} $, and establish equivalent conditions in terms of integral mean values. In particular, the situation depends essentially on the $\Q$-rank of $\langle w_1,\dots,w_r\rangle$, and it is especially interesting that phenomena peculiar to the Barnes multiple zeta function appear according to this rank.

2026-06-01T15:51:43Z 8 pages Takashi Miyagawa http://arxiv.org/abs/2102.03384v5 2026-06-01T15:10:14Z

In this paper, we prove several Ax-Schanuel type results for uniformizers of geometric structures; our general results describe the differential algebraic relations between the solutions of the partial differential equations satisfied by the uniformizers. In particular, we give a proof of the full Ax-Schanuel Theorem with derivatives for uniformizers of simple projective structure on curves including unifomizers of any Fuchsian group of the first kind and any genus. Combining our techniques with those of Ax, we give a strong Ax-Schanuel result for the combination of the derivatives of the j-function and the exponential function. In the general setting of Shimura varieties, we obtain an Ax-Schanuel theorem for the derivatives of uniformizing maps. Our techniques combine tools from differential geometry, differential algebra and the model theory of differentially closed fields.

2021-02-05T19:08:47Z Some changes to Section 7. Authors' version to appear in Annals of Mathematics David Blázquez-Sanz Guy Casale James Freitag Joel Nagloo http://arxiv.org/abs/2606.05224v1 2026-06-01T15:03:44Z

For $1 \leq a \leq 2$, we say Proposition $(1+a)$ holds if every sufficiently large even integer $N$ can be written as $$N = p + rq, \quad r \leq q^{a-1},$$ where $r$ is either $1$ or prime, and $p,q$ are primes. Thus Proposition $(1+1)$ is essentially the binary Goldbach Conjecture, and Proposition $(1+2)$ is Chen's theorem. We prove unconditionally that Proposition $(1+1.9)$ is true. Assuming the Elliott--Halberstam Conjecture, the exponent $1.9$ can be improved to $1.4$. Analogously, Proposition $(1-a)$ is formulated for the Twin Prime Conjecture. Unconditionally, we prove Proposition $(1-1.75)$, and under the Elliott--Halberstam Conjecture, Proposition $(1-1.4)$. For six decades, a substantial theoretical divide has persisted between Propositions $(1+2)$ and $(1+1)$, and likewise between Propositions $(1-2)$ and $(1-1)$. By constructing new weighted sieves and adopting new analytic tools, this paper establishes a connecting pathway between them and achieves breakthroughs in this line of research.

2026-06-01T15:03:44Z 66 pages, 1 figure Jiamin Li Jianya Liu http://arxiv.org/abs/2606.02324v1 2026-06-01T14:37:02Z

Necklace polynomials arise in various fields of mathematics, including combinatorics, Lie theory, and Galois theory over finite fields. Their arithmetic properties have been extensively studied in recent years. In this article, we introduce a new class of rational necklace functions that unifies two well-studied families of polynomials: necklace polynomials and Fekete polynomials. We describe several ways in which cyclotomic polynomials appear as factors of these rational necklace functions. Our results unify and generalize various earlier work on necklace polynomials and on Fekete polynomials. In particular, we describe a surprising phenomenon in which certain Galois groups play a hidden role in the appearance of new cyclotomic factors that are not covered by these previous works.

2026-06-01T14:37:02Z Comments are welcome! Nguyen Cao Minh Nguyen Vu Hoang Minh Dung Nguyen Tung T. Nguyen Nguyen Duy Tan Duong Tran http://arxiv.org/abs/2604.09116v2 2026-06-01T14:33:20Z

We investigate infinite-level Shimura varieties within the framework of analytic stacks of Clausen-Scholze, developing their smooth, completed, locally analytic, and de Rham realizations. We formulate a Grothendieck-Messing-Hodge-Tate period map, and establish a Grothendieck-Messing theory for locally analytic infinite-level Shimura varieties. This theory, combined with a reformulation of Riemann-Hilbert correspondence, implies that the locally analytic infinite-level Shimura variety can be fully reconstructed purely from its perfectoid counterpart and its $\mathbb{B}_{\mathrm{dR}}^{+}$-thickening. Building upon this geometric structure, we systematically construct differential operators generalizing those of Pan, and we introduce a Bernstein-Gelfand-Gelfand-Fontaine complex based on dual BGG complexes, conjecturing its automorphic properties. These constructions will be used to establish a locally analytic Jacquet-Langlands correspondence in a companion paper ([Jia26a]).

2026-04-10T08:54:00Z Submitted version after minor corrections. Comments welcome! Yuanyang Jiang http://arxiv.org/abs/2308.16614v3 2026-06-01T14:32:23Z

For each $\mathbf{k}\in\mathbb{C}^4$, let $V_\mathbf{k}$ be the character variety on a four-holed sphere and $Γ_\mathbf{k}$ the group generated by the Vieta involution maps. First, under a certain condition, we find a fundamental domain for $Γ_\mathbf{k}$-action on $V_\mathbf{k}$, expressed via inequalities. Second, we show that it is decidable whether or not two integral solutions for $V_\mathbf{k}$ are in the same $Γ_\mathbf{k}$-orbit and in the same mapping class group orbit. To achieve our goals, we introduce graphs corresponding to the $Γ_\mathbf{k}$-orbits and the mapping class group orbits, and classify their restricted global shapes by analyzing the limited local edge configurations at each vertex, using a descent argument.

2023-08-31T10:20:09Z 16 pages. To appear in Proc. Amer. Math. Soc Eunju Shin 10.1090/proc/17770 http://arxiv.org/abs/2606.02312v1 2026-06-01T14:30:26Z

Since Green (2005), the Fourier-analytic transference principle has dominated the landscape of combinatorial theorems relative to sparse arithmetic sets. We demonstrate a different approach using arithmetic regularity. This is more versatile and has the potential to succeed when no obvious `dense model' is forthcoming. Moreover, we contend that, just as the traditional circle method disassembles an arithmetic problem into real and $p$-adic parts which can be solved individually, the arithmetic regularity method generalises this to yield an additional `combinatorial' factor. This framework leads directly to a correct lower bound on the number of configurations in a dense set. We illustrate this using a system comprising a linear equation together with a higher-degree equation.

2026-06-01T14:30:26Z 50 pages Sam Chow Sean Prendiville Santiago Vazquez http://arxiv.org/abs/2505.07352v2 2026-06-01T14:04:59Z

We establish a Brownian extension to Selberg's central limit theorem for the Riemann zeta function. This implies various limiting distributions for $ζ$, including an analogue of the reflection principle for the maximum of the Brownian motion: as $T$ diverges, for any $u>0$ we have \[ \frac{1}{T}\cdot {\rm meas}\Big\{0\leq t\leq T:\max_{σ\geq \tfrac{1}{2}}\log|ζ(σ+i t)|\geq u \sqrt{\tfrac{1}{2}\log \log T} \Big\}\to 2 \displaystyle\int_u^{\infty} \frac{e^{-\frac{x^2}{2}}}{\sqrt{2π}}\mathrm{d} x. \]

2025-05-12T08:44:45Z 14 pages Louis Vassaux http://arxiv.org/abs/2605.18426v2 2026-06-01T13:57:03Z

Let $F$ be a totally real number field. We prove that a character of the spherical Hecke algebra appearing in the completed cohomology of Hilbert modular varieties is modular if the associated Galois representation is absolutely irreducible, and de Rham of regular parallel weights. As an application, we prove some new cases of the Langlands-Clozel-Fontaine-Mazur conjecture of $\mathrm{GL}_2$ over totally real fields. For the proof, we generalize the method in [Pan26], calculate geometric partial Fontaine operators, and study the cohomology of the associated Koszul-type partial de Rham complexes. The key step is the establishment of a locally analytic Jacquet-Langlands transfer, whose proof consists of several novel ingredients including a comparison of Igusa stacks for different quaternionic Shimura data constructed by [DvHKZ26], and the Grothendieck-Messing theory for locally analytic infinite level Shimura varieties established in [Jiang26a].

2026-05-18T13:58:54Z Submitted version after minor corrections. Comments welcome! Yuanyang Jiang http://arxiv.org/abs/2606.02180v1 2026-06-01T12:37:15Z

In this paper, we prove universality of the distribution of the cokernels of a random $p$-adic matrix with inhomogeneously balanced columns. More precisely, let $u \ge 0$ be an integer and $A(n)$ be a random $n \times (n+u)$ matrix over $\mathbb{Z}_p$ whose $i$-th column is $α_n(i)$-balanced. We prove that if $\sum_{i=1}^{n+u} \exp(-εα_n(i)n) \to 0$ as $n \to \infty$ for every $ε>0$, then the cokernels of $A(n)$ converge in distribution, as $n \to \infty$, to the same limiting law as the cokernels of Haar-random $n \times (n+u)$ matrices over $\mathbb{Z}_p$. This extends a universality theorem of Nguyen and Wood to random $p$-adic matrices with inhomogeneously balanced columns.

2026-06-01T12:37:15Z 8 pages Jungin Lee Sungjin Park http://arxiv.org/abs/1309.2605v39 2026-06-01T12:02:15Z

Let $F(x,n)$ denote the arithmetical formula which starts with $\exists ab ~\forall i \leqslant n ~\exists swpq ~\forall jv ~\exists eg$ and appeared in J. P. Jones' article from 1978. From the results of this article, it follows that the set $\{n \in \mathbb{N}: \neg F(n,n)\}$ is non-recursively enumerable and co-recursively enumerable. We prove that the set $$T=\{n \in \mathbb{N}: \exists p,q \in \mathbb{N} ~((2n=(p+q)(p+q+1)+2q) ~\wedge$$ $$\forall (x_0,\ldots,x_p) \in \mathbb{N}^{p+1} ~\exists (y_0,\ldots,y_p) \in \{0,\ldots,q\}^{p+1}$$ $$((\forall j,k \in \{0,\ldots,p\}~(x_j+1=x_k \Rightarrow y_j+1=y_k)) ~\wedge$$ $$(\forall i,j,k \in \{0,\ldots,p\} ~(x_i \cdot x_j=x_k \Rightarrow y_i \cdot y_j=y_k))))\}$$ is not recursively enumerable. We prove that the set $\mathbb{N} \setminus T$ is recursively enumerable. Let $β:\mathbb{N}^3 \to \mathbb{N}$ denote Gödel's $β$ function. For $x_1,x_2,x_3 \in \mathbb{N}$, $β(x_1,x_2,x_3)$ equals the remainder after integer division of $x_1$ by $1+(x_3+1) \cdot x_2$. We prove that the set $T$ consists of all $n \in \mathbb{N}$ such that $$\forall u,v \in \mathbb{N} ~\exists a,b,p,q \in \mathbb{N} ~((2n=(p+q)(p+q+1)+2q) \wedge \forall i,j,k \in \{0,\ldots,p\}$$ $$((β(a,b,i) \leqslant q) \wedge (β(u,v,j)+1=β(u,v,k) \Rightarrow β(a,b,j)+1=β(a,b,k)) ~\wedge$$ $$(β(u,v,i) \cdot β(u,v,j)=β(u,v,k) \Rightarrow β(a,b,i) \cdot β(a,b,j)=β(a,b,k))))$$ The above formula can be easily translated into a formula in Peano arithmetic.

2013-09-07T03:09:20Z presented at the 25th Conference Applications of Logic in Philosophy and the Foundations of Mathematics, arXiv admin note: substantial text overlap with arXiv:1109.3826, arXiv:1404.5975 Apoloniusz Tyszka