🔢 mathematics

Existence of Kraus decomposition in infinite dimension via strongly-convergent direct process tomography

यह शोध पत्र अनंत-आयामी हिल्बर्ट स्थानों (infinite-dimensional Hilbert spaces) पर पूर्णतः धनात्मक ऑपरेटरों (completely positive operators) का क्रौस अपघटन (Kraus decomposition) प्राप्त करने के लिए एक रचनात्मक एल्गोरिदम प्रस्तुत करता है, जो बढ़ते शून्य प्रविष्टियों (increasing zero entries) वाले ऑपरेटरों को पुनरावृत्ति से उत्पन्न करके किया जाता है, जिससे स्ट्रॉन्ग-ऑपरेटर अभिसरण (strong-operator convergence) सुनिश्चित होता है और व्यावहारिक प्रक्रिया टोमोग्राफी (practical process tomography) के माध्यम से मानक गैर-रचनात्मक प्रमाणों में सुधार होता है।

मूल लेखक: Paul E. Lammert

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

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

CC BY 4.0

मूल लेखक: Paul E. Lammert

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

कल्पना कीजिए कि ब्रह्मांड एक विशाल, अदृश्य मंच है जहाँ कण एक सूक्ष्म नृत्य करते हैं। कभी-कभी, ये नर्तक सटीक और पूर्वानुमानित होते हैं, लेकिन अक्सर, वे दर्शकों से टकरा जाते हैं, अपने ही पैरों में उलझ जाते हैं, या रोशनी से विचलित हो जाते हैं। क्वांटम भौतिकी की दुनिया में, इस "अव्यवस्थितता" को एक "ओपन सिस्टम" (खुली प्रणाली) कहा जाता है, और वे नियम जो यह बताते हैं कि क्वांटम अवस्था कैसे बदलती है जब वह अव्यवस्थित हो जाती है, उन्हें "कम्प्लीटली पॉजिटिव मैप्स" (completely positive maps) कहा जाता है। इन मैप्स को एक नियम पुस्तिका के रूप में सोचें जो यह बताती है कि जब हवा चलती है, तो क्वांटम सिक्का कैसे उछलता है, घूमता है या गिरता है।

इन नियम पुस्तिकाओं को समझने के लिए, वैज्ञानिक एक विशेष टूलकिट का उपयोग करते हैं जिसे "क्रास डीकंपोजिशन" (Kraus decomposition) कहा जाता है। कल्पना कीजिए कि आप एक जटिल जादू के खेल को समझाने की कोशिश कर रहे हैं। पूरे भ्रमित करने वाले रूटीन को एक साथ समझाने के बजाय, आप इसे सरल, व्यक्तिगत चालों की एक सूची में तोड़ देते हैं। प्रत्येक चाल एक "क्रास ऑपरेटर" (Kraus operator) है। यदि आप इन सभी सरल चालों को जोड़ देते हैं, तो आपको वापस वही पूरा, अव्यवस्थित जादू मिल जाता है। लंबे समय तक, वैज्ञानिक जानते थे कि ये सूचियाँ छोटे, सरल सिस्टम (जैसे एक अकेला परमाणु) के लिए मौजूद होती हैं, लेकिन जब उन्होंने इसे विशाल, अनंत सिस्टम (जैसे परमाणुओं का एक पूरा क्षेत्र) पर लागू करने की कोशिश की, तो गणित डरावना हो गया। पुराने प्रमाण ऐसे थे जैसे कहना, "एक सूची मौजूद है, हम पर भरोसा करें," बिना यह दिखाए कि इसे वास्तव में कैसे लिखा जाए। वे गैर-रचनात्मक (non-constructive) थे, जिसका अर्थ था कि उन्होंने यह तो सिद्ध किया कि उत्तर वहाँ है, लेकिन उसे खोजने के निर्देश नहीं दिए।

यह शोध पत्र, जिसका शीर्षक है "Existence of Kraus decomposition in infinite dimension via strongly-convergent direct process tomography," इसे ठीक करने के लिए कदम उठाता है। लेखक, पॉल ई. लैमर्ट, एक चतुर, चरण-दर-चरण रेसिपी (एक एल्गोरिदम) प्रस्तुत करते हैं जो वास्तव में इस सूची को एक-एक करके बनाता है, यहाँ तक कि अनंत सिस्टम के लिए भी। वे केवल यह नहीं कहते कि सूची मौजूद है; वे आपको दिखाते हैं कि वास्तव में इसे कैसे बनाया जाए, यह सिद्ध करते हुए कि जैसे-जैसे आप अपनी सूची में अधिक और अधिक चालें जोड़ते हैं, उनका योग वास्तविक, अव्यवस्थित वास्तविकता के करीब पहुँचता जाता है। यह ऐसा है जैसे अंततः उस अनंत जादू के लिए निर्देश पुस्तिका मिल गई हो, जिसमें यह गारंटी भी है कि यदि आप चरणों का पालन करते हैं, तो आपको सही परिणाम मिलेगा।

