2025-11-15T02:28:11.214356

Sublogarithmic Distillation in all Prime Dimensions using Punctured Reed-Muller Codes

Saha, Prakash

Magic state distillation is a leading but costly approach to fault-tolerant quantum computation, and it is important to explore all possible ways of minimizing its overhead cost. The number of ancillae required to produce a magic state within a target error rate $Îµ$ is $O(\log^Î³ (Îµ^{-1}))$ where $Î³$ is known as the yield parameter. Hastings and Haah derived a family of distillation protocols with sublogarithmic overhead (i.e., $Î³< 1$) based on punctured Reed-Muller codes. Building on work by Campbell \textit{et al.} and Krishna-Tillich, which suggests that qudits of dimension $p>2$ can significantly reduce overhead, we generalize their construction to qudits of arbitrary prime dimension $p$. We find that, in an analytically tractable puncturing scheme, the number of qudits required to achieve sublogarithmic overhead decreases drastically as $p$ increases, and the asymptotic yield parameter approaches $\frac{1}{\ln p}$ as $p \to \infty$. We also perform a small computational search for optimal puncture locations, which results in several interesting triorthogonal codes, including a $[[519,106,5]]_5$ code with $Î³=0.99$.

academic

सभी प्राइम आयामों में पंक्चर्ड रीड-मुलर कोड का उपयोग करके सबलॉगरिदमिक डिस्टिलेशन

मूल जानकारी

पेपर ID: 2510.10852
शीर्षक: Sublogarithmic Distillation in all Prime Dimensions using Punctured Reed-Muller Codes
लेखक: Tanay Saha (Simon Fraser University), Shiroman Prakash (Dayalbagh Educational Institute)
वर्गीकरण: quant-ph (क्वांटम भौतिकी)
प्रकाशन तिथि: 12 अक्टूबर 2025 (arXiv प्रीप्रिंट)
पेपर लिंक: https://arxiv.org/abs/2510.10852

सारांश

मैजिक स्टेट डिस्टिलेशन फॉल्ट-टॉलरेंट क्वांटम कंप्यूटिंग का एक प्रमुख किंतु महंगा तरीका है। लक्ष्य त्रुटि दर ε के भीतर मैजिक स्टेट उत्पन्न करने के लिए आवश्यक सहायक क्वांटम बिट्स की संख्या O(log^γ(ε^(-1))) है, जहां γ को yield पैरामीटर कहा जाता है। Hastings और Haah ने पंक्चर्ड रीड-मुलर कोड के आधार पर सबलॉगरिदमिक ओवरहेड (अर्थात् γ < 1) वाले डिस्टिलेशन प्रोटोकॉल की एक श्रृंखला प्राप्त की। Campbell आदि और Krishna-Tillich के कार्य के आधार पर (जो दर्शाता है कि आयाम p > 2 के qudits ओवरहेड को काफी कम कर सकते हैं), यह पेपर इस निर्माण को किसी भी प्राइम आयाम p के qudits तक सामान्यीकृत करता है। अनुसंधान से पता चलता है कि विश्लेषणात्मक रूप से ट्रैक्टेबल पंक्चर्ड स्कीम में, p बढ़ने के साथ सबलॉगरिदमिक ओवरहेड प्राप्त करने के लिए आवश्यक qudits की संख्या तेजी से घटती है, और渐近yield पैरामीटर p → ∞ पर 1/ln p की ओर प्रवृत्त होता है। पेपर में छोटे पैमाने की कम्प्यूटेशनल खोज भी की गई है जो सर्वोत्तम पंक्चर्ड स्थानों को खोजने के लिए है, जिससे कई दिलचस्प त्रिऑर्थोगोनल कोड मिले हैं, जिनमें γ = 0.99 वाला एक [[519,106,5]]_5 कोड भी शामिल है।

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या परिभाषा

मैजिक स्टेट डिस्टिलेशन फॉल्ट-टॉलरेंट क्वांटम कंप्यूटिंग को प्राप्त करने की एक महत्वपूर्ण तकनीक है, लेकिन इसका विशाल संसाधन ओवरहेड व्यावहारिक अनुप्रयोग का मुख्य बाधा है। इस अनुसंधान द्वारा हल की जाने वाली मूल समस्या है: मैजिक स्टेट डिस्टिलेशन के ओवरहेड लागत को कैसे कम किया जाए, विशेषकर सबलॉगरिदमिक ओवरहेड (γ < 1) को प्राप्त करना।

