Boson sampling beyond the dilute regime: second moments and anti-concentration

Probleemstelling

Boson sampling is een veelbelovende paradigmatische aanpak om kwantumvoordeel te demonstreren in fotonische systemen. Hoewel er aanzienlijke experimentele en theoretische vooruitgang is geboekt, blijft een volledige karakterisering van de outputstatistieken onvolledig, vooral buiten het verdunde regime (dilute regime).

In het verdunde regime (waar het aantal modi $m$ kwadratisch groeit ten opzichte van het aantal fotonen $n$, d.w.z. $m = \Omega(n^2)$) zijn botsingen tussen fotonen zeldzaam. Hier kunnen statistieken worden benaderd met willekeurige matrixtheorie, gebaseerd op de zogenaamde "hiding property" (verbergings-eigenschap).

Het probleem ontstaat in het verzadigde regime (saturated regime), dat experimenteel zeer relevant is en wordt gekenmerkt door een lineaire schaling ($m = \Theta(n)$) of sub-kwadratische schaling. In dit regime:

1. Treedt fotonbotsing (collisions) en bundeling (bunching) significant op.
2. Faalt de "hiding property", waardoor bestaande analytische technieken gebaseerd op willekeurige matrixtheorie niet langer geldig zijn.
3. Blijft de anti-concentratie van de outputverdeling slecht begrepen. Anti-concentratie is een cruciale voorwaarde in complexiteitstheoretische bewijzen voor de hardheid van het benaderen van outputkansen. Zonder dit is het lastig om de kloof tussen gemiddelde-case hardheid en de vereiste multiplicative foutgaranties te overbruggen.

Methodologie

De auteurs ontwikkelen een nieuw representatietheoretisch raamwerk voor passieve lineaire optische systemen om deze lacune op te vullen. In plaats van te vertrouwen op benaderingen zoals de hiding property, gebruiken ze de onderliggende symmetrie-structuur van de operatorruimte.

De kern van de methode omvat:

1. Representatietheorie van $U(m)$ en $\mathfrak{sl}_2(\mathbb{C})$:

   • De ruimte van bosonische observabelen die het fotonengetal behouden, wordt onderworpen aan de adjoint actie van de unitaire groep $U(m)$ (beschrijvend de interferometer).
   • De auteurs identificeren een extra symmetrie gegenereerd door "opheffende" ($R$) en "verlagende" ($L$) kaarten, die een representatie van de Lie-algebra $\mathfrak{sl}_2(\mathbb{C})$ vormen.
   • Deze twee acties commuteren, wat leidt tot een Howe-dualiteit ($U(m)$–$\mathfrak{sl}_2(\mathbb{C})$). Hierdoor kan de operatorruimte worden opgesplitst in irreducibele componenten die gelabeld zijn door een index $k$, waarbij componenten met dezelfde $k$ over verschillende fotonengetal-sectoren met elkaar verbonden zijn via een ladder-structuur.

2. Iteratieve Projectie:

   • In plaats van expliciete Clebsch-Gordan-coëfficiënten te berekenen (wat computationeel zwaar is), gebruiken de auteurs de ladder-structuur van $\mathfrak{sl}_2$ om een recursieve projectiemethode te ontwikkelen.
   • Hiermee kunnen ze de Hilbert-Schmidt-normen van projecties op irreducibele componenten analytisch en gesloten uitdrukken, zonder expliciete basisconstructie.

3. Toepassing op Tweede Momenten:

   • Ze leiden gesloten uitdrukkingen af voor de tweede momenten van verwachtingswaarden van deeltjesgetal-behoudende observabelen over Haar-willekeurige interferometers.
   • Deze uitdrukkingen worden geformuleerd in termen van de Hilbert-Schmidt-normen van de projecties van de initiële toestand en de observabele op de irreducibele componenten.

Belangrijkste Bijdragen

1. Algemene Formule voor Tweede Momenten:
   De auteurs leveren een algemene, gesloten uitdrukking voor de tweede momenten van Boson sampling outputkansen, geldig voor elk regime van modi en fotonen, zonder de aanname van het verdunde regime.

2. Analytische Berekening van $P_2(m, n)$:
   Ze leiden een compacte, gesloten uitdrukking af voor de genormaliseerde gemiddelde uitkomst-kans op botsing ($P_2(m, n)$). Deze grootheid is een maatstaf voor anti-concentratie en komt overeen met de ideale score voor lineaire cross-entropy benchmarking (XEB). De formule is geldig voor willekeurige $m$ en $n$.

3. Bewijs van Anti-concentratie in het Verzadigde Regime:
   Door de asymptotische schaling van $P_2(m, n)$ te analyseren, bewijzen ze formeel dat Boson sampling anti-concentreert in het lineaire regime ($m = c \cdot n$), waar fotonbotsingen dominant zijn. Dit vult eerdere numerieke aanwijzingen aan met een strikt analytisch bewijs.

Resultaten

De analyse van de asymptotische schaling van $P_2(m, n)$ leidt tot de volgende inzichten (Theorema 2 en Corollary 2):

• Verdund Regime ($m \sim n^{\beta}$ met $\beta \geq 2$): De botsingskans groeit lineair met $n$ ($P_2 \sim \kappa n$). Dit bevestigt eerdere resultaten, maar nu zonder de hiding property te gebruiken.
• Verzadigd/Lineair Regime ($m \sim n$ of $1 \leq \beta < 2$): De botsingskans wordt gedomineerd door de verhouding $m/n$. Specifiek geldt:
  $$P_2(m, n) \approx \frac{m}{n} + 1$$
  In het strikt lineaire geval ($m = c \cdot n$) convergeert $P_2$ naar een constante ($c+1$).
• Anti-concentratie: Gezien de relatie tussen $P_2$ en de Paley-Zygmund-ongelijkheid, impliceert dit dat in het lineaire regime een niet-verwaarloosbaar deel van de uitkomsten een kans heeft die vergelijkbaar is met het gemiddelde. Dit betekent dat de outputverdeling niet "polynomaal schaars" is en dus niet efficiënt klassiek gesimuleerd kan worden via sparsiteits-benaderingen.

Betekenis en Impact

1. Versterking van Hardheidsbewijzen: De resultaten sluiten de "robustheidsgap" in complexiteitstheoretische argumenten voor Boson sampling in het experimenteel relevante lineaire regime. Het bewijs van anti-concentratie, gecombineerd met recente resultaten over gemiddelde-case hardheid, versterkt de garantie dat Boson sampling in dit regime klassiek onberekenbaar is.
2. Onafhankelijkheid van de "Hiding Property": De methode is fundamenteel nieuw omdat het de afhankelijkheid van de hiding property (die alleen geldt in het verdunde regime) elimineert. Dit maakt de analyse robuust voor realistische experimentele opstellingen waar fotonen vaak botsen.
3. Algemeen Kader: Het ontwikkelde representatietheoretische raamwerk is een krachtig gereedschap dat verder gaat dan alleen Boson sampling. Het kan worden toegepast op:
   • Lineaire cross-entropy benchmarking (XEB).
   • Randomized benchmarking voor passieve lineaire optica.
   • Analyse van concentratieverschijnselen in variatiekwantumalgoritmen.
   • Berekening van hogere momenten en karakterisering van andere kwantumstatistieken.

Kortom, dit werk biedt de eerste strikt analytische onderbouwing voor de hardheid en statistische eigenschappen van Boson sampling in het regime dat het meest geschikt is voor huidige en toekomstige fotonische kwantumcomputers.