अनंत पहेली और "जीरो" रणनीति

क्वांटम दुनिया में, वैज्ञानिक अक्सर किसी मशीन को छूकर और उससे जो बाहर आता है उसे देखकर यह समझने की कोशिश करते हैं कि मशीन क्या कर रही है। इसे "प्रोसेस टोमोग्राफी" (process tomography) कहा जाता है। आमतौर पर, आप मशीन को मापते हैं, बहुत सारे नंबर प्राप्त करते हैं, और फिर उन नंबरों से नियम पुस्तिका को रिवर्स-इंजीनियर करने की कोशिश करते हैं (क्रास ऑपरेटर्स)। समस्या यह है कि जब मशीन अनंत रूप से जटिल होती है, तो गणित अटक जाता है। पुराने तरीके की सोच यह थी कि अनंत सिस्टम के लिए, आपको अलग-अलग चरणों की सूची के बजाय एक निरंतर "इंटीग्रल" (एक सुचारू, बहता हुआ योग) की आवश्यकता हो सकती है। ऐसा लगा जैसे आप अनंत तक गिनने का रास्ता नहीं खोज सकते।

इस शोध पत्र के लेखक कहते हैं, "इतना भी तेज़ मत चलो!" वे एक ऐसी विधि प्रस्तावित करते हैं जो "रचनात्मक" (constructive) भी है (यह उत्तर बनाती है) और "तत्वों पर आधारित" (elementary) भी है (इसे काम करने के लिए अत्यधिक जटिल, अमूर्त गणित की आवश्यकता नहीं है)। उनका बड़ा विचार इस अनंत समस्या को एक विशाल पहेली की तरह मानना है जहाँ आप एक-एक करके रिक्त स्थानों को भरते हैं।

उनका एल्गोरिदम कैसे काम करता है, इसके लिए एक चंचल उपमा का उपयोग करते हैं:

कल्पना कीजिए कि आपके पास बिजली के स्विचों का एक विशाल, अनंत ग्रिड है। प्रत्येक स्विच एक संभावित परस्पर क्रिया (interaction) का प्रतिनिधित्व करता है जो क्वांटम सिस्टम और उसके वातावरण के बीच होती है। कुछ स्विच "ऑन" (सक्रिय) हैं, और कुछ "ऑफ" (शून्य) हैं। आपका लक्ष्य यह पता लगाना है कि कौन से स्विच ऑन हैं ताकि सिस्टम के व्यवहार का वर्णन किया जा सके।

लेखक का एल्गोरिदम पूरे अव्यवस्थित ग्रिड से शुरू होता है। यह निर्देशांकों का एक विशिष्ट जोड़ा चुनता है—एक विशिष्ट "रो" और "कॉलम" (जिसे वे वेक्टर्स का एक जोड़ा कहते हैं, $h$ और $k$ ) और पूछता है, "क्या यहाँ कोई गतिविधि है?"

जांच (The Check): यदि गतिविधि शून्य है, तो बहुत अच्छा! वे आगे बढ़ जाते हैं।
निष्कर्षण (The Extraction): यदि वहां गतिविधि है, तो वे एक विशिष्ट "क्रास ऑपरेटर" (एक सरल चाल) की गणना करते हैं जो ठीक उस गतिविधि के हिस्से की व्याख्या करता है।
घटाव (The Subtraction): वे इस नए मूव को मूल अव्यवस्थित ग्रिड से घटा देते हैं।
शून्यों का जादू (The Magic of Zeros): यहाँ चतुर हिस्सा है। जिस तरह से वे मूव की गणना करते हैं, उस विशिष्ट स्थान को अब शेष ग्रिड में शून्य होने की गारंटी है। यह ऐसा है जैसे उन्होंने अभी-अभी उस विशिष्ट स्विच को बंद कर दिया और उसे "ऑफ" स्थिति में लॉक कर दिया।

वे इस प्रक्रिया को बार-बार दोहराते हैं, निर्देशांकों के नए जोड़े चुनते हुए जो एक विशिष्ट क्रम में होते हैं। हर कदम के साथ, वे एक नया क्रास ऑपरेटर उत्पन्न करते हैं और पीछे एक "शेष" (remainder) ग्रिड छोड़ देते हैं जिसमें पहले की तुलना में एक और गारंटीकृत शून्य स्थान होता है।

