https://arxiv.org/api/3x2lwVXapdqL5f9V/9iuy1GtMeo 2026-06-18T13:18:27Z 49268 285 15 http://arxiv.org/abs/2606.07139v1 2026-06-05T10:50:11Z

We survey the dimension theory of sets of real numbers with regular continued fraction expansion restricted to a non-empty and possibly infinite subset $\mathcal{D}\subset\mathbb{N}$.

2026-06-05T10:50:11Z 33 pages, 2 figures. Overview article based on arXiv:2406.12821 prepared for minicourse at the Simons semester on continued fractions at IMPAN, Warsaw, in 2026 Alex Rutar http://arxiv.org/abs/2606.07097v1 2026-06-05T09:48:29Z

We establish an equivalence between the existence of Costas polynomials and the existence of a special kind of orthomorphism such that their compositions are also orthomorphisms. Computations are easier over these orthomorphisms. We provide a lower bound for the number of Costas polynomials and derive some of their properties. We show that Costas polynomials, by virtue of being multiplicative analogs of planar polynomials, can also be used to construct complete families of mutually orthogonal Latin squares.

2026-06-05T09:48:29Z 8 pages Amela Muratović-Ribić Aleksandar Balašev-Samarski http://arxiv.org/abs/2111.14981v2 2026-06-05T09:27:24Z

As a generalization of irrational rotations and a dual case of higher-dimensional Kronecker sequences, we study the discrepancy of sequences of linear forms on the circle. Given irrationals $α_1,\dots,α_d$, consider the set of $N^d$ points $\{k_1α_1+\cdots+k_dα_d \mod 1 : 1\le k_j\le N\}$. We prove that for a full-measure set of vectors $(α_1,\dots,α_d)\in\mathbb{R}^d$, the maximal discrepancy of these points relative to intervals in $[0,1)$ has the optimal principal order $(\log N)^d$, up to powers of $\log\log N$. This result provides a nearly sharp dual analogue, in the setting of linear forms, to Beck's celebrated theorem on multidimensional Kronecker sequences (Ann. of Math., 1994). The proof combines Fourier analysis, metric multiplicative Diophantine estimates, and a duality argument which reduces certain lattice-counting errors to Beck's discrepancy theorem.

2021-11-29T21:51:24Z Rewrite to improve readability, with several mistakes and typos fixed Hao Wu http://arxiv.org/abs/2509.02187v3 2026-06-05T09:16:52Z

We study orbits in a family of Markoff-like surfaces with extra off-diagonal terms over prime fields $\mathbb{F}_p$. It is shown that, for a typical surface of this form, every non-trivial orbit has size divisible by $p$. This extends a theorem of W.Y. Chen from the Markoff surface itself to others in this family. The proof closely follows and elaborates on a recent argument of D.E. Martin. We expect that there is just one orbit generically. For some special parameters, we prove that there are at least two or four orbits. Cayley's cubic surface plays a role in parametrising the exceptional cases and dictating the number of solutions mod $p$.

2025-09-02T10:51:18Z 26 pages, 8 figures, 1 table. v2: updated references, corrected eq. (9). v3: minor edits, updated Figure 8 Matthew de Courcy-Ireland Matthew Litman Yuma Mizuno http://arxiv.org/abs/2605.09282v4 2026-06-05T09:00:47Z

In this paper, we establish a new lower bound for the number of low-lying zeros of Dirichlet $L$-functions $L(s, χ)$ on the critical line within extremely short intervals. Specifically, for a sufficiently large prime $P$ and real number $T \in [a_1/\sqrt{\log P}, 1]$, we prove that the sum of the number of zeros on the critical line $N_0(T, χ)$ over characters $χ\bmod P$ satisfies $$ \sum_{χ\bmod P} N_0(T, χ) \gg T^2 P\sqrt{\log P} .$$ Traditional approaches encounter significant technical barriers in this short-interval regime. The Levinson method fails due to its own inherent limitations in handling such restricted intervals , while standard applications of the Selberg mollifier are hindered by the emergence of complex, inseparable cross-terms that are difficult to evaluate. To overcome these obstacles, we introduce a novel analytic framework utilizing high-dimensional Mellin transforms. This approach systematically manages the multi-variable series generated by the mollifier calculations. By explicitly resolving these cross-term obstructions, we extract the localized lower bound, providing a robust method that circumvents the short-interval bottleneck and offers potential applicability to the zero statistics of higher-rank $L$-function families.

2026-05-10T03:14:41Z There is a serious error in Chapter 4 XinHang Ji http://arxiv.org/abs/2606.06993v1 2026-06-05T07:31:59Z

We study the distribution of cokernels of Haar-random matrices over the $p$-adic integers with prescribed zero patterns, motivated by the Cohen--Lenstra heuristics. A central feature of our approach is that the asymptotic cokernel distribution is governed by the reductions modulo $p$ of these matrices, viewed as random matrices over the finite field $\mathbb{F}_p$. For several families of support patterns arising from stair-shaped zero regions, including general stair-shaped patterns, band matrices, and matrices with two symmetric stair-shaped zero regions, we show that convergence of the cokernel distribution to the Cohen--Lenstra distribution is equivalent to an asymptotic nonsingularity condition over $\mathbb{F}_p$. We further propose a conjecture for general support patterns and give examples showing that analogous rank-$r$ criteria fail for $r\ge 1$.

