Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:quant-ph/0507203 · Journal of Physics A Mathematical and General

Hilbert–Schmidt separability probabilities and noninformativity of priors

Paul B. Slater

Published Jan 11, 2006• 13 citations
arXivHTMLPDF

Abstract

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.

DOI
10.1088/0305-4470/39/4/012

Related papers

Noninformative Quantum q-Priors

Paul B. Slater

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 metrics are the Bures (minimal monotone) metric over the two-level quantum systems and the Fisher information metric over the corresponding family of Husimi distributions. The priors p_{B} and p_{F} are the (independent-of-q) normalized volume elements of these metrics, and p_{F_{q=1}} is the normalized volume element of the q-extended Fisher information metric, with q set to 1. While originally intended to similarly be the q-extension of the Bures metric, with q then set to 1, the prior p_{B_{q=1}trunc}, actually entails the truncation of the only off-diagonal entry of the extended Bures metric tensor. Without this truncation, the q-extended Bures volume element is null, as is also the case in two other quantum scenarios we examine.

arXiv:quant-ph/0507014•Jul 1, 2005•0 citations

Ratios of maximal concurrence-parameterized separability functions, and generalized Peres–Horodecki conditions

Paul B. Slater

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 , and for which . We have previously (arXiv:0805.0267) found exact formulas for the absolutely separable contributions in terms of the Hilbert–Schmidt metric over the quantum states, and here advance hypotheses as to the exact contributions for . A crucial element in understanding the two contributions for C max > 0 is the nature of the ratio ( R ) of the C max -parameterized separability function for the complex states to the square of the comparable function for the real states–both such functions having clearly displayed jump discontinuities at . For , the ratio R appears to be of the form 1 + kC max , except near , while for , there is strong numerical evidence that it equals 2 (thus, according to the Dyson-index pattern of random matrix theory). Related phenomena also occur for the minimally degenerate two-qubit states and the qubit–qutrit states. Our results have immediate application to the computation of separability probabilities in terms of other metrics, such as the Bures (minimal monotone) metric. The paper begins with continuous embeddings of the separability probability question in terms of four metrics of interest, using 'generalized Peres–Horodecki conditions'.

arXiv:0905.0161•Journal of Physics A Mathematical and Theoretical•Oct 22, 2009•5 citations

A concise formula for generalized two-qubit Hilbert–Schmidt separability probabilities

Paul B. Slater

We report major advances in the research program initiated in 'Moment-based evidence for simple rational-valued Hilbert–Schmidt generic 2 × 2 separability probabilities' (Slater and Dunkl 2012 J. Phys. A: Math. Theor. 45 095305). A highly succinct separability probability function P (α) is put forth, yielding for generic (nine-dimensional) two-rebit systems, , (15-dimensional) two-qubit systems, and (27-dimensional) two-quater(nionic)bit systems, . This particular form of P (α) was obtained by Qing-Hu Hou by applying Zeilberger's algorithm ('creative telescoping') to a fully equivalent—but considerably more complicated—expression containing six 7 F 6 hypergeometric functions (all with argument ). That hypergeometric form itself had been obtained using systematic, high-accuracy probability-distribution-reconstruction computations. These employed 7501 determinantal moments of partially transposed 4 × 4 density matrices, parameterized by . From these computations, exact rational-valued separability probabilities were discernible. The (integral/half-integral) sequences of 32 rational values then served as input to the Mathematica FindSequenceFunction command, from which the initially obtained hypergeometric form of P (α) emerged.

arXiv:1301.6617•Journal of Physics A Mathematical and Theoretical•Oct 22, 2013•21 citations

Two-Qubit Hilbert-Schmidt Separability Functions and Probabilities for Full-Dimensional Even-Dyson-Index Scenarios

