⚛️ quantum physics

Essential Unitarity for Higher-Order Quantum Computation

यह शोध पत्र उच्च-क्रम क्वांटम कंप्यूटेशन के लिए एक सीमा-केंद्रित (boundary-centric) सिमेंटिक ढांचे को प्रस्तुत करता है जो "अनिवार्य एकरूपता" (essential unitarity) को मानक एकरूपता के एक अद्वितीय, सुसंगत-अनुकूल सामान्यीकरण के रूप में परिभाषित करता है, जो उच्च-क्रम इंटरफेस पर सूचना संरक्षण सुनिश्चित करता है और क्वांटम स्विच जैसे सुपरमैप्स की सुसंगत प्राप्ति को सक्षम बनाता है।

मूल लेखक: Samson Abramsky, Radha Jagadeesan

प्रकाशित 2026-06-04

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

CC BY 4.0

मूल लेखक: Samson Abramsky, Radha Jagadeesan

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

मुख्य चित्र: क्या अपरिवर्तनीय को उल्टा किया जा सकता है?

कल्पना कीजिए कि आप जादुई, उत्क्रमणीय (reversible) लेगो ब्लॉक्स के एक सेट के साथ खेल रहे हैं। मानक क्वांटम भौतिकी की दुनिया में (जिसे "प्रथम-क्रम" या "first-order" दुनिया कहा जाता है), यदि आप एक मशीन बनाते हैं, तो आप उसे हमेशा अपने मूल ब्लॉक्स वापस पाने के लिए पूरी तरह से अलग कर सकते हैं। यह गुण यूनिटैरिटी (unitarity) कहलाता है। यह एक आदर्श जादू के खेल जैसा है जहाँ कुछ भी खोता या नष्ट नहीं होता; जानकारी बस इधर-उधर घूमती रहती है।

लेकिन क्या होगा जब आपके लेगो ब्लॉक्स केवल ब्लॉक्स न होकर, अन्य मशीनें हों? यह हायर-ऑर्डर क्वांटम कंप्यूटेशन (Higher-Order Quantum Computation) की दुनिया है। यहाँ, आप केवल तार नहीं जोड़ रहे हैं; आप पूरी प्रक्रियाओं को जोड़ रहे हैं। आपके पास एक ऐसी मशीन हो सकती है जो दो अन्य मशीनों को लेता है और उनके क्रम को बदल देता है, या एक ऐसी मशीन जो दो अलग-अलग ऑपरेशन्स के क्रमों को सुपरपोजिशन (superpose) करती है (जैसे प्रसिद्ध "क्वांटम स्विच", जहाँ कारण और प्रभाव "A फिर B" और "B फिर A" के एक धुंधले मिश्रण में होते हैं)।

लेखक जिस समस्या का सामना कर रहे हैं वह यह है: "पूर्ण उत्क्रमणीयता" (unitarity) का पुराना नियम इन मशीनों को जोड़ने वाली मशीनों के लिए काम नहीं करता है। यदि आप पुराने नियमों को लागू करने की कोशिश करते हैं, तो ऐसा लगता है जैसे जानकारी खो रही है। लेकिन हम जानते हैं कि ये प्रक्रियाएँ भौतिक रूप से वास्तविक और उत्क्रमणीय हैं। इसलिए, लेखक पूछते हैं: जब हम मशीनों को मशीनों से जोड़ रहे हों, तो उत्क्रमणीयता के लिए नया नियम पुस्तिका क्या है?

समाधान: "बाउंड्री" (सीमा) का दृष्टिकोण

लेखक इन जटिल मशीनों को देखने का एक नया तरीका प्रस्तावित करते हैं। मशीन के उलझे हुए आंतरिक भाग को समझने के बजाय, वे सख्ती से बाउंड्री (boundary) यानी उन पोर्ट्स को देखते हैं जहाँ से तार अंदर जाते हैं और बाहर आते हैं।

उपमा: ब्लैक बॉक्स और पोर्ट मैप
कल्पना कीजिए कि एक जटिल मशीन एक 'ब्लैक बॉक्स' है।

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

