Number Theory [math.NT]

On weighted forms in many variables

math.NT

In this paper, we introduce several novel approaches utilizing the circle method to obtain the asymptotic formula for the number of integral points of bounded height lying on a hypersurface in a weighted projective space. Let $F(\mathbf{x} ; \mathbf{y})$ be a given weighted form of degree $d$ in variables $\mathbf{x} \in \mathbb{R}^{s_1}$ and $\mathbf{y} \in \mathbb{R}^{s_2}$, where variables $\mathbf{x}$ and $\mathbf{y}$ have weights $w_1$ and $w_2$ with $w_1w_1 w_2$. Write $$ R_F(P):=\#\left\{(\mathbf{x} ; \mathbf{y}) \in \mathbb{Z}^{s_1+s_2}: F(\mathbf{x} ; \mathbf{y})=0,|\mathbf{x}| \leq P^{w_1 / d},|\mathbf{y}| \leq P^{w_2 / d}\right\} . $$ In particular, we show that whenever $$ s_1+s_2-\sigma_F>\left(1+\frac{w_2}{w_1}\right) \frac{d}{w_1} 2^{d / w_1}, $$ where $\sigma_F$ is the dimension of the affine singular locus of $F$, the quantity $R_F(P)$ has the expected asymptotic formula, that is $$ R_F(P)=c P^{s_1 w_1 / d+s_2 w_2 / d-1}+o\left(P^{s_1 w_1 / d+s_2 w_2 / d-1}\right), $$ where $c$ is the product of local densities. Furthermore, the constant $c$ is positive whenever $F(\mathbf{x} ; \mathbf{y})=0$ has a nonsingular solution over $\mathbb{R}$ and $\mathbb{Q}_p$ for every prime $p$. As a corollary, we verify the integral Hasse principle for the quasi-smooth hypersurface defined by $F(\mathbf{x} ; \mathbf{y})=0$ in a weighted projective space of sufficiently large dimensions.

Stable Solutions to Generalizations of Fibonacci Relations of Higher Order

math.NT

We reformulate and discuss the conditions for the initial values in which a generalized Fibonacci sequence is eventually strictly monotonic. We then extend this exploration to the generalized \(k\)-bonacci sequence. We also give a lower bound on when an eventually strictly monotone generalized \(k\)-bonacci sequence becomes monotone.

$q$-Analogues of some supercongruences related to generalized Van Hamme-type supercongruences

math.NT

Recently, Jana and Kalita (Res. Number Theory $\textbf{8}~ (2022),$ Article $54$) obtained certain supercongruences motivated by some generalized Van Hamme type supercongruences, specifically for an integer $\ell \geq 2$ and an odd prime $p$ with $p \equiv -1 \pmod{\ell},$ \begin{align*} \displaystyle \sum_{n=0}^{\frac{p^v + 1}{\ell}} (-1)^n (2 \ell n - 1) (\ell^2 n^2 - \ell n + 1) \frac{(-\frac{1}{\ell})_n^3}{(1)_n^3} \equiv (-1)^{\frac{p^v + p + 2}{\ell}} p^{3v} \pmod{p^{3v+1}}, \end{align*} and \begin{align*} \displaystyle \sum_{n=0}^{\frac{p^v + 1}{\ell}} (2 \ell n - 1) (2 \ell^2 n^2 - 2 \ell n + 1) \frac{(-\frac{1}{\ell})_n^4}{(1)_n^4} \equiv - p^{4v} \pmod{p^{4v+1}}. \end{align*} Employing the $q$-telescoping technique, similar to the $q$-WZ method, we here establish some supercongruences involving certain $q$-shifted factorials. As particular cases, we provide $q$-analogues of the above supercongruences.

Counterexamples to O'Neil's Period-Index Problem on Elliptic Curves

math.NT

Let $E/K$ be an elliptic curve over a number field $K$, and let $[C]\in H^1(K,E(\overline{K}))$ be a homogeneous space under $E$. Suppose that $C$ has period $n$ and index $d$. O'Neil asked whether one can always choose a lift of $[C]$ to $H^1(K,E[n])$ whose period-index obstruction has order exactly $d/n$. We give a negative answer to this question by constructing an explicit family of examples.Taking $K=\mathbb{Q}(\zeta_8)$, we prove that there exist infinitely many pairwise non-isomorphic elliptic curves $E/K$ such that each $E$ admits infinitely many homogeneous spaces $[C]\in H^1(K,E(\overline{K}))$ with period $8$ and index $16$, but the period-index obstruction of every lift of $[C]$ to $H^1(K,E[8])$ has order exactly $8$.

Vanishing of $\mathrm{Sha}(A/K)[\mathfrak{P}^\infty]$ and its consequences for the anticyclotomic Iwasawa theory of $\mathrm{GL}_2$-abelian varieties

math.NT

In this article we generalise a classical Kolyvagin's result on the vanishing of the $p$-part of the Shafarevich--Tate group of an elliptic curve (defined over $\mathbb{Q}$) over an imaginary quadratic field $K$ to modular abelian varieties of $\mathrm{GL}_2$-type (defined over a totally real number field $F$) and a CM field $K/F$. Combining this result with the abstract Iwasawa-theoretical argument of [MN19], we show that a similar vanishing holds over the layers of a suitably defined anticyclotomic multi-$\mathbb{Z}_p$-extension of $K$.

The average number of rational preperiodic points of polynomials over $\mathbb{Q}$

math.NT

math.DS

Let $M_d(X)$ denote the average number of rational preperiodic points among degree-$d$ polynomials over $\mathbb{Q}$ with vanishing $z^{d-1}$ coefficient, constant term $1$, and height at most $X$. We prove that for every integer $d\ge3$ and every real number $C>4\sqrt{2}$, $M_d(X) \ll_d X^{-1} \exp(C\sqrt{\log X / \log \log X})$. For $d=2$, we prove the optimal bound $M_2(X)\ll X^{-1}$.

Analogue of Cardy's formula on the 60-degree parallelogram: a modular approach

math.NT

math-ph

math.MP

math.PR

The Cardy-Smirnov function of a four-marked planar domain encodes the conjectural scaling limit of the crossing probability for critical percolation. Cardy predicted a closed formula for this limit on the rectangle in the cases of both site and bond percolation, and Smirnov proved the formula together with conformal invariance for critical site percolation on the triangular lattice. Kleban and Zagier later showed that on the rectangle the function admits a modular interpretation: it is determined by a modular functional equation together with a mild analytic ansatz. We carry out the analogue on the $\pi/3$ parallelogram. We derive a closed conformal-map formula for the Cardy-Smirnov function as an incomplete beta integral, prove a closed modular formula realizing it as an integral of the modular form $\eta(\tau)^2\eta(3\tau)^2$, and establish a uniqueness theorem showing that a single functional equation, together with a $q$-expansion ansatz and a nondegeneracy condition, determines the function uniquely.

The Shimura Lift and Hilbert Modular Forms

math.NT

After recalling basic formulas concerning modular forms of half-integral weight, Gegenbauer polynomials, and Rankin--Cohen brackets, we give four versions of the Shimura lift and several applications to Hilbert modular forms associated to real quadratic fields. We claim no originality, but wanted to collect all the formulas in a single paper.

Kato's main conjecture for nonordinary modular forms

math.NT

We prove Kato's main conjecture for modular forms at nonordinary primes for weights in the Fontaine-Laffaille range. The key ingredients in the proof are a reformulation of the conjecture in terms of signed Selmer groups due to Lei-Loeffler-Zerbes, certain $p$-adic families of Rankin-Eisenstein classes arising from the work of Lei-Loeffler-Zerbes and Kings-Loeffler-Zerbes, and the lower bound divisibility in an Iwasawa-Greenberg main conjecture for Rankin-Selberg $p$-adic $L$-functions obtained in our earlier work \cite{CLW}.

Lagrange spectrum for Diophantine approximations of complex numbers with real part equal to one half

math.NT

math.DS

Motivated by a theorem of A. Schmidt on the part of the complex Lagrange spectrum below $2$, we study the restricted Lagrange spectrum $L_{\frac{1}{2}+i\mathbb{R}}$ arising from the approximation of complex numbers of the form $\frac{1}{2}+i\alpha$, $\alpha\in\mathbb{R}\setminus\mathbb{Q}$ by Gaussian rationals $p/q$ with $p,q\in\mathbb{Z}[i]$, $q\neq 0$. We show that this spectrum admits a description in terms of a dynamical spectrum associated with a real horseshoe. As a consequence, we obtain several fractal properties of $L_{\frac{1}{2}+i\mathbb{R}}$, such as continuity of the dimension function $t\mapsto\dim_H(L_{\frac{1}{2}+i\mathbb{R}}\cap(-\infty,t))$. We also prove that the set of complex numbers $z$ satisfying \begin{equation*} \left\lvert z-\frac{p}{q}\right\rvert\geq\frac{1}{2|q|^2}, \quad\text{for all } p,q\in\mathbb{Z}[i], q\neq 0, \end{equation*} is uncountable. In fact, we show that this inequality holds for every complex number of the form $z=\frac{1}{2}(1+i\theta)$ where $\theta\in\mathbb{R}\setminus\mathbb{Q}$ is a root of one of Schmidt's $C$-minimal forms.

Luo's Spectral Large Sieve Inequality on Short Intervals

math.NT