महत्व

फॉल्ट-टॉलरेंट क्वांटम कंप्यूटिंग की व्यावहारिकता: मैजिक स्टेट डिस्टिलेशन को ओवरहेड का मुख्य स्रोत माना जाता है, इसकी लागत को कम करना वास्तविक क्वांटम कंप्यूटिंग सिस्टम के लिए महत्वपूर्ण है
सैद्धांतिक महत्व: यह कभी अनुमान लगाया जाता था कि सभी प्रोटोकॉल में γ ≥ 1 होता है, लेकिन सबलॉगरिदमिक ओवरहेड की प्राप्ति ने इस अनुमान को तोड़ दिया
तकनीकी चुनौती: सबलॉगरिदमिक ओवरहेड को प्राप्त करने के मौजूदा तरीकों को या तो अत्यधिक बड़े ब्लॉक आकार की आवश्यकता है, या बहुत अधिक qudit आयाम की आवश्यकता है

मौजूदा तरीकों की सीमाएं

बाइनरी सिस्टम: Hastings और Haah की विधि ने γ < 1 को प्राप्त किया है, लेकिन अत्यधिक बड़े ब्लॉक आकार (~2^58) की आवश्यकता है
रीड-सोलोमन विधि: Krishna-Tillich की विधि को γ < 1 प्राप्त करने के लिए p ≥ 23 की आवश्यकता है
सार्वभौमिकता की कमी: सभी प्राइम आयामों के लिए लागू एक एकीकृत निर्माण विधि की कमी है

अनुसंधान प्रेरणा

यह पेपर एक एकीकृत ढांचा बनाने का उद्देश्य रखता है, Hastings-Haah की पंक्चर्ड रीड-मुलर कोड विधि को किसी भी प्राइम आयाम p के qudits तक सामान्यीकृत करता है, साथ ही सबलॉगरिदमिक ओवरहेड प्राप्त करने के लिए आवश्यक सिस्टम आकार को काफी कम करता है।

मुख्य योगदान

सैद्धांतिक सामान्यीकरण: Hastings-Haah की बाइनरी पंक्चर्ड रीड-मुलर कोड निर्माण को किसी भी प्राइम आयाम p के qudits तक सफलतापूर्वक सामान्यीकृत किया
विश्लेषणात्मक ढांचा: मैनहट्टन वजन फ़ंक्शन के आधार पर पंक्चर्ड स्कीम स्थापित किया, जिससे कोड के पैरामीटर विश्लेषणात्मक रूप से गणना योग्य हैं
渐近 प्रदर्शन: प्रमाणित किया कि渐近 yield पैरामीटर γ₀(p) ~ 1/ln p जब p → ∞, उच्च-आयामी qudits के लाभ को प्रदर्शित करता है
व्यावहारिक सुधार: γ < 1 प्राप्त करने के लिए आवश्यक ब्लॉक आकार को p=2 के ~2^58 से p=5 के ~2^37 तक काफी कम किया
ठोस निर्माण: कम्प्यूटेशनल खोज के माध्यम से उच्च-प्रदर्शन त्रिऑर्थोगोनल कोड की खोज की, जिनमें [[519,106,5]]_5 कोड (γ = 0.99) शामिल है

विधि विवरण

कार्य परिभाषा

त्रिऑर्थोगोनल कोड [[n,k,d]]_p का निर्माण करें, जैसे कि:

इनपुट: n शोरयुक्त मैजिक स्टेट, त्रुटि दर ε_in
आउटपुट: k शुद्ध मैजिक स्टेट, त्रुटि दर ε_out = O(A_d ε_in^d)
लक्ष्य: yield पैरामीटर γ = log(n/k)/log(d) < 1 को कम करें

सैद्धांतिक आधार

त्रिऑर्थोगोनल स्पेस

परिमित क्षेत्र F_p पर परिभाषित रैखिक स्पेस C को शास्त्रीय त्रिऑर्थोगोनल स्पेस कहा जाता है, यदि:

∀x,y,z ∈ C, Σᵢ(xyz)ᵢ = 0 (mod p)
∀x,y ∈ C, Σᵢ(x*y)ᵢ = 0 (mod p)

रीड-मुलर कोड निर्माण

