Number Theory [math.NT]

Bilateral Two-Parameter Mock Theta Functions and Related Applications
math.NT
math.CA
math.CO


Chun Wang

In this paper, we investigate new relationships for bilateral series related to two-parameter mock theta functions, which lead to many identities concerning the bilateral mock theta functions. In addition, interesting relations between the classical mock theta functions and the bilateral series are also concluded.

Estimating the Number of Primes In Unusual Domains
math.NT


Johnathan Cai, Ryan Diehl, William Gasarch, Ian Kim, Rohan Sinha

The Prime Number Theorem states that the number of primes in $\{1,\ldots,x\}$, denoted $\pi(x)$, is approximately $\frac{x}{\ln(x)}$. In this paper, we investigate the distribution of primes for domains other than $\N$. First we look at $A_d=\{ x \colon x\equiv 1 \pmod d\}$. We give a heuristic argument to form a conjecture on the number of {\it congruence monoid primes} in $A_d$ that are $\le x$. We then provide empirical evidence that indicates our conjecture is close but may need some correction. Second, we do similar calculations for the Gaussian Integers. Third, we discuss the difficulty of these types of questions for quadratic extensions of ${\sf Z}$.

Good Integers: A Concise Completion of the Non-Coprime Case
math.NT


Somphong Jitman

For coprime nonzero integers $a$ and $b$, a positive integer $\ell$ is said to be {\em good} with respect to $a$ and $b$ if there exists a positive integer $k$ such that $\ell |(a^{k}+b^{k})$. Since the early 1990s, such classical good integers have been studied intensively for their number theoretic structures and for applications, notably in coding theory. This work completes the study by relaxing the coprimality hypothesis and treating the non-coprime case $\gcd(a,b)\neq1$ in a concise and self-contained way. The results are presented in terms of the classical coprime criterion and $p$-adic valuations of $\ell$. As a consequence, whenever $\ell$ is good, all admissible exponents form a single arithmetic progression with an explicit starting point and period. Some special cases are discussed in the non-coprime setting. A practical decision procedure is developed that decides the goodness of a given integer and explicitly enumerates the full set of admissible exponents. Several illustrative examples are presented.

The Newton approximation, the Hurwitz continued fraction, and the Sierpinski series for relatively quadratic units over certain imaginary quadratic number fields
math.NT


Asaki Saito, Jun-Ichi Tamura

The objective of this paper is to show (a)=(b)=(c) as rational functions of $T$, $U$ for (a), (b), (c) given by (a) continued fractions of length $2^{n+1}-1$ with explicit partial denominators in $\left\{-T,U^{-1}T\right\}$, (b) truncated series $\sum_{0\le m\le n} \left(U^{2^m}/\left(h_0(T)h_1(T,U) \cdots h_m(T,U)\right)\right)$ with $h_n$ defined by $h_0:=T$ and $h_{n+1}(T,U):=h_n(T,U)^2-2U^{2^n} (n \geq 0)$, (c) $(n+1)$-fold iteration $F^{(n+1)}(0)= F^{(n+1)}(0,T,U)$ of $F(X)= F(X,T,U) :=X-f(X)/\frac{df}{dX}(X)$ for $f(X)=X^2-T X+U$, and to find explicit equalities among truncated Hurwitz continued fraction expansion of relatively quadratic units $\alpha \in \mathbb{C}$ over imaginary quadratic fields $\mathbb{Q}\left(\sqrt{-1}\right)$, $\mathbb{Q}\left(\sqrt{-3}\right)$, rapidly convergent complex series called the Sierpinski series, and the Newton approximation of $\alpha$ on the complex plane. We also give an estimate of the error of the Newton approximation of the unit $\alpha$.

Simultaneous non-vanishing of central values of $\mathrm{GL}(2)\times \mathrm{GL}(3)$ and $\mathrm{GL}(3)\times \mathrm{GL}(3)$ $L$-functions
math.NT


Junjie Pan

Let $g$ denotes a fixed holomorphic Hecke cusp form of weight $k\equiv 0$ (mod 4) on SL(2,$\mathbb{Z}$), and $\Pi$ is a fixed cuspidal automorphic representation on SL(3,$\mathbb{Z}$). In this paper, we give an asymptotic formula for average of $L(1/2,g\times F)L(1/2,\Pi \times F)$, and device that $L(1/2,g\times F)L(1/2,\Pi \times F)\neq 0$ for $F$ ranges over an orthogonal basis of the space of Hecke-Maa{\ss} cusp forms for SL(3,$\mathbb{Z}$).

The Diophantine problem for addition and divisibility for rings of $S$-integers of quadratic imaginary extensions of $\mathbb{Q}$
math.NT
math.LO


Natalia Hormazábal, Carlos Martínez-Ranero

Let $K$ be a quadratic imaginary extension of $\mathbb{Q}$, let $S$ be a finite nonempty set of non archimedean places, and let $\mathcal{O}_{K,S}$ denote the ring of $S$-integers of $K$. We show that there is no algorithm which solves the following problem. Given an arbitrary system of linear equations over the integers together with divisibility conditions on some of the variables, decide whether or not there exists a solution over $\mathcal{O}_{K,S}$. This contrasts with Lipshitz's result, which shows that such algorithm does exists for the ring of integers (i.e. $S=\emptyset).$

