🔢 mathematics

Three-Point Trace Positivity:Schatten Norm Compression and Interpolating Metrics

यह शोध पत्र मापदंडों $1/2 \le r \le 1$ के लिए एक विशिष्ट तीन-बिंदु ट्रेस आव्यूह (three-point trace matrix) की धनात्मकता को स्थापित करता है, जो एक साथ शैटन नॉर्म संपीड़न (Schatten norm compression) पर लिन-वैन डेन ड्रीस्चे अनुमान (Lin–van den Driessche conjecture) को हल करता है और उस सटीक सीमा $t \in [1,2]$ को अभिलक्षणित करता है जिसके लिए हेलिंगर और ब्योर्स दूरियों के बीच इंटरपोलेटिंग मेट्रिक्स का एक नया परिवार धनात्मक ऑपरेटरों पर एक पूर्ण मीट्रिक (complete metric) बनाता है।

मूल लेखक: Trung Dung Vuong, Hiroyuki Osaka

प्रकाशित 2026-10-09

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

CC BY 4.0

मूल लेखक: Trung Dung Vuong, Hiroyuki Osaka

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

आधुनिक गणित के विशाल परिदृश्य में, एक ऐसी शाखा है जो उन स्थानों की ज्यामिति को समझने के लिए समर्पित है जहाँ संख्याएँ हमेशा उस तरह व्यवहार नहीं करतीं जैसा हम अपेक्षा करते हैं। रोजमर्रा के अंकगणित की परिचित दुनिया में, संख्याओं को गुणा करने का क्रम मायने नहीं रखता; दो गुणा तीन, तीन गुणा दो के समान है। हालाँकि, क्वांटम क्षेत्र और उन्नत ऑपरेटर सिद्धांत (operator theory) में, यह नियम अक्सर टूट जाता है। गैर-क्रमविनिमेय (non-commuting) वस्तुओं से वर्णित जटिल प्रणालियों के साथ काम करते समय, मानक दूरी और आकार के नियम परिभाषित करना कठिन हो जाता है। गणितज्ञों ने लंबे समय से ऐसी दो वस्तुओं के बीच "दूरी" को मापने का एक विश्वसनीय तरीका खोजने का प्रयास किया है, जो कि क्वांटम प्रणालियों में सूचना कैसे बदलती है और पदार्थ के विभिन्न अवस्थाएँ एक-दूसरे से कैसे संबंधित हैं, इसे समझने के लिए अत्यंत महत्वपूर्ण है। दशकों तक, शोधकर्ताओं ने इन दूरियों को मापने के लिए विभिन्न सूत्रों का प्रस्ताव दिया, लेकिन वे एक निरंतर पहेली का सामना कर रहे थे: कौन से सूत्र वास्तव में एक वैध, सुसंगत ज्यामिति बनाते हैं, और कौन से गणित के सख्त नियमों के परीक्षण के विरुद्ध विफल हो जाते हैं?

दो विशिष्ट समस्याएँ इस क्षेत्र में अनसुलझी रह गई थीं। पहली समस्या इस बारे में थी कि डेटा के बड़े ब्लॉकों को उनके आवश्यक संरचनात्मक अखंडता को खोए बिना छोटे, प्रबंधनीय टुकड़ों में कैसे संकुचित किया जाए। गणितज्ञों लििन (Lin) और वैन डेन ड्रीस्च (van den Driessche) द्वारा दिए गए एक अनुमान (conjecture) ने सुझाव दिया था कि इन ब्लॉकों को मापने की एक विशिष्ट विधि हमेशा काम करेगी, लेकिन कोई भी इसे सभी मामलों के लिए सिद्ध नहीं कर सका। दूसरी समस्या दूरी के सूत्रों के एक परिवार से संबंधित थी जो एक निश्चित सीमा के बिल्कुल प्रारंभ और अंत में पूरी तरह से काम करते हुए प्रतीत होते थे, लेकिन बीच में एक रहस्यमय अंतराल छोड़ देते थे। वैज्ञानिक जानते थे कि ये सूत्र चरम सीमाओं पर काम करते हैं, लेकिन वे यह नहीं जानते थे कि क्या वे बीच के मानों के लिए भी वैध रहेंगे, या क्या बीच में कहीं ज्यामिति ढह जाएगी।

