Number Theory [math.NT]

A Generalized Closed Form of Ramanujan-Type Fourier Cosine Transform via Meijer's G-Function

math.NT

In this paper, we obtain analytical evaluations of the Ramanujan integral \[\textbf{R}_{C}(m,n)= \int_{0}^{\infty}\frac{x^m\,\cos(\pi nx)}{\exp{(2\pi\sqrt{x})-1}}dx\] subject to suitable convergence conditions in terms of an infinite series of Meijer $G$-functions of one variable, by using Mellin-Barnes-type contour integral representations of the cosine function. %and Laplace transform method. We also consider some generalizations of the integral $\textbf{R}_{C}(m,n)$ given as the integrals $I_{C}^{*}(\upsilon,b,c,\lambda,y)$ ,$\Xi_{C}(\upsilon,b,c,\lambda,y)$, $\nabla_{C}(\upsilon,b,c,\lambda,y)$ and $I_{C}(\upsilon,b,\lambda,y)$. These integrals are also expressed in terms of infinite series of Meijer $G$-functions. Moreover, as an application of a Ramanujan's integral $\textbf{R}_C(m,n)$, the closed-form evaluations of nine infinite series of Meijer $G$-functions are obtained.

Parity vectors and paradoxical sequences in the accelerated Collatz map

math.NT

This note studies parity vectors and paradoxical sequences in the accelerated Collatz iteration $T(n) = (3n+1)/2$ for $n$ odd, $T(n) = n/2$ for $n$ even. Building on Rozier and Terracol (arXiv:2502.00948, 2025), Terras (1976), Lagarias (1985), and Tao (2019), we prove three theorems and add one numerical observation. The first is a sharp finitary form of Terras's parity-vector density; the second is a closed-form analytic count of paradoxical $\Omega_k(n)$ for each fixed length $k$. The third is a density-zero theorem for bounded-length paradoxical sequences with explicit constant. As for the numerical piece, among the seven $(j, q)$ pairs that show up in the Rozier-Terracol enumeration with first term $n \le 10^9$, every paradoxical reduced ratio $q/j$ turns out to be a left convergent, a left semiconvergent, or a Stern-Brocot mediant of adjacent convergents/semiconvergents of $\log_3 2$. The three theorems are unconditional. The fourth observation is verified for $n \le 10^7$ and conjectured for all $n$. We make no claim toward the Collatz conjecture or Terras's coefficient-stopping-time conjecture.

Local certification of residual squareclasses in $\mathbb Q(\sqrt{2},\sqrt{pq},\sqrt{ps})$: one-bit, affine, and finite-choice Hilbert-symbol frameworks

math.NT

Recent works of El Hamam described explicit fundamental systems of units for several families of multiquadratic fields of degrees 8 and 16. In the degree-8 field $L^+ = \mathbb{Q}(\sqrt{2}, \sqrt{pq}, \sqrt{ps}),$ the corrected classification still leaves a residual binary indeterminacy: one must decide which of two explicitly constructed squareclasses gives the final unit generator. In this paper, we make this remaining bit explicit. First, we give an explicit local criterion deciding the parameter $\mu \in \{1, \epsilon_{pq}\}$ left open in recent literature. The criterion is first expressed in terms of Hilbert symbols at a single finite place, and is then sharpened to a residue criterion at a chosen split auxiliary rational prime. Second, we show that the standard residue datum $D(p,q,s) = \left( p \bmod 8,\,\, q \bmod 8,\,\, s \bmod 8,\,\, \biggl(\dfrac{q}{p}\biggr),\,\, \biggl(\dfrac{s}{p}\biggr),\,\, \biggl(\dfrac{q}{s}\biggr) \right)$ does not determine the final generator: we compute explicit triples with the same $D(p,q,s)$ but opposite values of the residual bit. Third, we place the one-bit problem inside a hierarchy of local-certification results in $K^\times/K^{\times2}$: besides the linear residual-choice statement, we prove an affine local-certification theorem for residual-choice cosets and a finite-test-set separation theorem for arbitrary finite candidate families.

Presentations of Galois groups of unramified extensions of global fields and its predicted distribution

math.NT

Motivated by the work of Liu, we study certain canonical quotients of $G_{\emptyset}^T(K)$ -- the Galois group of the maximal unramified extension of a global field $K$ that is split completely at a finite nonempty set of places in $T$ -- for $\Gamma$-extensions $K/Q$, and prove they have presentations of a particular form. This presentation leads us to the construction of a new random group model as in the work of Liu, Wood, and Zureick-Brown that predicts the distribution of $G_{\emptyset}^T(K)$ as we vary among $\Gamma$-extensions $K/Q$ with prescribed local conditions at places in $T$, giving a generalization of the non-abelian Cohen-Lenstra-Martinet Heuristics. The key generalization is that $Q$ can be an arbitrary global field, while this comes at a cost of introducing a prime-to-$|\text{Cl}_T(Q)|$ condition in addition to avoiding roots of unity, $|\Gamma|$, and the characteristic if $Q$ is a function field.