On shifted convolution sums of $\mathrm{GL}(3)$-Fourier coefficients with an average over shifts
math.NT


Ritwik Pal, Sampurna Pal

Let $F$ be a Hecke-Maass cusp form for $\mathrm{SL}_3(\mathbb{Z})$ and $A(m,n)$ be its normalized Fourier coefficients. Let $V$ be a smooth function, compactly supported on $[1,2]$ and satisfying $V(y)^{j} \ll_j y^{-j}$ for any $j \in \mathbb{N} \cup \{0\}$. In this article we prove a power-saving upper bound for the `average' shifted convolution sum \begin{equation*} \sum_{h}\sum_{n}A(1,n)A(1,n+h)V\left(\frac{n}{N}\right)V\left(\frac{h}{H}\right), \end{equation*} for the range $N^{1/2-\varepsilon} \geq H \geq N^{1/6+ \varepsilon}$, for any $\varepsilon >0$. This is an improvement over the previously known range $N^{1/2-\varepsilon} \geq H \geq N^{1/4+ \varepsilon}$.

Double-orientations on supersingular isogeny graphs
math.NT


Do Eon Cha, Imin Chen

We recall and define various kinds of supersingular $\ell$-isogeny graphs and precise graph isomorphism with a corresponding quaternion $\ell$-ideal graph. In particular, we introduce the notion of double-orientations on supersingular elliptic curves and study the structure of double-oriented supersingular $\ell$-isogeny graphs.

Evaluating Six Ap\'ery-like Series of Weight $5$
math.CO
math.NT


Jorge Antonio González Layja

The main objective of this paper is to evaluate six new Ap\'ery-like series of weight $5$ in closed form. These series involve harmonic numbers and exhibit the characteristic reciprocal central binomial coefficient structure. Generating functions for the inverse sine and identities related to harmonic numbers are used to link each series to a variety of integrals containing $\ln \left(\sin \left(x\right)\right)$ and $\ln \left(\cos \left(x\right)\right)$, which are evaluated using a range of methods and identities.

Partitioning $\mathbb{Z}_{sp}$ in finite fields and groups of trees and cycles
cs.CR
math.GR
math.NT


Nikolaos Verykios, Christos Gogos

This paper investigates the algebraic and graphical structure of the ring $\mathbb{Z}_{sp}$, with a focus on its decomposition into finite fields, kernels, and special subsets. We establish classical isomorphisms between $\mathbb{F}_s$ and $p\mathbb{F}_s$, as well as $p\mathbb{F}_s^{\star}$ and $p\mathbb{F}_s^{+1,\star}$. We introduce the notion of arcs and rooted trees to describe the pre-periodic structure of $\mathbb{Z}_{sp}$, and prove that trees rooted at elements not divisible by $s$ or $p$ can be generated from the tree of unity via multiplication by cyclic arcs. Furthermore, we define and analyze the set $\mathbb{D}_{sp}$, consisting of elements that are neither multiples of $s$ or $p$ nor "off-by-one" elements, and show that its graph decomposes into cycles and pre-periodic trees. Finally, we demonstrate that every cycle in $\mathbb{Z}_{sp}$ contains inner cycles that are derived predictably from the cycles of the finite fields $p\mathbb{F}_s$ and $s\mathbb{F}_p$, and we discuss the cryptographic relevance of $\mathbb{D}_{sp}$, highlighting its potential for analyzing cyclic attacks and factorization methods.

Analytic de Rham stacks of Fargues-Fontaine curves
math.AG
math.NT


Johannes Anschütz, Guido Bosco, Arthur-César Le Bras, Juan Esteban Rodríguez Camargo, Peter Scholze

We define and initiate the study of analytic de Rham stacks of relative Fargues-Fontaine curves. To this end, we develop a theory of analytic de Rham stacks with sufficiently strong descent and approximation properties. Specializing to the de Rham stack of the Fargues-Fontaine curve attached to $\mathbb{C}_p$, we apply the general theory to obtain a new geometric proof of the $p$-adic monodromy theorem, avoiding any reliance on earlier results on $p$-adic differential equations. Building on the foundations established here, we plan in a sequel to investigate the cohomology of de Rham stacks of relative Fargues-Fontaine curves in geometric situations and, in particular, provide a stack-theoretic definition of Hyodo-Kato cohomology.

Blocking sets from a union of plane curves
math.AG
math.CO
math.NT


Shamil Asgarli, Dragos Ghioca, Chi Hoi Yip

Motivated by a question of Erd\H{o}s on blocking sets in a projective plane that intersect every line only a few times, several authors have used unions of algebraic curves to construct such sets in $\mathbb{P}^2(\mathbb{F}_q)$. In this paper, we provide new constructions of blocking sets in $\mathbb{P}^2(\mathbb{F}_q)$ from a union of geometrically irreducible curves of a fixed degree $d$. We also establish lower bounds on the number of such curves required to form a blocking set. Our proofs combine tools from arithmetic geometry and combinatorics.

Holomorphic differentials of alternating four covers
math.AG
math.NT


Frauke M. Bleher, Margarita Bustos Gonzalez

Suppose $k$ is an algebraically closed field of characteristic two, let $A_4$ be an alternating group on four letters, and let $H$ be the unique Sylow two-subgroup of $A_4$. Let $X$ be a smooth projective irreducible curve over $k$ with a faithful $A_4$-action such that the quotient curve $X/H$ is a projective line and the $H$-cover $X\to X/H$ is totally ramified, in the sense that it is ramified and every branch point is totally ramified. Under these assumptions, we determine the precise $kA_4$-module structure of the space of holomorphic differentials of $X$ over $k$. We show that there are infinitely many different isomorphism classes of indecomposable $kA_4$-modules that can occur as direct summands, and we give precise formulas for the multiplicities with which they occur.

Park City lecture notes: around the inverse Galois problem
math.NT
math.AG
v4


Olivier Wittenberg

The inverse Galois problem asks whether any finite group can be realised as the Galois group of a Galois extension of the rationals. This problem and its refinements have stimulated a large amount of research in number theory and algebraic geometry in the past century, ranging from Noether's problem (letting X denote the quotient of the affine space by a finite group acting linearly, when is X rational?) to the rigidity method (if X is not rational, does it at least contain interesting rational curves?) and to the arithmetic of unirational varieties (if all else fails, does X at least contain interesting rational points?). The goal of the present notes, which formed the basis for three lectures given at the Park City Mathematics Institute in August 2022, is to provide an introduction to these topics.

On the sparsity of non-diagonalisable integer matrices and matrices with a given discriminant
math.NT
v3


Alina Ostafe, Igor E. Shparlinski

We consider the set $\mathcal M_n(\mathbb Z; H)$ of $n\times n$-matrices with integer elements of size at most $H$ and obtain upper bounds on the number of matrices from $\mathcal M_n(\mathbb Z; H)$, for which the characteristic polynomial has a fixed discriminant $d$. When $d=0$, this corresponds to counting matrices with a repeated eigenvalue, and thus is related to counting non-diagonalisable matrices. For $d\ne 0$, this problem seems not to have been studied previously, while for $d=0$, both our approach and the final result improve on those of A. J. Hetzel, J. S. Liew and K. Morrison (2007).

On optimality of mollifiers
math.NT
v3


Martin Čech, Kaisa Matomäki

Mollifiers are used in a variety of contexts, for instance to study the non-vanishing of $L$-functions. In this paper, we study the general question of finding optimal mollifiers and provide criteria to identify them provided the corresponding mollified moments can be computed. As an application, we study the non-vanishing of central values of Dirichlet $L$-functions. In particular we show that the Michel-Vanderkam mollifier is optimal in a wide class of balanced two-piece mollifiers as well as provide a new proof that the Iwaniec-Sarnak mollifier is optimal in a wide class of one-piece mollifiers.

Primes in arithmetic progressions to smooth moduli: A minorant version
math.NT
v2


Runbo Li

The author prove that there exists a function $\rho(n)$ which is a minorant for the prime indicator function $\mathbbm{1}_{p}(n)$ and has distribution level $\frac{65}{123}$ in arithmetic progressions to smooth moduli. This refines the previous results of Baker--Irving and Stadlmann.

Largest square divisors of shifted primes
math.NT
v2


Runbo Li

The author shows that there are infinitely many primes $p$ such that for any nonzero integer $a$, $p-a$ is divisible by a square $d^2 > p^{\frac{1}{2}+\frac{1}{700}}$. The exponent $\frac{1}{2}+\frac{1}{700}$ improves Merikoski's $\frac{1}{2}+\frac{1}{2000}$. Many powerful devices in Harman's sieve are used for this improvement.

Multiplicatively dependent integer vectors on a hyperplane
math.NT
v2


Muhammad Afifurrahman, Valentio Iverson, Gian Cordana Sanjaya

We establish several asymptotic formulae and upper bounds for the count of multiplicatively dependent integer vectors that lie on a fixed hyperplane and have bounded height. This work constitutes a direct extension of the results obtained by Pappalardi, Sha, Shparlinski, and Stewart.

Generalized Eckardt points on del Pezzo surfaces of degree 1
math.AG
math.NT
v2


Julie Desjardins, Yu Fu, Kelly Isham, Rosa Winter

We study intersections of exceptional curves on del Pezzo surfaces of degree 1, motivated by questions in arithmetic geometry. Outside characteristics 2 and 3, at most 10 exceptional curves can intersect in a point. We classify the different ways in which 10 exceptional curves can intersect, construct a new family of surfaces with 10 exceptional curves intersecting in a point, and discuss strategies for finding more such examples.

A few notes on the asymptotic behavior of Rademacher random multiplicative functions
math.PR
math.DS
math.NT
v3


Yeor Hafouta

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)