Number Theory [math.NT]

On the sum of least prime factors in short intervals

math.NT

Let $p(n)$ denote the least prime factor of $n$ and $L_C(x)=Cx^{1/2}(\log x)^2$ with $C>0$. The sum of $p(n)/n$ over composite $n$ lying in the short interval $[x,\,x+L_C(x)]$, a question raised by Erd\H{o}s and Graham, is studied. (i) The constant $c=8$ in the mean asymptotic is estimated \[ S(x)=\sum_{{n0$, the window sums $\mu_C(x):=\sum_{x\le n\le x+L_C(x)}p(n)/n$ over composites have mean $4C$: $\frac{1}{X}\sum_{x\le X}\mu_C(x)=4C+O_C(1/\log X)$, and second moment $\frac{1}{X}\sum_{x\le X}(\mu_C(x)-4C)^2=O_C((\log X)^{-2})$. In particular $\mu_C(x)=4C+o(1)$ for almost all $x$. (iii)Under a weak Cram\'{e}r-type hypothesis on primes in intervals of length $(\log y)^{2+o(1)}$, the estimate $\mu_C(x)=4C+O_C(1/\log x)$ holds uniformly in $x$, giving an affirmative answer to the Erd\H{o}s--Graham question. Unconditionally, the uniform statement remains open; proving the uniform statement unconditionally would require resolving short-interval prime estimates at scale $(\log y)^2$.

Transcendence of Tonelli--Shanks Power Modulo Infinitely Large Primes

math.NT

For a prime number $p$, we denote by $k_p$ the greatest odd divisor of $p-1$. Tonelli--Shanks algorithm is a classical algorithm to compute a square root of a quadratic residue $n \in \mathbb{Z}$ modulo $p$ as the product of $n^{\frac{k_p+1}{2}}$, which we call {\it Tonelli--Shanks power of $n$}, and a correction term given as a power of a quadratic non-residue modulo $p$. We prove the transcendence over $\mathbb{Q}$ of the images of the following in the ring $\mathscr{A}$ of integers modulo infinitely large primes: the greatest odd divisor $k_p$ of $p-1$, the composite $f(\frac{p - 1}{k_p})$ of any injective map $f \colon \mathbb{Z} \to \mathbb{Z}$ and the greatest $2$-power $\frac{p - 1}{k_p}$ dividing $p-1$, Tonelli--Shanks power $n^{\frac{_p+1}{2}}$ of any $n \in \mathbb{Z} \setminus \{-1,0,1\}$, and the correction term of Tonelli--Shanks algorithm for such $n$.

Jacob's ladders, new classes of sum variants of almost linear formula and corresponding $\zeta$-functionals and $\zeta$-equivalents of the Fermat-Wiles theorem

math.NT

In this paper we obtain new classes of the second generation of new $\zeta$-functionals and corresponding $\zeta$-equivalents of the Fermat-Wiles theorem. These are based on sets of elementary rectangular $\zeta$-signals generated by the Gramm's sequence.

The equality cases $P_t(\mathbb{N})=\tfrac12$ for the deconvolved sum-of-digits measures

math.NT

math.CO

math.PR

Let $s(n)$ denote the number of ones in the binary expansion of an integer $n\in\mathbb{N}$, and let $\mu_t$ be the probability measure on $\mathbb{Z}$ defined by the asymptotic densities of the level sets of the function $\mathbb{N}\ni n\mapsto s(n+t)-s(n)\in\mathbb{Z}$. Let $P_t$ be the family of finitely supported measures defined by the convolution $\mu_t=\mu_1*P_t$. Recently, Tarlowski (2026) has shown that the family $P_t$ may be represented as a recursively grown binary tree $T_t$, and that the Cusick's conjecture - $\mu_t(\mathbb{N})>\frac12$, $t\in\mathbb{N}$, - follows from the asymmetry property of the family $T_t$, which was posed there as an open problem. Next, Cheng (2026) has provided the combinatorial description of the family $T_t$ in the language of principal subsequence ideals, and proved both conjectures. Both of these problems are directly related to the problem of determining the zeros of the function $\mathbb{N}\ni t \mapsto P_t(\mathbb{N})-\frac12\in[0,\tfrac12]$, a problem left open by Cheng (2026) as a saturation problem, and previously analyzed only numerically. In this paper we solve this problem completely. Writing an odd integer $t\ge3$ as $t=(1\,w\,1)_2$ with $w\in\{0,1\}^{\star}$, we show that $P_t(\mathbb{N})=\frac12$ if and only if $w$ is \emph{saturated} in the following sense: in the block decomposition $w=1^{a_0}\,0\,1^{a_1}\,0\cdots0\,1^{a_k}$ with exactly $k$ zeros, every block of "1" satisfies $a_i\ge k$. Additionally, we show that the lower bound for $P_t(\mathbb{N})$ established by Cheng for $0$-initial words holds true for all non-saturated words.

The uniform Littlewood conjecture fails on a set of positive Hausdorff dimension

math.NT

The uniform Littlewood conjecture (ULC), introduced by Bandi, Fregoli and Kleinbock, asserts in the two-number case that $$ \lim_{Q\to\infty} Q\min_{1\le n\le Q}\|n\xi\|\,\|n\zeta\|=0 $$ for all real $\xi,\zeta$. It is proven to hold for almost every pair $(\xi,\zeta)$. Schleischitz, however, has recently disproved the full statement and showed that the set of counterexamples contains a dense $G_\delta$ set. We prove that a set of counterexample pairs with the first coordinate being a badly approximable number has Hausdorff dimension at least $3/2$. We further show that the set of badly approximable numbers $\xi$ for which there exists $\zeta$ such that $(\xi,\zeta)$ is a counterexample to ULC has full Hausdorff dimension. This contrasts with the classical Littlewood conjecture, for which the set of possible counterexamples is known to have Hausdorff dimension $0$.

The divisor function for matrices

math.NT

We introduce a matrix divisor function $\tau_n(T,M)$, counting factorisations $AB=M$ for $n\times n$ integer matrices $A,B$ of height at most $T$. For a fixed non-singular $M$, or for the zero matrix $M=O_n$, we prove an asymptotic formula for $\tau_n(T,M)$, as $T\to \infty$, using lattice point counting. We also prove an essentially sharp uniform upper bound for $\tau_n(T,M)$, for an arbitrary non-singular matrix $M$.

Pseudonullity for fine Selmer groups over multiple $\mathbb{Z}_p^{d}$-extensions

math.NT

In this article, we develop vertical control theorems for fine Selmer groups associated with Galois representations and their deformations in $p$-adic families. We apply them to provide new evidence for Conjectures A and B of Coates--Sujatha and to obtain pseudonullity of the fine Selmer groups for cyclotomic characters, elliptic curves, classical cuspidal newforms, and Hida families of $p$-ordinary cuspidal newforms.

Simultaneous Diophantine approximation on the three-dimensional Veronese curve: the complete Hausdorff dimension story

math.NT

We determine the Hausdorff dimension of the intersection of the set $\mathcal W_3(\lambda)$ of simultaneously $\lambda$-well approximable points with the Veronese curve $\mathcal V_3 \subset \mathbb R^3$ for $\lambda \ge3/5$, thus completing the full range of $\lambda$ values. Precisely, we show that for $\lambda\ge 1/3$, $$ \dim\bigl(\mathcal W_3(\lambda)\cap\mathcal V_3\bigr)= \max\left\{\frac{2-2\lambda}{1+\lambda}, \frac{2}{3(1+\lambda)}\right\}. $$ To the best of the authors' knowledge, this makes $\mathcal V_3$ the first nondegenerate, non-planar curve with a completely determined Hausdorff dimension theory.

Well and badly approximable sets, and rapid winning

math.NT

math.DS

math.MG

The set of $\tau$-approximable numbers, $\mathcal W(\tau)$, has genuinely fractional Hausdorff dimension, whereas the set of inhomogeneously badly approximable numbers, $\Bad^\gamma$, has full Hausdorff dimension. We determine the Hausdorff dimension of their intersection by introducing the $\Psi$-rapid game, a scale-sensitive refinement of the rapid game of Hatefi and Simmons (preprint 2024). For every approximation function $\psi$, we prove that $\mathcal W(\psi)\cap\Bad^\gamma$ is strong $\Psi$-rapid winning for a natural gauge $\Psi$ determined by $\psi$. Unlike Schmidt-type games, whose winning property always implies full Hausdorff dimension, the $\Psi$-rapid game is calibrated to a prescribed Diophantine scale, so that the resulting dimension bound depends explicitly on the decay of $\Psi$. In particular, for $\psi(q)=q^{-\tau}, \tau\ge1,$ we recover the exact Jarn\'ik--Besicovitch dimension, that is, $$ \HD\bigl(\mathcal W(\tau)\cap\Bad^\gamma\bigr)=\frac{2}{\tau+1}.$$

An elliptic K3 surface X/Q(t) with Mordell-Weil rank 17, I: Formulas for X and base changes of rank 18 and 19

math.NT

In [Elkies 2006, Elkies 2007] we announced a K3 surface X/Q with N\'{e}ron--Severi group NS(X) = NS_Q(X) of rank 19 and an elliptic fibration of Mordell--Weil rank 17. This is the largest possible Mordell--Weil rank over Q(t) for an elliptic K3 surface. One of the fibers of this surface is the elliptic curve of rank at least 28 that was the elliptic curve of highest rank known during the years 2006--2024. We further announced that there are quadratic base changes of this fibration to elliptic surfaces of Mordell--Weil rank 18 over Q(t), and that there are pairs of such quadratic base changes whose compositum is an elliptic surface of Mordell--Weil rank 19 over an elliptic curve E_0/Q with #(E_0(Q)) = \infty, whence there are infinitely many elliptic curves of rank at least 19 over Q. We exhibit one such pair. A subsequent paper will show (using a technique also announced in [Elkies 2007] how we computed X and its fibration.

Rigid analytic 1-motives and conjugate uniformization of abeloid varieties

math.NT

math.AG

Let $K$ be a $p$-adic field. We study the arithmetic theory of abeloid varieties over $K$. Our aims are twofold. First, we study the theory of rigid analytic 1-motives, which will be viewed as a tool to describe degeneration of abeloid varieties, similarly as in the classical algebraic setting. Our key new results are the equivalence between formal (resp. log formal) 1-motives over $\mathcal{O}_K$ and rigid analytic 1-motives with good (resp. semi-stable) reduction over $K$, and the N\'eron-Ogg-Shafarevich criterion for the good (resp. semi-stable) reduction of rigid analytic 1-motives. In particular, we construct log formal 1-motives and log $p$-divisible groups over $\mathcal{O}_K$ from semi-stable abeloid varieties over $K$. Next, we study the conjugate uniformization of an arbitrary abeloid variety $A$ over $K$. This is a type of $p$-adic uniformization initiated by Iovita--Morrow--Zaharescu in case of abelian varieties with good reduction. Our approach here is based on Fargues' theory of $p$-divisible rigid analytic groups. In fact, we view the theory of conjugate uniformization as a study of rational points of dualizable $p$-divisible rigid analytic groups in terms of their classification Hodge--Tate triples. Along the way, we construct $p$-divisible rigid analytic groups from rigid analytic 1-motives.

Arithmetic theta invariants and arithmetic equilibrium measures

math.NT

math.AG

math.CV

We introduce two new arithmetic invariants associated with Hermitian line bundles on arithmetic varieties, which play the role of the Bergman distortion function in the arithmetic setting. As a first step, we show that these two functions are asymptotically equivalent. This leads to the introduction of an intrinsic measure $ \widehat{\mu}^{\sup}_{\mathrm{eq}},$ which we show to be a natural arithmetic analogue of the equilibrium measure. We prove that $\widehat{\mu}^{\sup}_{\mathrm{eq}}$ serves as a detector of arithmetic positivity. In particular, we determine it for weakly nef Hermitian line bundles and, in full generality, in the toric case. Moreover, $\widehat{\mu}^{\sup}_{\mathrm{eq}}$ governs the arithmetic volume function and its variational properties. More precisely, we establish weak integral representations of the arithmetic volume and of its first variation in terms of $\widehat{\mu}^{\sup}_{\mathrm{eq}}$. These formulas provide a measure-theoretic interpretation of the volume derivative of Yuan--Zhang and reveal a structural parallel with variational formulas in complex pluripotential theory. Our approach differs fundamentally from previous treatments based on Harder--Narasimhan filtrations or arithmetic Okounkov bodies. It places the arithmetic volume at the center of the theory and suggests that asymptotic volume invariants, rather than heights, provide the natural analytic framework for problems in equidistribution and arithmetic dynamics.

A Short Proof of a Conjecture Regarding Quadratic Representations of Practical Numbers

math.NT

A positive integer $n$ is called a practical number if every positive integer less than or equal to $n$ can be expressed as a sum of distinct positive divisors of $n$. In this paper, we study an open conjecture proposed by Wang and Sun concerning the quadratic representations of practical numbers. Specifically, we provide a short proof of the second part of the conjecture, demonstrating that for any positive integers $b$ and $c$ with $2 \nmid b$ and $2 \mid c$, there exists an integer $n$ satisfying $1 < n \le \max\{b, c\}$ such that $n^2 + bn + c$ is a practical number. Combined with the work of Somu, Li, and Kukla, this completely settles the conjecture of Wang and Sun.

The Mixed Second Moment of Quadratic Dirichlet $L$-functions with Prime Conductors

math.NT

We establish an asymptotic formula for the mixed second moment involving the second derivative of the completed $L$-function, when averaged over monic, irreducible polynomials in the function field setting.

Intermediate-Range Estimates for Short Weyl Sums and Waring's Problem with Almost Proportional Summands

math.NT

We obtain a uniform pointwise estimate for short Weyl sums of degree $n\geq3$ in the intermediate rational-approximation range $$ \frac{1}{qx^{n-2}y}\ll|\lambda| \ll\frac{1}{qy^{n-1}}. $$ This range arises from a second application of Dirichlet's rational approximation theorem in estimating the residual integral that occurs in the derivation of an asymptotic formula for Waring's problem with almost proportional summands. For $r=2^n+1$ and fixed positive numbers $\mu_1,\ldots,\mu_r$ satisfying $$ \mu_1+\cdots+\mu_r=1, $$ we derive an asymptotic formula for the number of representations $$ x_1^n+\cdots+x_r^n=N, \qquad |x_i^n-\mu_iN|\leq H,\qquad 1\le i \le r, $$ valid for $$ N^{1-\theta(n,r)+\varepsilon}\le H \le \frac{N}{\ln N}, \quad \theta(n,r)= \frac{2}{n\bigl((r-1)(n-1)+2\bigr)}. $$ The resulting admissible lower bound for $H$ improves the previously known bound for every $n\geq3$.

A Boolean polynomial operator for the Collatz $3n+1$ problem

math.NT

We define a reformulation of the Collatz $3n+1$ map which allows us to express it as an operator on the set of sequences of Boolean polynomials. We express this operator in terms of certain carry sequences that arise from addition in base-2, and then we simplify them and find explicit formulas for them.

The second moment of twisted modular $L$-functions and Dirichlet $L$-functions at the central point

math.NT

We prove an asymptotic formula with a power-saving error term for the second moment $$ \sum_{q \in \mathcal{Q}} \; \; \sideset{}{^\flat}\sum_{\chi \bmod q} \left| L\big( \tfrac{1}{2} , \chi \big) L\big(\tfrac{1}{2},f\otimes \chi)\right|^2 $$ of the twisted ${\rm GL}(2)$ {$L$}-function and the Dirichlet {$L$}-function at the central point under the assumption of Selberg's eigenvalue conjecture. Here $f$ is a fixed Hecke holomorphic cusp form for $\mathrm{SL}(2,\mathbb{Z})$ and the sum over $\chi$ runs over all primitive even Dirichlet characters modulo $q$, and $$\mathcal{Q}=\left\{q=q_1 q_2\asymp Q: q_1 \leq Q_1, q_2 \leq Q_2,\ Q_2\asymp Q^{\delta_1},(q,6)=1,(q_1,q_2)=1 \right\}$$ with $0<\delta_1<0.0004$.

Sharp extremal asymptotics for Cusick's sum-of-digits bias at fixed Hamming weight

math.NT

math.CO

Let $s_2(n)$ be the binary sum-of-digits function and let $c_t$ be the natural density of the integers $n\ge0$ for which $s_2(n+t)\ge s_2(n)$. Earlier work of the author proved the universal exponential bound $$c_t-\frac12\ge 2^{-2s_2(t)-1},$$ thereby resolving Cusick's conjecture for every $t$. This estimate, however, does not reflect the true size of the smallest possible bias at a given large Hamming weight. In this paper, we determine this extremal scale sharply: $$\inf_{s_2(t)=k}\left(c_t-\frac12\right) \sim \frac{1}{2\sqrt\pi} \left(\frac{\log_2 k}{k}\right)^{3/2} \qquad(k\to\infty).$$ Thus the optimal fixed-weight gap is polynomial-logarithmic rather than exponential, with the explicit sharp leading constant $1/(2\sqrt\pi)$. The proof combines the five-cumulant Edgeworth expansion of Spiegelhofer and Wallner with a new extremal rigidity mechanism for near-extremal binary block patterns. We also prove a stability theorem for asymptotic extremizers and give a separate shadow-energy interpretation of the same constant.

Introduction to the Birch and Swinnerton-Dyer Conjecture

math.NT

We give a brief and partially informal introduction to the Birch and Swinnerton-Dyer conjecture. After a short review on basic Diophantine equations, we define the natural abelian group structure on an elliptic curve, leading to the definition of the corresponding algebraic rank. Afterwards, we sketch how to define the analytic rank of an elliptic curve and we state the conjecture, that is, the equality of these two ranks.

An explicit refined Gan--Gross--Prasad identity for Fourier--Jacobi periods of degree 2 Siegel cusp forms

math.NT

We compute the local integrals appearing in the refined Gan--Gross--Prasad conjecture for Fourier--Jacobi periods of $\mathrm{Sp}_4$ in new ramified cases and use this to formulate an explicit conjectural identity relating Petersson norms of degree 2 Siegel cusp forms and associated half-integral weight forms. We note consequences of our identity for the growth of Petersson norms, the size of Fourier coefficients, and non-vanishing of central $L$-values.

Remarks on Vafa-Witten theory, or how to sit on a wall

hep-th

math.AG

math.NT

We prove three results about refined $SU(N)$ VW invariants on Hirzebruch surfaces. First, we crucially simplify the modular anomaly equation satisfied by the generating series of these invariants by expressing it in terms of complementary generalized error functions, which requires extending these error functions to their singular loci. Second, we evaluate the variation of the modular completions of the generating series upon change of polarization. Finally, a representation of the generating functions in terms of indefinite theta series allows us to compute VW invariants at the walls of marginal stability, and to express them in terms of the invariants on the two sides of the wall and those of lower ranks. All the results exhibit a universal structure suggesting their wider applicability.

A Categorical Framework for the Direct Integration of Banach Spaces

math.CT

math.FA

math.NT

We construct a categorical framework in which we can view the direct integral as a functor taking as input objects in a certain category of Abstract Banach bundles and outputting a Banach space. We do this by constructing a quasi-abelian category of abstract Banach bundles, and we prove certain foundational and theoretical results about this category and its objects. As a consequence, we are able to define a notion of direct integral of sheaves.

Composed varieties and reflection theorems of Ohno-Nakagawa type

math.NT

v3

The Ohno-Nakagawa (O-N) reflection theorem is an unexpectedly simple identity relating the number of $\mathrm{GL}_2 \mathbb{Z}$-classes of binary cubic forms (equivalently, cubic rings) of two different discriminants $D$, $-27D$; it generalizes cubic reciprocity and the Scholz reflection theorem. In this paper, we present a new approach to proving and generalizing this theorem using Fourier analysis on the adelic cohomology $H^1(\mathbb{A}_K, M)$ of a finite Galois module, modeled after the celebrated Fourier analysis on $\mathbb{A}_K$ used in Tate's thesis. This method produces reflection theorems of O-N type from identities of lattice counts over local fields and yields new reflection theorems of O-N type for cubic forms and rings over arbitrary number fields, quartic forms and rings, and also quadratic forms counting by a peculiar invariant, the \emph{superdiscriminant} $a(b^2 - 4ac)$. O-N-type theorems are valuable both for their intrinsic beauty and for analytic applications, which include discriminant-reducing identities, symmetrization of functional equations, and subconvexity for Shintani zeta functions.

The Harris-Venkatesh conjecture for derived Hecke operators I: imaginary dihedral forms

math.NT

v3

The Harris-Venkatesh conjecture relates the action of derived Hecke operators on weight-one modular forms to algebraic units. We introduce the Harris-Venkatesh period, defined on a product of modular curves, and show that it specializes to the derived Hecke action on weight-one forms. We also define and construct optimal forms, two-variable modular forms that explicitly realize a theta lifting from the Jacquet-Langlands correspondence. Using a positive-characteristic multiplicity-one argument comparing the Harris-Venkatesh period on newforms and optimal forms, we prove the full Harris-Venkatesh conjecture for imaginary dihedral weight-one modular forms.

The Harris-Venkatesh conjecture for derived Hecke operators III: local constants

math.NT

v4

The first two papers in this series prove the Harris-Venkatesh conjecture on derived Hecke operators and its refinement with the Stark conjecture for imaginary dihedral modular forms of weight $1$. This paper explicitly describes the constants appearing in the Harris-Venkatesh conjecture for dihedral modular forms by evaluating $\mathrm{GL}(2) \times \mathrm{GL}(2)$ Rankin-Selberg periods and zeta integrals on newforms and optimal forms. One consequence is a formula for the ratio between Petersson norms and adjoint $L$-values. These calculations also extend to exotic modular forms of odd level and to exotic modular forms with $2$-ordinary Deligne-Serre representation.

Character sums to prime power moduli evaluated at binary quadratic forms

math.NT

v4

We establish estimates for short character sums to prime power moduli evaluated at binary quadratic forms. This complements estimates established by Heath-Brown for such character sums to squarefree moduli. Our approach uses $p$-adic analysis. More precisely, we use tools from the $p$-adic theory of exponential sums, as initiated by Mili\'cevi\'c.

Poisson--Dirichlet approximation for counting integers with divisors in an interval

math.NT

math.PR

v3

We give a simple inequality that compares the laws of two random variables taking values in a convex subset of a normed vector space. By combining this with Arratia's coupling, recently refined by Koukoulopoulos and the author, we obtain a general strategy to reduce the problem of finding an asymptotic formula for the number of integers whose prime factorization lies in any given subset of $\ell^1(\mathbb R)$ to bounding two key probabilities measuring proximity to the boundary of the subset in question. We apply this strategy to obtain an asymptotic formula for counting integers in $[1, x]$ that have a divisor in an interval $(y, z)$ in the regime $z/y \to \infty$ as $x \to \infty$.

Fibre-Product Stability, Kummer Gluing, and Composita for Universal Koszulity

math.NT

v4

We study universal Koszulity under algebraic gluing and field composita. For quadratic fibre products, orthogonally split pullbacks reduce to direct sums, while Stanley--Reisner pullbacks arise from graph gluing preserving universal Koszulity under a dominating-clique hypothesis. For composita, Kummer theory and the norm-residue theorem yield a graph criterion from restriction images and degree-two cup-product relations, verified for iterated Laurent-series fields with nonzero mixed symbols. In a nonabelian RAAG family, every finite \(p\)-extension has explicitly determined universally Koszul cohomology, with \[ G_L(p)\cong F_{1+q(d-1)}\times\mathbb Z_p^s.\]

Toward the $p$-adic Hodge parameters in the potentially crystalline representations of $\mathrm{GL}_n$

math.NT

v2

Let $p$ be a prime number, $n\geq 2$, and let $L$ be a finite extension of $\mathbf{Q}_p$. Let $\rho_L$ be an $n$-dimensional non-critical generic potentially crystalline $p$-adic representation of the absolute Galois group of $L$ with regular Hodge--Tate weights. Building on Ding's results and strategy in the crystabelline case, and on the recent work of Breuil--Ding in the critical crystalline case, we construct an explicit locally analytic representation $\pi_{1}(\rho_L)$ and describe explicitly the Hodge-filtration data of $\rho_L$ that it determines. When $\rho_L$ arises from a patched $p$-adic automorphic representation, we show, under mild hypotheses, that $\pi_{1}(\rho_L)$ is a subrepresentation of the $\mathrm{GL}_n(L)$-representation globally associated with $\rho_L$ by using the framework of Bernstein eigenvarieties that were developed by Breuil-Ding.

Towards the $p$-adic Hodge parameters in semistable representations of $\mathrm{GL}_n(\mathrm{Q}_p)$

math.NT

v2

Let $\rho_p$ be an $n$-dimensional non-critical semistable $p$-adic Galois representation of the absolute Galois group of $\mathbf{Q}_p$ with regular Hodge--Tate weights. Let $\mathbf{D}$ be the associated $(\varphi,\Gamma)$-module over the Robba ring. By combining Ding's and Breuil--Ding's methods for the crystalline case with Qian's computation of higher extension groups of locally analytic generalized Steinberg representations, we capture the full information of the $p$-adic Hodge parameters of $\rho_p$ on the automorphic side by considering several Steinberg subquotients of $\mathbf{D}$ and the ``crystalline'' Hodge parameters between them. These results also admit geometric and Lie-algebraic reformulations on flag varieties related to the moduli space of Hodge parameters. We then construct an explicit locally analytic representation $\pi_{1}(\rho_p)$ and explicitly describe which Hodge-parameters information of $\rho_p$ it determines. In particular, if the monodromy rank of $\rho_p$ is at most $1$, $\pi_{1}(\rho_p)$ determines $\rho_p$. When $\rho_p$ comes from a $p$-adic automorphic representation, we show that $\pi_{1}(\rho_p)$ is a subrepresentation of the $\mathrm{GL}_n(\mathbf{Q}_p)$-representation globally associated to $\rho_p$, under mild hypotheses. Although it is still difficult to construct an explicit representation $\pi_{1}(\rho_p)$ that determines $\rho_p$, our results provide new evidence for the $p$-adic Langlands program in general semistable cases and demonstrate the broad applicability of Ding's, Breuil--Ding's, and Qian's methods.\;

Hypernatural numbers in arithmetic Ramsey theory

math.NT

math.CO

math.LO

v2

The hypernatural numbers ${}^*\mathbb{N}$ of nonstandard analysis have recently proven to be an effective tool in arithmetic Ramsey theory. After introducing the fundamental ``nonstandard" notions, we present several examples to illustrate the use of this technique in practice. In particular, we provide brief nonstandard proofs of some recent results concerning the monochromaticity of certain families of finite and infinite configurations.

A proof of the Freiman-Lev conjecture

math.NT

v2

Let $A=\{a_{0}, a_{1}, \ldots, a_{k-1}\}$ be a set of $k>7$ integers such that $0=a_{0}<\cdots

Cyclic permutations of large subsets with polynomial values in multiplicative subgroups of finite fields

math.NT

math.CO

v3

Let $f(t)\in\mathbb{Z}[t]$ be a nonconstant polynomial with nonzero discriminant and let $k\ge2$ be an integer. Inspired by the work of Alon and Bourgain, for sufficiently large prime $p\equiv1\pmod{k}$, we study cyclic orderings of subsets $A\subseteq \mathbb{F}_p$ for which $ f(a_i+a_{i+1})$ is a nonzero $k$-th power for every consecutive pair. By combining mixed character-sum estimates, Fourier analysis on $\mathbb{F}_p$, and spectral graph methods, we establish a threshold $c(p,k,f)$ such that every subset $A$ with $\#A\ge c(p,k,f)$ admits such a cyclic ordering. We also give lower and upper bounds for the optimal threshold.

Logarithmic Chowla Correlations Uniformly over Fixed Polylogarithmic Shift Ranges

math.NT

cs.DM

math.CA

v3

Let $\lambda(n)=(-1)^{\Omega(n)}$ be the Liouville function. For every fixed $0 < \eta < 1$ and $C>0$, we prove that all sufficiently large $x$ admit $\mathcal E_{x,\eta}\subseteq[1,\exp((\log x)^\eta)]$, $|\mathcal E_{x,\eta}|\ll_{\eta,C}\exp((\log x)^\eta)(\log x)^{-C}$, such that, for some $c_\eta>0$, $\max_{\substack{h\le\exp((\log x)^\eta)\\h\notin\mathcal E_{x,\eta}}}\left|\sum_{n\le x}\frac{\lambda(n)\lambda(n+h)}{n}\right|\ll_\eta(\log x)^{1-c_\eta}$. The set is generated by one possible Landau--Page conductor, contains at most one prime, and is empty when no such exceptional character exists. We also obtain an all-shifts power-logarithmic saving for $h\le(\log x)^A$ for every fixed $A>0$. A separate harmonic-multiplier argument gives, for every fixed $1 < p < \infty$ and every $1$-bounded sequence $b$, $\frac1H\sum_{L1/3$. Consequently, for arbitrary fixed $\varepsilon,C>0$, outside $O_{\theta,\varepsilon,C}(H(\log x)^{-C})$ shifts all terminal correlations are at most $(\log x)^\varepsilon$. For every $H\ge10$ we also prove quantitative first- and second-moment bounds, yielding $o(\log x)$ for almost every $h\le H(x)$ whenever $H(x)\to\infty$.

Sparse Random Covers and Growth of Torsion in First Homology

math.GR

math.DG

math.MG

math.NT

v2

We construct random open covers of higher-rank locally symmetric spaces using a construction we call scaffolded Poisson processes. Let $X=G/K$ be a symmetric space of noncompact type and real rank at least $2$. We prove a general vanishing theorem for the normalized torsion in first homology along sequences of torsion-free lattices in $G$. In particular, if $G$ is simple, we get \[ \dfrac{\log |H_1(M_n;\mathbb{Z})_{\operatorname{tors}}|}{\mathrm{vol}(M_n)} \longrightarrow 0 \] for any sequence of distinct manifolds $M_n = \Gamma_n \backslash X$. This answers a question of Ab\'ert, Gelander, and Nikolov, and confirms the degree-one vanishing with trivial integral coefficients predicted by a conjecture of Bergeron and Venkatesh in the higher-rank setting. In addition, we get quantitative bounds with respect to the minimal injectivity radius for both the torsion in first homology and the minimal number of generators of $\Gamma$. Finally, we prove the analogous statements for affine buildings.