Number Theory [math.NT]

Frequency Ordered Ratio Families Arising from the Factorization of $p_{m-1}+1$

math.NT

We investigate a ratio sequence derived from the factorization of $p_{m-1}+1$, where $p_n$ denotes the $n$th prime. For each $m \ge 3$, write $p_{m-1}+1 = L_m R_m$ with $L_m$ the largest prime factor. Restricting to those $m$ for which $L_m > m$ (equivalently, $m \in \mathrm{A223881}$), we obtain a multiset of values $R_m$. Sorting the distinct $R_m$ by decreasing frequency yields a new sequence beginning \[ 2,3,4,8,6,12,10,14,15,18,20,24,\dots. \] This article explains how this construction arises naturally from the structure of A223881, why the ``family'' phenomenon appears in plots of $p_{m-1}+1$, and how the frequency ordering of $R_m$ captures the dominant families. Additionally, we propose a heuristic asymptotic model explaining the observed frequency ordering via classical results on primes in arithmetic progressions and support the model with numerical log-log analysis.

A Complete Answer to Erd\H{o}s Problem 690

math.NT

Let \(d_k(p)\) denote the natural density of positive integers whose \(k\)-th smallest prime divisor is \(p\). Erd\H{o}s asked whether, for each fixed \(k\), the sequence \(p\mapsto d_k(p)\) is unimodal as \(p\) ranges over the primes. Cambie proved that unimodality holds for \(1\le k\le3\) and verified non-unimodality for \(4\le k\le20\). We prove that \(p\mapsto d_k(p)\) is not unimodal for every \(k\ge4\), completing the classification. An exact first-difference criterion reduces the problem to comparing a symmetric-polynomial ratio with prime gaps. Explicit estimates for prime-counting functions, certified finite computations, one certified large prime gap, one certified twin prime, and a uniform Chinese-remainder construction then produce, for every \(k\ge4\), a strict descent followed by a later strict ascent.

Rational Base Descent: A Deterministic Algorithm for Factoring Structured Semiprimes

math.NT

We present a special-purpose algorithm for factoring semiprimes $N = pq$ in which one prime factor satisfies $p \approx c\,(a/b)^n$ for positive integers $a, b, c, n$ with $a > b$ and $\gcd(a,b) = 1$. Given the correct parameters $(a, b)$, the algorithm isolates a factor in ${O}(\log^3 N)$ time when $a/b$ is bounded away from $1$, and the cofactor $q$ is unconstrained beyond a mild size bound. We describe a search strategy over $(a, b)$ using primitivity filters, give a complexity analysis showing that the method poses no threat to balanced RSA semiprimes, and provide a gmpy2-based Python implementation.

Some Omega results for Dirichlet $L$-functions

math.NT

Motivated by the first author's earlier work in 2024, we use the resonance method to establish some Omega results for Dirichlet $L$-functions, extending the previous results.

Multiple integral representations of the Catalan's constant

math.NT

In this paper, we present several novel integral representations of Catalan's constant. We begin by deriving an initial result expressed as a double integral. Subsequently, as a consequence of this result, we establish a general theorem that enables the representation of Catalan's constant in terms of a single integral. Finally, we provide a multiple integral representation of Catalan's constant in dimensions greater than or equal to two using the Lerch function. The results are accompanied by illustrative examples.

Non-$R$-trivial proper projective similitudes in type $A_3\equiv D_3$

math.NT

math.AG

math.KT

math.RA

Over an arbitrary field of characteristic different from $2$ admitting an anisotropic torsion $3$-fold Pfister form, we apply a construction due to Merkurjev to produce an algebra with orthogonal involution of degree $6$ which admits proper projective similitudes that are not $R$-trivial. In particular, such examples exist over every finitely generated transcendental extension of a local or global number field, as well as over every finitely generated extension of transcendence degree $3$ of $\mathbb{R}$.

On the Iwasawa $\lambda$-invariant of the cyclotomic $\mathbb{Z}_2$-extension of a family of real quadratic fields in which $2$ splits

math.NT

We study Greenberg's conjecture for cyclotomic $\mathbb{Z}_2$-extensions of real quadratic fields. Let $K=\mathbb{Q}(\sqrt{pq})$, where $$ p\equiv 1 \mod 8,\qquad q\equiv 9 \mod {16},\qquad \left(\frac{p}{q}\right)=-1. $$ Under the additional assumptions $$ \left(\frac{2}{p}\right)_4 \left(\frac{2}{q}\right)_4 \left(\frac{pq}{2}\right)_4=-1 $$ and $$ \left(\frac{2}{p}\right)_4=-1 \quad\text{or}\quad \left(\frac{2}{q}\right)_4=-1, $$ we prove that $\lambda_2(K)=0$. The proof combines Greenberg's criterion for the split prime case with a capitulation argument modeled on Kumakawa. The main new input is a square-class computation of the Hasse unit index of the biquadratic extension $K_2=\mathbb{Q}(\sqrt{pq}, \sqrt{2+\sqrt{2}})/\mathbf{Q}_1=\mathbb{Q}(\sqrt{2})$, showing that $q(K_2)\le 2$.

Rational points on smooth surfaces in $\mathbb{P}^3$ over finite fields

math.NT

math.AG

