[Paper Review] Rota meets Ramanujan: Probabilistic interpretation of Ramanujan - Fourier series

H. Gopalkrishna Gadiyar, R. Padma|ArXiv.org|Sep 30, 2002

History and Theory of Mathematics3 references3 citations

TL;DR

This paper establishes a probabilistic interpretation of Ramanujan-Fourier series by unifying Rota's combinatorial approach to arithmetic densities via profinite groups and Ramanujan's classical Fourier expansions. It shows that the Ramanujan sum $ c_q(n) $ arises as a character of the profinite group $ C_∞^* $, and derives a probabilistic formula $ P_{C_n} = \frac{1}{n^s \zeta(s)} $, linking number theory, harmonic analysis, and stochastic processes through the zeta function and Möbius inversion.

ABSTRACT

In this paper the ideas of Rota and Ramanujan are shown to be central to understanding problems in additive number theory. The circle and sieve methods are two different facets of the same theme of interplay between probability and Fourier series used to great advantage by Wiener in engineering.

Motivation & Objective

• To establish a probabilistic framework for Ramanujan-Fourier series using Rota's theory of arithmetic densities and characters.
• To unify Rota's abstract combinatorial approach with Ramanujan's concrete Fourier series via the profinite group $ C_\infty^* $.
• To demonstrate that the Ramanujan sum $ c_q(n) $ is a concrete realization of characters in $ C_\infty^* $, revealing a deep structural link.
• To show that the joint kernel probability in cyclic groups leads to a formula involving $ \zeta(s) $, extending to the profinite limit.

Proposed method

• Use of the group $ C_\infty $ of rational numbers modulo 1 and its character group $ C_\infty^* $, which is a compact profinite group with Haar measure.
• Application of Möbius inversion to derive the probability $ P_{C_n} = \sum_{n|d} \mu(d/n) \frac{1}{d^s} $, leading to $ \frac{1}{n^s \zeta(s)} $ in the profinite limit.
• Definition of a probability measure $ P_s(A) = \frac{1}{\zeta(s)} \sum_{n \in A} \frac{1}{n^s} $, which converges to arithmetic density as $ s \to 1^+ $.
• Interpretation of Ramanujan sums $ c_q(n) = \sum_{\substack{k=1 \\ (k,q)=1}}^q e^{2\pi i k n / q} $ as characters of $ C_\infty^* $, linking them to Rota's framework.
• Use of the Wiener-Khintchine formula and Ramanujan's expansion to connect sieve methods and circle method via probabilistic Fourier analysis.
• Demonstration that the joint kernel of $ s $ independent characters in $ C_r $ has probability $ \frac{1}{n^s} $ of containing $ C_n $, leading to a zeta-normalized probability in the profinite limit.

Experimental results

Research questions

• RQ1 Can Ramanujan-Fourier series be given a probabilistic interpretation through the lens of Rota's arithmetic densities and character theory?
• RQ2 How does the Ramanujan sum $ c_q(n) $ relate to the characters of the profinite group $ C_\infty^* $?
• RQ3 What is the probabilistic meaning of the joint kernel of $ s $ randomly chosen characters in a cyclic group, and how does it extend to the profinite setting?
• RQ4 How does the zeta function emerge naturally in the normalization of these probabilities?
• RQ5 Is there a unifying framework that connects the circle method, sieve methods, and Ramanujan-Fourier expansions via probability and harmonic analysis?

Key findings

• The Ramanujan sum $ c_q(n) $ is a concrete realization of characters in the character group $ C_\infty^* $, unifying Ramanujan's classical Fourier series with Rota's abstract combinatorial framework.
• The probability that the joint kernel of $ s $ independent characters in a finite cyclic group $ C_r $ contains a subgroup $ C_n $ is $ \frac{1}{n^s} $, derived from group-theoretic counting.
• Using Möbius inversion, the exact probability that the joint kernel is exactly $ C_n $ is $ P_{C_n} = \sum_{n|d} \mu(d/n) \frac{1}{d^s} $, which simplifies to $ \frac{1}{n^s \zeta(s)} $ in the profinite limit.
• The arithmetic density $ \text{dens}(A) $, though not countably additive, is the limit of the probability measures $ P_s(A) $ as $ s \to 1^+ $, linking classical density to probabilistic measures.
• The connection between Rota's probabilistic approach and Ramanujan's Fourier series is established via the profinite group $ C_\infty^* $, with $ c_q(n) $ as matrix coefficients of characters.
• The paper shows that sieve methods and the circle method are unified through the probabilistic interpretation of Ramanujan-Fourier expansions, with the zeta function playing a central role in normalization.