Central Limit Theorem for tensor products of free variables

तकनीकी सारांश: मुक्त चरों के टेंसर उत्पादों के लिए केंद्रीय सीमा प्रमेय (Central Limit Theorem)

समस्या विवरण
यह शोध पत्र मुक्त यादृच्छिक चरों (free random variables) के टेंसर उत्पादों के सामान्यीकृत योगों के स्पर्शोन्मुखी व्यवहार (asymptotic behavior) को संबोधित करता है। विशेष रूप से, एक गैर-क्रमिक संभाव्यता स्थान (noncommutative probability space) $(A, \tau)$ में एक अनुक्रम $(a_k)_{k \in \mathbb{N}}$ के दिए होने पर, जो मुक्त, स्व-अडजॉइंट (self-adjoint), और समान रूप से वितरित यादृच्छिक चर हैं जिनका माध्य $\lambda$ और प्रसरण (variance) $\sigma^2$ है, लेखक इस अनुक्रम के वितरण में अभिसरण (convergence in distribution) की जांच करते हैं:
$$S_n := \frac{1}{\delta\sqrt{n}} \sum_{k=1}^n (a_k \otimes a_k - \lambda^2)$$
जो उत्पाद स्थान $(A \otimes A, \tau \otimes \tau)$ में स्थित है, जहाँ $\delta^2 = \text{var}(a \otimes a) = \sigma^2(\sigma^2 + 2\lambda^2)$ है।

जबकि शास्त्रीय मुक्त केंद्रीय सीमा प्रमेय (Free Central Limit Theorem - FCLT) यह स्थापित करता है कि मुक्त चरों के सामान्यीकृत योग अर्ध-वृत्ताकार (semi-circular) वितरण की ओर अभिसरित होते हैं, टेंसर उत्पाद संरचना एक जटिल निर्भरता पेश करती है: चर $a_k \otimes a_k$ एक-दूसरे से मुक्त नहीं हैं, भले ही मूल $a_k$ मुक्त हों। ऐसा इसलिए है क्योंकि टेंसर उत्पाद चरों के "पैरों" (legs) को जोड़ देता है, जिससे शास्त्रीय स्वतंत्रता (दो टेंसर पैरों के बीच) और फ्रीनेस (विभिन्न $k$ के बीच) का मिश्रण होता है। शोध पत्र का लक्ष्य $S_n$ के परिमित नियम (limiting law) की पहचान करना और यह निर्धारित करना है कि क्या यह अर्ध-वृत्ताकार बना रहता है या सामान्य (गैर-केंद्रित) मामले में इससे विचलित होता है।

कार्यप्रणाली (Methodology)
लेखक मुक्त संभाव्यता सिद्धांत में निहित एक संयोजन संबंधी दृष्टिकोण (combinatorial approach) का उपयोग करते हैं, जो विशेष रूप से मोमेंट-क्यूमुलेंट सूत्र (moment-cumulant formula) और विभाजनों (partitions) के विश्लेषण का उपयोग करता है।

1. मोमेंट विश्लेषण (Moment Analysis): प्रमाण सामान्यीकृत योग के मोमेंट्स $\tau'(S_n^p)$ की गणना करने की प्रक्रिया से आगे बढ़ता है। मुक्त संभाव्यता में सीमा प्रमेयों के लिए मानक तकनीक का उपयोग करते हुए, लेखक मोमेंट्स को विभाजनों $\pi \in P(p)$ पर योगों में विस्तारित करते हैं।
2. विभाजन अपघटन (Partition Decomposition): एक बीजगणितीय मैपिंग $\Phi$ का उपयोग करके पेयर पार्टीशन (pair partitions) $\pi \in P_2(p)$ का अपघटन एक महत्वपूर्ण तकनीकी नवाचार है। यह मैपिंग किसी भी विभाजन को एक गैर-क्रॉसिंग "कंकाल" (noncrossing skeleton) $\hat{\pi}$ और $\hat{\pi}$ के ब्लॉक्स से जुड़े जुड़े हुए पेयर पार्टीशन $\pi_T$ के संग्रह में विभाजित करती है।
3. ब्लॉक्स को पुनरावर्ती रूप से हटाना (Recursive Removal of Blocks): जुड़े हुए विभाजनों के योगदान का मूल्यांकन करने के लिए, लेखक एक ब्लॉक को एक-एक करके हटाने की एक पुनरावर्ती प्रक्रिया को परिभाषित करते हैं। वे यह ट्रैक करने के लिए एक "रंग योजना" (coloring scheme) ($w \in \{0, 1\}$) और एक बाइनरी वेक्टर $\theta \in \{0, 1\}^4$ पेश करते हैं कि कैसे एक ब्लॉक को हटाने से शेष चरों के संयुक्त वितरण पर प्रभाव पड़ता है। इसमें यह अंतर करना शामिल है कि टेंसर पैरों को मुक्त प्रतियों ($\tilde{a}$) द्वारा प्रतिस्थापित किया गया है या मूल चरों ($a$) के रूप में रखा गया है।
4. बाइपार्टाइट ग्राफ विश्लेषण (Bipartite Graph Analysis): लेखक विभाजनों के इंटरसेक्शन ग्राफ का विश्लेषण करते हैं। वे प्रदर्शित करते हैं कि सीमा (limit) इस बात पर महत्वपूर्ण रूप से निर्भर करती है कि यह ग्राफ बाइपार्टाइट (bipartite) है या नहीं। यदि इंटरसेक्शन ग्राफ में एक विषम चक्र (odd cycle) है, तो योगदान शून्य हो जाता है। यदि ग्राफ बाइपार्टाइट और जुड़ा हुआ (connected) है, तो योगदान गैर-शून्य होता है और यह पैरामीटर $q = \frac{2\lambda^2}{\sigma^2 + 2\lambda^2}$ पर निर्भर करता है।

