Robust Quantum Extremal Numbers

तकनीकी सारांश: सुदृढ़ क्वांटम एक्सट्रीमल संख्याएँ (Robust Quantum Extremal Numbers)

समस्या विवरण
यह शोध पत्र एब्सोल्यूटली मैक्सिमली एंटेंगल्ड (AME) अवस्थाओं की सीमाओं को संबोधित करता है, जिन्हें यह आवश्यक होता है कि आधे से कम पक्षों (parties) के प्रत्येक न्यूनीकरण (reduction) को मैक्सिमली मिक्स्ड होना चाहिए। क्यूबिट प्रणालियों के लिए, $n=4, 7$ और $n \ge 8$ के लिए AME अवस्थाएँ ज्ञात रूप से अस्तित्व में नहीं होती हैं। पिछले कार्य ने क्वांटम एक्सट्रीमल संख्या $Q_{ex}(n, k)$ को पेश किया था, जो एक $n$-क्यूबिट शुद्ध अवस्था (pure state) में ठीक मैक्सिमली मिक्स्ड $k$-बॉडी मार्जिनल्स की अधिकतम संख्या को गिनता है, जो हाइपरग्राफ टुरान थ्योरी (hypergraph Turán theory) से जुड़ा हुआ है। हालाँकि, यह सटीक ढांचा अत्यंत कठोर है और भौतिक खामियों जैसे कि शोर (noise) या संकलन त्रुटियों (compilation errors) को ध्यान में नहीं रखता है।

यह कार्य एक सुदृढ़ विस्तार (robust extension) विकसित करता है। सटीक मैक्सिमल मिक्सनेस की आवश्यकता के बजाय, इसका उद्देश्य उन $k$-बॉडी मार्जिनल्स की संख्या को अधिकतम करना है जो एक विशिष्ट त्रुटि सीमा (error threshold) को संतुष्ट करते हैं, जबकि शेष मार्जिनल्स पर कोई प्रतिबंध नहीं लगाया जाता है। यह "अनुमानित $k$-यूनिफॉर्मिटी" (approximate $k$-uniformity) से भिन्न है, जिसके लिए सभी $k$-बॉडी मार्जिनल्स को एक समान त्रुटि सीमा का पालन करना आवश्यक होता है।

कार्यप्रणाली और परिभाषाएँ
लेखक एक उप-तंत्र $A$ के लिए मार्जिनल मैक्सिमल-मिक्सिंग डिफेक्ट $D_A$ को परिभाषित करते हैं, जिसका आयाम $d_A = 2^{|A|}$ है:
$$D_A := d_A \text{Tr}(\rho_A^2) - 1 = d_A \left\| \rho_A - \frac{I_A}{d_A} \right\|_2^2$$
यह मात्रा एक मार्जिन $\rho_A$ के मैक्सिमली मिक्स्ड अवस्था से विचलन को मापती है। यह आयामहीन (dimensionless) है और $A$ के भीतर समर्थित कुल वर्गाकार गैर-आइडेंटिटी पाउली वेट (non-identity Pauli weight) के समतुल्य है।
$Q^D_{ex, \varepsilon}(n, k)$ को $\varepsilon$-अच्छे $k$-उपसमुच्चयों (subsets) की अधिकतम संख्या के रूप में परिभाषित किया गया है जहाँ $D_A \le \varepsilon$ है।

कार्यप्रणाली निम्नलिखित को संयोजित करती है:

1. पाउली प्रतिनिधित्व (Pauli Representation): पाउली गुणांकों ($r_\alpha$) और वेट एन्यूमरेटर्स ($a_j$) के संदर्भ में डिफेक्ट्स को व्यक्त करना।
2. शैडो असमानताएँ (Shadow Inequalities): पाउली वेट वितरण पर बाधाएँ उत्पन्न करने के लिए स्टेट-इनवर्जन मैप के माध्यम से ज़ीरोथ रेंस शैडो असमानता (zeroth Rains shadow inequality) का उपयोग करना।
3. श्मिट रैंक बाउंड्स (Schmidt Rank Bounds): अवस्था की वैश्विक शुद्धता (global purity) से प्राप्त रिड्यूस्ड डेंसिटी मैट्रिसेस पर रैंक बाधाओं को लागू करना।
4. संयोजन संबंधी अपवर्जन (Combinatorial Exclusion): स्थानीय क्वांटम बाधाओं को निषेधित हाइपरग्राफ संरचनाओं (टुरान थ्योरी) में अनुवादित करना ताकि "अच्छे" उपसमुच्चयों की संख्या को सीमित किया जा सके।

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

1. सम-क्यूबिट प्रणालियाँ ($n = 4m$)
$4m$ क्यूबिट्स पर शुद्ध अवस्थाओं के लिए, लेखक एक स्थानीय स्थिरता असमानता स्थापित करते हैं। किसी भी आकार $T$ के सेट के लिए $2m+1$:
$$\sum_{i \in T} D_{T \setminus \{i\}} \ge 1$$
यह दर्शाता है कि $\varepsilon$-अच्छे $2m$-उपसमुच्चयों का हाइपरग्राफ $K^{(2m)}_{2m+1}$-मुक्त (अर्थात $2m+1$ के पूर्ण हाइपरग्राफ को नहीं रखता) है, जब $\varepsilon < 1/(2m+1)$ हो।

