arXiv subjects

Shaoyun Yi

Publications and source records attributed to Shaoyun Yi.

15 recordsLinked to original sources

arXiv2026

Asymptotic uncorrelations between functions with squarefull kernel and functions of invariant average

In 1986, Ivi\'c and Tenenbaum introduced arithmetic functions with squarefull kernel, which are also called $s$-functions. Later, Erd\H{o}s and Ivi\'c gave an asymptotic estimate on the shifted convolution sums of $s$-functions. Recently, Bergelson and Richter studied the orbits along the prime Omega function in a uniquely ergodic topological dynamical system and established a new dynamical generalization of the prime number theorem (PNT). These orbits can be viewed as functions of invariant average under multiplications. In this paper, we show that both $s$-functions and their shifted convolutions are asymptotically uncorrelated to the orbits along the prime Omega function in a uniquely ergodic system. As a consequence, we obtain a refinement of the PNT via the local distribution of $s$-functions. Furthermore, several variants of these results are established as well.

math.NT↗

arXiv2026

Some remarks on strong multiplicity one for paramodular forms

We establish several refined strong multiplicity one results for paramodular cusp forms by using automorphic and Galois-theoretic methods. We also give an application to distinguishing eigenforms by the twisted central values of the spinor $L$-functions, which is based on a result in Radziwiłł and Yang 2023 (arXiv:2304.09171).

math.NT↗

arXiv2026

On distinguishing Siegel cusp forms of degree two

In this work, we establish several results on distinguishing Siegel cusp forms of degree two. In particular, a Hecke eigenform of level one can be determined by its second Hecke eigenvalue under a certain assumption. Moreover, we can distinguish two Hecke eigenforms of level one by using $L$-functions.

math.NT↗

arXiv2025

The prime number theorem over integers of power-free polynomial values

Let $f(x)\in \mathbb{Z}[x]$ be an irreducible polynomial of degree $d\ge 1$. Let $k\ge2$ be an integer. The number of integers $n$ such that $f(n)$ is $k$-free is widely studied in the literature. In principle, one expects that $f(n)$ is $k$-free infinitely often, if $f$ has no fixed $k$-th power divisor. In 2022, Bergelson and Richter established a new dynamical generalization of the prime number theorem (PNT). Inspired by their work, one may expect that this generalization of the PNT also holds over integers of power-free polynomial values. In this note, we establish such variants of Bergelson and Richter's theorem for several polynomials studied by Estermann, Hooley, Heath-Brown, Booker and Browning.

math.NT↗

arXiv2024

Some ergodic theorems over squarefree numbers and squarefull numbers

In 2022, Bergelson and Richter gave a new dynamical generalization of the prime number theorem by establishing an ergodic theorem along the number of prime factors of integers. They also showed that this generalization holds as well if the integers are restricted to be squarefree. In this paper, we present the concept of invariant averages under multiplications for arithmetic functions. Utilizing the properties of these invariant averages, we derive several ergodic theorems over squarefree numbers and squarefull numbers. These theorems have significant connections to the Erd\H{o}s-Kac Theorem, the Bergelson-Richter Theorem, and the Loyd Theorem.

math.NT↗

arXiv2024

On Erd\H{o}s covering systems in global function fields

A covering system of the integers is a finite collection of arithmetic progressions whose union is the set of integers. A well-known problem on covering systems is the minimum modulus problem posed by Erd\H{o}s in 1950, who asked whether the minimum modulus in such systems with distinct moduli can be arbitrarily large. This problem was resolved by Hough in 2015, who showed that the minimum modulus is at most $10^{16}$. In 2022, Balister, Bollob\'as, Morris, Sahasrabudhe and Tiba reduced Hough's bound to $616,000$ by developing Hough's method. They call it the distortion method. In this paper, by applying this method, we mainly prove that there does not exist any covering system of multiplicity $s$ in any global function field of genus $g$ over $\mathbb{F}_q$ for $q\geq (1.14+0.16g)e^{6.5+0.97g}s^2$. In particular, there is no covering system of $\mathbb{F}_q[x]$ with distinct moduli for $q\geq 759$.

math.NT↗

arXiv2023

Dimension formulas for Siegel modular forms of level $4$

We prove several dimension formulas for spaces of scalar-valued Siegel modular forms of degree $2$ with respect to certain congruence subgroups of level $4$. In case of cusp forms, all modular forms considered originate from cuspidal automorphic representations of $\mathrm{GSp}(4,\mathbb{A})$ whose local component at $p=2$ admits non-zero fixed vectors under the principal congruence subgroup of level $2$. Using known dimension formulas combined with dimensions of spaces of fixed vectors in local representations at $p=2$, we obtain formulas for the number of relevant automorphic representations. These in turn lead to new dimension formulas, in particular for Siegel modular forms with respect to the Klingen congruence subgroup of level $4$.

math.NT↗

arXiv2023

On covering systems of polynomial rings over finite fields

In 1950, Erd\H{o}s posed a question known as the minimum modulus problem on covering systems for $\mathbb{Z}$, which asked whether the minimum modulus of a covering system with distinct moduli is bounded. This long-standing problem was finally resolved by Hough in 2015, as he proved that the minimum modulus of any covering system with distinct moduli does not exceed $10^{16}$. Recently, Balister, Bollob\'as, Morris, Sahasrabudhe, and Tiba developed a versatile method called the distortion method and significantly reduced Hough's bound to $616,000$. In this paper, we apply this method to present a proof that the smallest degree of the moduli in any covering system for $\mathbb{F}_q[x]$ of multiplicity $s$ is bounded by a constant depending only on $s$ and $q$. Consequently, we successfully resolve the minimum modulus problem for $\mathbb{F}_q[x]$ and disprove a conjecture by Azlin.

