🔢 mathematics

A generalization of Frenkel's formula

यह शोधपत्र ऑपरेटरों के ट्रेस (trace) के लिए फ्रेंकेल के इंटीग्रल फॉर्मूला का विस्तार स्वयं ऑपरेटरों तक करता है, जो एक सामान्यीकृत फॉर्मूला स्थापित करता है जो बाउंडेड सेल्फ-एडजॉइंट पॉजिटिव ऑपरेटरों और $p$ -शैटन क्लास (p-Schatten class) के भीतर कॉम्पैक्ट पॉजिटिव ऑपरेटरों पर लागू होता है।

मूल लेखक: Shmuel Friedland

प्रकाशित 2026-02-17

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Shmuel Friedland

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप दो जटिल वस्तुओं के बीच की "दूरी" या "अंतर" को मापने की कोशिश कर रहे हैं, जैसे कि केक की दो अलग-अलग रेसिपी या किसी शहर के दो अलग-अलग नक्शे। क्वांटम भौतिकी और उन्नत गणित की दुनिया में, इन वस्तुओं को ऑपरेटर (operators) कहा जाता है (सोचिए कि ये डेटा को बदलने वाली जटिल मशीनें हैं), और उनके अंतर के माप को डाइवर्जेंस (divergence) कहा जाता है।

लंबे समय से, गणितज्ञों के पास इस अंतर को मापने के लिए एक विशिष्ट, चतुर उपकरण था, जिसे फ्रेनकेल (Frenkel) ने खोजा था। हालाँकि, फ्रेनकेल का उपकरण एक ऐसे पैमाने की तरह था जो केवल तभी पूरी तरह काम करता था जब आप अंतर के कुल "वजन" (trace) को माप रहे हों, न कि वास्तविक अंतर को। यह ऐसा था जैसे आप दो केक के बीच के अंतर के कुल वजन को तो जानते हों, लेकिन उस अंतर के वास्तविक आकार को नहीं देख पाते।

शमुएल फ्रीडलैंड का पेपर इस पैमाने को अपग्रेड करने के बारे में है। उन्होंने एक सामान्यीकृत सूत्र (generalized formula) बनाया है जो हमें केवल उसके कुल वजन को ही नहीं, बल्कि सीधे अंतर के "आकार" को मापने की अनुमति देता है। यह तब भी काम करता है जब वस्तुएं बहुत जटिल, अनंत, या अजीब व्यवहार करने वाली हों।

यहाँ पेपर के विचारों का रोजमर्रा के उपमाओं (analogies) का उपयोग करके विवरण दिया गया है:

1. समस्या: "अंतराल" को मापना

कल्पना कीजिए कि आपके पास प्रकाश के दो चिकने, चमकते हुए गोले हैं, बॉल A और बॉल B। आप जानना चाहते हैं कि वे एक-दूसरे से कितने भिन्न हैं।

सरल गणित में, यदि गेंदें केवल संख्याएँ हैं, तो आप उन्हें आसानी से घटा सकते हैं।
लेकिन क्वांटम भौतिकी में, ये गेंदें "ऑपरेटर" हैं। वे जटिल मशीनों की तरह हैं जो स्थान को घुमाती हैं, खींचती हैं और मरोड़ती हैं। उन्हें घटाना केवल $A - B$ जितना सरल नहीं है। कभी-कभी मशीन का एक हिस्सा "नकारात्मक" (काम को उलटना) हो सकता है और दूसरा हिस्सा "सकारात्मक" (काम करना) हो सकता है।

फ्रेनकेल का पुराना सूत्र एक विशेष इंटीग्रल (एक विशेष प्रकार का अनंत स्लाइस जोड़ना) का उपयोग करके इन दो गेंदों के बीच के अंतर की कुल ऊर्जा की गणना करने का एक तरीका था। यह शानदार था, लेकिन यह केवल आपको "कुल स्कोर" (trace) ही देता था।

2. समाधान: "डाइवर्जेंस ऑपरेटर"

फ्रीडलैंड पूछते हैं: क्या हम एक ऐसा सूत्र लिख सकते हैं जो हमें केवल उसका कुल स्कोर नहीं, बल्कि वास्तविक अंतर मशीन ही दे दे?

वह कहते हैं हाँ। वह एक नया सूत्र पेश करते हैं (पेपर में समीकरण 7) जो एक 3D प्रिंटर की तरह कार्य करता है।

