Rigorous no-go theorems for heralded linear-optical state generation tasks

Technische Samenvatting: Rigoureuze No-Go Stellingen voor Heralded Lineair-Optische Toestandsgeneratie

Probleemstelling
De generatie van verstrengelde fotonische kwantumtoestanden is een fundamentele vereiste voor kwantumcomputing, sensing en communicatie. Hoewel deterministische generatie doorgaans sterke niet-lineariteiten vereist—die experimenteel uitdagend te implementeren zijn in optische platformen—biedt lineaire optica een toegankelijker alternatief. Echter, lineaire optica alleen staat slechts een beperkte set deterministische transformaties toe. Bijgevolg wordt toestandsvoorbereiding in fotonische systemen vaak probabilistisch geïmplementeerd met behulp van enkelvoudige fotonen, lineair-optische netwerken en fotondetectie.

Een cruciale uitdaging in dit domein is bepalen of een specifieke inputtoestand kan worden getransformeerd naar een doeltoestand met behulp van een bepaald meetpatroon (heralding-schema). Dit haalbaarheidsprobleem brengt overeen met het beslissen of een systeem van polynoomvergelijkingen een oplossing bezit. Hoewel numerieke zoekmethoden veel worden gebruikt, kunnen zij niet definitief bewijzen dat er geen oplossing bestaat; het niet vinden van een oplossing kan simpelweg duiden op een beperking van het zoekalgoritme in plaats van op een fundamentele onmogelijkheid. Bovendien zijn bestaande algebraïsche benaderingen zoals Gröbner-bases, hoewel in staat om oplossingen te vinden, computationeel kostbaar (met een dubbel exponentiële worst-case complexiteit) en vaak "progressievrij", wat betekent dat ze pas een resultaat opleveren na volledige berekening.

Methodologie
De auteurs stellen voor om het Nullstellensatz Linear Algebra (NulLA) algoritme toe te passen, een techniek uit de algebraïsche meetkunde, om rigoureus aan te tonen dat bepaalde heralding lineair-optische toestandsgeneratietaken onhaalbaar zijn.

1. Wiskundige Formulering: De taak wordt geformuleerd als een systeem van polynoomvergelijkingen. Een inputtoestand $|\psi_{in}\rangle$ wordt getransformeerd via een onbekende lineaire matrix $A$ naar een outputtoestand. Door te conditioneren op een specifiek heralding-patroon (het meten van $m$ fotonen in $M$ ancilla-modi), wordt een post-geselecteerde toestand $|\psi_{post}\rangle$ afgeleid. De vereiste dat $|\psi_{post}\rangle$ equivalent is aan een doeltoestand $|\psi_{tar}\rangle$ (op een niet-nul schaalfactor $\gamma$ na) leidt tot de vergelijking $\gamma G = Q$, waarbij $G$ en $Q$ homogene polynomen zijn die de geheralded en de doeltoestand representeren. Het gelijkstellen van de coëfficiënten van monomialen in deze polynomen levert een systeem van polynoomvergelijkingen op waarbij de variabelen de elementen van de transformatiematrix $A$ zijn.

2. Het NulLA-algoritme: In plaats van te zoeken naar een oplossing voor $A$, gebruiken de auteurs de Zwakke Nullstellensatz om te bewijzen dat er geen oplossing bestaat. Volgens de Hilbert-Nullstellensatz heeft een systeem van polynoomvergelijkingen geen oplossing dan en slechts dan als er polynomen $\beta_i$ bestaan waarvoor geldt dat $\sum \beta_i f_i = 1$. Deze identiteit wordt een Nullstellensatz-certificaat genoemd. Het NulLA-algoritme probeert een dergelijk certificaat te vinden door de graad $d$ van de polynomen $\beta_i$ stapsgewijs te verhogen en de resulterende stelsels lineaire vergelijkingen op te lossen. Indien een certificaat wordt gevonden, levert dit een definitief bewijs van onhaalbaarheid.

3. Probleemvereenvoudiging (Lemma 1 & Stelling 2): Om het probleem hanteerbaar te maken, stellen de auteurs vast dat het voor een vast aantal inputfotonen $n$ en heraldingfotonen $m$ voldoende is om één enkele "optimale" configuratie te testen om onhaalbaarheid voor alle configuraties met diezelfde fotonaantallen te bewijzen.

   • Optimale Input: Een product van enkelvoudige-foton Fock-toestanden ($|1, 1, \dots, 1\rangle$) is voldoende om elke scheidbare $n$-foton input te representeren.
   • Optimale Heralding: Een patroon waarbij exact één foton wordt gedetecteerd in elke heralding-modus ($(1, 1, \dots, 1)$) is voldoende om elk $m$-foton heralding-patroon te representeren.
   • Deze reductie maakt het mogelijk om het probleem uitsluitend te categoriseren op basis van het aantal beschikbare inputfotonen en de doeltoestand, wat de zoekruimte aanzienlijk verkleint.