उन्होंने खोजा कि यदि आप यह मैप करते हैं कि मशीन "इनकमिंग" ढेर से "आउटगोइंग" ढेर तक जानकारी को कैसे ले जाती है, तो आपको एक सरल गणितीय ग्रिड (मैट्रिक्स) प्राप्त होता है।

नया नियम: एसेंशियल यूनिटैरिटी (Essential Unitarity)
लेखक एक नया गुण परिभाषित करते हैं जिसे एसेंशियल यूनिटैरिटी (EU) कहा जाता है।

एक मशीन "एसेंशियल यूनिटरी" है यदि उसका बाउंड्री मैप (Boundary Map) एक पूर्ण, उत्क्रमणीय शफल (shuffle) है।
इससे कोई फर्क नहीं पड़ता कि मशीन के अंदर का हिस्सा उलझा हुआ गाँठ या जटिल हायर-ऑर्डर लॉजिक है। यदि मशीन का बाउंड्री मैप एक पूर्ण शफल (कोई जानकारी खोई नहीं, कोई जानकारी पैदा नहीं हुई) है, तो मशीन वैध है।

यह एक बैंक वॉल्ट (तिजोरी) की जाँच करने जैसा है। आपको यह जानने की आवश्यकता नहीं है कि अंदर का लॉक तंत्र कैसे काम करता है; आपको बस यह सत्यापित करने की आवश्यकता है कि हर एक डॉलर जो अंदर जाता है, ठीक एक डॉलर बाहर आता है, और कुल गणना मेल खाती है।

"क्वांटम कोर" (QC)

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

कचरे की अनुमति नहीं: इस फैक्ट्री में, वे "यूनिट्स" (खाली स्थान) की अनुमति नहीं देते हैं जो ऊर्जा के अदृश्य लूप बना सकते हैं। वे सख्ती से "स्केलर लूप्स" (अदृश्य चक्र जो गणित को तोड़ देंगे) को वर्जित करते हैं।
बिल्डिंग ब्लॉक्स: वे सरल, पूर्ण शफल्स (स्ट्रक्चरल लिंक्स) से शुरुआत करते हैं।
स्पिन जोड़ना: वे "रोटेशन" (जैसे डायल घुमाकर क्वांटम सुपरपोजिशन बनाना) जोड़ते हैं।
परिणाम: उन्होंने सिद्ध किया कि इस फैक्ट्री में बनाई गई प्रत्येक मशीन स्वतः ही नए नियम को पूरा करती है: एसेंशियल यूनिटैरिटी।

यदि आप इसे उनकी फैक्ट्री में बनाते हैं, तो यह गारंटी है कि यह बाउंड्री पर उत्क्रमणीय है, भले ही यह अंदर से अराजक दिखे।

"क्वांटम स्विच" का उदाहरण

पेपर एक प्रसिद्ध उदाहरण को उजागर करता है जिसे क्वांटम स्विच कहा जाता है।

परिदृश्य: कल्पना कीजिए कि दो मशीनें हैं, A और B। आमतौर पर, आप A फिर B चलाते हैं। या आप B फिर A चलाते हैं।
द स्विच: एक विशेष मशीन एक "कंट्रोल वायर" (एक क्वांटम कॉइन फ्लिप की तरह) लेती है। यदि कॉइन 'हेड्स' है, तो यह A फिर B चलाती है। यदि 'टेल्स' है, तो यह B फिर A चलाती है। लेकिन क्योंकि यह एक क्वांटम कॉइन है, इसलिए यह एक ही समय में दोनों को सुपरपोजिशन में करती है।
जादू: लेखक दिखाते हैं कि यह स्विच उनकी फैक्ट्री में एक वैध मशीन है। भले ही घटनाओं का क्रम धुंधला हो, लेकिन "बाउंड्री मैप" दिखाता है कि जानकारी पूरी तरह से संरक्षित है। "कंट्रोल वायर" (सिक्का) बरकरार रहता है और आगे बढ़ता रहता है, जिससे यह सुनिश्चित होता है कि कुछ भी खोया नहीं है।

यह क्यों महत्वपूर्ण है (पेपर के अनुसार)