यह क्यों महत्वपूर्ण है: उत्तरों की "धारा" (The Stream of Answers)

इस पद्धति की सुंदरता केवल यह नहीं है कि यह उत्तर ढूंढती है; बल्कि यह है कि यह इसे कैसे ढूंढती है। लेखक सिद्ध करते हैं कि उत्पन्न ऑपरेटर्स की यह धारा अभिसरित (converge) होती है। सरल शब्दों में, इसका अर्थ है कि यदि आप एल्गोरिदम को 10 चरणों के बाद रोकते हैं, तो आपके पास ब्रह्मांड के एक छोटे हिस्से के लिए एक बहुत अच्छा अनुमान होता है। यदि आप इसे 1,000 चरणों के बाद रोकते हैं, तो आपके पास एक बड़े हिस्से का बेहतर अनुमान होता है। यदि आप इसे अनंत काल तक चलने देते हैं, तो इन सभी चरणों का योग मूल अनंत सिस्टम को पूरी तरह से पुनर्गठित करता है।

यह शोध पत्र स्पष्ट रूप से इस विचार को खारिज करता है कि आपको अनंत आयामों के लिए इंटीग्रल्स या गैर-रचनात्मक प्रमाणों का उपयोग करना ही होगा। वे दिखाते हैं कि एक सरल, चरण-दर-चरण योग पर्याप्त है। वे इस धारणा के विरुद्ध भी तर्क देते हैं कि इन अपघटनों (decompositions) को खोजना असंभव या विशुद्ध रूप से सैद्धांतिक है। "डायरेक्ट प्रोसेस टोमोग्राफी" (सिस्टम को मापने का एक व्यावहारिक तरीका) के साथ अमूर्त गणित को जोड़कर, वे एक दार्शनिक प्रश्न ("क्या यह मौजूद है?") को एक व्यावहारिक इंजीनियरिंग कार्य ("यहाँ बताया गया है कि आप इसे कैसे बनाते हैं") में बदल देते हैं।

लेखक अपने परिणामों को लेकर बहुत आश्वस्त हैं। वे इसे केवल कंप्यूटर पर सिम्युलेट नहीं करते हैं; वे एक कठोर गणितीय प्रमाण प्रदान करते हैं कि एल्गोरिदम काम करता है। वे दो महत्वपूर्ण चीजें सिद्ध करते हैं:

उनके द्वारा उत्पन्न ऑपरेटर्स "बाउंडेड" (bounded) हैं, जिसका अर्थ है कि वे अनंत तक बढ़कर गणित को नहीं तोड़ते हैं।
शेष भाग (वह हिस्सा जिसे आपने अभी तक नहीं समझाया है) और अधिक चरणों को जोड़ने पर शून्य की ओर सिकुड़ जाता है।

एक व्यावहारिक निष्कर्ष

एक जिज्ञासु किशोर को इसकी परवाह क्यों होनी चाहिए? क्योंकि यह शोध पत्र "असंभव" और "करने योग्य" के बीच के अंतर को पाटता है। क्वांटम कंप्यूटिंग और क्वांटम संचार में, हम छोटे, सरल प्रयोगों से विशाल, जटिल नेटवर्क की ओर बढ़ रहे हैं। इन नेटवर्कों को डिजाइन करने के लिए, हमें यह समझना होगा कि वे जानकारी कैसे खोते हैं (शोर/noise)।

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

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

तकनीकी सारांश: स्ट्रॉन्गली-कन्वर्जेंट डायरेक्ट प्रोसेस टोमोग्राफी के माध्यम से अनंत आयामों में क्रौस डीकंपोजिशन (Kraus Decomposition) की उपस्थिति