Paul B. Slater

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 convex set of two-qubit complex (beta=2) systems, as well as the fourth power of the separability function for the 9-dimensional convex set of two-qubit real (beta=1) systems. In particular, we conclude that S_{quat}(mu) =(6/71)^2 ((3-mu^2) mu)^4 =(S_{complex}(mu))^2. Here, mu =(rho_{11} rho_{44}/(rho_{22} rho_{33})^(1/2), where rho is a 4 x 4 two-qubit density matrix. We can, thus, supplement (and fortify) our previous assertion that the HS separability probability of the two-qubit complex states is 8/33= 0.242424, by claiming that its quaternionic counterpart is 72442944/936239725 = 0.0773765. We also comment on and analyze the odd beta=1 and 3 cases.

arXiv:0710.3549•Oct 18, 2007•0 citations

Hilbert-Schmidt Geometry of n-Level Jakobczyk-Siennicki Two-Dimensional Quantum Systems

Paul B. Slater

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 fruitfully used in our n=4 three-parameter entropy-maximization-based study quant-ph/0507203 -- we obtain a wide-ranging variety of exact HS-probabilities. For n>6, the probabilities are those of having a partial positive transpose (PPT). For the n=6 case, we also obtain biseparability probabilities; in the n=8,9 instances, bi-PPT probabilities; and for n=8, tri-PPT probabilities. By far, the most frequently recorded probability for n>4 is π/4 = 0.785398. We also conduct a number of related analyses, pertaining to the (one-dimensional) boundaries (both exterior and interior) of the separability and PPT domains, and attempt (with limited success) some exact calculations pertaining to the 9-dimensional (real) and 15-dimensional (complex) convex sets of two-qubit density matrices -- for which HS-separability probabilities have been conjectured, but not verified.

arXiv:quant-ph/0508227•Aug 30, 2005•0 citations

Qubit-qutrit separability-probability ratios

Paul B. Slater

Paralleling our recent computationally intensive (quasi-Monte Carlo) work for the case $N=4$ (e-print quant-ph/0308037), we undertake the task for $N=6$ of computing to high numerical accuracy, the formulas of Sommers and \ifmmode \dot{Z}\else \.{Z}\fi{}yczkowski (e-print quant-ph/0304041) for the $({N}^{2}\ensuremath{-}1)$-dimensional volume and $({N}^{2}\ensuremath{-}2)$-dimensional hyperarea of the (separable and nonseparable) $N\ifmmode\times\else\texttimes\fi{}N$ density matrices, based on the Bures (minimal monotone) metric---and also their analogous formulas (e-print quant-ph/0302197) for the (nonmonotone) flat Hilbert-Schmidt metric. With the same seven ${10}^{9}$ well-distributed (``low-discrepancy'') sample points, we estimate the unknown volumes and hyperareas based on five additional (monotone) metrics of interest, including the Kubo-Mori and Wigner-Yanase. Further, we estimate all of these seven volume and seven hyperarea (unknown) quantities when restricted to the separable density matrices. The ratios of separable volumes (hyperareas) to separable plus nonseparable volumes (hyperareas) yield estimates of the separability probabilities of generically rank-6 (rank-5) density matrices. The (rank-6) separability probabilities obtained based on the 35-dimensional volumes appear to be---independently of the metric (each of the seven inducing Haar measure) employed---twice as large as those (rank-5 ones) based on the 34-dimensional hyperareas. (An additional estimate---33.9982---of the ratio of the rank-6 Hilbert-Schmidt separability probability to the rank-4 one is quite clearly close to integral too.) The doubling relationship also appears to hold for the $N=4$ case for the Hilbert-Schmidt metric, but not the others. We fit simple exact formulas to our estimates of the Hilbert-Schmidt separable volumes and hyperareas in both the $N=4$ and $N=6$ cases.

arXiv:quant-ph/0410238•Physical Review A•May 16, 2005•29 citations
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.
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 metrics are the Bures (minimal monotone) metric over the two-level quantum systems and the Fisher information metric over the corresponding family of Husimi distributions. The priors p_{B} and p_{F} are the (independent-of-q) normalized volume elements of these metrics, and p_{F_{q=1}} is the normalized volume element of the q-extended Fisher information metric, with q set to 1. While originally intended to similarly be the q-extension of the Bures metric, with q then set to 1, the prior p_{B_{q=1}trunc}, actually entails the truncation of the only off-diagonal entry of the extended Bures metric tensor. Without this truncation, the q-extended Bures volume element is null, as is also the case in two other quantum scenarios we examine.
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 , and for which . We have previously (arXiv:0805.0267) found exact formulas for the absolutely separable contributions in terms of the Hilbert–Schmidt metric over the quantum states, and here advance hypotheses as to the exact contributions for . A crucial element in understanding the two contributions for C max > 0 is the nature of the ratio ( R ) of the C max -parameterized separability function for the complex states to the square of the comparable function for the real states–both such functions having clearly displayed jump discontinuities at . For , the ratio R appears to be of the form 1 + kC max , except near , while for , there is strong numerical evidence that it equals 2 (thus, according to the Dyson-index pattern of random matrix theory). Related phenomena also occur for the minimally degenerate two-qubit states and the qubit–qutrit states. Our results have immediate application to the computation of separability probabilities in terms of other metrics, such as the Bures (minimal monotone) metric. The paper begins with continuous embeddings of the separability probability question in terms of four metrics of interest, using 'generalized Peres–Horodecki conditions'.
We report major advances in the research program initiated in 'Moment-based evidence for simple rational-valued Hilbert–Schmidt generic 2 × 2 separability probabilities' (Slater and Dunkl 2012 J. Phys. A: Math. Theor. 45 095305). A highly succinct separability probability function P (α) is put forth, yielding for generic (nine-dimensional) two-rebit systems, , (15-dimensional) two-qubit systems, and (27-dimensional) two-quater(nionic)bit systems, . This particular form of P (α) was obtained by Qing-Hu Hou by applying Zeilberger's algorithm ('creative telescoping') to a fully equivalent—but considerably more complicated—expression containing six 7 F 6 hypergeometric functions (all with argument ). That hypergeometric form itself had been obtained using systematic, high-accuracy probability-distribution-reconstruction computations. These employed 7501 determinantal moments of partially transposed 4 × 4 density matrices, parameterized by . From these computations, exact rational-valued separability probabilities were discernible. The (integral/half-integral) sequences of 32 rational values then served as input to the Mathematica FindSequenceFunction command, from which the initially obtained hypergeometric form of P (α) emerged.
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 convex set of two-qubit complex (beta=2) systems, as well as the fourth power of the separability function for the 9-dimensional convex set of two-qubit real (beta=1) systems. In particular, we conclude that S_{quat}(mu) =(6/71)^2 ((3-mu^2) mu)^4 =(S_{complex}(mu))^2. Here, mu =(rho_{11} rho_{44}/(rho_{22} rho_{33})^(1/2), where rho is a 4 x 4 two-qubit density matrix. We can, thus, supplement (and fortify) our previous assertion that the HS separability probability of the two-qubit complex states is 8/33= 0.242424, by claiming that its quaternionic counterpart is 72442944/936239725 = 0.0773765. We also comment on and analyze the odd beta=1 and 3 cases.
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 fruitfully used in our n=4 three-parameter entropy-maximization-based study quant-ph/0507203 -- we obtain a wide-ranging variety of exact HS-probabilities. For n>6, the probabilities are those of having a partial positive transpose (PPT). For the n=6 case, we also obtain biseparability probabilities; in the n=8,9 instances, bi-PPT probabilities; and for n=8, tri-PPT probabilities. By far, the most frequently recorded probability for n>4 is π/4 = 0.785398. We also conduct a number of related analyses, pertaining to the (one-dimensional) boundaries (both exterior and interior) of the separability and PPT domains, and attempt (with limited success) some exact calculations pertaining to the 9-dimensional (real) and 15-dimensional (complex) convex sets of two-qubit density matrices -- for which HS-separability probabilities have been conjectured, but not verified.
Paralleling our recent computationally intensive (quasi-Monte Carlo) work for the case N=4N=4N=4 (e-print quant-ph/0308037), we undertake the task for N=6N=6N=6 of computing to high numerical accuracy, the formulas of Sommers and \ifmmode \dot{Z}\else \.{Z}\fi{}yczkowski (e-print quant-ph/0304041) for the $({N}^{2}\ensuremath{-}1)$-dimensional volume and $({N}^{2}\ensuremath{-}2)$-dimensional hyperarea of the (separable and nonseparable) $N\ifmmode\times\else\texttimes\fi{}N$ density matrices, based on the Bures (minimal monotone) metric---and also their analogous formulas (e-print quant-ph/0302197) for the (nonmonotone) flat Hilbert-Schmidt metric. With the same seven 109{10}^{9}109 well-distributed (``low-discrepancy'') sample points, we estimate the unknown volumes and hyperareas based on five additional (monotone) metrics of interest, including the Kubo-Mori and Wigner-Yanase. Further, we estimate all of these seven volume and seven hyperarea (unknown) quantities when restricted to the separable density matrices. The ratios of separable volumes (hyperareas) to separable plus nonseparable volumes (hyperareas) yield estimates of the separability probabilities of generically rank-6 (rank-5) density matrices. The (rank-6) separability probabilities obtained based on the 35-dimensional volumes appear to be---independently of the metric (each of the seven inducing Haar measure) employed---twice as large as those (rank-5 ones) based on the 34-dimensional hyperareas. (An additional estimate---33.9982---of the ratio of the rank-6 Hilbert-Schmidt separability probability to the rank-4 one is quite clearly close to integral too.) The doubling relationship also appears to hold for the N=4N=4N=4 case for the Hilbert-Schmidt metric, but not the others. We fit simple exact formulas to our estimates of the Hilbert-Schmidt separable volumes and hyperareas in both the N=4N=4N=4 and N=6N=6N=6 cases.