त्रुंग डुंग वोंग (Trung Dung Vuong) और हिरोयुकी ओसाका (Hiroyuki Osaka) के एक नए अध्ययन ने अंततः इन अंतरालों को भर दिया है। शोधकर्ताओं ने केवल जोड़ों को देखने के बजाय, एक समय में तीन वस्तुओं के बीच के संबंध का विश्लेषण करने के लिए एक शक्तिशाली नया उपकरण विकसित किया है। इन जटिल स्थानों में किन्हीं भी तीन धनात्मक वस्तुओं के लिए एक विशिष्ट गणितीय संबंध हमेशा सत्य होता है, इसे सिद्ध करके, उन्होंने एक एकल तंत्र स्थापित किया जो दोनों दीर्घकालिक समस्याओं को हल करता है। उनका कार्य पुष्टि करता है कि लििन-वैन डेन ड्रीस्च अनुमान सही है: डेटा ब्लॉकों को संकुचित करने की विधि वास्तव में वैध है और आवश्यक संरचना को सुरक्षित रखती है। इसके अलावा, उन्होंने उन मानों की सटीक सीमा निर्धारित की जिनके लिए दूरी के सूत्र काम करते हैं। उन्होंने सिद्ध किया कि ये सूत्र एक पूर्ण और सुसंगत ज्यामिति केवल तभी बनाते हैं जब एक विशिष्ट पैरामीटर एक और दो के बीच हो। इस सीमा के बाहर, ज्यामिति टूट जाती है, और दूरी एक वास्तविक दूरी की तरह व्यवहार करने में विफल रहती है।

शोधकर्ताओं ने यह उपलब्धि "थ्री-पॉइंट ट्रेस पॉजिटिविटी" (three-point trace positivity) नामक गुण पर ध्यान केंद्रित करके प्राप्त की। सरल शब्दों में, इसका अर्थ है यह जाँच करना कि क्या तीन अलग-अलग वस्तुओं को शामिल करने वाली एक विशिष्ट गणना हमेशा एक धनात्मक या शून्य मान देती है, जो एक स्थिर ज्यामितीय संरचना के लिए एक आवश्यकता है। उन्होंने दिखाया कि मापदंडों की एक निश्चित सीमा के लिए, यह गणना हमेशा धनात्मक होती है, लेकिन यदि आप चार वस्तुओं का उपयोग करने का प्रयास करते हैं, तो गणना विफल हो सकती है। यह निष्कर्ष महत्वपूर्ण है क्योंकि यह एक तीक्ष्ण सीमा को प्रकट करता है: ज्यामिति तीन बिंदुओं के लिए स्थिर है, लेकिन चार के लिए आवश्यक नहीं है। इस अंतर ने उन्हें ठीक से निर्धारित करने में मदद की कि दूरी के सूत्र कहाँ काम करते हैं और कहाँ नहीं।

डेटा संपीड़न (data compression) की समस्या के लिए, यह प्रमाण पुष्टि करता है कि जब आप डेटा ब्लॉकों के एक बड़े ग्रिड को एक विशिष्ट घात (power) का उपयोग करके उनके आकार को मापते हैं, तो मापन का परिणामी ग्रिड हमेशा एक स्थिर, धनात्मक संरचना बनाता है। यह एक दशक पुराने प्रश्न को हल करता है और इंजीनियरों एवं भौतिकविदों को आश्वस्त करता है कि वे इस संपीड़न विधि का विश्वास के साथ उपयोग कर सकते हैं। दूरी की समस्या के लिए, अध्ययन स्पष्ट करता है कि ये सूत्र एक और दो के बीच के मानों के लिए पूरी तरह से काम करते हैं, जिससे एक ऐसा स्थान बनता है जहाँ आप दूरियाँ माप सकते हैं, सीधी रेखाएँ परिभाषित कर सकते हैं और यह सुनिश्चित कर सकते हैं कि दो बिंदुओं के बीच का लघुतम पथ अद्वितीय है। हालाँकि, यदि पैरामीटर एक से कम या दो से अधिक है, तो त्रिकोण असमानता (triangle inequality) विफल हो जाती है, जिसका अर्थ है कि दो बिंदुओं के बीच का लघुतम पथ एक सीधी रेखा नहीं हो सकता है, और ज्यामिति असंगत हो जाती है।

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

