Received Apr 18, 2017; Revised Jul 31, 2017; Accepted Aug 10, 2017
This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
1. Introduction
In a previous paper [1], a family of formulas was obtained for the (total) separability probabilities of generalized two-qubit states () endowed with Hilbert-Schmidt () [2] or more generally random induced measure [3, 4]. In this regard, we note that the natural, rotationally invariant measure on the set of all pure states of a composite system () induces a unique measure in the space of mixed states [3, eq. ]. Further, serves as a Dyson-index-like parameter [5, 6], assuming the values for the two-rebit (), two-qubit (standard/complex), and two-quaterbit states, respectively.
The concept itself of a “separability probability,” apparently first (implicitly) introduced by Życzkowski et al. in their much cited 1998 paper [7], entails computing the ratio of the volume—in terms of a given measure [8]—of the separable quantum states to all quantum states. Here, we first examine a certain component of . This informs us of that portion—equalling simply in the Hilbert-Schmidt () case [9]—for which the determinantal inequality holds, with denoting a density matrix and denoting its partial transpose. By consequence [10] of the Peres-Horodecki conditions [11, 12], a necessary and sufficient condition for separability in this setting is that . The nonnegativity condition itself certainly holds, independently of any separability considerations. So, the total separability probability can clearly be expressed as the sum of that part for which and that for which . The former quantity will be the one...