1. भूमिका: गणित की मूलभूत व्युत्क्रम समस्या (Inverse Problem)

संख्या सिद्धांत, सांयोगिकी (combinatorics), बीजगणित और सांख्यिकीय भौतिकी में हम बार-बार एक ही मूलभूत व्युत्क्रम समस्या का सामना करते हैं: वह शुद्ध, प्राथमिक राशि $f(n)$ जिसे हम वास्तव में जानना चाहते हैं, उसे सीधे गिनना अत्यंत कठिन होता है, जबकि पदानुक्रम के सभी निचले अवयवों के योगदानों को मिलाने वाला संचयी योग $g(n)$ आश्चर्यजनक रूप से आसानी से ज्ञात हो जाता है।

आइए तीन क्लासिकल उदाहरण देखें:

1. आवर्ती स्ट्रिंग्स और अनावर्ती लिंडन शब्द (Lyndon Words): $q$ अक्षरों की वर्णमाला से लंबाई $n$ की कुल $g(n) = q^n$ स्ट्रिंग्स बनती हैं। किंतु इनमें वे आवर्ती स्ट्रिंग्स भी शामिल हैं जो किसी छोटे आवर्त $d \mid n$ वाले खंड की पुनरावृत्ति से बनी हैं। यदि $f(d)$ न्यूनतम आवर्त $d$ वाली शुद्ध अनावर्ती स्ट्रिंग्स की संख्या हो, तो भाजकों पर योग का संबंध लागू होता है: $$g(n) = \sum_{d \mid n} f(d)$$
2. लघुकरणीय और अलघुकरणीय भिन्न (यूलर का टोशिएंट फलन $\varphi(n)$): जब हम $n$ भिन्नों $\frac{1}{n}, \frac{2}{n}, \dots, \frac{n}{n}$ को सरलतम रूप में लिखते हैं, तो प्रत्येक हर (denominator) $n$ का एक भाजक $d \mid n$ बन जाता है। चूँकि हर $d$ वाली अलघुकरणीय भिन्नों की संख्या $\varphi(d)$ होती है, हमें गाउस की प्रसिद्ध सर्वसमिका मिलती है: $$n = \sum_{d \mid n} \varphi(d)$$
3. उपसमुच्चय योग और समावेशन-अपवर्जन का सिद्धांत (PIE): यदि प्रत्येक उपसमुच्चय $A \subseteq S$ का अपना शुद्ध भार $f(A)$ हो, किंतु केवल संचयी योग $g(B) = \sum_{A \subseteq B} f(A)$ ही प्रेक्षणीय हो, तो $f(B)$ को वापस कैसे प्राप्त करें?

आश्चर्यजनक रूप से, यद्यपि $3$ और $1$ भी $12$ के भाजक हैं, फिर भी $g(3)$ और $g(1)$ का गुणांक यहाँ $0$ है (क्योंकि भागफल $12/3 = 4 = 2^2$ और $12/1 = 12 = 2^2 \cdot 3$ अभाज्य संख्या के वर्ग से विभाज्य हैं)!

1832 में जर्मन गणितज्ञ ऑगस्ट फर्डिनेंड मोबियस (August Ferdinand Möbius) ने मोबियस फलन $\mu(n)$ प्रस्तुत कर इस समस्या का समाधान किया। 1964 में जियान-कार्लो रोटा (Gian-Carlo Rota) ने इसे अंशतः क्रमित समुच्चयों (Posets) और उनके आपतन बीजगणित (Incidence Algebras) तक व्यापक बनाया, और सिद्ध किया कि संख्या-सैद्धांतिक मोबियस व्युत्क्रमण, समावेशन-अपवर्जन सिद्धांत, असतत कलन का मूलभूत प्रमेय और प्रायिकता में आघूर्ण-संचयी (moment-cumulant) व्युत्क्रमण सभी एक ही सार्वभौमिक समीकरण $\mu = \zeta^{-1}$ के रूप हैं।

  flowchart TD
    A["शुद्ध प्राथमिक राशि f(n)<br/>(सीधे गिनना या मापना कठिन)"] -->|"भाजकों पर संचयी योग<br/>(1 के साथ डिरिचलेट संवलन: g = f * 1)"| B["प्रेक्षणीय कुल योग g(n) = Σ_{d|n} f(d)<br/>(गणना में सरल, किंतु अतिव्यापन युक्त)"]
    B -->|"मोबियस व्युत्क्रमण सूत्र<br/>(व्युत्क्रम μ = 1⁻¹ के साथ संवलन: f = g * μ)"| C["f(n) की सटीक पुनर्प्राप्ति<br/>f(n) = Σ_{d|n} μ(d) g(n/d)"]
    D["मोबियस फलन μ(n) ∈ {-1, 0, 1}<br/>यदि p²|n तो 0; k भिन्न अभाज्यों के लिए (-1)^k"] -.->|"दोहरी गिनती को सटीक रूप से निरस्त करता है"| C

2. मोबियस फलन $\mu(n)$: परिभाषा, गुणनात्मकता और मूलभूत सर्वसमिका

