The Horodecki family employed the Jaynes maximum-entropy principle, fitting the mean (b_{1}) of the Bell-CHSH observable (B). This model was extended by Rajagopal by incorporating the dispersion (σ_{1}^2) of the observable, and by Canosa and Rossignoli, by generalizing the observable (B_α). We further extend the Horodecki one-parameter model in both these manners, obtaining a three-parameter (b_{1},σ_{1}^2,α) two-qubit model, for which we find a highly interesting/intricate continuum (-\infty < α< \infty) of Hilbert-Schmidt (HS) separability probabilities -- in which, the golden ratio is featured. Our model can be contrasted with the three-parameter (b_{q}, σ_{q}^2,q) one of Abe and Rajagopal, which employs a q(Tsallis)-parameter rather than $α$, and has simply q-invariant HS separability probabilities of 1/2. Our results emerge in a study initially focused on embedding certain information metrics over the two-level quantum systems into a q-framework. We find evidence that Srednicki's recently-stated biasedness criterion for noninformative priors yields rankings of priors fully consistent with an information-theoretic test of Clarke, previously applied to quantum systems by Slater.
Separability and entanglement for n-qubits systems are quantified by using Hilbert-Schmidt (HS) decompositions in which the density matrices are decomposed into various terms representing certain one qubit, two-qubits,and larger qubits measurements. The present method is more general than previous methods for bipartite systems as it can be used for quantification of entanglement for large n-qubits systems.We demonstrate the use of such method by analyzing three qubits GHZ states, and three qubits general Bell states produced by a certain multiplications of Braid operators, operating on the com…
We seek to derive the probability--expressed in terms of the Hilbert-Schmidt (Euclidean or flat) metric--that a generic (nine-dimensional) real two-qubit system is separable, by implementing the well-known Peres-Horodecki test on the partial transposes (PTs) of the associated 4 x 4 density matrices. But the full implementation of the test--requiring that the determinant of the PT be nonnegative for separability to hold--appears to be, at least presently, computationally intractable. So, we have previously implemented--using the auxiliary concept of a diagonal-entry-parameterized separability f…
In this paper, we give out some effective criterions which can be used to judge the separability of multipartite pure states. We obtain the relationship between separability and Schmidt decomposable of multipartite pure states in Theorem1. The first criterion derived from Theorem2 dose not need the Schmidt decomposition which is hard to find for multipartite states. Theorem3 is more profound which can be used to deduce Corollary1 which is one of the main results in [1]. Finally, we give out an algorithm which can be used to judge the separability of multipartite pure states effectively.
A confluence of numerical and theoretical results leads us to conjecture that the Hilbert-Schmidt separability probabilities of the 15- and 9-dimensional convex sets of complex and real two-qubit states (representable by 4 x 4 density matrices rho) are 8/33 and 8/17, respectively. Central to our reasoning are the modifications of two ansatze, recently advanced (quant-ph/0609006), involving incomplete beta functions B_{nu}(a,b), where nu= (rho_{11} rho_{44})/(rho_{22} rho_{33}). We, now, set the separability function S_{real}(nu) propto B_{nu}(nu,1/2},2) =(2/3) (3-nu) sqrt{nu}. Then, in the com…
Hilbert-Schmidt (HS) decompositions are employed for analyzing systems of n-qubits, and a qubit with a qudit. Negative eigenvalues, obtained by partial-transpose (PT) plus local unitary transformations (PTU) for one qubit from the whole system, are used for indicating inseparability. A sufficient criterion for full separability of the n-qubits and qubit-qudit systems is given. We use the singular value decomposition (SVD) for improving the criterion for full separability. General properties of entanglement and separability are analyzed for a system of a qubit and a qudit and n-qubits systems, …
We seek to derive the probability--expressed in terms of the Hilbert-Schmidt (Euclidean or flat) metric--that a generic (nine-dimensional) real two-qubit system is separable, by implementing the well-known Peres-Horodecki test on the partial transposes (PT's) of the associated 4 x 4 density matrices). But the full implementation of the test--requiring that the determinant of the PT be nonnegative for separability to hold--appears to be, at least presently, computationally intractable. So, we have previously implemented--using the auxiliary concept of a diagonal-entry-parameterized separability…
We consider the Schmidt decomposition of a bipartite density operator induced by the Hilbert-Schmidt scalar product, and we study the relation between the Schmidt coefficients and entanglement. First, we define the Schmidt equivalence classes of bipartite states. Each class consists of all the density operators (in a given bipartite Hilbert space) sharing the same set of Schmidt coefficients. Next, we review the role played by the Schmidt coefficients with respect to the separability criterion known as the `realignment' or `computable cross norm' criterion; in particular, we highlight the fact…
We study the mathematical structures and relations among some quantities in the theory of quantum entanglement, such as separability, weak Schmidt decompositions, Hadamard matrices etc.. We provide an operational method to identify the Schmidt-correlated states by using weak Schmidt decomposition. We show that a mixed state is Schmidt-correlated if and only if its spectral decomposition consists of a set of pure eigenstates which can be simultaneously diagonalized in weak Schmidt decomposition, i.e. allowing for complex-valued diagonal entries. For such states, the separability is reduced to t…
We treat 3-qubits states with maximally disordered subsystems, by using Hilbert-Schmidt decompositions.By using unfolding methods, the tensors are converted into matrices and by applying singular values decompositions to these matrices the number 27 of the Hilbert Schmidt parameters, is reduced to 9 and under the condition that the sum of absolute values of these parameters is not larger than 1, we conclude that the density matrix is fully separable . In another method we divide the 27 Hilbert Schmidt parameters into 9 triads where for each triad we calculate the Frobenius norm of 3 Hilbert-Sc…
Paralleling our recent computationally-intensive (quasi-Monte Carlo) work for the case N=4 (quant-ph/0308037), we undertake the task for N=6 of computing to high numerical accuracy, the formulas of Sommers and Zyczkowski (quant-ph/0304041) for the (N^2-1)-dimensional volume and (N^2-2)-dimensional hyperarea of the (separable and nonseparable) N x N density matrices, based on the Bures (minimal monotone) metric -- and also their analogous formulas (quant-ph/0302197) for the (non-monotone) Hilbert-Schmidt metric. With the same seven billion well-distributed (``low-discrepancy'') sample points, w…
Jakobczyk and Siennicki studied two-dimensional sections of a set of (generalized) Bloch vectors corresponding to n x n density matrices of two-qubit systems (that is, the case n = 4). They found essentially five different types of (nontrivial) separability regimes. We compute the Euclidean/Hilbert-Schmidt (HS) separability probabilities assigned to these regimes, and conduct parallel two-dimensional sectional analyses for the higher-level cases n=6,8,9 and 10. Making use of the newly-introduced capability for integration over implicitly defined regions of version 5.1 of Mathematica -- also fr…
Firstly, we reduce the long-standing problem of ascertaining the Hilbert-Schmidt probability that a generic pair of qubits is separable to that of determining the specific nature of a one-dimensional (separability) function of the radial coordinate (r) of the unit ball in 15-dimensional Euclidean space, and similarly for a generic pair of rebits, using the 9-dimensional unit ball. Separability probabilities, could, then, be directly obtained by integrating the products of these functions (which we numerically estimate and plot) with jacobian factors of r^m over r in [0,1], with m=17 for the tw…
Two-qubit X-matrices have been the subject of considerable recent attention, as they lend themselves more readily to analytical investigations than two-qubit density matrices of arbitrary nature. Here, we maximally exploit this relative ease of analysis to formally derive an exhaustive collection of results pertaining to the separability probabilities of generalized two-qubit X-matrices endowed with Hilbert-Schmidt and, more broadly, induced measures. Further, the analytical results obtained exhibit interesting parallels to corresponding earlier (but, contrastingly, not yet fully rigorous) res…
We extend the findings and analyses of our two recent studies (Phys. Rev. A, 75, 032326 [2007] and arXiv:0704.3723) by, first, obtaining numerical estimates of the separability function based on the (Euclidean, flat) Hilbert-Schmidt (HS) metric for the 27-dimensional convex set of quaternionic two-qubit systems. The estimated function appears to be strongly consistent with our previously-formulated Dyson-index (beta = 1, 2, 4) ansatz, dictating that the quaternionic (beta=4) separability function should be exactly proportional to the square of the separability function for the 15-dimensional c…
We significantly advance the research program initiated in "Moment-Based Evidence for Simple Rational-Valued Hilbert-Schmidt Generic 2 x 2 Separability Probabilities" (J. Phys. A, 45, 095305 [2012]). A function P(alpha), incorporating a family of six hypergeometric functions, all with argument 27/64 =(3/4)^3, is obtained here. It reproduces a series, alpha = 1/2, 1, 3/2, 2,...,32$, of sixty-four Hilbert-Schmidt generic 2 x 2 generalized separability probabilities, advanced on the basis of systematic high-accuracy probability-distribution-reconstruction computations, employing 7,501 determinant…
The question of the generation of random mixed states is discussed, aiming for the computation of probabilistic characteristics of composite finite dimensional quantum systems. Particularly, we consider the generation of the random Hilbert-Schmidt and Bures ensembles of qubit and qutrit pairs and compute the corresponding probabilities to find a separable state among the states of a fixed rank.
We report major advances in the research program initiated in "Moment-Based Evidence for Simple Rational-Valued Hilbert-Schmidt Generic 2 x 2 Separability Probabilities" (J. Phys. A, 45, 095305 [2012]). A highly succinct separability probability function P(alpha) is put forth, yielding for generic (9-dimensional) two-rebit systems, P(1/2) = 29/64, (15-dimensional) two-qubit systems, P(1) = 8/33 and (27-dimensional) two-quater(nionic)bit systems, P(2)=26/323. This particular form of P(alpha) was obtained by Qing-Hu Hou and colleagues by applying Zeilberger's algorithm ("creative telescoping") t…
We use classical results from the theory of linear preserver problems to characterize operators that send the set of pure states with Schmidt rank no greater than k back into itself, extending known results characterizing operators that send separable pure states to separable pure states. We also provide a new proof of an analogous statement in the multipartite setting. We use these results to develop a bipartite version of a classical result about the structure of maps that preserve rank-1 operators and then characterize the isometries for two families of norms that have recently been studied…
A generic model of measurement device which is able to directly measure commonly used quantum-state characteristics such as fidelity, overlap, purity and Hilbert-Schmidt distance for two general uncorrelated mixed states is proposed. In addition, for two correlated mixed states, the measurement realizes an entanglement witness for Werner's separability criterion. To determine these observables, the estimation only one parameter - the visibility of interference, is needed. The implementations in cavity QED, trapped ion and electromagnetically induced transparency experiments are discussed.
Compelling evidence-though yet no formal proof-has been adduced that the probability that a generic (standard) two-qubit state ($ρ$) is separable/disentangled is $\frac{8}{33}$ (arXiv:1301.6617, arXiv:1109.2560, arXiv:0704.3723). Proceeding in related analytical frameworks, using a further determinantal $4F3$-hypergeometric moment formula (Appendix A), we reach, {\it via} density-approximation procedures, the conclusion that one-half ($\frac{4}{33}$) of this probability arises when the determinantal inequality $|ρ^{PT}|>|ρ|$, where $PT$ denotes the partial transpose, is satisfied, and, the oth…
We reexamine a recent analysis in which, using the volume of the associated quantum steering ellipsoid (QES) as a measure, we sought to estimate the probability that a two-qubit state is separable. In the estimation process, we, in effect, sought to attach to states random with respect to Hilbert-Schmidt (HS) measure, the corresponding QES volumes. However, a study of the relations between HS and Bures ensembles and their well-supported separability probabilities of $\frac{8}{33}$ and $\frac{25}{341}$, respectively, now lead us to explore as a possible alternative measure, the QES volume divid…
The operator Schmidt rank is the minimum number of terms required to express a state as a sum of elementary tensor factors. Here we provide a new proof of the fact that any bipartite mixed state with operator Schmidt rank two is separable, and can be written as a sum of two positive semidefinite matrices per site. Our proof uses results from the theory of free spectrahedra and operator systems, and illustrates the use of a connection between decompositions of quantum states and decompositions of nonnegative matrices. In the multipartite case, we prove that any Hermitian Matrix Product Density …
Hilbert-Schmidt (HS) decompositions and Frobenius norms are used to analyze biseparability of 3-qubit systems, with particular emphasis on density matrices with maximally disordered subsystems (MDS) and on the W state mixed with white noise. The biseparable form of a MDS density matrix is obtained by using the Bell states of a 2-qubit subsystem, multiplied by density matrices of the third qubit, which include the relevant HS parameters. Using our methods a sufficient condition and explicit biseparability of the W state mixed with white noise are given. They are compared with the sufficient con…
We begin by investigating relationships between two forms of Hilbert-Schmidt two-re[al]bit and two-qubit "separability functions"--those recently advanced by Lovas and Andai (J. Phys. A 50 [2017] 295303), and those earlier presented by Slater (J. Phys. A 40 [2007] 14279). In the Lovas-Andai framework, the independent variable $\varepsilon \in [0,1]$ is the ratio $σ(V)$ of the singular values of the $2 \times 2$ matrix $V=D_2^{1/2} D_1^{-1/2}$ formed from the two $2 \times 2$ diagonal blocks ($D_1, D_2$) of a $4 \times 4$ density matrix $D$. In the Slater setting, the independent variable $μ$ i…
We study geometrical aspects of entanglement, with the Hilbert--Schmidt norm defining the metric on the set of density matrices. We focus first on the simplest case of two two-level systems and show that a ``relativistic'' formulation leads to a complete analysis of the question of separability. Our approach is based on Schmidt decomposition of density matrices for a composite system and non-unitary transformations to a standard form. The positivity of the density matrices is crucial for the method to work. A similar approach works to some extent in higher dimensions, but is a less powerful to…
We employ a quasirandom methodology, recently developed by Martin Roberts, to estimate the separability probabilities, with respect to the Bures (minimal monotone/statistical distinguishability) measure, of generic two-qubit and two-rebit states. This procedure, based on generalized properties of the golden ratio, yielded, in the course of almost seventeen billion iterations (recorded at intervals of five million), two-qubit estimates repeatedly close to nine decimal places to $\frac{25}{341} =\frac{5^2}{11 \cdot 31} \approx 0.073313783$. Howeer, despite the use of over twenty-three billion it…
We introduce a weak form of the realignment separability criterion which is particularly suited to detect continuous-variable entanglement and is physically implementable (it requires linear optics transformations and homodyne detection). Moreover, we define a family of states, called Schmidt-symmetric states, for which the weak realignment criterion reduces to the original formulation of the realignment criterion, making it even more valuable as it is easily computable especially in higher dimensions. Then, we focus in particular on Gaussian states and introduce a filtration procedure based o…
The nonnegativity of the determinant of the partial transpose of a two-qubit (4 x 4) density matrix is both a necessary and sufficient condition for its separability. While the determinant is restricted to the interval [0,1/256], the determinant of the partial transpose can range over [-1/16,1/256], with negative values corresponding to entangled states. We report here the exact values of the first nine moments of the probability distribution of the partial transpose over this interval, with respect to the Hilbert-Schmidt (metric volume element) measure on the nine-dimensional convex set of re…
Employing the volume of quantum steering ellipsoids (QSEs) as a measure on the fifteen-dimensional convex set of two-qubit states, we estimate the ratio of the integral of the measure over the separable states to its integral over all (separable and entangled) states to be 0.0288. This can be contrasted with the considerably larger separability ratios (probabilities) of $\frac{8}{33} = \frac{2^3}{3 \cdot 11} \approx 0.242424$ and $\frac{25}{341}=\frac{5^2}{11 \cdot 31} \approx 0.0733138$ that various forms of evidence point to with the use of the prominent Hilbert-Schmidt and Bures measures, r…
Employing Hilbert-Schmidt measure, we explicitly compute and analyze a number of determinantal product (bivariate) moments |rho|^k |rho^{PT}|^n, k,n=0,1,2,3,..., PT denoting partial transpose, for both generic (9-dimensional) two-rebit (alpha = 1/2) and generic (15-dimensional) two-qubit (alpha=1) density matrices rho. The results are, then, incorporated by Dunkl into a general formula (Appendix D6), parameterized by k, n and alpha, with the case alpha=2, presumptively corresponding to generic (27-dimensional) quaternionic systems. Holding the Dyson-index-like parameter alpha fixed, the induce…
Explicit separable density matrices, for mixed two qubits states, are derived by the use of Hilbert Schmidt decompositions and Peres Horodecki criterion. A strongly separable two qubits mixed state is defined by multiplications of two density matrices given with pure states while weakly separable two qubits state is defined by multiplications of two density matrices which includes non-pure states. We find the sufficient and necessary condition for separability of two-qubits density matrices and show that under this condition the two-qubit density matrices are strongly separable.
Explicit separability of general two qubits density matrices is related to Lorentz transformations. We use the 4-dimensional form R(u,v=0,1,2,3) of the Hilbert-Schmidt (HS) decomposition of the density matrix. For the generic case in which Lorentz transformations diagonalize R(u,v=0,1,2,3) (into s(0),s(1),s(2),s(3)) we give relations between the R parameters and the s parameters. In particular we consider two cases: a) Two qubits density matrices with one pair of linear terms in the HS decomposition. b) Two qubits density matrices with two or three symmetric pairs of linear terms. Some of the …
The generic real (b=1) and complex (b=2) two-qubit states are 9-dimensional and 15-dimensional in nature, respectively. The total volumes of the spaces they occupy with respect to the Hilbert-Schmidt and Bures metrics are obtainable as special cases of formulas of Zyczkowski and Sommers. We claim that if one could determine certain metric-independent 3-dimensional "eigenvalue-parameterized separability functions" (EPSFs), then these formulas could be readily modified so as to yield the Hilbert-Schmidt and Bures volumes occupied by only the separable two-qubit states (and hence associated separ…
An important variable in the 2017 analysis of Lovas and Andai, formally establishing the Hilbert-Schmidt separability probability conjectured by Slater of $\frac{29}{64}$ for the 9-dimensional convex set of two-rebit density matrices, was the ratio ($\varepsilon =\frac{σ_2}{σ_1}$) of the two singular values ($σ_1 \geq σ_2 \geq 0$) of $D_2^{\frac{1}{2}} D_1^{-\frac{1}{2}}$. There, $D_1$ and $D_2$ were the diagonal $2 \times 2$ blocks of a $4 \times 4$ two-rebit density matrix $ρ$. Working within the Lovas-Andai "separability function" ($\tildeχ_d(\varepsilon)$) framework, Slater was able to ver…
Substantial progress has recently been reported in the determination of the Hilbert-Schmidt (HS) separability probabilities for two-qubit and qubit-qutrit (real, complex and quaternionic) systems. An important theoretical concept employed has been that of a separability function. It appears that if one could analogously obtain separability functions parameterized by the eigenvalues of the density matrices in question--rather than the diagonal entries, as originally used--comparable progress could be achieved in obtaining separability probabilities based on the broad, interesting class of monot…
Due to recent important work of Zyczkowski and Sommers (quant-ph/0302197 and quant-ph/0304041), exact formulas are available (both in terms of the Hilbert-Schmidt and Bures metrics) for the (n^2-1)-dimensional and (n(n-1)/2-1)-dimensional volumes of the complex and real n x n density matrices. However, no comparable formulas are available for the volumes (and, hence, probabilities) of various separable subsets of them. We seek to clarify this situation for the Hilbert-Schmidt metric for the simplest possible case of n=4, that is, the two-qubit systems. Making use of the density matrix (rho) pa…
We study, further, a conjectured formula for generalized two-qubit Hilbert-Schmidt separability probabilities that has recently been proven by Lovas and Andai (https://arxiv.org/pdf/1610.01410.pdf) for its real (two-rebit) asserted value ($\frac{29}{64}$), and that has also been very strongly supported numerically for its complex ($\frac{8}{33}$), and quaternionic ($\frac{26}{323}$) counterparts. Now, we seek to test the presumptive octonionic value of $\frac{44482}{4091349} \approx 0.0108722$. We are somewhat encouraged by certain numerical computations, indicating that this (51-dimensional) …
Milz and Strunz recently reported substantial evidence to further support the previously conjectured separability probability of $\frac{8}{33}$ for two-qubit systems ($ρ$) endowed with Hilbert-Schmidt measure. Additionally, they found that along the radius ($r$) of the Bloch ball representing either of the two single-qubit subsystems, this value appeared constant (but jumping to unity at the locus of the pure states, $r=1$). Further, they also observed (personal communication) such separability probability $r$-invariance, when using, more broadly, random induced measure ($K=3,4,5,\ldots$), wit…
A Hamiltonian-Level Certificate for Network-Free Distributed Quantum Simulation:Exact Tensor-Separability Criterion and Approximate Residual Bounds
College of Mathematics, Taiyuan University of Technology（太原理工大学数学学院）；Pawsey Supercomputing Research Centre（Pawsey超级计算研究中心）；School of Physics, Mathematics and Computing, The University of Western Australia（西澳大学物理、数学与计算学院）
We conduct a pair of quasirandom estimations of the separability probabilities with respect to ten measures on the 15-dimensional convex set of two-qubit states, using its Euler-angle parameterization. The measures include the (non-monotone) Hilbert-Schmidt one, plus nine others based on operator monotone functions. Our results are supportive of previous assertions that the Hilbert-Schmidt and Bures (minimal monotone) separability probabilities are $\frac{8}{33} \approx 0.242424$ and $\frac{25}{341} \approx 0.0733138$, respectively, as well as suggestive of the Wigner-Yanase counterpart being …
We implement a procedure-based on the Wishart-Laguerre distribution-recently outlined by {Ż}yczkowski and Khvedelidze, Rogojin and Abgaryan, for the generation of random (complex or real) $N \times N$ density matrices of rank $k \leq N$ with respect to Hilbert-Schmidt (HS) measure. In the complex case, one commences with a Ginibre matrix $A$ of dimensions $k \times k+ 2 (N-k)$, while for a real scenario, one employs a Ginibre matrix $B$ of dimensions $k \times k+1+ 2 (N-k)$. Then, the $k \times k$ product $A A^{\dagger}$ or $B B^T$ is diagonalized-padded with zeros to size $N \times N$-and rot…
We begin by seeking the qubit-qutrit and rebit-retrit counterparts to the now well-established Hilbert-Schmidt separability probabilities for (the 15-dimensional convex set of) two-qubits of $\frac{8}{33} = \frac{2^3}{3 \cdot 11} \approx 0.242424$ and (the 9-dimensional) two-rebits of $\frac{29}{64} =\frac{29}{2^6} \approx 0.453125$. Based in part on extensive numerical computations, we advance the possibilities of a qubit-qutrit value of $\frac{27}{1000} = (\frac{3}{10})^3 =\frac{3^3}{2^3 \cdot 5^3} = 0.027$ and a rebit-retrit one of $\frac{860}{6561} =\frac{2^2 \cdot 5 \cdot 43}{3^8} \approx…
We first seek the rebit-retrit counterpart to the (formally proven by Lovas and Andai) two-rebit Hilbert-Schmidt separability probability of $\frac{29}{64} =\frac{29}{2^6} \approx 0.453125$ and the qubit-qutrit analogue of the (strongly supported) value of $\frac{8}{33} = \frac{2^3}{3 \cdot 11} \approx 0.242424$. We advance the possibilities of a rebit-retrit value of $\frac{860}{6561} =\frac{2^2 \cdot 5 \cdot 43}{3^8} \approx 0.131078$ and a qubit-qutrit one of $\frac{27}{1000} = (\frac{3}{10})^3 =\frac{3^3}{2^3 \cdot 5^3} = 0.027$. These four values for $2 \times m$ systems ($m=2,3$) suggest…
In this paper, the realignment criterion and the RCCN criterion of separability for states in infinite-dimensional bipartite quantum systems are established. Let $H_A$ and $H_B$ be complex Hilbert spaces with $\dim H_A\otimes H_B=+\infty$. Let $ρ$ be a state on $H_A\otimes H_B$ and $\{δ_k\}$ be the Schmidt coefficients of $ρ$ as a vector in the Hilbert space ${\mathcal C}_2(H_A)\otimes{\mathcal C}_2(H_B)$. We introduce the realignment operation $ρ^R$ and the computable cross norm $\|ρ\|_{\rm CCN}$ of $ρ$ and show that, if $ρ$ is separable, then $\|ρ^{R}\|_{\rm Tr}=\|ρ\|_{\rm CCN}=\sum\limits_k…
Explicitly separable density matrices are constructed for all separable two-qubits states based on Hilbert-Schmidt (HS) decompositions. For density matrices which include only two-qubits correlations the number of HS parameters is reduced to 3 by using local rotations, and for two-qubits states which include single qubit measurements, the number of parameters is reduced to 4 by local Lorentz transformations. For both cases we related the absolute values of the HS parameters to probabilities, and the outer products of various Pauli matrices were transformed to pure states density matrices produ…
The probability that a generic real, complex or quaternionic two-qubit state is separable can be considered to be the sum of three contributions. One is from those states that are absolutely separable, that is those (which can not be entangled by unitary transformations) for which the maximal concurrence over spectral orbits (C_{max}) is zero. The other two contributions are from the states for which C_{max} in [0,1/2], and for which C_{max} in [1/2,1]. We have previously (arXiv:0805.0267) found exact formulas for the absolutely separable contributions in terms of the Hilbert-Schmidt metric ov…
We detect a certain pattern of behavior of separability probabilities $p(r_A,r_B)$ for two-qubit systems endowed with Hilbert-Schmidt, and more generally, random induced measures, where $r_A$ and $r_B$ are the Bloch radii ($0 \leq r_A,r_B \leq 1$) of the qubit reduced states ($A,B$). We observe a relative repulsion of radii effect, that is $p(r_A,r_A) < p(r_A,1-r_A)$, except for rather narrow "crossover" intervals $[\tilde{r}_A,\frac{1}{2}]$. Among the seven specific cases we study are, firstly, the "toy" seven-dimensional $X$-states model and, then, the fifteen-dimensional two-qubit states ob…
We seek to develop a Bures (minimal monotone/statistical distinguishability) metric-based series of formulas for the moments of probability distributions over the determinants $|ρ|$ and $|ρ^{PT}|$ of $4 \times 4$ density matrices, $ρ$, for generalized (rebit, quater[nionic]bit,\ldots) two-qubit systems, analogous to a series that has been obtained for the Hilbert-Schmidt (HS) metric. In particular, we desire--using moment-inversion procedures--to be able to closely test the previously-developed conjecture (J. Geom. Phys., 53, 74 [2005]) that the Bures separability probability over the (standar…
We attempt to construct the exact univariate probability distributions for 2 x 2 quantum systems that yield the (balanced) univariate Hilbert-Schmidt determinantal moments <(|rho| |rho^{PT}|)^n>, obtained by Slater and Dunkl (J. Phys. A, 45, 095305 [2012]). To begin, we follow--to the extent possible--the Mellin transform-based approach of Penson and Zyczkowski in their study of Fuss-Catalan and Raney distributions (Phys. Rev. E, 83, 061118 [2011]). Further, we approximate the y-intercepts (separability/entanglement boundaries)--at which |rho^{PT}|=0-- of the associated probability distributio…
We list in increasing order -- 1/3, 3/8, 2/5, 135 pi/1024, 16/(3 pi^2), 3 pi/16, 5/8, 105 pi/512, 2 - 435 pi/1024, 11/16, 1 -- a number of exact two-qubit Hilbert-Schmidt (HS) separability probabilities, we are able to compute. Each probability corresponds to a specific scenario -- a class of 4 x 4 density matrices (rho) with an m-subset (m<6) of its six off-diagonal pairs of symmetrically located entries set to zero. Initially, we consider only scenarios in which the (6-m) non-nullified pairs are real, but then permit them to be complex (as well as quaternionic) in nature also. The general an…
We report substantial progress in the study of separability functions and their application to the computation of separability probabilities for the real, complex and quaternionic qubit-qubit and qubit-qutrit systems. We expand our recent work (arXiv:0704.3723), in which the Dyson indices of random matrix theory played an essential role, to include the use of not only the volume element of the Hilbert-Schmidt (HS) metric, but also that of the Bures (minimal monotone) metric as measures over these finite-dimensional quantum systems. Further, we now employ the Euler-angle parameterization of den…
We seek to gain insight into the nature of the determinantal moments of generic (9-dimensional) two-rebit and (15-dimensional) two-qubit systems (rho). Such information-as it has proved to be in the Hilbert-Schmidt counterpart--should be useful, employing probability-distribution reconstruction (inverse) procedures, in obtaining improved, or possibly even exact Bures 2 x 2 separability probabilities for such systems. The (regularizing) strategy we first adopt is to plot the ratio of numerically-generated (Ginibre ensemble) estimates of the Bures moments to the corresponding (apparently) exactl…
Previously, a formula, incorporating a $5F4$ hypergeometric function, for the Hilbert-Schmidt-averaged determinantal moments $\left\langle \left\vert ρ^{PT}\right\vert ^{n}\left\vert ρ\right\vert ^{k}\right\rangle /\left\langle \left\vert ρ\right\vert ^{k}\right\rangle$ of $4 \times 4$ density-matrices ($ρ$), and their partial transposes ($ρ^{PT}|$) was applied with $k=0$ to the generalized two-qubit separability-probability question. The formula can, further, be viewed we note here, as an averaging over "induced measures in the space of mixed quantum states". The associated induced-measure se…
Milz and Strunz ({\it J. Phys. A}: {\bf{48}} [2015] 035306) recently studied the probabilities that two-qubit and qubit-qutrit states, randomly generated with respect to Hilbert-Schmidt (Euclidean/flat) measure, are separable. They concluded that in both cases, the separability probabilities (apparently exactly $\frac{8}{33}$ in the two-qubit scenario) hold {\it constant} over the Bloch radii ($r$) of the single-qubit subsystems, jumping to 1 at the pure state boundaries ($r=1$). Here, firstly, we present evidence that in the qubit-qutrit case, the separability probability is uniformly distrib…
We report a concise answer--in the case of 2 x 2 systems--to the fundamental quantum-information-theoretic question as to "the volume of separable states" posed by Zyczkowski, Horodecki, Sanpera and Lewenstein (Phys. Rev. A, 58, 883 [1998]). We proceed by applying the Mathematica command FindSequenceFunction to a series of conjectured Hilbert-Schmidt generic 2 x 2 (rational-valued) separability probabilities p(a), a = 1, 2,...,32, with a = 1 indexing standard two-qubit systems, and a = 2, two-quater(nionic)bit systems. These 32 inputted values of p(a)--as well as 32 companion non-inputted valu…
We find equivalent hypergeometric- and difference-equation-based formulas, $Q(k,α)= G_1^k(α) G_2^k(α)$, for $k = -1, 0, 1,\ldots,9$, for that (rational-valued) portion of the total separability probability for generalized two-qubit states endowed with random induced measure, for which the determinantal inequality $|ρ^{PT}| >|ρ|$ holds. Here $ρ$ denotes a $4 \times 4$ density matrix and $ρ^{PT}$, its partial transpose, while $α$ is a Dyson-index-like parameter with $α= 1$ for the standard (15-dimensional) convex set of two-qubit states. The dimension of the space in which these density matrices…
We report formulas for the joint moments of the determinantal products (det{rho})^k (det{rho^PT})^K (k=0, 1, 2,...,N; K = 0, 1, 2, 3, 4) of Hilbert-Schmidt (HS) probability distributions over the two-rebit and (K = 0, 1) two-qubit density matrices rho. Here PT denotes the partial transposition operation of quantum-information-theoretic importance. Each formula is the product of the expression for the moments of (det{rho})^k, k=0,1,2,...,N--already known from work of Cappellini, Sommers and Zyczkowski (Phys. Rev. A 74, 062322 (1996))--and an adjustment factor. The factor is a biproper rational …
We investigate the possibility of deriving analytical formulas for the 15-dimensional separable volumes, in terms of any of a number of metrics of interest (Hilbert-Schmidt [HS], Bures,...), of the two-qubit (four-level) systems. This would appear to require 15-fold symbolic integrations over a complicated convex body (defined by both separability and feasibility constraints). The associated 15-dimensional integrands -- in terms of the Tilma-Byrd-Sudarshan Euler-angle-based parameterization of the 4 x 4 density matrices ρ(math-ph/0202002) -- would be the products of 12-dimensional Haar measure…
To begin, we find certain formulas $Q(k,α)= G_1^k(α) G_2^k(α)$, for $k = -1, 0, 1,...,9$. These yield that part of the total separability probability, $P(k,α)$, for generalized (real, complex, quaternionic,\ldots) two-qubit states endowed with random induced measure, for which the determinantal inequality $|ρ^{PT}| >|ρ|$ holds. Here $ρ$ denotes a $4 \times 4$ density matrix, obtained by tracing over the pure states in $4 \times (4 +k)$-dimensions, and $ρ^{PT}$, its partial transpose. Further, $α$ is a Dyson-index-like parameter with $α= 1$ for the standard (15-dimensional) convex set of (compl…