पेपर यह दावा नहीं करता है कि यह कल ही बीमारियों का इलाज करेगा या तेज़ कंप्यूटर बनाएगा। इसके बजाय, यह एक सैद्धांतिक पहेली को हल करता है:

यह नियमों को एकीकृत करता है: यह दिखाता है कि एक ही गणितीय परीक्षण (बाउंड्री मैप की जाँच करना) सरल तारों और जटिल, हायर-ऑर्डर मशीनों (जो अन्य मशीनों को नियंत्रित करती हैं) दोनों के लिए काम करता है।
यह सीमाओं को परिभाषित करता है: यह हमें बताता है कि कौन सी हायर-ऑर्डर प्रक्रियाएं भौतिक रूप से संभव (उत्क्रमणीय) हैं और कौन सी नहीं।
यह "सुपरमैप्स" (Supermaps) को संभालता है: यह सिद्ध करता है कि जटिल रूपांतरण (जैसे एक पूरे क्वांटम ऑपरेशन को दूसरे में बदलना) को सरल, उत्क्रमणीय शफल्स के रूप में समझा जा सकता है यदि आप बाउंड्री को सही ढंग से देखें।

एक वाक्य में सारांश

लेखकों ने एक नया "रिवर्सिबिलिटी टेस्ट" बनाया जो जटिल क्वांटम मशीनों के केवल इनपुट और आउटपुट पोर्ट्स को देखता है, यह सिद्ध करते हुए कि भले ही सबसे उलझी हुई हायर-ऑर्डर प्रक्रियाएं (जैसे क्वांटम स्विच) कितनी भी जटिल क्यों न हों, वे पूरी तरह से उत्क्रमणीय हैं जब तक कि उनका बाउंड्री मैप एक पूर्ण शफल है।

तकनीकी सारांश: उच्च-क्रम क्वांटम कंप्यूटेशन के लिए आवश्यक युनिटैरिटी (Essential Unitarity)

1. समस्या विवरण

यह शोध पत्र कैटेगोरिकल क्वांटम मैकेनिक्स (CQM) में उच्च-क्रम क्वांटम प्रक्रियाओं के लिए युनिटैरिटी (unitarity) की परिभाषा के संबंध में एक मौलिक अंतराल को संबोधित करता है। जबकि प्रथम-क्रम परिवर्तनीय गतिकी (first-order reversible dynamics) को मानक स्थिति $f^\dagger f = f f^\dagger = \text{id}$ द्वारा कैप्चर किया जाता है, यह परिभाषा उच्च-क्रम मोर्फिज्म (जैसे कि क्वांटम स्विच) के लिए विफल हो जाती है जहाँ इनपुट और आउटपुट अवस्थाओं के बजाय प्रक्रियाएं (processes) होते हैं। ये उच्च-क्रम प्रक्रियाएं भौतिक रूप से реализуने योग्य और परिवर्तनीय हैं, लेकिन वे मानक अर्थों में युनिटरी एंडोमोर्फिज्म के रूप में प्रकट नहीं होती हैं क्योंकि उनके स्रोत और लक्ष्य प्रकार संरचनात्मक रूप से भिन्न होते हैं (जैसे कि एक फलन का उपभोग करना और एक मान का उत्पादन करना)।

केंद्रीय प्रश्न यह है: उच्च-क्रम क्वांटम प्रक्रियाओं के लिए युनिटैरिटी की सही अवधारणा क्या है जो प्रथम-क्रम एंडोमोर्फिज्म से परे परिचालन परिवर्तनीयता (operational reversibility) को कैप्चर करती है?

उच्च-क्रम क्वांटम सिद्धांत (सुपरमैप्स) के मौजूदा दृष्टिकोण आमतौर पर प्रथम-क्रम सिद्धांत से व्युत्पन्न उच्च-क्रम मानचित्रों पर एडमिसेबिलिटी स्थितियों (admissibility conditions - जैसे कार्य-कारणता, पूर्ण सकारात्मकता) को "ऊपर से" (from above) स्वयंसिद्ध करते हैं। यह शोध पत्र एक "नीचे से" (from below) दृष्टिकोण प्रस्तावित करता है, जो अंतर्निहित कैटेगोरिकल सिंटैक्स के संरचनात्मक गुणों से उच्च-क्रम एडमिसेबिलिटी को व्युत्पन्न करता है।

