https://arxiv.org/api/UyVqbgJ5c1JQXa57HTEl5Q83DjA 2026-06-25T21:45:38Z 49346 915 15 http://arxiv.org/abs/2204.06976v4 2026-05-14T13:55:17Z

In this article we prove an arithmetic level raising theorem for the symplectic group of degree four in the ramified case. This result is a key step towards the Beilinson-Bloch-Kato conjecture for certain Rankin-Selberg motives associated to orthogonal groups within the framework of the Gan-Gross-Prasad conjecture. The theorem itself can be also viewed as an analogue of the Ihara's lemma or the Tate conjecture for special fibers of Shimura varieties at ramified characteristics. The proof relies heavily on the description of the supersingular locus of certain quaternionic unitary Shimura variety which is closely related to the classical Siegel threefold.

2022-04-14T14:02:22Z Haining Wang http://arxiv.org/abs/2605.11888v2 2026-05-14T13:54:36Z

A central problem in arithmetic geometry is to construct non-torsion rational points on elliptic curves. We study a canonical quadratic point $ξ_C \in {\rm Jac}(C)$ attached to a smooth non-hyperelliptic curve of genus 4 and use it to produce such points on elliptic curves arising from families of genus $4$ curves. We introduce a notion of bigness for sections of abelian schemes and establish a criterion in terms of modular variation of abelian quotients, using adelic line bundles and Betti maps. As applications, we prove that $ξ_C$ is big on the triple-involution locus and on certain CM families, obtaining in particular non-torsion rational points on the associated elliptic curves and Northcott-type finiteness results.

2026-05-12T10:01:43Z Jiahui Gao http://arxiv.org/abs/2511.05201v3 2026-05-14T12:54:27Z

In 1986, Kato and Kuzumaki introduced some Diophantine properties of fields, called the $C_i^q$ properties, and they hoped they would provide a good characterization of the cohomological dimension of fields. In this paper, we study the stability of some variants of the $C_i^q$ properties under transcendental and algebraic extensions. As an application, we obtain the $C_n^1$ property for the field $\mathbf{F}_p(x_1,\cdots,x_n)$.

2025-11-07T12:39:44Z Any comments are welcome! Felipe Gambardella Harry C. Shaw http://arxiv.org/abs/2512.04547v4 2026-05-14T12:43:23Z

We develop a generalized Markov theory for the Markov--Lagrange and Markov spectra. The classical discrete Markov spectrum is governed by Markov numbers, the positive integers occurring in solutions of the Markov equation. We show that this relation admits a cluster-combinatorial extension governed by generalized Markov numbers. Replacing the Christoffel-word formalism by snake graphs, we construct generalized discrete Markov spectra attached to the generalized Markov equations \[ x^2+y^2+z^2+k_1yz+k_2zx+k_3xy=(3+k_1+k_2+k_3)xyz. \] Every element of these spectra is realized simultaneously as a Lagrange constant of a quadratic irrational and as a Markov constant of a real indefinite binary quadratic form. We also prove structural results for these spectra, determine their contribution in the transition interval below Freiman's constant, and identify the boundary value obtained from regular lines of irrational slope, again realizing it both as a Lagrange constant and as a Markov constant.

2025-12-04T07:59:50Z Added a section on the Lagrange constants and Markov constants associated with regular lines of irrational slope, 48 pages, 18 figures, 12 tables Yasuaki Gyoda http://arxiv.org/abs/2409.02106v10 2026-05-14T11:52:50Z

Let $ζ(.)$ denote the Riemann zeta function and let $a(.)$ and $A(.)$ respectively denote a multiplicative function and its corresponding summatory function. We consider the correlation $$ \langle a(n)A(n-1) \rangle (T) = \frac{1}{ζ(1+δ(T))}\sum_{n\leq T^{1-c}}\frac{a(n)A(n-1)}{n^{1+δ(T)}} $$ where $0<c<1$ is arbitrary and $0<δ(T)=O\left(T^{c-1}\right)$ is suitably chosen. Let $μ(.)$ and $λ(.)$ denote the Möbius function and the Liouville function respectively while $M(.)$ and $L(.)$ denote their corresponding summatory functions. Under the Riemann hypothesis and simplicity of the nontrivial zeros $ρ=1/2+ i γ$ of $ζ(s)$ we show that $$ \langle μ(n)M(n-1) \rangle (T)= -\frac{3}{π^{2}}\left(1-T^{(c-1)δ(T)}\right)+\sum_{0<γ<T}\frac{1}{\left|ρζ'(ρ)\right|^{2}} $$ and $$ \langle λ(n)L(n-1) \rangle (T)=\frac{1}{2}\left(\frac{1}{ζ^{2}(1/2)}-1+T^{(c-1)δ(T)}\right)+\sum_{0<γ<T}\left|\frac{ζ(2ρ)}{ρζ'(ρ)}\right|^{2} $$ as $T\rightarrow \infty$ where $0\leq T^{(c-1)δ(T)}<1$. These results combined with numerical observations suggest that there is anticorrelation between $μ(n)$ and $M(n-1)$ as well as between $λ(n)$ and $L(n-1)$, where the correlation is computed using a logarithmic average. This would imply effective upper bounds on $\left|1/ζ'(ρ)\right|$.