Kodaira-Neron statistics for rational elliptic curves with $j$-invariant 0 and 1728

math.NT

Elliptic curves over $\Q$ with $j$-invariant 0 or 1728 have additive reduction at all primes of bad reduction. In addition, all elliptic curves with $j$-invariant 0 have bad reduction at $p=3$ and all elliptic curves with $j$-invariant 1728 have bad reduction at $p=2$. In this paper we count elliptic curves with $j$-invariant 0 and 1728 by height and determine asymptotics for the various Kodaira-N\'eron types at 3 and 2, respectively. We also give related statistics by holding the torsion subgoup and isogeny-torsion graph constant.

How Twist Class Redundancy Drives the Prediction of Traces of Frobenius of Elliptic Curves

math.NT

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

L-indistinguishability for covering groups of algebraic tori

math.NT

A global packet may simultaneously contain an automorphic representation and a non-automorphic representation. The global $\mathcal S$-group is expected, and known in some cases, to specify the automorphic representations in each global packet. For a covering group of an algebraic torus, it is not obvious from the definition whether the analogue of a global $\mathcal S$-group has finite order. In this paper, we verify this finiteness for a Brylinski-Deligne covering group of a torus.

Fibonomial determinants

math.NT

math.CO

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

A density version of quaternary Goldbach problem

math.NT

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

On Maximal Prime Gaps

math.NT

In this paper, we show a new upper bound of prime gaps, that is the gap between a prime number and its consecutive prime number. We show that the gap between a prime number $p_n$ and its consecutive prime number is not larger than $4\log^2{p_n}$. We also show that the result implies the existence of a prime number in a certain type of interval for large enough numbers as a consequence.

Patterns on elliptic curves beyond Bremner's conjecture

math.NT

In the late 1990's, Bremner conjectured that long arithmetic progressions among the $x$-coordinates of rational points of an elliptic curve $E$ over $\mathbb{Q}$ should force the rank of $E$ to be large. This conjecture (and a broad generalization of it) was proved by the authors two decades later, by combining Nevanlinna theory and the Uniform Mordell--Lang theorem of Gao--Ge--K\"uhne. The proof inspired subsequent work by the authors where a generalization of the Bogomolov--Fu--Tschinkel conjecture was proved by similar means. In this note we isolate a flexible pattern principle implicit in the latter work, obtaining rank-dependent (but otherwise uniform) bounds for more general patterns in the image of finite rank subgroups of elliptic curves under maps to the projective line. These patterns include, for instance, arithmetic progressions, geometric progressions, additive shifts, multiplicative shifts, and M\"obius orbits.

On Vu's restricted box estimate in Waring's problem

math.NT

In 2000, Vu proved that the number of solutions of $x_1^k + \cdots + x_s^k = N$ in an arbitrary box satisfies the expected Hardy--Littlewood upper bound with a power-saving error term, for $s \geq O(8^k k^3)$. We show that one may take $s\geq k^2 - k + O(\sqrt{k})$.

Solutions for Hecke Sum Questions of Banerjee and Bringmann

math.NT

The present authors introduced a two-color partition series $S(q)$ and conjectured a Hecke-type formula for the even part of $(q^4;q^4)_\infty S(q)$. Banerjee and Bringmann proved the conjecture by using indefinite theta functions, modular completions, and Sturm's theorem. They also asked whether a direct proof, for instance one based on Bailey-type ideas, could be found, and they suggested that the odd residue classes may be worth studying. We prove a two-variable refinement with an additional parameter $a$. Our proof relies entirely on $q$-series combined with the Bailey pairs The original even identity and the odd identity then follow as corollaries by letting $a=1$. We also record parameter symmetries and cyclotomic companions, including a vanishing result at $a=i$.

Real geometric transcendence for the Gamma function

math.NT

We show that the $x$-axis is the only real algebraic curve in $\mathbb R^2$ whose image via the Gamma function is contained in an algebraic curve. Our proof employs an elegant base-change argument due to Tamiozzo (2023) to deduce the result from the corresponding complex geometric transcendence result of Eterovi\'c, Padgett and Zhao (2025). As an application, we use the complex and real geometric transcendence results to study analogues of the Manin--Mumford conjecture for the Gamma function.

Construction of Non-special Divisors on Kummer Covers With Arbritary Ramification For LCP Codes

math.AG

cs.IT

math.IT

math.NT