मुख्य परिणाम
मुख्य परिणाम, प्रमेय 1.1, $S_n$ को एक माप $\mu_q$ के रूप में वितरण में अभिसरित होने की स्थापना करता है, जो दो विशिष्ट नियमों के बीच एक मुक्त इंटरपोलेशन (free interpolation) है:
$$\mu_q := \sqrt{q} \left( \frac{1}{\sqrt{2}}\mu_{sc} + \frac{1}{\sqrt{2}}\mu_{sc} \right) \boxplus \sqrt{1-q} \, \mu_{sc}$$
जहाँ:

• $\mu_{sc}$ मानक अर्ध-वृत्ताकार (semi-circular) वितरण है।
• $\boxplus$ मुक्त अभिसरण (free convolution) को दर्शाता है।
• $+$ शास्त्रीय अभिसरण (classical convolution) को दर्शाता है।
• $q = \frac{2\lambda^2}{\sigma^2 + 2\lambda^2} \in [0, 1]$ है।

परिबद्ध नियम $\mu_q$ को इसके मुक्त क्यूमुलेंट्स (free cumulants) द्वारा वर्णित किया गया है:

• विषम मुक्त क्यूमुलेंट्स शून्य होते हैं।
• दूसरा मुक्त क्यूमुलेंट 1 है।
• सम $n \ge 4$ के लिए, $n$-वाँ मुक्त क्यूमुलेंट $\kappa_n^{free}(\mu_q) = 2 \left(\frac{q}{2}\right)^{n/2} |P_{bicon}^2(n)|$ है, जहाँ $|P_{bicon}^2(n)|$ $n$ के बाइपार्टाइट कनेक्टेड पेयर पार्टीशन की संख्या है।

विशिष्ट मामले:

• केंद्रित मामला ($\lambda = 0$): यहाँ $q=0$ है। सीमा $\mu_{sc}$ में बदल जाती है, जो मानक अर्ध-वृत्ताकार वितरण है। यह इस धारणा की पुष्टि करता है कि यदि चर केंद्रित हैं, तो टेंसर उत्पाद एक मानक मुक्त योग की तरह व्यवहार करता है।
• गैर-केंद्रित मामला ($\lambda \neq 0$): यहाँ $q > 0$ है। सीमा एक गैर-तुच्छ मिश्रण (non-trivial mixture) है।
  • यदि $q=1$ (जिसका अर्थ है $\sigma=0$, यानी नियत/deterministic चर), तो सीमा दो अर्ध-वृत्तों का शास्त्रीय अभिसरण (स्केल्ड) है, जो दो स्वतंत्र अर्ध-वृत्ताकार चरों के योग का प्रतिनिधित्व करता है।
  • $0 < q < 1$ के लिए, सीमा अर्ध-वृत्त और दो अर्ध-वृत्तों के शास्त्रीय अभisरण के बीच एक "मुक्त इंटरपोलेशन" का प्रतिनिधित्व करती है।

फ्रीनेस पर कोरोलरी (Corollary on Freeness)
मुख्य प्रमेय का एक सीधा परिणाम कोरोलरी 1.2 है: यदि चर $a_k$ गैर-केंद्रित हैं ($\lambda \neq 0$), तो टेंसर उत्पाद $\{a_k \otimes a_k\}$ मुक्त (free) नहीं हैं। यदि वे मुक्त होते, तो उनका सामान्यीकृत योग एक अर्ध-वृत्ताकार वितरण की ओर अभिसरित होता, जो इस परिणाम का खंडन करता है कि सीमा $\mu_q$ है जहाँ $q > 0$ है।

महत्व और दावे
शोध पत्र यह दावा करता है कि यह मुक्त चरों के टेंसर उत्पादों के अभिसरण और उनके सीमा की स्पष्ट पहचान को हल करता है, जो क्वांटम सूचना सिद्धांत (विशेष रूप से रैंडम क्वांटम चैनल और रियलैग्नमेंट क्वांटम अवस्थाओं के स्पेक्ट्रम) के मॉडलों द्वारा प्रेरित है।

लेखक इस बात पर जोर देते हैं कि कठिनाई शास्त्रीय स्वतंत्रता (टेंसर पैरों के भीतर) और फ्रीनेस (टेंसर प्रतियों के बीच) के परस्पर प्रभाव में निहित है। वे नोट करते हैं कि हालांकि केंद्रित अर्ध-वृत्ताकार चरों के लिए समान गणनाएँ मौजूद हैं, सामान्य मामले के लिए निर्भरता संरचना की एक नई समझ की आवश्यकता होती है।

शोध पत्र विनम्रतापूर्वक सुझाव देता है कि विकसित किए गए परिणाम और तकनीकें क्वांटम सूचना में पृथकरणीय क्वांटम अवस्थाओं (separable quantum states) के विशिष्ट स्पर्शोन्मुखी स्पेक्ट्रम और रियलैग्नमेंट ऑपरेशन को समझने में उपयोगी हो सकते हैं, जहाँ ऐसे रैंडम मैट्रिक्स मॉडल स्वाभाविक रूप से दिखाई देते हैं। इसके अलावा, परिणाम यह भी दर्शाता है कि टेंसर मामले के अनुरूप किसी भी सामान्य स्वतंत्रता की अवधारणा केवल मानक फ्रीनेस में नहीं सिमट सकती, क्योंकि सीमित व्यवहार व्यक्तिगत चरों के मुक्त अभिसरण से काफी भिन्न है।