Let $u_j $ traverse an orthonormal basis of Hecke--Maass forms for $\mathrm{SL}_2 (\mathbb {Z}) $ with Hecke eigenvalues $\lambda_j (n)$ and Laplace eigenvalue $1/4+t_j^2$. In this paper, we consider the short-interval variant of the twisted spectral large sieve inequality of Luo for $ \lambda_j (n) n^{it_j} $ on the range $t_j \leqslant T$ and prove that the `Eisenstein--Kloosterman' cancellation discovered by Luo is effective on the interval $ T < t_j \leqslant T + M $ as long as $T^{4/7} < M \leqslant T$.

Bloch-regulator Principal Parts of Cyclotomic Iwasawa Pseudomeasures

math.NT

math.KT

math.QA

Let $p$ be an odd prime and let $K/\mathbb{Q}_p$ be a finite unramified extension. From a finite presentation by roots of unity of order prime to $p$, we construct a localized Iwasawa pseudomeasure on $\mathbb{Z}_p^\times$. Although the pseudomeasure depends on the chosen presentation, its image modulo bounded measures depends only on the associated Bloch class: it is the Frobenius-depleted Coleman regulator of that class multiplied by a universal half-shifted zeta principal part. Consequently, every nonexceptional weight component is bounded, while the exceptional component has at most a simple pole with explicitly determined residue. For $p>3$ and $\mathbb{Z}_p$-valued coefficients, vanishing of the principal part is equivalent to vanishing of the corresponding class in $K_3(K;\mathbb{Z}_p)$. Cyclotomic refinements preserve the Bloch class and act on the associated pseudomeasures by explicit Iwasawa multipliers. Normalized finite linear combinations of refinements interpolate arbitrary finite jets of the bounded weight-space data, subject only to the normalization at the exceptional point. We also establish a half-shifted complex Mellin factorization, compare the construction with the GSWZ germ family, and derive, at simple degree-one places above primes $p>3$, a finite-polylogarithm criterion for the local $K_3$-class of the knot $5_2$.

On the special values of Berndt's generalized $L$-function

math.NT

In this paper, we study the generalized $L$-function considered by Berndt (1975). We introduce the generalized Apostol-Bernoulli polynomials and the generalized Apostol-Bernoulli functions, and establish some properties for them, including the Fourier series for these functions. We show that the values of Berndt's generalized $L$-function at integers are explicitly evaluated in terms of the generalized Apostol-Bernoulli functions.

Counting integral points near a curve in the n-dimensional Euclidean space

math.NT

math.CA

We improve a result of Hickman and Srivastava, which gives upper and lower bounds for the number of integral points which lie within a neighborhood of a smooth non-degenerate curve in $ \mathbb{R}^n $ for $ n \geq 3 $. Through more refined calculations, we have unleashed the great potential of the method in their work. Our improvement lies in the case $ n \geq 4 $, and the bounds are the best so far under certain conditions.

Wallis-type products with polynomial exponents and the Dirichlet beta function at negative integers

math.NT

math.CA

math.CO

We develop a methodology for designing infinite products of rational blocks whose exponents are polynomials in the index $k$. Matching power sums of the slot constants through order $n$ forces the Type-$N$ product with binomial exponent $\binom{n+k-2}{n-1}$ to converge to a ratio of Vign\'eras multiple gamma values $\Gamma_n$; an analogue finder lifts any Type-1 evaluation to every higher type, and integer combinations of binomial exponents then realise arbitrary integer-valued polynomial exponents, yielding explicit products with exponents $k$, $k^2$, $k^3$, ... for constants such as $\pi/2$, $\sqrt{2}$, $e^{2K/\pi}$, and rational multiples of $\pi^{M!}$ (Part I). As the main application (Part II) we prove that for every positive integer $n$, a finite multiple-gamma template $\mathcal{S}_n$ with generalised Eulerian weights $T(n,k)$ (OEIS A225118) evaluates the Duke-Imamo\u{g}lu expression $\mathcal{D}_n = \beta'(-n) + (\log 4)\,\beta(-n)$. For odd $n$ this yields a convergent Wallis-Eulerian product for $e^{\beta'(-n)}$; for even $n$ the raw product diverges. The proof expands the template through the multiple-gamma functional equation, evaluates the quarter-integer coefficients in closed form, and identifies the resulting Eulerian-binomial sums with Duke's polynomials $P_{n+1,\ell}$.

Exact logarithmic Hausdorff and capacity exponents of the non-Brjuno set

math.NT

math.CV

Let $\mathcal{N}$ be the set of non-Brjuno real numbers. We determine the exact critical exponent of $\mathcal{N}$ for both logarithmic Hausdorff measure and logarithmic capacity. For the gauges $h_\delta(r)=(\log(1/r))^{-\delta}$, the critical exponent is $2$: the $h_\delta$-Hausdorff measure is infinite locally for $0<\delta\leq2$ and vanishes globally for $\delta>2$, while the logarithmic capacity is positive exactly for orders $0

Difference of the modular function $\omega_{2}(\tau)$, revisited

math.NT

Adapting the analytic method of Gross and Zagier, Roskam proved a prime-factorization formula for the norm of the difference of two level-two Weber singular moduli. Independently, Yang and Yin obtained an equivalent formula using Borcherds lifts. More precisely, the formula concerns the norm of \[ \omega_{2}\left(\frac{-1+\sqrt{d_{1}}}{2}\right) - \omega_{2}\left(\frac{-1+\sqrt{d_{2}}}{2}\right) \] for coprime negative fundamental quadratic discriminants $d_{1},d_{2}\equiv1\pmod 8$, where \[ \omega_{2}(\tau) = 2^{12}\frac{\eta(2\tau)^{24}}{\eta(\tau)^{24}}, \] and $\eta(\tau)$ denotes the Dedekind eta function. In this work, we revisit this formula from the perspective of arithmetic intersection theory and give a new proof.

Euler Characteristics of $\mathrm{SL}_4(\mathbb{Z})$ and $\mathrm{GL}_4(\mathbb{Z})$, and their cohomological consequences

math.NT

math.RT

We compute the homological Euler characteristics of $\mathrm{SL}_4(\mathbb{Z})$ and $\mathrm{GL}_4(\mathbb{Z})$ with coefficients in arbitrary irreducible rational highest-weight representations. Applying Wall's formula, we combine the orbifold Euler characteristics of centralizers of torsion elements with traces computed using the Jacobi-Trudi identity to derive explicit formulas and rational generating functions. Consequently, these Euler characteristics are quasi-polynomial functions of the highest-weight parameters, of total degree at most two. We further derive degreewise vanishing results and parity-sensitive lower bounds for the dimensions of cohomology groups. The two extensions of an $\mathrm{SL}_4(\mathbb{Z})$-coefficient system to $\mathrm{GL}_4(\mathbb{Z})$ yield sharper bounds, which grow linearly or quadratically in explicit infinite families. For symmetric powers, combining our formulas with Horozov's calculation of the determinant-twisted summand yields exact identities and lower bounds for the untwisted summand, together with a conjectural degreewise description of its cohomology.

On supersingular isogeny graphs of Drinfeld modules

math.NT

We study supersingular isogeny graphs of rank-two Drinfeld modules over $A=\mathbb{F}_q[T]$. For distinct finite primes $\mathfrak p$ and $\mathfrak q$ of $A$, we prove that the graph in characteristic $\mathfrak p$, with edges given by cyclic $\mathfrak q$-isogenies, is connected. The proof combines Gekeler's ideal-class correspondence with strong approximation to realize the graph as a quotient of the Bruhat--Tits tree of the homothety classes of $A_\mathfrak q$-lattices in $(\mathbb{F}_q(T))_\mathfrak q^2$. We also introduce the completeness number $E(\mathfrak p)$, the least integer such that the graph is complete for every prime $\mathfrak q\neq\mathfrak p$ with $\operatorname{deg}\mathfrak q\geq E(\mathfrak p)$, and derive explicit upper bounds using the Ramanujan--Petersson bound for the eigenvalues of operators associated to Brandt matrices over function fields. In particular, if $d=\operatorname{deg}\mathfrak p$, then $E(\mathfrak p)\leq 2d+2$, with sharper bounds depending on $q$ and the parity of $d$. This confirms a conjecture of Micheli and Papikian that the graph becomes complete once $\operatorname{deg}\mathfrak q$ is sufficiently large relative to $\operatorname{deg}\mathfrak p$. We further obtain parity-dependent lower bounds and prove that $E(\mathfrak p)\geq d+\log_q d-K$ for an absolute constant $K>0$ and sufficiently large odd $d$, thereby refuting the previously suggested bound $E(\mathfrak p)\leq d+1$. Finally, we prove a criterion yielding an algorithm to compute $E(\mathfrak p)$.

The arithmetic of critical values II: critical elliptic curves

math.NT

math.AG

In this second chapter of the $\textit{Arithmetic of critical values}$ series (ACV), we study certain double covers $E_f\to\mathbb{P}^1$ whose branch locus coincides with that of a quartic polynomial $f$. We give a direct proof of the fact, already shown non-constructively in ACV I, that the elliptic curves $E_f$ admit a $3$-isogeny. Our methods are Galois-theoretic, and lead us to a thorough analysis of the Galois closure of $f:\mathbb{P}^1\to\mathbb{P}^1$. We exploit its rich geometry to prove a Selmer companionship theorem for the family $E_f$, allowing us to exhibit elements in certain Tate-Shafarevich groups which are visible in an abelian surface. We also give some dynamical and Diophantine applications of our constructions, as well as new examples of Jacobians isogenous to a power of an elliptic curve.

Hecke Subalgebras and Local Newforms for the Metaplectic Double Cover of $\SL_2(\mathbb Q_p)$

math.NT

We determine an explicit compact Hecke subalgebra for the metaplectic double cover of $\SL_2(\mathbb Q_p)$ at the congruence subgroup $K_0(p^n)$, for odd $p$, and use it to study local newforms of prescribed quadratic type. We describe the supporting double cosets, generators, relations, characters, and corresponding $\ov K$-types, and compute the action of the resulting Hecke operators on $(K_0(p^n),\eta)$-isotypic vectors in principal series, Weil, Steinberg, and supercuspidal representations. Thus the conductor relevant throughout is the $\eta$-conductor, rather than the minimum over all characters. In the supercuspidal case, the metaplectic calculation is reduced to the corresponding linear strongly cuspidal type, making explicit the distinction between unramified and ramified $L$-packets. We also compare the operator $W_{m-1}$ with Ishimoto's local realization of Ueda's twisting operator: after fixed-level compression and a lifted $\GL_2$-conjugation, the two actions agree up to an explicit scalar and a parity-dependent change of type. These results provide the local odd-prime counterpart to the Hecke-algebra methods used in the theory of half-integral-weight newforms and minus spaces.

Average twin prime conjecture for elliptic curves in arithmetic progressions

math.NT

In 1988, Koblitz conjectured an asymptotic formula for the number of primes $p \le x$ for which the reduction of an elliptic curve over $\mathbb{Q}$ has prime order. Building on the work of Balog, Cojocaru, and David, who proved this conjecture on average in 2011, we extend the result to primes $p$ lying in arithmetic progressions. Our asymptotic formula holds uniformly for moduli up to a fixed power of $\log x$. We also show that the resulting average constant matches the theoretical constant predicted by Lee, Mayle, and Wang in 2025 using Galois representations.

$D(N)$-quadruples in upper-triangular $2\times2$ integer matrices

math.NT

We introduce analogues of Diophantine $D(N)$-$m$-tuples in the noncommutative ring $M_2(\mathbb Z)$ of $2\times2$ integer matrices. Besides definitions based on the standard matrix product, we consider a symmetric version defined via the Jordan product $$A\circ B=\frac12(AB+BA).$$ Special attention is devoted to upper-triangular integer matrices $UT_2(\mathbb Z)$, where squares admit a particularly simple description. Motivated by the classical connection between representations of $n$ as a difference of two squares and the existence of $D(n)$-quadruples in commutative rings, we investigate the existence of Jordan $D(N)$-quadruples in $UT_2(\mathbb Z)$.

Lower Bounds for Moments of $L$-functions

math.NT

In this article, we introduce a refinement of the method of Heap and Soundararajan to obtain lower bounds for the $2k$-th moment of a broad class of $L$-functions for all real $k\ge 0$. In particular, our method circumvents the need to estimate the twisted moments of $L$-functions.

Matrix representations and arithmetic properties of jacobsthal numbers via binary 3x3 matrices

math.NT

We study matrix representations of the Jacobsthal sequence generated by binary 3x3 matrices with determinants 0, 2, and -2, using linear algebraic methods analogous to Fibonacci-type constructions. Explicit formulas for matrix powers are obtained, yielding identities for Jacobsthal numbers, including convolution formulas, trace relations, determinant expressions, and Cassini-type identities. We further derive congruence relations and recurrence formulas, and analyze arithmetic properties such as partial sums and the Sidon-type structure of the sequence. Finally, we prove that exactly three conjugacy classes of binary 3x3 matrices generate the Jacobsthal sequence, providing a unified algebraic framework that connects matrix theory with second-order linear recurrences.

Sets whose differences avoid a bracket quadratic

math.NT

math.CO

Suppose a set of integers $A\subseteq\{1,\dots,N\}$ has no solutions to $a-a'=n\lfloor\sqrt[3]2n\rfloor,$ for distinct $a,a'\in A,$ and $n\in \mathbb{N}.$ We show that $|A|\ll N^{1-c}$ for some absolute constant $c>0.$ To do this, we prove quantitative bounds on the van der Corput property for certain sets of bracket quadratics. This comes as a consequence of establishing exponential sum estimates for these sets, utilising a theorem of Green and Tao on the quantitative equidistribution of polynomial orbits on nilmanifolds, closely following the approach of Neale who went on to prove a Waring-type result. We also extend our result to differences avoiding a family of bracket polynomials (also known as generalised polynomials).

Complete characterization of a class of complete permutation quadrinomials over \(\mathbb{F}_{q^2}\)

math.NT

Let $q = 2^m$, $Q = 2^k$, and $1 \leq k \leq m-1$. Write $\overline{x} = x^q$. We study complete permutation quadrinomials over $\mathbb{F}_{q^2}$ of the form \[ f(x) = c_0 x^{Q+1} + c_1 x^Q \overline{x} + c_2 x \overline{x}^Q + c_3 \overline{x}^{Q+1},\qquad c_i \in \mathbb{F}_{q^2}. \] When \(k=1\), Tu et al. (Finite Fields Appl. 68: 1-20, 2020) gave a sufficient condition for \(f\) to be a complete permutation polynomial (CPP) over \(\mathbb{F}_{q^2}\). Chan et al. (Finite Fields Appl. 110: 102734, 2026) later proved that this condition is also necessary, and that under this condition \(f\) and \(f+x\) are linearly equivalent to \(x^2\overline{x}\) and \(x^2\overline{x}+\gamma x\), respectively, for some \(\gamma\in \mathbb{F}_{q^2}^*\) with $\ord(\gamma^{q-1})=3$. In this paper, we prove that no such CPP exists for \(k>1\), and that the known condition of Chan et al. is complete for \(k=1\). This completes the characterization for all \(Q=2^k\) with $1 \leq k \leq m-1$.

$13$ unknowns over quadratic integer rings and Lucas congruences

math.NT

math.LO

For every quadratic number field $K$, we prove a uniform $3$-unknown Diophantine definition of integer tuples in $\mathcal{O}_K$, allowing finitely many polynomial nonvanishing conditions. This yields an effective $+3$ transfer principle and a $13$-unknown representation of every recursively enumerable integer relation. Consequently, there exists an absolute degree bound $D_0\geq1$ such that for every quadratic number field $K$, there is no algorithm that, given \[ P(Y_1,\ldots,Y_{13})\in\mathbb{Z}[Y_1,\ldots,Y_{13}],\quad \mathrm{deg}\ P\leq D_0, \] decides whether $P=0$ has a solution in $\mathcal{O}_K^{13}$. The arithmetic input is a fourth-order Pell--Lucas congruence. It is a specialization of the norm-one Lucas multiplication formula, which yields exact valuations for the deviation of a Lucas quotient from its linear term, together with deviation criteria for Lucas--Wieferich and Wall--Sun--Sun primes. We also establish local surjectivity and $\ell$-adic density for second-order correction terms for norm-one Lucas sequences.

Relative Langlands duality of the Bump-Friedberg-Ginzburg $\mathrm{GSO}_6$-integral

math.NT

math.RT

We provide a new instance of singular relative Langlands duality, underlying a Rankin-Selberg integral on $\mathrm{GSO}_6$ due to Bump-Friedberg-Ginzburg. We conclude that this integral represents an essentially self-dual object in the relative Langlands program, and we demonstrate that the Langlands dual automorphic integral computes a finite sum of $L$-functions, reflecting stacky structure on the spectral side.

Joint Equidistribution of Subspaces of Bounded Height in Rigid Adelic Spaces

math.NT

math.DS

For every $1\le d

Unit Indices of Prime-Index Shanks Orders

math.NT

For an integer $t\geq-1$, let $\theta_t$ be the largest real root of $g_t(X)=X^3-tX^2-(t+3)X-1$, and let $R_t=\mathbb{Z}[\theta_t]\subseteq\mathcal{O}_t=\mathcal{O}_{\mathbb{Q}(\theta_t)}$. We prove that if the additive order index $q=[\mathcal{O}_t:R_t]$ is prime, then $[\mathcal{O}_t^\times:R_t^\times]=q$ exactly for $(t,q)=(3,3)$ and $(5,7)$, and the unit index is $1$ otherwise. The proof shows that $q$ has a unique prime $\mathfrak P$ above it and that $R_t=\mathbb{Z}+\mathfrak P^2$, thereby restricting the unit index to $1$ or $q$. It then invokes a maximal-order unit theorem in the wild branch and combines regulator and congruence bounds in the tame branch. We also determine the Picard kernel, the ideal class monoid, and every fiber of the associated integral matrix-conjugacy classification.

Density of the multidimensional Lagrange spectrum

math.NT

math.DS

The Lagrange spectrum is a classical object in number theory, defined as the set of values of $\liminf_{q\to\infty} q\, \mathrm{dist}(q\alpha,\mathbb{Z})$ where $\alpha$ runs through irrational numbers. It has a complicated structure, with the discrete part, Hall's ray, and a transitional part in between. One can similarly define Lagrange spectrum in the multidimensional set-up, and until now not much has been understood about it. In this paper we prove that, unlike in the one-dimensional case, the closure of the multidimensional Lagrange spectrum is equal to the interval between $0$ and its supremum. The proof relies on a correspondence between Diophantine approximation and dynamics on the space of unimodular lattices and proceeds by studying a dynamical counterpart of the Lagrange spectrum that we call dynamical Lagrange spectrum. The latter is shown to be equal to the interval between $0$ and its maximum by means of an argument utilizing the higher rank nature of the set-up. A passage from full dynamical spectrum to the density of the Diophantine spectrum is achieved by applying equidistribution of expanding translates of horospheres in the space of lattices.

An Explicit Belyi Map for the Wiman Sextic and Cusp Forms for a Noncongruence Subgroup

math.NT

math.AG

In this paper, we explicitly determine an algebraic Belyi function on a unique smooth projective model $\widetilde{W}$ of the Wiman sextic curve $W$ and describe its complex uniformization in terms of modular functions associated with a certain noncongruence subgroup $\Gamma_{\widetilde{W}} \subset {\rm SL}_2(\mathbb{Z})$. As an application, we give a direct proof of the unbounded denominators conjecture in weight $2$ for $\Gamma_{\widetilde{W}}$. The conjecture is now known in full generality by the work of Calegari, Dimitrov, and Tang, following earlier progress including work of Dong, Lin, and Ng. Our proof, however, uses a degeneration of $\widetilde{W}$ over $\mathbb{F}_{5}$ together with explicit Puiseux series expansions and is substantially different from the methods employed in their work.

Reduced polynomial lifts of APN permutations over Galois rings and effective non-APN bounds

math.NT

cs.IT

math.IT

We clarify the APN lifting conjecture over Galois rings of R\o njom and Sandrib (CCDS, 2026). A function on $\F_q$ has many polynomial representatives, whose formal derivatives may differ, so the conjecture must use the unique reduced representative of degree less than $q$; without this normalization, it is false. The standard permutation-polynomial criterion over Galois rings then gives an exact reduction: the reduced representative $f$ of an APN permutation lifts to a permutation of $\GR(2^k,m)$, $k>1$, if and only if $f'(x)\ne0$ for every $x\in\F_{2^m}$. Thus the corrected lifting conjecture is equivalent to a finite-field critical-point conjecture. We next use Janwa--Wilson--Rodier surfaces, which encode the APN condition by rational points off the diagonal arrangement, to prove an effective nonexistence result. For every odd degree $d\ge5$ outside the Gold exponents $2^r+1$ and Kasami--Welch exponents $2^{2r}-2^r+1$, results of Hernando--McGuire and Aubry--McGuire--Rodier provide an absolutely irreducible factor in the hyperplane section at infinity. This yields an absolutely irreducible component of the surface, defined over the ground field and not contained in the diagonal arrangement. The explicit Cafure--Matera estimate then gives a computable number $\APNmzero{d}$ such that no polynomial of degree $d$ over $\F_{2^m}$ is APN when $m\ge\APNmzero{d}$. The qualitative eventual non-APN result is due to Aubry--McGuire--Rodier; our contribution is the explicit threshold. A direct identity for difference tables also gives an even-degree consequence: if $g$ has such an odd degree, then $ax+g(x^2)+c$, with $a\ne0$, has the same differential uniformity as $g$ and is therefore not APN in the same explicit range. Finally, we prove directly that every cubic permutation polynomial has a rational critical point and hence satisfies the corrected lifting conjecture.

Normal and Lognormal Asymptotics for Lattice-Point Counts in Random Translates of High-Dimensional Balls

math.NT

math.PR

Let the center of a $d$-dimensional Euclidean ball be uniformly distributed modulo $\mathbb Z^d$. We study the resulting number of integer lattice points as the dimension and radius tend to infinity. The critical scale is $4\pi^2R_d^2/(d+2)=\log d$. In a logarithmic window around this scale, the logarithm of the lattice-point count divided by the volume satisfies a central limit theorem. At a fixed offset from the critical scale this yields a genuine lognormal limit. Above the critical scale, the count-to-volume ratio converges to $1$ in measure; its normalized error has a standard normal limit, and its variance satisfies an asymptotic formula.

Counting solutions to quadratic forms in eight prime variables of off-diagonal rank $3$

math.NT

math.CO

In this note we count the number of solutions to a non-degenerate quadratic form in eight prime variables of off-diagonal rank $3$. It is a continuation of work by L. Zhao, who counted solutions to forms in at least nine variables, by B. Green, who counted solutions to 'generic' (which implies off-diagonal rank $4$) forms in eight variables, and by J. Dobrowolski, who counted solutions to forms in eight variables of off-diagonal rank at most $2$.

Subconvexity of Short $k$-Free Exponential Sums in $\mathbb{F}_q[t]$

math.NT

We extend recent work of the author over $\mathbb{Z}$ into the positive characteristic setting of $\mathbb{F}_q[t]$. In particular, for a polynomial $F \in \mathbb{F}_q[t]$ of degree $N$, let $R_k(\alpha)$ denote the exponential sum over $k$-free polynomials $f$ with $\text{deg}(f-F)0$, we prove essentially tight upper and lower bounds for the $s$-th moment of $R_k(\alpha)$ whenever $K > (\frac{1}{2}+\epsilon)N$, and in even shorter intervals when $s>1+\frac{1}{k}$. As an application of these results, we prove a lower bound of order $q^{\frac{K}{6}}$ for the $L^1$-mean of the M\"obius-twisted exponential sum over $\mathbb{F}_q[t]$ whenever $K >(\frac{1}{2}+\epsilon)N$.

Large zeta sums and zeros of the Riemann zeta function

math.NT

For real $t$ and $x\ge 1$, set \[ S(x,t)=\sum_{n\le x} n^{\ii t}. \] We prove an unconditional inverse theorem relating large values of $S(x,t)$, with $|t|$ large, to zeros of the Riemann zeta function near height $t$. More precisely, if $T\le |t|\le 2T$, $\exp(\sqrt{\log T})\le x\le \sqrt T$, and $|S(x,t)|=x/N$ with $N\le (\log x)^{1/100}$, then for every $cN^6\le L\le (\log x)/2$ a disk centered at $1+\ii\phi$, where $|\phi-t|\ll N$, contains at least $L/360$ zeros of $\zeta(s)$. As a consequence, a quantitative restriction on zeros in a short family of arbitrarily thin fixed windows to the left of the line $\Ree s=1$ yields $S(x,t)\ll x/(\log x)^{1/100}$ in polynomial ranges of $x$. The proof adapts the zero-forcing mechanism of Granville and Soundararajan for large character sums. In the zeta setting the spectral height is shifted by $t$, and an additional residue from the pole of $\zeta(s)$ appears in the Gaussian transform; in the range considered here that residue is exponentially small.

Bounded gaps between primes

math.NT

Polymath8b proved that $H_1 = \liminf (p_{n+1}-p_n) \leq 246$. In this paper we show how the Bombieri-Vinogradov theorem can be combined with newer equidistribution estimates for smooth moduli to obtain the improved bound $H_1 \leq 240$.

Quantitative time-averaged spherical means along equidistributed spirals: Diophantine rates and limits of uniformity

math.DS

math.NT

v3

We establish quantitative equidistribution estimates for spherical observables sampled along Kronecker flows. For the monotone measure-preserving inverse-CDF parametrization $\Phi_d:\mathbb{T}^d\to\mathbb{S}^d$ and a Diophantine frequency of exponent $\tau$, every $\varphi\in C^s(\mathbb{S}^d)$, $00$, the rate $O(T^{-s/[d(\tau+1)]+\varepsilon})$. Its power exponent is larger exactly when $\tau(d-1-s)

Lattice Green's function of the hyperkagome lattice: modular uniformization at level 30 from an orthogonal differential Galois group

math-ph

cond-mat.stat-mech

math.MP

math.NT

The lattice Green's functions of the cubic lattices are classical: each is a symmetric square of a second-order operator, with a closed form in complete elliptic integrals. The hyperkagome lattice, realized by the iridium sublattice of the spin-liquid candidate Na4Ir3O8, has resisted such a treatment: Varma and Monien reduced its density of states to a threefold integral they found no way to solve exactly. From exact lattice moments we obtain an irreducible third-order linear differential (Picard-Fuchs) operator annihilating the Green's function. It is not a literal symmetric square, yet its symmetric square carries a rational solution: the differential Galois group is orthogonal, and an order-two differential intertwiner makes the operator projectively a symmetric square. Our main result is that the underlying second-order operator is the uniformizing equation of the genus-zero modular curve of Gamma_0(30)+, the level-thirty group generated by Gamma_0(30) and all its Atkin-Lehner involutions, an explicit eta quotient parametrizing the natural variable. That uniformizing equation is itself not new - it is a row of the Lian-Yau table of genus-zero groups - so what is new here is the identification of a lattice Green's function with it, together with a proof: the Schwarzian identity is established by an a priori pole-degree bound rather than checked numerically, which also proves the tabulated entry. The hyperkagome Green's function is therefore modular at level thirty, supplying the closed form Varma and Monien sought. Its weight-two period is obtained explicitly: a depth-one quasimodular form which we prove is not a modular form times an algebraic function at any weight.

Flat connections on moduli spaces I: Local (1,0)-extension of the DHS connection

hep-th

math.AG

math.NT

The flat DHS connection $\mathcal J_{\mathrm{DHS}}$ constructed in arXiv:2602.01461 is smooth on the configuration space of $n$ points on a fixed compact Riemann surface $\Sigma$ of arbitrary genus $h$, takes values in an infinite-dimensional Lie algebra $\hat{\mathfrak t}_{h,n}$ and is invariant under the modular group $\mathrm{Sp}(2h,\mathbb Z)$. This paper is the first in a series for a program whose goal is to extend the connection $\mathcal J_{\mathrm{DHS}}$ to a global flat connection on the Teichm\"uller space $\mathcal T_{h,n}$ valued in the Lie algebra of derivations of $\hat{\mathfrak t}_{h,n}$. Upon the choice of local coordinates adapted to the map $\mathcal T_{h,n}\to \mathcal T_h$, such a connection splits into three pieces: $\mathcal J_{\mathrm{DHS}}$, a piece $\mathcal L$ corresponding to holomorphic directions of $\mathcal T_h$ and a third piece corresponding to anti-holomorphic directions in $\mathcal T_h$. In this paper, we isolate the system of equations satisfied by $\mathcal L$ and obtain its solution locally and explicitly. The construction of a global extension of $\mathcal J_{\mathrm{DHS}}$ to $\mathcal T_{h,n}$ and the extension of the meromorphic connection of arXiv:1112.0864 to $\mathcal T_{h,n}$, are relegated to future publications in this series.

Generalized Jantzen filtration, hyperbolic restriction, and characteristic cycles

math.RT

math.AG

math.NT

math.QA

In this paper we give a geometric description of the behavior of analytic intertwining operators between parabolically induced representations of $\mathrm{GL}_n(\mathrm{F})$, where $\mathrm{F}$ is a local non-archimedean field, in terms of hyperbolic localization functors of Braden. As a consequence, we can show that the image of an intertwining operator is always semi-simple and give a lower bound on the order of its pole, which is conjectured to be an equality as well as an upper bound in terms of the singular support of certain perverse sheaves. Moreover, we are able to reduce the conjecture of Lapid and M\'inguez on the shape of irreducible subrepresentations of induced representations to a computation of characteristic cycles. The theory of mixed Hodge modules plays a crucial role in the proofs.

Pseudo-spherical representations and types for covers of split tori

math.RT

math.NT

We introduce a notion of pseudo-spherical representations for any Brylinski-Deligne (BD) cover of a split torus over a $p$-adic field. In particular, we do not assume that the cover is tame. We enumerate the pseudo-spherical representations and compute their dimension. When the torus is the maximal split torus of a connected split reductive group $G$, we enumerate a subset of distinguished pseudo-spherical representations, under mild assumptions on the BD datum. We expect these distinguished representations to provide the torus input for a Borel-Casselman Theorem for BD covers of $G$. We have verified this expectation for certain non-tame double covers in a separate work. While investigating the pseudo-spherical representations, we also prove that the restriction of irreducible genuine representations of covering tori to their maximal compact subgroup is multiplicity-free. From this we see that the irreducible genuine representations of this maximal compact subgroup are types in the sense of Bushnell-Kutzko. We conclude by describing the Hecke algebras attached to these types.

On the Babylonian Division of Trapezoids

math.HO

math.NT

We discuss the Babylonian division of trapezoids and the construction of such trapezoids with rational sides and transversals from Pythagorean triples.

Recovering Laplacian Lattices from $L$-Functions of Graphs

math.CO

math.NT

We introduce $L$-functions associated with characters of the Jacobian of a finite graph, as a graph-theoretic analogue of the $L$-functions arising from unramified coverings of algebraic curves. These $L$-functions are defined using the Riemann--Roch structure on the graph and extend Lorenzini's two-variable zeta function. We show that if two graphs without bridges have isomorphic Jacobians and their $L$-functions agree under the induced correspondence of characters, then their Laplacian lattices coincide. We also show that Lorenzini's zeta function is invariant under contraction of bridges, explaining the necessity of the bridge-free hypothesis in the main theorem. Finally, we give examples showing that neither the Jacobian nor the Lorenzini zeta function alone determine the Laplacian lattice.

Prime and Touchard Congruences of Mixed-Type Bell Numbers

math.CO

math.NT

This paper establishes a comprehensive combinatorial and arithmetic framework for mixed Stirling and mixed Bell numbers, bridging partition structures, Touchard polynomials, and prime-power congruences. Furthermore, we develop to $p$-adic valuation theory, proving prime-power Touchard congruences and higher-order modulo-$p^2$ refinements that generalize classical arithmetic properties of combinatorial sequences.

A requested analytic proof of an identity of Dixit, Kumar, and Srivastava

math.CO

math.NT

Recently Dixit, Kumar, and Srivastava investigated what they called Rascoe and non-Rascoe partitions. These are defined to be the set of distinct partitions where the length of the partition is a part of the partition and is not a part respectively. In this note we provide a $q$-series theoretic proof of two identities regarding the generating function for unrestricted Rascoe and non-Rascoe partitions fulfilling a request of Dixit, Kumar, and Srivastava. We also prove a conjecture of Beck relating non-Rascoe partitions and the rank of a partition.

Potentiel et rationalit\'e

math.NT

math.AG

v2

Nous \'etendons aux courbes de genre arbitraire le th\'eor\`eme de rationalit\'e de Cantor, lui-m\^eme une extension de th\'eor\`emes de Borel, P\'olya, Dwork, Bertrandias et Robinson. La d\'emonstration s'effectue en deux \'etapes. La premi\`ere est un crit\`ere d'alg\'ebricit\'e, d\'emontr\'e par une m\'ethode d'approximation diophantienne. La seconde repose sur le th\'eor\`eme de l'indice de Hodge en th\'eorie d'Arakelov. -- We extend to algebraic curves of arbitrary genus the rationality theorem of Cantor, itself an extension of theorems of Borel, P\'olya, Dwork, Bertrandias and Robinson. The proof runs in two steps. The first step is an algebraicity criterion, which is proved using a method of diophantine approximation. The second step relies on the Hodge index theorem in Arakelov geometry.

Special values of $p$-adic $L$-functions and Iwasawa $\lambda$-invariants of Dirichlet characters

math.NT

v3

We investigate the Iwasawa $\lambda$-invariant $\lambda_p(\chi)$ of the $p$-adic $L$-function associated with a Dirichlet character $\chi$ for odd primes $p$. Using special values of the $p$-adic $L$-function and its derivative, we derive novel and computationally efficient criteria to distinguish between the cases $\lambda = 0$, $\lambda = 1$, $\lambda = 2$, and $\lambda \geq 3$. In particular, we study the case when the $p$-adic $L$-function vanishes at $s=0$. Building on the results of Ferrero-Greenberg and of Gross-Koblitz, we establish explicit conditions for $\lambda_p(\chi) >1 $ and $\lambda_p(\chi) > 2$. Furthermore, we extend the methods of Ernvall-Mets\"ankyl\"a and of Dummit et al. to calculate the $\lambda$-invariant. This is achieved by twisting $\chi$ by characters $\psi$ of $p$-power order and using the values of the $p$-adic $L$-function at $s=2-p, \dots, 0$. Additionally, we utilize the value at $s=1$ to compute $\lambda_p(\chi)$. Finally, these results are applied to generate numerical data on the distribution of $\lambda$-invariants, when either the prime $p$ or the Dirichlet character $\chi$ is fixed.

Five-dimensional compatible systems and the Tate conjecture for elliptic surfaces

math.NT

math.AG

v3

Let $(\rho_\lambda\colon G_{\mathbb Q}\to \operatorname{GL}_5(\overline{E}_\lambda))_\lambda$ be a strictly compatible system of Galois representations such that no Hodge--Tate weight has multiplicity $5$. Under mild assumptions, we show that if $\rho_{\lambda_0}$ is irreducible for some $\lambda_0$, then $\rho_\lambda$ is irreducible for all but finitely many priimes $\lambda$. More generally, if $(\rho_\lambda)_\lambda$ is essentially self-dual, we show that either $\rho_\lambda$ is irreducible for all but finitely many $\lambda$, or the compatible system $(\rho_\lambda)_\lambda$ decomposes as a direct sum of lower-dimensional compatible systems. We apply our results to study the Tate conjecture for elliptic surfaces. For example, if $X_0\colon y^2 + (t+3)xy + y= x^3$, we prove the codimension one $\ell$-adic Tate conjecture for all but finitely many $\ell$, for all but finitely many general, degree $3$, genus $2$ branched multiplicative covers of $X_0$. To prove this result, we classify the elliptic surfaces into four one-dimensional families and two isolated classes. For each of the four families, we prove, using perverse sheaf theory and a result of Cadoret--Tamagawa, that if the relevant $5$-dimensional Galois representation is irreducible for one surface in a family, then it is irreducible for all but finitely many surfaces in that family. We then verify this irreducibility for one representative of each family by making our irreducibility result explicit: for the compatible system arising from the transcendental part of $H^2_{\mathrm{et}}(X_{\overline{\mathbb Q}}, \mathbb{Q}_\ell(1))$ for a representative $X$, we formulate an algorithm that takes as input the characteristic polynomials of Frobenius, and terminates if and only if the compatible system is irreducible.

Counting rational approximations on rank one flag varieties

math.NT

math.DS

v2

On a generalized flag variety of rank one, we count rational approximations to a real point chosen randomly according to the Riemannian volume. In particular, our results apply to Grassmann varieties and quadric hypersurfaces. The proof uses exponential mixing in the space of lattices and tools from geometry of numbers.

The asymptotic estimation of prime ideals in imaginary quadratic fields and Chebyshev's bias

math.NT

v2

We study the asymptotic estimation of prime ideals that satisfy certain congruence and argument conditions in imaginary quadratic fields. We also discuss the phenomenon of Chebyshev's bias in the distribution of prime ideals among different residue classes.

Short Interval Variance and Averaged Correlations of Arithmetic Functions

math.NT

v3

In this paper, we study the average shifted sum for general arithmetic functions by applying the standard Hardy--Littlewood circle method and using short-interval variance results. As applications, we prove some nontrivial upper bounds for shifted sums involving $\mu_{k}(n).$ Assuming the Riemann Hypothesis and the Pair Correlation Conjecture of Montgomery, we also prove similar results involving the von Mangoldt function.

Mixed motives and linear forms in the Catalan constant

math.NT

math.AG

v3

We first give a geometric construction of a 2-dimensional mixed motive over $\mathbb{Q}$ with the Catalan constant $\mathbf{G}=1-1/3^2+1/5^2-1/7^2+\cdots$ as a period. We then use this motive to obtain a supply of linear forms in 1 and $\mathbf{G}$. We also explicitly compute the coefficients of 1 and $\mathbf{G}$ in these linear forms.

Explicit Burgess inequalities for cubefree moduli

math.NT

v2

Burgess proved that for $\chi_q$ a primitive Dirichlet character modulo $q$ with $q$ cubefree, $\sum_{M< n\le M+N}\chi_q(n)= O\left(N^{1-\frac{1}{r}}q^{\frac{r+1}{4r^2}+\epsilon}\right)$ for all integers $r\ge1.$ More recently, explicit versions with prime moduli $q$ were computed by Booker, McGown, Trevi\~{n}o, and Francis, with applications to finding the least $k$-th power residue, and bounding the size of Dirichlet $L$-functions just to name a few. Jain-Sharma, Khale, and Liu proved an explicit estimate for $r=2.$ We improve their explicit constant for $r = 2$ and compute an explicit Burgess bound for cubefree $q$ for $r\ge 3$.

Extendability of group actions on K3 or Enriques surfaces

math.NT

math.AG

v2

Let $X$ be a K3 or Enriques surface with good reduction. Let $G$ be a finite group acting (not necessarily linearly) on $X$. We give a criterion for this group action to extend to a smooth model of $X$ in terms of the action of $G$ on the second $\ell$-adic cohomology groups. In particular, we generalize the result on the extendability of Galois actions on K3 surfaces by Chiarellotto, Lazda, and Liedtke. As an application, we prove that a symplectic linear group action is extendable if the residue characteristic does not divide its order. Lastly, we relate the good reduction of Enriques surfaces with that of their K3 double covers.

4-rank distribution of Picard groups of hyperelliptic curves via $C$-symmetric matrices

math.NT

v2

We determine the large-genus limiting distribution of the 4-rank of the Picard group of hyperelliptic curves over a fixed finite field $\mathbb F_q$ of odd characteristic. This is a function field analogue of a result of Fouvry and Kl\"uners. Our computation agrees with (the Picard group analogue of) the Cohen--Lenstra--Gerth heuristics in the case $q \equiv 3\pmod{4}$, i.e., in the absence of roots of unity in the base field. When roots of unity are present, the result is of the same form as conjectured distribution for class groups of quadratic extensions of number fields containing roots of unity. The limiting distribution does not change when imposing finitely many conditions on the ramification behavior of the curves. In the process, we determine the rank distribution of a certain class of random matrix ensembles over finite fields determined by symmetry conditions.

Farey graphs and geodesic expansions of complex continued fractions

math.NT

v2

We discuss complex Farey graphs for the Euclidean imaginary quadratic number fields $\mathbb Q(\sqrt{-d})$, $d\in\{1, 2, 3, 7, 11\}$. We study hyperbolic versions of A. Schmidt's Farey polygons living in $3$-dimensional hyperbolic space $\mathbb{H}^3$. Using these Farey polygons we recover tessellations of the hyperbolic plane $\mathbb{H}^2$ that are defined by the action of the Hecke groups $H_4$ and $H_6$ and have been studied earlier by I. Short and M. Walker. Moreover, hyperbolic Farey polygons allow us to define polyhedra that induce Farey tessellations of $\mathbb{H}^3$ by the action of certain Bianchi groups. Using complex Farey graphs we consider geodesic complex continued fraction expansions. Our method provides a different and more general approach as the one from the discussion by M. Hockman.

Distribution modulo one of linear recurrent sequences

math.NT

v2

We study the distribution modulo one of linear recurrent sequences of real numbers. We prove criteria for the finiteness of the set of limit values of the fractional parts of such a sequence and give lower bounds for the maximal distance between two limit values. Our results generalize theorems of Flatto, Lagarias, Pollington, and Dubickas.

A Matrix-Theoretic Exact Formula for Counting Primes in Intervals Between Consecutive Odd Squares

math.NT

math.CO

v4

Let $I_k = [(2k-1)^2, (2k+1)^2)$ for $k \geq 1$. Starting from the odd-composite matrix $(b_{ij})$ with $b_{ij} = (2i-1)(2j-1)$, introduced by the author in [1], we define for each odd integer $n$ the \emph{matrix multiplicity} $r(n)$, the number of times $n$ appears in $B$. We prove the exact identity \[ P_k = N_k - S_k + E_k \] where $P_k = \#\{\text{primes in } I_k\}$, $N_k = 4k$ counts the odd integers in $I_k$, $S_k = \sum_{n \in I_k \text{ odd}} r(n)$ is the total matrix multiplicity, and $E_k = \sum_{n \in I_k \text{ odd}} (r(n)-1)$ measures the excess multiplicity of non-semiprime odd composites. All three quantities $N_k$, $S_k$, $E_k$ are computable from the divisor structure of odd integers in $I_k$ without primality testing. The formula yields the equivalent combinatorial condition: \[ P_k \geq 1 \iff E_k \leq S_k - N_k. \] We verify $P_k \geq 1$ for all $k \leq 10^8$ by direct computation and establish $P_k \geq 1$ for all $k \leq 1.37 \times 10^{17}$ using the Baker-Harman-Pintz theorem [2]. Whether $P_k \geq 1$ for all $k$ (a weaker statement than Legendre's conjecture) remains an open problem, now equivalent to the purely combinatorial inequality $E_k \leq S_k - N_k$ for all $k$.

Consecutive non-square non-primitive tuples in finite fields

math.NT

v2

Let $q$ be an odd prime power and put \[ \theta_q=\frac{\varphi(q-1)}{q-1}. \] An element of $\Fq$ is called non-square non-primitive, or \emph{NSNP}, if it is both a non-square and a non-primitive element. Let $\ell$ be an odd prime divisor of $q-1$. We obtain a character-sum estimate for the number of translates of an arbitrary finite set lying in the set of non-square $\ell$th powers. Combining this estimate with a finite computation, we prove that $\theta_q<4/15$ guarantees three consecutive NSNP elements. On the boundary $\theta_q=4/15$, the only exceptions are $q\in\{31,61,121\}$. As a further application, we show that for $\operatorname{char}\Fq>3$, the inequality $\theta_q<8/35$ guarantees four consecutive NSNP elements, with $q=211$ as the unique exception on the boundary $\theta_q=8/35$. Thus both constants are best possible.

The $p$-rationality of $\mathbb{Q}\left(\sqrt{-(kp+m)}\right)$ and $\mathbb{Q}\left(\sqrt{p(p+1)}\right)$

math.NT

v2

In this paper, we construct new families of imaginary and real quadratic fields that are $p$-rational. In the imaginary case, we prove that for any positive integer $k$ and any integer $m$, the imaginary quadratic field $\mathbb{Q}\left(\sqrt{-(kp+m)}\right)$ is $p$-rational for sufficiently large primes $p$. The proof relies on Louboutin's bound on the class numbers of imaginary quadratic fields. As a corollary, we recover the $p$-rationality of consecutive quadratic fields, a result due to Chattopadhyay, Laxmi and Saikia \cite{CLS}. In the real case, we give an explicit proof of the $p$-rationality of the real quadratic field $\mathbb{Q}\left(\sqrt{p(p+1)}\right)$ for any odd prime $p$, and obtain new pairs of real quadratic fields $\left(\mathbb{Q}\left(\sqrt{p(p-2)}\right),\mathbb{Q}\left(\sqrt{p(p-1)}\right)\right)$ and $\left(\mathbb{Q}\left(\sqrt{p(p+1)}\right),\mathbb{Q}\left(\sqrt{p(p+2)}\right)\right)$ for any prime $p>3$. We also construct new examples of $p$-rational triquadratic fields.

On the Fractional Parts of Polynomials Modulo $p$

math.NT

v2

We study a half-interval distribution problem for polynomial residues modulo an odd prime $p$: how often the fractional part of $\varphi(x)/p$ lies in the upper half of the unit interval as $x$ ranges over $1\leq x< p/2$. Using finite Fourier expansions together with the Weil bound, we prove an asymptotic formula $\#\left\{1\leq x< p/2:\left\{{\varphi(x)}/{p}\right\}>\frac12\right\} =\frac{p}{4}+O_\varphi(\sqrt p\log^2 p). $ We then show that the error term can be improved to $O_\varphi(\sqrt p\log p)$ for arbitrary quadratic polynomials and for polynomials satisfying suitable reflection symmetries. For even monomials $\varphi(x)=x^m$, we further obtain the bound $O_m(\sqrt p\log\log p)$ under the Generalized Riemann Hypothesis. Finally, in the case $m=2$, we prove an unconditional matching lower bound, showing that the factor $\log\log p$ is best possible in this setting.

The Fine-Structure Hierarchy of Prime Biases and the Universal Dominance of $-1 \pmod N$

math.NT

v2

We investigate the deterministic hierarchy of prime distribution biases in arithmetic progressions modulo $N$ using a regularized spectral approach. Classical studies on Chebyshev's bias attribute prime races primarily to the accumulation of prime squares $p^2 \equiv 1 \pmod N$, which creates a systematic deficit in quadratic residue classes. However, this classical mechanism fails to explain or distinguish any bias among residue classes sharing identical quadratic residue status (e.g., $3, 5, 7 \pmod 8$). To overcome the long-standing analytical obstacles of jump discontinuities and non-convergent boundary fluctuations inherent in classical Perron-type step-function truncations, we introduce a smooth $C^\infty$ Gaussian mollifier into Weil's explicit formula for Dirichlet $L$-functions. By defining the spectrally normalized individual mollified sums $\widetilde S_T(x, a)$ and adopting the virtual character $\chi_{1,a}(x) := \mathbf{1}_{\{x \equiv 1 \pmod N\}} - \mathbf{1}_{\{x \equiv a \pmod N\}}$, the principal character component $\chi_0$ cancels identically since $1 - \overline{\chi_0}(a) = 0$. This automatic algebraic elimination erases both the universal logarithmic growth $\log x$ and the background noise $\log L(1, \chi^2)$. Under the Deep Riemann Hypothesis (DRH), we uncover a hitherto undetected \textbf{fine-structure bias} (or \emph{secondary bias}) strictly governed by the special values $\log L(1, \chi)$. We prove that $\widetilde S_T(x, \chi_{1,a}) := \widetilde S_T(x, 1) - \widetilde S_T(x, a) = C_N \cdot \log L(1, \chi_{1,a}) + \mathcal{O}((\log x)/\sqrt x)$ as $x \to \infty$, where $C_N > 0$ depends solely on $N$. Consequently, we establish a deterministic multi-way ranking (such as $7 > 3 > 5 > 1 \pmod 8$) that completely transcends the classical quadratic residue framework.

The Optimal Coefficients-Based Criterion for Primitive Quadratic Polynomials over Finite Fields

math.NT

v2

Let $\mathbb F_q$ be a finite field and consider quadratic polynomials $f(X)=X^2+bX+c\in\mathbb F_q[X]$ with primitive constant term $c$. We construct an optimal coefficients-based determining polynomial for primitive quadratic polynomials over every finite field. More precisely, for every primitive $c\in\mathbb F_q$, its specialization is the unique monic square-free polynomial whose roots are exactly the coefficients $b$ for which $X^2+bX+c$ is primitive. The construction is based on Lucas polynomials and Lucas atoms over finite fields. In odd characteristic, the optimal determining polynomial is the $(q+1)$-st Lucas atom. In characteristic $2$, this Lucas atom has multiplicity $2$ in the variable $B$, and the optimal polynomial is obtained by removing this multiplicity through the inverse Frobenius over $A=\mathbb F_q[C]/(\Phi_{q-1}(C))$. We prove that the determining polynomial is unique for each fixed primitive constant term and, globally, unique as an element of $A[B]$. We also give equivalent criteria involving only recursively computable Lucas polynomials and, as an application, a first-zero coefficient description of the binomial order and order of an irreducible quadratic polynomial.

Algebraic Wave Fields and Self-Regulating Field Theories: The Emergence of Spacetime from Rational Chirp Rings

math.NT

math-ph

math.MP

v2

We present a framework in which continuous fields, quantum wavefunctions, and spacetime metrics emerge as macroscale projective limits of non-local periodic primitives termed algebraic wave fields. Real-valued continuous coordinates introduce unphysical singularities due to zero-volume points. We resolve these vulnerabilities using a three-tiered algebraic architecture formalized as a Rational Superposition Chirp Ring $\mathcal{S} \cong \mathbb{Q}[\mathbb{Q}[Z] \pmod 1]$ over the rational field $\mathbb{Q}$ and synchronous integer lattice $\mathbb{Z}$. Field profiles are represented as finite linear superpositions of polynomial phase chirps whose arguments are restricted to rational torsion points on the unit circle $(\mathbb{Q}/\mathbb{Z})$. We prove representation correctness for coordinate-free fields via a Rational Plancherel Isomorphism, guaranteeing that field norms and inner products remain unitarily invariant when projected into the discrete tracking space, preserving information density and quantum probability. The macroscopic spacetime continuum emerges as a combinatorial projective limit of intersecting resonance nodes. Formulating field operations within this fraction space inherently regularizes interaction integrals, eliminates point-wise geometric infinities, and renders both quantum mechanics and classical fields intrinsically bounded without external cutoffs or renormalization. We apply this framework to the ill-posed backward diffusion problem, proving that the ultraviolet catastrophe is an artifact of point-based continuum representations rather than an intrinsic property of inverted physical systems.

Primitive Polynomials of the Form $g(x)+\lambda$ over Finite Fields: Non-Existence Results and Conjectures

math.NT

v2

In this paper, we investigate the existence of primitive polynomials over $\mathbb{F}_{q^n}$ whose constant term is a primitive element of $\mathbb{F}_{q^n}$. We prove that such polynomials do not exist if $q$ is odd, $q^n\equiv3\pmod{4}$, and the degree $m$ of the polynomial is odd. In particular, the polynomials $f(x)=g(x)+\lambda$, where $g(x)\in\mathbb{F}_q[x]$ satisfies $g(0)=0$ and $\lambda\in\mathbb{F}_{q^n}$ is primitive, cannot be primitive under the same conditions. Further, for the cubic polynomial $x^3+x^2+x+\lambda$, we establish non-existence results in characteristics $2$ and $3$. These results, in particular, provide counterexamples to previously proposed existence conjectures. We also study the family $x^p+x+\lambda$ over $\mathbb{F}_{p^n}$. For an odd prime $p$, we prove that, provided $\sum_{i=0}^{n-1}(-1)^i\lambda^{p^i}\neq0$, the polynomial $x^p+x+\lambda$ is irreducible over $\mathbb{F}_{p^n}$ if and only if $n$ is even. Motivated by this result and supported by computational evidence, we formulate conjectures concerning the existence of such primitive polynomials, including the stronger assertion that $x^p+x+\lambda$ is primitive for every primitive $\lambda\in\mathbb{F}_{p^2}$.

Sidon sets with $\Delta$-separated sumsets in additive number theory

math.NT

math.CO

v3

The set $A$ is a $B_h$-set if every element of the sumset $hA$ has a unique representation as a sum of $h$ elements of $A$. A $B_2$-set is also called a Sidon set. A $B_{h,\Delta}$-set is a $B_h$-set $A$ whose sumset $hA$ is $\Delta$-separated, that is, $|x-x'| \geq \Delta$ for all $x,x' \in hA$ with $x\neq x'$. Upper and lower bounds are obtained for the cardinality of the largest $B_{2,\Delta}$-sets contained in $\{1,2,\ldots, n\}$, that is, sets $A \subseteq \{1,2,\ldots, n\}$ such that, if $a,b,c,d \in A$ and $\{a,b\} \neq \{c,d\}$, then $|(a+b)-(c+d)| \geq \Delta$.

Equidistribution for semiabelian varieties over number fields

math.NT

math.AG

v2

K{\"u}hne established equidistribution for canonical adelic line bundles on semiabelian varieties, a setting which need not lie in the quasi-canonical range of Yuan-Zhang's theorem. We study adelic line bundles on semiabelian compactifications whose toric part is governed by a toric metrized divisor. The main unconditional result is generic equidistribution when the toric metric is monocritical and arithmetically T-effective. The proof isolates the asymptotic estimates in K{\"u}hne's argument and reinterprets them as estimates along explicit compression paths. This gives a comparison mechanism between canonical, quasi-canonical, and more general toric metrics. For the Bogomolov application, the quasi-canonical case is handled by a K{\"u}hne local-trivialization transport package. After fixing a single theta-factor convention for the local trivializations, the proof checks the Picard-zero theta factors under K{\"u}hne's operations and obtains the Bogomolov theorem for the metric class treated in this paper, namely the monocritical and arithmetically T-effective toric metrics, through the quasi-canonical replacement argument.

Two averaged dynamical generalizations of Chowla's conjecture

math.NT

math.DS

v3

Let $k\ge1$ be an integer and let $\lambda$ be the Liouville function. In 1965, Chowla gave a conjecture that the values of $\lambda(n+h_1),\dots, \lambda(n+h_k)$ are asymptotically unrelated for any distinct natural numbers $h_1, \dots, h_k$. In this article, motivated by the recent work of Bergelson and Richter on the dynamical generalizations of the prime number theorem, we will show a dynamical generalization of Chowla's conjecture on average. In the proof, we follow an approach of Qi and Zheng who established a variant of Bergelson and Richter's theorem over irreducible binary cubic forms. Moreover, we will use this approach to show an analogue of the dynamical Chowla's conjecture along the primes on average. In 2016, Tao proved that the two-point logarithmic Chowla's conjecture holds. Recently, Charamaras and Richter generalized Tao's theorem to bounded arithmetic functions and proposed a conjecture that generalizes Chowla's conjecture to bounded multi-variable arithmetic functions. Building on their work, we prove a dynamical generalization of Tao's theorem and a variant for the composition of the sum-of-digits function with the prime Omega function.

Ribet Points, geometric divisibility sequence and order of reductions on semiabelian varieties

math.NT

math.AG

v2

Silverman conjectured that the geometric divisibility sequence attached to a Zariski-dense point on an irreducible commutative algebraic group of dimension at least two, with no unipotent part, returns to its initial value infinitely often. We construct, for the first time, unconditional examples of this phenomenon on geometrically nonsplit semiabelian varieties over number fields using torsion translates of normalized Ribet points. More precisely, let $A/K$ be a positive-dimensional abelian variety over number field $K$, let \[ 1\longrightarrow\mathbf G_m\xrightarrow{\iota}G_q\xrightarrow{\pi}A \longrightarrow0 \] be the extension represented by $q\in A^\vee(K)$, and let $R_\beta(q)\in G_q(K)$ be the normalized Ribet point associated with a homomorphism $\beta:A^\vee\to A$. We set $\delta:=\beta-\widehat\beta$ and assume that $\delta$ is an isogeny and that $\mathbf Z(\delta q)$ is Zariski dense in $A$. For a torsion point $t\in\mathbf G_m(K)_{\mathrm{tors}}$, identify $t$ with $\iota(t)$ and set $P=R_\beta(q)+t$. Then $P$ has Zariski-dense cyclic orbit in the geometrically nonsplit extension $G_q$. There exists an explicit integer $N_{\delta,t}$ such that if $N_{\delta,t}>1$, then $N_{\delta,t}\mid \mathrm{ord}(\overline P_v)$ at all but finitely many places $v$. Consequently, there is a squarefree integer $Q_P>1$ such that \[ (n,Q_P)=1 \quad\Longrightarrow\quad \mathfrak d_{\mathcal N}(nP)=\mathfrak d_{\mathcal N}(P), \] where $\mathfrak d_{\mathcal N}$ denotes the full denominator ideal on the N\'eron lft-model $\mathcal N$. In particular, we construct explicitly a geometrically nonsplit semiabelian surface $G/\mathbf Q$ and a semiabelian threefold over $\mathbf Q$ satisfying the Silverman conjecture. It follows that we can construct instances satisfying the Silverman conjecture for every dimension at least two.

Legendre polynomials and complex multiplication, II: class numbers of quadratic fields and genus 2 supersingular polynomials

math.NT

v3

The factorizations over $\mathbb{F}_p$ of two supersingular polynomials $h_p(x)$ and $g_p(x)$ for genus $2$ curves, discussed by Ibukiyama, Katsura and Oort in their 1986 paper, are investigated. These polynomials are congruent modulo $p$ to the Jacobi polynomials $P_n^{(\alpha,0)}(1-2x)$, for $\alpha = \pm 1/4, \pm 1/6$, respectively. The number of their linear factors (mod $p$) is determined in terms of class numbers of the imaginary quadratic fields $\mathbb{Q}(\sqrt{-dp})$, where $d \in \{1,2,3\}$. The proofs use a quadratic transformation relating these polynomials to the Legendre polynomials $P_n(x)$; previous results on linear and binomial quadratic factors of $P_{(p-e)/4}(x)$ and $P_{(p-\bar e)/3}(x)$ proved by Brillhart and Morton; and properties of the irreducible quadratic factors of the class equations $H_{-3p}(X)$ and $H_{-12p}(X)$ (mod $p$). The quadratic transformation and linear factor results for $h_p(x) \equiv P_n^{(\pm1/4,0)}(1-2x)$ were first discovered using artificial intelligence.

Uniformity in rational torsion and small points on abelian varieties

math.NT

math.AG

v2

In this paper, we propose a method to study the {\it Uniform Boundedness Conjecture} and the {\it Lang-Silverman Conjecture} for abelian varieties $A$ defined over a global field $K$; the latter is a uniform lower bound on the heights of non-torsion rational points. Our method is inspired by Vojta's proof of the Mordell Conjecture (Faltings's Theorem). Over function fields of characteristic $0$, a recent breakthrough of Looper-Yap (arXiv:2603.23396) proves both conjectures with inexplicit bounds. In our paper, we give a new proof of both conjectures with explicit bounds, which also depend polynomially on the field $K$ unless $A/K$ admits a factor of good reduction everywhere. We also prove explicit bounds for elliptic curves over function fields of characteristic $p>0$. Over number fields, we prove both conjectures under a suitable high-dimensional Szpiro conjecture (weaker than Hindry's version, Conjecture 3.4 of https://webusers.imj-prg.fr/~marc.hindry/MW-size.pdf) that we propose.

Discrete dynamics of Eratosthenes sieve

math.NT

v2

We study Eratosthenes sieve as a discrete dynamic system. At each stage of the sieve there is a cycle of gaps ${\mathcal G}(p^\#)$ of length $\phi(p^\#)$ and span $p^\#$. There is a recursion ${\mathcal G}(p_k^\#)\longrightarrow {\mathcal G}(p_{k+1}^\#)$ that creates the next cycle from the current one. If we take initial conditions from the cycle ${\mathcal G}(p_0^\#)$, then for all constellations of span $|s| < 2p_1$, including gaps $g < 2p_1$, the driving terms of various lengths form Markov chains. These yield {\it exact} models for the populations $n_s(p_k^\#)$ for all further stages of the sieve. If $s$ is an admissible constellation of length $J$, then its population $n_{s,J}(p^\#)$ grows as $\Theta \left( \prod (q-J-1)\right)$. So we factor out the superexponential growth to obtain the exact model for the relative population $w_s(p_k^\#)$ of the constellation $s$ across all further stages of the sieve. $$ w_{s,J}(p_k^\#) \; = \; n_{s,J}(p_k^\#) \, / \, \prod_{J+1 < p \le p_k} (p-J-1) $$ The asymptotic value of the relative population is a constant ${w_{s,J}(\infty) \ge 1}$ that depends only on the odd prime factors that divide a span in $s$. Assuming that the instances of a constellation $s$ are approximately uniformly distributed in ${\mathcal G}(p_k^\#)$, we develop first-order estimates of the number of instances $s$ that would occur in the interval of survival $\Delta H(p_k) = (p_k^2, p_{k+1}^2]$. We define a statistic $\eta_s(p_k)$, the quadratic density of the constellation $s$ over the interval $\Delta H(p_k)$. We show that the first-order estimates $\widehat{\eta_g}(p)$ for prime gaps agree with samples up to $5.677\,E14$.

Arithmetic purity of strong approximation for cubic hypersurfaces of large dimension

math.NT

v2

In this paper, we establish the arithmetic purity of strong approximation for smooth geometrically integral cubic hypersurfaces $X\subset \mathbb{P}^n$ over number fields $k$, provided that $n\ge 323$. For $k=\mathbb{Q}$, the bound can be lowered to $n \ge 30$.

Poles of intertwining operators in terms of irreducible components of Lusztig's characteristic variety in type A

math.RT

math.NT

math.QA

v2

In this paper, we propose a conjectural formula for the order of the poles of intertwining operators in the context of the representation theory of general linear groups over $p$-adic fields. More specifically, we conjecturally relate the order of the pole to the dimension of a Hom-space associated with irreducible components of Lusztig's characteristic variety in type $A$. We verify the conjecture in a wide range of cases.

Skeins, $q$-series, and modularity

math.GT

hep-th

math.NT

math.QA

v2

We study BPS $q$-series associated to 3-manifolds decorated by a line defect along an embedded link. We prove that these $q$-series depend only on the class of the link in the skein module, thereby defining a homomorphism from the skein module to the space of $q$-series. The image of this homomorphism is conjectured to be holomorphically quantum modular, and we verify this conjecture in an explicit example.

Lattice point counting problems on step-two nilpotent Lie groups

math.CA

math.NT

v3

We develop the theory of lattice point counting on connected and simply connected nilpotent Lie groups of step-two, endowed with the parabolic type dilation and a family of homogeneous norms $ \mathcal{N}_{\alpha,M}(x, t)=\left(|M_1x|^\alpha + |M_2t|^{\alpha / 2}\right)^{1 / \alpha}$ adapted to the dilation structure, where $\alpha>0$ and $M_1,M_2$ are invertible matrices. With appropriate notions of lattices, the domains to be counted are balls associated to these norms, and explicit counting discrepancy estimates are deduced for all possible dimensions and all $\alpha>0$. The bounds are sharp when the group center is unidimensional and $\alpha=2$, in certain rational sense. Our study also generalizes and even quantitatively improves previous results on Heisenberg groups obtained by Garg--Nevo--Taylor \cite[\textit{Ann. Inst. Fourier}, 2015]{GNT15}: (i) In dimension $5$, the exponent of logarithmic factor is lowered from $2/3$ to ${1}/{3}$ if $\alpha \in(3,4] $ or $\alpha=1$; and the factor $\log ^{2/3} R $ is dropped if $\alpha\in(2,3]$. (ii) In dimension $3$, the estimation is upgraded from $O_\epsilon(R^{ 5/2+\epsilon})$ to $O(R^{2}\log^{ 1/2} R)$ for $\alpha=1$, and to $O(R^{{19}/{8}})$ for $\alpha\in (1,2)$; and the factor $\log R$ is removed for $\alpha>4$. Moreover, as a byproduct, we extend the lattice counting near Heisenberg spheres, recently considered by Campolongo--Taylor \cite[\textit{Matematica}, 2023]{CT23} and Srivastava--Taylor \cite[\textit{J. Fourier Anal. Appl.}, 2026]{ST26}, to the above step-two group setting with arbitrary dimensional group center, where some quantitative improvements are also attained. Our method relies upon Poisson's summation formulas, oscillatory integral estimates and asymptotic properties as well as recursion formulas of Bessel functions.

Aperiodicity and subword complexity in the binary expansion of powers of three

math.CO

math.NT

v3

We prove two results on the fine structure of the binary digits of $3^{m}$. First, for every fixed period $p$, the number of positions at which the binary expansion of $3^{m}$ breaks $p$-periodicity grows in order like $\log m/\log\log m$; equivalently, no window of the expansion deeper than a fixed power of $\log m$ is $p$-periodic. Second, the finite binary word formed by the low-order digits of $3^{m}$ has full low-order subword complexity: its complexity function satisfies $p_{3^{m}}(n)\ge n+1$ for every length $n$, once $m$ is large enough.

The arithmetic de Rham stack

math.AG

math.NT

v2

We define and study the arithmetic de Rham stack $X^{\operatorname{arith}}$ of a scheme $X$ over a field of characteristic $p$, and analyze its relation with related stacks such as the Hyodo--Kato stack. We show that $X^{\operatorname{arith}}$ gives a stack-theoretic approach to rigid cohomology and its coefficients, known as overconvergent isocrystals and arithmetic $D$-modules, which avoids the long-standing problem of frame-choosing in earlier approaches. We finally give some arithmetic applications of our formalism, such as a proof of Berthelot's conjecture on the preservation of overconvergent isocrystals by smooth proper pushforward.

Asymptotic Rounding Laws for Optimal Thresholds in Secretary Problems

math.PR

math.NT

v2

We study second-order asymptotics for optimal thresholds in secretary-type problems. Under a unimodality assumption and a local affine expansion of the discrete payoff increments, we establish a general principle showing that sufficiently accurate rational approximations to the leading threshold proportion yield exact optimal integer thresholds. Continued-fraction convergents provide an immediate application. We also derive an asymptotic rounding law and apply the results to several variants of the secretary problem with fixed and random horizons.