⚛️ quantum physics

Spectral Gaps via Imaginary Time

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

मूल लेखक: Jacob M. Leamer, Alicia B. Magann, Gerard McCaul, Denys I. Bondar

प्रकाशित 2026-01-26

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

CC BY 4.0

मूल लेखक: Jacob M. Leamer, Alicia B. Magann, Gerard McCaul, Denys I. Bondar

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

कल्पना कीजिए कि आप किसी सिस्टम के सबसे निचले स्तर (ग्राउंड स्टेट) और उसके ठीक ऊपर वाले अगले स्तर (फर्स्ट एक्साइटेड स्टेट) के बीच के "एनर्जी गैप" (ऊर्जा अंतराल) का पता लगाने की कोशिश कर रहे हैं। भौतिक विज्ञान में, यह गैप एक सीढ़ी के फर्श और उसकी पहली सीढ़ी के बीच की दूरी जैसा है। इस गैप के आकार को जानना यह समझने के लिए अत्यंत महत्वपूर्ण है कि सामग्रियां बिजली कैसे संचालित करती हैं, चुंबक कैसे व्यवहार करते हैं, या क्वांटम कंप्यूटर एल्गोरिदम कैसे चलाते हैं।

हालाँकि, इस गैप की गणना करना आमतौर पर समुद्र तट पर रेत के हर एक कण को गिनने जैसा कठिन और खर्चीला काम है।

यह शोध पत्र एक चतुर शॉर्टकट पेश करता है। हर एक कण को गिनने के बजाय, लेखक एक विशेष प्रकार के "इमेजिनरी" (काल्पनिक) समय में यह देखने का प्रस्ताव देते हैं कि एक सिस्टम कैसे "रिलैक्स" होता है या स्थिर होता है।

यह विधि कैसे काम करती है, इसे रोजमर्रा की अवधारणाओं के माध्यम से यहाँ समझाया गया है:

1. "इमेजिनरी टाइम" फ़िल्टर

सामान्य भौतिकी में, चीजें वास्तविक समय (जैसे एक फिल्म जो आगे बढ़ रही है) में विकसित होती हैं। इस विधि में, लेखक "इमेजिनरी टाइम" का उपयोग करते हैं। इसे समय यात्रा का कोई चमत्कार न समझें, बल्कि इसे एक छलनी या एक फ़िल्टर के रूप में देखें।

जब आप एक सिस्टम को इस इमेजिनरी टाइम में विकसित होने देते हैं, तो सिस्टम के उच्च-ऊर्जा वाले हिस्से (शोर और अराजक चीजें) बहुत जल्दी फ़िल्टर हो जाते हैं, जैसे जार के नीचे बैठती भारी रेत। कम-ऊर्जा वाले हिस्से (ग्राउंड स्टेट) ऊपर ही रहते हैं।

सावधानी: यदि आप बहुत लंबे समय तक प्रतीक्षा करते हैं, तो "पहला कदम" (फर््हस्ट एक्साइटेड स्टेट) भी फ़िल्टर होकर निकल जाएगा, जिससे केवल फर्श ही बचेगा। यदि आप पर्याप्त समय तक प्रतीक्षा नहीं करते हैं, तो शोर अभी भी मौजूद रहेगा। आपको बिल्कुल सही समय तक रुकना होगा—एक "गोल्डिलॉक्स ज़ोन" (Goldilocks zone)—जहाँ शोर तो चला जाए, लेकिन पहला कदम अभी भी दिखाई दे रहा हो।

2. "नेस्टेड कम्यूटेटर" रूलर (मापक)

व्यक्तिगत चरणों को देखे बिना गैप को मापने के लिए, लेखक एक गणितीय उपकरण का उपयोग करते हैं जिसे "नेस्टेड कम्यूटेटर" कहा जाता है।