2.1 कठोर परिभाषा

$$\mu(n) = \begin{cases} 1 & \text{यदि } n = 1, \\[4pt] (-1)^k & \text{यदि } n = p_1 p_2 \cdots p_k, \text{ जहाँ } p_i \text{ भिन्न अभाज्य संख्याएँ हैं (वर्ग-मुक्त / square-free)}, \\[4pt] 0 & \text{यदि किसी अभाज्य } p \text{ के लिए } p^2 \mid n. \end{cases}$$

2.2 गुणनात्मकता और मूलभूत सर्वसमिका

1. गुणनात्मकता (Multiplicativity): यदि $\gcd(a, b) = 1$, तो $\mu(ab) = \mu(a)\mu(b)$। उपपत्ति: यदि $a$ या $b$ किसी वर्ग $p^2$ से विभाज्य है, तो $ab$ भी $p^2$ से विभाज्य होगा और दोनों पक्ष $0$ होंगे। यदि दोनों वर्ग-मुक्त हैं जिनमें क्रमशः $r$ और $s$ अभाज्य गुणनखंड हैं, तो $\gcd(a, b) = 1$ के कारण उनके अभाज्य समुच्चय असंयुक्त हैं और $\mu(ab) = (-1)^{r+s} = (-1)^r (-1)^s = \mu(a)\mu(b)$। $\blacksquare$

2. $$\sum_{d \mid n} \mu(d) = \varepsilon(n) := \begin{cases} 1 & n = 1, \\ 0 & n > 1. \end{cases}$$$$\sum_{d \mid n} \mu(d) = \sum_{j = 0}^{k} \binom{k}{j} (-1)^j 1^{k - j} = (1 - 1)^k = 0. \quad \blacksquare$$

3. डिरिचलेट संवलन (Dirichlet Convolution) के अंतर्गत अंकगणितीय फलनों का क्रमविनिमेय वलय

अंकगणितीय फलनों की समष्टि $\mathcal{A} = \{f : \mathbb{N}^+ \to \mathbb{C}\}$ पर डिरिचलेट संवलन इस प्रकार परिभाषित है:

$(\mathcal{A}, +, *)$ एक क्रमविनिमेय वलय (commutative ring) है जिसका गुणात्मक तत्समक $\varepsilon(n) = [n = 1]$ ($f * \varepsilon = f$) है। अचर फलन $\mathbf{1}(n) = 1$ परिभाषित करने पर भाजकों पर योग लेना $\mathbf{1}$ के साथ संवलन करने के तुल्य है: $g(n) = \sum_{d \mid n} f(d) = (f * \mathbf{1})(n)$, अर्थात् $g = f * \mathbf{1}$। मूलभूत सर्वसमिका $\sum_{d \mid n} \mu(d) = \varepsilon(n)$ का अर्थ है:

मोबियस फलन $\mu$ वास्तव में अचर फलन $\mathbf{1}$ का डिरिचलेट व्युत्क्रम है! इससे क्लासिकल मोबियस व्युत्क्रमण सूत्र एक ही पंक्ति में सिद्ध हो जाता है:

डिरिचलेट श्रेणी, रीमान ज़ीटा फलन $\zeta(s)$ और रीमान परिकल्पना

प्रत्येक $f \in \mathcal{A}$ को उसकी डिरिचलेट श्रेणी $D_f(s) = \sum_{n=1}^{\infty} \frac{f(n)}{n^s}$ से जोड़ने पर संवलन साधारण गुणन में बदल जाता है: $D_{f * g}(s) = D_f(s) D_g(s)$। चूँकि $D_{\mathbf{1}}(s) = \zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s}$ रीमान ज़ीटा फलन है और $D_{\varepsilon}(s) = 1$, समीकरण $\mathbf{1} * \mu = \varepsilon$ तुरंत देता है:

• अभाज्य संख्या प्रमेय (PNT) $\sum_{n=1}^{\infty} \frac{\mu(n)}{n} = 0$ या $M(x) = \sum_{n \le x} \mu(n) = o(x)$ के तुल्य है।
• रीमान परिकल्पना (Riemann Hypothesis) अर्ध-समतल $\operatorname{Re}(s) > \frac{1}{2}$ में $\frac{1}{\zeta(s)}$ की वैश्लेषिकता के तुल्य है, जो मर्टेंस फलन में वर्गमूल निरसन के समतुल्य है: $$\text{रीमान परिकल्पना} \quad \Longleftrightarrow \quad M(x) = \sum_{n \le x} \mu(n) = O\!\left(x^{\frac{1}{2} + \varepsilon}\right) \quad (\forall \varepsilon > 0)$$

4. तीन क्लासिकल अनुप्रयोग

