Hvor længe fører det svar, der ender med at tabe?

Paper 19B · Ud over arcsinus-loven · Læs på Zenodo

En qubit kollapser ikke i det øjeblik man kigger på den. Overvåger man den kontinuert, vakler dens odds: først fører det ene udfald, så det andet, frem og tilbage, indtil tilstanden endelig lægger sig fast på et svar. Det er et kapløb, og man kan se det løbe. Den her note regner ud, præcis hvordan det kapløb plejer at gå. Ét svar er en lille overraskelse: det udfald der ender med at tabe, fører i gennemsnit i præcis en halv måling. Og den berømte plat-og-krone-lov, der styrer hvem-fører i almindelige tilfældige gang, viser sig ikke at være helt den rigtige lov her.

Kapløbet man faktisk kan se

I en kontinuert kvantemåling leverer detektoren et støjfyldt signal, og ud fra det opdaterer man løbende sandsynligheden for hvert udfald. Den løbende sandsynlighed marcherer ikke støt mod sit mål. Den sitrer. Den krydser halvvejs-linjen et endeligt antal gange, hvor føringen skifter mellem de to udfald, og så binder den sig.

To kendsgerninger om den vaklen forankrer alt det følgende. For det første er den løbende sandsynlighed en fair proces i teknisk forstand, så den må konvergere, og den kan ikke blive hængende i midten. Den ender ved det ene eller det andet udfald, og chancen for hvert er præcis den Born-sandsynlighed man startede med. Kollaps og Born-reglen er resultater af vaklen, ikke ekstra ingredienser.

For det andet, og det er mekanismen bag alt hvad der følger, er vaklen ikke lige stor alle steder. Støjen er størst præcis ved halvvejs-linjen og dør ud nær udfaldene. Processen bevæger sig hurtigst netop dér hvor føringen skifter hænder, og den dvæler, når den først er tæt på et svar. Kapløbet er altså hurtigt og sky i midten, og klæbrigt ved enderne.

Spørgsmålet, gjort præcist

Vælg en tærskel: lad os sige at målingen er færdig, når sandsynligheden er kommet på hårsbredde af det ene udfald. Spørg nu, hvor stor en brøkdel af tiden frem til det slutpunkt et givet udfald var i føring. Kald det tid-i-føring-brøken.

Det klassiske svar på den slags spørgsmål er Lévys arcsinus-lov fra 1940, og den er berømt kontraintuitiv: for en almindelig tilfældig gang over et fast stykke tid er en nogenlunde ligelig deling af føringen det mindst sandsynlige. Den ene side plejer at tage føringen for sig selv. Loven er U-formet og hober sandsynlighed op i begge yderpunkter.

Følger den målte qubit så arcsinus-loven? Ikke helt, og det nære forbi er interessant.

Svaret: en familie, ikke én lov

Noten udleder den eksakte lov, og den viser sig at være en ét-parameter-familie indekseret af, hvor streng man gør sin slut-tærskel. Begge ender af familien er genkendelige.

Ved en løs tærskel konvergerer loven mod noget skala-invariant, der ligger tæt på arcsinus-loven, men målbart ikke er den. Grunden er ikke normalisering. Den er, at Lévys lov lever på en fast klokketid, mens denne lever på en tilfældig horisont, nemlig det øjeblik målingen første gang binder sig. En fast deadline og en første forpligtelse er to forskellige måder at stoppe på, og de giver forskellige love. Gabet er afgørende snarere end marginalt i de numeriske tests.

Ved en stram tærskel, hvor man følger kapløbet hele vejen til udfaldet, kollapser loven til det enklest tænkelige: vinderen førte stort set hele tiden, og hvilket udfald der vinder, afgøres af Born-sandsynligheden.

Ind imellem er loven et U, der skærpes efterhånden som man strammer tærsklen, fordi støjen topper ved førings-linjen og dør ved polerne, så stier krydser midten hurtigt og dvæler ved enderne. Vægten der hober sig op i yderpunkterne vokser, når tærsklen strammes, og starter under arcsinus-lovens værdi, krydser den ved moderate indstillinger, og stiger mod vished ved den stramme ende. Lévys lov er et referencepunkt, familien krydser, ikke en grænse den nærmer sig.

Taberens halve måling

Det reneste enkelttal i paperet handler om det udfald, der taber. Drop slut-tærsklen helt, og spørg bare: hvor længe var det udfald, der ender med at tabe, i alt i føring?