Linear Complementary Pairs (LCP) of algebraic geometry (AG) codes offer strong resistance against side-channel and fault-injection attacks, but their construction depends critically on the explicit identification of non-special divisors of degree $g$ and $g-1$. Existing constructions are restricted to Kummer extensions where divisors are supported exclusively on totally ramified places, significantly limiting the range of applicable function fields and codes. We remove this restriction by developing a framework for general Kummer extensions $y^m = \prod_{i=1}^r (x-\alpha_i)^{\lambda_i}$ over finite fields with arbitrary ramification. Using Galois group actions and invariant divisor techniques, we establish necessary and sufficient conditions for non-speciality with no constraint on the support, yielding explicit constructions where previous methods fail. Our approach replaces the computationally intensive Weierstrass semigroup machinery with a more direct and efficient framework. As an application, we construct new explicit families of LCP AG codes with determined parameters $[n,k,d]$, covering three ramification regimes. The resulting codes meet or approach the Goppa designed distance, offering greater flexibility for cryptographic applications.

McShane-Rivin norm balls and simple-length multiplicities

math.GT

math.MG

math.NT

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

Sophie Germain, math\'ematicienne extraordinaire: A story stranger than fiction

math.HO

math.NT

Sophie Germain (1776-1831) was the first woman we know who did important original research in mathematics, specifically in elasticity theory and number theory. Celebrating her semiquincentennial year, we outline Germain's recently unearthed number theory results on Fermat's Last Theorem, in the context of her life, work, and interactions with Lagrange, Legendre, and Gauss. For two centuries her accomplishment on Fermat's Last Theorem was thought to consist of a single theorem attributed to her in a publication by Legendre, the first general result towards proving Fermat's Last Theorem. But recent discoveries in her handwritten manuscripts and correspondence with Legendre and Gauss show that she accomplished much more, albeit forgotten. In particular, she had a grand plan for proving Fermat's Last Theorem in its entirety, and carried this plan a long way, using then new tools, e.g., congruence, modular primitive roots, and permutations.

The R\'enyi entropy of the order of a random permutation

math.CO

math.GR

math.NT

We study the distribution of the order of a random permutation of $[n]$ through the lens of R\'enyi entropy. In particular, we obtain an asymptotic for the R\'enyi $q$-entropy of the order in the full range $1 \leq q \leq \infty$. For $q > 1$, our results are quantitatively optimal and reveal a tight connection between the asymptotic behaviour of the R\'enyi $q$-entropy and arithmetic properties of $n$. Of particular interest are the cases $q = \infty$ and $q = 2$, which correspond to the maximum probability of achieving a particular order and the probability that two independent random permutations have equal orders, respectively. In the former case, we show that the probability in question is asymptotic to $1/n$ and additionally characterise the maximiser for sufficiently large $n$. In the latter case, we determine a minimal and maximal order for the probability as a function of $n$, of respective forms $c/n^2$ and $\log^*n/n^2$. Our results provide an essentially complete answer to a set of questions raised by Acan, Burnette, Eberhard, Schmutz and Thomas, some of which go back to work of Erd\H{o}s and Tur\'an from the 1960s.

Improved Ramsey bounds for generalized Schur equations

math.CO

math.NT

We show that for $m, r \in \mathbb{N}$ and $N > (2m+1)^r (r!)^{1/m}$, every $r$-coloring of the integers in the interval $[N]$ contains a monochromatic solution to the equation \[ x_1 + \dots + \dots x_{m+1} = y_1 + \dots + y_m. \] This generalizes and improves recent results of Ko\'scuiszko. We also show that if $N \geq 2^{r}$, then every $r$-coloring of the integers in $[N]$ must always determine a monochromatic solution to the above equation for some $m \geq 1$. The latter estimate is optimal.

Arithmetic level raising on triple product of Shimura curves and Gross--Kudla--Schoen Diagonal cycles II: Bipartite Euler system

math.NT

math.AG

v4

In this article, we study the Gross--Kudla--Schoen diagonal cycle on the triple product of Shimura curves at a place of good reduction and prove an unramified arithmetic level raising theorem for the cohomology of this triple product. We deduce from it a reciprocity law which relates the image of the diagonal cycle under the Abel--Jacobi map to certain period integral of Gross--Kudla type. Combing this with the first reciprocity law we proved in a previous work, we show that the Gross--Kudla--Schoen diagonal cycles form a bipartite Euler system for the symmetric cube motive of a modular form. As an application we provide some evidence for the rank one case of the Bloch--Kato conjecture for the symmetric cube motive of a modular form.

Arithmetic level raising for certain quaternionic unitary Shimura variety

math.NT

math.AG

v4

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

SIC-POVMs and orders of real quadratic fields

math.NT

math.MG

quant-ph

v4

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

Rational points near planar flat curves

math.NT

math.CA

v2

We establish asymptotic formulas for counting rational points near finite type curves on the plane, generalizing Huang's result.

Stability of the Kato-Kuzumaki's properties under field extensions

math.NT

math.AG

math.KT

v3

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

