We study the interrelationships between the Fisher information metric recently introduced, on the basis of maximum entropy considerations, by Brody and Hughston (quant-ph/9906085) and the monotone metrics, as explicated by Petz and Sudar. This new metric turns out to be not strictly monotone in nature, and to yield (via its normalized volume element) a prior probability distribution over the Bloch ball of two-level quantum systems that is less noninformative than those obtained from any of the monotone metrics, even the minimal monotone (Bures) metric. We best approximate the additional information contained in the Brody-Hughston prior over that contained in the Bures prior by constructing a certain Bures posterior probability distribution. This is proportional to the product of the Bures prior and a likelihood function based on four pairs of spin measurements oriented along the diagonal axes of an inscribed cube.
We study the interrelationships between the Fisher information metric recently introduced, on the basis of maximum entropy considerations, by Brody and Hughston (quant-ph/9906085) and the monotone metrics, as explicated by Petz and Sudar. This new metric turns out to be not strictly monotone in nature, and to yield (via its normalized volume element) a prior probability distribution over the Bloch ball of two-level quantum systems that is less noninformative than those obtained from any of the monotone metrics, even the minimal monotone (Bures) metric. We best approximate the additional information contained in the Brody-Hughston prior over that contained in the Bures prior by constructing a certain Bures posterior probability distribution. This is proportional to the product of the Bures prior and a likelihood function based on four pairs of spin measurements oriented along the diagonal axes of an inscribed cube.
The two principal/immediate influences—which we seek to interrelate here—upon the undertaking of this study are papers of Życzkowski and Słomczyński [J. Phys. A 34, 6689 (2001)] and of Petz and Sudár [J. Math. Phys. 37, 2262 (1996)]. In the former work, a metric (the Monge one, specifically) over generalized Husimi distributions was employed to define a distance between two arbitrary density matrices. In the Petz-Sudár work (completing a program of Chentsov), the quantum analog of the (classically unique) Fisher information (monotone) metric of a probability simplex was extended to define an uncountable infinitude of Riemannian (also monotone) metrics on the set of positive definite density matrices. We pose here the questions of what is the specific/unique Fisher information metric for the (classically defined) Husimi distributions and how does it relate to the infinitude of (quantum) metrics over the density matrices of Petz and Sudár? We find a highly proximate (small relative entropy) relationship between the probability distribution (the quantum Jeffreys’ prior) that yields quantum universal data compression, and that which (following Clarke and Barron) gives its classical counterpart. We also investigate the Fisher information metrics corresponding to the escort Husimi, positive-P and certain Gaussian probability distributions, as well as, in some sense, the discrete Wigner pseudoprobability. The comparative noninformativity of prior probability distributions—recently studied by Srednicki [Phys. Rev. A 71, 052107 (2005)]—formed by normalizing the volume elements of the various information metrics, is also discussed in our context.
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.
Brody and Hughston and, independently, Slater have recently developed quantum-theoretic alternatives, based on certain Riemannian geometries, to the conventional (semiclassical/Jaynesian) density matrix approach to the canonical ensemble. In both of these studies, attention was focused on the example of a single spin-1/2 particle. In this communication, the particular line of argument previously employed by Slater (relying upon the minimal monotone or Bures metric, rather than the Fubini-Study metric utilized by Brody and Hughston) is extended to several forms of partial entanglement of two or more spin-1/2 particles. Parallel analyses are, then, conducted based on the maximal monotone metric, which for a single spin-1/2 particle yields the Langevin function. This function, to which Brody and Hughston were led in further work of theirs, accords, in contrast to the Brillouin function, with certain probabilistic requirements espoused by Lavenda.
Braunstein and Caves have recently demonstrated that the Bures metric on the mixed quantum states is equivalent - up to a proportionality factor of four - to the statistical distinguishability or quantum Fisher information metric. The volume element of these metrics can then - adapting a fundamental Bayesian principle of Jeffreys to the quantum context - serve as a reparametrization-invariant prior measure over the quantum states. The implications of this line of reasoning for the two-level systems, in general, and an embedding of them into a certain set of three-level systems are investigated.
Among the monotone metrics on the (n^{2} - 1)-dimensional convex set of n x n density matrices, as Petz and Sudar have recently elaborated, there are a minimal (Bures) and a maximal one. We examine the proposition that it is physically meaningful to treat the volume elements of these metrics as densities-of-states for thermodynamic purposes. In the n = 2 (spin-1/2) case, use of the maximal monotone metric, in fact, does lead to the adoption of the Langevin (and not the Brillouin) functions, thus, completely conforming with a recent probabilistic argument of Lavenda. Brody and Hughston also arrived at the Langevin function in an analysis based on the Fubini-Study metric. It is a matter of some interest, however, that in the first (subsequently modified) version of their paper, they had reported a different result, one fully consistent with the alternative use of the minimal monotone metric. In this part I of our investigation, we first study scenarios involving partially entangled spin-1/2 particles (n = 4, 6,...) and then a certain three-level extension of the two-level systems. In part II, we examine, in full generality, and with some limited analytical success, the cases n = 3 and 4.
Clarke and Barron have recently established that the (classical) Jeffreys' prior yields universal codes - ones which do relatively well (in the sense of relative entropy) no matter what the true state. Twamley has recently computed the Bures metric - proportional to the quantum Fisher information (statistical distinguishability) metric, as shown by Braunstein and Caves - for squeezed thermal states. The volume elements of these metrics - that is, the quantum Jeffreys' prior - are found to be simply the product of a function of the squeeze factor and a function of the inverse temperature, the phase being irrelevant in this regard. A computational strategy to find a universal coding using the quantum Jeffreys' prior - previously implemented for the two-level quantum systems - is then discussed.