उपमा: कल्पना कीजिए कि आपके पास एक स्थानीय सेंसर (ऑब्जर्वेबल) है जो सिस्टम की जांच करता है। यदि आप उससे एक सरल प्रश्न पूछते हैं, तो वह एक संख्या देता है। यदि आप उससे थोड़ा अधिक जटिल प्रश्न पूछते हैं (जिसमें सिस्टम के बदलने की प्रक्रिया शामिल है), तो आपको एक अलग संख्या मिलती है।
लेखक दिखाते हैं कि यदि आप "जटिल प्रश्न" के उत्तर को "सरल प्रश्न" के उत्तर से विभाजित करने का अनुपात लेते हैं, तो उलझाने वाले विवरण स्वतः ही समाप्त हो जाते हैं।
परिणाम: यह अनुपात जादुगर की तरह ऊर्जा के गैप के वर्ग (square) को प्रकट कर देता है। यह दो अलग-अलग रूलर को एक छाया के सामने रखने जैसा है; छायाओं की लंबाई की तुलना करके, आप उस वस्तु की ऊंचाई का पता लगा सकते हैं जिसने छाया डाली है, बिना उस वस्तु को छुए।

3. "फ्री स्नैक" (मुफ्त नाश्ता)

शोध पत्र में "फ्री स्नैक" की अवधारणा का उल्लेख है। आमतौर पर, क्वांटम सिस्टमों के बारे में सटीक जानकारी प्राप्त करने के लिए महंगी, हाई-टेक उपकरणों (जैसे पूर्ण स्पेक्ट्रल रिकंस्ट्रक्शन) की आवश्यकता होती है। यह विधि एक "स्नैक" प्रदान करती है—एक त्वरित, आसानी से प्राप्त होने वाली जानकारी (गैप का आकार) जिसके लिए पूरा महंगा भोजन करने की आवश्यकता नहीं है। आपको पूरी सीढ़ी का नक्शा बनाने की ज़रूरत नहीं है; आपको बस पहली सीढ़ी की ऊँचाई जानने की आवश्यकता है।

4. सिद्धांत का परीक्षण

लेखकों ने इस विचार का परीक्षण दो प्रसिद्ध भौतिक मॉडलों पर किया:

ट्रांसवर्स-फील्ड आइज़िंग मॉडल (Transverse-Field Ising Model): इसे छोटे चुंबकों की एक पंक्ति के रूप में सोचें जो ऊपर या नीचे की ओर फ्लिप हो सकते हैं।
फर्मी-हबार्ड मॉडल (Fermi-Hubbard Model): इसे एक ग्रिड पर घूमते हुए इलेक्ट्रॉनों के रूप में सोचें, जो आपस में टकरा रहे हैं।

दोनों मामलों में, क्लासिकल कंप्यूटरों का उपयोग करके गणित का अनुकरण (सिमुलेशन) करते हुए, उनका "अनुपात वाला तरीका" (ratio trick) पूरी तरह से सफल रहा। उनके अनुमान में त्रुटि इमेजिनरी टाइम में प्रतीक्षा करने के साथ तेजी से (exponentially) कम होती गई, जब तक कि वे उस "गोल्डिलॉक्स ज़ोन" तक नहीं पहुँच गए जहाँ उत्तर अविश्वसनीय रूप से सटीक था।

5. क्वांटम कंप्यूटरों तक लाना

अंत में, यह शोध पत्र बताता है कि एक वास्तविक क्वांटम कंप्यूटर पर इसे कैसे किया जाए। चूंकि क्वांटम कंप्यूटर स्वाभाविक रूप से "इमेजिनरी टाइम" नहीं कर सकते (वे केवल रियल टाइम करते हैं), लेखक इमेजिनरी टाइम फ़िल्टर को रियल-टाइम स्टेप्स के भारित योग (weighted sum) का उपयोग करके अनुमानित करने के लिए एक गणितीय ट्रिक (हबर्ड-स्ट्रैटोनोविज़ ट्रांसफॉर्मेशन) का उपयोग करते हैं।

उन्होंने इसे एक क्वांटम कंप्यूटर सिम्युलेटर पर सिम्युलेट किया और पाया कि यह सिद्धांत रूप में काम करता है।
चेतावनी: उनके वर्तमान "कच्चे" (crude) क्वांटम सिमुलेशन पर, परिणाम शोर युक्त (लगभग 10% त्रुटि) थे क्योंकि वर्तमान क्वांटम कंप्यूटर सांख्यिकीय शोर के प्रति संवेदनशील होते हैं। हालाँकि, उन्होंने सिद्ध किया कि इसका ढांचा (structure) काम करता है। बेहतर ट्यूनिंग और अधिक सटीक माप के साथ, यह एक शक्तिशाली उपकरण बन सकता है।

