Fundamental limits on determination of photon number statistics from measurements with multiplexed on/off detectors

Deze studie onderzoekt de fundamentele grenzen voor het bepalen van fotonengetalstatistieken en gerelateerde grootheden uit onvolledige metingen met een array van aan/uit-detectoren, waarbij wordt aangetoond dat de onder- en bovengrenzen kunnen worden berekend via lineaire programmering om zo inzicht te geven in het benodigde aantal detectiekanaal voor een specifieke precisie.

De kern

De Grootste Raadsel: Hoeveel Lichtdeeltjes zijn er eigenlijk?

Stel je voor dat je in een donkere kamer staat en iemand gooit een doos vol met lichtdeeltjes (fotonen) naar je toe. Je hebt een speciale camera, maar deze camera is een beetje raar: hij kan niet tellen hoeveel deeltjes er precies zijn. Hij kan alleen zeggen: "Ja, er is iets aangekomen" of "Nee, er is niets aangekomen".

In de quantumwereld willen wetenschappers vaak precies weten hoeveel lichtdeeltjes er in een bundel zitten. Dit heet de "fotonenstatistiek". Maar als je alleen maar "ja/nee"-detectoren hebt, is het alsof je probeert te raden hoeveel muntjes er in een gesloten doos zitten, terwijl je alleen mag luisteren naar het geluid als je de doos schudt.

Dit is het probleem dat Jaromír Fiurášek in dit paper onderzoekt. Hij vraagt zich af: Hoe goed kunnen we eigenlijk de exacte hoeveelheid lichtdeeltjes bepalen als we maar beperkte informatie hebben?

De Oplossing: De "Klikken" van de Detectoren

In plaats van één detector te gebruiken, gebruiken wetenschappers vaak een multiplex-systeem. Dit is alsof je de lichtbundel splitst in tientallen kleine kanaaltjes (stroompjes), en elk kanaaltje heeft zijn eigen "ja/nee"-detector.

• Het idee: Als er veel lichtdeeltjes zijn, zullen er veel detectoren "klikken". Als er weinig zijn, klikken er maar een paar.
• Het probleem: Omdat je maar een eindig aantal detectoren hebt (bijvoorbeeld 10), kun je niet precies weten of er 100 deeltjes waren of 101. Veel verschillende hoeveelheden kunnen precies hetzelfde aantal "klikken" opleveren. Het is een raadsel met meerdere mogelijke oplossingen.

De Magische Rekenmachine (Lineaire Programmering)

Fiurášek gebruikt een wiskundige truc die lineaire programmering heet. Je kunt dit zien als een super-geavanceerde rekenmachine die alle mogelijke scenario's doorkruist.

Stel je voor dat je een puzzel hebt waarbij je de randen moet vinden. De rekenmachine doet het volgende:

1. De Grenzen zoeken: Hij vraagt: "Wat is het minst aantal deeltjes dat nog steeds past bij de gemeten klikken?" en "Wat is het meest aantal deeltjes dat nog steeds past?"
2. Het Veiligheidsnet: Hij tekent een veiligheidsnetje om de waarheid. Hij zegt niet: "Er zijn precies 5 deeltjes." Hij zegt: "Er zitten er zeker tussen de 4 en 6."

Deze "marge" (het verschil tussen het laagste en hoogste getal) is de fundamentele onzekerheid. Zolang je maar "ja/nee"-detectoren gebruikt, kun je die onzekerheid nooit helemaal wegnemen, tenzij je oneindig veel detectoren gebruikt.

Wat leerden we uit de proeven?

De auteur heeft dit getest met verschillende soorten "licht" (zoals thermisch licht van een gloeilamp, laserlicht, en exotisch quantumlicht). Hier zijn de belangrijkste ontdekkingen, vertaald naar alledaagse termen:

1. Meer detectoren = Beter zicht:
   Als je meer kanaaltjes (detectoren) toevoegt, wordt je veiligheidsnetje smaller. Het is alsof je van een wazige foto naar een scherpe foto gaat. Hoe meer "ogen" je hebt om naar het licht te kijken, hoe preciezer je het aantal deeltjes kunt schatten.

2. De "Dikke" bundels zijn moeilijker:
   Als je lichtbundel heel wijd is (veel deeltjes met een grote spreiding), is het moeilijker om precies te tellen. Het is alsof je proberen te tellen hoeveel korrels zand er in een emmer zitten door er maar een klein beetje uit te scheppen. Bij een laserstraal (die heel ordelijk is) is het tellen veel makkelijker dan bij een chaotische warmtebron.

3. Het "Wigner-Getal" (De quantum-vingerafdruk):
   De auteurs keken ook naar een speciaal getal dat vertelt of het licht "echt quantum" is (een beetje als een spookachtige eigenschap). Zelfs met onvolmaakte detectoren kunnen ze soms zeker weten dat dit getal negatief is, wat bewijst dat het quantumlicht is. Maar bij heel veel deeltjes wordt dit bewijs weer wazig.