समस्या विवरण
यह शोध पत्र पृथक (separable), गणनीय-अनंत-आयामी (countably-infinite-dimensional) हिल्बर्ट स्पेस पर कार्य करने वाले पूर्णतः धनात्मक (completely positive - CP) ऑपरेटरों के लिए क्रौस डीकंपोजिशन (ऑपरेटर-सम प्रतिनिधित्व) के निर्माण को संबोधित करता है। जबकि अनंत आयामों में ऐसे डीकंपोजिशन का अस्तित्व एक मौलिक परिणाम है (जैसे, क्रौस [10,11]), मानक प्रमाण परिष्कृत $C^*$ -एल्जेब्रा प्रतिनिधित्व सिद्धांत (representation theory) पर निर्भर करते हैं और गैर-रचनात्मक (nonconstructive) होते हैं। वे डीकंपोजिशन को खोजने या उसका सन्निकटन (approximation) करने के लिए कोई विधि प्रदान करने में विफल रहते हैं। इसके अतिरिक्त, मौजूदा परिमित-आयामी प्रमाण स्वाभाविक रूप से अनंत मामले में सामान्यीकृत नहीं होते हैं, जहाँ एक योग (sum) के बजाय इंटीग्रल प्रतिनिधित्व (integral representations) की अपेक्षा की जा सकती है। विशिष्ट चुनौती एक रचनात्मक एल्गोरिदम प्रदान करना है जो क्रौस ऑपरेटरों $\{A_i\}$ का एक अनुक्रम उत्पन्न करे ताकि $\sum \Theta(A_i)$ का योग लक्ष्य $\Lambda$ के लिए स्ट्रॉन्ग-ऑपरेटर टोपोलॉजी (SOT) में अभिसरण (converge) करे।

कार्यप्रणाली (Methodology)
लेखक एक "डायरेक्ट प्रोसेस टोमोग्राफी" एल्गोरिदम प्रस्तावित करता है जो क्रौस ऑपरेटरों को एक-एक करके निर्मित करता है। यह विधि निम्नलिखित घटकों पर निर्भर करती है:

ग्राउंड मैट्रिक्स एलिमेंट्स और कर्नेल संबंध: एल्गोरिदम CP मैप $\Lambda$ के "ग्राउंड मैट्रिक्स एलिमेंट्स" पर कार्य करता है, जिन्हें $\langle k'k | \Lambda \cdot h'h \rangle$ के रूप में परिभाषित किया गया है। प्रगति को ट्रैक करने के लिए, लेखक एक "कर्नेल संबंध" $K_\Lambda$ को परिभाषित करता है, जो उन युग्मों (pairs) का सेट है जिनके लिए संबंधित मैट्रिक्स एलिमेंट्स शून्य होते हैं।
रिडक्शन स्टेप (प्रपोजिशन 1): एल्गोरिदम का मुख्य भाग एक रिडक्शन स्टेप है। एक CP मैप $\Lambda$ और एक युग्म $(k, h)$ (जो उसके कर्नेल संबंध में नहीं है) को देखते हुए, लेखक एक अद्वितीय (फेज तक सीमित) बाउंडेड ऑपरेटर $A$ का निर्माण करता है ताकि $\Lambda' = \Lambda - \Theta(A)$ अभी भी CP रहे और $(k, h)$ का $\Lambda'$ के कर्नेल संबंध में एक तत्व बन जाए। ऑपरेटर $A$ को स्पष्ट रूप से इस प्रकार परिभाषित किया गया है:
$\langle k' | A h' \rangle = \frac{\langle k'k | \Lambda \cdot h'h \rangle}{\sqrt{\langle \Pi(k) | \Lambda \cdot \Pi(h) \rangle}}$
यह चरण प्रभावी रूप से उस विशिष्ट मैट्रिक्स एलिमेंट के योगदान को "हटाता" है जो $(k, h)$ से जुड़ा है, जबकि CP गुण को सुरक्षित रखता है।
पुनरावृत्ति प्रक्रिया (Iterative Process): एल्गोरिदम इनपुट और आउटपुट हिल्बर्ट स्पेस के ऑर्थोनॉर्मल बेस (orthonormal bases) से युग्मों $(k_n, h_n)$ को सूचीबद्ध करता है। प्रत्येक चरण $n$ पर, यह शेष मैपर (remainder map) $\Lambda_{n-1}$ पर रिडक्शन स्टेप लागू करता है ताकि $A_n$ और नया शेष $\Lambda_n = \Lambda_{n-1} - \Theta(A_n)$ उत्पन्न किया जा सके।
मैट्रिक्स दृश्य और ज़ीरो प्रोपेगेशन: लेखक प्रक्रिया को "मैट्रिक्स ऑफ मैट्रिसेस" के दृष्टिकोण से विज़ुअलाइज़ करता है। जैसे-जैसे $n$ बढ़ता है, ऑपरेटर $A_n$ और शेष $\Lambda_n$ अपने मैट्रिक्स निरूपण में गारंटीकृत शून्य प्रविष्टियाँ (zero entries) प्राप्त करते हैं। विशेष रूप से, दिए गए $n$ के लिए, $(k_m, h_m)$ युग्मों के संगत प्रविष्टियाँ, जहाँ $m \leq n$ है, $\Lambda_n$ में शून्य होने की गारंटी है।

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