2024-09-03T17:58:50Z Preprint submitted to Int. J. Number Theory 04/2025, accepted 03/2026 with minor revisions Gordon Chavez 10.1142/S1793042126500934 http://arxiv.org/abs/2605.06325v2 2026-05-14T11:35:00Z

We consider a natural filtration $\boldsymbol{\operatorname{Bad}}(δ) \subset \boldsymbol{\operatorname{Bad}}(δ')$ for $δ\geq δ'>0$ on the set of badly approximable numbers to complement the filtration of the well approximable numbers by the $τ$-well approximable numbers. We show that the set $\boldsymbol{\operatorname{Bad}}(δ)$ is a $(1/3, 18 δ)$-winning set and give a lower bound on its Hausdorff dimension. We introduce the notion of $(α, β)$-$\textit{ubiquitously losing sets}$ to the theory of Schmidt games, give an upper bound on the Hausdorff dimension of an $(α, β)$-ubiquitously losing set that is strictly less than full Hausdorff dimension, show that $\boldsymbol{\operatorname{Bad}}(δ)$ is a $(1/2, 18/δ)$-ubiquitously losing set, and give an upper bound on the Hausdorff dimension of $\boldsymbol{\operatorname{Bad}}(δ)$ that is strictly less than one. Combined with a finite intersection property and a bilipschitz transfer property, we obtain results for finite intersections of translates of $\boldsymbol{\operatorname{Bad}}(δ)$.

2026-05-07T14:23:00Z 77 pages. Introduction revised Jimmy Tseng http://arxiv.org/abs/2605.14574v1 2026-05-14T08:45:18Z

We use normal-turn estimates for McShane--Rivin norm balls to prove that, for every complete finite-area hyperbolic once-punctured torus $X$, the number of simple closed geodesics of length exactly $L\geq 2$ is at most $C_X(\log L)^2$. For the modular torus, this gives $$ \#λ_M^{-1}(m)\leq C(\log\log(3m))^2 $$ for every Markoff number $m$, improving the previous logarithmic Markoff-fiber bounds. These estimates also give new quantitative information on the local geometry of McShane--Rivin norm balls, including obstructions to infinite-order flatness at certain irrational directions.

2026-05-14T08:45:18Z 25 pages, 4 figures. Comments welcome! Nhat Minh Doan Xiaobin Li Van Nguyen http://arxiv.org/abs/2602.19771v3 2026-05-14T08:27:48Z

Let $\mathcal{X}_0(N)$ be the Deligne--Rapoport modular stack of elliptic curves endowed with a cyclic rational $N$-isogeny over a number field $F$. Let $N\in\{1,2,3,4,5,6,7,8,9,10,12,13,16,18,25\},$ which are precisely the values for which the coarse moduli space of $\mathcal{X}_0(N)$ is isomorphic to $\mathbb{P}^1$. We show that the stacky Batyrev--Manin conjecture [DY24] holds for the naive height on $\mathcal{X}_0(N)$ when $F=\mathbb{Q}$. In the process, we give a concrete description of $\mathcal{X}_0(N)$ as a square root stack over a stacky curve.

2026-02-23T12:23:39Z 34 pages. v3: improved exposition (especially in the introduction) Ratko Darda Changho Han http://arxiv.org/abs/2407.08048v4 2026-05-14T06:37:40Z

This paper concerns SIC-POVMs and their relationship to class field theory. SIC-POVMs are generalized quantum measurements (POVMs) described by $d^2$ equiangular complex lines through the origin in $\mathbb{C}^d$. Weyl--Heisenberg SICs are those SIC-POVMs described by the orbit a single vector under a finite Weyl--Heisenberg group ${\rm WH}(d)$. We relate known data on the structure and classification of Weyl--Heisenberg SICs in low dimensions to arithmetic data attached to certain orders of real quadratic fields. For $4 \le d \le 90$, we show the number of known geometric equivalence classes of Weyl--Heisenberg SICs in dimension $d$ equals the cardinality of the ideal class monoid of the real quadratic order $\mathcal{O}_{Δ_d}$ of discriminant $Δ_d=(d+1)(d-3)$; we conjecture the equality extends to all $d \ge 4$. We prove that this conjecture implies the existence of more than one geometric equivalence class of Weyl--Heisenberg SICs for $d > 22$. We conjecture Galois multiplets of SICs are in one-to-one correspondence with the over-orders $\mathcal{O}'$ of $\mathcal{O}_{Δ_d}$ in such a way that the number of classes in the multiplet equals the ring class number of $\mathcal{O}'$. We test that conjecture against known data on exact SICs in low dimensions. We refine the class field hypothesis of Appleby, Flammia, McConnell, and Yard (arXiv:1604.06098) to predict the exact class field over $\mathbb{Q}(\sqrt{Δ_d})$ generated by the ratios of vector entries for the equiangular lines defining a Weyl--Heisenberg SIC. The refined conjectures use a recently developed class field theory for orders of number fields (arXiv:2212.09177). The refined class fields assigned to over-orders $\mathcal{O}'$ have a natural partial order under inclusion; the inclusions of these fields fail to be strict in some cases. We characterize such cases and give a table of them for $d < 500$.

2024-07-10T21:05:23Z 40 pages, 4 tables, 2 figures Gene S. Kopp Jeffrey C. Lagarias http://arxiv.org/abs/2605.05094v2 2026-05-14T06:04:40Z

We establish new transformation formulas involving theta functions and certain bilateral basic hypergeometric series. From these formulas, we construct companion $q$-series for a class of $q$-series such that the asymptotic expansion of their quotient admits a simple closed form. This allows us to prove several conjectures of McIntosh on asymptotic transformations of $q$-series. Moreover, our results extend some identities of Ramanujan and McIntosh.

2026-05-06T16:31:50Z Nian Hong Zhou http://arxiv.org/abs/2605.14369v1 2026-05-14T04:48:38Z

Let $\mathcal{P}$ denote the set of all primes, and let $\underlineδ(P)$ denote the relative lower density of a subset $P$ in $\mathcal{P}$. Suppose that $P_1, P_2, P_3, P_4$ are four subsets of primes with $\underlineδ(P_1)+\underlineδ(P_2)>1$ and $ \underlineδ(P_3)+\underlineδ(P_4)>1.$ Then for every sufficiently large even integer $n$, there exist primes $p_i \in P_i$ $(i=1,2,3,4)$ such that $n=p_1+p_2+p_3+p_4$. The condition is the best possible.

2026-05-14T04:48:38Z Xiaoyang Hu Meng Gao http://arxiv.org/abs/2605.14342v1 2026-05-14T04:06:30Z

In this paper, we find several determinants expressing the Fibonomial coefficients. We also give the generating functions, Vandermonde identity, and continued fractions about Fibonomial coefficients.

2026-05-14T04:06:30Z Takao Komatsu http://arxiv.org/abs/2605.14288v1 2026-05-14T02:46:39Z

Recent interest in applying machine learning methods to predict invariants of mathematical objects has yielded models with surprisingly strong performance, including those predicting traces of Frobenius for elliptic curves. We demonstrate that the underlying datasets contain significant redundancy within quadratic twist classes, which alone is sufficient to produce highly accurate predictions. To ensure future models capture new arithmetic properties rather than potentially exploiting these dataset artifacts, we introduce a benchmark dataset consisting exclusively of unique twist class representatives.

2026-05-14T02:46:39Z 5 figures Angelica Babei Ujjawal Shah Malick Kebe http://arxiv.org/abs/2601.16975v2 2026-05-14T02:13:22Z

We describe a method to show a plane quartic over a number field has no rational points. The method can be adapted to show that a curve does not have divisors of degree 1 or 2 and can be generalized to arbitrary smooth projective curves. Our approach significantly improves on the applicability over previous 2-cover descent methods by not requiring the computation of the full $S$-unit group of the étale algebras involved. We illustrate the practicality with several examples, including examples where we determine plane quartics to be of index 2 or 4 when the maximum local index is strictly smaller.

2026-01-23T18:53:19Z v2: minor corrections and added references. Magma code for the examples is now available as ancillary files Nils Bruin Brendan Creutz http://arxiv.org/abs/2604.02014v3 2026-05-14T01:36:04Z

Let $p$ be an odd prime, let $e\ge2$, and put $q=p^e$. We study the wild family \[ \varphi_{r,e}(x)=x^q+qp^r x^{q+1}=x^{p^e}+p^{r+e}x^{p^e+1} \qquad (r\ge0), \] and the inverse Böttcher coordinate $f_{r,e}(x)=x\sum_{k\ge0}a_k(r,e)x^k/k!$ characterized by \[ \varphi_{r,e}(f_{r,e}(x))=f_{r,e}(x^q). \] For the clean family, we prove a complete mod-$p$ digit-sum law in the special fiber $r=0$. For the higher fibers $r\ge1$, we prove a coefficient-level theorem consisting of a global digit-weight lower bound, a leading monomial theorem on divisible non-pure classes, a lag-$e$ pure-power recursion, and subadditivity of the induced digit weight. This yields the pure-power branch word \[ (B^{e-1}A)^{\lceil r/e\rceil}B^\infty \] and the radius formula \[ ρ(f_{r,e})=p^{-θ_{r,e}},\qquad θ_{r,e}=p^{-e\lceil r/e\rceil}\left(\frac{1}{p-1}+e\lceil r/e\rceil-r\right). \] We then prove a tail-stable extension. In the special fiber, $p$-divisible tails preserve the digit-sum law modulo $p$. In the higher fibers, tails satisfying $v_p(\vartheta_h)\geΛ_{r,e}(h+1)+1$ lie beyond the clean-family initial $Λ_{r,e}$-graded term and therefore preserve the leading terms, the pure-power branch word, the valuation asymptotic, and the radius. For $e=2$, this recovers the Salerno--Silverman degree-$p^2$ family and the Fu--Nie radius statement for the inverse coordinate in that family.

2026-04-02T13:17:23Z Rufei Ren