Calculus of Robinet: completely positive reconstruction of time-averaged diffusive quantum trajectories

तकनीकी सारांश: समय-औसत विसरणात्मक क्वांटम प्रक्षेपवक्रों का पूर्णतः धनात्मक पुनर्निर्माण (Completely Positive Reconstruction of Time-Averaged Diffusive Quantum Trajectories)

समस्या विवरण
निरंतर क्वांटम मापन में, सिस्टम की अवस्था को स्टोकेस्टिक मास्टर इक्वेशन (SME) के माध्यम से एक निरंतर सिग्नल से सैद्धांतिक रूप से पुनर्गठित किया जाता है। हालांकि, व्यवहार में, मापन सिग्नल $\Delta t$ आकार के परिमित बिन (bin) के ऊपर डिजिटाइज और समय-औसत (time-averaged) किए जाते हैं। यह औसत प्रक्रिया अनिवार्य रूप से सूचना की हानि उत्पन्न करती है, जिसका अर्थ है कि सटीक निरंतर प्रक्षेपवक्र (trajectory) को पुनः प्राप्त नहीं किया जा सकता है। यहाँ रुचि का विषय रोबिनेट अवस्था (Robinet state) ($\bar{\rho}_n$) है, जो समय-औसत (डिजिटाइज्ड) मापन रिकॉर्ड के एक अनुक्रम पर आधारित क्वांटम अवस्था है।

पिछले कार्य [24] ने स्थापित किया कि रोबिनेट अवस्था को पिछले स्टेट पर पुनरावर्ती रूप से कार्य करने वाले एक पूर्णतः धनात्मक (completely positive - CP) मानचित्र $K_I$ के माध्यम से प्राप्त किया जा सकता है। हालाँकि, इसके संख्यात्मक कार्यान्वयन को दो मुख्य चुनौतियों का सामना करना पड़ता है:

1. गणना संबंधी लागत (Computational Cost): मौजूदा विधियों को सुपर-ऑपरेटरों के घातांक (exponential) का मूल्यांकन करने के लिए बाहरी सॉल्वर (जैसे क्रायलोव या रनग-कुट्टा) पर निर्भर रहना पड़ता है, जो अत्यधिक गणनात्मक रूप से महंगा है।
2. संरचनात्मक अखंडता (Structural Integrity): मानचित्र $K_I$ के $\Delta t$ की घातों में शृंखला विस्तार (series expansions) सामान्यतः परिमित क्रमों पर पूर्णतः धनात्मकता (complete positivity) को बनाए रखने में विफल रहते हैं। विस्तार को ट्रंकेट (truncate) करने से अभौतिक अवस्थाएँ (जैसे ऋणात्मक आइजनमान वाली अवस्थाएँ) प्राप्त हो सकती हैं, और औसत मानचित्र 'ट्रेस-प्रिजर्विंग' (trace-preserving) होने में विफल हो सकता है। जबकि निम्न-क्रम के विस्तारों को CP रूपों में पुनर्गठित किया जा सकता है, यह किसी भी क्रम तक स्केल नहीं कर पाता है।

कार्यप्रणाली (Methodology)
लेखक एक नवीन व्युत्पत्ति प्रस्तावित करते हैं जो सीधे SME पर स्टोकेस्टिक कैलकुलस का उपयोग करने से बचती है। इसके बजाय, वे एक यूनिटरी डायलेशन (unitary dilation) दृष्टिकोण का उपयोग करते हैं:

1. सिस्टम-लाइन डायलेशन: स्टोकेस्टिक गतिकी को एक बोसोनिक ट्रांसमिशन लाइन (हारमोनिक ऑसिलेटर्स का एक सातत्य) के साथ युग्मित सिस्टम की यूनिटरी इवोल्यूशन में समाहित किया जाता है, जो प्रारंभ में वैक्यूम अवस्था में होती है।
2. मोड अपघटन (Mode Decomposition): लाइन के हिल्बर्ट स्पेस को एक शून्य मोड (zero mode) (जो $\Delta t$ समय बिन के दौरान स्थिर रहता है) और शेष "बचे हुए" मोड में विभाजित किया जाता है। यह दिखाया गया है कि रोबिनेट अवस्था इस शून्य मोड के क्वाड्रैचर (quadrature) को मापने से प्राप्त सिस्टम अवस्था के अनुरूप होती है।
3. स्पष्ट विस्तार और ऑर्थोगोनलाइजेशन: यूनिटरी इवोल्यूशन ऑपरेटर का $\Delta t$ की घातों में विस्तार किया जाता है। परिणामी लाइन अवस्थाओं को ग्राम-श्मिट (Gram-Schmidt) प्रक्रिया का उपयोग करके व्यवस्थित रूप से ऑर्थोगोनलाइज किया जाता है। यह सिस्टम ऑपरेटरों और ऑर्थोगोनल लाइन अवस्थाओं के संदर्भ में कुल अवस्था का एक स्पष्ट विस्तार प्रदान करता है।
4. क्रास प्रतिनिधित्व (Kraus Representation): होमोडाइन के लिए क्वाड्रैचर अवस्था या हेटरोडाइन के लिए कोहेरेंट अवस्था पर शून्य मोड को प्रोजेक्ट करके, लेखक मानचित्र $K_I$ के लिए क्रास ऑपरेटर्स $B_\mu(I)$ व्युत्पन्न करते हैं। चूंकि यह विस्तार एक यूनिटरी डायलेशन से प्राप्त हुआ है और इसे एक विशिष्ट क्रम पर ट्रंकेट किया गया है, इसलिए परिणामी मानचित्र प्रत्येक क्रम पर स्पष्ट रूप से CP है।
5. ट्रेस प्रिजर्वेशन (Trace Preservation): मानचित्र भी ट्रेस-प्रिजर्विंग (CPTP) सुनिश्चित करने के लिए, लेखक ट्रंकेटेड यूनिटरी ऑपरेटर पर एक नॉर्मलाइजेशन तकनीक (पोलर डीकंपोजिशन) लागू करते हैं, जो इसे प्रभावी रूप से यूनिटरी ऑपरेटरों के उपसमूह (subspace) पर प्रोजेक्ट करता है।

मुख्य योगदान

• उच्च-क्रम CP योजना: यह शोध पत्र $\Delta t$ के किसी भी उच्च क्रम तक रोबिनेट अवस्था मानचित्र $K_I$ की गणना करने के लिए एक व्यवस्थित विधि प्रदान करता है, जबकि प्रत्येक चरण पर सटीक पूर्ण धनात्मकता (complete positivity) बनाए रखता है।
• कोई बाहरी सॉल्वर नहीं: यह विधि सिस्टम ऑपरेटरों और कम्यूटेटर्स (commutators) पर केवल बीजगणितीय क्रियाओं (algebraic operations) पर निर्भर करती है, जिससे सुपर-ऑपरेटरों के घातांक के लिए बाहरी संख्यात्मक सॉल्वर की आवश्यकता समाप्त हो जाती है।
• शुद्धता (Purity) पर भौतिक अंतर्दृष्टि: डायलेशन दृष्टिकोण शुद्धता की हानि के तंत्र को स्पष्ट करता है। लेखक प्रदर्शित करते हैं कि शुद्धता बनाए रखने के लिए न केवल शून्य मोड, बल्कि लाइन के उच्च-क्रम मोड को भी मापना आवश्यक है। वे दिखाते हैं कि गैर-कम्यूटिंग जंप ऑपरेटर्स के लिए, अवस्था $\Delta t^4$ के क्रम पर अनंत मोडों में उलझी हुई (entangled) हो जाती है, जिसका अर्थ है कि कोई भी परिमित संख्या में अतिरिक्त सिग्नल इंटीग्रल्स, वोंगलाखोन, चंतासरी और वाइजमैन (WCW) [29] द्वारा खोजे गए क्रम से अधिक शुद्धता को बहाल नहीं कर सकते।
• सैंपलिंग क्षमताएं: व्युत्पन्न क्रास ऑपरेटर्स समय-औसत मापन रिकॉर्ड और संबंधित क्वांटम प्रक्षेपवक्रों (दोनों मिश्रित और शुद्ध) के प्रत्यक्ष सैंपलिंग की अनुमति देते हैं, जो चुने गए क्रम तक सटीकता के साथ होता है, बिना किसी सूक्ष्म-स्तरीय प्रक्रिया को सिम्युलेट किए।

