Unbounded length minimal synchronizing words for quantum channels over qutrits

यहाँ ब्योर्न जोस-हैनसेन (Bjørn Kjos-Hanssen) और स्वर्णलक्ष्मी लक्ष्मणन (Swarnalakshmi Lakshmanan) के शोध पत्र "Unbounded length minimal synchronizing words for quantum channels over qutrits" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र क्वांटम चैनलों (quantum channels) के संदर्भ में सिंक्रोनाइजिंग वर्ड्स (synchronizing words) की अवधारणा को संबोधित करता है, विशेष रूप से नियतात्मक परिमित स्वचालन (deterministic finite automata - DFA) के शास्त्रीय सिद्धांत के साथ इसकी तुलना करता है।

• शास्त्रीय संदर्भ (Classical Context): शास्त्रीय स्वचालन सिद्धांत में, एक सिंक्रोनाइजिंग वर्ड इनपुट का वह क्रम है जो DFA की सभी संभावित अवस्थाओं को एक विशिष्ट अवस्था पर मैप करता है, चाहे प्रारंभिक अवस्था कुछ भी हो। चेर्नी अनुमान (Černý's Conjecture) यह प्रस्तावित करता है कि किसी भी DFA के लिए जिसमें $q$ अवस्थाएँ हैं और जो एक सिंक्रोनाइजिंग वर्ड स्वीकार करता है, एक ऐसा शब्द मौजूद होता है जिसकी लंबाई अधिकतम $(q-1)^2$ होती है।
• क्वांटम संदर्भ (Quantum Context): लेखक यह जांचते हैं कि क्या क्वांटम चैनलों के लिए, जो क्यूट्रिट्स (qutrits - 3-आयामी क्वांटम सिस्टम) पर कार्य करते हैं, उनके सिस्टम के आयाम (आधार अवस्थाओं की संख्या) के फलन के रूप में एक समान ऊपरी सीमा मौजूद है या नहीं। ग्रुडका एट अल. (Grudka et al., 2025) के पिछले कार्य ने दिखाया था कि लंबाई 3 वाले सिंक्रोनाइजिंग वर्ड्स वाले क्वांटम चैनल मौजूद हैं।
• मुख्य प्रश्न: क्या क्वांटम चैनलों के लिए न्यूनतम सिंक्रोनाइजिंग शब्द की लंबाई के लिए एक परिमित ऊपरी सीमा (finite upper bound) मौजूद है, जो सिस्टम के आयाम (आधार अवस्थाओं की संख्या) के फलन के रूप में हो? लेखक यह सिद्ध करने का लक्ष्य रखते हैं कि शास्त्रीय मामले के विपरीत, क्वांटम चैनलों के लिए ऐसी कोई परिमित ऊपरी सीमा मौजूद नहीं है, भले ही आयाम $q=3$ पर स्थिर हो।

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

लेखक यह प्रदर्शित करने के लिए क्वांटम चैनलों (विशेष रूप से नियतात्मक स्वचालन जहाँ अवस्थाएँ डेंसिटी मैट्रिसेस हैं) के एक परिवार का निर्माण करते हैं कि न्यूनतम सिंक्रोनाइजिंग वर्ड्स मनमाने रूप से लंबे हो सकते हैं।

क्वांटम चैनल का निर्माण (Construction of the Quantum Channel)

यह निर्माण ग्रुडका एट अल. के मॉडल को संशोधित करता है, जो $\mathbb{C}^3$ के $3 \times 3$ डेंसिटी मैट्रिसेस पर कार्य करने वाले दो क्रौस ऑपरेटर्स (Kraus operators), $A$ और $B_n$ का उपयोग करता है:

1. ऑपरेटर $A$: इसे दो क्रौस मैट्रिसेस $A_1$ और $A_2$ द्वारा परिभाषित किया गया है।
   $$A(\rho) = A_1 \rho A_1^* + A_2 \rho A_2^*$$
   यह ऑपरेटर गैर-आक्षेपित (non-injective) है और विशिष्ट आधार अवस्थाओं पर एक क्रमपरिवर्तन (permutation) के रूप में कार्य करता है (विशेष रूप से $|e_2\rangle\langle e_2|$ और $|e_3\rangle\langle e_3|$ को आपस में बदलते हुए, जबकि $|e_1\rangle\langle e_1|$ को $|e_3\rangle\langle e_3|$ पर मैप करता है)।
2. ऑपरेटर $B_n$: इसे एक एकल यूनिटरी मैट्रिक्स $B_n$ (ब्लॉक स्फीयर के $xy$-प्लेन में एक रोटेशन) द्वारा परिभाषित किया गया है:
   $$B_n = \begin{pmatrix} \cos \theta & -\sin \theta & 0 \\ \sin \theta & \cos \theta & 0 \\ 0 & 0 & 1 \end{pmatrix}$$
   जहाँ $\theta = \frac{\pi}{2n}$ है। चैनल $B_n(\rho) = B_n \rho B_n^*$ है।
3. स्वचालन $M_n$ (The Automaton $M_n$): अवस्थाएँ $\{A, B_n\}$ वर्णमाला (alphabet) का उपयोग करके प्रारंभिक अवस्था $|e_1\rangle\langle e_1|$ से सुलभ डेंसिटी मैट्रिसेस हैं।

विश्लेषणात्मक दृष्टिकोण (Analytical Approach)

यह सिद्ध करने के लिए कि कोई छोटा सिंक्रोनाइजिंग शब्द मौजूद नहीं है, लेखक क्वांटम अवस्थाओं की विभेदन क्षमता (distinguishability) के लिए एक मीट्रिक के रूप में ट्रेस डिस्टेंस ($D_{tr}$) का उपयोग करते हैं।

• अनुमान रणनीति (Approximation Strategy): वे दिखाते हैं कि यदि रोटेशन कोण $\theta$ पर्याप्त रूप से छोटा है (बड़ा $n$ चुनकर), तो ऑपरेटर $B_n$ आइडेंटिटी मैट्रिक्स $I$ के अत्यंत निकट है।
• परिवर्तन सीमाएँ (Perturbation Bounds): शैटन नॉर्म्स (Schatten norms) के लिए हॉल्डर असमानता (Hölder inequality) और ट्रेस डिस्टेंस के गुणों का उपयोग करते हुए, वे एक सीमा (लेम्मा 7) व्युत्पन्न करते हैं जो यह दर्शाती है कि आइडेंटिटी के करीब स्थित चैनल $\Phi(\rho) = B\rho B^T$ के लिए, $D_{tr}(\rho, \Phi(\rho))$ का मान $4\epsilon$ द्वारा सीमित है, जहाँ $\epsilon$ मैट्रिक्स प्रविष्टियों के आइडेंटिटी से विचलन को दर्शाता है।
• आगमनात्मक संचय (Inductive Accumulation): वे सिद्ध करते हैं कि $B_n$ ऑपरेटर्स का एक अनुक्रम त्रुटि को रैखिक रूप से संचित करता है (लेम्मा 9)। फलस्वरूप, $A$ और $B_n$ से बना $l$ लंबाई का कोई भी शब्द $A$ की घात (अर्थात $A^k$) की तरह कार्य करता है, जिसमें त्रुटि $B_n$ के अनुप्रयोगों के समानुपाती होती है।

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

प्रमेय 11: अनबाउंडेड न्यूनतम लंबाई (Theorem 11: Unbounded Minimal Length)

शोध पत्र का केंद्रीय परिणाम प्रमेय 11 है, जो कहता है:

प्रत्येक धनात्मक पूर्णांक $l$ के लिए, एक पूर्णांक $n$ मौजूद है जिससे क्वांटम चैनल $M_n$ (क्यूट्रिट्स पर) में एक सिंक्रोनाइजिंग शब्द मौजूद है, लेकिन $\le l$ लंबाई का कोई भी सिंक्रोनाइजिंग शब्द मौजूद नहीं है।

प्रमाण तर्क (Proof Logic):

1. मान लें कि $\le l$ लंबाई का एक सिंक्रोनाइजिंग शब्द $w$ मौजूद है।
2. क्योंकि $B_n$ आइडेंटिटी के करीब है, $w$ लगभग $A^j$ के रूप में कार्य करता है, जहाँ $j$ एक पूर्णांक है।
3. ऑपरेटर $A$ अवस्थाओं $|e_2\rangle\langle e_2|$ और $|e_3\rangle\langle e_3|$ को क्रमपरिवर्तित करता है। इसलिए, $A^j$ इन दोनों विशिष्ट अवस्थाओं को अलग-अलग अवस्थाओं में मैप करता है (या उन्हें बदल देता है), जिससे उनके बीच ट्रेस डिस्टेंस 1 बना रहता है।
4. हालाँकि, यदि $w$ वास्तव में सिंक्रोनाइजिंग होता, तो वह दोनों अवस्थाओं को एक ही अंतिम अवस्था पर मैप करता, जिसका अर्थ होता कि उनके बीच ट्रेस डिस्टेंस 0 है।
5. $n$ को पर्याप्त बड़ा चुनकर (जिससे $\theta$ छोटा हो जाए), $B_n$ घटकों से होने वाली संचित त्रुटि को $0.5$से कम रखा जा सकता है। यह एक विरोधाभास पैदा करता है: दो अवस्थाओं की छवियों के बीच की दूरी$A$ (के कारण) 1 के करीब होनी चाहिए, लेकिन साथ ही सिंक्रोनाइजेशन (के कारण) 0 के करीब भी होनी चाहिए।
6. अतः, ऐसा कोई छोटा शब्द $w$ मौजूद नहीं हो सकता।

सिंक्रोनाइजिंग वर्ड्स की उपस्थिति (Existence of Synchronizing Words)

जबकि न्यूनतम शब्द अनबाउंडेड हैं, लेखक पुष्टि करते हैं (लेम्मा 12) कि किसी भी $n$ के लिए एक सिंक्रोनाइजिंग शब्द मौजूद होता है। विशेष रूप से, शब्द $A B_n^n A$ सिंक्रोनाइजिंग है और सभी अवस्थाओं को $|e_2\rangle\langle e_2|$ पर मैप करता है। यह सिद्ध करता है कि सिस्टम सिंक्रोनाइज़ेबल है, लेकिन इसका न्यूनतम लंबाई $n$ पर निर्भर करती है और इसे मनमाने रूप से बड़ा बनाया जा सकता है।

4. महत्व (Significance)

• चेर्नी अनुमान के क्वांटम एनालॉग का खंडन: यह शोध पत्र प्रदर्शित करता है कि चेर्नी अनुमान (या केवल आयाम पर आधारित कोई भी परिमित सीमा) क्वांटम सेटिंग में विफल रहता है। शास्त्रीय DFA में, आयाम (अवस्थाओं की संख्या) न्यूनतम सिंक्रोनाइजिंग शब्द की लंबाई को सख्ती से सीमित करता है। क्वांटम चैनलों में, यहाँ तक कि 3 (क्यूट्रिट्स) के निश्चित आयाम के साथ भी, न्यूनतम सिंक्रोनाइजिंग शब्द की लंबाई अनबाउंडेड है।
• गैर-आक्षेपितता (Non-Injectivity) की भूमिका: यह निर्माण रेखांकित करता है कि ऑपरेटर $A$ की गैर-आक्षेपितता (non-injectivity) सिंक्रोनाइजेशन के लिए महत्वपूर्ण है। यदि सभी ऑपरेटर्स आक्षेपित (injective) होते, तो सिंक्रोनाइजेशन असंभव होता। $B_n$ का "निकट-आइडेंटिटी" व्यवहार सिस्टम को $A$ के सिंक्रोनाइजेशन प्रभाव को अनिश्चित काल तक "विलंबित" करने की अनुमति देता है।
• सैद्धांतिक निहितार्थ: यह कार्य क्वांटम सिस्टमों में नियंत्रण सिद्धांत (control theory) की समझ को गहरा करता है, यह दिखाते हुए कि क्वांटम चैनल पहुँच (reachability) और सिंक्रोनाइजेशन के संबंध में अपने शास्त्रीय परिमित-अवस्था समकक्षों की तुलना में मौलिक रूप से भिन्न व्यवहार प्रदर्शित कर सकते हैं।

5. भविष्य की दिशाएँ (Future Directions)

लेखक दो खुले प्रश्नों को प्रस्तुत करते हैं:

1. क्या क्यूट्रिट्स (qutrits) के बजाय क्यूबिट्स (qubits - 2-आयामी सिस्टम) के लिए भी ऐसे अनबाउंडेड परिणाम लागू होते हैं?
2. क्या ऐसे निर्माण प्राप्त किए जा सकते जहाँ दोनों ऑपरेटर्स यूनिटल (unital - आइडेंटिटी ऑपरेटर को संरक्षित करने वाले) हों, जो कि भौतिक कार्यान्वयन के लिए अक्सर प्रासंगिक एक सख्त स्थिति है?