Belangrijkste Bijdragen en Resultaten
Het artikel demonstreert de toepassing van dit raamwerk op verschillende specifieke taken, waarmee rigoureuze ondergrenzen op de benodigde hulpbronnen worden vastgesteld:

• Generatie van Bell-toestanden: De auteurs bewijzen dat het genereren van een Bell-toestand vanuit een scheidbare drie-foton input onmogelijk is. Het NulLA-algoritme produceerde een onhaalbaarheidscertificaat bij graad 9. Dit bevestigt dat bekende oplossingen die vier inputfotonen vereisen, optimaal zijn met betrekking tot de foton-hulpbronnen.
• Willekeurige Twee-Foton Toestanden: De techniek werd toegepast op honderden Haar-willekeurige twee-foton doeltoestanden over drie en vier modi. Onhaalbaarheidscertificaten werden gevonden bij lage graden (bijv. graad 9) voor gevallen waarin de theoretische bovengrens voor de graad van het certificaat extreem hoog was (bijv. 59.046). Dit suggereert dat voor veel praktische gevallen de computationele kosten veel lager zijn dan de worst-case theoretische grenzen.
• Generatie van NOON-toestanden: De auteurs analyseerden de generatie van NOON-toestanden (bijv. $|3,0\rangle + |0,3\rangle$) met vacuüm heralding. Ze bewezen dat inputtoestanden waarbij fotonen gebundeld zijn in dezelfde modus (bijv. $|2,1\rangle$) deze toestanden niet kunnen genereren, wat aantoont dat het spreiden van inputfotonen in enkelvoudige-foton modi een noodzakelijke hulpbron is.
• Heralded CNOT Gate: De methode werd uitgebreid om de optimaliteit van hulpbronnen van een bekende heralded CNOT-gate te verifiëren. Door een drie-foton input met een enkele heralding foton te testen, bewezen de auteurs onhaalbaarheid, wat bevestigt dat ten minste twee ancilla (heralding) fotonen vereist zijn voor de gate.
• Uitbreiding naar Probabilistische Bronnen: Het raamwerk blijkt aanpasbaar aan probabilistische fotonenpaar-bronnen (bijv. SPDC), waarbij de input een superpositie is van verschillende aantallen fotonen. De benadering behandelt verschillende fotonaantal-sectoren als een reeks gelijktijdige toestandsgeneratie-taken.

Betekenis en Claims
De auteurs beweren dat hun werk een rigoureus, definitief instrument biedt voor het vaststellen van "no-go" stellingen in de lineair-optische kwantumtoestandsgeneratie. In tegen tegenstelling tot numerieke optimalisatie of Gröbner-basis methoden, die kunnen falen om een oplossing te vinden zonder onmogelijkheid te bewijzen, biedt NulLA een sluitend bewijs van onhaalbaarheid wanneer een certificaat wordt gevonden.

De betekenis van dit werk ligt in het vermogen om:

1. De Optimaliteit van Hulpbronnen te Valideren: Het bevestigt dat bekende oplossingen (zoals de 4-foton Bell-toestand generator) minimaal zijn qua hulpbrongebruik.
2. Ondergrenzen te Bepalen: Het stelt fundamentele limieten vast aan het aantal fotonen dat nodig is voor specifieke taken, wat het experimenteel ontwerp stuurt.
3. Haalbaarheidstesten te Automatiseren: De systematische aard van de benadering maakt het mogelijk om grote families van doeltoestanden en gate-ontwerpen systematisch te testen.

Het artikel concludeert dat hoewel de theoretische bovengrenzen voor de graad van onhaalbaarheidscertificaten verbijsterend kunnen zijn, praktische toepassingen vaak certificaten opleveren bij veel lagere graden. Dit maakt het NulLA-algoritme tot een krachtige, gerichte methode voor het bepalen van de fundamentele beperkingen van optische opstellingen en meetschema's in de zoektocht naar universele lineair-optische kwantumcomputing. De auteurs hebben een MATLAB-implementatie van hun algoritme op GitHub beschikbaar gesteld om verder onderzoek te faciliteren.