⚛️ quantum physics

Simulating sparse SYK model with a randomized algorithm on a trapped-ion quantum computer

यह शोध पत्र TETRIS रैंडमाइज्ड एल्गोरिदम और अनुकूलित त्रुटि शमन (error mitigation) का उपयोग करके एक ट्रैप्ड-आयन क्वांटम प्रोसेसर पर 24-मेजोराना स्पार्सिफाइड SYK मॉडल के सफल वास्तविक समय सिमुलेशन को प्रदर्शित करता है, जो लोशमिड्ट एम्प्लीट्यूड क्षय (Loschmidt amplitude decay) के अवलोकन को सक्षम बनाता है और भविष्य के बड़े पैमाने के क्वांटम सिमुलेशन के लिए एक स्केलेबल बेंचमार्क प्रदान करता है।

मूल लेखक: Etienne Granet, Yuta Kikuchi, Henrik Dreyer, Enrico Rinaldi

प्रकाशित 2026-03-17

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

CC BY 4.0

मूल लेखक: Etienne Granet, Yuta Kikuchi, Henrik Dreyer, Enrico Rinaldi

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

मुख्य चित्र: एक "क्वांटम अराजकता" (Quantum Chaos) मशीन का अनुकरण करना

कल्पना कीजिए कि आपके पास 24 छोटे, अदृश्य कंकड़ों (जिन्हें मेजोराना फर्मियन्स/Majorana fermions कहा जाता है) से बनी एक मशीन है जो लगातार एक पूरी तरह से यादृच्छिक (random) और अराजक तरीके से एक-दूसरे से टकरा रहे हैं। यह SYK मॉडल है।

वास्तविक दुनिया में, यह मॉडल दो कारणों से प्रसिद्ध है:

यह एक गड़बड़ी है: कंकड़ों के बीच की अंतःक्रिया इतनी उग्र है कि एक सामान्य सुपरकंप्यूटर यह भविष्यवाणी करने में असमर्थ है कि वे आगे क्या करेंगे। यह एक तूफान में हर बारिश की बूंद के सटीक पथ की भविष्यवाणी करने की कोशिश करने जैसा है।
यह गुरुत्वाकर्षण का एक गुप्त कोड है: भौतिकविदों का मानना है कि यह अराजक प्रणाली गणितीय रूप से एक ब्लैक होल या क्वांटम गुरुत्वाकर्षण के सिद्धांत की तरह व्यवहार करती है। इसका अनुकरण करके, हम अनिवार्य रूप से ब्रह्मांड कैसे काम करता है यह समझने के लिए एक "प्रयोगशाला में ब्लैक होल" बना रहे हैं।

समस्या: एक वास्तविक क्वांटम कंप्यूटर पर इसका अनुकरण करने के लिए, निर्देश (कोड) इतने लंबे और जटिल हैं कि कंप्यूटर पहला वाक्य पूरा करने से पहले ही गलतियाँ करने लगता है। मशीन का "शोर" (noise) असली संकेत को दबा देता है।

समाधान: इस शोध के लेखकों ने एक ट्रैप्ड-आयन क्वांटम कंप्यूटर (एक ऐसी मशीन जो लेजर के साथ परमाणुओं को एक जगह थामे रखती है) पर इस सिमुलेशन को चलाने का एक नया तरीका बनाया। वे इस सिमुलेशन को इतना लंबा चलाने में सफल रहे कि वे देख सकें कि सिस्टम कैसे "क्षय" (decay) होता है (अपनी प्रारंभिक ऊर्जा खो देता है), जो कि अराजकता का एक प्रमुख संकेत है।

तीन जादुई तरकीबें जो उन्होंने इस्तेमाल कीं

इसे सफल बनाने के लिए, उन्होंने केवल कठिन परिश्रम नहीं किया। उन्होंने तीन चतुर तरकीबों का उपयोग किया:

1. "स्पार्स" (Sparse) शॉर्टकट (तार काट देना)

आमतौर पर, इस मॉडल में, हर एक कंकड़ा दूसरे हर कंकड़े के साथ अंतःक्रिया करता है। यह बहुत सारे कनेक्शन हैं!

