Imaginarity measures induced by real part states and the complementarity relations

Technische Samenvatting: Door de Reële Deel-toestanden Geïnduceerde Imaginariteit-maten en Complementariteitsrelaties

Probleemstelling
Complexe getallen zijn fundamenteel voor de kwantummechanica, maar de hulpbronstheorie van "imaginariteit"—het kwantificeren van de niet-verdwijnende imaginaire componenten van de dichtheidsmatrix van een kwantumtoestand—is pas recentelijk geformuleerd. Hoewel er verschillende imaginariteit-maten bestaan (bijv. sporennorm, relatieve entropie, geometrisch), worden deze vaak gedefinieerd via optimalisatieproblemen of specifieke afstandmetrieken. Een centrale vraag die in dit werk wordt behandeld, is of de "reële deel-toestand", gedefinieerd als $\text{Re}(\rho) = \frac{1}{2}(\rho + \rho^*)$, als een algemeen fundament kan dienen voor het construeren van imaginariteit-maten. Specifiek onderzoeken de auteurs of de afstand tussen een toestand $\rho$ en zijn reële deel $\text{Re}(\rho)$ een geldige hulpbronmaat vormt en verkennen zij de fysieke beperkingen (complementariteit) waarmee imaginariteit te maken heeft over wederzijds ongebiaste bases (MUB's).

Methodologie
Het artikel stelt een algemeen kader voor om imaginariteit-maten te construeren op basis van de afstand tussen een kwantumtoestand $\rho$ en zijn reële deel-toestand $\text{Re}(\rho)$.

1. Algemene Constructie: De auteurs definiëren een functie $D(\rho, \sigma)$ die voldoet aan niet-negativiteit, contractiviteit onder volledig positieve trace-preserving (CPTP) kaarten, en additiviteit onder directe sommen. Zij bewijzen dat $M(\rho) = D(\rho, \text{Re}(\rho))$ voldoet aan de vijf axioma's van een imaginariteit-maat (getrouwheid, monotoniciteit, probabilistische monotoniciteit, convexiteit en additiviteit).
2. Specifieke Maat-voorstel: Door de functie $D(\rho, \sigma) = 1 - F(\rho, \sigma)$ te kiezen, waarbij $F$ de fideliteit is, introduceren de auteurs een nieuwe maat:
   $$M_{\text{Re}}(\rho) = 1 - F(\rho, \text{Re}(\rho))$$
3. Analytische Afleiding: Het artikel leidt een gesloten vorm analytische uitdrukking voor $M_{\text{Re}}$ af in qubit-systemen met behulp van de Bloch-vectorrepresentatie.
4. Vergelijkende Analyse: De nieuwe maat wordt vergeleken met bestaande maten (geometrisch, Tsallis relatieve entropie, sporennorm) om ongelijkheden en relaties vast te stellen.
5. Complementariteitsanalyse: De studie onderzoekt de som van de imaginariteit-maten onder volledige verzamelingen van MUB's in laag-dimensionale systemen (qubits en qutrits) om fysieke beperkingen op de distributie van de imaginariteit te bepalen.

Belangrijkste Bijdragen en Resultaten

• Algemene Constructiemethode: Stelling 1 stelt vast dat elke afstandfunctie $D$ die voldoet aan specifieke fysieke voorwaarden (niet-negativiteit, contractiviteit, additiviteit) een geldige imaginariteit-maat oplevert wanneer deze wordt toegepast op het paar $(\rho, \text{Re}(\rho))$. Dit verenigt bestaande maten zoals de sporennorm, relatieve entropie en Tsallis relatieve entropie als specifieke instanties van dit kader.
• Nieuwe Fideliteit-gebaseerde Maat ($M_{\text{Re}}$): De auteurs stellen $M_{\text{Re}}$ voor en bewijzen dat het een goed gedefinieerde maat is. Belangrijke eigenschappen zijn:
  • Grenzen: $0 \leq M_{\text{Re}}(\rho) \leq 1 - \frac{\sqrt{2}}{2}$. De bovengrens wordt bereikt door de maximaal imaginaire toestand $|+i\rangle = \frac{|0\rangle + i|1\rangle}{\sqrt{2}}$.
  • Zuivere Toestanden: Voor zuivere toestanden $|\psi\rangle$ geldt $M_{\text{Re}}(|\psi\rangle) = 1 - \frac{1}{\sqrt{2}}\sqrt{1 + |\langle\psi|\psi^*\rangle|^2}$.
  • Qubit Analytische Formule: Een expliciete formule wordt afgeleid voor qubit-toestanden $\rho = \frac{1}{2}(I + \mathbf{r} \cdot \boldsymbol{\sigma})$, waaruit blijkt dat de imaginaryiteit toeneemt met de $y$-component van de Bloch-vector ($r_y$).
• Relaties tot Andere Maten:
  • Geometrische Imaginariteit ($M_g$): Het artikel stelt de ongelijkheid $M_{\text{Re}}(\rho) \leq M_g(\rho) \leq 1 - [1 - M_{\text{Re}}(\rho)]^2$ vast. Gelijkheid geldt dan en slechts dan als $\rho$ een reële toestand is of als de optimale reële toestand voor $M_g$ samenvalt met $\text{Re}(\rho)$.
  • Optimale Reële Toestand: De auteurs bepalen dat voor geometrische imaginariteit in qubit-systemen de optimale reële toestand over het algemeen niet $\text{Re}(\rho)$ is, behalve in specifieke gevallen (bijv. wanneer $r_x=r_z=0$ of $r_y=0$).
  • Sporennorm en Zuiverheid: Een grens die $M_{\text{Re}}$, sporennorm-imaginariteit ($M_{\text{tr}}$) en zuiverheid $P(\rho)$ relateert, is afgeleid: $[1 - M_{\text{Re}}(\rho)]^2 + M_{\text{tr}}(\rho)^2 \geq P(\rho)$.
• Complementariteitsrelaties:
  • Qubits: Voor elke qubit-toestand voldoen de imaginariteit-maten onder de drie Pauli-eigenbases ($B_1, B_2, B_3$) aan een complementariteitsrelatie die begrensd wordt door de lengte van de Bloch-vector $|\mathbf{r}|$. Voor zuivere toestanden wordt deze relatie een gelijkheid.
  • Qutrits: Voor qutrits wordt een complementariteitsrelatie vastgesteld voor een volledige verzameling van vier MUB's, waarbij wordt aangetoond dat de som van de gekwadrateerde afwijkingen van eenheid beperkt wordt door de zuiverheid van de toestand: $\sum_{k=1}^4 (1 - M_{\text{Re}}^{Z_k})^2 > \frac{31}{14}P(\rho)$.

Betekenis en Claims
Het artikel beweert de "prominente rol" van de reële deel-toestand $\text{Re}(\rho)$ in de imaginariteit-hulpbronstheorie te benadrukken, door aan te tonen dat deze in essentie de hulpbron karakteriseert. Door een methode te bieden om maten te construeren zonder optimalisatie (in tegen tegenstelling tot de initiële definitie van de geometrische maat), biedt het werk een computationeel gemakkelijker alternatief.

Verder onthullen de afgeleide complementariteitsrelaties een fysieke beperking: de hoeveelheid imaginariteit die een kwantumtoestand bezit, kan niet tegelijkertijd groot zijn over een volledige verzameling van wederzijds ongebiaste bases. Deze afhankelijkheid van de meetbasis onderstreept de intrinsieke aard van imaginariteit als een kwantumhulpbron. Het werk concludeert dat deze bevindingen de interpretatie van reële deel-toestanden bij het karakteriseren van kwantumtoestanden verdiepen en de beperkingen verduidelijken waarmee de imaginariteit in laag-dimensionale systemen te maken heeft.