math.NT↗

arXiv2023

Generalizations of the Erd\H{o}s-Kac Theorem and the Prime Number Theorem

In this paper, we study the linear independence between the distribution of the number of prime factors of integers and that of the largest prime factors of integers. Respectively, under a restriction on the largest prime factors of integers, we will refine the Erd\H{o}s-Kac Theorem and Loyd's recent result on Bergelson and Richter's dynamical generalizations of the Prime Number Theorem. At the end, we will show that the analogue of these results holds with respect to the Erd\H{o}s-Pomerance Theorem as well.

math.NT↗

arXiv2023

On the minimum modulus problem in number fields

The minimum modulus problem on covering systems was posed in 1950 by Erd\H{o}s, who asked whether the minimum modulus of a covering system with distinct moduli is bounded. In 2007, Filaseta, Ford, Konyagin, Pomerance and Yu affirmed it if the reciprocal sum of the moduli of a covering system is bounded. Later in 2015, Hough resolved this problem by showing that the minimum modulus in any covering system with distinct moduli is at most $10^{16}$. In 2022, Balister, Bollob\'as, Morris, Sahasrabudhe and Tiba reduced this bound to $616,000$ by developing a versatile method called the distortion method. Recently, Klein, Koukoulopoulos and Lemieux generalized Hough's result by using a suitable modification of the distortion method. In this paper, we develop the distortion method further by introducing the theory of probability measures associated to an inverse system. Following Klein et al.'s work, we provide a solution to Erd\H{o}s' minimum modulus problem in number fields. As an application, we prove that the $j$-th smallest norm in a minimal covering system of a number field with distinct moduli is bounded.

math.NT↗

arXiv2022

Generalizations of Alladi's formula for arithmetical semigroups

In this article, we prove that a general version of Alladi's formula with Dirichlet convolution holds for arithmetical semigroups satisfying Axiom $A$ or Axiom $A^{\#}$. As applications, we apply our main results to certain semigroups coming from algebraic number theory, arithmetical geometry and graph theory, particularly generalizing the results of Wang 2021, Kural et al. 2020 and Duan et al. 2020.

math.NT↗

arXiv2021

Classical and adelic Eisenstein series

We carry out "Hecke summation" for the classical Eisenstein series $E_k$ in an adelic setting. The connection between classical and adelic functions is made by explicit calculations of local and global intertwining operators and Whittaker functions. In the process we determine the automorphic representations generated by the $E_k$, in particular for $k=2$, where the representation is neither a pure tensor nor has finite length. We also consider Eisenstein series of weight $2$ with level, and Eisenstein series with character.

math.NT↗

arXiv2021

Congruences for dimensions of spaces of Siegel cusp forms and $4$-core partitions

Using the relationship between Siegel cusp forms of degree $2$ and cuspidal automorphic representations of $\mathrm{GSp}(4,\mathbb{A}_{\mathbb{Q}})$, we derive some congruences involving dimensions of spaces of Siegel cusp forms of degree $2$ and the class number of $\mathbb{Q}(\sqrt{-p})$. We also obtain some congruences between the $4$-core partition function $c_4(n)$ and dimensions of spaces of Siegel cusp forms of degree $2$.

math.NT↗

arXiv2021

On counting cuspidal automorphic representations for $\mathrm{GSp}(4)$

We find the number $s_k(p,Ω)$ of cuspidal automorphic representations of $\mathrm{GSp}(4,\mathbb{A}_{\mathbb{Q}})$ with trivial central character such that the archimedean component is a holomorphic discrete series representation of weight $k\ge 3$, and the non-archimedean component at $p$ is an Iwahori-spherical representation of type $Ω$ and unramified otherwise. Using the automorphic Plancherel density theorem, we show how a limit version of our formula for $s_k(p,Ω)$ generalizes to the vector-valued case and a finite number of ramified places.

math.NT↗

arXiv2020

Analogues of Alladi's formula over global function fields

In this paper, we show an analogue of Kural, McDonald and Sah's result on Alladi's formula for global function fields. Explicitly, we show that for a global function field $K$, if a set $S$ of prime divisors has a natural density $\delta(S)$ within prime divisors, then $$-\lim_{n\to\infty} \sum_{\substack{1\le \deg D\le n\\ D\in \mathfrak{D}(K,S)}}\frac{\mu(D)}{|D|}=\delta(S),$$ where $\mu(D)$ is the M\"{o}bius function on divisors and $\mathfrak{D}(K,S)$ is the set of all effective distinguishable divisors whose smallest prime factors are in $S$. As applications, we get the analogue of Dawsey's and Sweeting and Woo's results to the Chebotarev Density Theorem for function fields, and the analogue of Alladi's result to the Prime Polynomial Theorem for arithmetic progressions. We also display a connection between the M\"obius function and the Fourier coefficients of modular form associated to elliptic curves. The proof of our main theorem is similar to the approach in Kural et al.'s article.

math.NT↗