We improve a bound due to the second author on number of rational points on smooth surfaces in $\mathbb{P}^3$ over finite fields and look at families of surfaces that achieve or nearly achieve this bound, for which we compute their exact number of rational points. These computations may have independent interest.

On the coefficients of the Taylor expansion of $L$-functions of elliptic curves

math.NT

In this paper, we investigate the coefficients of the Taylor expansion of the complex $L$-series of any elliptic curve over $\mathbb{Q}$. We prove that, in the family of quadratic twists by all the discriminants $d$, these coefficients are nonvanishing under GRH when $d$ is sufficiently large. Unconditionally, we obtain a general lower bound for the number of nonvanishing coefficients in the family of quadratic twists, through a series of results from the moments of the central values of the derivatives of quadratic twists of modular $L$-function.

Low-Lying Zeros on the Critical Line for Families of Dirichlet $L$-Functions

math.NT

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

On the exponent of distribution for convolutions of $\operatorname{GL}(2)$ coefficients to smooth moduli

math.NT

Let $(\lambda_f(n))_{n\geqslant1}$ be the Hecke eigenvalues of a holomorphic cusp form $f$. We prove that the exponent of distribution of $\lambda_f*1$ in arithmetic progressions is as large as $\frac{1}{2}+\frac{1}{70}$ when the modulus $q$ is square-free and has only sufficiently small prime factors.

An analogue of a formula of Popov II

math.NT

Let $r_{k}(n)$ denote the number of representations of the positive integer $n$ as the sum of $k$ squares. We prove a generalization of a summation formula already proved by us [Advances in Applied Mathematics, 175 (2026) 103201], which involves the arithmetical function $r_{k}(n)$ and the Bessel functions of the first kind. We extend the Bessel functions in the aforementioned formula to Whittaker functions, and our proof of this generalization is drastically different from the proof of the particular case presented in [Advances in Applied Mathematics, 175 (2026) 103201].

The variation of zeros of the Miller basis

math.NT

We exhibit a connection between the variation of zeros in the Miller basis of modular forms $q^m+O(q^{\ell+1})$ and a logarithmic version $\mathcal{S}_\delta$ of the Szeg\H{o} curve, where $\delta=m/\ell$. When $\delta<0.6194$ we show that all the zeros are on the unit arc for $k\gg 0$, while if $\delta$ is asymptotically close to 1, we show that all the zeros lie on $\mathcal{S}_{\delta}$. In general, we posit that for all $\delta$, the zeros are located on the union of the unit arc and the log Szeg\H{o} curve, obtaining a partial result, and find conjectural thresholds for $m/\ell$ with all zeros on the unit arc, and no zeros on the arc. Finally, we enumerate all algebraic zeros of Miller forms up to $\ell-m\leq 25$.

Lacunary recurrences and 2-adic properties of Eisenstein series

math.NT

We study the rational coefficients that arise when the Eisenstein series $G_k$ is expressed as a polynomial in $G_4$ and $G_6$. We prove a recent conjecture giving an exact formula for the minimal 2-adic valuation of these coefficients in terms of the binary expansion of the weight. The proof uses lacunary recurrences for Eisenstein series.

On Ramanujan Primes for Hecke-Maass Cusp Forms

math.NT

For a primitive Hecke-Maass cusp form $\phi$ of level $N$ with the $n$-th Hecke eigenvalue $\lambda_{\phi}(n)$ and a prime number $p\nmid N$, the celebrated Ramanujan conjecture at $p$ asserts the following sharp upper bound: \[ |\lambda_{\phi}(p)| \leq 2. \] In this work, we determine an upper bound for the least prime $p$ at which the Ramanujan conjecture holds for two or three distinct primitive Hecke-Maass cusp forms simultaneously. Moreover, given a set of distinct primitive Hecke-Maass cusp forms $\{\phi_i\}$, we also provide a lower bound for the lower natural density of the set of primes at which the Ramanujan conjecture holds for at least one of the $\phi_i$'s.

Congruences of first syntomic cohomology groups

math.NT

Let O_K be the ring of integers of a finite extension K of Q_p. Given two reflexive F-gauges on O_K, we show that for large enough n, the mod p^n-reductions of their first syntomic cohomology groups, which might be regarded as a refinement of local Bloch--Kato Selmer groups, are isomorphic if and only if the mod p^{2n}-reductions of their attached Breuil--Kisin modules with G_K-actions and Nygaard filtrations are isomorphic.

The Serre Derivatives and Zeros of Modular Forms

math.NT

Since the work of F. Rankin and Swinnerton-Dyer on the zeros of Eisenstein series, many results have been obtained concerning the zeros of modular forms. In this paper, we study the zeros of Serre derivatives of modular forms. In particular, we prove that if all the zeros of a weakly holomorphic modular form in the standard fundamental domain lie on the lower boundary, then the same property holds for its Serre derivative.

An explicit Galois descent for multiple $t$-values of maximal height

math.NT

We give an explicit formula for the Galois descent expressing multiple $t$-values of maximal height in terms of classical multiple zeta values, making precise Murakami's earlier motivic result. Our results rely on the theory of iterated beta integrals. We apply this formula to obtain evaluations of various multiple zeta-half values.