2. कार्यप्रणाली

लेखक बॉर्डर-सेंट्रिक प्रेजेंटेशन (boundary-centric presentation) पर आधारित एक सिमेंटिक फ्रेमवर्क विकसित करते हैं, जो केली-लैप्लाज़ा (KL) कॉम्बिनेटोरियल प्रेजेंटेशन और अब्रामस्की के कंक्रीट पोर्ट-मैचिंग फॉर्मलिज्म पर आधारित है।

2.1 स्रोत श्रेणी (The Source Category)

निर्माण तीन चरणों में आगे बढ़ता है:

**केली-लैप्लाज़ा बेस ($KL $):** मोर्फिज्म को पोर्ट सेट्स ($ A^+ \sqcup B^- \cong B^+ \sqcup A^-$) के बीच ध्रुवीकृत (polarized) बाइजेक्शन के रूप में दर्शाया जाता है, जिसमें एक लूप काउंट $\kappa$ होता है। यह परम्यूटेशन, लूप और पोलैरिटी को अलग करता है।
**कोप्रोडक्ट कंप्लीशन ($Cop $):** ऑब्जेक्ट्स इंटरफेस के परिमित विलगित संघ ($ \bigoplus M_i$) हैं। टेंसर उत्पाद ऑब्जेक्ट स्तर पर योग (sum) पर सख्ती से वितरित होता है, जिससे कोहेरेंस आइसोमोर्फिज्म से बचा जा सके जो पोर्ट कॉपी करने की प्रक्रिया को अस्पष्ट कर सकते हैं।
लीनियर कंप्लीशन ( $Perm(\mathbb{C})$ ): इस श्रेणी को एक $\mathbb{C}$ -लीनियर श्रेणी में पूर्ण किया जाता है जहाँ मोर्फिज्म KL घटकों के मैट्रिक्स होते हैं। एक अदिश पैरामीटर $\delta$ बंद निष्पादन चक्रों (लूप्स) को ट्रैक करता है।

2.2 बाउंड्री ट्रांसपोर्ट (Boundary Transport)

मुख्य पद्धतिगत नवाचार बाउंड्री ट्रांसपोर्ट फलन $T$ है। किसी भी मोर्फिज्म $f: A \to B$ के लिए, लेखक कट ऑब्जेक्ट $A^* \otimes B$ के बाउंड्री पोर्ट सेट्स पर कार्य करने वाला एक एकल मैट्रिक्स $T_f$ निर्मित करते हैं।

पोर्ट्स: बाउंड्री को "इनकमिंग" ( $P_{A,B} = \text{Neg}(A) \sqcup \text{Pos}(B)$ ) और "आउटगोइंग" ( $N_{A,B} = \text{Pos}(A) \sqcup \text{Neg}(B)$ ) में विभाजित किया गया है।
निर्माण: KL मैचिंग को एक मोर्फिज्म को $P_{A,B}$ से $N_{A,B}$ तक के ट्रांसपोर्ट के रूप में पुनर्गठित किया जाता है। बंद लूप अदिश कारकों ( $\delta^\kappa$ ) में योगदान देते हैं।
अपरिवर्तनीयता (Invariance): यह निर्माण करीइंग (currying) और संरचनात्मक कोहेरेंस के तहत अपरिवर्तनीय है; उच्च-क्रम संरचना बाउंड्री पर "घुल" जाती है, जिससे एक ठोस रैखिक ऑपरेटर शेष रहता है।

2.3 क्वांटम कोर ($QC$)

लेखक एक उप-श्रेणी $QC \subseteq Perm(\mathbb{C})$ को क्वांटम कोर के रूप में परिभाषित करते हैं। इसे यूनिट-मुक्त (unit-free) बनाया गया है (टेन्सर यूनिट $1 $को छोड़कर) ताकि उन अदिश लूपों के निर्माण को रोका जा सके जो परिवर्तनीयता का उल्लंघन करते हैं।$ QC$ द्वारा जनरेट किया जाता है:

यूनिट-मुक्त संरचनात्मक मोर्फिज्म (MLL प्रूफ)।
हर्मिटियन इनवोल्यूशन के एक्सपोनेंशियल ( $e^{i\theta S} = \cos\theta \cdot \text{id} + i\sin\theta \cdot S$ )।
टेंसर, मोनोइडल सम, ड्युअल और कंपोजिशन के तहत क्लोजर।

3. मुख्य योगदान

3.1 एसेंशियल युनिटैरिटी (Essential Unitarity - EU)

यह शोध पत्र एसेंशियल युनिटैरिटी को उच्च-क्रम इंटरफेस के लिए युनिटैरिटी के सामान्यीकरण के रूप में पेश करता है।

परिभाषा: एक मोर्फिज्म $f$ 'एसेंशियलली युनिटरी' है यदि उसका बाउंड्री ऑपरेटर $T_f$ एक टू-साइडेड युनिटरी मैट्रिक्स ( $T_f^\dagger T_f = I$ और $T_f T_f^\dagger = I$ ) है।
विशिष्टता प्रमेय (Theorem 5.8): EU एक अनूठा प्रेडिकेट है जो निम्नलिखित के अनुकूल है:
1. डैगर-मोनॉइडल संरचना।
2. कोहेरेंस री-इंडेक्सिंग (एसोसिएटिविटी, सिमेट्री, डिस्ट्रीब्यूटिविटी)।
3. करीइंग (Currying)।
4. प्रथम-क्रम पर मानक युनिटैरिटी।
महत्व: यह चरित्रित करता है कि बाउंड्री के सापेक्ष सूचना कब संरक्षित होती है, भले ही कोई वैश्विक एंडोमोर्फिज्म व्याख्या मौजूद न हो।

3.2 क्वांटम कोर का क्लोजर

लेखक सिद्ध करते हैं कि क्वांटम कोर $QC$ का प्रत्येक मोर्फिज्म एसेंशियलली युनिटरी है (Theorem 6.8)।

प्रमाण यह दिखाने पर निर्भर करता है कि संरचनात्मक खंड EU है (परम्यूटेशन मैट्रिसेस) और एक्सपोनेंशियल कंस्ट्रक्टर कोसाइन-साइन पहचानियों के माध्यम से EU को सुरक्षित रखता है।
महत्वपूर्ण रूप से, यूनिट-मुक्त प्रतिबंध आवश्यक है: यूनिट को शामिल करने से अदिश लूप ( $\epsilon \circ \eta = \delta^{|M|} \text{id}$ ) बन सकते हैं जो $\delta \neq 1$ के लिए युनिटैरिटी टेस्ट में विफल रहते हैं।

3.3 अभिव्यक्तता और पूर्णता (Expressiveness and Fullness)

यह शोध पत्र युनिटरी समूहों के संबंध में $QC$ की अभिव्यंजक शक्ति स्थापित करता है:

युनिटरी फुलनेस (Theorem 7.2): $\oplus/\otimes$ $\oplus / \otimes$ नॉर्मल फॉर्म में एक टाइप के लिए, वास्तविक बाउंड्री युनिटरीज $U(M_{m_r}(\mathbb{C}) \otimes S_{p_r})$ $U (M_{m_{r}} (C) \otimes S_{p_{r}})$ के युनिटरी समूहों का उत्पाद बनाती हैं।
- एडिटिव मल्टीप्लिसिटी ( $\oplus$ ) मल्टीप्लिसिटी रजिस्टर पर पूर्ण मैट्रिक्स नियंत्रण ( $U(n)$ ) प्रदान करती है।
- टेंसरियल शेप केवल संरचनात्मक परम्यूटेशन बीजगणित ( $S_p$ ) में योगदान देती है।
इंटरनल $U(n)$ (Theorem 7.4): $QC $में किसी भी ऑब्जेक्ट$ A $की$ n $संकलन प्रतियों पर कार्य करने वाले आंतरिक$ U(n)$ शामिल हैं।

4. परिणाम और अनुप्रयोग

