We study the continuity of an abstract generalization of the maximum-entropy inference—a maximizer. It is defined as a right-inverse of a linear map restricted to a convex body which uniquely maximizes on each fiber of the linear map a continuous function on the convex body. Using convex geometry we prove, amongst others, the existence of discontinuities of the maximizer at limits of extremal points not being extremal points themselves and apply the result to quantum correlations. Further, we use numerical range methods in the case of quantum inference which refers to two observables. One result is a complete characterization of points of discontinuity for 3 × 3 matrices.
REFERENCES
1.
E. M.
Alfsen
and F. W.
Shultz
, State Spaces of Operator Algebras: Basic Theory, Orientations, and C*-Products
(Springer-Verlag
, 2001
).2.
Y. H.
Au-Yeung
and Y. T.
Poon
, “A remark on the convexity and positive definiteness concerning Hermitian matrices
,” Southeast Asian Bull. Math.
3
, 85
–92
(1979
).3.
O.
Barndorff-Nielsen
, Information and Exponential Families in Statistical Theory
(John Wiley & Sons
, New York
, 1978
).4.
I.
Bengtsson
, S.
Weis
, and K.
Zyczkowski
, “Geometry of the set of mixed quantum states: An apophatic approach
,” in Geometric Methods in Physics
(Basel
, 2013
), pp. 175
–197
.5.
I.
Bengtsson
and K.
Życzkowski
, Geometry of Quantum States
(Cambridge University Press
, 2006
).6.
S. K.
Berberian
and G. H.
Orland
, “On the closure of the numerical range of an operator
,” Proc. Am. Math. Soc.
18
(3
), 499
–503
(1967
).7.
8.
R.
Carden
, “A simple algorithm for the inverse field of values problem
,” Inverse Probl.
25
(11
), 115019
(2009
).9.
A.
Caticha
, “Relative entropy and inductive inference
,” AIP Conf. Proc.
707
, 75
–96
(2004
).10.
A.
Caticha
and A.
Giffin
, “Updating probabilities
,” AIP Conf. Proc.
872
, 31
–42
(2006
).11.
J.
Chen
, Z.
Ji
, M. B.
Ruskai
, B.
Zeng
, and D.-L.
Zhou
, “Comment on some results of Erdahl and the convex structure of reduced density matrices
,” J. Math. Phys.
53
(7
), 072203
(2012
).12.
J.
Chen
, H.
Dawkins
, N.
Johnston
, D.
Kribs
, F.
Shultz
, and B.
Zeng
, “Uniqueness of quantum states compatible with given measurement results
,” Phys. Rev. A
88
(1
), 012109
(2013
).13.
J.
Chen
, Z.
Ji
, C.-K.
Li
, Y.-T.
Poon
, Y.
Shen
, N.
Yu
, B.
Zeng
, and D.
Zhou
, “Discontinuity of maximum entropy inference and quantum phase transitions,” e-print arXiv:1406.5046v2 [quant-ph] (2015
).14.
A.
Clausing
and S.
Papadopoulou
, “Stable convex sets and extremal operators
,” Math. Ann.
231
, 193
–203
(1978
).15.
D.
Corey
, C. R.
Johnson
, R.
Kirk
, B.
Lins
, and I.
Spitkovsky
, “Continuity properties of vectors realizing points in the classical field of values
,” Linear Multilinear Algebra
61
(10
), 1329
–1338
(2013
).16.
I.
Csiszár
, “Why least squares and maximum entropy? An axiomatic approach to inference for linear inverse problems
,” Ann. Stat.
19
, 2032
–2066
(1991
).17.
R. M.
Erdahl
, “The convex structure of the set of N-representable reduced 2-matrices
,” J. Math. Phys.
13
(10
), 1608
–1621
(1972
).18.
D.
Gross
, Y.-K.
Liu
, S. T.
Flammia
, S.
Becker
, and J.
Eisert
, “Quantum state tomography via compressed sensing
,” Phys. Rev. Lett.
105
(15
), 150401
(2010
).19.
E.
Gutkin
and K.
Życzkowski
, “Joint numerical ranges, quantum maps, and joint numerical shadows
,” Linear Algebra Its Appl.
438
(5
), 2394
–2404
(2013
).20.
T.
Heinosaari
, L.
Mazzarella
, and M. M.
Wolf
, “Quantum tomography under prior information
,” Commun. Math. Phys.
318
(2
), 355
–374
(2013
).21.
J. W.
Helton
and I. M.
Spitkovsky
, “The possible shapes of numerical ranges
,” Oper. Matrices
6
(3
), 607
–611
(2012
).22.
D.
Henrion
, “Semidefinite geometry of the numerical range
,” Electron. J. Linear Algebra
20
, 322
–332
(2010
).23.
R. S.
Ingarden
, A.
Kossakowski
, and M.
Ohya
, Information Dynamics and Open Systems
(Kluwer Academic Publishers Group
, 1997
).24.
E. T.
Jaynes
, “Information theory and statistical mechanics
,” Phys. Rev.
106
, 620
–630
(1957
);E. T.
Jaynes
, “Information theory and statistical mechanics. II
,” Phys. Rev.
108
, 171
–190
(1957
).25.
R.
Kippenhahn
, “Über den wertevorrat einer matrix
,” Math. Nachr.
6
, 193
–228
(1951
).26.
V.
Klee
and M.
Martin
, “Semicontinuity of the face-function of a convex set
,” Commun. Math. Helv.
46
(1
), 1
–12
(1971
).27.
D. S.
Keeler
, L.
Rodman
, and I. M.
Spitkovsky
, “The numerical range of 3 × 3 matrices
,” Linear Algebra Its Appl.
252
, 115
–139
(1997
).28.
T.
Leake
, B.
Lins
, and I. M.
Spitkovsky
, “Inverse continuity on the boundary of the numerical range
,” Linear Multilinear Algebra
62
, 1335
–1345
(2014
).29.
T.
Leake
, B.
Lins
, and I. M.
Spitkovsky
, “Pre-images of boundary points of the numerical range
,” Oper. Matrices
8
, 699
–724
(2014
).30.
C.-K.
Li
and Y.-T.
Poon
, “Convexity of the joint numerical range
,” SIAM J. Matrix Anal. Appl.
21
(2
), 668
–678
(2000
).31.
N.
Linden
, S.
Popescu
, and W.
Wootters
, “Almost every pure state of three qubits is completely determined by its two-particle reduced density matrices
,” Phys. Rev. Lett.
89
(20
), 207901
(2002
).32.
Y.
Liu
, B.
Zeng
, and D. L.
Zhou
, “Irreducible many-body correlations in topologically ordered systems,” e-print arXiv:1402.4245 [quant-ph] (2014
).33.
A.
Mohammad-Djafari
and F.
Barbaresco
, “Preface: Bayesian inference and maximum entropy methods in science and engineering (MaxEnt 2014)
,” AIP Conf. Proc.
1641
, 1
(2015
).34.
M. A.
Nielsen
and I. L.
Chuang
, Quantum Computation and Quantum Information
(Cambridge University Press
, 2000
).35.
S. A.
Ocko
, X.
Chen
, B.
Zeng
, B.
Yoshida
, Z.
Ji
, M. B.
Ruskai
, and I. L.
Chuang
, “Quantum codes give counterexamples to the unique preimage conjecture of the N-representability problem
,” Phys. Rev. Lett.
106
(11
), 110501
(2011
).36.
S.
Papadopoulou
, “On the geometry of stable compact convex sets
,” Math. Ann.
229
, 193
–200
(1977
).37.
38.
L.
Rodman
and I. M.
Spitkovsky
, “3 × 3 matrices with a flat portion on the boundary of the numerical range
,” Linear Algebra its Appl.
397
, 193
–207
(2005
).39.
R.
Schneider
, Convex Bodies: The Brunn-Minkowski Theory
, 2nd ed. (Cambridge University Press
, 2014
).40.
M. E.
Shirokov
, “The Holevo capacity of infinite dimensional channels and the additivity problem
,” Commun. Math. Phys.
262
, 137
–159
(2006
).41.
J. E.
Shore
and R. W.
Johnson
, “Axiomatic derivation of the principle of maximum entropy and the principle of minimum cross-entropy
,” IEEE Trans. Inf. Theory
26
, 26
–37
(1980
);correction,
J. E.
Shore
and R. W.
Johnson
, IEEE Trans. Inf. Theory
29
, 942
–943
(1983
).42.
J.
Skilling
, “The axioms of maximum entropy
,” in Maximum-Entropy and Bayesian Methods in Science and Engineering
, edited by G. J.
Erickson
and C. R.
Smith
(Kluwer Academic Publishers
, 1988
), pp. 173
–187
.43.
I.
Voigt
and S.
Weis
, “Polyhedral Voronoi cells
,” Contrib. Algebra Geom.
51
, 587
–598
(2010
).44.
J.
von Neumann
, “Thermodynamik quantenmechanischer Gesamtheiten
,” Gött. Nach.
1927
, 273
-291
.45.
A.
Wehrl
, “General properties of entropy
,” Rev. Mod. Phys.
50
(2
), 221
–260
(1978
).46.
S.
Weis
, “Quantum convex support
,” Linear Algebra Its Appl.
435
, 3168
–3188
(2011
);47.
48.
S.
Weis
, “Discontinuities in the maximum-entropy inference
,” AIP Conf. Proc.
1553
, 192
–199
(2013
).49.
S.
Weis
, “Continuity of the maximum-entropy inference
,” Commun. Math. Phys.
330
(3
), 1263
–1292
(2014
).50.
S.
Weis
, “The MaxEnt extension of a quantum Gibbs family, convex geometry and geodesics
,” AIP Conf. Proc.
1641
, 173
–180
(2015
).51.
S.
Weis
and A.
Knauf
, “Entropy distance: New quantum phenomena
,” J. Math. Phys.
53
(10
), 102206
(2012
).52.
E. H.
Wichmann
, “Density matrices arising from incomplete measurements
,” J. Math. Phys.
4
(7
), 884
–896
(1963
).53.
D.
Zhou
, “Irreducible multiparty correlations in quantum states without maximal rank
,” Phys. Rev. Lett.
101
, 180505
(2008
).© 2015 AIP Publishing LLC.
2015
AIP Publishing LLC
You do not currently have access to this content.