रीड-मुलर कोड RM_p(r,m) कुल डिग्री अधिकतम r के m-वेरिएबल बहुपद से बना है:

कोडवर्ड: f का पूर्ण फ़ंक्शन मूल्य मूल्यांकन (f(v⃗) : v⃗ ∈ F_p^m)
त्रिऑर्थोगोनल शर्त: 3r < m(p-1)
इष्टतम चयन: r = r_max = ⌊(m(p-1)-1)/3⌋

पंक्चर्ड स्कीम

मैनहट्टन वजन फ़ंक्शन

नया वजन फ़ंक्शन W_M(α) = α परिचय दें, मैनहट्टन वजन को परिभाषित करें: |v⃗|_M = Σᵢ W_M(vᵢ) = Σᵢ vᵢ

p-नोमियल गुणांक

सामान्यीकृत द्विपद गुणांक को परिभाषित करें: (1 + x + x² + ... + x^(p-1))^m = Σₛ (m choose s)_p x^s

पंक्चर्ड रणनीति

सभी मैनहट्टन वजन ≤w के निर्देशांकों को पंक्चर करें, पैरामीटर [[C_>(m,w;W_M,p), C_≤(m,w;W_M,p), d]]_p के साथ त्रिऑर्थोगोनल कोड प्राप्त करें।

दूरी गणना

प्रमेय 4: पंक्चर्ड रीड-मुलर कोड PRM_p(r,m,w) की दूरी है: $\Delta_p(m,r,w) = \sum_{j=0}^{p-β-1} \binom{m-α-1}{>w-j}_p$

जहां r = α(p-1) + β, β ∈ {0,1,...,p-2}।

तकनीकी नवाचार बिंदु

वजन फ़ंक्शन चयन: मैनहट्टन वजन Hamming वजन और Lee वजन की तुलना में पंक्चर्ड स्थान चयन में अधिक स्वतंत्रता प्रदान करता है
विश्लेषणात्मक ट्रैक्टेबिलिटी: p-नोमियल गुणांकों के संयोजक सिद्धांत के माध्यम से, कोड पैरामीटर पूरी तरह से गणना योग्य हैं
渐近 विश्लेषण: Hₚ(θ) फ़ंक्शन स्थापित किया जो p-नोमियल गुणांकों के渐近व्यवहार को चिह्नित करता है
अनुकूलन रणनीति: m = 3α के विशेष मामले में, yield पैरामीटर विश्लेषण के लिए आसान रूप में सरल हो जाता है

प्रयोगात्मक सेटअप

सैद्धांतिक विश्लेषण सेटअप

पैरामीटर चयन: m = 3α, r = α(p-1) - 1
वजन अनुपात: w/(p-1)m = t, t ∈ (0,1)
渐近सीमा: α → ∞, t को स्थिर रखते हुए

कम्प्यूटेशनल खोज सेटअप

लक्ष्य आयाम: p = 3, 5
खोज विधि: यादृच्छिकीकृत कंप्यूटर खोज
अनुकूलन उद्देश्य: yield पैरामीटर γ को कम करें
बाधा शर्तें: ब्लॉक आकार n < 1000 (व्यावहारिकता विचार के लिए)

प्रयोगात्मक परिणाम

मुख्य सैद्धांतिक परिणाम

渐近 Yield पैरामीटर

p	γ₀(p)	t₀(p)
2	0.678	0.271
3	0.632	0.274
5	0.559	0.279
7	0.508	0.282
11	0.441	0.287
23	0.347	0.295

न्यूनतम ब्लॉक आकार

γ < 1 प्राप्त करने के लिए आवश्यक न्यूनतम ब्लॉक आकार p के साथ तेजी से घटता है:

p = 2: ~2^58 qubits
p = 3: ~2^51 qutrits
p = 5: ~2^37 ququints
p = 17: ~2^16
p = 23: ~2^4

कम्प्यूटेशनल खोज परिणाम

त्रिगुण प्रणाली (p=3) के सर्वश्रेष्ठ कोड

230, 13, 6₃, γ = 1.60
215, 28, 5₃, γ = 1.27
206, 37, 4₃, γ = 1.24

पंचगुण प्रणाली (p=5) के सर्वश्रेष्ठ कोड

[[519, 106, 5]]₅, γ = 0.99 (महत्वपूर्ण सफलता)
112, 13, 3₅, γ = 1.96

