Hvorfor er det kvadratet?

Paper 19A · Én mixer er nok · Læs på Zenodo

Kvantemekanikken har en regel, alle bruger, og ingen rigtigt forklarer. For at få chancen for et udfald tager man amplituden og kvadrerer den. Ikke opløfter i tredje, ikke tager den som den er. Kvadrerer den. Generationer af fysikere har prøvet at udlede det kvadrat fra noget mere grundlæggende, og hver udledning virker ved først at give sig selv en ret stor pakke af antagelser. Den her note stiller i stedet bogholderens spørgsmål: hvor lille kan pakken blive, før kvadratet holder op med at være tvunget? Svaret er, for én skarpt afgrænset familie af regler, meget lille. Én blandings-operation er nok.

Reglen, og gåden

Tænk på et kvantesystem som noget med flere mulige udfald, og kald dem ruter. Hver rute bærer en amplitude, et tal der kan være positivt, negativt eller komplekst. Born-reglen siger: for at lave amplituder om til sandsynligheder tager man størrelsen af hver amplitude, kvadrerer den, og normaliserer så sandsynlighederne lægger sammen til én. Det virker perfekt. Det har aldrig fejlet i en måling. Og det ser vilkårligt ud. Hvorfor anden potens?

De eksisterende svar køber alle kvadratet for noget. Gleason købte det for hele rummets geometri. Andre købte det for beslutningsteoretiske aksiomer, eller for symmetri under samtlige mulige kvante-operationer på én gang, eller for operationelle antagelser om hvordan målinger sættes sammen. Hvert af dem er et rigtigt resultat. Men i alle tilfælde går der en betydelig mængde struktur ind, før kvadratet kommer ud, og det gør det svært at sige, hvad kvadratet faktisk koster.

Spørgsmålet vendt om

Så i stedet for at spørge hvor hurtigt kvadratet følger af den fulde symmetrigruppe, spørger noten det omvendte: hvad er den mindste blandings-antagelse, der stadig tvinger det?

For at det spørgsmål kan besvares, må man hegne en familie af kandidat-regler ind. Familien her er den enklest tænkelige: hver rute får en vægt beregnet ud fra sin egen amplitude alene, af én og samme funktion, og vægtene lægges sammen. Intet krydser mellem ruterne. Kald dem koordinat-additive regler. Inden i den familie er det almindelige kvadrat bare én kandidat blandt uendelig mange; man kunne lige så godt prøve tredje potens, eller fjerde, eller noget uden nogen formel overhovedet.

Så spørger man, hvilke af de kandidater der kan overleve en symmetri. En symmetri betyder her en operation, der ægte blander to ruter ind i hinanden, sådan som en beamsplitter blander to lysstråler, og lader den samlede vægt være uændret.

Resultatet: én beamsplitter er nok

Svaret er skarpt, og det kommer i tre dele.

Kræv én ægte mixer, og du får kvadratet. Er der mindst tre ruter, og er reglen uændret under én enkelt operation, der virkelig blander to af dem, så må funktionen være kvadratet. Ikke omtrent, ikke på nær en familie af undtagelser. Præcis kvadratet, på hele intervallet. Én beamsplitters symmetri gør hele arbejdet.

Kræv kun omrokering, og du får ingenting. Er de operationer, du tillader, blot sådan nogle der omdøber ruterne og drejer på deres faser, uden at blande noget, så overlever hver eneste kandidat-funktion. Kravet er tomt. Det fastlægger slet ingenting.

Der er intet midt imellem. Mellem "omrokering, som ikke binder noget" og "ægte blanding, som tvinger kvadratet" findes der ingen mellemliggende symmetri, der ville fastlægge funktionen halvvejs, i hvert fald ikke i de regimer sætningerne dækker. Symmetri-landskabet har intet indre: familien af tilladte operationer springer direkte fra den lille til den største, uden noget imellem.

Og geometrien følger gratis med

Her er den del, der gør det til mere end en kuriositet om eksponenter. Når funktionen først er tvunget til at være kvadratet, er den størrelse symmetrien bevarer, simpelthen kvantetilstandens almindelige kvadrerede længde. Og der findes et klassisk stykke matematik (polarisering, fra Jordan og von Neumann i 1935), som siger, at kender man kvadrerede længder, kan man gendanne vinkler: det fulde indre produkt kan samles igen ud fra fire længde-målinger.

At kræve én mixer giver altså ikke bare kvadratet. Det giver hele den geometriske struktur af kvantetilstande, indre produkt og det hele. Inden for familien viser "kræv én beamsplitter" og "kræv hele kvantemekanikkens kvadratiske struktur" sig at være det samme krav.

Hvordan beviset virker, i ord

Argumentet er elementært, og det har tre træk, der er værd at se.

Det første er en fase-fejning. Sæt to ruter ved siden af hinanden med en tredje rute stående som tilskuer (det er derfor man skal bruge mindst tre). Når mixeren virker på parret, afhænger det af den relative fase mellem de to amplituder, hvordan vægten fordeler sig om. Fordi reglen skal gælde for enhver tilstand, herunder enhver fase, rækker den ene operation dig stille og roligt et helt kontinuum af ligninger i stedet for én. Der skal ikke antages nogen separat fase-symmetri; "for enhver tilstand" gør det arbejde af sig selv.

Det andet er et centrerings-træk. Vælg fasen sådan at mixeren tager et hvilket som helst skævt par og erstatter det med et mindre skævt, med samme sum. Gentag, og skævheden skrumper geometrisk. Ethvert par kan trækkes ind mod den balancerede midte.

Det tredje er midtpunkts-ligningen. Det der står tilbage, er udsagnet om at funktionens værdi i midtpunktet mellem to punkter er gennemsnittet af værdierne i de to punkter. En funktion med den egenskab må være en ret linje, og en klassisk sætning siger at blot målelighed er nok til at slutte det, uden nogen glathed. Oversæt tilbage fra de kvadrerede variable, og den rette linje er præcis kvadratet.

Hvor det holder op

Grænserne betyder lige så meget som resultatet, og noten siger dem lige ud.

Det er en karakterisering, ikke en udledning. Mixer-præmissen er antagelsen om at kvante-udviklingen er unitær, og den får ingen selvstændig begrundelse her. Inden for familien bliver spørgsmålet "hvorfor er eksponenten to?" til præcis spørgsmålet "hvorfor gælder der overhovedet nogen ægte blandings-symmetri?" Det er unitaritets-spørgsmålet, som rekonstruktionsprogrammerne også lader stå åbent. Gåden er flyttet, ikke reduceret, og det siger noten med de ord.

Det svigter ved to ruter. Med kun to ruter er der ingen tilskuer, fejningen kommer aldrig i gang, og en uendelig familie af ikke-kvadratiske kandidater slipper igennem. Det er strukturelt snarere end et hul i argumentet, og det spejler den samme dimensionstærskel, der optræder i Gleasons sætning.

Det er bevist for to-rute-mixere alene. Operationer der blander tre eller flere ruter på én gang er tjekket numerisk og står åbne. Og familie-begrænsningen er i sig selv en stærk antagelse: noten bemærker, at den koordinat-additive familie muligvis ikke indeholder nogen fysisk teori ud over kvantemekanikken selv.

Læs artiklen

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

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

Relateret på siden:

• Paper 19B — Hvor længe fører det svar, der ender med at tabe? — søster-noten: de samme Born-sandsynligheder, set fra en målings dynamik i stedet for reglens algebra.
• Hvad er et race? — billedet af konkurrerende ruter, som paperets ordforråd låner, selvom intet i matematikken afhænger af det.