उपमा: एक ऐसी पार्टी की कल्पना करें जहाँ हर कोई हर किसी पर चिल्ला रहा है। वहां कुछ भी सुनना असंभव है।
सुधार: उन्होंने अधिकांश चिल्लाने को बंद कर दिया। उन्होंने एक "स्पार्स" (Sparse) संस्करण बनाया जहाँ कंकड़े केवल अपने कुछ पड़ोसियों से बात करते हैं।
यह क्यों काम करता है: यह एक अराजक भीड़ को दोस्तों के एक छोटे समूह की बातचीत में बदलने जैसा है। यह "अराजक स्वाद" (भौतिकी) को बनाए रखता है लेकिन असंभव जटिलता को हटा देता है।

2. "टेट्रिस" (TETRIS) एल्गोरिदम (पासा फेंकना)

समय का अनुकरण करने का मानक तरीका छोटे, सटीक कदम उठाना है (जैसे सीढ़ियाँ चढ़ना)। लेकिन एक शोर वाले कंप्यूटर पर, बहुत अधिक कदम उठाने से आप गिर सकते हैं।

उपमा: सीढ़ियों पर कदम-दरकदम चलने के बजाय, कल्पना करें कि आप टेट्रिस (TETRIS) खेल रहे हैं। आप हर चाल की पूरी तरह से योजना नहीं बनाते। इसके बजाय, आप यादृच्छिक रूप से ब्लॉक (संचालन) गिराते हैं और उन्हें सेट होने देते हैं।
जादू: टेट्रिस एल्गोरिदम एक "यादृच्छिक" (randomized) विधि है। यह हर बार पूर्ण होने की कोशिश नहीं करती। इसके बजाय, यह थोड़े अलग यादृच्छिक मूव्स के साथ सिमुलेशन को कई बार चलाती है। जब आप उन सभी परिणामों का औसत निकालते हैं, तो यादृच्छिकता (randomness) रद्द हो जाती है, और सही उत्तर उभर कर आता है। यह 1,000 लोगों से एक गाय के वजन का अनुमान लगाने के लिए पूछने जैसा है; कोई भी सही नहीं होगा, लेकिन उनके अनुमानों का औसत उनके अनुमान के बहुत करीब होगा।

3. "इको" और "एक्सट्रपलेशन" (शोर की सफाई)

इन शॉर्टकट्स के बावजूद, क्वांटम कंप्यूटर अभी भी गलतियाँ करता है (शोर)। लेखकों ने डेटा को साफ करने के दो तरीके ईजाद किए:

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

उन्होंने वास्तव में क्या देखा?

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

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

यह क्यों मायने रखता है?

यह एक "प्रूफ ऑफ कॉन्सेप्ट" है। यह दिखाता है कि हमें उपयोगी विज्ञान करने के लिए एक पूर्ण, त्रुटि-मुक्त क्वांटम कंप्यूटर की आवश्यकता नहीं है। हम आज के "शोर वाले" कंप्यूटरों का उपयोग कर सकते हैं यदि हम कोड लिखने और परिणामों को साफ करने के बारे में स्मार्ट हैं।

भविष्य:
लेखक अनुमान लगाते हैं कि एक वास्तव में बड़े सिस्टम (जैसे एक वास्तविक ब्लैक होल मॉडल) का अनुकरण करने के लिए, हमें लगभग 50 से 100 क्वबिट्स (कणों) वाले क्वांटम कंप्यूटर की आवश्यकता होगी। उन्होंने गणना की है कि उनकी वर्तमान विधियों के साथ, एक ऐसे मशीन पर एक सिमुलेशन चलाने में लगभग 30 घंटे लगेंगे। हालांकि यह लंबा लग सकता है, लेकिन यह एक बड़ी छलांग है।

संक्षेप में: उन्होंने एक अराजक, असंभव रूप से हल होने वाली भौतिक समस्या ली, उसे सरल बनाया, इसे चलाने के लिए पासा फेंकने की रणनीति का उपयोग किया, और अपने कंप्यूटर की गलतियों को छानने के लिए चतुर गणित का उपयोग किया। परिणाम? एक "बॉक्स में ब्लैक होल" का एक कामकाजी सिमुलेशन।

यहाँ शोध पत्र "Simulating sparse SYK model with a randomized algorithm on a trapped-ion quantum computer" का विस्तृत तकनीकी सारांश दिया गया है।

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

