In the present paper, we introduce a multiple Ramanujan sum for arithmetic functions, which gives a multivariable extension of the generalized Ramanujan sum studied by D. R. Anderson and T. M. Apostol. We then find fundamental arithmetic properties of the multiple Ramanujan sum and study several types of Dirichlet series involving the multiple Ramanujan sum. As an application, we evaluate higher-dimensional determinants of higher-dimensional matrices, the entries of which are given by values of the multiple Ramanujan sum.
For two arithmetical functions $f$ and $g$, we study the convolution sum of the form $\sum_{n \le N} f(n) g(n+h)$ in the context of its asymptotic formula with explicit error terms. Here we introduce the concept of finite Ramanujan expansion of an arithmetical function and extend our earlier works in this setup.
We continue our study of convolution sums of two arithmetical functions $f$ and $g$, of the form $\sum_{n \le N} f(n) g(n+h)$, in the context of heuristic asymptotic formulæ. Here, the integer $h\ge 0$ is called, as usual, the {\it shift} of the convolution sum. We deepen the study of finite Ramanujan expansions of general $f,g$ for the purpose of studying their convolution sum. Also, we introduce another kind of Ramanujan expansion for the convolution sum of $f$ and $g$, namely in terms of its shift $h$ and we compare this \lq \lq shifted Ramanujan expansion\rq \rq, with our previous finite e…
Srinivasa Ramanujan provided series expansions of certain arithmetical functions in terms of the exponential sums defined by $c_r(n) = \sum\limits_{\substack{{m=1}\\ (m,r)=1}}^{r} e^{\frac{2 πimn}{r}}$ in [Trans. Cambridge Phillos. Soc, 22(13):259-276,1918]. Here we give similar type of expansions in terms of the Cohen-Ramanujan sum defined by E. Cohen in [Duke Mathematical Journal, 16(85-90):2, 1949] as $c_r^s(n)=\sum\limits_{\substack{h=1\\ (h,r^s)_s=1}}^{r^s}e^{\frac{2πi n h}{r^s}}$. We also provide some necessary and sufficient conditions for such expansions to exist.
Given two arithmetical functions $f,g$ we derive, under suitable conditions, asymptotic formulas with error term, for the convolution sums $\sum_{n \le N} f(n) g(n+h)$, building on an earlier work of Gadiyar, Murty and Padma. A key role in our method is played by the theory of Ramanujan expansions for arithmetical functions.
In this paper, for coprime numbers p and q we consider the well known Dedekind sums S(p,q) First, we give an improvement of the proof given by H. Rademacher and A. Whiteman, and we construct a new arithmetical proof for the reciprocity law
Ramanujan sums have been studied and generalized by several authors. For example, Nowak studied these sums over quadratic number fields, and Grytczuk defined that on semigroups. In this note, we deduce some properties on sums of generalized Ramanujan sums and give examples on number fields. In particular, we have a relational expression between Ramanujan sums and residues of Dedekind zeta functions.
Let $c_q(n)$ be the Ramanujan sums and let $S(m,n;q)$ be the Kloosterman sums. We study the eigenvalues of $q \times q$ matrices whose $(m,n)$ entry is $c_q (m-n)$ or $S(m,n;q)$ where $q$ is a fixed positive integer. We also study the eigenvalues of matrices whose entries are sums of Ramanujan sums or sums of Kloosterman sums.
Let $c_q(n)$ denote the Ramanujan sum modulo $q$, and let $x$ and $y$ be large reals, with $x = o(y)$. We obtain asymptotic formulas for the sums $$\sum_{n \le y}(\sum_{q \le x} c_q(n))^k \qquad (k = 1, 2).$$
The Ramanujan sum $c_n(k)$ is defined as the sum of $k$-th powers of the primitive $n$-th roots of unity. We investigate arithmetic functions of $r$ variables defined as certain sums of the products $c_{m_1}(g_1(k))...c_{m_r}(g_r(k))$, where $g_1,..., g_r$ are polynomials with integer coefficients. A modified orthogonality relation of the Ramanujan sums is also derived.
We derive certain identities involving various known arithmetical functions and a generalized version of Ramanujan sum. L. Toth constructed certain weighted averages of Ramanujan sums with various arithmetic functions as weights. We choose a generalization of Ramanujan sum given by E. Cohen and derive the weighted averages corresponding to the versions of the weighted averages established by Toth.
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 use a specialization of Ramanujan's ${}_1ψ_1$ summation to give a new proof of a recent formula of Hickerson and Mortenson which expands a special family of Hecke-type double sums in terms of Appell-Lerch sums and theta functions.
Two classes of finite trigonometric sums, each involving only $\sin$'s, are evaluated in closed form. The previous and original proofs arise from Ramanujan's theta functions and modular equations.
We give a simple proof and a multivariable generalization of an identity due to E. Alkan concerning a weighted average of the Ramanujan sums. We deduce identities for other weighted averages of the Ramanujan sums with weights concerning logarithms, values of arithmetic functions for gcd's, the Gamma function, the Bernoulli polynomials, and binomial coefficients.
For a number field $\mathbb{K}$, and integral ideals $\mathcal{I}$ and $\mathcal{J}$ in its number ring $\mathcal{O}_{\mathbb{K}}$, Nowak studied the asymptotic behaviour of the average of Ramanujan sums $C_{\mathcal{J}}({\mathcal{I}})$ over both ideals $\mathcal{I}$ and $\mathcal{J}$. In this article, we extend this investigation by establishing asymptotic formulas for the second moment of averages of Ramanujan sums over quadratic and cubic number fields, thereby generalizing previous works of Chen, Kumchev, Robles, and Roy on moments of averages of Ramanujan sums over rationals. Additionally…
In this paper we study Ramanujan sums $c_{\bf m}(\bf n)$, where $ {\bf m}$ and ${\bf n}$ are integral ideals in an arbitrary quadratic number field. We give some new results about the asymptotic behavior of sums of $c_{\bf m}(\bf n)$ over both $ {\bf m}$ and $ {\bf n}$.
We define a new kind of classical digamma function, and establish its some fundamental identities. Then we apply the formulas obtained, and extend tools developed by Flajolet and Salvy to study more general Euler type sums. The main results of Flajolet and Salvy's paper \cite{FS1998} are the immediate corollaries of main results in this paper. Furthermore, we provide some parameterized extensions of Ramanujan-type identities that involve hyperbolic series. Some interesting new consequences and illustrative examples are considered.
The polynomial Ramanujan sum was first introduced by Carlitz [7], and a generalized version by Cohen [10]. In this paper, we study the arithmetical and analytic properties of these sums, derive various fundamental identities, such as H older formula, reciprocity formula, orthogonality relation and Davenport{Hasse type formula. In particular, we show that the special Dirichlet series involving the polynomial Ramanujan sums are, indeed, the entire functions on the whole complex plane, we also give a square mean values estimation. The main results of this paper are new appearance to us, which ind…
We prove a simple formula for the main value of $r$-even functions and give applications of it. Considering the generalized Ramanujan sums $c_A(n,r)$ involving regular systems $A$ of divisors we show that it is not possible to develop a Fourier theory with respect to $c_A(n,r)$, like in the the usual case of classical Ramanujan sums $c(n,r)$.
We investigate the polynomials $\sum_{k=0}^{n-1} c_n(k)x^k$ and $\sum_{k=0}^{n-1} |c_n(k)| x^k$, where $c_n(k)$ denote the Ramanujan sums. We point out connections and analogies to the cyclotomic polynomials.
Let $K$ be a number field. This paper considers arithmetic functions over $K$, that are, complex valued functions on the set of nonzero integral ideals in $K$. Firstly we generalize some basic results on arithmetic functions. Next we define the generalized Ramanujan sums over $K$ and show some properties.
We introduce new analogues of the Ramanujan sums, denoted by $\widetilde{c}_q(n)$, associated with unitary divisors, and obtain results concerning the expansions of arithmetic functions of several variables with respect to the sums $\widetilde{c}_q(n)$. We apply these results to certain functions associated with $σ^*(n)$ and $ϕ^*(n)$, representing the unitary sigma function and unitary phi function, respectively.
In this paper, we consider a general form of the analogue of Ramanujan's sum in the ring of polynomials over a finite field. We first prove some multiplicative properties of such functions before considering their finite Fourier series and some specific examples. In the end, we also prove a result about the Dirichlet series of such functions.
All arithmetical functions $F$ satisfying Ramanujan Conjecture, i.e., $F(n)\ll_{\varepsilon}n^{\varepsilon}$, and with $Q-$smooth divisors, i.e., with Eratosthenes transform $F':=F\ast μ$ supported in $Q-$smooth numbers, have a kind of unique Ramanujan expansion; also, these Ramanujan coefficients decay very well to $0$ and have two explicit expressions (in the style of Carmichael and Wintner). This general result, then, is applied to the shift-Ramanujan expansions, i.e., the expansions for correlations with respect to the shift, whence the title.
For two arithmetical functions $f$ and $g$ with absolutely convergent Ramanujan expansions, Murty and Saha have recently derived asymptotic formulas with error term for the convolution sum $\sum_{n \le N} f(n) g(n+h)$ under some suitable conditions (see http://arxiv.org/abs/1506.01945). In this follow up article we improve these results with a weakened hypothesis which is in some sense minimal.
We generalize Menon's identity by considering sums representing arithmetical functions of several variables. As an application, we give a formula for the number of cyclic subgroups of the direct product of several cyclic groups of arbitrary orders. We also point out extensions of Menon's identity in the one variable case, which seems to not appear in the literature.
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…
Consider the linear congruence equation $x_1+\ldots+x_k \equiv b\,(\text{mod } n)$ for $b,n\in\mathbb{Z}$. By $(a,b)_s$, we mean the largest $l^s\in\mathbb{N}$ which divides $a$ and $b$ simultaneously. For each $d_j|n$, define $\mathcal{C}_{j,s} = \{1\leq x\leq n^s | (x,n^s)_s = d^s_j\}$. Bibak et al. gave a formula using Ramanujan sums for the number of solutions of the above congruence equation with some gcd restrictions on $x_i$. We generalize their result with generalized gcd restrictions on $x_i$ by proving that for the above linear congruence, the number of solutions is $$\frac{1}{n^s}\s…
Let K be a cubic number field. In this paper, we study the Ramanujan sums c_{J}(I), where I and J are integral ideals in O_{K}. The asymptotic behaviour of sums of c_{J}(I) over both I and J is investigated.
Let $\mathbb{A}=\mathbb{F}_{q}[T]$ be the polynomial ring over finite field $\mathbb{F}_{q}$, and $\mathbb{A}_{+}$ be the set of monic polynomials in $\mathbb{A}$. In this paper, we show that a large class of arithmetic functions in multi-variables over $\mathbb{A}_{+}$ can be expanded through the polynomial Ramanujan sums and the unitary polynomial Ramanujan sums. These are analogues of classical results over $\mathbb{N}$ by Winter, Delange and Tóth.
If $f(z)$ is a modular form of weight $k$, then the differential operator $\vartheta_k$ defined by $\vartheta_k(f) = \frac{1}{2πi} \frac{d}{dz}f(z) - \frac{k}{12} E_2(z) f(z)$ (known as the Ramanujan-Serre derivative map) is a modular form of weight $k+2$. In this paper, we obtain a simple extension of this map and use it to get a general method to derive certain convolution sums of the divisor functions (using the theory of modular forms). Explicit expressions are given for four types of convolution sums and we provide many examples for all these types of sums.
Let $\Bbb Z$ and $\Bbb N$ be the set of integers and the set of positive integers, respectively. For $a_1,a_2,\ldots,a_k,n\in\Bbb N$ let $N(a_1,a_2,\ldots,a_k;n)$ be the number of representations of $n$ by $a_1x_1^2+a_2x_2^2+\cdots+a_kx_k^2$, and let $t(a_1,a_2,\ldots,a_k;n)$ be the number of representations of $n$ by $a_1\frac{x_1(x_1-1)}2+a_2\frac{x_2(x_2-1)}2+\cdots+a_k\frac{x_k(x_k-1)}2$ $(x_1,\ldots,x_k\in\Bbb Z$). In this paper, by using Ramanujan's theta functions $φ(q)$ and $ψ(q)$ we reveal many relations between $t(a_1,a_2,\ldots,a_k;n)$ and $N(a_1,a_2,\ldots,a_k;8n+a_1+\cdots+a_k)$ f…
In this paper, we prove supercongruence relations for truncated $N$-tuple sums of basic hypergeometric series. As an application, we give double, triple, and quadruple sum analogs of some Ramanujan-type supercongruences.
The Ramanujan sum c_n(k) and a_n(k), the kth coefficient of the nth cyclotomic polynomial, are completely symmetric expressions in terms of primitive nth roots of unity. For fixed k we study the value distribution of c_n(k) (following A. Wintner) and a_n(k) (partly following H. Moller). In particular we disprove a 1970 conjecture of H. Moller on the average (over n) of a_n(k). We show that certain symmetric functions in primitive roots considered by the Dence brothers are related to the behaviour of c_{p-1}(k) and a_{p-1}(k) as p ranges over the primes and study their value distribution as wel…
The theory of supercharacters, recently developed by Diaconis-Isaacs and Andre, can be used to derive the fundamental algebraic properties of Ramanujan sums. This machinery frequently yields one-line proofs of difficult identities and provides many novel formulas. In addition to exhibiting a new application of supercharacter theory, this article also serves as a blueprint for future work since some of the abstract results we develop are applicable in much greater generality.
A highly strong upper estimate in the modified asymptotic formula for sums of the primes' reciprocals is proved to be necessary (as well as sufficient) in order the Ramanujan inequality holds true. Some other criteria in similar terms are also obtained.
We generalize certain recent results of Ushiroya concerning Ramanujan expansions of arithmetic functions of two variables. We also show that some properties on expansions of arithmetic functions of one and several variables using classical and unitary Ramanujan sums, respectively, run parallel.
Ramanujan sums are exponential sums with exponent defined over the irreducible fractions. Until now, they have been used to provide converging expansions to some arithmetical functions appearing in the context of number theory. In this paper, we provide an application of Ramanujan sum expansions to periodic, quasiperiodic and complex time series, as a vital alternative to the Fourier transform. The Ramanujan-Fourier spectrum of the Dow Jones index over 13 years and of the coronal index of solar activity over 69 years are taken as illustrative examples. Distinct long periods may be discriminate…
We study the representation theory of a certain finite group for which Kloosterman sums appear as character values. This leads us to consider a concrete family of commuting hermitian matrices which have Kloosterman sums as eigenvalues. These matrices satisfy a number of "magical" combinatorial properties and they encode various arithmetic properties of Kloosterman sums. These matrices can also be regarded as adjacency matrices for multigraphs which display Ramanujan-like behavior.