पुराना तरीका: आप केवल अंतर के कुल आयतन (volume) की गणना कर सकते थे।
नया तरीका: अब आप अंतर मशीन के सटीक आकार की गणना कर सकते हैं।

वह इस नई चीज़ को डाइवर्जेंस ऑपरेटर ( $\Delta(A\|B)$ ) कहते हैं। इसे एक "डिफरेंस इंजन" (Difference Engine) के रूप में सोचें। यदि आप इसमें दो मशीनें (A और B) डालते हैं, तो यह एक नई मशीन निकालता है जो बिल्कुल दर्शाती है कि A, B से कैसे भिन्न है, और इसके सभी जटिल विवरणों को सुरक्षित रखती है।

3. "लेयर केक" की उपमा

पेपर एक तकनीक का उपयोग करता है जिसे "लेयर केक रिप्रेजेंटेशन" (Layer Cake Representation) कहा जाता है। कल्पना कीजिए कि आप एक जटिल केक (A और B के बीच का अंतर) का वर्णन करना चाहते हैं।

पूरे केक को एक साथ वर्णित करने के बजाय, आप इसे क्षैतिज रूप से अनंत पतली परतों में काटते हैं।
प्रत्येक परत अंतर के एक विशिष्ट "थ्रेशोल्ड" (threshold) का प्रतिनिधित्व करती है।
फ्रेनकेल का सूत्र इन सभी परतों के आयतन को जोड़ने का एक तरीका था।
फ्रीडलैंड का नया सूत्र कहता है: "आइए परतों को अलग रखें!" यह दिखाता है कि संपूर्ण अंतर मशीन इन विशिष्ट परतों का योग है, जिन्हें सही ढंग से भारित (weighted) किया गया है।

यह शक्तिशाली है क्योंकि यह तब भी काम करता है जब केक का आकार अनंत हो (अनंत-आयामी स्थान) या यदि सामग्री अजीब हो (सिंगुलर मैट्रिसेस)।

4. "ट्रैफिक लाइट" नियम (जब चीजें टूट जाती हैं)

पेपर यह भी खोजता है कि यह माप कब काम करता है और कब यह अनियंत्रित हो जाता है।

परिदृश्य A (चिकनी सड़क): यदि मशीन A, मशीन B से "छोटी" है (एक विशिष्ट गणितीय अर्थ में), तो अंतर सुव्यवस्थित रहता है। सूत्र आपको एक परिमित (finite), उपयोगी परिणाम देता है।
परिदृश्य B (खड़ी ढलान/क्लिफ): यदि मशीन A में ऐसे हिस्से हैं जो मशीन B में पूरी तरह से अनुपस्थित हैं (जैसे A में एक ऐसी विशेषता है जो B में बिल्कुल नहीं है), तो उनके बीच का "दूरी" अनंत हो जाती है।
- उपमा: एक कार और एक साइकिल के बीच के अंतर को मापने की कोशिश करने की कल्पना करें। यदि आप "इंजन के अंतर" को मापने की कोशिश करते हैं, तो कार में एक विशाल इंजन है, और साइकिल में कुछ भी नहीं है। अंतर इतना बड़ा है कि वह प्रभावी रूप से अनंत है।
- फ्रीडलैंड का पेपर सिद्ध करता है कि यदि यह "अनंत अंतराल" मौजूद है, तो सूत्र सही ढंग से बताता है: "परिणाम अनंत है।" यह टूटता नहीं है; यह बस आपको चेतावनी देता है कि दो वस्तुएं उस विशिष्ट तरीके से मौलिक रूप से असंगत हैं।

5. आपको इसकी परवाह क्यों करनी चाहिए?

यह बहुत अमूर्त गणित लग सकता है, लेकिन यह क्वांटम सूचना सिद्धांत (Quantum Information Theory) की रीढ़ है।

क्वांटम कंप्यूटर: ये मशीनें क्वांटम अवस्थाओं (प्रकाश के गोलों) के सटीक हेरफेर पर निर्भर करती हैं। यह जानने के लिए कि एक क्वांटम कंप्यूटर कितनी अच्छी तरह काम कर रहा है, या कितनी जानकारी खो गई है, वैज्ञानिकों को आदर्श अवस्था और वास्तविक अवस्था के बीच की "दूरी" को मापने की आवश्यकता होती है।
डेटा सुरक्षा: क्रिप्टोग्राफी में, दो डेटा स्ट्रीम के बीच के सटीक "डाइवर्जेंस" को जानना यह निर्धारित करने में मदद करता है कि क्या किसी संदेश को हैक किया गया है या क्या यह सुरक्षित है।