4. Het gemiddelde aantal deeltjes:
   Het is heel lastig om het exacte gemiddelde aantal deeltjes te weten als je niet weet of er misschien een paar miljard deeltjes in de "staart" van de verdeling zitten (die je niet ziet). Maar als we aannemen dat er niet oneindig veel deeltjes zijn, kunnen we toch een heel goed schatting maken, zelfs met een klein aantal detectoren.

Waarom is dit belangrijk?

Stel je voor dat je een quantumcomputer bouwt of een super-gevoelige sensor maakt. Je wilt weten of je lichtbron precies goed werkt.

• Als je te weinig detectoren gebruikt, weet je niet of je systeem goed werkt of niet.
• Met deze paper kunnen ingenieurs precies berekenen: "Hoeveel detectoren heb ik nodig om mijn foutmarge onder de 1% te krijgen?"

Het bespaart tijd en geld. Je hoeft niet blindelings duizenden detectoren te kopen; je kunt precies berekenen wat het minimum is om je doel te bereiken.

Conclusie

Kort samengevat: Je kunt niet alles weten met beperkte middelen. Maar met slimme wiskunde kunnen we precies de grenzen van onze onwetendheid bepalen. We kunnen zeggen: "Met deze 10 detectoren weten we zeker dat het antwoord ergens tussen X en Y ligt." En dat is vaak al meer dan genoeg om de quantumwereld te begrijpen en te gebruiken.

Technische samenvatting

Titel: Fundamentele grenzen voor de bepaling van fotonenstatistieken uit metingen met gemultiplexte aan/uit-detectoren

1. Probleemstelling

Het experimenteel bepalen van de fotonengetalverdeling (photon number distribution, PND) is een fundamenteel probleem in de kwantumoptica. Hoewel er detectoren bestaan die het exacte aantal fotonen kunnen tellen, zijn veel veelgebruikte detectoren beperkt tot het onderscheiden van de aanwezigheid of afwezigheid van fotonen (binair "aan/uit"-gedrag). Om toch informatie over het fotonengetal te verkrijgen, wordt vaak gebruikgemaakt van ruimtelijke of temporele multiplexing: een signaal wordt opgesplitst in $M$ kanalen, elk gemeten door een binair detector.

Het centrale probleem is dat deze meting tomografisch incompleet is. Omdat het aantal detectiekanalen $M$ eindig is, levert de gemeten klikstatistiek (het aantal gelijktijdige klikken) niet uniek de onderliggende fotonengetalverdeling op. Oneindig veel verschillende verdelingen kunnen exact dezelfde klikstatistiek produceren. Traditionele methoden lossen deze ambiguïteit op door extra aannames te doen (bijvoorbeeld het maximaliseren van de entropie), maar deze aannames zijn niet altijd gerechtvaardigd, vooral bij het karakteriseren van kunstmatig gegenereerde kwantumtoestanden met complexe verdelingen.

Het doel van dit werk is om de fundamentele onzekerheid te kwantificeren die inherent is aan het reconstrueren van de fotonengetalverdeling en gerelateerde grootheden, zonder extra aannames over de vorm van de verdeling te doen.

2. Methodologie

De auteur ontwikkelt een wiskundig raamwerk om de onder- en bovengrenzen van de waarschijnlijkheid $p_n$ (voor het vinden van $n$ fotonen) en andere lineaire functies daarvan te bepalen, gebaseerd uitsluitend op de gemeten klikstatistiek.

• Het Meetmodel: Een inputsignaal wordt via een netwerk van straalverdelers (beam splitters) gelijkmatig verdeeld over $M$ kanalen. Elke kanaal wordt gemeten met een binair detector met efficiëntie $\eta$. De kans $c_m$ dat precies $m$ detectoren klikken, wordt gerelateerd aan de fotonengetalverdeling $p_n$ via een lineaire transformatie:
  $$c_m = \sum_{n=m}^{\infty} C_{mn} p_n$$
  waarbij $C_{mn}$ afhangt van $M$, $\eta$ en de combinatoriek van het splitsen.
• Lineaire Programmering (Linear Programming): Omdat de relatie tussen de metingen en de onbekende $p_n$ lineair is, en de $p_n$ niet-negatief moeten zijn en opgeteld 1, wordt het probleem geformuleerd als een lineair optimalisatieprobleem.
  • Om de onder- en bovengrenzen van een grootheid $Z = \sum z_n p_n$ te vinden, wordt $Z$ geminimaliseerd en gemaximaliseerd onder de lineaire gelijkheidsbeperkingen van de klikstatistiek en de positiviteitsvoorwaarde $p_n \geq 0$.
  • De auteurs gebruiken de simplex-methode (geïmplementeerd in Mathematica) om deze problemen op te lossen.
  • Om de oneindige dimensie van het probleem te hanteren, wordt de verdeling afgekapt bij een maximum $N$. De auteurs tonen aan dat voor voldoende grote $N$ de resultaten convergeren naar de ware waarden, mits de "staart" van de verdeling verwaarloosbaar is.
