We obtain two sided estimates for the Bures volume of an arbitrary subset of the set of $N\times N$ density matrices, in terms of the Hilbert-Schmidt volume of that subset. For general subsets, our results are essentially optimal (for large $N$). As applications, we derive in particular nontrivial lower and upper bounds for the Bures volume of sets of separable states and for sets of states with positive partial transpose.
PACS numbers: 02.40.Ft, 03.65.Db, 03.65.Ud, 03.67.Mn
Extensive numerical integration results lead us to conjecture that the silver mean, that is, s = \sqrt{2}-1 = .414214 plays a fundamental role in certain geometries (those given by monotone metrics) imposable on the 15-dimensional convex set of two-qubit systems. For example, we hypothesize that the volume of separable two-qubit states, as measured in terms of (four times) the minimal monotone or Bures metric is s/3, and 10s in terms of (four times) the Kubo-Mori monotone metric. Also, we conjecture, in terms of (four times) the Bures metric, that that part of the 14-dimensional boundary of se…
We compute the volume of the N^2-1 dimensional set M_N of density matrices of size N with respect to the Bures measure and show that it is equal to that of a N^2-1 dimensional hyper-halfsphere of radius 1/2. For N=2 we obtain the volume of the Uhlmann 3-D hemisphere, embedded in R^4. We find also the area of the boundary of the set M_N and obtain analogous results for the smaller set of all real density matrices. An explicit formula for the Bures-Hall normalization constants is derived for an arbitrary N.
We extend to arbitrarily coupled pairs of qubits (two-state quantum systems) and qutrits (three-state quantum systems) our earlier study (quant-ph/0207181), which was concerned with the simplest instance of entangled quantum systems, pairs of qubits. As in that analysis -- again on the basis of numerical (quasi-Monte Carlo) integration results, but now in a still higher-dimensional space (35-d vs. 15-d) -- we examine a conjecture that the Bures/SD (statistical distinguishability) probability that arbitrarily paired qubits and qutrits are separable (unentangled) has a simple exact value, u/(v P…
We evaluate a Gaussian entanglement measure for a symmetric two-mode Gaussian state of the quantum electromagnetic field in terms of its Bures distance to the set of all separable Gaussian states. The required minimization procedure was considerably simplified by using the remarkable properties of the Uhlmann fidelity as well as the standard form II of the covariance matrix of a symmetric state. Our result for the Gaussian degree of entanglement measured by the Bures distance depends only on the smallest symplectic eigenvalue of the covariance matrix of the partially transposed density operato…
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…
In a number of previous studies, we have investigated the use of the volume element of the Bures (minimal monotone) metric -- identically, one-fourth of the statistical distinguishability (SD) metric -- as a natural measure over the (n^2-1)-dimensional convex set of n x n density matrices. This has led us for the cases n = 4 and 6 to estimates of the prior (Bures/SD) probabilities that qubit-qubit and qubit-qutrit pairs are separable. Here, we extend this work from such bipartite systems to the tripartite "laboratory'' quantum systems possessing U x U x U symmetry recently constructed by Eggel…
We pursue a number of analytical directions, motivated to some extent initially by the possibility of developing a methodology for formally proving or disproving a certain conjecture of quantum-theoretical relevance (quant-ph/0308037). It asserts that the 15-dimensional volume occupied by the separable two-qubit density matrices is (\sqrt{2}-1)/3, as measured in terms of the statistical distinguishability metric (four times the Bures or minimal monotone metric). Somewhat disappointingly, however, the several various analyses that we report, though we hope of independent/autonomous interest, ap…
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 Bures distance between two displaced thermal states and the corresponding geometric quantities (statistical metric, volume element, scalar curvature) are computed. Under nonunitary (dissipative) dynamics, the statistical distance shows the same general features previously reported in the literature by Braunstein and Milburn for two--state systems. The scalar curvature turns out to have new interesting properties when compared to the curvature associated with squeezed thermal states.
For certain infinite and finite-dimensional thermal systems, we obtain --- incorporating quantum-theoretic considerations into Bayesian thermostatistical investigations of Lavenda --- high-temperature expansions of priors over inverse temperature beta induced by volume elements ("quantum Jeffreys' priors) of Bures metrics. Similarly to Lavenda's results based on volume elements (Jeffreys' priors) of (classical) Fisher information metrics, we find that in the limit beta -> 0, the quantum-theoretic priors either conform to Jeffreys' rule for variables over [0,infinity], by being proportional to …
We report the results of certain integrations of quantum-theoretic interest, relying, in this regard, upon recently developed parameterizations of Boya et al of the n x n density matrices, in terms of squared components of the unit (n-1)-sphere and the n x n unitary matrices. Firstly, we express the normalized volume elements of the Bures (minimal monotone) metric for n = 2 and 3, obtaining thereby "Bures prior probability distributions" over the two- and three-state systems. Then, as an essential first step in extending these results to n > 3, we determine that the "Hall normalization constan…
In a previous study (quant-ph/0207181), we formulated a conjecture that arbitrarily coupled qubits (describable by 4 x 4 density matrices) are separable with an a priori probability of 8/(11 π^2) = 0.0736881. For this purpose, we employed the normalized volume element of the Bures (minimal monotone) metric as a probability distribution over the fifteen-dimensional convex set of 4 x 4 density matrices. Here, we provide further/independent (quasi-Monte Carlo numerical integration) evidence of a stronger nature (giving an estimate of 0.0736858 vs. 0.0737012 previously) for this conjecture. Additi…
In previous studies, we have explored the ansatz that the volume elements of the Bures metrics over quantum systems might serve as prior distributions, in analogy to the (classical) Bayesian role of the volume elements ("Jeffreys' priors") of Fisher information metrics. Continuing this work, we obtain exact Bures probabilities that the members of certain low-dimensional subsets of the fifteen-dimensional convex set of 4 x 4 density matrices are separable or classically correlated. The main analytical tools employed are symbolic integration and a formula of Dittmann (quant-ph/9908044) for Bures…
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…
We find, in an analysis involving four prior probabilities (p's), that the information-theoretic-based comparative noninformativity test devised by Clarke, and applied by Slater in a quantum setting, yields a ranking (p_{F_{q=1}} > p_{B} > p_{B_{q=1}trunc} >p_{F}) fully consistent with Srednicki's recently-stated criterion for priors of ``biasedness to pure states''. Two of the priors are formed by extending certain metrics of quantum-theoretic interest from three- to four-dimensions -- by incorporating the q-parameter (nonextensivity/Tsallis index/escort parameter). The three-dimensional metr…
In a celebrated paper ([Phys. Rev. A 58, 883 (1998)]), K. Zyczkowski, P. Horodecki, A. Sanpera,and M. Lewenstein proved for the frst time a very interesting theorem that the volume of separable quantum states is nonzero. Inspired by their ideas, we obtain a general analytical lower bound of the volume of separable states (VOSS) for arbitrary N-dimensional system. Our results give quite simple and computable suffcient conditions for separability. Moreover, for bipartite system, an upper bound of the VOSS is also presented.
Paralleling our recent computationally-intensive 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. At the same time, we estimate the unknown volumes and hyperareas based on a number of other monotone metrics of interest. Additionally, we estimate -- but with perhaps unavoidably diminished accuracy -- al…
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…
In this note we give sharp estimates on the volume of the set of separable states on N qubits. In particular, the magnitude of the "effective radius" of that set in the sense of volume is determined up to a factor which is a (small) power of N, and thus precisely on the scale of powers of its dimension. Additionally, one of the appendices contains sharp estimates (by known methods) for the expected values of norms of the GUE random matrices. We employ standard tools of classical convexity, high-dimensional probability and geometry of Banach spaces.
A Gaussian degree of entanglement for a symmetric two-mode Gaussian state can be defined as its distance to the set of all separable two-mode Gaussian states. The principal property that enables us to evaluate both Bures distance and relative entropy between symmetric two-mode Gaussian states is the diagonalization of their covariance matrices under the same beam-splitter transformation. The multiplicativity property of the Uhlmann fidelity and the additivity of the relative entropy allow one to finally deal with a single-mode optimization problem in both cases. We find that only the Bures-dis…
The (complex) two-qubit systems comprise a 15-dimensional convex set and the real two-qubit systems, a 9-dimensional convex set. While formulas for the Hilbert-Schmidt volumes of these two sets are known -- owing to recent important work of Sommers and Zyczkowski (J. Phys. A {36}, 10115 [2003]) -- formulas have not been so far obtained for the volumes of the separable subsets. We reduce these two problems to the determination of certain functions of a single variable.
In a previous study (quant-ph/9911058), several remarkably simple exact results were found, in certain specialized m-dimensional scenarios (m<5), for the a priori probability that a pair of qubits is unentangled/separable. The measure used was the volume element of the Bures metric (identically one-fourth the statistical distinguishability [SD] metric). Here, making use of a newly-developed (Euler angle) parameterization of the 4 x 4 density matrices (math-ph/0202002), we extend the analysis to the complete 15-dimensional convex set (C) of arbitrarily paired qubits -- the total SD volume of wh…
This note deals with estimating the volume of the set of separable mixed quantum states when the dimension of the state space grows to infinity. This has been studied recently for qubits; here we consider larger particles and conclude that, in all cases, the proportion of the states that are separable is super-exponentially small in the dimension of the set. We also show that the partial transpose criterion becomes imprecise when the dimension increases, and that the lower bound $6^{-N/2}$ on the (Hilbert-Schmidt) inradius of the set of separable states on N qubits obtained recently by Gurvits…
This paper aims to study the $\a$-volume of $\cK$, an arbitrary subset of the set of $N\times N$ density matrices. The $\a$-volume is a generalization of the Hilbert-Schmidt volume and the volume induced by partial trace. We obtain two-side estimates for the $\a$-volume of $\cK$ in terms of its Hilbert-Schmidt volume. The analogous estimates between the Bures volume and the $\a$-volume are also established. We employ our results to obtain bounds for the $\a$-volume of the sets of separable quantum states and of states with positive partial transpose (PPT). Hence, our asymptotic results provide…
Every choice of an orthonormal frame in the d-dimensional Hilbert space of a system corresponds to one set of all mutually commuting density matrices or, equivalently, a classical statistical state space of the system; the quantum state space itself can thus be profitably viewed as an SU(d) orbit of classical state spaces, one for each orthonormal frame. We exploit this connection to study the relative volume of separable states of a bipartite quantum system. While the two-qubit case is studied in considerable analytic detail, for higher dimensional systems we fall back on Monte Carlo. Several…
We investigate the joint (separable) numerical range of multiple measurements, i.e., the regions of expectation values accessible with (separable) quantum states for given observables. This not only enables efficient entanglement detection, but also sheds light on the geometry of the set of quantum states. More precisely, in an experiment, if the confidence region for the obtained data and the separable numerical range are disjoint, entanglement is reliably detected. Generically, the success of such an experiment is more likely the smaller the separable numerical range is compared to the stand…
The problem of of how many entangled or, respectively, separable states there are in the set of all quantum states is investigated. We study to what extent the choice of a measure in the space of density matrices describing N--dimensional quantum systems affects the results obtained. We demonstrate that the link between the purity of the mixed states and the probability of entanglement is not sensitive to the measure chosen. Since the criterion of partial transposition is not sufficient to distinguish all separable states for N > 6, we develop an efficient algorithm to calculate numerically th…
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 natural measure in the space of density matrices describing N-dimensional quantum systems is proposed. We study the probability P that a quantum state chosen randomly with respect to the natural measure is not entangled (is separable). We find analytical lower and upper bounds for this quantity. Numerical calculations give P = 0.632 for N=4 and P=0.384 for N=6, and indicate that P decreases exponentially with N. Analysis of a conditional measure of separability under the condition of fixed purity shows a clear dualism between purity and separability: entanglement is typical for pure states, …
We use the linear programming algorithm introduced by Akulin et al. [V. M. Akulin, G. A. Kabatiansky, and A. Mandilara, Phys. Rev. A 92, 042322 (2015)] to perform best separable approximation on two-qutrit random density matrices. We combine the numerical results with theoretical methods in order to generate random representative families of positive partial transposed bound entangled (BE) states and analyze their properties. Our results are disclosing that for the two-qutrit system the BE states have negligible volume and that these form tiny `islands' sporadically distributed over the surfac…
Using the information geometry approach, we determine the volume of the set of two-qubit states with maximally disordered subsystems. Particular attention is devoted to the behavior of the volume of sub-manifolds of separable and entangled states with fixed purity. We show that the usage of the classical Fisher metric on phase space probability representation of quantum states gives the same qualitative results with respect to different versions of the quantum Fisher metric.
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…
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…
Zyczkowski, Horodecki, Sanpera, and Lewenstein (ZHSL) recently proposed a ``natural measure'' on the N-dimensional quantum systems (quant-ph/9804024), but expressed surprise when it led them to conclude that for N = 2 x 2, disentangled (separable) systems are more probable (0.632) in nature than entangled ones. We contend, however, that ZHSL's (rejected) intuition has, in fact, a sound theoretical basis, and that the a priori probability of disentangled 2 x 2 systems should more properly be viewed as (considerably) less than 0.5. We arrive at this conclusion in two quite distinct ways, the fir…
We analyse the metric properties of $\textit{conditioned}$ quantum state spaces $\mathcal{M}^{(n\times m)}_η$. These spaces are the convex sets of $nm \times nm$ density matrices that, when partially traced over $m$ degrees of freedom, respectively yield the given $n\times n$ density matrix $η$. For the case $n=2$, the volume of $\mathcal{M}^{(2\times m)}_η$ equipped with the Hilbert-Schmidt measure is a simple polynomial of the radius of $η$ in the Bloch-Ball. Remarkably, the probability $p_{\mathrm{sep}}^{(2\times m)}(η)$ to find a separable state in $\mathcal{M}^{(2\times m)}_η$ is independ…
The quantum steering ellipsoid of a two-qubit state is the set of Bloch vectors that Bob can collapse Alice's qubit to, considering all possible measurements on his qubit. We provide an elementary construction of the ellipsoid for arbitrary states, calculate its volume, and explain how this geometric representation can be made faithful. The representation provides a range of new results, and uncovers new features, such as the existence of "incomplete steering" in separable states. We show that entanglement can be analysed in terms of three geometric features of the ellipsoid, and prove that a …
We investigate the set a) of positive, trace preserving maps acting on density matrices of size N, and a sequence of its nested subsets: the sets of maps which are b) decomposable, c) completely positive, d) extended by identity impose positive partial transpose and e) are superpositive. Working with the Hilbert-Schmidt (Euclidean) measure we derive tight explicit two-sided bounds for the volumes of all five sets. A sample consequence is the fact that, as N increases, a generic positive map becomes not decomposable and, a fortiori, not completely positive. Due to the Jamiolkowski isomorphism, …
Duan, Giedke, Cirac and Zoller (quant-ph/9908056) and, independently, Simon (quant-ph/9909044) have recently found necessary and sufficient conditions for the separability (classical correlation) of the Gaussian two-party (continuous variable) states. Duan et al remark that their criterion is based on a "much stronger bound" on the total variance of a pair of Einstein-Podolsky-Rosen-type operators than is required simply by the uncertainty relation. Here, we seek to formalize and test this particular assertion in both classical and quantum-theoretic frameworks. We first attach to these states …
We study a variant of quantum circuit complexity, the binding complexity: Consider a $n$-qubit system divided into two sets of $k_1$, $k_2$ qubits each ($k_1\leq k_2$) and gates within each set are free; what is the least cost of two-qubit gates ''straddling'' the sets for preparing an arbitrary quantum state, assuming no ancilla qubits allowed? Firstly, our work suggests that, without making assumptions on the entanglement spectrum, $Θ(2^{k_1})$ straddling gates always suffice. We then prove any $\text{U}(2^n)$ unitary synthesis can be accomplished with $Θ(4^{k_1})$ straddling gates. Furtherm…
We show that long-distance quantum correlations probe short-distance physics. Two disjoint regions of the latticized, massless scalar field vacuum are numerically demonstrated to become separable at distances beyond the negativity sphere, which extends to infinity in the continuum limit. The size of this quantum coherent volume is determined by the highest momentum mode supported in the identical regions, each of diameter $d$. More generally, effective field theories (EFTs), describing a system up to a given momentum scale $Λ$, are expected to share this feature -- entanglement between regions…
