An Improved Upper Bound for the Dirichlet Spectrum in Diophantine Approximation

2026-05-27T12:52:12Z

We study the continuous part of the Dirichlet spectrum $\mathbb{D}$ and improve the best previously published upper bound for the ray-origin constant $δ$. Building on and refining V. A. Ivanov's approach, we introduce a Cantor-type set $F_4^*$ defined by certain restrictions on partial quotients. For its thickness, we prove $τ(\log(F_4^*))>1$, and apply sum-set results for Cantor sets to prove that the set $F_4^* \cdot F_4^*$ is an interval. Finally, we establish a new upper bound $δ\le \frac{111(397+\sqrt{26565})}{65522}\approx0.94866$.

Brauer--Manin obstruction from failure of Kodaira vanishing in positive characteristic

2026-05-27T10:21:00Z

We study the Brauer-Manin set of smooth projective surfaces over global fields of positive characteristic for which Kodaira vanishing fails. Our results apply in particular to Raynaud surfaces.

Solubility of a family of conics with polynomial coefficients in many variables

2026-05-27T09:23:12Z

We study the proportion of conics given by $(\mathcal{C}_{\mathbf{F}, \mathbf{y}}) : F_0(\mathbf{y})x_0^2 + F_1(\mathbf{y})x_1^2 = F_2( \mathbf{y})x_2^2 $ which have a rational point $\mathbf{x} = (x_0 :x_1:x_2) \in \mathbb{P}^2(\mathbb{Q})$, where $\mathbf{y} = (y_0 : \dots : y_n)\in \mathbb{P}^n(\mathbb{Q})$ and $F_0,F_1,F_2 \in \mathbb{Z}[X_0,\ldots, X_n]$ are homogeneous polynomials in many variables of the same degree $d$. We provide an asymptotic formula for the number of $\mathbf{y}$ of bounded height such that the corresponding conic $(\mathcal{C}_{\mathbf{F}, \mathbf{y}})$ has a rational point. In particular, our result agrees with the Loughran--Smeets and the Loughran--Rome--Sofos conjectures. Our strategy is based on a recent result of Destagnol--Lyczak--Sofos relying on the circle method to estimate the average of an arithmetic function over polynomials in many variables. To this end, we study the proportion of conics $t_0x_0^2 + t_1x_1^2 + t_2x_2^2 = 0$ having a rational point, and coefficients $t_0,t_1,t_2$ in arithmetic progressions.

On some constancy of Hecke eigensystems for Drinfeld cuspforms of finite slope

2026-05-27T08:47:28Z

Let $p$ be a rational prime, let $q>1$ be a $p$-power integer, let $\mathbb{F}_q$ be the field of $q$ elements and let $A=\mathbb{F}_q[t]$ be the polynomial ring over $\mathbb{F}_q$. Let $\mathfrak{n}\in A$ be a nonzero element and let $\wp\in A$ be a monic irreducible polynomial of positive degree. Let $k\geq 2$ and $r\geq 1$ be integers. Let $S_k(Γ_1(\mathfrak{n}\wp^r))$ be the space of Drinfeld cuspforms of level $Γ_1(\mathfrak{n}\wp^r)$ and weight $k$. In this paper, we prove that the multiplicity of a Hecke eigensystem of finite $\wp$-slope in $S_k(Γ_1(\mathfrak{n}\wp^r))$ is equal to $q^{(r-1)\mathrm{deg}(\wp)}$ times that in $S_k(Γ_1(\mathfrak{n}\wp))$. In particular, this shows that a Hecke eigensystem of finite $\wp$-slope appears in $S_k(Γ_1(\mathfrak{n}\wp^r))$ if and only if it appears in $S_k(Γ_1(\mathfrak{n}\wp))$.

1-motives and admissible variations of mixed Hodge structures

2026-05-27T06:25:51Z