प्रदर्शन विश्लेषण

[[519, 106, 5]]₅ कोड δᵢₙ = 10⁻³ पर:

आउटपुट त्रुटि दर: δₒᵤₜ ≈ 8 × 10⁻¹⁸
डिस्टिलेशन लागत: C = n/n̄ₜ ≈ 7.4

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

सैद्धांतिक सफलता: सभी प्राइम आयामों में सबलॉगरिदमिक मैजिक स्टेट डिस्टिलेशन को सफलतापूर्वक सामान्यीकृत किया
व्यावहारिक सुधार: γ < 1 प्राप्त करने के लिए आवश्यक सिस्टम आकार को काफी कम किया
渐近लाभ: प्रमाणित किया कि γ₀(p) ~ 1/ln p, उच्च-आयामी प्रणाली के सैद्धांतिक लाभ को प्रदर्शित करता है
ठोस निर्माण: व्यावहारिक उच्च-प्रदर्शन त्रिऑर्थोगोनल कोड की खोज की

सीमाएं

खोज सीमा: कम्प्यूटेशनल खोज केवल छोटे पैमाने की प्रणाली तक सीमित है
व्यावहारिकता: हालांकि सुधार महत्वपूर्ण है, फिर भी सैकड़ों qudits की आवश्यकता है
नियंत्रण जटिलता: उच्च-आयामी qudits का प्रायोगिक कार्यान्वयन अधिक कठिन है
अनुकूलन स्पेस: पंक्चर्ड स्कीम सर्वोत्तम नहीं हो सकता है

भविष्य की दिशाएं

संपूर्ण खोज: छोटे त्रिऑर्थोगोनल कोड की पूर्ण गणना
बेहतर निर्माण: रीड-मुलर कोड से परे निर्माण विधि खोजें
प्रायोगिक सत्यापन: वास्तविक क्वांटम सिस्टम में सैद्धांतिक भविष्यवाणियों को सत्यापित करें
अनुप्रयोग विस्तार: अन्य क्वांटम एल्गोरिदम में अनुप्रयोग की खोज करें

गहन मूल्यांकन

शक्तियां

सैद्धांतिक कठोरता: गणितीय व्युत्पत्ति पूर्ण है, प्रमाण कठोर हैं
व्यावहारिक मूल्य: व्यावहारिक रूप से व्यवहार्य सिस्टम आकार में महत्वपूर्ण सुधार
मजबूत सार्वभौमिकता: सभी प्राइम आयामों के लिए लागू
उच्च नवाचार: पहली बार एकीकृत qudit सबलॉगरिदमिक डिस्टिलेशन ढांचा प्राप्त किया

कमियां

कम्प्यूटेशनल जटिलता: 渐近विश्लेषण में जटिल सैडल-पॉइंट समीकरण शामिल हैं
खोज अधूरापन: यादृच्छिक खोज अधिक इष्टतम समाधान को छोड़ सकती है
प्रायोगिक अभाव: वास्तविक क्वांटम सिस्टम के सत्यापन की कमी
सीमित तुलना: अन्य गैर-रीड-मुलर विधियों के साथ तुलना अपर्याप्त है

प्रभाव

सैद्धांतिक योगदान: qudit क्वांटम त्रुटि सुधार सिद्धांत के लिए महत्वपूर्ण उपकरण प्रदान करता है
व्यावहारिक प्रगति: सबलॉगरिदमिक मैजिक स्टेट डिस्टिलेशन को व्यावहारिकता के करीब लाता है
प्रेरणादायक महत्व: क्वांटम लाभ की खोज के लिए नया दृष्टिकोण प्रदान करता है
पुनरुत्पादनीयता: विस्तृत निर्माण विधि और ठोस पैरामीटर प्रदान करता है

लागू परिदृश्य

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

संदर्भ

पेपर में 47 संबंधित संदर्भों का हवाला दिया गया है, मुख्य रूप से:

Bravyi & Kitaev (2005): मैजिक स्टेट डिस्टिलेशन का अग्रणी कार्य
Hastings & Haah (2018): बाइनरी सबलॉगरिदमिक डिस्टिलेशन की सफलता
Campbell et al. (2012): Qudit मैजिक स्टेट डिस्टिलेशन की नींव
Krishna & Tillich (2019): रीड-सोलोमन कोड का सबलॉगरिदमिक कार्यान्वयन

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