• Dualiteit: De optimaliteit van de oplossingen wordt geverifieerd door het oplossen van het bijbehorende duale lineaire programma.

3. Belangrijkste Bijdragen

1. Fundamentele Grenzen zonder Aannames: Het biedt een methode om strikte onder- en bovengrenzen te berekenen voor fotonengetalwahrscheinlijkheden en andere observabelen, puur gebaseerd op de meetdata, zonder aannames over de entropie of de vorm van de verdeling.
2. Kwantificering van Onzekerheid: Het stelt onderzoekers in staat om precies te bepalen hoeveel onzekerheid er inherent is aan een bepaald detectieschema (grootte van $M$ en efficiëntie $\eta$).
3. Analyse van Onbegrensde Operatoren: Het behandelt de specifieke uitdaging van het schatten van het gemiddelde fotonengetal ($\bar{n}$). Omdat de operator onbegrensd is, bestaat er zonder extra aannames geen eindige bovengrens. De auteurs tonen echter aan dat met minimale aannames over de maximale bijdrage van hoge Fock-toestanden, nuttige schattingen mogelijk zijn.
4. Analytische Grenzen voor Eenvoudige Opstellingen: Het levert gesloten analytische formules voor onder- en bovengrenzen van enkel-foton waarschijnlijkheid ($p_1$) en twee-modus waarschijnlijkheid ($p_{1,1}$) voor Hanbury Brown-Twiss opstellingen.

4. Resultaten

De numerieke analyse werd uitgevoerd voor vier soorten kwantumtoestanden: thermische toestanden, coherente toestanden, gecomprimeerde vacuümtoestanden (squeezed vacuum) en vacuümtoestanden waar één foton is afgetrokken (single-photon subtracted).

• Invloed van $M$ en $\eta$:
  • De onzekerheid in de bepaling van $p_n$ neemt af naarmate het aantal kanalen $M$ toeneemt.
  • Lagere detectie-efficiëntie $\eta$ leidt tot grotere onzekerheid.
  • Voor toestanden met een brede verdeling (zoals thermische toestanden of sterk gecomprimeerde toestanden) is de onzekerheid groot als het gemiddelde fotonengetal $\bar{n}$ vergelijkbaar is met of groter is dan $M$. Voor smalle verdelingen (zoals coherente toestanden met laag $\bar{n}$) is de onzekerheid verwaarloosbaar.
• Wigner-functie en Pariteit:
  • De methode werd toegepast op de pariteit van het fotonengetal, wat direct gerelateerd is aan de waarde van de Wigner-functie in de oorsprong van de fase-ruimte.
  • Voor een gecomprimeerde vacuümtoestand met één afgetrokken foton kon de detectie met $M=10$ kanalen de negativiteit van de Wigner-functie (een teken van niet-klassiekheid) tot aan $\bar{n} \approx 5.15$ onmiskenbaar bevestigen.
• Gemiddeld Fotonengetal ($\bar{n}$):
  • Hoewel de theoretische bovengrens voor $\bar{n}$ oneindig is zonder extra aannames, bleek dat voor realistische toestanden de onzekerheid in $\bar{n}$ veel kleiner is dan de som van de onzekerheden in de individuele $p_n$. Dit komt door de anticorrelatie tussen de $p_n$ waarden onder de beperkingen van de klikstatistiek.
  • Een eenvoudige lineaire schatter bleek zeer nauwkeurig te zijn, zelfs voor toestanden met een aantal fotonen dat iets hoger ligt dan het aantal kanalen $M$.
• Analytische Grenzen: Voor Hanbury Brown-Twiss opstellingen werden strakke analytische ondergrenzen voor $p_1$ en $p_{1,1}$ afgeleid die alleen afhankelijk zijn van de gemeten kansen op "geen klik".

5. Betekenis en Conclusie

Dit onderzoek biedt een kwantitatieve leidraad voor het ontwerpen van experimenten met multiplexed on/off-detectoren.

• Resource-Optimalisatie: Het stelt onderzoekers in staat om het minimale aantal detectiekanalen ($M$) te bepalen dat nodig is om een gewenste precisie te bereiken voor een specifieke toestand, wat kostenefficiëntie bevordert.
• Validatie van Reconstructie: In plaats van alleen een reconstructie van de verdeling te presenteren, kunnen onderzoekers nu de betrouwbaarheidsgrenzen van hun meting aangeven. Als een gereconstrueerde verdeling binnen de berekende grenzen valt, is deze consistent met de data; als hij er buiten valt, is er een fout in het model of de data.
• Toepasbaarheid: De methode is algemeen toepasbaar op elke meetopzet waar de meetkansen lineair afhankelijk zijn van de fotonengetalverdelingen en de meting tomografisch incompleet is.

Samenvattend demonstreert het artikel dat hoewel een eindig aantal binair detectoren de volledige verdeling niet uniek kan vaststellen, het wel zeer nauwkeurige grenzen kan stellen aan de waarschijnlijkheid van fotonengetallen en andere kwantumobservabelen, mits men de fundamentele onzekerheid accepteert en correct kwantificeert.