Let S be a connected scheme smooth and of finite type over the field of complex numbers. To every 1-motive over S, André associated the enriched Hodge realization given by a torsion-free, graded-polarizable and admissible variation of mixed Hodge structures of type (0,0), (-1,0), (0,-1), (-1,-1) over the associated complex analytic space. In this paper, we prove that every admissible variation of mixed Hodge structures of the above type arises, up to isogeny, from a 1-motive over S, thereby providing a positive answer to a question of André concerning the geometric origin of such variations. More precisely, we establish a Hodge-theoretic interpretation of sections of semi-abelian varieties by combining André's description of the abelian case with a new analysis of the toric part. As a consequence, we prove a relative analogue of Deligne's equivalence over the field of complex numbers. Namely, under suitable assumptions on S and on the lattices and the tori underlying 1-motives, the enriched Hodge realization functor induces an equivalence between the category of 1-motives over S and the category of torsion-free, graded-polarizable and admissible variations of mixed Hodge structures of type (0,0), (-1,0), (0,-1), (-1,-1). In general, the corresponding statement holds only up to isogeny. Finally, we introduce the global Mumford--Tate group of a 1-motive over S and show that its neutral connected component identifies with the Mumford-Tate group of the generic fiber.

Proofs of Two Positivity Conjectures of Guo

2026-05-27T06:08:30Z

We prove two positivity conjectures proposed by Guo for alternating sums and factorial ratios built from Gaussian coefficients. The first result proves the positivity of the odd $q$-super Catalan numbers \[ C_{m,n}(q)=\frac{[2m+1]![2n]!}{[m+n+1]![m]![n]!}. \] The proof uses the positivity theorem of Warnaar and Zudilin for the usual $q$-super Catalan numbers, together with two recurrences obtained from a double application of the $q$-Chu--Vandermonde summation. The second result proves Guo's conjectural strengthening of his alternating-sum positivity theorem, replacing the exponent coefficient $2r-1$ by every odd coefficient $2b-1$, $1\leq b\leq r$. Its proof combines a $q\mapsto q^{-1}$ reciprocity with a finite deletion recurrence.

Mixed thresholds in the Lonely Runner Conjecture

2026-05-27T04:27:10Z

The Lonely Runner Conjecture states that if $k+1$ runners start at the same point on a unit-length circular track and run with distinct constant speeds, then each runner is at some time at least $1/(k+1)$-distant from every other runner. Equivalently, for every tuple of $k$ distinct positive integer speeds $s_1,\ldots,s_k$, there is a real number $t$ such that $\|s_i t\|\geq \frac{1}{k+1}$ for all $i$. We introduce and study a version of the conjecture in which the required distances may vary with $i$. For $\mathbf d=(d_1,\ldots,d_k)\in(0,1/2]^k$, let $\mathsf{MLPS}_k$ be the set of vectors such that, for every choice of distinct positive integer speeds $s_1,\ldots,s_k$, there is a real number $t$ with $\|s_i t\|\geq d_i$ for all $i$. We give an exact characterization of $\mathsf{MLPS}_2$. We also use Fourier series for distance-threshold indicator functions to obtain an arithmetic progression summation formula and an exact two-function integral formula for unequal thresholds.

Good Integers: (T,k)-Subclasses and Applications to Galois Duality in Coding Theory

2026-05-27T04:05:36Z

The notion of good integers, namely the divisors of the sequence $(a^s+b^s)_{s\ge 1}$ for nonzero coprime integers $a$ and $b$, together with their subfamilies such as oddly-good and evenly-good integers, has become an important arithmetic tool in the study of Euclidean and Hermitian dualities for abelian and cyclic codes. Building on this perspective, this paper introduces and studies another interesting subclass of good integers arising from the sequence $\bigl(a^{ks+T}+b^{ks+T}\bigr)_{s\ge 1}$ for some integers $0\leq T

The Bruhat-Tits stratification for basic unramified $GU(1,n-1)$ Rapoport-Zink spaces at arbitrary parahoric level

2026-05-27T02:59:24Z

