Van quarks tot quantumvoordeel
Hoe vertaal je de dynamica van een hadron naar een quantumcircuit van 120 qubits? En wanneer mag je zeggen dat de quantumprocessor sneller is dan de klassieke simulatie?
Deze zevendelige reeks volgt de volledige berekening. We beginnen bij quarks, kleurvelden en confinement. Daarna bouwen we het SU(2)-roostermodel, de Loop-String-Hadron-basis en het Trottercircuit op. Ten slotte vergelijken we de IBM-hardware met tensor networks, Pauli-propagatie en onze lokale reproductieruns.
De centrale paper is Observation of Robust and Coherent Non-Abelian Hadron Dynamics on Noisy Quantum Processors. De auteurs simuleren een 1+1-dimensionale SU(2)-lattice-gaugetheorie op 60 roostersites met 120 logische qubits. Het is geen volledige simulatie van SU(3)-QCD, maar wel een groot niet-Abels real-time-experiment met dynamische materie.
De reeks
1. Een hadron laten bewegen op een quantumprocessor
Wat rapporteert de paper, welke confined mesondynamica wordt zichtbaar en waarom zijn verschillende klassieke controles nodig?
2. Quarks, kleurvelden en confinement
Wat zijn kleurlading, fluxstrings en lokale Gauss-wetten, en wat betekent confinement in dit vereenvoudigde SU(2)-model?
3. Het SU(2)-roostermodel en de LSH-basis
Hoe wordt de Kogut-Susskind-Hamiltoniaan herschreven in lokale, gauge-invariante Loop-String-Hadron-toestanden?
4. Van Hamiltoniaan naar quantumcircuit
Hoe ontstaan uit twee LSH-bits per site de Jordan-Wigner-mapping, Trotterstappen, fasegates, interactieblokken en SWAP-lagen?
5. De quantumsimulatie en Fire Opal
Hoe worden SCV- en mesoncircuits uitgevoerd op IBM-hardware en hoe worden de counts omgezet in lokale dichtheid en globale lading?
6. De klassieke simulatiemethoden
Welke verschillende vragen beantwoorden exacte diagonalisatie, tensor networks, Pauli-propagatie, QASM-MPS en Majoranasimulatie?
7. De vergelijking: waar zit het quantumvoordeel?
Wat blijft er van de voordeelclaim over wanneer dezelfde observabele, nauwkeurigheid, hardwaretijd en end-to-endtijd naast elkaar worden gezet?
De centrale bewijsstructuur
De reeks behandelt drie vergelijkingen die niet door elkaar mogen lopen:
volledige LSH-Hamiltoniaan versus ideaal circuit
-> controle van modelbenadering en Trotterisatie
ideaal circuit versus QPU
-> controle van hardware- en meetfouten
QPU-tijd versus klassieke rekentijd
-> prestatievergelijking voor een vastgelegde taakEen goed behouden globale lading is een belangrijke sectorcontrole, maar niet het hele hadronsignaal. Een korte hardwaretijd is interessant, maar niet hetzelfde als een korte end-to-enddoorlooptijd. De reeks houdt die grenzen zichtbaar tot en met de slotconclusie.
Bronnen en reproduceerbaarheid
De artikelen zijn gebaseerd op de paper, de publieke LSH-circuits en data, de Quantum Advantage Tracker-submission en een eigen reproductiewerkbank met Fire Opal, Qiskit Aer, ITensor en kleine LSH-Hamiltoniaancontroles.