Zapletení monotónní - Entanglement monotone - Wikipedia

Tento článek má několik problémů. Prosím pomozte vylepši to nebo diskutovat o těchto problémech na internetu diskusní stránka. (Zjistěte, jak a kdy tyto zprávy ze šablony odebrat) Tento článek obsahuje seznam obecných Reference, ale zůstává z velké části neověřený, protože postrádá dostatečné odpovídající vložené citace. Prosím pomozte zlepšit tento článek představuji přesnější citace. (Listopadu 2019) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) tento článek potřebuje další citace pro ověření. Prosím pomozte vylepšit tento článek podle přidávání citací ke spolehlivým zdrojům. Zdroj bez zdroje může být napaden a odstraněn. Najít zdroje: „Zapletení monotónní“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Listopadu 2019) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

v kvantová informace a kvantový výpočet, an zapletení monotónní je funkce, která kvantifikuje částku zapletení přítomný v kvantovém stavu. Libovolný zapletený monotón je nezáporná funkce, jejíž hodnota se nezvýší pod místní operace a klasická komunikace.^[1][2]

Definice

Nechat ${ displaystyle { mathcal {S}} ({ mathcal {H}} _ {A} otimes { mathcal {H}} _ {B})}$být prostorem všech stavů, tj. hermitovských pozitivních semitečných operátorů se stopou jedna, přes bipartitní Hilbertův prostor ${ displaystyle { mathcal {H}} _ {A} otimes { mathcal {H}} _ {B}}$. Mírou zapletení je funkce ${ displaystyle mu: { displaystyle { mathcal {S}} ({ mathcal {H}} _ {A} otimes { mathcal {H}} _ {B})} to mathbb {R} _ { geq 0}}$takové, že:

1. ${ displaystyle mu ( rho) = 0}$ -li ${ displaystyle rho}$ je oddělitelný;
2. Monotónně klesající pod LOCC, viz. Pro Operátor Kraus ${ displaystyle E_ {i} čast F_ {i}}$ odpovídající LOCC ${ displaystyle { mathcal {E}} _ {LOCC}}$, nechť ${ displaystyle p_ {i} = mathrm {Tr} [(E_ {i} otimes F_ {i}) rho (E_ {i} otimes F_ {i}) ^ { dagger}]}$ a ${ displaystyle rho _ {i} = (E_ {i} otimes F_ {i}) rho (E_ {i} otimes F_ {i}) ^ { dagger} / mathrm {Tr} [(E_ {i} otimes F_ {i}) rho (E_ {i} otimes F_ {i}) ^ { dagger}]}$pro daný stát ${ displaystyle rho}$, potom já) ${ displaystyle mu}$ nezvyšuje se pod průměrem u všech výsledků, ${ displaystyle mu ( rho) geq sum _ {i} p_ {i} mu ( rho _ {i})}$ a (ii) ${ displaystyle mu}$ nezvyšuje se, pokud jsou všechny výsledky zahozeny, ${ displaystyle mu ( rho) geq sum _ {i} mu (p_ {i} rho _ {i})}$.

Někteří autoři také přidávají podmínku, že ${ displaystyle mu ( varrho) = 1}$ nad maximálně zapleteným stavem ${ displaystyle varrho}$. Pokud nezáporná funkce splňuje pouze podmínku 2 výše, pak se nazývá zapletený monotónní.

Reference

Tento fyzika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.