We introduce a concept of a minimal sufficient positive-operator valued measure (POVM), which is the least redundant POVM among the POVMs that have the equivalent information about the measured quantum system. Assuming the system Hilbert space to be separable, we show that for a given POVM a sufficient statistic called a Lehmann-Scheffé-Bahadur statistic induces a minimal sufficient POVM. We also show that every POVM has an equivalent minimal sufficient POVM and that such a minimal sufficient POVM is unique up to relabeling neglecting null sets. We apply these results to discrete POVMs and information conservation conditions proposed by the author.

No abstract

A pair of quantum channels are said to be incompatible if they cannot be realized as marginals of a single channel. This paper addresses the general structure of the incompatibility of completely positive channels with a fixed quantum input space and with general outcome operator algebras. We define a compatibility relation for such channels by identifying the composite outcome space as the maximal (projective) C * -tensor product of outcome algebras. We show theorems that characterize this compatibility relation in terms of the concatenation and conjugation of channels, generalizing the recent result for channels with quantum outcome spaces. These results are applied to the positive operator valued measures (POVMs) by identifying each of them with the corresponding quantum-classical (QC) channel. We also give a characterization of the maximality of a POVM with respect to the post-processing preorder in terms of the conjugate channel of the QC channel. We consider another definition of compatibility of normal channels by identifying the composite outcome space with the normal tensor product of the outcome von Neumann algebras. We prove that for a given normal channel the class of normally compatible channels is upper bounded by a special class of channels called tensor conjugate channels.We show the inequivalence of the C * -and normal compatibility relations for QC channels, which originates from the possibility and impossibility of copying operations for commutative von Neumann algebras in C * -and normal compatibility relations, respectively.

A statistical experiment on a von Neumann algebra is a parametrized family of normal states on the algebra. This paper introduces the concept of minimal sufficiency for statistical experiments in such operator algebraic situations. We define equivalence relations of statistical experiments indexed by a common parameter set by completely positive or Schwarz coarse-graining and show that any statistical experiment is equivalent to a minimal sufficient statistical experiment unique up to normal isomorphism of outcome algebras. We also establish the relationship between the minimal sufficiency condition for statistical experiment in this paper and those for subalgebra. These concepts and results are applied to the concatenation relation for completely positive channels with general input and outcome von Neumann algebras.In the case of the quantum-classical channel corresponding to the positive-operator valued measure (POVM), we prove the equivalence of the minimal sufficient condition previously proposed by the author and that in this paper. We also give a characterization of the discreteness of a POVM up to postprocessing equivalence in terms of the corresponding quantum-classical channel.

We analyze a simultaneous continuous measurement of photon-counting and homodyne detection. The stochastic master equation or stochastic Schrödinger equation describing the measurement process includes both jump-type and diffusivetype stochastic increments. Analytic expressions of the wave function conditioned on homodyne and photon-counting records are obtained, yielding the probability density distributions and generating functions of the measurement records. Formula for the expectation values of the homodyne records conditioned on a photon-counting event is also derived which quantitatively describes the measurement backaction of photoncounting on the homodyne output. The obtained results are applied to typical initial states -coherent, number, thermal, and squeezed states. Monte Carlo simulations of the measurement processes are also presented to demonstrate the dynamics of the combined measurement process.