Efficient implementation of arbitrary Hermitian-preserving and trace-preserving maps

Technische Samenvatting: Efficiënte Implementatie van Willekeurige Hermitisch-Preserverende en Spoor-Preserverende Kaarten

Probleemstelling
Quantumcontrole heeft met succes de implementatie mogelijk gemaakt van willekeurige volledig positieve en spoor-preserverende (CPTP) kaarten, die fysiek realiseerbare kwantumprocessen beschrijven. Echter, een kritische grens blijft de implementatie van hermitisch-preserverende en spoor-preserverende (HPTP) kaarten. In tegenstelling tot CPTP-kaarten garanderen HPTP-kaarten geen positiviteit, wat betekent dat ze niet-fysieke processen kunnen vertegenwoordigen zoals partiële transposities (gebruikt voor detectie van verstrengeling), inverse ruiskanalen (centraal bij kwantumfoutmitigatie, of QEM), en niet-CP tussenliggende kaarten in niet-Markoviaanse dynamica. Bestaande methoden voor het realiseren van HPTP-kaarten kampen met aanzienlijke beperkingen:

1. Decompositie-benaderingen: Het decomponeren van een HPTP-kaart in twee CPTP-kaarten gevolgd door post-processing vereist semi-definite programmering voor optimalisatie en is experimenteel beperkt gebleven tot single-qubit systemen.
2. Hamiltoniaan-benaderingen: Het construeren van bipartiete Hamiltoniaanse operatoren om HPTP-kaarten te benaderen vereist een ancilla-systeem met dezelfde dimensie als het doel-systeem, wat leidt tot hoge resource-kosten.

Methodologie
De auteurs stellen een volledig constructieve, resource-efficiënte methode voor om willekeurige HPTP-kaarten te implementeren met behulp van één enkele uitvoerbare CPTP-kaart gevolgd door eenvoudige klassieke post-processing. De kern van de methode omvat drie stappen:

1. Normalisatie: Gegeven een doel-HPTP-kaart $\mathcal{N}$ met Kraus-operatoren $\{K_i\}$ en tekens $\alpha(i) \in \{1, -1\}$ (afgeleid van de eigenwaarden van de Choi-matrix), normaliseren de auteurs de som $\sum K_i^\dagger K_i$ door een factor $\gamma$ (de grootste eigenwaarde van deze som). Dit levert geschaalde operatoren op: $\tilde{K}_i = K_i / \sqrt{\gamma}$.
2. Voltooiing (Completion): Om te garanderen dat de resulterende kaart een geldige CPTP-kaart is, wordt een extra Kraus-operator geïntroduceerd: $\tilde{K}_{r+1} = (I - \sum_{i=1}^r \tilde{K}_i^\dagger \tilde{K}_i)^{1/2}$. Dit garandeert de volledigheidsconditie $\sum_{i=1}^{r+1} \tilde{K}_i^\dagger \tilde{K}_i = I$. De resulterende CPTP-kaart, $\mathcal{E}_\mathcal{N}$, heeft een Kraus-rang van maximaal $r+1$, waarbij $r$ de intrinsieke rang van de doel-HPTP-kaart is.
3. Post-processing: Het fysieke circuit implementeert $\mathcal{E}_\mathcal{N}$. Om de verwachtingswaarde van een observabele $O$ onder de oorspronkelijke HPTP-kaart $\mathcal{N}$ te herstellen, worden de meetresultaten klassiek post-geprocessed. Specifiek worden uitkomsten die overeenkomen met de eerste $r$ Kraus-takken gewogen met $\alpha(i)\gamma$, terwijl uitkomsten die overeenkomen met de $(r+1)$-de tak met nul worden gewogen.

Circuit Implementatie
De methode maakt gebruik van een binair-boomstructuur quantumcircuit, eerder ontwikkeld voor CPTP-kaarten, om de geconstrueerde CPTP-kaart $\mathcal{E}_\mathcal{N}$ te implementeren.

• Resources: Het protocol vereist slechts één enkele twee-niveau ancilla-qubit (hergebruikt via meting, reset en feedback) en een klassiek register om meetuitkomsten op te slaan.
• Diepte: De circuitdiepte schaalt als $\lceil \log_2(r+1) \rceil$, wat een logaritmische schaling biedt met de Kraus-rang.
• Successieve Kaarten: Voor sequenties van HPTP-kaarten stellen de auteurs voor de corresponderende quantumcircuits te concateneren en aan het einde één enkele post-processing stap uit te voeren, waardoor het niet nodig is om quantumtoestanden tussen de stappen opnieuw te prepareren.

Belangrijkste Resultaten
Het artikel valideert de methode door middel van numerieke simulaties en theoretische analyse:

• Kwantumfoutmitigatie (QEM): De methode werd toegepast om ruiskanalen (amplitude-demping, depolarisatie en dephasering) te inverteren voor single- en two-qubit systemen. Numerieke resultaten tonen een substantiële reductie in sampling-overhead (variantie) vergeleken met eerdere decompositie-methoden.
• Bosonische Systemen: Simulaties op bosonische fotonverlieskanalen laten zien dat de voorgestelde methode lineair schaalt met de systeemdimensie $d$ (Kraus-rang $\approx d+1$). In contrast hiermee resulteren eerdere decompositie-methoden in bijna full-rank CPTP-kaarten ($d^2$), wat ze onpraktisch maakt voor hoog-dimensionale systemen.
• Variantie-analyse: De auteurs leiden een analytische expressie af voor de single-shot variantie van de estimator. Ze tonen aan dat de sampling-overhead transparant en analytisch gegarandeerd is, wat contrasteert met methoden die afhankelijk zijn van numerieke optimalisatie waarbij de overhead wordt bepaald door de coëfficiënten van gedecomposeerde kaarten.
• Haar-gemiddelde Variantie: Theoretische voorspellingen voor Haar-willekeurige inputtoestanden en observabelen bevestigen de efficiëntie van de methode, met name voor unitaire kanalen.

Betekenis en Claims
De auteurs claimen dat dit werk een praktische route biedt naar bredere kwantuminformatie-toepassingen die mogelijk worden gemaakt door HPTP-verwerking. De belangrijkste voordelen zijn:

• Resource-efficiëntie: De methode vereist aanzienlijk minder kwantumresources (specifiek één enkele twee-niveau ancilla) vergeleken met Hamiltoniaan-gebaseerde benaderingen en vermijdt de hoog-dimensionale ancilla-vereisten van eerdere methoden.
• Constructief karakter: Het protocol is volledig constructief en deterministisch, waardoor de noodzaak voor numerieke semi-definite programmering optimalisatie wordt geëlimineerd.
• Schaalbaarheid: De logaritmische circuitdiepte en de lineaire schaling van de Kraus-rang met de systeemdimensie maken de aanpak geschikt voor near-term hardware en hoog-dimensionale settings.
• Veelzijdigheid: Door de efficiënte realisatie van niet-fysieke kaarten mogelijk te maken, ondersteunt het framework toepassingen in verstrengelingsdetectie, kwantumfoutmitigatie, kwantumsimulatie en kwantummachine learning.

Het artikel concludeert dat deze resultaten de efficiëntie en veelzijdigheid van het voorgestelde framework valideren, en een schaalbare oplossing bieden voor het implementeren van willekeurige HPTP-kaarten zonder de resource-bottlenecks van eerdere technieken.