2026-06-05T07:31:59Z 15 pages Hyungmin Jang Nathan Kaplan Jungin Lee Myungjun Yu http://arxiv.org/abs/2112.02403v5 2026-06-05T05:43:54Z

Let $G$ be a split, simply connected, almost simple algebraic group, and let $P$ be a maximal parabolic subgroup of $G$. Braverman and Kazhdan in \cite{BKnormalized} defined a Schwartz space on the affine closure $X_P$ of $P^{\mathrm{der}}\backslash G$. An alternate, more analytically tractable definition was given in \cite{Getz:Hsu:Leslie}, following several earlier works. When $G$ is a classical group or $G_2$, we show the two definitions coincide and prove several previously conjectured properties of the Schwartz space that will be useful in applications. Along the way, we give an alternative construction of the ring of differential operators on $X_P$ using the Fourier theory. We also establish the Poisson summation formulae in these cases.

2021-12-04T19:02:17Z 83 pages. Minor edit. Reference updated (Previous file was incorrect) Chun-Hsien Hsu http://arxiv.org/abs/2601.17182v2 2026-06-05T05:23:22Z

The field of definition of the Mordell-Weil group of an elliptic surface $E \rightarrow \mathbb{P}^1$ defined over $\mathbb{Q}$ is the smallest number field $k$ such that all of its $\Bar{\mathbb{Q}}(t)$-rational points are defined over $k(t)$. In this paper, we present an algorithm, implemented in \Magma{}, which can determine arithmetic information, including the field of definition, associated to any rational elliptic surface. As an application of this, we also demonstrate that the field of definition of Shioda's rank $68$ elliptic surface given by $y^2 = x^3 + t^{360} + 1$ is a number field of degree $829,440$.

2026-01-23T21:15:01Z 15 pages, to be presented at ANTS26. Changes made following reviewer feedback Blair Butler Andreas-Stephan Elsenhans http://arxiv.org/abs/2601.11131v2 2026-06-05T05:04:50Z

We revisit the problem of rigorously and deterministically finding elements of large order in the multiplicative group of integers modulo a natural number $N$. Solving this problem is an essential step in several recent deterministic algorithms for factoring $N$, including the currently fastest ones. In 2018, the second author gave an algorithm that for a given target order $D \geq N^{2/5}$, finds either an element of order exceeding $D$, or a nontrivial divisor of $N$, or proves that $N$ is prime. The running time was \[ O\left(\frac{D^{1/2}}{(\log \log D)^{1/2}} \log^2 N \right) \] bit operations, asymptotically the same as the cost of computing the order of a single element using Sutherland's optimisation of the classical babystep-giantstep method. Subsequent work by several authors weakened the hypothesis $D \geq N^{2/5}$ to $D \geq N^{1/6}$. In this paper, we show that the hypothesis may be dropped altogether. Moreover, if $N$ is prime, we can guarantee returning an element of order exceeding $D$, rather than a proof that $N$ is prime.

2026-01-16T09:45:56Z 13 pages; slightly improved main complexity bound David Harvey Markus Hittmeir http://arxiv.org/abs/2506.18874v2 2026-06-05T03:18:27Z

In this paper, we give exact and asymptotic formulas for counting elliptic curves $ E_{A,B} \colon y^2 = x^3 + Ax + B $ with $ A, B \in \mathbb{Z} $, ordered by naive height. We study the family of all such curves and also several natural subfamilies, including those with fixed $ j $-invariant and those with complex multiplication (CM). In particular, we provide formulas for two commonly used normalizations of the naive height appearing in the literature: the calibrated naive height, defined by \[ H^{\mathrm{cal}}(E_{A,B}) := \max\{ 4|A|^3, 27B^2 \}, \] and the uncalibrated naive height, defined by \[ H^{\mathrm{ncal}}(E_{A,B}) := \max\{ |A|^3, B^2 \}. \] In fact, we prove our theorems with respect to the more general naive height $H_{α, β}(E_{A,B}) := \max\{ α|A|^3, βB^2 \}$, defined for arbitrary positive real numbers $α, β\in \mathbb{R}_{> 0}$. As part of our approach, we give a completely explicit parametrization of the set of curves $ E_{A,B} $ with fixed $ j $-invariant and bounded naive height, describing them as twists of the curve $ E_{A_j, B_j} $ of minimal naive height for the given $ j $-invariant. We also include tables comparing and verifying our theoretical predictions with exact counts obtained via exhaustive computer searches, and we compute data for CM elliptic curves of naive height up to $ 10^{30} $. Code in SageMath is provided to compute all exact and asymptotic formulas appearing in the paper.

