Invariance of separability probability over reduced states in 4 × 4 bipartite systems
Attila Lovas, Attila Andai · Journal of Physics A Mathematical and Theoretical · 2017
Abstract The geometric separability probability of composite quantum systems has been extensively studied in the recent decades. One of the simplest but strikingly difficult problem is to compute the separability probability of qubit–qubit and rebit–rebit quantum states with respect to the Hilbert–Schmidt measure. A lot of numerical simulations confirm the P r e b i t − r e b i t = 29 64 and P q u b i t − q u b i t = 8 33 conjectured probabilities. We provide a rigorous proof for the separability probability in the real case and we give explicit integral formulas for the complex and quaternionic case. Milz and Strunz studied the separability probability with respect to given subsystems. They conjectured that the separability probability of qubit–qubit (and qubit-qutrit) states of the form of ( D 1 C C ∗ D 2 ) depends on D = D 1 + D 2 (on single qubit subsystems), moreover it depends only on the Bloch radii ( r ) of D and it is constant in r . Using the Peres–Horodecki criterion for separability we give a mathematical proof for the 29 64 probability and we present an integral formula for the complex case which hopefully will help to prove the 8 33 probability, too. We prove Milz and Strunz’s conjecture for rebit–rebit and qubit–qubit states. The case, when the state space is endowed with the volume form generated by the operator monotone function f ( x ) =