数论
This paper shows that a finite discrete convolution involving Stirling numbers of both kinds and harmonic numbers can be expressed in terms of the Bernoulli numbers. As applications of this expression, the linear recurrence relation for the…
It is well-known that the Riemann zeta function does not satisfy any exact polynomial differential equation. Here we present numerical evidence for the existence of approximate polynomial dependencies between the values of the alternating…
We establish Sarnak's conjecture on M\"obius disjointness for the dynamical system of a skew product on a circle and the three-dimensional Heisenberg nilmanifold, first studied by Wen Huang, Jianya Liu and Ke Wang. We advance the work of…
Nous esquissons une application de l'arborification de Matula \`a l'\'etude de la fonction sommatoire des fonctions de M\" obius et de Liouville sur les entiers naturels - We sketch an application of Matula's arborification to the study of…
Let $\Gamma$ be a congruence subgroup of $SL_2(Z)$, and let $f$ be a normalized eigenform of weight $k$ on $\Gamma$. Let $K$ denote the number field generated over $Q$ by the Fourier coefficients of $f$. Let $R$ denote the the order in $K$…
Let $\varepsilon>0$ and $\mathbf h\in \mathbb Z^3$. We show that whenever $P$ is large and the system \[ x_1^j+x_2^j-y_1^j-y_2^j=h_j\quad (j=1,2,3) \] has more than $P^\varepsilon$ integral solutions with $1\le x_i,y_i\le P$, then there…
An equivalence of the Riemann Hypothesis (RH) enables a direct bridge to the Young lattice. In specific, the classical threshold $\lim_{n\to\infty} \sigma(n)/(n \log\log n) = e^{\gamma} \approx 1.78107$, derived from the asymptotic behavior…
In this paper, we explicitly construct Maass wave cusp forms associated to Hecke characters on arbitrary real quadratic fields. This result is a generalization of Maass (1949), who constructed Maass wave cusp forms under the assumption that…
Answering a question of Erd\H{o}s and Graham, we show that the double exponential growth condition $\limsup_{n\to\infty}a_n^{1/\phi^n}=\infty$ for a strictly increasing sequence of positive integers $\{a_n\}_{n=1}^\infty$ is sufficient for…
We prove the existence of secondary terms of order $X^{5/6}$ in the asymptotic formulas for the average size of the genus number of cubic fields and for the number of cubic fields with a given genus number, establishing improved error…
Let $\mathbb{F}_{q}$ be a finite field of characteristic $p$, and let $f \in \mathbb{F}_{q}[x]$ be a polynomial of degree $d > 0$. Denote the image set of this polynomial as $V_{f}=\{f(\alpha)\mid\alpha\in\mathbb{F}_{q}\}$ and denote the…
In this work, we investigate the positivity of the real part of the log-derivative of the Riemann $\xi$-function in the region $1/2+1/\sqrt{\log t}<\sigma<1$, where $t$ is sufficiently large. We provide an explicit lower bound for…
Recently, the authors showed that for every irrational number $\alpha$, there exist infinitely many positive integers $n$ represented by any given positive definite binary quadratic form $Q$, satisfying $||\alpha n||<n^{-(1/2-\varepsilon)}$…
Let $E$ be an elliptic curve without complex multiplication defined over $\mathbb Q$. Viewing the sequence of its Frobenius traces $(a_p(E))_p$ indexed by primes $p$ as an element in the "poor man's ad\`ele ring", we prove its transcendence…
Denote $f(n):=\sum_{1\le k\le n} \tau(2^k-1)$, where $\tau$ is the number of divisors function. Motivated by a question of Paul Erd\H{o}s, we show that the sequence of ratios $f(2n)/f(n)$ is unbounded. We also present conditional results on…
For a real $m\times n$ matrix $\pmb{\xi}$, we consider its sequence of best Diophantine approximation vectors $ \pmb{x}_i \in \mathbb{Z}^n, \, i =1,2,3, ... $, the sequences of its norms $X_i = \|\pmb{x}_i\|$ and the norms of remainders…
In this paper, we define and study four families of Berndt-type integrals, called mixed Berndt-type integrals, which contain (hyperbolic) sine and cosine functions in the integrand function. Using contour integration, these integrals are…
We prove that when $f$ is a Rademacher random multiplicative function for any $\epsilon>0$, then $\sum_{n \leqslant x}\frac{f(n)}{\sqrt{n}} \ll (\log\log(x))^{3/4+\epsilon}$ for almost all $f$. We also show that there exist arbitrarily…
Let $p$ be an odd prime. We study Mazur's conjecture on the growth of the Mordell--Weil ranks of an elliptic curve $E/\mathbb{Q}$ over $\mathbb{Z}_p$-extensions of an imaginary quadratic field, where $p$ is a prime of good reduction for…
Assuming the Riemann hypothesis (RH) and the linear independence conjecture (LI), we show that the weighted count of primes in multiple short intervals follows a multivariate Gaussian distribution with weak negative correlations. As an…