In this paper, we describe a stratification on the reduced special fiber of the basic unramified unitary Rapoport-Zink space of signature $(1,n-1)$ and at arbitrary parahoric level. We prove the smoothness, irreducibility and compute the dimensions of the closed strata, which are isomorphic to the closure of certain fine Deligne-Lusztig varieties for a product of unitary and general linear groups. We also describe the incidence relations of the stratification by using Bruhat-Tits indices, which are related to the Bruhat-Tits building of an underlying $p$-adic unitary group.

$Q$-difference analogue of the Stothers-Mason theorem

2026-05-27T02:52:37Z

In this paper, we give a new definition of the $q$-weight of zeros, which reduces to the multiplicity of zeros as $q\to 1$. Furthermore, we obtain a $q$-difference version of the Stothers-Mason theorem by means of the new definition of the $q$-difference radical, which covers the classical Stothers-Mason theorem as $q\to 1$. As applications, we study the polynomial solutions of $q$-difference Fermat type functional equations.

Fibonacci Numbers and Vieta Jumping for a Rational Diophantine Equation

2026-05-27T02:26:01Z

We study the Diophantine equation $\displaystyle{\tfrac{a+1}{b} + \tfrac{b+1}{a} \ = \ k}$, where $k$ is an integer. Using Vieta jumping, we completely classify all positive integer pairs $(a, \, b)$. We prove that the associated integer value $k$ can only be $3$ or $4$. The corresponding solution pairs $(a,\,b)$ are related to the classical Fibonacci numbers. As a consequence, the quantity $\frac{a+b}{\gcd(a, \,b)^2}$ takes only the values $1, \, 2, \, 3$ and $5$. This reveals an unexpected connection between a simple rational Diophantine condition, Vieta jumping, and Fibonacci numbers.

Cannonball Polygons with Multiplicities

2026-05-27T02:01:15Z

We generalize the Cannonball Problem by introducing integer-valued and non-increasing arithmetic functions $w$. We associate these functions $w$ with certain polygons, which we call cannonball polygons. Through this correspondence, we show that for any $Z\in\mathbb{N}$, there exists a cannonball polygon with multiplicity 8 and largest side of length $Z$. Moreover, for any multiplicity $s$ greater than 8, we provide an asymptotic formula for the number of distinct classes of cannonball polygons with multiplicity $s$.

The Hurwitz Zeta Function at the Positive Integers

2026-05-27T01:45:57Z

A formula for the Hurwitz zeta function at the positive integers $k$, $ζ(k,b)$, is created by solving the real and the imaginary parts separately and then combining them. A few different formulae for the Hurwitz zeta function are known from the literature, but they are very general and usually hold for $\Re{(k)}>1$. The advantage of formulae that only hold at the positive integers is the fact that they are simpler and easier to work with. An analytic continuation of the generating function of $ζ(k,b)$ is also obtained as $\sum_{k\ge 2}x^k(ζ(k,b)-1/b^k)$, where the term $1/b^k$ was subtracted for convenience.

Linnik's problem for multiplicative functions

2026-05-27T01:44:41Z

We study a multiplicative function analogue of Linnik's problem on the least prime in an arithmetic progression. Let $h\colon \mathbb{N}\to\mathbb{R}\setminus\{0\}$ be a multiplicative function, and let $a \pmod q$ be a reduced residue class. We ask how far one must go before finding square-free integers $n_1,n_2\equiv a \pmod q$ with $h(n_1)<0

Ramification bounds via Wach modules and q-crystalline cohomology

2026-05-26T23:26:09Z

Let $K$ be an absolutely unramified $p$-adic field. We establish a ramification bound, depending only on the given prime $p$ and an integer $i$, for mod $p$ Galois representations associated with Wach modules of height at most $i$. Using an instance of $q$-crystalline cohomology (in its prismatic form), we thus obtain improved bounds on the ramification of $\mathrm{H}^{i}_{et}(X_{\mathbb{C}_K}, \mathbb{Z}/p\mathbb{Z})$ for a smooth proper $p$-adic formal scheme $X$ over $\mathcal{O}_K$, for arbitrarily large degree $i$.