4.1 कोहेरेंट क्वांटम स्विच (The Coherent Quantum Switch)

शोध पत्र कोहेरेंट क्वांटम स्विच को $QC$ में एक उच्च-क्रम मोर्फिज्म के रूप में साकार करता है।

इसे एक रिसोर्स-लीनियर कॉन्टेक्स्ट के रूप में निर्मित किया गया है जो दो प्रक्रियाओं ( $f, g$ ) को या तो ( $f \circ g$ या $g \circ f$ ) क्रम में रूट करता है, जिसे एक क्वांटम बिट द्वारा नियंत्रित किया जाता है।
कंट्रोल वायर को स्पष्ट (syntactically visible) रखा गया है, और स्विच को यह दिखाने के लिए बनाया गया है कि वह कंट्रोल वायर की कोहेरेंस को बनाए रखते हुए एसेंशियलली युनिटरी है।

4.2 सुपरमैप्स का कोहेरेंट डाइलेशन (Coherent Dilation of Supermaps)

लेखक प्रदर्शित करते हैं कि एक-स्लॉट, समान-अनुपात, प्योरिटी-प्रिजर्विंग सुपरमैप्स $QC$ के भीतर एक कोहेरेंट प्योर-कॉम्ब डाइलेशन को स्वीकार करते हैं (Theorem 7.7)।

शर्त: सुपरमैप को समान-अनुपात शर्त ( $a_0 b_1 = a_1 b_0$ ) को पूरा करना चाहिए और प्योरिटी को बनाए रखना चाहिए।
साक्षात्कार: सुपरमैप को $QC $में सहायक प्रणालियों पर कार्य करने वाले युनिटरीज$ V_1, V_2$ के संयोजन के रूप में साकार किया जाता है।
अंतर: मिश्रित अवस्थाओं और पार्शियल ट्रेस का उपयोग करने वाले मानक सुपरमैप निरूपणों के विपरीत, यह कार्यान्वयन मेमोरी वायर को एक्सपोज्ड (कोई इनिशियलाइजेशन या डिस्पर्ड नहीं) रखता है, जिससे पूरी तरह से कोहेरेंट, युनिटरी विवरण बना रहता है।

5. महत्व और दावे

यह शोध पत्र उच्च-क्रम परिवर्तनीयता का एक एकीकृत, संरचनात्मक विवरण प्रदान करने का दावा करता है।

पद्धतिगत बदलाव: यह एडमिसेबिलिटी को "ऊपर से" (from above) स्वयंसिद्ध करने के बजाय केली-लैप्लाज़ा सिंटैक्स के बाउंड्री ट्रांसलेशन के माध्यम से "नीचे से" (from below) व्युत्पन्न करने की ओर बढ़ता है।
एकरूपता: एसेंशियल युनिटैरिटी की परिभाषा प्रथम-क्रम गेट्स, इवैल्यूएशन, करीज़ और उच्च-क्रम कंपोजिट के लिए समान है। यह बाउंड्री मैट्रिक्स पर एक लीनियर-अलजेब्रिक टेस्ट है, न कि मोर्फिज्म पर एक जटिल कैटेगोरिकल स्थिति।
दायरा: यह ढांचा कोहेरेंट क्वांटम स्विच और प्योरिटी-प्रिजर्विंग सुपरमैप्स को कोहेरेंट प्योर-कॉम्ब डाइलेशन के रूप में साकार करता है। यह माप (measurement), पार्शियल ट्रेस और मिश्रित-अवस्था सिमेंटिक्स को स्पष्ट रूप से बाहर करता है, और पूरी तरह से उस युनिटरी/कोहेरेंट खंड पर ध्यान केंद्रित करता है जहाँ मेमोरी वायर्स दृश्यमान रहती हैं।

यह कार्य स्थापित करता है कि "क्वांटम कोर" $QC $एक यूनिट-फ्री डैगर-$ *$-ऑटोनॉमस रिग कैटेगरी है जहाँ प्रत्येक मोर्फिज्म एसेंशियलली युनिटरी है, जो एक कठोर सिमेंटिक आधार प्रदान करता है जो परिचालन परिवर्तनीयता का सम्मान करता है।