1. यूलर का टोशिएंट फलन $\varphi(n)$: $\sum_{d \mid n} \varphi(d) = n$ ($\varphi * \mathbf{1} = \mathrm{id}$) से $\mu$ द्वारा व्युत्क्रमण करने पर $\varphi = \mathrm{id} * \mu$ मिलता है: $$\varphi(n) = \sum_{d \mid n} \mu(d)\,\frac{n}{d} = n \prod_{p \mid n} \left(1 - \frac{1}{p}\right)$$
2. अनावर्ती हार (Lyndon Words) और $\mathbb{F}_q$ पर अखंडनीय बहुपद: $q$ अक्षरों पर लंबाई $d$ के अनावर्ती हारों की संख्या $N_q(d)$ और परिमित क्षेत्र $\mathbb{F}_q$ पर घात $d$ के एकगुणांकी अखंडनीय बहुपदों (monic irreducible polynomials) की संख्या $I_q(d)$ (चूँकि $x^{q^n} - x = \prod_{d \mid n} \prod_{\deg P = d} P(x)$) दोनों $q^n = \sum_{d \mid n} d \cdot N_q(d) = \sum_{d \mid n} d \cdot I_q(d)$ को संतुष्ट करते हैं। मोबियस व्युत्क्रमण से गाउस का सूत्र प्राप्त होता है: $$N_q(n) = I_q(n) = \frac{1}{n} \sum_{d \mid n} \mu\!\left(\frac{n}{d}\right) q^d$$
3. साइक्लोटोमिक बहुपद (Cyclotomic Polynomials) $\Phi_n(x)$: $x^n - 1 = \prod_{d \mid n} \Phi_d(x)$ से गुणात्मक मोबियस व्युत्क्रमण देता है: $$\Phi_n(x) = \prod_{d \mid n} (x^d - 1)^{\mu(n/d)}$$ $n = 12$ के लिए भाजकों $d \in \{1, 2, 3, 4, 6, 12\}$ और $\mu(12/d) \in \{0, +1, 0, -1, -1, +1\}$ से सीधे गणना करने पर: $$\Phi_{12}(x) = \frac{(x^{12} - 1)(x^2 - 1)}{(x^6 - 1)(x^4 - 1)} = \frac{x^6 + 1}{x^2 + 1} = x^4 - x^2 + 1$$

5. जियान-कार्लो रोटा का महा-एकीकरण (1964): पोसेट्स (Posets) और आपतन बीजगणित

मान लीजिए $(P, \le)$ एक स्थानीयतः परिमित अंशतः क्रमित समुच्चय (Poset) है (प्रत्येक संवृत अंतराल $[x, y] = \{z \in P \mid x \le z \le y\}$ परिमित है)। आपतन बीजगणित (Incidence Algebra) $I(P)$ में अंतराल संवलन इस प्रकार परिभाषित है:

इसका तत्समक क्रोनेकर डेल्टा $\delta(x, y) = [x = y]$ है। ज़ीटा फलन $\zeta(x, y) = 1$ ($x \le y$ के लिए) का एक अद्वितीय व्युत्क्रम $\mu = \zeta^{-1}$ होता है जो पुनरावर्ती रूप से $\mu(x, x) = 1$ और $\mu(x, y) = -\sum_{x \le z < y} \mu(x, z)$ ($x < y$) द्वारा निर्धारित होता है। इससे पोसेट्स पर रोटा का सामान्यीकृत मोबियस व्युत्क्रमण प्रमेय प्राप्त होता है:

  flowchart TD
    R["रोटा का सामान्यीकृत मोबियस व्युत्क्रमण (1964)<br/>आपतन बीजगणित I(P) में μ = ζ⁻¹<br/>g = f * ζ  ⇔  f = g * μ"]
    R --> P1["1. रैखिक श्रृंखला (ℕ₀, ≤)<br/>0 < 1 < 2 < 3 < ..."]
    R --> P2["2. बूलीय उपसमुच्चय जालक (𝒫(S), ⊆)<br/>समावेशन A ⊆ B"]
    R --> P3["3. विभाज्यता जालक (ℕ⁺, |)<br/>विभाज्यता a | b"]
    R --> P4["4. समुच्चय विभाजन जालक (Π_n, ≤)<br/>शोधन (Refinement) π ≤ σ"]
    P1 --> T1["μ(i, i) = 1, μ(i, i+1) = -1, अन्यथा 0<br/>⇒ असतत कलन का मूलभूत प्रमेय<br/>f(n) = g(n) - g(n-1) (Δ = Σ⁻¹)"]
    P2 --> T2["μ(A, B) = (-1)^|B \ A|<br/>⇒ समावेशन-अपवर्जन सिद्धांत (PIE)<br/>एवं विक्षेप (Derangements) D_n"]
    P3 --> T3["μ(a, b) = μ_classical(b/a)<br/>⇒ क्लासिकल संख्या-सैद्धांतिक मोबियस व्युत्क्रमण<br/>(अभाज्य-घात श्रृंखलाओं का प्रत्यक्ष गुणनफल!)"]
    P4 --> T4["μ(0̂, 1̂) = (-1)^(n-1) (n-1)!<br/>⇒ प्रायिकता सिद्धांत में<br/>आघूर्ण-संचयी (Moment-Cumulant) व्युत्क्रमण"]