Gaps in binary cyclotomic polynomials

2026-05-11T14:27:13Z

For odd prime numbers $p < q$, let $Φ_{pq} \in \mathbb{Z}[X]$ be the binary cyclotomic polynomial of order $pq$. In this paper, we prove that the second gap of $Φ_{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 $Φ_{pq}$ are described as concatenations of words arising from iterations of a circular map.

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

2026-05-11T13:26:36Z

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(β)}}$. 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)

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

2026-05-11T13:23:20Z

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.

Poisson approximation of random lattices

2026-05-11T12:39:05Z

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 local-global correspondence for perfectoid purity

2026-05-11T12:31:34Z

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.

Algebraization of absolute perfectoidization via section rings

2026-05-11T12:28:46Z

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.

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

2026-05-11T09:57:00Z

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.

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

2026-05-11T09:25:42Z

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.

On the $p$-adic Skolem Problem

2026-05-11T09:06:28Z

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.

The Serre Derivatives and Zeros of Modular Forms

2026-05-11T09:06:01Z

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.

Monogenity of pure quintic fields: the power of sieving

2026-05-11T09:00:17Z

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.

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

2026-05-11T08:55:13Z

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.

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

2026-05-11T08:10:36Z

In this paper, we obtain analytical evaluations of the Ramanujan integral \[\textbf{R}_{C}(m,n)= \int_{0}^{\infty}\frac{x^m\,\cos(πnx)}{\exp{(2π\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,λ,y)$ ,$Ξ_{C}(\upsilon,b,c,λ,y)$, $\nabla_{C}(\upsilon,b,c,λ,y)$ and $I_{C}(\upsilon,b,λ,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.

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

2026-05-11T06:39:36Z

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$.

The tower property on the genericity of global theta lifts

2026-05-11T06:29:40Z

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.