Proof of a conjecture of Andrews and Bachraoui on a Hecke sum

math.NT

math.CO

In this paper, we prove a conjecture of Andrews and Bachraoui relating a generating function arising from two-color partitions (with odd smallest part and restrictions on the even parts) to a Hecke-type double sum. Our proof is based on Zwegers' theory of indefinite theta functions together with modular transformation properties of mock theta functions.

Reciprocals of Subsum Polynomials

math.NT

math.CO

We introduce the subsum polynomial of a partition $\lambda=(\lambda_1, \lambda_2, \ldots, \lambda_k)$ defined by $\mathrm{sp}(\lambda, x)=\prod_{i=1}^k(1+x^{\lambda_i})$. We study the sum of reciprocals of $\mathrm{sp}(\lambda, x)$ over all partitions of $n$. We prove arithmetic properties of related polynomials and offer connections to other combinatorial objects.

$p$-adic Congruencens of Generalized Euler Numbers and Relations to Even Zeta Value

math.NT

In this article, we introduce congruential Euler numbers, which are a further generalization of generalized Euler numbers. We prove the $p$-adic congruences of congruential Euler numbers, which include answers to a conjecture related to Lehmer numbers. We also provide expressions of even zeta values using congruential Euler numbers via complex analysis.

Learning from Ramanujan: Elementary Approaches to Profound Ideas

math.HO

math.NT

We revisit several entries from Ramanujan's notebooks which follow from more elementary arguments than a first glance may suggest. Our goal is to demystify these results through more accessible proofs, while also shining some light on the web of interconnections within the notebooks and demonstrating the continuing relevance of Ramanujan's methods. Classical and modern tools, such as multisection, telescoping sums, partial fraction decomposition and Fourier analysis, are employed to reprove and extend identities originally presented without explanation. These contributions try not only to enrich our understanding of Ramanujan's intuition but also to offer new avenues for exploration in number theory, special functions and mathematical analysis.

The martingale evolution of probability measures defined via the sum-of-digits functions

math.PR

math.NT

Let $s(n)$ denote the number of ones in the binary expansion of a natural number $n\in\mathbb{N}$. For any $t\in\mathbb{N}$ and $d\in\mathbb{Z}$, let $\mu_t(d)$ denote the asymptotic density of the set of those natural numbers $n$ for which $s(n+t)-s(n)=d$. It is well known that $\mu_t$ are properly defined probability measures on $\mathbb{Z}$, and the Cusick conjecture states that $\mu_t(\mathbb{N})>\frac{1}{2}$ for any $t\in\mathbb{N}$. In this paper, we investigate the properties of the family $\{\mu_t\}_{t\in\mathbb{N}}$ by reindexing the odd integers via a suitable partial order. This construction leads to the nonautonomous dynamics on pairs of probability measures on $\mathbb{Z}$, and admits a natural interpretation in terms of evolution of planar binary trees and the corresponding stopping times. The measures $\mu_t$ correspond to the marginal distributions of the associated stopped random walk. We will assume that the random walk starts from zero, and thus we will work with the family of measures $P_t$ determined by the convolution $\mu_t=\mu_1\ast P_t$. The martingale associated with the stopped random walk allows a transparent structural description of those measures, including their support, symmetries, variance, and the asymptotic behaviour. At the end we discuss the median preserving property of this martingale, and show that the Cusick conjecture is a special case of a more general claim about the asymmetric evolution of the binary trees associated to the martingale. This last claim is supported numerically at the end of the paper.

Invariant measure for double base expansions

math.DS

math.NT

Given a pair $Q=(q_0,q_1)\in(1,\infty)^2$ with $q_0+q_1\ge q_0q_1$, a sequence $(c_i)\in\set{0,1}^\infty$ is called a $Q$-expansion of $x$ if
\begin{equation*}
x=\sum_{i=1}^{\infty}\frac{c_i}{q_{c_1}\cdots q_{c_i}}.
\end{equation*}
We primarily study the dynamical properties of the greedy and lazy maps, which are the piecewise-linear maps on the interval $I_Q=[0,\,1/(q_1-1)]$ defined by the corresponding algorithms for $Q$-expansions.
We show that the greedy and lazy maps each of which has a unique absolutely continuous invariant probability measure, equivalent to the Lebesgue measure on the intervals
\begin{equation*}
\left[0,\frac{q_0}{q_1}\right)\qtq{and}\left(\frac{q_1}{q_0(q_1-1)}-1,\frac{1}{q_1-1}\right],
\end{equation*}
respectively.
Furthermore, the corresponding dynamical systems are exact on $I_Q$.
As a dynamical consequence, under the stronger condition $q_0+q_1>q_0q_1$ the set of points having unique $Q$-expansions has Lebesgue measure zero, and almost every $x\in I_{Q}$ admits a continuum of $Q$-expansions.

Refined obstructions to local-global principles for 0-cycles

math.AG

math.NT

