First-Quantized Relativistic Quantum Simulation with Periodic and Dirichlet Boundary Conditions

Technische Samenvatting: Eerst-gekwantiseerde Relativistische Kwantumsimulatie met Periodische en Dirichlet-randvoorwaarden

Probleemstelling
Relativistische kwantumsimulatie op eindige domeinen staat voor een fundamentele uitdaging: de relativistische kinetische energie-operator is een niet-lineaire functie van de impuls, wat de schatting van hogere-orde impulsmomenten vereist (specifiek $\langle \hat{p}^2 \rangle$ en $\langle \hat{p}^4 \rangle$ in het zwak-relativistische regime). In eerst-gekwantiseerde rooster-encoderingen met qubit-registers is de natuurlijke verschuivingsoperatie cyclisch. Terwijl deze cyclische translatie perfect overeenkomt met Periodieke Randvoorwaarden (PBC), introduceert het onfysische "wrap-around" koppelingen voor Dirichlet-Randvoorwaarden (DBC), waarbij de golffunctie bij de grenzen nul moet zijn. Bestaande methoden behandelen randvoorwaarden vaak als een bijzaak bij discretisatie; dit werk voert echter aan dat randvoorwaarden intrinsiek zijn aan de definitie van de eindige-domein Hamiltoniaan, wat verschillende rooster-impulsoperatoren en schattingsstrategieën voor PBC en DBC noodzakelijk maakt.

Methodologie
De auteurs ontwikkelen een raamwerk voor het simuleren van de positief-energetische relativistische enkeldeeltjes-operator op een 1D eindig interval van lengte $R$ met behulp van een $L$-qubit positie-register ($N=2^L$ roosterpunten).

1. Hamiltoniaan Formulering:

   • Zwak-relativistische Expansie: De relativistische kinetische operator $\hat{T}_{rel}$ wordt tot vierde orde in impuls geëxpandeerd: $\hat{T}_{rel} \approx \frac{\hat{p}^2}{2m} - \frac{\hat{p}^4}{8m^3c^2}$.
   • PBC Implementatie: De rooster-impulsoperator $\hat{P}_P$ wordt gedefinieerd via een unitaire cyclische translatie-operator $\hat{A}$. De momenten $\langle \hat{P}_P^2 \rangle$ en $\langle \hat{P}_P^4 \rangle$ worden volledig uitgedrukt in termen van de reële delen van translatie-momenten $\langle \hat{A} \rangle$ en $\langle \hat{A}^2 \rangle$.
   • DBC Implementatie: Het doel is een open-keten eindige-verschil operator. De auteurs construeren deze door de cyclische operator (geëvalueerd met DBC-roosterstapwijde) te nemen en lokale correctietermen aan de grenzen toe te voegen om de onfysische wrap-around koppeling te elimineren. De operator $\hat{P}_D$ wordt ontleed in een cyclisch deel plus termen die betrokken zijn bij de rand-projectoren ($\hat{E}_0, \hat{E}_1, \hat{E}_2$), welke afhangen van de waarschijnlijkheden bij de uiteinden en nabijgelegen coherenties bij de randen.

2. Kwantum Schatters (Estimators):

   • Translatie-momenten: Voor zowel PBC als de bulk van DBC worden de reële delen van $\langle \hat{A}^l \rangle$ ($l=1, 2$) geschat met behulp van een Hadamard-test-achtige schakeling met een controlled-unitary primitief.
   • Rand-overlappen: Voor DBC worden de correctietermen geschat met een "rand-overlap identiteit". Deze methode reconstrueert coherenties $\langle |f\rangle\langle g| + |g\rangle\langle f| \rangle$ met uitsluitend computationele basis-waarschijnlijkheden ($P_f, P_g$) en de waarschijnlijkheid van de superpositietoestand $|s^+_{fg}\rangle = (|f\rangle + |g\rangle)/\sqrt{2}$. Dit voorkomt de noodzaak voor complexe fase-estimatie of volledige staatstoematie.
   • Potentiële Energie: Diagonale potentialen worden geschat via directe positionele basis-sampling en klassieke post-verwerking.

Belangrijkste Bijdragen

1. Rand-opgeloste Hamiltoniaanse: De formulering van zwak-relativistische rooster-Hamiltoniaanse die expliciet onderscheid maken tussen PBC en DBC, waardoor de impulsoperatoren consistent zijn met de fysieke randrestricties van het domein.
2. Estimator Decompositie: De afleiding van observeerbare schatters die de vereiste $\langle \hat{P}^2 \rangle$ en $\langle \hat{P}^4 \rangle$ momenten reconstrueren. Cruciaal is dat de DBC-schatter wordt getoond te zijn een decompositie van de cyclische schatter plus een eindige set lokale randtermen, in plaats van een fundamenteel andere meet-primitief.
3. Validatie Raamwerk: Een uitgebreide validatiestrategie die drie afzonderlijke foutbronnen scheidt: eindige-rooster discretisatie, zwak-relativistische truncatie, en statistische meetfout.

Resultaten
Het raamwerk werd analytisch en numeriek gevalideerd over verschillende benchmarks:

• PBC Vrij Deeltje: Toonde aan dat de rooster-dispersierelatie convergeert naar de continuüm-relativistische energie naarmate de roostergrootte toeneemt, waarbij de perturbatieve schatter de truncatiefout ten opzichte van de exacte wortel-roosterenergie correct vastlegt.
• DBC Oneindige Vierkante Put: Verifieerde dat de rand-gecorrigeerde cyclische schatter de exacte eigenwaarden van de open-keten eindige-verschil operator (en het analytische sinus-spectrum) reproduceert met machine-precisie overeenkomst (relatieve discrepanties $< 10^{-11}$).
• Gladde Potentialen: Getest op periodieke cosinus (PBC) en harmonische (DBC) potentialen. De volledige energie-workflow (kinetisch + potentieel) vertoonde visuele ononderscheidbaarheid tussen directe matrix-evaluatie en de estimator-reconstructie, met maximale absolute verschillen op de orde van $10^{-7}$.
• Statistische Schaling: Finite-shot simulaties bevestigden dat de wortel-kwadraat-gemiddelde fout (RMSE) van de kinetische energie-schatters schaalt als $O(M^{-1/2})$ met het aantal shots $M$, consistent met standaard statistische verwachtingen. De DBC-schatter vertoonde een iets grotere prefactor door extra rand-metingen, maar behield dezelfde asymptotische schaling.

Betekenis en Claims
Het artikel claimt een compact en systematisch methodologie te hebben gevestigd voor relativistische kwantumsimulatie die randvoorwaarden respecteert als een fundamenteel onderdeel van de definitie van de Hamiltoniaan. De auteurs benadrukken dat hun benadering geen kwalitatief nieuwe meet-primitieven vereist voor de leidende relativistische correctie; het breidt simpelweg de set gemeten observeerbare uit van $\langle \hat{A} \rangle$ naar $\langle \hat{A} \rangle, \langle \hat{A}^2 \rangle$ en, voor DBC, een kleine set rand-overlap termen.

Het werk is expliciet geformuleerd voor het zwak-relativistische regime, waarbij de impuls-ondersteuning van de toestand klein is vergeleken met $mc$. De auteurs merken op dat de geldigheid van de simulatie afhangt van de vraag of de fysieke toestand aan deze voorwaarde voldoet, en niet van de estimator-identiteiten zelf, die exact blijven voor de gedefinieerde rooster-operatoren. Het raamwerk wordt gepresenteerd als een praktische stap naar betrouwbare relativistische simulaties van continuüm-systemen, met het potentieel om uitgebreid te worden naar complexere potentialen en geometrieën.