सारांश

शोध पत्र का दावा है कि आप किसी क्वांटम सिस्टम के ऊर्जा अंतराल (energy gap) को निम्न प्रकार से खोज सकते हैं:

इसे "इमेजिनरी टाइम" में सेटल होने दें (शोर को फ़िल्टर करने के लिए)।
जटिलता के दो अलग-अलग स्तरों पर एक विशिष्ट स्थानीय गुण (local property) को मापें।
उन दो मापों को विभाजित करके सीधे गैप का आकार प्राप्त करें।

यह किसी सिस्टम के पूरे ऊर्जा स्पेक्ट्रम की जटिल पहेली को हल करने के बजाय, एक विशिष्ट, उपयोगी संख्या प्राप्त करने का एक सरल और मजबूत तरीका है।

तकनीकी सारांश: काल्पनिक समय के माध्यम से स्पेक्ट्रल गैप्स (Spectral Gaps)

समस्या विवरण
स्पेक्ट्रल गैप, जिसे $\Delta E = E_1 - E_0$ (ग्राउंड स्टेट और प्रथम उत्तेजित अवस्था के बीच ऊर्जा का अंतर) के रूप में परिभाषित किया गया है, विविध भौतिक संदर्भों में एक महत्वपूर्ण पैरामीटर है, जो फ्लोरेसेंस तरंग दैर्ध्य (fluorescence wavelengths) से लेकर पदार्थों में एक्सिटोनिक ऊर्जा हस्तांतरण (excitonic energy transfer), एडियाबेटिक रन टाइम और स्टेट-ट्रांसफर फिडेलिटी तक फैला हुआ है। इस गैप को निर्धारित करना गणनात्मक रूप से चुनौतीपूर्ण है; सबसे खराब स्थिति में, यह तय करना कि क्या एक लोकल हैमिल्टनियन (local Hamiltonian) गैप्ड है, अनिर्णायक (undecidable) है, और निम्न-स्तरीय स्पेक्ट्रा का अनुमान लगाना सामान्यतः NP-hard है। मौजूदा संख्यात्मक विधियाँ, जैसे कि फर्मिओनिक क्वांटम मोंटे कार्लो (साइन समस्या/sign problem से ग्रस्त) और टेंसर-नेटवर्क विधियाँ (बॉन्ड डायमेंशन द्वारा सीमित), सिस्टम साइज, बेसिस साइज और मेजरमेंट ओवरहेड के संबंध में महत्वपूर्ण ट्रेड-ऑफ का सामना करती हैं। जबकि इमेजिनरी-टाइम इवोल्यूशन (ITE) ग्राउंड स्टेट्स खोजने के लिए एक मजबूत क्लासिकल टूल है, पूर्ण डेंसिटी ऑफ स्टेट्स को हल किए बिना या क्वांटम फेज एस्टीमेशन किए बिना विशिष्ट स्पेक्ट्रल गैप्स निकालना एक विशिष्ट चुनौती बनी हुई है।

कार्यप्रणाली (Methodology)
लेखक एक काल्पनिक-समय प्रक्षेपवक्र (imaginary-time trajectory) के साथ मूल्यांकित नेस्टेड कम्यूटेटर्स (nested commutators) के दो प्रत्याशा मानों (expectation values) के अनुपात से $\Delta E$ का सीधे अनुमान लगाने की विधि प्रस्तावित करते हैं।

