Title:Exact Bures Probabilities of Separability

Abstract: We reexamine the question of what constitutes the conditional Bures or "quantum Jeffreys" prior for a certain four-dimensional convex subset (P) of the eight-dimensional convex set (Q) of 3 x 3 density matrices (rho_{Q}). We find that two competing procedures yield related but not identical priors - the prior previously reported (J. Phys. A 29, L271 [1996]) being normalizable over P, the new prior here, not. Both methods rely upon the same formula of Dittmann for the Bures metric tensor g, but differ in the parameterized form of rho employed. In the earlier approach, the input is a member of P, that is rho_{P}, while here it is rho_{Q}, and only after this computation is the conditioning on P performed. Then, we investigate several one-dimensional subsets of the fifteen-dimensional set of 4 x 4 density matrices, to which we apply, in particular, the first methodology. Doing so, we determine exactly the conditional Bures probabilities of separability into product states of 2 x 2 density matrices. We find that for the two-qubit Werner states, this probability is 1/4, while it is vanishingly small for the two-qutrit Werner states.