इन मुद्दों को हल करके, यह शोध पत्र एक पूर्ण मानचित्र प्रदान करता है कि ये ज्यामितीय उपकरण कहाँ मान्य हैं। यह संभावना को खारिज करता है कि सूत्र धनात्मक संख्याओं की पूरी सीमा के लिए काम करते हैं, बल्कि यह दिखाता है कि वे एक और दो के बीच की विशिष्ट खिड़की के बाहर नाजुक हैं। यह कार्य अन्य गणितज्ञों द्वारा उठाए गए एक प्रश्न को भी संबोधित करता है कि क्या ये सूत्र सभी संभावित बीजगणितीय संरचनाओं के लिए काम करते हैं, यह पुष्टि करते हुए कि वे प्रणालियों के एक विस्तृत वर्ग के लिए काम करते हैं, बशर्ते कि प्रणाली बहुत सरल न हो। यह अध्ययन एक निर्णायक प्रमाण के रूप में खड़ा है, जिसमें सिमुलेशन या सन्निकटन (approximation) के लिए कोई गुंजाइश नहीं छोड़ी गई है; यह एक कठोर प्रदर्शन है कि ज्यामिति पहचाने गए दायरे के भीतर दृढ़ रहती है और उसके बाहर विफल हो जाती है। यह स्पष्टता भविष्य के शोधकर्ताओं को एक ठोस आधार पर निर्माण करने की अनुमति देती है, यह जानते हुए कि कौन से उपकरण सुरक्षित हैं और कौन से विरोधाभासों की ओर ले जाएंगे।

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

अंततः, यह शोध पत्र परिशुद्धता और सीमा-निर्धारण की कहानी है। यह उन उपकरणों का एक समूह है जो किनारों पर काम करते जाने के लिए जाने जाते थे और यह सिद्ध करता है कि उन्हें वास्तव में कितनी दूर तक ले जाया जा सकता है। यह एक ऐसे अनुमान की पुष्टि करता है जो वर्षों से खुला था और मीट्रिक्स के सिद्धांत के एक अंतराल को बंद करता है जिसने विशेषज्ञों को उलझाया था। परिणाम एक स्पष्ट, अधिक विश्वसनीय ढांचा प्रदान करता है जिससे गैर-क्रमविनिमेय ज्यामिति की जटिल दुनिया में नेविगेट किया जा सके। जिज्ञासु पर्यवेक्षक के लिए, मुख्य बात यह है कि सबसे अमूर्त क्षेत्रों में भी, कठोर सीमाएँ और स्पष्ट नियम होते हैं, और उन्हें खोजने के लिए एक नए दृष्टिकोण से समस्या को देखना आवश्यक है—इस मामले में, पूरे को समझने के लिए तीन वस्तुओं के बीच के संबंध की जांच करना।

तकनीकी सारांश: तीन-बिंदु ट्रेस धनात्मकता और अंतर्वैयक्तिक मेट्रिक्स (Three-Point Trace Positivity and Interpolating Metrics)

समस्या विवरण
यह शोध पत्र ऑपरेटर बीजगणित (operator algebras) और नॉन-कम्यूटेटिव विश्लेषण (noncommutative analysis) के सिद्धांत में दो अलग-अलग लेकिन संबंधित समस्याओं को संबोधित करता है:

शैटन नॉर्म संपीड़न (Schatten Norm Compression): एक धनात्मक अर्ध-निश्चित (positive semidefinite) $3 \times 3$ ब्लॉक मैट्रिक्स के ब्लॉक्स के शैटन $p$ -मानों (Schatten $p$ -norms) से बने $3 \times 3$ ब्लॉक मैट्रिक्स की धनात्मक अर्ध-निश्चितता के संबंध में लिन और वैन डेन ड्रेसचे (Lin and van den Driessche) के अनुमान को हल करना। विशेष रूप से, एक धनात्मक ब्लॉक मैट्रिक्स $H = [H_{ij}]_{i,j=1}^3$ के लिए, यह अनुमान लगाया गया है कि मैट्रिक्स $[\|H_{ij}\|_p^p]_{i,j=1}^3$ $1 \le p \le 2$ के लिए धनात्मक अर्ध-निश्चित है।
$L^1$ -शंकु (Cone) का मीट्रिक ज्यामिति: एक सेमीफाइनाइट ट्रैसेल वॉन न्यूमैन बीजगणित (semifinite tracial von Neumann algebra) में धनात्मक $\tau$ -मापन योग्य ऑपरेटरों के शंकु $L^1(M, \tau)_+$ पर पैरामीटर $t$ के सटीक परास (range) को निर्धारित करना, जिसके लिए दूरी फलन $d_t$ एक मीट्रिक को परिभाषित करता है। यह दूरी हेलिंगर मीट्रिक ( $t=1$ ) और बुरेस मीट्रिक ( $t=2$ ) के बीच एक अंतर्वैयक्तिक अभिव्यक्ति के माध्यम से परिभाषित है। पिछले कार्यों ने कम्यूटेटिव बीजगणित के लिए और छोरों (endpoints) पर मीट्रिकिटी स्थापित की थी, लेकिन नॉन-अबेलियन बीजगणितों के लिए $1 < t < 2$ का परास खुला रह गया था।

कार्यप्रणाली (Methodology)
लेखक एक नॉनलीन ट्रेस कर्नेल (nonlinear trace kernel) के लिए तीन-बिंदु ट्रेस धनात्मकता प्रमेय पर आधारित एक एकीकृत तंत्र स्थापित करते हैं। मुख्य विश्लेषणात्मक उपकरण कार्लन-लीब (Carlen–Lieb) अभिसंख्यता सिद्धांत का एक ट्रैसेल रूप है, जिसे ट्रैसेल $L^2$ -स्थान पर कम्यूटिंग लेफ्ट और राइट मल्टीप्लिकेशन ऑपरेटरों के माध्यम से साकार किया गया है।

मुख्य कार्यप्रणाली चरण शामिल हैं:

ऑपरेटर-परिप्रेक्ष्य तर्क (Operator-Perspective Argument): एक विशिष्ट फलन $F_{s,L}(W) = \nu((L^* W^s L)^{1/s})$ के लिए संयुक्त अभिसंख्यता (joint convexity) परिणाम को सिद्ध करने के लिए एफ्रोस (Effros) के ऑपरेटर-परिप्रेक्ष्य विधि और हैनसेन-पेडर्सन जेन्सन असमानता का उपयोग करना।
परिवहित मिंकोव्स्की असमानता (Transported Minkowski Inequality): एक "एक-बनाम-कई" कॉशी-श्वार्ज़ अनुमान (प्रस्ताव 2.3) को व्युत्पन्न करना जो तीन-आयामी द्विघाती रूप (quadratic form) के सभी साइन पैटर्न को नियंत्रित करता है। यह असमानता $3 \times 3$ कर्नेल मैट्रिक्स की धनात्मकता को सिद्ध करने के लिए इंजन का कार्य करती है।
परिमित-आयामी न्यूनीकरण (Finite-Dimensional Reduction): मीट्रिकिटी वर्गीकरण के लिए, लेखक क्लार्कसन की असमानता ( $t < 1$ के लिए) और रैंक-वन बाधाओं (rank-one obstructions) ( $t > 2$ के लिए) का उपयोग करके $M_2(\mathbb{C})$ में स्पष्ट प्रति-उदाहरण (counterexamples) निर्मित करते हैं। इन परिमित-आयामी दोषों को यूनिटल प्रतियों वाले फाइनाइट-ट्रेस कॉर्नर्स के माध्यम से सामान्य सेमीफाइनाइट बीजगणितों में स्थानांतरित किया जाता है।
सन्निकटन (Approximation): सामान्य सेमीफाइनाइट सेटिंग के लिए, लेखक अनबाउंडेड ऑपरेटरों को फाइनाइट-ट्रेस कॉर्नर्स में बाउंडेड ऑपरेटरों द्वारा सन्निकट करने के लिए स्पेक्ट्रल प्रोजेक्शन का उपयोग करते हैं, जिससे पूर्ण $L^1$ -शंकु पर फाइनाइट-ऑर्डर धनात्मकता परिणामों को लागू करना संभव हो जाता है।