सैचडेव-ये-किताएव (SYK) मॉडल दृढ़ता से सहसंबंधित क्वांटम प्रणालियों के लिए एक प्रतिमान मॉडल है, जो क्वांटम अराजकता (quantum chaos) और 2D गुरुत्वाकर्षण के साथ होलोग्राफिक द्वैत (holographic duality) प्रदर्शित करता है। हालाँकि, शास्त्रीय कंप्यूटरों पर इसकी वास्तविक-समय की गतिशीलता (real-time dynamics) का अनुकरण करना कठिन है क्योंकि यह हिल्बर्ट स्पेस के घातीय विस्तार (exponential scaling) और प्रणाली की अराजक प्रकृति के कारण जटिल हो जाता है।

वर्तमान नोइज़ी इंटरमीडिएट-स्केल क्वांटम (NISQ) उपकरणों पर SYK मॉडल का अनुकरण करने में दो प्राथमिक बाधाएँ आती हैं:

हैमिल्टनियन जटिलता (Hamiltonian Complexity): मानक SYK मॉडल में सभी-से-सभी कनेक्टिविटी (all-to-all connectivity) के साथ $O(N^4)$ इंटरेक्शन टर्म्स होते हैं, जिससे मानक ट्रोटराइजेशन (Trotterization) का उपयोग करने पर अत्यंत गहरे सर्किट बनते हैं।
शोर (Noise): सटीक सिमुलेशन के लिए आवश्यक सर्किट की गहराई वर्तमान हार्डवेयर के कोहेरेंस समय (coherence times) से अधिक होती है, जिससे परिणाम भौतिक गतिकी के बजाय शोर (noise) से प्रभावित हो जाते हैं।

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

लेखक मॉडल स्पर्सिफिकेशन (sparsification), एक रैंडमाइज्ड सिमुलेशन एल्गोरिदम और अनुकूलित एरर मिटिगेशन तकनीकों को मिलाकर एक हाइब्रिड दृष्टिकोण का प्रस्ताव करते हैं।

A. मॉडल: स्पार्स SYK (Sparse SYK)

घने (dense) SYK मॉडल के बजाय, लेखक एक स्पर्सिफाइड संस्करण (sparsified version) का अनुकरण करते हैं जहाँ इंटरेक्शन टर्म्स को प्रायिकता $p$ के साथ रैंडमली सैंपल किया जाता है।

हैमिल्टनियन: $H = \sum p_{ijkl} J_{ijkl} \psi_i \psi_j \psi_k \psi_l$ ।
स्पर्सिटी पैरामीटर: वे ऊर्जा को व्यापक (extensive) बनाए रखने के लिए $p = kN / \binom{N}{4}$ निर्धारित करते हैं, जिससे इंटरेक्शन टर्म्स की संख्या $O(N)$ तक कम हो जाती है, जिससे यह मॉडल घने मॉडल के अराजक गुणों के अनुकूल भी रहता है और सिमुलेशन के लिए काफी सस्ता भी हो जाता है।
एनकोडिंग: $N=24$ मेजरोना फर्मियन्स (Majorana fermions) के लिए, वे फर्मियन्स को 12 क्यूबिट्स ( $L=12$ ) और 1 एंसिलर क्यूबिट (ancilla qubit) में मैप करने के लिए जॉर्डन-विग्नर ट्रांसफॉर्मेशन (Jordan-Wigner transformation) का उपयोग करते हैं।

B. एल्गोरिदम: TETRIS (Time Evolution Through Random Independent Sampling)

वे एक रैंडमाइज्ड हैमिल्टनियन सिमुलेशन एल्गोरिदम, TETRIS का उपयोग करते हैं।

तंत्र (Mechanism): समय को विविक्त (discretize) करने (ट्रोटराइजेशन) के बजाय, TETRIS ऐसे रैंडम यूनिटरी ऑपरेटर्स $U$ को सैंपल करता है कि $\mathbb{E}[U] = \lambda e^{iHt}$ ।
लाभ: यह ट्रोटराइजेशन संबंधी विविक्त त्रुटि (discretization error) को समाप्त करता है। गेट लागत $O(t^2)$ स्केल करती है, जो कम-से-मध्यम समय और स्पार्स हैमिल्टनियन के लिए ट्रोटराइजेशन ( $O(t)$ लेकिन उच्च स्थिरांक कारकों और विविक्त त्रुटियों के साथ) की तुलना में बेहतर है।
गेट एंगल ( $\tau$ ): यह एक ट्यूनेबल पैरामीटर है जो गेट्स की संख्या को नियंत्रित करता है। छोटा $\tau$ अधिक गेट्स का अर्थ है लेकिन कम क्षीणन (attenuation); बड़ा $\tau$ कम गेट्स का अर्थ है लेकिन उच्च सिग्नल क्षीणन ( $\lambda$ )।