सैद्धांतिक ढांचा (Theoretical Framework):
एक परिमित-आयामी हैमिल्टनियन $H$ के लिए जिसका स्पेक्ट्रल अपघटन $H = \sum E_n \Pi_n$ है, और एक प्रारंभिक अवस्था $|\phi_0\rangle$ जिसके पास ग्राउंड ( $\Pi_0$ ) और प्रथम उत्तेजित ( $\Pi_1$ ) सबस्पेस पर सपोर्ट है, सिस्टम काल्पनिक समय $\tau$ में विकसित होता है: $|\psi(\tau)\rangle = e^{-\tau H}|\phi_0\rangle$ ।
विधि एक "कोऑर्डिनेटिंग" ऑब्जर्वेबल $O$ का उपयोग करती है जो ग्राउंड और प्रथम उत्तेजित सबस्पेस को जोड़ता है। लेखक $M$ -वें नेस्टेड कम्यूटेटर $[H, O]_M$ को परिभाषित करते हैं।
मुख्य परिणाम (थ्योरम 1) दर्शाता है कि जैसे-जैसे $\tau \to \infty$ , प्रत्याशा मानों का अनुपात ऊर्जा अंतराल के वर्ग के बराबर हो जाता है:
$\frac{\langle [H, O]_{M+2} \rangle_\tau}{\langle [H, O]_M \rangle_\tau} = (E_0 - E_1)^2 + \mathcal{O}(e^{-\tau(E_2 - E_1)})$
यह एस्टीमेटर उच्च उत्तेजित स्तरों में डिजेनेरेसी (degeneracy) के प्रति उदासीन (agnostic) है क्योंकि यह व्यक्तिगत आइजनवेक्टर्स के बजाय प्रोजेक्टर फॉर्मुलेशन पर निर्भर करता है।
लॉगैरिद्मिक एस्टीमेटर्स (Logarithmic Estimators):
पेपर $E_0 + E_1$ ( $\ln|\langle [H, O]_M \rangle_\tau|$ बनाम $\tau$ के ढलान से) और दूसरे गैप $E_2 - E_1$ (अनुपात फिट के अवशेष/residual से) को निकालने के लिए लॉगैरिद्मिक एस्टीमेटर्स भी व्युत्पन्न करता है, जो उन स्थितियों के लिए विकल्प प्रदान करते हैं जब छोटे नंबरों के संख्यात्मक विभाजन अस्थिर हो जाता है।
क्वांटम कार्यान्वयन (ITQDE):
क्वांटम हार्डवेयर पर इसे लागू करने के लिए, जहाँ यूनिटरी इवोल्यूशन नेटिव है लेकिन इमेजरी टाइम नहीं, लेखक 'इमेजरी-टाइम क्वांटम डायनेमिकल इम्यूलेशन' (ITQDE) का उपयोग करते हैं। वे यूक्लिडियन कर्नेल $e^{-\tau H^2}$ को वास्तविक-समय यूनिटरीज के गाऊसी औसत के रूप में व्यक्त करने के लिए हबर्ड-स्ट्रैटोनोविच ट्रांसफॉर्मेशन का उपयोग करते हैं। इस कर्नेल को गॉस-हर्मिट क्वाड्रैचर (Gauss-Hermite quadrature) का उपयोग करके विविक्त (discretize) किया जाता है, जो इवोल्यूशन को यूनिटरीज के भारित योग (weighted sum) के रूप में सन्निकट करता है।
प्रत्याशा मानों को फिर $\langle \phi_0 | U_j^\dagger P_\alpha U_k | \phi_0 \rangle$ के ओवरलैप के वास्तविक भागों के भारित योगों में कम किया जाता है, जहाँ $P_\alpha$ पाउली स्ट्रिंग्स हैं। इन ओवरलैप्स को मानक हैडेमार्ड टेस्ट का उपयोग करके मापा जा सकता है। लेखक नोट करते हैं कि कर्नेल की समरूपता (symmetry) के कारण, केवल इन ओवरलैप्स के वास्तविक भाग ही आवश्यक हैं।

प्रमुख परिणाम
लेखकों ने दो मानक मॉडलों पर QuSpin लाइब्रेरी के माध्यम से क्लासिकल सिमुलेशन का उपयोग करके अपनी विधि का बेंचमार्किंग किया:

1D ट्रांसवर्स-फील्ड आइसोइंग मॉडल (TFIM): सिस्टम साइज $L=4$ के लिए, अनुमानित गैप में सापेक्ष त्रुटि $\tau$ के साथ तेजी से (exponentially) कम हुई (लगभग $10^{-8}$ तक पहुँची), और फिर बहुत बड़े $\tau$ पर संख्यात्मक शोर (numerical noise) के नीचे प्रथम उत्तेजित अवस्था के दब जाने के कारण फिर से बढ़ने लगी।
1D फर्मी-हबार्ड मॉडल: एक हाफ-फिल्ड चेन ( $L=4$ ) के लिए समान घातीय त्रुटि क्षय देखा गया, जिसमें सापेक्ष त्रुटियां $\sim 10^{-4}$ तक पहुँचीं। विधि ने गैर-तुच्छ स्पिन और चार्ज संरचनाओं वाले इंटरैक्टिंग फर्मिओनिक सेटिंग को सफलतापूर्वक संभाला।
क्वांटम सिमुलेशन: TFIM का उपयोग करके Qiskit के Aer बैकएंड पर $10^6$ शॉट्स के साथ एक प्रूफ-ऑफ-प्रिंसिपल सिमुलेशन किया गया। हालांकि विधि ITQDE फ्रेमवर्क के अनुकूल थी, न्यूनतम प्राप्त त्रुटि $\sim 10^{-1}$ थी। लेखक इसे "बैंडविड्थ ट्रेड-ऑफ" का परिणाम बताते हैं: उच्च अवस्थाओं को दबाने के लिए आवश्यक गाऊसी फिल्टर, प्रासंगिक ओवरलैप्स को शॉट-नॉइज़ फ्लोर की ओर धकेलता है यदि इमेजरी टाइम $\tau$ और क्वाड्रैचर ऑर्डर $K$ को सावधानीपूर्वक ट्यून नहीं किया जाता है।

महत्व और दावे
पेपर स्पेक्ट्रल एस्टीमेशन के लिए एक "मामूली लेकिन वास्तविक संरचनात्मक लाभ" प्रदान करने का दावा करता है।

सरलता और दायरा: यह विधि व्यक्तिगत आइजनस्टेट्स को हल किए बिना, क्वांटम फेज एस्टीमेशन किए बिना, या पूर्ण डेंसिटी ऑफ स्टेट्स को पुनर्गठित किए बिना, निम्न-स्तरीय गैप्स का अनुमान लगाने का एक तरीका प्रदान करती है। यह स्पेक्ट्रल प्रश्नों को एक-पैरामीटर फ्लो के साथ रिलैक्सेशन के प्रश्नों में बदल देता है।
मजबूती (Robustness): एस्टीमेटर उच्च ऊर्जा स्तरों में डिजेनेरेसी के प्रति मजबूत है और क्लासिकल स्पार्स लीनियर अलजेब्रा और क्वांटम सम-ऑफ-टर्म्स हैमिल्टोनियन दोनों पर लागू होता है।
विनम्रता (Modesty): लेखक स्पष्ट रूप से कहते हैं कि यह दृष्टिकोण स्थानीय हैमिल्टोनियन समस्या की सबसे खराब स्थिति वाली जटिलता (worst-case complexity) को दरकिनार नहीं करता है। यह विस्तृत डेंसिटी ऑफ स्टेट्स की आवश्यकता होने पर पूर्ण स्पेक्ट्रल रिकंस्ट्रक्शन या फेज एस्टीमेशन का विकल्प नहीं है।
भविष्य का दृष्टिकोण: यह कार्य एक प्रूफ-ऑफ-प्रिंसिपल के रूप में कार्य करता है। लेखक नोट करते हैं कि क्वांटम हार्डवेयर पर इस विधि को प्रतिस्पर्धी बनाने के लिए, पैरामीटर्स ( $\tau, K$ ) को अनुकूलित करने के लिए पूर्व कार्य के पूर्ण बैंडविड्थ विश्लेषण को आयात करना, बेहतर कोऑर्डिनेटिंग ऑब्जर्वेल्स डिजाइन करना और अधिक मेजरमेंट-एफिशिएंट ओवरलैप एस्टीमेटर्स का उपयोग करना आवश्यक है। यह पेपर गैप-केंद्रित परिप्रेक्ष्य को प्रभावी हैमिल्टोनियंस का उपयोग करके डिफरेंशियल समीकरणों को हल करने के व्यापक कार्यक्रमों के साथ जोड़ने वाले एक उपकरण के रूप में स्थापित करता है, जहाँ रिलैक्सेशन रेट और गैप्स अक्सर प्राथमिक मात्राएँ होती हैं।