प्रमुख योगदान और परिणाम

तीन-बिंदु ट्रेस धनात्मकता (प्रमेय 1.1):
एक फाइनाइट ट्रैसेल वॉन न्यूमैन बीजगणित $(N, \nu)$ और $P_1, P_2, P_3 \in N_+$ के लिए, मैट्रिक्स $[K_r(P_i, P_j)]_{i,j=1}^3$ $1/2 \le r \le 1$ के लिए धनात्मक अर्ध-निश्चित है, जहाँ $K_r(P, Q) = \nu((P^{1/2} Q P^{1/2})^r)$ ।
- $1/2 < r < 1$ का परास मैट्रिसेस के लिए भी नया है।
- क्रम तीन (order three) तीक्ष्ण (sharp) है; परिणाम चार बिंदुओं के लिए विफल हो जाता है (टिप्पणी 2.4)।
लिन-वैन डेन ड्रेसचे अनुमान का समाधान (प्रमेय 1.2):
एक धनात्मक ब्लॉक मैट्रिक्स $H = [H_{ij}]_{i,j=1}^3 \in M_3(R)_+$ के लिए, मैट्रिक्स $[\omega(|H_{ij}|^p)]_{i,j=1}^3$ $1 \le p \le 2$ के लिए धनात्मक अर्ध-निश्चित है।
- इसे $H = X^*X$ को फैक्टराइज़ करके और प्रविष्टियों को $r = p/2$ पर कर्नेल $K_r$ के साथ पहचान कर सिद्ध किया गया है।
- यह तीन-ब्लॉक मामले के लिए अनुमान को सुलझाता है, यह देखते हुए कि उच्च-ब्लॉक प्रतिबंध गैर-इंटीजर $p$ के लिए विफल हो जाते हैं।
तीक्ष्ण मीट्रिकिटी वर्गीकरण (प्रमेय 1.3):
एक सेमीफाइनाइट ट्रैसेल वॉन न्यूमैन बीजगणित $(M, \tau)$ के लिए, $d_t$ द्वारा परिभाषित फलन
$d_t(A, B)^2 = \frac{\tau(A) + \tau(B)}{2} - \left\| B^{t/4} A^{t/4} \right\|_{2/t}^{2/t}$
निम्नलिखित को संतुष्ट करता है:
- मीट्रिकिटी: $d_t$ $L^1(M, \tau)_+$ पर एक मीट्रिक है यदि और केवल यदि $t \in [1, 2]$ या $M$ अबेलियन (abelian) है।
- पूर्णता और टोपोलॉजी: $1 \le t \le 2$ के लिए, $d_t$ एक पूर्ण मीट्रिक है। $d_t$ द्वारा प्रेरित टोपोलॉजी मानक $L^1$ -टोपोलॉजी के साथ मेल खाती है, और एक अनुक्रम $d_t$ -कॉशी (Cauchy) है यदि और केवल यदि वह $L^1$ -कॉशी है।
- तीक्ष्णता (Sharpness): नॉन-अबेलियन बीजगणितों में $t \notin [1, 2]$ के लिए, त्रिकोण असमानता (triangle inequality) सीमित ट्रेस सपोर्ट वाले बाउंडेड पॉजिटिव एलिमेंट्स पर भी विफल हो जाती है।
C-बीजगणितीय और लॉगरिदमिक विस्तार:*
- वर्गीकरण यूनिटल ट्रैसेल C*-बीजगणितों तक विस्तृत है (प्रमेय 1.3(iii))।
- यह पेपर कोमालोविक्स और मोलनार (Komálovics and Molnár) की समस्या 2 को यह पुष्टि करते हुए हल करता है कि $d_t$ मैट्रिक्स बीजगणितों और सामान्य C*-बीजगणितों पर $1 < t < 2$ के लिए एक मीट्रिक है, जबकि यह $0 < t < 1$ के लिए और लॉगरिदमिक एंडपॉइंट $t=0$ (जहाँ यह लॉग-यूक्लिडियन दूरी के अनुरूप है) पर विफल हो जाता है।