Generalized discrete Markov spectra

math.NT

math.CO

v4

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

On the flatness of spin local models for split even orthogonal groups

math.NT

v2

Let $F$ be a complete discretely valued field with ring of integers $\mathcal{O}$ and residue field of characteristic $p>2$. Let $G=\operatorname{GO}_{2n}$ denote the split orthogonal similitude group over $F$. For any parahoric level structure, we prove that the associated spin local model for $G$ is a flat $\mathcal{O}$-scheme with reduced special fiber. This confirms a conjecture of Pappas and Rapoport in the split case. As a corollary, we construct a flat (integral) moduli space of PEL-type D.

Explicit Brauer-Manin obstructions on plane quartics

math.NT

v2

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

The stacky Batyrev-Manin conjecture and modular curves

math.NT

math.AG

v3

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

On $p$-adic integral moduli schemes and local models for PEL type D

math.NT

v2

We construct flat integral moduli schemes of PEL type D and the corresponding flat orthogonal Rapoport--Zink spaces with parahoric level structure over a $p$-adic integer ring. The construction relies on proving a conjecture of Pappas--Rapoport: for an even orthogonal similitude group over a complete discretely valued field of residue characteristic $p>2$, and for arbitrary parahoric level, the associated spin local model is flat, normal, Cohen--Macaulay, with reduced special fiber. In the course of the proof, we also show that in the quasi-split but non-split case, the Rapoport--Zink (naive) local model is topologically flat, verifying a conjecture of Pappas--Rapoport--Smithling. In the maximal parahoric case, we also describe the Schubert varieties in the special fiber in moduli-theoretic terms. Finally, for a maximal parahoric case we construct an explicit regular semi-stable model by blowing up the spin local model along the unique closed Schubert cell in its special fiber.

Coefficient-Level B\"ottcher Theory for Wild Superattracting Germs of Degree $p^e$

math.NT

math.DS

v3

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

Asymptotic distribution of CM points on the reduction of the Drinfeld modular curve

math.NT

v2

We study a distribution problem over global function fields. More precisely, we describe the asymptotic distribution of rank $2$ CM Drinfeld modules among the irreducible components of the analytic reduction of the Drinfeld modular curve. Our approach relies on the properties of the building map and the spectral decomposition of the adjacency operator on a quotient of the Bruhat-Tits tree.

Theta functions and transformations of bilateral basic hypergeometric series

math.NT

math.CA

math.CO

v2

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

$\delta$-Badly approximable numbers and ubiquitously losing sets

math.NT

math.DS

v2

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

Poissonian correlations of $\alpha n^d$ mod $1$

math.NT

v2

Let $x(n):=\alpha n^d \mod 1$ for integer $d >1$ and non-zero real $\alpha$. We show that $\{x(n)\}_{n>0}$ has Poissonian $\ell$-point correlations for almost all choices of $\alpha$ when $d$ is large (depending on $\ell$). This falls in line with the expected behavior from the Berry--Tabor conjecture. Further, in the spirit of a conjecture of Rudnick--Sarnak, we show Poissonian $\ell$-point correlations for a set of badly approximable $\alpha$ of full Hausdorff dimension by a Fourier analytic transference principle. The proof makes use of an application of the determinant method to count points on a diagonal hypersurface of degree $d$ in such a way as to capture the contribution of points belonging to lower dimensional varieties. As $d$ grows, these `special solutions' dominate the count and non-special solutions become increasingly rare. This stratified counting statement allows us to control the number of points on average very effectively.

Bigness of Canonical Quadratic Points on Curves of Genus 4

math.NT

v2

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

Construction of Curves with a Controlled First Slope using p-Symmetric Numbers

math.AG

math.NT

v3

This paper establishes a constructive link between the first slope of Artin-Schreier curves X_f: y^p-y=f(x) and the p-adic weight of the support of f(x). If the maximal p-adic weight element v in Supp(f) is unique, we show that the first slope's lower bound of 1/s_p(v) is achieved if and only if v satisfies a combinatorial p-adic condition, which we define as p-symmetry. As an application, we construct explicit families of curves in every characteristic p with first slope equal to 1/n for every n>2.

1-Point Functions for $\mathbb{Z}_2$-Orbifolds of Lattice VOAs

math.QA

math.NT

v3

In this paper, we compute the 1-point correlation functions of all states for the $\mathbb{Z}_2$-orbifolds of lattice vertex operator algebras.

Hasse-Witt invariants of Calabi-Yau varieties

math.AG

math-ph

math.MP

math.NT

v2

We define the Hasse-Witt invariant of Calabi-Yau varieties in two different ways. The first method is through Cartier operator and the second method is through the theory of Calabi-Yau modular forms developed by the third author. We conjecture that these two definitions are equivalent and provide many examples of Calabi-Yau varieties in support of this conjecture.