सारांश

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

उन्होंने दिखाया कि:

आप इस जटिल अंतर की गणना सीधे एक इंटीग्रल (परतों के योग) का उपयोग करके कर सकते हैं।
यह सरल, परिमित वस्तुओं और जटिल, अनंत वस्तुओं दोनों के लिए काम करता है।
यदि दो वस्तुएं बहुत भिन्न हैं (एक में ऐसे हिस्से हैं जो दूसरे में नहीं हैं), तो सूत्र सही ढंग से चिल्लाकर कहता है "अनंत", जो हमें बताता है कि वे मौलिक रूप से असंगत हैं।

यह एक ऐसे तराजू से अपग्रेड करने जैसा है जो केवल यह बताता है कि अंतर कितना भारी है, से लेकर एक उच्च-रिज़ॉल्यूशन स्कैनर तक, जो अंतर का सटीक 3D आकार दिखाता है, साथ ही एक चेतावनी लाइट भी देता है यदि वस्तुएं इतनी दूर हैं कि वे कभी मिल नहीं सकतीं।

यहाँ श्मुल अल फ्रिएडलैंड के शोध पत्र "A Generalization of Frenkel's Formula" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण (Problem Statement)

यह शोध पत्र क्वांटम रिलेटिव एंट्रॉपी (डाइवर्जेंस) के लिए स्केलर ट्रेस (scalar traces) से ऑपरेटर-वैल्यूड एक्सप्रेशंस (operator-valued expressions) तक फ्रेन्कल के इंटीग्रल फॉर्मूला (Frenkel's integral formula) के सामान्यीकरण को संबोधित करता है।

संदर्भ: क्वांटम इंफॉर्मेशन थ्योरी (QIT) में, दो डेंसिटी मैट्रिसेस $\rho$ और $\sigma$ के बीच उमेगाकी रिलेटिव एंट्रॉपी (Umegaki relative entropy) को $D(\rho \| \sigma) = \text{Tr}(\rho(\log \rho - \log \sigma))$ के रूप में परिभाषित किया जाता है।
मौजूदा ज्ञान: फ्रेन्कल ने डाइवर्जेंस के ट्रेस के लिए एक इंटीग्रल रिप्रेजेंटेशन स्थापित किया था:
$D(A \| B) = \int_{-\infty}^{\infty} \frac{dt}{|t|(t-1)^2} \text{Tr}\left( ((1-t)A + tB)_- \right)$
जहाँ $X_-$ ऑपरेटर $X$ के नेगेटिव पार्ट (negative part) को दर्शाता है।
अंतराल (The Gap): जबकि ट्रेस फॉर्मूला सुस्थापित है, सामान्य गैर-कम्यूटिंग पॉजिटिव ऑपरेटर्स के लिए एक संगत ऑपरेटर-लेवल आइडेंटिटी (एक ऑपरेटर-स्तरीय समानता, न कि केवल उनके ट्रेस के बीच समानता) को पूरी तरह से स्थापित नहीं किया गया है। यह शोध पत्र एक ऐसी ऑपरेटर आइडेंटिटी व्युत्पन्न करने का लक्ष्य रखता है जहाँ ट्रेस को हटा दिया जाए, जिससे ऑपरेटरों की समानता प्राप्त हो सके।

2. कार्यप्रणाली (Methodology)

फ्रिएडलैंड स्पेक्ट्रल थ्योरी (spectral theory), ऑपरेटर कैलकुलस और परिमित एवं अनंत-आयामी हिल्बर्ट स्पेस (Hilbert spaces) दोनों में एप्रोक्सिमेशन तकनीकों के संयोजन का उपयोग करते हैं।

परिभाषाएं और नोटेशन:
- डाइवर्जेंस ऑपरेटर $\Delta(A \| B)$ को इस प्रकार परिभाषित किया गया है:
  $\Delta(A \| B) := A(\log A - \log B) - B D_{\log}[B](A) + B$
  जहाँ $D_{\log}[B](A)$ , लॉग ( $\log$ ) का डायरेक्शनल डेरिवेटिव (directional derivative) है।
- यह स्पेक्ट्रल डीकंपोजिशन और पॉजिटिव/नेगेटिव पार्ट्स ( $T_+, T_-$ ) का उपयोग करता है।
- ऑपरेटर $O_\gamma(A \| B) = (A - \gamma B)_+$ को पेश करता है।
परिमित-आयामी दृष्टिकोण ( $n \times n$ मैट्रिसेस):
- एनालिटिसिटी (Analyticity): यह तथ्य का उपयोग करता है कि एक हर्मिटियन पेंसिल (Hermitian pencil) $(A + tB)_+$ का पॉजिटिव पार्ट $\mathbb{R}$ पर लगभग हर जगह एनालिटिक है, जिसके सिंगुलैरिटीज केवल $\mathbb{R}$ के सीमित बिंदुओं पर होते हैं।
- वेरिएबल परिवर्तन (Change of Variables): $t \in (-\infty, \infty)$ पर इंटीग्रल को $\gamma = \frac{t}{t-1}$ प्रतिस्थापन का उपयोग करके $\gamma \in (1, \infty)$ पर इंटीग्रल में बदलता है।
- विघटन (Decomposition): इंटीग्रल को $t \in [0, 1]$ , $t \in (1, \infty)$ , और $t \in (-\infty, 0)$ क्षेत्रों में विभाजित करता है ताकि $((1-t)A + tB)_-$ के इंटीग्रल को $O_\gamma(A \| B)$ और $O_\gamma(B \| A)$ के इंटीग्रल से जोड़ा जा सके।
- लिमिट तर्क (Limit Arguments): स्ट्रिक्टली पॉजिटिव डेफिनिट मैट्रिसेस ( $A, B > 0$ ) के लिए पहचान सिद्ध करता है और एक लिमिटिंग प्रोसेस ( $A_k \to A$ ) के माध्यम से पॉजिटिव सेमीडेफिनिट मैट्रिसेस ( $A \geq 0$ ) तक इसका विस्तार करता है।
अनंत-आयामी दृष्टिकोण (Hilbert Space):
- परिणामों को बाउंडेड सेल्फ-एडजॉइंट ऑपरेटर्स और $p$ -Schatten क्लास ( $S_p$ ) ऑपरेटर्स तक विस्तारित करता है।
- फाइनाइट-रैंक एप्रोक्सिमेशन ( $P_n A P_n$ ) का उपयोग करता है जो स्ट्रोंग या नॉर्म टोपोलॉजी में अभिसरित (converge) होते हैं।
- हर्मिटियन पेंसिल्स के आइजनवैल्यू और आइजनवेक्टर्स की एनालिटिसिटी सुनिश्चित करने के लिए काटो की असमानताओं (Kato's inequalities) पर निर्भर करता है।
- यह सुनिश्चित करने के लिए रेलिच के प्रमेय (Rellich's theorem) को लागू करता है कि इंटीग्रल्स को परिभाषित करने के लिए आवश्यक है।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

A. मुख्य ऑपरेटर आइडेंटिटी (The Main Operator Identity)

प्राथमिक परिणाम फ्रेन्कल के फॉर्मूला का ऑपरेटर समानता के रूप में सामान्यीकरण है। $A \geq 0$ और $B > 0$ के लिए:
$A(\log A - \log B) - B D_{\log}[B](A) + B = \int_{-\infty}^{\infty} \frac{dt}{|t|(t-1)^2} ((1-t)A + tB)_-$
यह "लेयर केक" (layer cake) प्रतिनिधित्व के समकक्ष है:
$\Delta(A \| B) = \int_{1}^{\infty} \left( \gamma^{-1} O_\gamma(A \| B) + \gamma^{-2} O_\gamma(B \| A) \right) d\gamma$
जहाँ $O_\gamma(A \| B) = (A - \gamma B)_+$ ।

B. अभिसरण का द्वैत (Dichotomy of Convergence - Theorem 1 & 2)

पेपर इन इंटीग्रल्स के अभिसरण के संबंध में एक महत्वपूर्ण द्वैत स्थापित करता है:

बाउंडेड केस (Bounded Case): यदि $\tau \geq 1$ ऐसा है कि $A \leq \tau B$ (अर्थात, $A$ का सपोर्ट $B$ के सपोर्ट के भीतर है और $A$ , $B$ के सापेक्ष बाउंडेड है), तो इंटीग्रल एक बाउंडेड, नॉन-नेगेटिव ऑपरेटर $\Delta(A \| B)$ में अभिसरित होता है।
अनबाउंडेड केस (Unbounded Case): यदि ऐसा कोई $\tau$ मौजूद नहीं है (विशेष रूप से यदि $\text{supp}(A) \not\subseteq \text{supp}(B)$ ), तो इंटीग्रल अनंत की ओर डायवर्ज (diverge) होता है (इस अर्थ में कि आंशिक इंटीग्रल्स का नॉर्म अनंत की ओर बढ़ता है)। इस स्थिति में, डाइवर्जेंस फॉर्मूला के दोनों पक्ष प्रभावी रूप से अनंत होते हैं।

C. $p$ -Schatten क्लासेस तक विस्तार (Extension to $p$ -Schatten Classes - Theorem 3)

परिणामों को अनंत-आयामी सेपरेबल हिल्बर्ट स्पेस के लिए $p$ -Schatten क्लास ( $S_p$ ) के ऑपरेटर्स के लिए विस्तारित किया गया है।

पेपर डाइवर्जेंस ऑपरेटर को फाइनाइट-डायमेंशनल प्रोजेक्शन्स के लिमिट के रूप में परिभाषित करता है।
यह सिद्ध करता है कि यदि $\int \gamma^{-1} \|O_\gamma(A \| B)\|_p d\gamma$ का इंटीग्रल परिमित है, तो ऑपरेटर आइडेंटिटी $p$ -नॉर्म टोपोलॉजी में मान्य होती है।
यह स्थितियाँ प्रदान करता है जिनके तहत फाइनाइट-डायमेंशनल एप्रोक्सिमेशन का अनुक्रम अनंत-आयामी ऑपरेटर डाइवर्जेंस में अभिसरित होता है।

D. सहायक इंटीग्रल रिप्रेजेंटेशन (Auxiliary Integral Representations)

पेपर विशिष्ट बाउंडेडनेस स्थितियों (जैसे $A^2 \leq \alpha^2 B^2$ ) के तहत $B D_{\log}[B](A)$ और $A(\log A - \log B)$ के लिए नए इंटीग्रल रिप्रेजेंटेशन प्रदान करता है, जो स्पेक्ट्रल डीकंपोजिशन पर निर्भर किए बिना इन ऑपरेटर इंटीग्रल्स के अभिसरण को सुनिश्चित करते हैं।

4. महत्व (Significance)

सैद्धांतिक प्रगति: यह कार्य स्केलर ट्रेस असमानताओं से आगे बढ़कर ऑपरेटर असमानताओं की ओर बढ़ता है। यह पुष्टि करता है कि रिलेटिव एंट्रॉपी और "लेयर केक" इंटीग्रल रिप्रेजेंटेशन के बीच संरचनात्मक संबंध केवल ट्रेस लेने के बाद ही नहीं, बल्कि ऑपरेटर स्तर पर भी बना रहता है।
क्वांटम इंफॉर्मेशन थ्योरी (QIT): यह फॉर्मूला गैर-कम्यूटेटिविटी ( $AB \neq BA$ ) को माने बिना क्वांटम डाइवर्जेंस का विश्लेषण करने के लिए एक कठोर उपकरण प्रदान करता है। यह नॉन-कम्यूटेटिव प्रोबेबिलिटी और क्वांटम चैनल विश्लेषण के लिए आवश्यक है।
कम्प्यूटेशनल और एनालिटिकल उपयोगिता: डाइवर्जेंस ऑपरेटर को ऑपरेटर्स के लीनियर कॉम्बिनेशन के पॉजिटिव पार्ट्स के इंटीग्रल के रूप में व्यक्त करके, यह शोध पत्र ऑपरेटर मोनोटोनिसिटी और कॉनवेक्सिटी से जुड़े संख्यात्मक एप्रोक्सिमेशन और सैद्धांतिक प्रमाणों के लिए एक नया दृष्टिकोण प्रदान करता है।
ज्ञात परिणामों का सामान्यीकरण: यह फ्रेन्कल, चेंग, लियू और अन्यों के पिछले परिणामों को एकीकृत और सामान्यीकृत करता है, जिससे उन सटीक स्थितियों (सपोर्ट कंटेनमेंट) को स्पष्ट किया गया है जिनके तहत ये ऑपरेटर डाइवर्जेंस अच्छी तरह से परिभाषित और परिमित हैं।

संक्षेप में, फ्रिएडलैंड सफलतापूर्वक फ्रेन्कल के इंटीग्रल फॉर्मूला को ट्रेस के क्षेत्र से उठाकर ऑपरेटर्स के क्षेत्र में ले जाते हैं, जिससे एक मजबूत ढांचा स्थापित होता है जो दोनों परिमित और अनंत-आयामी क्वांटम सिस्टम के लिए "डाइवर्जेंस ऑपरेटर" को परिभाषित और विश्लेषण करता है।