2025-06-23T17:43:38Z 27 pages, 7 tables, 1 figure; code available on GitHub to reproduce all computations Adrian Barquero-Sanchez Daniel Mora-Mora http://arxiv.org/abs/2512.18936v3 2026-06-05T00:03:04Z

Let $\mathbb{S}^1$ denote the unit circle. We introduce and develop the analytic and bias theory of unimodular fake Möbius functions, i.e. multiplicative functions $\mathfrak{f}:\mathbb{N} \to \mathbb{S}^1 \cup \{0\}$ whose prime-power values are prescribed by a fixed sequence $\{\varepsilon_k\}_{k\ge1}$ via the rule $\mathfrak{f}(p^k)=\varepsilon_k$ for every prime $p$ and every $k\ge1$. A key feature of these functions is that their Dirichlet series admit a factorization into complex powers of the Riemann zeta function. Our main analytic result is an explicit formula for the smoothed summatory function $\sum_{n\ge1}\mathfrak{f}(n)e^{-n/x}$, consisting of a leading main term together with a sequence of lower-order terms. The formula may be viewed as an extension of the Selberg-Delange method and is expected to be of independent interest. As an application, we introduce a notion of bias at a natural scale and obtain an explicit criterion distinguishing persistent bias, apparent bias, and no bias for unimodular fake Möbius functions.

2025-12-22T01:13:04Z Ali Saraeb http://arxiv.org/abs/2510.12973v2 2026-06-04T23:37:22Z

We extend the Galois-theoretic Borovoi-Springer interpretation of algebraic bands to a class of étale-locally represented bands on the fppf site of an arbitrary field $k$, which we call separable bands. Next, a band represented étale-locally over $k$ by a pseudo-reductive group is shown to be globally representable when $[k : k^p] = p$, with counterexamples in general. When $k$ is a global or local field, we deduce a generalization of Borovoi's abelianization theory to separable bands represented by smooth connected algebraic groups. As an application, we prove that the Brauer-Manin obstruction is the only obstruction to both the Hasse principle and weak approximation on a homogeneous space of a pseudo-reductive group (more generally, of a smooth connected affine algebraic group with split unipotent radical) having a smooth connected geometric stabilizer.

2025-10-14T20:32:34Z 91 pages; version updates: \#\1. added the weak approximation case in subsections 5.2, 5.3 \#\2. generalized B.2.1 beyond smooth groups, also the Čech theory in 2.4 to all locally algebraic fppf bands \#\3. minor typos fixed/exposition improved, notably in subsection 3.3 Azur Đonlagić http://arxiv.org/abs/2606.02254v2 2026-06-04T23:24:02Z

Let $E$ be an elliptic curve over $\mathbb{Q}$ having split multiplicative reduction at a prime number $p$. We describe the tame part of the $\mathcal{L}$-invariant of $E$ at $p$ in terms of automorphic $p$-adic periods introduced in the work of Darmon. More precisely, we prove an equality of refined $\mathcal{L}$-invariants using twisted versions of refined exceptional zero conjectures. When the conductor of the elliptic curve is exactly $p$ and the automorphic period is attached to an optimal embedding of conductor $1$ then we prove this equality unconditionally by using the work of de-Shalit.

2026-06-01T13:42:52Z v.2 fixed metadata. 15 pages, comments are welcomed Daniel Barrera Salazar Juan-Pablo Llerena-Córdova http://arxiv.org/abs/2605.25917v3 2026-06-04T22:18:46Z

In this paper, we prove that every prime $p$ which is congruent to $4,7$ modulo $9$ is the sum of two rational cubes. This is $2/3$ of Sylvester's conjecture which has a history of nearly 150 years since 1879. In the proof, we use recent progress on Full BSD conjecture of rank $0$ elliptic curves in \cite{BF} to deduce that the Manin-Stevens constants of some families of elliptic curves are units. We also use recent solutions of Unbounded Denominators Conjecture in \cite{CDT} to prove that some cubic roots of modular functions are invariant under some congruence subgroups. Instead of using the Unbounded Denominators Conjecuture, we also give another conditional proof assuming the GRH for number fields or Artin's primitive root conjecture for arithmetic progressions.

2026-05-25T14:52:01Z modify some typos, little mistakes and add some details in some argument Hongbo Yin http://arxiv.org/abs/2606.06713v1 2026-06-04T21:01:15Z

We give a product formula for the Tamagawa numbers of Jacobians over a discrete valuation field with perfect residue field k. It comes as a product of four terms - unipotent, toric, arithmetic and (somewhat intricate) cohomological. It is proved by (1) extending the classical flow-cut construction from semistable to arbitrary curves, which, by Raynaud's results, gives the formula when k is algebraically closed; (2) observing that this formula respects the natural metric on the edges of the dual graph, which allows to quotient out the Galois action; (3) extending Bosch-Liu's description of the cohomological term when k is finite. In particular, this answers a question of Bosch-Liu, and gives an alternative description of Poonen-Stoll's cohomological obstruction in terms of characters.

2026-06-04T21:01:15Z 20 pages; first version; comments welcome! Tim Dokchitser