Entanglement monotone

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (November 2019) (Learn how and when to remove this message) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Entanglement monotone" – news · newspapers · books · scholar · JSTOR (November 2019) (Learn how and when to remove this message) (Learn how and when to remove this message)

In quantum information and quantum computation, an entanglement monotone or entanglement measure is a function that quantifies the amount of entanglement present in a quantum state. Any entanglement monotone is a nonnegative function whose value does not increase under local operations and classical communication.^[1][2]

Let ${\displaystyle {\mathcal {S}}({\mathcal {H}}_{A}\otimes {\mathcal {H}}_{B})}$be the space of all states, i.e., Hermitian positive semi-definite operators with trace one, over the bipartite Hilbert space ${\displaystyle {\mathcal {H}}_{A}\otimes {\mathcal {H}}_{B}}$. An entanglement measure is a function ${\displaystyle \mu :{\displaystyle {\mathcal {S}}({\mathcal {H}}_{A}\otimes {\mathcal {H}}_{B})}\to \mathbb {R} _{\geq 0}}$such that:

1. ${\displaystyle \mu (\rho )=0}$ if ${\displaystyle \rho }$ is separable;
2. Monotonically decreasing under LOCC, viz., for the Kraus operator ${\displaystyle E_{i}\otimes F_{i}}$ corresponding to the LOCC ${\displaystyle {\mathcal {E}}_{LOCC}}$, let ${\displaystyle p_{i}=\mathrm {Tr} [(E_{i}\otimes F_{i})\rho (E_{i}\otimes F_{i})^{\dagger }]}$ and ${\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 }]}$for a given state ${\displaystyle \rho }$, then (i) ${\displaystyle \mu }$ does not increase under the average over all outcomes, ${\displaystyle \mu (\rho )\geq \sum _{i}p_{i}\mu (\rho _{i})}$ and (ii) ${\displaystyle \mu }$ does not increase if the outcomes are all discarded, ${\displaystyle \mu (\rho )\geq \sum _{i}\mu (p_{i}\rho _{i})}$.

Some authors also add the condition that ${\displaystyle \mu (\varrho )=1}$ over the maximally entangled state ${\displaystyle \varrho }$. If the nonnegative function only satisfies condition 2 of the above, then it is called an entanglement monotone.

Various entanglement monotones exist for bipartite systems as well as for multipartite systems. Common entanglement monotones are the entropy of entanglement, concurrence, negativity, squashed entanglement, entanglement of formation and tangle.

This physics-related article is a stub. You can help Wikipedia by expanding it.

• v
• t
• e