• आठ-क्यूबिट मामला ($n=8, k=4$): पिछले कार्य के ज्ञात सटीक निर्माण के साथ संयोजन करते हुए, लेखक एक स्थिरता पठार (stability plateau) सिद्ध करते हैं:
  $$Q^D_{ex, \varepsilon}(8, 4) = 56 \quad \text{जब} \quad 0 \le \varepsilon < \frac{1}{5}$$
  यह प्रदर्शित करता है कि सटीक मान एक परिमित त्रुट अंतराल के ऊपर स्थिर रहता है।

2. विषम-क्यूबिट प्रणालियाँ ($n = 2k+1$)
विषम प्रणालियों के लिए, निषेधित संरचना पूर्ण हाइपरग्राफ नहीं बल्कि एक विशिष्ट हाइपरग्राफ $H_k$ है जो $(k+2)$-उपसमुच्चय $A$ से संबंधित है। $H_k(A)$ के किनारे वे $k$-उपसमुच्चय $B$ हैं जहाँ $|B \cap A| = k$ या $|B \cap A| = 1$ है।

• सटीक निषेध पैटर्न: $k \ge 3$ और $k \neq 5$ के लिए, सटीक शून्य-त्रुटि हाइपरग्राफ $G_0(\psi)$, $H_k$-मुक्त है।
• परिमित-त्रुटि स्थिरता त्रिज्या (Finite-Error Stability Radii): लेखक उन $\varepsilon$ के लिए स्थिरता त्रिज्या के स्पष्ट निचले स्तर (lower bounds) प्राप्त करते हैं जिसके लिए $G_\varepsilon(\psi)$, $H_k$-मुक्त बना रहता है:
  • यदि $k \ge 4$ सम है: $\varepsilon < \frac{k-2}{(k+2)(k+1) + 4}$
  • यदि $k \ge 7$ विषम है: $\varepsilon < \frac{k-5}{(k+2)(k+1) + 8}$
• नौ-क्यूबिट मामला ($n=9, k=4$): सम-$k$ बाउंड को लागू करके $\varepsilon < 1/17$ प्राप्त होता है। टुरान संख्या के कवरिंग बाउंड के साथ संयोजन करते हुए, यह देता है:
  $$Q^D_{ex, \varepsilon}(9, 4) \le 120 \quad \text{जब} \quad 0 \le \varepsilon < \frac{1}{17}$$

3. सीमाएँ और अपवाद
शोध पत्र स्पष्ट रूप से सीमाओं को नोट करता है:

• सात क्यूबिट्स ($k=3$): जबकि कॉम्पैक्टनेस तर्क एक सकारात्मक स्थिरता त्रिज्या की गारंटी देते हैं, शोध पत्र में प्रयुक्त स्केलर अनुमान एक स्पष्ट सकारात्मक निचला स्तर प्रदान नहीं करते हैं।
• ग्यारह क्यूबिट्स ($k=5$): निषेध पैटर्न को सिद्ध करने वाला ऑपरेटर आइडेंटिटी विकृत (degenerate) हो जाता है ($V|\psi\rangle = 0$), जिसका अर्थ है कि वर्तमान विधि यह स्थापित नहीं करती है कि $H_5$ निषेधित है। एक अलग निषेध पैटर्न या मजबूत बाधाओं की आवश्यकता है।
• इष्टतमता (Optimality): लेखक यह दावा नहीं करते कि प्राप्त त्रिज्याएँ सटीक (sharp) हैं; वे वास्तविक स्थिरता त्रिज्याओं के लिए स्पष्ट निचली सीमाएँ हैं।

महत्व
यह शोध पत्र स्थापित करता है कि क्वांटम एक्सट्रीमल संख्याओं में गैर-तुच्छ परिमित-त्रुट स्थिरता अंतराल (nontrivial finite-error stability intervals) होते हैं। यह प्रदर्शित करता है कि स्थानीय क्वांटम निरंतरता स्थितियाँ (विशेष रूप से, मार्जिनल मैक्सिमल-मिक्सिंग डिफेक्ट्स) परिमित विक्षोभ (perturbations) के तहत भी संयोजी कठोरता (combinatorial rigidity) बनाए रखती हैं। सटीक क्वांटम टुरान बाधाओं को मात्रात्मक सुदृढ़ता कथनों में बदलकर, यह कार्य सटीक संयोजी बाधाओं और भौतिक रूप से यथार्थवादी परिदृश्यों के बीच के अंतर को पाटता है। यह उन क्षेत्रों की पहचान करने के लिए एक कठोर ढांचा प्रदान करता है जहाँ त्रुटिपूर्ण मार्जिनल अभी भी अत्यधिक एंटेंगल्ड अवस्थाओं से जुड़े संरचनात्मक लाभों को बनाए रखते हैं, जो क्वांटम एरर करेक्शन और क्वांटम सिमुलेशन के लिए प्रासंगिक है।