Starter man fra lige odds, er svaret eksakt og rent. I gennemsnit fører taberen i præcis en halv måletid, uanset hvor lang tid hele lokaliseringen tager. Der findes en søster-formel for skæve startodds, hvor den gennemsnitlige tid det forkerte udfald fører, bliver det udfalds Born-vægt gange én-plus-dets-underskud i log-odds.

Det er værd at være præcis om rækkevidden: det ene halve gælder specifikt for lige-odds-starten, og paperet flager det i stedet for at lade det pæne tal rejse længere, end det bør.

Hvordan det gøres

Tricket er et koordinatskift. Skrevet i log-odds i stedet for sandsynlighed bliver vaklen en langt enklere proces: en almindelig tilfældig gang skubbet af en drift, der altid peger væk fra halvvejs-linjen, og som hurtigt mætter.

Så kommer det pæne skridt. Den drevne proces viser sig at være præcis en blanding af to meget simplere: en tilfældig gang der driver støt mod det første udfald, og en der driver støt mod det andet, sat sammen med vægte, der netop er Born-sandsynlighederne. Ikke omtrent, og ikke kun til faste tider, men som et udsagn om hele stier, og det er dét, der gør den brugbar til spørgsmål om tilfældige stoptider.

Prækollaps-ensemblet er altså en eksakt klassisk blanding af to betingede udviklinger, hver på march mod sit eget svar, vægtet med Born-reglen. Når man først har den, reduceres tid-i-føring-spørgsmålet til et klassisk spørgsmål om drevne tilfældige gang, som klassisk maskineri løser eksakt.

Hvad der er lånt, og hvad der er nyt

Paperet er eftertrykkeligt på det punkt. Den underliggende matematik er klassisk og er ikke dets egen: den drevne proces er et kendt eksakt løsbart filter fra 1981, sandsynligheds-processen er posterioren fra et klassisk sekventielt test-problem, og diskret-tids-udgaven for gentagne kvantemålinger blev publiceret i 2011. Noten gør intet prioritetskrav på selve repræsentationen, kun på brugen af den.

Det der tilbydes som nyt, er tid-i-føring-loven for den overvågede qubit: den eksakte transform, den familie den udspænder, og de eksakte identiteter der følger med, heriblandt taberens halve måling. Paperet siger også lige ud, at det ikke kender nogen sådan exit-occupations-lov i hverken kvantetrajektorie- eller sekventiel-analyse-litteraturen, og at en forgænger ville være velkommen.

Ærlig rækkevidde

Rammen er ideal hele vejen: en perfekt detektor, ingen drive, og en måling der ikke forstyrrer den størrelse, der måles. Resultatet tilbydes derfor som et eksakt løsbart referencetilfælde, en benchmark rigtige detektorer kan sammenlignes med, ikke som en beskrivelse af noget laboratorie-datasæt.

Inden for den ramme har det to anvendelser. Det er en nulhypotese for ideal-tilfældet, så detektor-ineffektivitet og rest-dynamik går fra at være kvalitative deformationer til at være kvantitative afvigelser. Og det er en lokaliserings-diagnostik, fordi en målt yderpunkts-vægt lokaliserer den effektive tærskel, hvor et eksperiments trajektorier har bundet sig.

To yderligere forbehold følger med. Lovens tæthed kræver numerisk inversion; der gøres intet krav om lukket form for selve tætheden. Og at yderpunkts-vægten vokser med tærsklen, er rapporteret som en numerisk observation over det testede interval, ikke som en sætning. De åbne problemer er navngivet: hvad der overlever en svag drive, hvad der sker når detektoren er ineffektiv (kaldt det eksperimentelt mest presserende spørgsmål), og hvordan man overhovedet definerer føringen, når der er mere end to udfald.

Læs artiklen

Den fulde note er frit tilgængelig på Zenodo (koncept-DOI 10.5281/zenodo.21471598):

Læs på Zenodo → · Engelsk teknisk version · English version

Relateret på siden:

• Paper 19A — Hvorfor er det kvadratet? — søster-noten: de samme Born-sandsynligheder grebet an fra sandsynlighedsreglens algebra i stedet for en målings dynamik.
• Hvad er et race? — billedet af konkurrerende ruter der skiftes til at føre, som notens ordforråd låner, selvom matematikken står på egne ben.