# Negativität

Die Negativität bezeichnet in der Quantenmechanik und Quanteninformatik ein einfach zu berechnendes Verschränkungsmaß.

## Definition

Die Negativität $N$ ist eine Funktion, die jedem (reinen oder gemischten) Zustand $\rho$ eines zusammengesetzten Quantensystems (mit Hilbertraum ${\cal {H}}={\cal {H}}_{A}\otimes {\cal {H}}_{B}$) eine nicht-negative Zahl zuordnet, nämlich die Summe der Beträge der negativen Eigenwerte der partiell transponierten Dichtematrix:
    $N(\rho )={\frac {1}{2}}\left(\|\rho ^{T_{A}}\|_{1}-1\right)$,
wobei $\|\cdot \|_{1}$ die Spurnorm bezeichnet. Die logarithmische Negativität $E_{N}(\rho )$ ist definiert durch
    $E_{N}(\rho )=\log _{2}\|\rho ^{T_{A}}\|_{1}=\log _{2}\left[2N(\rho )+1\right]$.
Für Dichtematrizen auf ${\cal {H}}$ ist die partielle Transposition $T_{A}$ als die lineare Abbildung definiert, die jeder Dichtematrix der Form $\rho _{A}\otimes \rho _{B}$ die Matrix $(\rho _{A}\otimes \rho _{B})^{T_{A}}=\rho _{A}^{T}\otimes \rho _{B}$ zuordnet und für beliebige Matrizen auf ${\cal {H}}$ mittels Linearität definiert ist. Da die Transposition $\rho \mapsto \rho ^{T}$ eine positive, aber nicht vollständig positive Abbildung ist, ist die partielle Transposition nicht positiv und für manche Dichtematrizen gilt $\rho ^{T_{A}}\not \geq 0$ und somit $N(\rho )>0$.
Die Negativität ist genau für die Zustände nicht Null, die durch das Peres-Horodecki-Kriterium als verschränkt erkannt werden und also gleich Null für alle separablen Zustände, aber auch die PPT-verschränkten Zustände.
Das Maß wurde 1998 von Życzkowski et al. eingeführt und seine wesentlichen Eigenschaften wurden von Vidal und Werner bewiesen.

## Eigenschaften

* $N$ ist ein Verschränkungsmaß, d. h. insbesondere, dass es monoton unter lokalen Operationen ist: $N(\rho ')\leq N(\rho )$ wann immer $\rho '$ aus $\rho$ durch lokale Operationen und klassische Kommunikation (LOCC) erzeugt werden kann. Das gilt ebenso für logarithmische Negativität.
* Die Funktion $N$ ist konvex, aber $E_{N}$ nicht.
* Es gibt verschränkte Zustände $\rho$, für die $N(\rho )=E_{N}(\rho )$ (die „PPT-verschränkten“ Zustände).
* $N(\rho )>0$ ist notwendige Bedingung dafür, dass der Zustand $\rho$ destillierbar ist, d. h. durch LOCC in einen reinen verschränkten Zustand transformiert werden kann. Darüber hinaus gilt, dass $E_{N}(\rho )$ eine obere Schranke für die mit $\rho$ erreichbare Verschränkungsdestillationsrate ist. D. h., aus $M$ Systemen im Zustand $\rho$ lassen sich durch LOCC nicht mehr als $ME_{N}(\rho )$ reine Bell-Zustände gewinnen. Somit ist $E_{N}$ auch eine obere Schranke für die Destillierbare Verschränkung.
* Die Negativität liefert auch eine untere Schranke dafür, wie nah der Zustand $\rho$ durch LOCC dem maximal verschränkten Zustand $P_{+}$ in ${\mathcal {H}}$ gebracht werden kann: der Spurnormabstand zwischen $P_{+}$ und dem lokal transformierten Zustand $P(\rho )$ ist immer $\geq 2(1-{\frac {1+2N(\rho )}{d}})$, wobei $d$ die Dimension des kleineren der beiden Hilberträume bezeichnet: $d=\mathrm {min} \{\mathrm {dim} ({\cal {H}}_{A}),\mathrm {dim} ({\cal {H}}_{B})\}$. Daraus folgt auch, dass sich nach oben abschätzen lässt, wie gut die beste mit $\rho$ erreichbare Quantenteleportation ist: für die Fidelität $F_{\mathrm {max} }$, mit der ein $d$-dimensionaler maximal verschränkter Zustand teleportiert werden kann, gilt $F_{\mathrm {max} }\leq (1+2N(\rho ))/d$.
* Die logarithmische Negativität ist additiv, d. h., dass für ein Tensorprodukt von bipartiten Zuständen $\rho =\rho _{1}\otimes \rho _{2}$ gilt, dass $E_{N}(\rho )=E_{N}(\rho _{1})+E_{N}(\rho _{2})$.
* Negativität und logarithmische Negativität lassen sich einfach aus den Eigenwerten der partiell transponierten Dichtematrix berechnen. Dies steht im Gegensatz zu den meisten anderen Verschränkungsmaßen, für deren Berechnung das Auffinden eines Optimums über einen hochparametrigen Raum notwendig ist (z. B. Formationsverschränkung oder destillierbare Verschränkung) oder deren Berechnung die Lösung eines NP-schweren Problems beinhaltet (wie alle treuen Verschränkungsmaße, die nur für separable Zustände gleich 0 sind). Daher werden $N$ und $E_{N}$ insbesondere oft bei der numerischen Beschreibung von hochdimensionalen Systemen verwendet, zum Beispiel in der Vielteilchenphysik zur Charakterisierung von Quantenphasenübergängen.