C. एरर मिटिगेशन तकनीकें (Error Mitigation Techniques)

हार्डवेयर शोर से निपटने के लिए, दो विशिष्ट तकनीकों को विकसित किया गया था:

इको वेरिफिकेशन (Echo Verification):
- यह लॉसचमिdt आयाम (Loschmidt amplitude) को मापने के लिए एंसिलर क्यूबिट का उपयोग करता है।
- सिस्टम रजिस्टर को $|0\dots0\rangle$ अवस्था में न पाए जाने वाले शॉट्स को छोड़ने के बजाय, लेखक सिंगल-बिट-फ्लिप त्रुटियों (हैमिंग वेट 1) को $|0\dots0\rangle$ प्रोजेक्टर के वैध योगदान के रूप में गिनते हैं। यह फर्मिओनिक पैरिटी के संरक्षण का लाभ उठाकर शोर को भौतिक गतिकी से अलग करता है, जिससे विचरण (variance) कम होता है।
लार्ज गेट एंगल एक्सट्रैपोलेशन (L-AGE):
- यह ज़ीरो नॉइज़ एक्सट्रैपोलेशन (ZNE) का एक प्रकार है।
- गेट एंगल $\tau$ को बदलकर, सर्किट में गेट्स की संख्या सैद्धांतिक प्रत्याशा मान (theoretical expectation value) को बदले बिना बदल जाती है।
- लेखक एक "शैलो" एंगल ( $\tau_0$ ) और एक "डीप" एंगल ( $\tau_\alpha = \alpha \tau_0$ ) पर सर्किट चलाते हैं। वे लीनियर या एक्सपोनेंशियल फिट का उपयोग करके परिणामों को ज़ीरो-नॉइज़ लिमिट ( $\tau \to \infty$ या गेट काउंट $\to 0$ ) तक एक्सट्रैपोलेट करते हैं।

D. बेंचमार्किंग: मिरर-ऑन-एवरेज (Mirror-on-Average)

लेखक TETRIS का उपयोग करके एक नया बेंचमार्किंग प्रोटोकॉल प्रस्तावित करते हैं।

