Maximal Classicalization of Finite-Group Quantum Reference-Frame Noise

Technische Samenvatting: Maximale Classicalisatie van Ruis in Eindige Groep-Kwantumreferentiekaders

Probleemstelling
Het artikel behandelt het probleem van het karakteriseren van wanneer een ruisend eindig kwantumreferentiekader (QRF), beschreven door een onbekend groepselement $g \in G$ dat werkt via een unitaire representatie $U$, volledig gecorrigeerd kan worden met behulp van enkel klassieke post-verwerking. Gegeven een bronwaarschijnlijkheidsverdeling $p$ en een doelverdeling $q$ op een eindige groep $G$, wordt de ruiskanaal gedefinieerd als $\Phi^U_p(X) = \sum_{g} p(g) U_g X U_g^\dagger$. De directionele post-verwerkingsfout is de minimale diamond-norm afstand tussen het doelkanaal en een willekeurig kwantumkanaal $\Lambda$ toegepast op het bronkanaal: $\delta^U(q|p) = \inf_{\Lambda \in \text{CPTP}} \frac{1}{2} \|\Phi^U_q - \Lambda \circ \Phi^U_p\|_\diamond$.

Hoewel klassieke correctie (het samplen van een aanvullend groepselement en het componeren van translaties) een bovengrens oplevert van $\delta_{cl}(q|p) = \min_{r \in P(G)} \frac{1}{2} \|q - r * p\|_1$, is de centrale vraag het bepalen van de voorwaarden waaronder gelijkheid geldt voor alle paren van verdelingen $p, q$. Deze gelijkheid impliceert dat geen enkele coherente kwantum post-verwerking (waarbij gebruik wordt gemaakt van verstrengeling met een ancilla of symmetriebreking) een voordeel biedt ten opzichte van klassieke convolutie.

Methodologie
De auteurs maken gebruik van de representatietheorie van eindige groepen, kwantuminformatietheorie (specifiek diamond-normen en kanaaldiscriminatie) en convexe optimalisatie. Belangrijke methodologische instrumenten zijn:

• Representatietheorie: Het analyseren van de decompositie van de dragerruimte $H$ in irreducibele representaties (irrep's) van $G$.
• Orthonormale banen: Het onderzoeken van het bestaan van een staat $|\Psi\rangle$ (mogelijk met een ancilla) waarvan de baan onder $G$ orthonormaal is.
• Twirling en Conditionele Verwachting: Het gebruik van de representatie-twirl kaart $E_U$ en Pimsner–Popa index-argumenten om de afstand tussen de identiteitsafbeelding en de getwirled afbeelding te begrenzen.
• Conjugaat-representatie: Het onderzoeken van de afbeelding $g \mapsto U_g \otimes U_g$ om de identificeerbaarheid van de onderliggende wet te bepalen vanuit de geïnduceerde kanaal.
• Lineaire Programmering: Het formuleren van het klassieke correctieprobleem als een eindig lineair programmeerprobleem om beslissingsgetuigen (decision witnesses) vast te stellen.

Belangrijkste Bijdragen en Resultaten

1. Equivalentie van Representatie-volledigheid en Universele Klassicalisatie:
   Het artikel bewijst dat de volgende condities equivalent zijn voor een eindig-dimensionale unitaire representatie $U$ van een eindige groep $G$:

   • $U$ is representatie-compleet (bevat ten minste één exemplaar van elke irreducibele type van $G$).
   • Er bestaat een ancilla-ondersteunde input-toestand met een orthonormale $G$-baan.
   • Gesigneerde groepmaten embedden isometrisch in kanalen in de diamond-norm ($\|\Phi^U_\sigma\|_\diamond = \|\sigma\|_1$).
   • Universele classicalisatie houdt stand: $\delta^U(q|p) = \delta_{cl}(q|p)$ voor alle $p, q$.

   Dit stelt vast dat representatie-volledigheid de exacte noodzakelijke en voldoende voorwaarde is voor de reductie van kwantum post-verwerking naar klassieke convolutie.

2. Resource-rekenkunde (Ancilla en Drager-dimensies):

   • Minimale Drager-dimensie: De kleinste dimensie die universele exacte classicalisatie toelaat is $d_{comp}(G) = \sum_{\lambda \in \text{Irr}(G)} d_\lambda$, wat strikt kleiner is dan de reguliere representatie-dimensie $N = \sum d_\lambda^2$.
   • Ancilla-kosten: Het artikel leidt exacte formules af voor de minimale ancilla-dimensie die vereist is voor een orthogonale baan ($r_{orb}$) en voor een invariante kalibratie-seed ($r_{inv}$). Opvallend genoeg kan multipliciteit in de drager de ancilla-kosten verminderen voor een baan, maar herstelt het geen ontbrekende irreducibele types.

3. Kwantitatief Falen bij Incomplete Dragers:
   Voor representaties die niet compleet zijn, leidt het artikel een exacte "kwantum-klassieke tekortkomingskloof" af.

   • De kloof wordt beheerst door de zichtbare Plancherel-dimensie $S(U) = \sum_{\lambda: m_\lambda > 0} d_\lambda^2$.
   • De diamond-afstand tussen de identiteit en de twirl is exact $1 - 1/S(U)$.
   • Voor een specifieke perturbatie van de uniforme verdeling is de tekortkoming $\kappa(U) = \frac{N}{N-1}(1 - \frac{1}{S(U)})$.
   • Voorbeeld: Voor de getrouwe twee-dimensionale standaardrepresentatie van $S_3$ (die de twee 1D-irrep's mist), is de tekortkoming exact $10\%$ relatief aan de klassieke waarde, ook al is de representatie getrouw (faithful).

4. Onderscheid tussen Identificeerbaarheid en Classicalisatie:
   Het artikel verheldert dat wet-identificeerbaarheid (injectiviteit van de afbeelding $p \mapsto \Phi^U_p$) een strikt zwakkere conditie is dan universele classicalisatie. Identificeerbaarheid vereist dat de conjugaat-representatie $U \otimes U$ compleet is, niet $U$ zelf. Bijgevolg kan een representatie getrouw zijn en wet-identificatie toestaan, maar toch falen in universele classicalisatie (bijv. de standaardrepresentatie van $S_3$).

5. Oneindige Compacte Groepen:
   De auteurs tonen aan dat voor oneindige compacte groepen geen eindig-dimensionale drager alle waarschijnlijkheidswetten isometrisch kan coderen (niet-injectiviteit is universeel). Echter, voor elke voorgeschreven eindige "zichtbare" Peter–Weyl-band (een subruimte van functies met beperkte Fourier-support), is stabiele reconstructie mogelijk met een expliciete conditiegetal dat afhankelijk is van het zichtbare Plancherel-gewicht.

Betekenis en Claims
Het artikel claimt het tussenliggende regime te hebben gesloten dat door eerdere, enkel voldoende werkende stellingen open werd gelaten. De primaire betekenis ligt in het vestigen van een strikt convecs: universele classicalisatie dwingt de drager om elke irreducibele type te bevatten. Het werk toont aan dat de obstructie voor classicalisatie niet louter het verlies van een Fourier-modus is (wat de identificeerbaarheid beïnvloedt), maar de afwezigheid van een enkele input-toestand die de volledige groep-baan kan oplossen.

De resultaten bieden een precieze resource-hiërarchie:

1. Getrouwheid (Faithfulness): $g \mapsto U_g$ is injectief (zwakste).
2. Wet-identificeerbaarheid: De conjugaat-representatie is compleet.
3. Universele Classicalisatie: De drager-representatie is compleet (sterkste).

Het artikel concludeert dat voor eindige groepen representatie-volledigheid de exacte grens is waar kwantum post-verwerking ophoudt een voordeel te bieden boven klassieke convolutie voor het corrigeren van kwantumreferentiekader-ruis. De afgeleide grenzen en lineaire programma's bieden exacte beslissingsgetuigen en stabiliteitsschattingen voor experimentele of theoretische verificatie.