Concurrence (quantum computing)

Template:Short description In quantum information science, the concurrence is a state invariant involving qubits.

Definition

The concurrence is an entanglement monotone (a way of measuring entanglement) defined for a mixed state of two qubits as:

${𝒞}(\rho )\equiv \max (0,{\lambda }_1-{\lambda }_2-{\lambda }_3-{\lambda }_4)$

in which ${\lambda }_1,...,{\lambda }_4$ are the eigenvalues, in decreasing order, of the Hermitian matrix

$R=\sqrt{\sqrt{\rho }\tilde{\rho }\sqrt{\rho }}$

with

$\tilde{\rho }=({\sigma }_y\otimes {\sigma }_y){\rho }^{*}({\sigma }_y\otimes {\sigma }_y)$

the spin-flipped state of $\rho$ and ${\sigma }_y$ a Pauli spin matrix. The complex conjugation ${}^{*}$ is taken in the eigenbasis of the Pauli matrix ${\sigma }_z.$ Also, here, for a positive semidefinite matrix $A$, $\sqrt{A}$ denotes a positive semidefinite matrix $B$ such that $B^2=A$. Note that $B$ is a unique matrix so defined.

A generalized version of concurrence for multiparticle pure states in arbitrary dimensions (including the case of continuous-variables in infinite dimensions) is defined as:

${{𝒞}}_{{ℳ}}(\rho )=\sqrt{2(1-\text{Tr}{\rho }_{{ℳ}}^2)}$

in which ${\rho }_{{ℳ}}$ is the reduced density matrix (or its continuous-variable analogue) across the bipartition ${ℳ}$ of the pure state, and it measures how much the complex amplitudes deviate from the constraints required for tensor separability. The faithful nature of the measure admits necessary and sufficient conditions of separability for pure states.

Other formulations

Alternatively, the ${\lambda }_i$'s represent the square roots of the eigenvalues of the non-Hermitian matrix $\rho \tilde{\rho }$. Note that each ${\lambda }_i$ is a non-negative real number. From the concurrence, the entanglement of formation can be calculated.

Properties

For pure states, the square of the concurrence (also known as the tangle) is a polynomial $SL(2,\mathbb{ℂ}{)}^{\otimes 2}$ invariant in the state's coefficients. For mixed states, the concurrence can be defined by convex roof extension.

For the tangle, there is monogamy of entanglement, that is, the tangle of a qubit with the rest of the system cannot ever exceed the sum of the tangles of qubit pairs which it is part of.