अवधारणा: एक मानक मिरर सर्किट ( $U^\dagger U = I$ ) के बजाय, वे दो स्वतंत्र रूप से सैंपल किए गए TETRIS सर्किट ( $U$ और $U'$ ) का उपयोग करते हैं।
परिणाम: $U'^\dagger U$ औसतन ही आइडेंटिटी के समानुपाती होता है।
लाभ: यह विशेष रूप से स्थानीय अवलोकनों (local observables) के लिए शोर का एक स्केलेबल अनुमान प्रदान करता है, यह तर्क देते हुए कि मानक मिरर सर्किट स्थानीय मापन के लिए शोर का अधिक अनुमान लगाते हैं।

3. मुख्य परिणाम (Key Results)

प्रयोग Quantinuum System Model H1 (ट्रैप्ड-आयन, 20 क्यूबिट्स, ऑल-टू-ऑल कनेक्टिविटी) पर किया गया था।

सिस्टम आकार: $N=24$ मेजरोना फर्मियन्स (12 क्यूबिट्स + 1 एंसिलर)।
अवलोकन (Observable): लॉसचमिdt आयाम का वास्तविक भाग (वैक्यूम सर्वाइवल प्रोबेबिलिटी) $\mathcal{L}(t) = \text{Re}\langle 0 | e^{iHt} | 0 \rangle$ ।
प्रदर्शन:
- टीम ने $Jt \approx 1.0$ तक की गतिकी को सफलतापूर्वक सिम्युलेट किया, लॉसचमिdt आयाम के विशिष्ट क्षय (decay) को देखा।
- LGAE प्रभावकारिता: "इको वेरिफिकेशन" ऑब्जर्वेबल ( $O = |0\dots0\rangle_{mit}$ ) के साथ LGAE का उपयोग करते हुए, मिटिगेटेड परिणामों ने एक मानक विचलन के भीतर सटीक सैद्धांतिक मानों को प्राप्त किया।
- शोर विश्लेषण: शोर (ग्लोबल डिपोलराइजिंग चैनल) के सैद्धांतिक मॉडलिंग ने दिखाया कि कुछ अवलोकनों ( $O=I$ ) के लिए, शोर सिग्नल में एक अपवर्ड बायस (ऊपर की ओर झुकाव) पैदा कर सकता है, जो एक प्रति-सहज प्रभाव है जिसे उनके मॉडल द्वारा पकड़ा गया है।
बेंचमार्किंग: "मिरर-ऑन-एवरेज" बेंचमार्क ने स्थानीय अवलोकनों के लिए मानक मिरर सर्किट की तुलना में काफी कम क्षय दर दिखाई, जो यह सुझाव देता है कि मानक बेंचमार्क बहुत निराशावादी हैं।

4. संसाधन अनुमान और स्केलेबिलिटी (Resource Estimation & Scalability)

लेखकों ने क्वांटम लयापुनोव एक्सपोनेंट (OTOCs के माध्यम से) निकालने के लिए आवश्यक बड़े सिस्टम (जैसे $N=50, 100$ ) के लिए संसाधनों का अनुमान लगाने हेतु परिणामों को एक्सट्रैपोलेट किया।

गेट काउंट: टर्नरी ट्री एनकोडिंग के साथ TETRIS का उपयोग करते हुए, $L=50$ के लिए अनुमानित टू-क््यूबिट गेट काउंट $\sim 4 \times 10^6$ है।
रनटाइम: 30ms प्रति सर्किट डेप्थ मानकर, एक सिंगल रन में ~30 घंटे लगेंगे। पैरेललाइजेशन के साथ, इसे ~2 घंटे तक कम किया जा सकता है।
निष्कर्ष: हालांकि व्यवहार्य है, बड़े पैमाने के सिमुलेशन के लिए (जैसे क्वांटम ग्रेविटी के अध्ययन के लिए) सरल हैमिल्टनियन या बेहतर एल्गोरिथम सुधारों की आवश्यकता होगी ताकि वे निकट-अवधि हार्डवेयर की क्षमताओं के भीतर रहें।

5. महत्व (Significance)

प्रथम प्रयोगात्मक प्रदर्शन: यह एक क्वांटम प्रोसेसर पर स्पार्स SYK मॉडल की वास्तविक-समय गतिकी का एक सफल प्रयोगात्मक सिमुलेशन है, जो वर्तमान NISQ हार्डवेयर की सीमाओं को आगे बढ़ाता है।
एल्गोरिथमिक सत्यापन: यह ट्रोटराइजेशन के लिए एक बेहतर विकल्प के रूप में TETRIS को मान्य करता है, विशेष रूप से लघु-समय गतिकी के लिए जहाँ यह विविक्त त्रुटियों (discretization errors) से बचता है।
एरर मिटिगेशन नवाचार: इको वेरिफिकेशन और LGAE का संयोजन यह दर्शाता है कि अनुकूलित मिटिगेशन रणनीतियाँ शोर वाले डेटा से भौतिक संकेतों को कैसे पुनः प्राप्त कर सकती हैं जहाँ मानक तरीके विफल हो जाते हैं।
नया बेंचमार्किंग प्रतिमान: "मिरर-ऑन-एवरेज" प्रोटोकॉल स्थानीय अवलोकनों के लिए शोर का अधिक यथार्थवादी मूल्यांकन प्रदान करता है, जो मानक बेंचमार्किंग की ज्ञात सीमा को संबोधित करता है।
क्वांटम ग्रेविटी की ओर मार्ग: स्पार्स SYK मॉडल की अराजक गतिकी को सफलतापूर्वक सिम्युलेट करके, यह कार्य "लैब में क्वांटम ग्रेविटी" के करीब ले जाता है, जो होलोग्राफिक द्वैत और क्वांटम अराजकता घटनाओं के अध्ययन के लिए एक टेस्टबेड प्रदान करता है जो शास्त्रीय गणना के लिए अप्राप्य हैं।