We calculate the triple correlations for the truncated divisor sum $λ_{R}(n)$. The $λ_{R}(n)$'s behave over certain averages just as the prime counting von Mangoldt function $Λ(n)$ does or is conjectured to do. We also calculate the mixed (with a factor of $Λ(n)$) correlations. The results for the moments up to the third degree, and therefore the implications for the distribution of primes in short intervals, are the same as those we obtained (in the first paper with this title) by using the simpler approximation $Λ_{R}(n)$. However, when $λ_{R}(n)$ is used the error in the singular series approximation is often much smaller than what $Λ_{R}(n)$ allows. Assuming the Generalized Riemann Hypothesis for Dirichlet $L$-functions, we obtain an $Ω_{\pm}$-result for the variation of the error term in the prime number theorem. Formerly, our knowledge under GRH was restricted to $Ω$-results for the absolute value of this variation. An important ingredient in the last part of this work is a recent result due to Montgomery and Soundararajan which makes it possible for us to dispense with a large error term in the evaluation of a certain singular series average. We believe that our results on $λ_{R}(n)$'s and $Λ_{R}(n)$'s can be employed in diverse problems concerning primes.
In this paper, we consider certain finite sums related to the "largest odd divisor", and we obtain, using simple ideas and recurrence relations, sharp upper and lower bounds for these sums.
We establish asymptotic formulae for various correlations involving general divisor functions $d_k(n)$ and partial divisor functions $d_l(n,A)=\sum_{q|n:q\leq n^A}d_{l-1}(q)$, where $A\in[0,1]$ is a parameter and $k,l\in\mathbb{N}$ are fixed. Our results relate the parameter $A$ to the lengths of arithmetic progressions in which $d_k(n)$ is uniformly distributed. As applications to additive divisor sums, we establish new lower bounds and a new equivalent condition for the conjectured asymptotic. We also prove a Tauberian theorem for general additive divisor sums.
We first study the mean value of certain restricted divisor sums involving the Chowla-Walum sums, improving in particular a recent estimate given by Iannucci. The aim of the second part of this work is the generalization of the previous study, by restricting the range of the divisors in the studied divisor sums, extending the Chowla-Walum conjecture, proving a small part of this extended conjecture and generalizing the asymptotic formulas previously obtained in the first part.
We prove the analogue of an identity of Huard, Ou, Spearman and Williams and apply it to evaluate a variety of sums involving divisor functions in two variables. It turns out that these sums count representations of positive integers involving radicals.
In this paper, we consider the fractional sum of the divisor functions. We can improve previous results considered by Bordellés \cite{Bo} and Liu-Wu-Yang \cite{LWY}.
The class of Lambert series generating functions (LGFs) denoted by $L_α(q)$ formally enumerate the generalized sum-of-divisors functions, $σ_α(n) = \sum_{d|n} d^α$, for all integers $n \geq 1$ and fixed real-valued parameters $α\geq 0$. We prove new formulas expanding the higher-order derivatives of these LGFs. The results we obtain are combined to express new identities expanding the generalized sum-of-divisors functions. These new identities are expanded in the form of sums of polynomially scaled multiples of a related class of divisor sums depending on $n$ and $α$.
This is part II of our examination of the second and fourth moments and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations.
We obtain the triple correlations for a truncated divisor sum related to primes. We also obtain the mixed correlations for this divisor sum when it is summed over the primes, and give some applications to primes in short intervals.
We consider the positive divisors of a natural number that do not exceed its square root, to which we refer as the {\it small divisors\/} of the natural number. We determine the asymptotic behavior of the arithmetic function that adds the small divisors of a natural number, and we consider its Dirichlet generating series.
We give explicit bounds on sums of $d(n)^2$ and $d_4(n)$, where $d(n)$ is the number of divisors of $n$ and $d_4(n)$ is the number of ways of writing $n$ as a product of four numbers. In doing so we make a slight improvement on the upper bound for class numbers of quartic number fields.
Let $\mathcal{A}$ and $\mathcal{B}$ be sets of polynomials of degree $n$ over a finite field. We show, that if $\mathcal{A}$ and $\mathcal{B}$ are large enough, then $A+B$ has an irreducible divisor of large degree for some $A\in\mathcal{A}$ and $B\in \mathcal{B}$.
In this series we examine the calculation of the $2k$th moment and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations. The present paper is concerned with the precise input of the conjectural formula for the classical shifted convolution problem for divisor sums so as to obtain all of the lower order terms in the asymptotic formula for the mean square along $[T,2T]$ of a Dirichlet polynomial of length up to $T^2$ with divisor functions as coefficients.
In this series we examine the calculation of the $2k$th moment and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations. The present paper begins the general study of what we call Type II sums which utilize a circle method framework and a convolution of shifted convolution sums to obtain all of the lower order terms in the asymptotic formula for the mean square along $[T,2T]$ of a Dirichlet polynomial of length up to $T^3$ with divisor functions as coefficients.
Given a positive integer $n$ the $k$-fold divisor function $d_k(n)$ equals the number of ordered $k$-tuples of positive integers whose product equals $n$. In this article we study the variance of sums of $d_k(n)$ in short intervals and establish asymptotic formulas for the variance of sums of $d_k(n)$ in short intervals of certain lengths for $k=3$ and for $k \ge 4$ under the assumption of the Lindelöf hypothesis.
In this series of papers we examine the calculation of the $2k$th moment and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations. The present paper completes the general study of what we call Type II sums which utilize a circle method framework and a convolution of shifted convolution sums to obtain all of the lower order terms in the asymptotic formula for the mean square along $[T,2T]$ of a Dirichlet polynomial of arbitrary length with divisor functions as coefficients.
We show that the absolute convergence of a Ramanujan expansion does not guarantee the convergence of its real variable generalization, which is obtained by replacing the integer argument in the Ramanujan sums with a real number. We also construct a new Ramanujan expansion for the divisor function. While our expansion is amenable to a continuous and absolutely convergent real variable generalization, it only interpolates the divisor function locally on $\mathbb{R}$.
We provide a systematic method to compute arithmetic sums including some previously computed by Alaca, Alaca, Besge, Cheng, Glaisher, Huard, Lahiri, Lemire, Melfi, Ou, Ramanujan, Spearman and Williams. Our method is based on quasimodular forms. This extension of modular forms has been constructed by Kaneko andZagier.
We consider a problem posed by Shparlinski, of giving nontrivial bounds for rational exponential sums over the arithmetic function $τ(n)$, counting the number of divisors of $n$. This is done using some ideas of Sathe concerning the distribution in residue classes of the function $ω(n)$, counting the number of prime factors of $n$, to bring the problem into a form where, for general modulus, we may apply a bound of Bourgain concerning exponential sums over subgroups of finite abelian groups and for prime modulus some results of Korobov and Shkredov.
We study the variance of sums of the $k$-fold divisor function $d_k(n)$ over sparse arithmetic progressions, with averaging over both residue classes and moduli. In a restricted range, we confirm an averaged version of a recent conjecture about the asymptotics of this variance. This result is closely related to moments of Dirichlet $L$-functions and our proof relies on the asymptotic large sieve.
For a nonempty finite set $A$ of positive integers, let $\gcd\left(A\right)$ denote the greatest common divisor of the elements of $A$. Let $f\left(n\right)$ and $Φ\left(n\right)$ denote, respectively, the number of subsets $A$ of $\left\{1, 2, \ldots, n\right\}$ such that $\gcd\left(A\right) = 1$ and the number of subsets $A$ of $\left\{1, 2, \ldots, n\right\}$ such that $\gcd\left(A\cup\left\{n\right\}\right) =1$. Let $D\left(n\right)$ be the divisor sum of $f\left(n\right)$. In this article, we obtain partial sums of $f\left(n\right)$, $Φ\left(n\right)$ and $D\left(n\right)$. We also obtain…
In a recent paper, Merca posed three conjectures on congruences for specific convolutions of a sum of odd divisor functions with a generating function for generalized $m$-gonal numbers. Extending Merca's work, we complete the proof of these conjectures.
Let $s(n):= \sum_{d\mid n,~d<n} d$ denote the sum of the proper divisors of $n$. It is natural to conjecture that for each integer $k\ge 2$, the equivalence \[ \text{$n$ is $k$th powerfree} \Longleftrightarrow \text{$s(n)$ is $k$th powerfree} \] holds almost always (meaning, on a set of asymptotic density $1$). We prove this for $k\ge 4$.
In [arXiv:1504.07804], Keating, Rodgers, Roditty-Gershon and Rudnick established relationships of the mean-square of sums of the divisor function $d_k(f)$ over short intervals and over arithmetic progressions for the function field $\mathbb F_q[T]$ to certain integrals over the ensemble of unitary matrices. We consider similar problems leading to distributions over the ensemble of symplectic matrices. We also consider analogous questions involving convolutions of the von Mangoldt function.
A natural number $n$ is $y$-smooth if the greatest prime factor of $n$ does not exceed $y$. Let $s_{1}$ and $s_{2}$ are $y$-smooth numbers. We consider sums of smooth squares of the binary Titchmarsh divisor problem and give asymptotic formulae for $\sum_{s_{1}^{2}+s_{2}^{2}\le x}τ(s_{1}^{2}+s_{2}^{2}+1)$ for $(\log x)^{K}\le y<x^{\frac{1}{2}}$, where $K$ is large enough.
We study the algebra MD of generating function for multiple divisor sums and its connections to multiple zeta values. The generating functions for multiple divisor sums are formal power series in q with coefficients in Q arising from the calculation of the Fourier expansion of multiple Eisenstein series. We show that the algebra MD is a filtered algebra equipped with a derivation and use this derivation to prove linear relations in MD. The (quasi-)modular forms for the full modular group Sl_2(Z) constitute a sub-algebra of MD this also yields linear relations in MD. Generating functions of mul…
We examine the calculation of the second and fourth moments and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations. Previously this approach has proved unsuccessful in computing moments beyond the eighth, even heuristically. A careful analysis of the second and fourth moments illustrates the nature of the problem and enables us to identify the terms that are missed in the standard application of these methods.
We prove an upper bound for the exponential sum associated to a localized $k-$divisor function, i.e., the counting function of the number of ways to write a positive integer $n$ as a product of $k\ge 2$ positive integers, each of them belonging to a specified interval. In particular, this gives an estimate for the exponential sum for the $k-$divisor function, $d_k(n)$.
In a one-page fragment published with his lost notebook, Ramanujan stated two double series identities associated, respectively, with the famous Gauss Circle and Dirichlet Divisor problems. The identities contain an "extra" parameter, and it is possible that Ramanujan derived these identities with the intent of attacking these famous problems. Similar famous unsolved problems are connected with $f_K(n)$, the number of integral ideals of norm $n$ in an algebraic number field $K$. In this paper we establish Riesz sum identities containing an "extra" parameter and involving $f_K(n)$, or divisor f…
We obtain several asymptotic formulas for the sum of the divisor function $τ(n)$ with $n \le x$ in an arithmetic progressions $n \equiv a \pmod q$ on average over $a$ from a set of several consecutive elements from set of reduced residues modulo $q$ and on average over arbitrary sets. The main goal is to obtain nontrivial results for $q \ge x^{2/3}$ with the small amount of averaging over $a$. We recall that for individual values of $a$ the limit of our current methods is $q \le x^{2/3-\varepsilon}$ for an arbitrary fixed $\varepsilon> 0$. Our method builds on an approach due to Blomer (2008) …
We establish a connection between the ratios conjecture for the Riemann zeta-function and a conjecture concerning correlations of convolutions of Möbius and divisor functions. Specifically, we prove that the ratios conjecture and an arithmetic correlations conjecture imply the same result. This provides new support for the ratios conjecture, which previously had been motivated by analogy with formulae in random matrix theory and by a heuristic recipe. Our main theorem generalises a recent calculation pertaining to the special case of two-over-two ratios.
We refine a recent heuristic developed by Keating and the second author. Our improvement leads to a new integral expression for the conjectured asymptotic formula for shifted moments of the Riemann zeta-function. This expression is analogous to a formula, recently discovered by Brad Rodgers and Kannan Soundararajan, for moments of characteristic polynomials of random matrices from the unitary group.
Let $s(n)=\sum_{d\mid n,~d<n} d$ denote the sum of the proper divisors of $n$. The second-named author proved that $ω(s(n))$ has normal order $\log\log{n}$, the analogue for $s$-values of a classical result of Hardy and Ramanujan. We establish the corresponding Erdős--Kac theorem: $ω(s(n))$ is asymptotically normally distributed with mean and variance $\log\log{n}$. The same method applies with $s(n)$ replaced by any of several other unconventional arithmetic functions, such as $β(n):=\sum_{p\mid n} p$, $n-ϕ(n)$, and $n+τ(n)$ ($τ$ being the divisor function).
We generalize recent matrix-based factorization theorems for Lambert series generating functions generating the coefficients $(f \ast 1)(n)$ for some arithmetic function $f$. Our new factorization theorems provide analogs to these established expansions generating sums of the form $\sum_{d: (d,n)=1} f(d)$ (type I) and the Anderson-Apostol sums $\sum_{d|(m,n)} f(d) g(n/d)$ (type II) for any arithmetic functions $f$ and $g$. Our treatment of the type II sums includes a matrix-based factorization method relating the partition function $p(n)$ to arbitrary arithmetic functions $f$. We also conclude…
We study the mean square of sums of the $k$th divisor function $d_k(n)$ over short intervals and arithmetic progressions for the rational function field over a finite field of $q$ elements. In the limit as $q\rightarrow\infty$ we establish a relationship with a matrix integral over the unitary group. Evaluating this integral enables us to compute the mean square of the sums of $d_k(n)$ in terms of a lattice point count. This lattice point count can in turn be calculated in terms of certain polynomials, which we analyse. Our results suggest general conjectures for the corresponding classical pr…
The prime divisors of a polynomial $P$ with integer coefficients are those primes $p$ for which $P(x) \equiv 0 \pmod{p}$ is solvable. Our main result is that the common prime divisors of any several polynomials are exactly the prime divisors of some single polynomial. By combining this result with a theorem of Ax we get that for any system $F$ of multivariate polynomial equations with integer coefficients, the set of primes $p$ for which $F$ is solvable modulo $p$ is the set of prime divisors of some univariate polynomial. In addition, we prove results on the densities of the prime divisors of…
Let $\gcd(d_{1},\ldots,d_{k})$ be the greatest common divisor of the positive integers $d_{1},\ldots,d_{k}$, for any integer $k\geq 2$, and let $τ$ and $μ$ denote the divisor function and the Möbius function, respectively. For an arbitrary arithmetic function $g$ and for any real number $x>5$ and any integer $k\geq 3$, we define the sum $$ S_{g,k}(x) :=\sum_{n\leq x}\sum_{d_{1}\cdots d_{k}=n} g(\gcd(d_{1},\ldots,d_{k})) $$ In this paper, we give asymptotic formulas for $S_{τ,k}(x)$ and $S_{μ,k}(x)$ for $k\geq 3$.
Let $τ_3(n)$ be the triple divisor function which is the number of solutions of the equation $d_1d_2d_3=n$ in natural numbers. It is shown that $$ \sum_{1\leq n_1,n_2,n_3\leq \sqrt{x}}τ_3(n_1^2+n_2^2+n_3^2)=c_1x^{\frac{3}{2}}(\log x)^2+ c_2x^{\frac{3}{2}}\log x +c_3x^{\frac{3}{2}} +O_{\varepsilon}(x^{\frac{11}{8}+\varepsilon}) $$ for some constants $c_1$, $c_2$ and $c_3$.
We study the asymptotic behavior of the sums of divisors when the integers are modelled with the Bernoulli random walk; We prealably study the correlation properties of the corresponding system.
In this paper, we develop Furstenberg's proof of infinity of primes, and prove several results about prime divisors of sequences of integers, including the celebrated Schur's theorem. In particular, we give a simple proof of a classical result which says that a non-degenerate linear recurrence sequence of integers of order k>1 has infinitely many prime divisors.
We give necessary conditions satisfied by the set of odd prime divisors of binary perfect polynomials. This allows us to get a new characterization of all the known perfect binary polynomials.
We investigate the distribution of the function $ω(n)$, the number of distinct prime divisors of $n$, in residue classes modulo $q$ for natural numbers $q$ greater than 2. In particular we ask `prime number races' style questions, as suggested by Coons and Dahmen in their paper `On the residue class distribution of the number of prime divisors of an integer'.
We compute the variances of sums in arithmetic progressions of generalised k-divisor functions related to certain L-functions in $\mathbb{F}_q(t)$, in the limit as $q\to\infty$. This is achieved by making use of recently established equidistribution results for the associated Frobenius conjugacy classes. The variances are thus expressed, when $q\to\infty$, in terms of matrix integrals, which may be evaluated. Our results extend those obtained previously in the special case corresponding to the usual $k$-divisor function, when the L-function in question has degree one. They illustrate the role …
Given a polynomial $ϕ$ over a global function field $K$ and a wandering base point $b\in K$, we give a geometric condition on $ϕ$ ensuring the existence of primitive prime divisors for almost all points in the orbit $\mathcal{O}_ϕ(b):=\{ϕ^n(b)\}_{n\geq0}$
For a positive integer $n$, let $σ(n)$ denote the sum of the positive divisors of $n$. Let $d$ be a proper divisor of $n$. We call $n$ a deficient-perfect number if $σ(n)=2n-d$. In this paper, we show that the only odd deficient-perfect number with four distinct prime divisors is $3^{2}\cdot 7^{2}\cdot 11^{2}\cdot 13^{2}$.
Let $s(n)$ denote the sum of the proper divisors of the natural number $n$. We show that the number of $n \leq x$ such that $s(n)$ is a sum of two squares has order of magnitude $x/\sqrt{\log x}$, which agrees with the count of $n \leq x$ which are a sum of two squares. Our result confirms a special case of a conjecture of Erd{\H o}s, Granville, Pomerance and Spiro, who in a 1990 paper asserted that if $\mathcal{A} \subset \mathbb{N}$ has asymptotic density zero (e.g. if $\mathcal{A}$ is the set of $n \leq x$ which are a sum of two squares), then $s^{-1}(\mathcal{A})$ also has asymptotic densi…
In 1982, Erdös and van Lint showed an estimate for the average of the ratio of the smallest and largest prime divisor of $n$. In this note, we apply C.H. Jia's method to give an estimate for the average of positive integer power of the ratio.
For a function field $K$ and fixed polynomial $F\in K[x]$ and varying $f\in F$ (under certain restrictions) we give a lower bound for the degree of the greatest prime divisor of $F(f)$ in terms of the height of $f$, establishing a strong result for the function field analogue of a classical problem in number theory.
We consider the primes which divide the denominator of the x-coordinate of a sequence of rational points on an elliptic curve. It is expected that for every sufficiently large value of the index, each term should be divisible by a primitive prime divisor, one that has not appeared in any earlier term. Proofs of this are known in only a few cases. Weaker results in the general direction are given, using a strong form of Siegel's Theorem and some congruence arguments. Our main result is applied to the study of prime divisors of Somos sequences.
We study the average value of the divisor function $τ(n)$ for $n\le x$ with $n \equiv a \bmod q$. The divisor function is known to be evenly distributed over arithmetic progressions for all $q$ that are a little smaller than $x^{2/3}$. We show how to go past this barrier when $q=p^k$ for odd primes $p$ and any fixed integer $k\ge 7$.
We consider the distribution of the largest prime divisor of the integers in the interval $[2,x]$, and investigate in particular the mode of this distribution, the prime number(s) which show up most often in this list. In addition to giving an asymptotic formula for this mode as $x$ tends to infinity, we look at the set of those prime numbers which, for some value of $x$, occur most frequently as the largest prime divisor of the integers in the interval $[2,x]$. We find that many prime numbers never have this property. We compare the set of "popular primes," those primes which are at some poin…