रचनात्मक प्रमाण (Constructive Proof): यह शोध पत्र अनंत आयामों में क्रौस डीकंपोजिशन के अस्तित्व के लिए एक प्रारंभिक, रचनात्मक प्रमाण प्रदान करता है। पिछले प्रमाणों के विपरीत, यह दृष्टिकोण स्पष्ट रूप से ऑपरेटरों को उत्पन्न करता है।
स्ट्रॉन्ग-ऑपरेटर टोपोलॉजी अभिसरण: लेखक सिद्ध करता है कि आंशिक योगों का अनुक्रम $\sum_{i=1}^n \Theta(A_i)$ , स्ट्रॉन्ग-ऑपरेटर टोपोलॉजी में $\Lambda$ की ओर अभिसरित होता है। यह सिद्ध करने के बराबर है कि शेष मैपर $\Lambda_n$ , SOT में शून्य की ओर अभिसरित होते हैं।
बाउंडेडनेस और CP संरक्षण: प्रमाण यह स्थापित करता है कि उत्पन्न ऑपरेटर $A_n$ बाउंडेड हैं और प्रत्येक मध्यवर्ती शेष $\Lambda_n$ एक पूर्णतः धनात्मक (CP) मैप बना रहता है।
यूनिफॉर्म बाउंड्स: एल्गोरिदम उत्पन्न ऑपरेटरों और अवशेषों पर यूनिफॉर्म बाउंड्स बनाए रखता है, अर्थात $\|A_n\|^2, \|\Lambda_n\|_{1,1} \leq \|\Lambda\|_{1,1}$ ।
परिमित-आयामी सन्निकटन: एल्गोरिदम $\Lambda$ के बढ़ते बड़े परिमित-आयामी उप-स्थानों (subspaces) पर इसके प्रतिबंधों (projections) के लिए सटीक क्रौस डीकंपोजिशन स्वाभाविक रूप से प्रदान करता है। मध्यवर्ती परिणाम $\Lambda = \sum_{i=1}^N \Theta(A_i) + \Lambda_N$ में लक्षित मैप के इन उप-स्थानों के बारे में सभी जानकारी शामिल होती है।

महत्व और दावे
शोध पत्र का दावा है कि यह दृष्टिकोण अमूर्त अस्तित्व प्रश्नों को व्यावहारिक प्रोसेस टोमोग्राफी के साथ जोड़कर पिछले प्रमाणों में सुधार करता है। इसका महत्व यहाँ निहित है:

प्रारंभिक प्रकृति: यह प्रमाण उन्नत $C^*$ -एल्जेब्रा मशीनरी से बचता है, और धनात्मक ऑपरेटरों और क्वासी-कॉची-श्वार्ज़ (quasi-Cauchy-Schwarz) असमानता के प्रारंभिक गुणों पर निर्भर करता है।
रचनात्मकता (Constructivity): यह डीकंपोजिशन को खोजने के लिए एक ठोस प्रक्रिया प्रदान करता है, जो पूर्ववर्ती अनंत-आयामी प्रमाणों की गैर-रचनात्मक प्रकृति को संबोधित करता है।
व्यावहारिक उपयोगिता: इस विधि को प्रोसेस टोमोग्राफी के लिए अनुप्रयोग हेतु व्यावहारिक बताया गया है। "आउटपुट का प्रवाह" (stream of outputs) लक्षित मैप के प्रतिबंधों के लिए डीकंपोजिशन का एक सुसंगत परिवार प्रदान करता है, जिससे व्यवस्थित सन्निकटन संभव होता है।
सैद्धांतिक पूर्णता: शेष मैपर्स के SOT अभिसरण को सिद्ध करके, यह कार्य पृथक हिल्बर्ट स्पेस में अनंत योग प्रतिनिधित्व के अस्तित्व को दृढ़ता से स्थापित करता है, यह पुष्टि करता है कि अनंत आयामों में भी सामान्यतः इंटीग्रल्स की आवश्यकता नहीं होती है।

लेखक प्रोसेस टोमोग्राफी के लिए एल्गोरिदम की उपयोगिता और अनंत आयामों में क्रौस डीकंपोजिशन के सैद्धांतिक स्पष्टीकरण के अलावा किसी नए प्रयोगात्मक सेटअप या विशिष्ट भविष्य के अनुप्रयोगों का प्रस्ताव नहीं करता है।

अनंत पहेली और "जीरो" रणनीति

यह क्यों महत्वपूर्ण है: उत्तरों की "धारा" (The Stream of Answers)

एक व्यावहारिक निष्कर्ष

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