महत्व और दावे
यह पत्र दावा करता है कि यह एक "एकल तंत्र" प्रदान करता है जो दो स्पष्ट रूप से भिन्न समस्याओं को हल करता है: शैटन नॉर्म संपीड़न अनुमान और अंतर्वैयक्तिक दूरियों की मीट्रिकिटी। लेखक इस बात पर जोर देते हैं कि उनका तीन-बिंदु धनात्मकता का प्रमाण ज्ञात छोरों के बीच एक साधारण इंटरपोलेशन नहीं है, बल्कि एक नवीन 'वन-वर्सेस-मेनी' ट्रेस असमानता पर निर्भर करता है।

इसका महत्व निम्नलिखित में निहित है:

मीट्रिक चित्र को पूर्ण करना: इस सटीक पैरामीटर रेंज $[1, 2]$ को स्थापित करना जिसके लिए अंतर्वैयक्तिक परिवार $d_t$ नॉन-अबेलियन $L^1$ -शंकु पर एक मीट्रिक बनाता है, जो पहले खुला था।
ज्यामितीय वास्तविकता (Geometric Realization): यह दिखाना कि किसी भी परिमित ट्रैसेल बीजगणित के धनात्मक शंकु का कोई भी तीन-बिंदु उपसमुच्चय एक वास्तविक हिल्बर्ट स्पेस में $\sqrt{2}$ द्वारा स्केल की गई दूरियों के साथ आइसोमेट्रिक रूप से एम्बेड किया जा सकता है।
डेटा प्रोसेसिंग: यह सिद्ध करना कि $1 \le t \le 2$ के लिए, दूरी $d_t$ नॉर्मल पॉजिटिव यूनिटल मैप्स के तहत डेटा प्रोसेसिंग असमानता को संतुष्ट करती है, जो इसके मीट्रिक स्ट्रक्चर को क्वांटम सूचना सिद्धांत के डाइवर्जेंस (विशेष रूप से $\alpha=1/2$ के साथ $\alpha$ - $z$ रेनी डाइवर्जेंस) से जोड़ती है।
मीट्रिक पूर्णता (Metric Completions): फाइनाइट-सपोर्ट शंकुओं और C*-उप-बीजगणितों की मीट्रिक पूर्णता को चरित्रित करना, विशिष्ट घनत्व स्थितियों के तहत उन्हें पूर्ण नॉन-कम्यूटेटिव $L^1$ -शंकु के रूप में पहचानना।

लेखक स्पष्ट रूप से कहते हैं कि परिणाम $\sigma$ -फाइनाइटनेस या ट्रेस की परिमितता का अनुमान लगाए बिना सामान्य सेमीफाइनाइट वॉन न्यूमैन बीजगणितों के लिए मान्य हैं, और वे एक ऐसा वर्गीकरण प्रदान करते हैं जो अबेलियन और नॉन-अबेलियन संरचनाओं के बीच अंतर करता है।

इसी तरह के और पेपर