Abstract
We study the inverse problem of inferring the state of a finite-level quantum system from expected values of a fixed set of observables, by maximizing a continuous ranking function. We have proved earlier that the maximum-entropy inference can be a discontinuous map from the convex set of expected values to the convex set of states because the image contains states of reduced support, while this map restricts to a smooth parametrization of a Gibbsian family of fully supported states. Here we prove for arbitrary ranking functions that the inference is continuous up to boundary points. This follows from a continuity condition in terms of the openness of the restricted linear map from states to their expected values. The openness condition shows also that ranking functions with a discontinuous inference are typical. Moreover it shows that the inference is continuous in the restriction to any polytope which implies that a discontinuity belongs to the quantum domain of non-commutative observables and that a geodesic closure of a Gibbsian family equals the set of maximum-entropy states. We discuss eight descriptions of the set of maximum-entropy states with proofs of accuracy and an analysis of deviations.
Similar content being viewed by others
References
Alfsen E.M., Shultz F.W.: State Spaces of Operator Algebras: Basic Theory, Orientations and C*-Products. Birkhäuser, Boston (2001)
Ali S.A., Cafaro C., Giffin A., Lupo C., Mancini S.: On a differential geometric viewpoint of Jaynes’ MaxEnt method and its quantum extension. AIP Conf. Proc. 1443, 120–128 (2012)
Amari, S.: Differential-Geometrical Methods in Statistics. Lecture Notes in Statistics, vol. 28. Springer, Berlin (1985)
Amari S., Nagaoka, H.: Methods of Information Geometry. AMS Translations of Mathematical Monographs, vol. 191 (2000)
Ay N.: An information-geometric approach to a theory of pragmatic structuring. Ann. Probab. 30, 416–436 (2002)
Ayupov S.H., Rakhimov A., Usmanov S.H.: Jordan, Real and Lie Structures in Operator Algebras. Kluwer, Dordrecht (1997)
Barndorff-Nielsen O.: Information and Exponential Families in Statistical Theory. Wiley, New York (1978)
Berge C.: Topological Spaces. Dover Publications, Inc., New York (1997)
Bjelaković I., Deuschel J.-D., Krüger T., Seiler R., Siegmund-Schultze R., Szkoła A.: A quantum version of Sanov’s theorem. Commun. Math. Phys. 260, 659–671 (2005)
Boltzmann L.: Über die Beziehung zwischen dem zweiten Hauptsatze der mechanischen Wärmetheorie und der Wahrscheinlichkeitsrechnung respektive den Sätzen über das Wärmegleichgewicht. Wien. Ber. 76, 373–435 (1877)
Bratteli O., Robinson D.W.W.: Operator Algebras and Quantum Statistical Mechanics 2: Equilibrium States. Models in Quantum Statistical Mechanics. Springer, Berlin (1997)
Bužek V., Drobný G., Derka R., Adam G., Wiedemann H.: Quantum state reconstruction from incomplete data. Chaos Solitons Fractals 10, 981–1074 (1999)
Caticha, A.: Entropic Inference and the Foundations of Physics, Brazilian Chapter of the International Society for Bayesian Analysis-ISBrA, Sao Paulo, Brazil (2012)
Caticha A., Giffin A.: Updating probabilities. AIP Conf. Proc. 872, 31–42 (2006)
Čencov, N. N.: Statistical Decision Rules and Optimal Inference. AMS Translations of Mathematical Monographs, vol. 53 (1982); Original publication: Nauka (1972)
Chen J., Ji Z., Ruskai M.B., Zeng B.: Comment on some results of Erdahl and the convex structure of reduced density matrices. J. Math. Phys. 53, 072203 (2012)
Csiszár I.: On topological properties of f-divergences. Studia Sci. Math. Hungar. 2, 329–339 (1967)
Csiszár I.: I-Divergence geometry of probability distributions and minimization problems. Ann. Prob. 3, 146–158 (1975)
Csiszár I.: Why least squares and maximum entropy? An axiomatic approach to inference for linear inverse problems. Ann. Statist. 19, 2032–2066 (1991)
Csiszár I., Matúš F.: Information projections revisited. IEEE Trans. Inf. Theory 49, 1474–1490 (2003)
Davies E.B., Lewis J.T.: An operational approach to quantum probability. Commun. Math. Phys. 17, 239–260 (1970)
Dudley R.M.: Consistency of M-estimators and one-sided bracketing. Progr. Probab. Birkhäuser 43, 33–58 (1998)
Greenberger D., Hentschel K., Weinert F.: Compendium of Quantum Physics: Concepts, Experiments, History and Philosophy. Springer, Berlin (2009)
Groisman B., Popescu S., Winter A.: Quantum, classical, and total amount of correlations in a quantum state. Phys. Rev. A 72, 032317 (2005)
Harremoës, P.: Information topologies with applications. In: Entropy, Search, Complexity, vol. 16, pp. 113–150. Bolyai Society Mathematical Studies (2007)
Hasegawa H.: Exponential and mixture families in quantum statistics: dual structure and unbiased parameter estimation. Rep. Math. Phys. 39, 49–68 (1997)
Henrion D.: Semidefinite representation of convex hulls of rational varieties. Acta Appl. Math. 115, 319–327 (2011)
Holevo, A.S.: Statistical Problems in Quantum Physics. Lecture Notes in Mathematics, vol. 330, pp. 104–119. Springer, Berlin (1973)
Ingarden R.S., Kossakowski A., Ohya M.: Information Dynamics and Open Systems. Kluwer, Dordrecht (1997)
Jaynes E.T.: Information theory and statistical mechanics. Phys. Rev. 106, 620–630 (1957)
Jenčová, A.: Geometry of quantum states: Dual connections and divergence functions. Rep. Math. Phys. 47, 121–138 (2001)
Karbelkar S.N.: On the axiomatic approach to the maximum entropy principle of inference. Pramāna J. Phys. 26, 301–310 (1986)
Leung D., Smith G.: Continuity of quantum channel capacities. Commun. Math. Phys. 292, 201–215 (2009)
Li B.: Real Operator Algebras. World Scientific, Singapore (2003)
Lima Å.: On continuous convex functions and split faces. Proc. Lond. Math. Soc. 25, 27–40 (1972)
Modi K., Paterek T., Son W., Vedral V., Williamson M.: Unified view of quantum and classical correlations. Phys. Rev. Lett. 104, 080501 (2010)
Nagaoka, H.: Differential geometrical aspects of quantum state estimation and relative entropy. In: Hirota, et al. (eds.) Quantum Communications and Measurement, pp. 449–452. Plenum Press, New York (1995)
Netzer T., Plaumann D., Schweighofer M.: Exposed faces of semidefinitely representable sets. Siam J. Optim. 20, 1944–1955 (2010)
Nielsen M.A., Chuang I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)
Papadopoulou S.: On the geometry of stable compact convex sets. Math. Ann. 229, 193–200 (1977)
Petz D.: Geometry of canonical correlation on the state space of a quantum system. J. Math. Phys. 35, 780–795 (1994)
Petz, D.: Quantum Information Theory and Quantum Statistics, Theoretical and Mathematical Physics. Springer, Berlin (2008)
Protasov V.Y., Shirokov M.E.: Generalized compactness in linear spaces and its applications. Sbornik Math. 200, 697–722 (2009)
Rockafellar R.T.: Convex Analysis. Princeton University Press, Princeton (1972)
Ruskai M.B.: Extermal properties of relative entropy in quantum statistical mechanics. Rep. Math. Phys. 26, 143–150 (1988)
Schrödinger E.: Die gegenwärtige situation in der Quantenmechanik. Die Naturwissenschaften 23, 807–849 (1935)
Schweighofer, M., Sturmfels, B., Thomas, R.: Convex algebraic geometry. Banff Workshop Report (2010)
Shannon, C.E.: A mathematical theory of communication. Bell. Syst. Tech. J. 27, 379–423 and 623–656 (1948)
Shirokov, M.E.: Entropy characteristics of subsets of states. I. Izvestiya Math. 70, 1265–1292 (2006)
Shirokov M.E.: The Holevo capacity of infinite dimensional channels and the additivity problem. Commun. Math. Phys. 262, 137–159 (2006)
Shore, J.E., Johnson, R.W.: Axiomatic derivation of the principle of maximum entropy and the principle of minimum cross-entropy. IEEE Trans. Inf. Theory 26, 26–37 (1980); Correction ibid. 29, 942–943 (1983)
Skilling, J.: The axioms of maximum entropy. In: Erickson, G.J., Smith, C.R. (eds.) Maximum-Entropy and Bayesian Methods in Science and Engineering, pp. 173–187, Kluwer, Dordrecht (1988)
Topsøe F.: Information theoretical optimization techniques. Kybernetika 15, 8–27 (1979)
Uffink J.: Can the maximum entropy principle be explained as a consistency requirement?. Stud. Hist. Phil. Sci. B 26, 223–261 (1995)
Uffink, J.: Compendium of the foundations of classical statistical physics. In: Butterfield, J., Earman, J. (eds.) Handbook of the Philosophy of Science, pp. 924–1074. Elsevier, Amsterdam (2007)
Uhlmann A.: Roofs and convexity. Entropy 12, 1799–1832 (2010)
Umegaki H.: Conditional expectation in an operator algebra. IV. Kōdai Math. Sem. Rep. 14, 59–85 (1962)
Voigt I., Weis S.: Polyhedral Voronoi cells. Contrib. Algeb. Geometry 51, 587–598 (2010)
von Neumann, J.: Thermodynamik quantenmechanischer Gesamtheiten. Gött. Nach. 273–291 (1927)
Wehrl A.: General properties of entropy. Rev. Modern Phys. 50, 221–260 (1978)
Weis, S.: Exponential families with incompatible statistics and their entropy distance. PhD Dissertation, Friedrich-Alexander University Erlangen-Nürnberg (2010)
Weis, S.: Quantum convex support. Lin. Alg. Appl. 435, 3168–3188 (2011); correction: 436, xvi (2012)
Weis S.: A note on touching cones and faces. J. Convex Anal. 19, 323–353 (2012)
Weis S., Knauf A.: Entropy distance: New quantum phenomena. J. Math. Phys. 53, 102206 (2012)
Weis, S.: Information topologies on non-commutative state spaces. J. Convex Anal. 21 (in press)
Wichmann E.H.: Density matrices arising from incomplete measurements. J. Math. Phys. 4, 884–896 (1963)
Ziman, M.: Incomplete quantum process tomography and principle of maximal entropy. Phys. Rev. A 78, 032118 (2008)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Winter
Dedicated to Prof. Eyvind H. Wichmann on his 85th birthday
Rights and permissions
About this article
Cite this article
Stephan, W. Continuity of the Maximum-Entropy Inference. Commun. Math. Phys. 330, 1263–1292 (2014). https://doi.org/10.1007/s00220-014-2090-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-014-2090-1