परिणाम

• संख्यात्मक सत्यापन: विधि का परीक्षण एक रैंडम हैमिल्टोनियन और जंप ऑपरेटरों वाले 7-लेवल सिस्टम पर किया गया। मापन रिकॉर्ड के संभाव्यता वितरण और पुनर्गठित अवस्था प्रक्षेपवक्रों की तुलना सटीक समाधानों (एक कैस्केडेड क्वांटम सिस्टम के माध्यम से प्राप्त) के विरुद्ध की गई।
• अभिसरण (Convergence): संख्यात्मक त्रुटि एक $2N$ क्रम की योजना के लिए ठीक $O(\Delta t^{2N})$ के रूप में स्केल करती है। लेखकों ने क्रम 10 तक अभिसरण को सत्यापित किया, जिससे पता चलता है कि उच्च-क्रम योजनाएं सटीक रोबिनेट अवस्था की ओर तेजी से अभिसत (converge) होती हैं।
• शुद्धता विश्लेषण: अध्ययन पुष्टि करता है कि $\eta=1$ दक्षता के साथ एकल चैनल के लिए, शुद्धता $\Delta t^3$ तक सुरक्षित रहती है (जो WCW परिणामों से मेल खाती है), लेकिन $\Delta t^4$ के क्रम पर शुद्धता खो जाती है जब तक कि विशिष्ट कम्यूटेशन संबंध (जैसे $[L, [L, G]] = 0$) लागू न हों। कई गैर-कम्यूटिंग चैनलों के लिए, शुद्धता का ह्रास और भी पहले (क्रम $\Delta t^2$ पर) होता है।

महत्व
यह शोध पत्र दावा करता है कि इसका दृष्टिकोण प्रायोगिक डेटा विश्लेषण में वर्तमान में उपयोग किए जा रहे सहज प्रथम-क्रम विविक्तकरण (first-order discretization) के लिए एक सिद्धांत-आधारित और स्थिर संख्यात्मक विकल्प प्रदान करता है। एक ऐसी योजना प्रदान करके जो उच्च-क्रम की है और पूर्णतः धनात्मक (strictly completely positive) है, यह सुनिश्चित करता है कि भौतिक निरंतरता (कोई ऋणात्मक प्रायिकता नहीं) बनी रहे और सटीकता में भी उल्लेखनीय सुधार हो।

इसके अलावा, यह कार्य निरंतर मापन की सैद्धांतिक समझ को पर्यावरण के मल्टीमोड संरचना से जोड़कर विस्तृत करता है। यह दर्शाता है कि "शार्प" अवस्था $\rho_t$ को तब तक तेजी से नहीं अपनाया जा सकता जब तक कि वातावरण को वर्णित करने के लिए अनंत मोडों की आवश्यकता हो, क्योंकि परिमित संख्या में सिग्नल इंटीग्रल्स जोड़ने से भी यह संभव नहीं है। लेखक सुझाव देते हैं कि यह ढांचा निरंतर मैट्रिक्स प्रोडक्ट स्टेट्स (CMPS) को मैट्रिक्स प्रोडक्ट स्टेट्स (MPS) में विविक्त (discretize) करने के लिए भी सूचित कर सकता है।