We introduce new `refined' obstructions to local-global principles for 0-cycles on algebraic varieties over number fields. Assuming finiteness of relevant Tate--Shafarevich groups, we show that the Hasse principle and weak approximation for 0-cycles on generalised Kummer varieties and bielliptic surfaces are controlled by obstructions of this new type. As an additional application of our refined obstructions, we answer a question of Zhang about the relationship between the Brauer--Manin and connected descent obstructions for 0-cycles. We also show that a Corwin--Schlank style refined obstruction set coincides with the set of global 0-cycles, conditionally on the Section Conjecture.

Deterministically finding an element of large order in $\mathbb{Z}_N^*$

cs.DS

cs.DM

math.NT

In this paper, we present an improvement for the problem of deterministically finding an element of large multiplicative order modulo some integer $N$. This problem arises as a key subroutine in current deterministic factoring algorithms, such as those proposed by Harvey and Hittmeir [Mathematics of Computation, 2021]. Specifically, let $D \exp\left(\sqrt{2\log N \log \log N}\right). \end{equation} We give a deterministic algorithm that does one of the following: Returns an element $a \in \mathbb{Z}_N^*$ with $\operatorname{ord}_N(a) > D$; Returns a non-trivial factor of $N$; Or reports that $N$ is prime. The running time of our algorithm is $O(D^{1/2 + o(1)})$. Similar results were independently and concurrently obtained by Harvey and Hittmeir [arXiv:2601.11131, 2026] in work that appeared while this manuscript was in preparation. Prior to these works, the best known algorithm for finding an element with order larger than $D$ was given by Oznovich and Volk [SODA 2026], requiring $D > N^{\frac{1}{6}}$. We also present a simpler algorithm that applies for any $D < N$ and runs in $O(D^{2.5+o(1)}\operatorname{polylog}(N))$.

Convergence of orbital integrals on unitary groups in positive characteristic

math.RT

math.NT

We prove the absolute convergence of orbital integrals on a unitary group over a non-archimedean local field in any positive characteristic.

Poisson approximation of random lattices

math.PR

math.MG

math.NT

Fix a subset $S \subset \mathbb{R}^n$ of volume at most $c n$ that satisfies $S \cap (-S) = \emptyset$. We consider two point processes in $S$: the first is the Poisson point process of intensity one, and the second is the restriction of a random lattice to $S$, where the random lattice is distributed uniformly in the space of covolume-one lattices. We show that the total variation distance between these two point processes is at most $C e^{-c' n}$, where $c, C, c' > 0$ are universal constants.

A solution to a strengthened conjecture of Bukh, van Hintum and Keevash on additive bases

math.CO

math.NT

Motivated by the change-of-domain problem for additive bases, Bukh, van Hintum and Keevash conjectured that if \(A,B\subseteq \mathbb{Q}^{n}\) and \(\{\boldsymbol{e}_i+\boldsymbol{e}_j:1\le i\le j\le n\}\subseteq A+B,\) then \(|A|+|B|\ge 2n\). They further proposed the strengthened conjecture: if \(|A|=n-t\), then \(|B|\ge n+\binom{t+1}{2}.\) Bukh also explicitly asked whether the same bounds hold for \(A,B\subseteq \mathbb{R}^{n}\) and an arbitrary basis \(S\) of \(\mathbb{R}^{n}\), under the assumption \(S+S\subseteq A+B\). We prove the full strengthened statement over \(\mathbb{R}^{n}\): if \(S+S\subseteq A+B\) and \(|A|\le n-t\) with \(0\le t\le n-1\), then \(|B|\ge n+\binom{t+1}{2},\) which is sharp for every basis \(S\) and every \(0\le t\le n-1.\) The proof is short, using edge contractions in a graph-theoretical framework and a new coloring lemma over \(\mathbb F_2^n\).

Functional equation, upper bounds and analogue of Lindel\"of hypothesis for the Barnes double zeta function

math.NT

v3

The functional equations of the Riemann zeta function, the Hurwitz zeta function, and the Lerch zeta function have been well known for a long time, and there is great importance in studying these zeta functions. For example, fundamental properties such as the upper bounds, the distribution of zeros, and the zero-free regions in the Riemann zeta function derive from functional equations. In this paper, we consider the functional equations for the Barnes double zeta-function $ \zeta_2 (s, \alpha ; v, w ) = \sum_{m=0}^\infty \sum_{n=0}^\infty (\alpha+vm+wn)^{-s} $. Additionally, by applying this functional equation and the Phragm\'en-Lindel\"of convexity principle, we obtain some upper bounds for $ \zeta_2(\sigma + it, \alpha ; v, w) $ with respect to $ t $ as $ t \rightarrow \infty $.

The tower property on the genericity of global theta lifts

math.NT

math.RT

v4

In this paper, we examine the tower property concerning the genericity of global theta lifts between various classical groups, drawing inspiration from Rallis' tower property. By exploring the relationship between the analytic properties of $L$-functions and special Bessel and Fourier-Jacobi periods, we demonstrate that the first occurrence of global theta lifts between dual reductive groups preserves genericity. As an application, we establish the global Gan-Gross-Prasad conjecture for $\SO_{2n+1} \times \SO_{2}$ under the assumption that $\SO_{2}$ is split and its representation is trivial.

Bounds on the exceptional set in the $abc$ conjecture

math.NT

math.CO

v2

We study solutions to the equation $a+b=c$, where $a,b,c$ form a triple of coprime natural numbers. The $abc$ conjecture asserts that, for any $\epsilon>0$, such triples satisfy $\mathrm{rad}(abc) \ge c^{1-\epsilon}$ with finitely many exceptions. In this article we obtain a power-saving bound on the size of the exceptional set of triples. The proof is based on a combination of upper bounds for the density of integer points on certain high-dimensional varieties, coming from the geometry of numbers and from Fourier analysis.

A Jacquet-Langlands functor for $p$-adic locally analytic representations

math.NT

math.RT

v3

We study the locally analytic theory of infinite level local Shimura varieties. As a main result, we prove that in the case of a duality of local Shimura varieties, the locally analytic vectors of different period sheaves at infinite level are independent of the actions of the $p$-adic Lie groups $G$ and $G_b$ of the two towers; this generalizes a result of Pan for the Lubin-Tate and Drinfeld spaces for $\mathrm{GL}_2$. We apply this theory to show that Scholze's $p$-adic Jacquet-Langlands functor commutes with the passage to locally analytic vectors, and is compatible with central characters of Lie algebras. We also prove that the compactly supported de Rham cohomology of the two towers are isomorphic as smooth representations of $G\times G_b$.

Integrality of $\mathrm{GL}_2\times\mathrm{GL}_2$ Rankin-Selberg integrals for ramified representations

math.NT

math.RT

v2

Let $\pi_1,\pi_2$ be irreducible admissible generic tempered representations of $\mathrm{GL}_2(F)$ for some finite extension $F/\mathbf{Q}_p$ of odd residue characteristic. Inspired by work of Loeffler and previous work of the author on unramified zeta-integrals, we introduce a natural general notion of $(\pi_1\times\pi_2)$-integral data at which the Rankin-Selberg zeta-integral can be evaluated. We then establish an integral refinement of Jacquet-Langland's GCD-result for this zeta-integral, when evaluated at $(\pi_1\times\pi_2)$-integral data. This is compatible with the notion of integrality coming from the Fourier coefficients of newforms of even integral weights. Our approach relies on a reinterpretation of the Rankin-Selberg zeta-integral, and works of Assing and Saha on values of $p$-adic Whittaker new vectors.

Topological adelic curves: Zariski-Riemann spaces, algebraic coverings, Harder-Narsimhan filtrations and heights

math.NT

math.AG

v2

In this article, we introduce topological adelic curves. Roughly speaking, a topological adelic curve is a topological space of (generalised) absolute values on a given field satisfying a product formula. Topological adelic curves are the topological counterpart to adelic curves introduced by Chen and Moriwaki. They aim at handling Arakelov geometry over possibly uncountable fields and give further ideas in the formalisation of the analogy between Diophantine approximation and Nevanlinna theory. Using the notion of pseudo-absolute values developed in arXiv:2411.03905, we prove several fundamental properties of topological adelic curves: algebraic coverings, existence of Harder-Narasimhan filtrations and of volume functions. We also define heights of cycles and give a generalisation of Nevanlinna's first main theorem in this framework. Another important feature of topological adelic curves is that they come equipped with Zariski-Riemann type spaces that admit a natural locally ringed space structure and usual Arakelov theoretic objects (e.g. adelic vector bundles) admit a natural interpretation in terms of metrised objects on these Zariski-Riemann spaces.

Gaps in binary cyclotomic polynomials

math.NT

v2

For odd prime numbers $p < q$, let $\Phi_{pq} \in \mathbb{Z}[X]$ be the binary cyclotomic polynomial of order $pq$. In this paper, we prove that the second gap of $\Phi_{pq}$ is the maximum of $r-1$ and $p-r-1$, where $r$ is the remainder of $q$ divided by $p$. For $q$ congruent to $\pm 1$ modulo $p$, we determine the number of gaps for each possible length. To obtain these results, we develop a new approach in which the coefficients of $\Phi_{pq}$ are described as concatenations of words arising from iterations of a circular map.

On the non-generic part of cohomology of compact unitary Shimura varieties of signature $(1,n)$

math.NT

v2

In this short note, we prove a result about the non-generic part of the cohomology of certain compact unitary Shimura varieties for good $p$, partially extending a result of Boyer in the case of Harris--Taylor unitary Shimura varieties. Our arguments are different to those of Boyer -- we work in the context of the work of Fargues--Scholze, using ideas introduced by Koshikawa to study the generic part of cohomology.

Further Extensions of Sury's Identity

math.NT

math.CO

v2

The equation commonly known as Sury's identity is a deceptively simple summation formula that connects the Lucas numbers, Fibonacci numbers, and powers of two. Many authors have given extensions and generalizations over the years; in this paper, we take a different approach that allows us to produce a good number of new summation formulas, all from elementary (but non-trivial) methods.

An Explicit Result for the Sum of Two Almost Primes

math.NT

v3

We show that every $N \geq 2$ can be written as the sum of positive integers $a$ and $b$ where $\Omega(ab) \leq 40$. The result is obtained through the direct application of an explicit lower bound Selberg sieve along with some computation and optimisation.

The Geometric Unitary Kudla Conjecture

math.NT

v2

We prove that, over an arbitrary CM field, every symmetric formal Fourier-Jacobi series converges and equals the Fourier-Jacobi expansion of a genuine Hermitian Hilbert modular form. As an application, we show that the Chow-valued Kudla generating series of special cycles on unitary Shimura varieties for Hermitian lattices over CM fields of signature $(p,1)$ at one infinite place and $(p+1,0)$ at all others is modular of weight $p+1$ for a Weil representation, establishing the geometric unitary Kudla Conjecture in arbitrary codimension. This removes the modularity hypothesis from the arithmetic inner product formula by Li-Liu.

A refined non-vanishing of the $p$-adic logarithm of a rational point on an abelian variety

math.NT

v2

Inspired by a beautiful formula of Bertolini, Darmon, and Prasanna -- the oft-termed BDP formula -- we address questions about the non-vanishing of non-torsion points under $p$-adic logarithms of abelian varieties. We largely consider situations most applicable to ${\mathrm GL}_2$-type abelian varieties associated with Hilbert modular newforms and Heegner points. Not surprisingly, the main tool employed is the $p$-adic analytic subgroup theorem.

On the Density of Coprime Reductions of Elliptic Curves

math.NT

v2

Given non-CM elliptic curves $E_1$ and $E_2$ over $\mathbb{Q}$, we study the natural density of primes $p$ of good reduction for which the orders of the groups $E_1(\mathbb{F}_p)$ and $E_2(\mathbb{F}_p)$ are coprime. This problem may be viewed as an elliptic curve analogue of the classical question concerning the density of coprime integer pairs. Motivated by Zywina's refinement of the Koblitz conjecture, we formulate a conjecture for the density of such primes. We prove that the series defining this constant converges and admits an almost Euler product expansion. In the case of Serre pairs, we give a closed formula for the constant and use it to prove a moments result describing the distribution of these constants as $(E_1, E_2)$ varies.

Some geometric series for Euler's constant

math.NT

math.CO

v3

We provide representations of Euler's constant $\gamma=0.577...$ as series which converge geometrically fast (but use coefficients whose computation induces a quadratic cost). The asymptotic oscillations of these coefficients are discussed.

Galois representations over convergent de Rham period ring

math.NT

v2

Let $\mathbf{B}_{\mathrm{dR}}^{+, \dagger} \subset \mathbf{B}_{\mathrm{dR}}^{+}$ be the ``convergent" de Rham period ring which is the (un-completed) stalk at the de Rham point of the Fargues--Fontaine curve. We develop a Tate--Sen formalism to relate Galois representations over $\mathbf{B}_{\mathrm{dR}}^{+, \dagger}$ to regular connections over convergent functions. As a consequence, when the Sen weights (of the mod $t$ reduction) satisfy a $p$-adic non-Liouville condition, Galois cohomology of a $\mathbf{B}_{\mathrm{dR}}^{+, \dagger}$-representation compares to that of its $\mathbf{B}_{\mathrm{dR}}^{+}$-base change, and hence is finite. In addition, restricted to objects whose Sen weights are algebraic numbers, the categories of $\mathbf{B}_{\mathrm{dR}}^{+, \dagger}$-representations and $\mathbf{B}_{\mathrm{dR}}^{+}$-representations are equivalent.

Core abaci and Diophantine equations I: fundamental weight

math.NT

math.CO

math.RT

v2

In the light of a series of papers on moving vectors, we define and study core abaci of classical affine types for arbitrary charge. This greatly extends the concept of cores with charge zero, and make us being able to parameterize the affine Grassmannian $W^j$ by core abaci of charge $j$ for arbitrary classical affine types. By associating a core abacus $(\lam, j)$ to a weight $\Lambda_j-\beta$ and an affine Weyl group element $w_{\lam, j}$, we prove that the height of $\beta$ is equal to the atomic length of $w_{\lam, j}$. This solves a generalized version of the open problem raised by Brunat, Chapelier-Laget and Gerber. Moreover, Diophantine equations of classical affine types are established by using the height formula that given by Uglov vector. The solutions of certain classes of these Diophantine equations are proved to be completely parameterised by core abaci. As another application, closed formulae for computing the number of certain kinds of core abaci are given.

Differences of squares of upper-triangular $2\times 2$ integer matrices

math.NT

v2

We consider the problem of characterizing upper-triangular matrices $M=\begin{pmatrix}p&r\\0&q\end{pmatrix}\in M_2(\mathbb Z)$ which can be represented in the form $A^2-B^2$ with upper-triangular integer matrices $A$ and $B$ and give a complete criterion in terms of representations of $p$ and $q$ as differences of two squares and an additional divisibility condition on $r$. Also, we give a complete classification of representable matrices in terms of congruence conditions on $p$, $q$, and $r$.

Monogenity of pure quintic fields: the power of sieving

math.NT

v2

We provide a simple algorithm for calculating all generators of power integral bases in pure quintic fields. This procedure involves the usual standard elements like Baker's method, LLL-reduction. The main purpose of the paper is to introduce a new idea to considerably diminish the number of small exponents to be considered after the reduction step. This new idea allows to test all remaining small exponents within a few minutes, using an appropriate sieve method, which turns out to be surprisingly fast. This idea will be applicable in many similar cases.

On a polynomial involving quadratic residues modulo primes

math.NT

v3

Let $p$ be an odd prime, and define $$G_p(x)=\prod_{k=1}^{(p-1)/2}\left(x-e^{2\pi i k^2/p}\right).$$ In this paper we study values of $G_p(x)$ at roots of unity via Galois theory, and confirm some previous conjectures. For example, for any primitive tenth root $\zeta$ of unity, we prove that $$G_p(\zeta)=\begin{cases}(-1)^{|\{1\le k\le \frac {p+9}{10}:\ (\frac kp)=-1\}|} &\text{if}\ p\equiv21\pmod{40}, \\(-1)^{|\{1\le k\le\frac {p+1}{10}:\ (\frac kp)=-1\}|}\zeta^{2}&\text{if}\ p\equiv 29\pmod{40}, \end{cases}$$ where $(\frac kp)$ denotes the Legendre symbol.

On the Grothendieck ring of varieties in positive characteristic

math.AG

math.NT

v3

This paper proves two theorems (1) Let $k$ be an algebraically closed field of characteristic $p>0$. I prove (Theorem 2.1.1) that if, $p > 13$ or $p = 11$, then the isomorphism class of any supersingular elliptic curve is a zero divisor in the ring of smooth, complete $k$-varieties and Bittner relations. In particular, this ring contains zero divisors. The proof proceeds via establishing (in Theorem 2.2.1) that the Albanese variety functor is a motivic measure. (2) I prove (Theorem 3.1) that the etale fundamental group of a smooth, proper variety over any alg. clsoed field k (in any characteristic) also provides a motivic measure on this ring. In particular, the etale fundamental group is a motivic measure on the Grothendieck ring of varieties over complex numbers.

The basic locus of ramified unitary Shimura varieties of signature $(n-1,1)$ at maximal vertex level

math.AG

math.NT

v2

We construct the Bruhat--Tits stratification of the reduced locus of the ramified unitary Rapoport--Zink space of signature $(n-1,1)$, with the level being the stabilizer of a vertex lattice. We develop the local model theory for Bruhat--Tits strata, proving their normality and Cohen--Macaulayness, and provide precise dimension formulas. Additionally, we establish an explicit scheme-theoretical isomorphism between Bruhat--Tits strata and Deligne--Lusztig varieties.

On the $p$-adic Skolem Problem

cs.LO

math.NT

v4

The Skolem Problem asks to determine whether a given linear recurrence sequence (LRS) has a zero term. Showing decidability of this problem is equivalent to giving an effective proof of the Skolem-Mahler-Lech Theorem, which asserts that a non-degenerate LRS has finitely many zeros. The latter result was proven over 90 years ago via an ineffective method showing that such an LRS has only finitely many $p$-adic zeros. In this paper we consider the problem of determining whether a given LRS has a $p$-adic zero, as well as the corresponding function problem of computing exact representations of all $p$-adic zeros. We present algorithms for both problems and report on their implementation. The output of the algorithms is unconditionally correct, and termination is guaranteed subject to the $p$-adic Schanuel Conjecture (a standard number-theoretic hypothesis concerning the $p$-adic exponential function). While these algorithms do not solve the Skolem Problem, they can be exploited to find natural-number and rational zeros under additional hypotheses. To illustrate this, we apply our results to show decidability of the Simultaneous Skolem Problem (determine whether two coprime linear recurrences have a common natural-number zero), again subject to the $p$-adic Schanuel Conjecture.

When is $A + x A =\mathbb{R}$

math.LO

math.CA

math.GR

math.NT

v2

We show that there is an additive $F_\sigma$ subgroup $A$ of $\mathbb{R}$ and $x \in \mathbb{R}$ such that $\mathrm{dim_H} (A) = \frac{1}{2}$ and $A + x A =\mathbb{R}$. However, if $A \subseteq \mathbb{R}$ is a subring of $\mathbb{R}$ and there is $x \in \mathbb{R}$ such that $A + x A =\mathbb{R}$, then $A =\mathbb{R}$. Moreover, assuming the continuum hypothesis (CH), there is a subgroup $A$ of $\mathbb{R}$ with $\mathrm{dim_H} (A) = 0$ such that $x \not\in \mathbb{Q}$ if and only if $A + x A =\mathbb{R}$ for all $x \in \mathbb{R}$. A key ingredient in the proof of this theorem consists of some techniques in recursion theory and algorithmic randomness. We believe it may lead to applications to other constructions of exotic sets of reals. Several other theorems on measurable, and especially Borel and analytic subgroups and subfields of the reals are presented. We also discuss some of these results in the $p$-adics.

A few notes on the asymptotic behavior of Rademacher random multiplicative functions

math.PR

math.DS

math.NT

v4

Let $X_p, p\in\cP$ be a sequence of independent random variables s.t. $\bbP(X_p=\pm 1)=1/2$. Let $\te_j=\prod_{p|j}X_p$ if $j$ is square free and $\te_j=0$ otherwise. Denote $S_n=\sum_{\ell=1}^n\te_\ell$. The from this point of view proving limit theorems for $S_n$ is natural problem, since $S_n$ mimics the behavior of $e^{\sqrt{\ln(\beta)}}$. It is a natural guiding conjecture that $S_n/\sqrt n$ obeys the central limit theorem (CLT). However, S. Chatterjee conjectured (as expressed in \cite{[25]}) that the CLT should not hold. Chatterjee's conjecture was proved by Harper \cite{[17]}, and by now it is a direct consequence of a more recent breakthrough by Harper \cite{Har20} that $\frac{S_n}{b_n}\to 0$ in $L^1$, where $b_n=(n^{1/2}(\ln(\ln(n)))^{-1/4})u_n, u_n\to\infty$. In particular $S_n/\sqrt n\to 0$. Nevertheless, the question whether there exists a sequence $a_n=o(b_n)$ such that $S_n/a_n$ converges to some limit remains a mystery. Note that the corresponding problem in the Steinhaus Setting was recently resolved by \cite{Gor1}. In this paper make an attempt to shed some light on the convergence of $S_n/a_n$. Additionally, we obtain explicit estimates on hight moments of $S_n$ without restrictions on the size of the moment compared to $n$ like in \cite[Theorem 1.2]{Har19}, which is of independent interest. This is achieved by a martingale argument together with the Burkholder inequality, and it has applications in a natural number theoretic combinatorial problem. Using martingale techniques we will also obtain exponential concentration inequalities for $S_n$ (in the large deviations regime)

Raimi's theorem for manifolds with circle symmetry

math.CO

math.CA

math.NT

v2

Raimi's classical theorem establishes a partition of the natural numbers with a remarkable unavoidability property: for every finite coloring of $\mathbb{N}$, there is a color class whose translate meets both parts of the partition in infinitely many points. Recently, Kang, Koh, and Tran have extended this phenomenon to the circle group, proving that there exists a measurable partition of the circle such that every finite measurable cover admits a rotation whose image meets each part of the partition in positive measure. This paper shows that this phenomenon extends beyond compact abelian groups to a wide class of non-group geometric surfaces that still exhibit \textit{a hidden one-dimensional symmetry}. Specifically, we establish analogs of Raimi's theorem for three families of surfaces (with their natural surface measures): the unit sphere $S^{n-1} \subset \mathbb{R}^n$, rotational power surfaces (such as cones and paraboloids), and circular cylindrical surfaces. The common feature is that each of these surfaces carries a natural measure-preserving action of the circle group by rotation in a fixed plane and admits a measurable trivialization as a product $C \times Y$. This circle-bundle structure allows the measurable Raimi partition on the base circle to be lifted to an unavoidable partition on the manifold. Our approach is unified through a general circle-bundle theorem, which reduces all three geometric cases to verifying suitable equivariance and product disintegration properties of the surface measure.

Non-Archimedean Tarski-Maligranda Inequalities

math.FA

math.NT

v2

In 1930, Tarski observed that \begin{align*} \bigg||r|-|s|\bigg|=|r-s|+ |r+s|-(|r|+|s|), \quad \forall r, s \in \mathbb{R}. \end{align*} In 2008, Maligranda converted the previous equality into inequalities that are valid in every normed linear space. We derive non-Archimedean versions of Tarski-Maligranda inequalities. Difference between Archimedean and non-Archimedean inequalities is surprising.

Algebraization of absolute perfectoidization via section rings

math.AG

math.AC

math.NT

v2

We construct and study a graded version of absolute perfectoidization for $G$-graded adic rings. As a main geometric application, we show that the absolute perfectoidization of the structure sheaf of a projective-type formal scheme admits an algebraization.

A local-global correspondence for perfectoid purity

math.AG

math.AC

math.NT

v2

We introduce (lim-)perfectoid splitting, which is a global variant of (lim-)perfectoid purity. Our main result establishes a correspondence between the lim-perfectoid splitting of projective schemes and the lim-perfectoid purity of their Gorenstein section rings. As an application, we construct a new supply of examples of lim-perfectoid pure rings that go beyond the previously known complete intersection or splinter-type cases.

Multiplicative convolution and double shuffle relations

math.AG

math.AT

math.NT

v2

We develop a geometric approach to the regularized double shuffle relations for multiple zeta values, based on convolution of perverse sheaves on $\mathbb{C}^*$ and inspired by the approach of Deligne and Terasoma. We introduce semi-holonomy isomorphisms associated with pro-unipotent paths and show that their compatibility with multiplicative convolution is equivalent to a condition on the pro-unipotent fundamental group, the homological pentagon equation. We prove that this condition is equivalent to the regularized double shuffle relations, yielding a geometric proof that the pentagon equation implies these relations. The approach is purely topological and avoids Hodge-theoretic and Tannakian methods.

On Arithmetic Mirror Symmetry for smooth Fano fourfolds

math.AG

math.NT

v2

We introduce an explicit class of tempered Laurent polynomials in the sense of Villegas and Doran--Kerr in $n \leqslant 4$ variables including all Landau--Ginzburg models for smooth Fano threefolds with very ample anticanonical class. We check that it contains Landau--Ginzburg models for various Fano fourfolds which are complete intersections in smooth toric varieties and Grassmannians of planes, or are quiver flag zero loci. We discuss implications to Arithmetic Mirror Symmetry conjecture, a Hodge-theoretic approach to the study of Ap\'{e}ry constants of Fano varieties proposed by Golyshev--Kerr--Sasaki. Using the partial case of Arithmetic Mirror Symmetry conjecture proved by Kerr, we construct two examples of a Mirror Symmetry correspondence between specific algebraic classes.