Strassen’s theorem circa 1965 gives necessary and sufficient conditions on the existence of a probability measure on two product spaces with given support and two marginals. In the case where each product space is finite, Strassen’s theorem is reduced to a linear programming problem which can be solved using flow theory. A density matrix of bipartite quantum system is a quantum analog of a probability matrix on two finite product spaces. Partial traces of the density matrix are analogs of marginals. The support of the density matrix is its range. The analog of Strassen’s theorem in this case can be stated and solved using semidefinite programming. The aim of this paper is to give analogs of Strassen’s theorem to density trace class operators on a product of two separable Hilbert spaces, where at least one of the Hilbert spaces is infinite-dimensional.

Communicated by Yun Gang Lu

Keywords:

AMSC: 15A69, 15B57, 46N50, 47B10, 81P40, 81Q10, 90C22, 90C25

References

1. S. Banach and S. Saks , Sur la convergence forte dans les champs $L^{p}$ , Studia Math. 2 (1930) 51–57. Google Scholar
2. P. Blanchard and E. Brüning , Mathematical Methods in Physics: Distributions, Hilbert Space Operators and Variational Methods (Birkhäuser/Springer, Cham, 2015). Google Scholar
3. S. Bravyi, Requirements for compatibility between local and multipartite quantum states, arXiv:quant-ph/0301014. Google Scholar
4. E. A. Carlen, J. L. Lebowitz and E. H. Lieb , On an extension problem for density matrices, J. Math. Phys. 54(6) (2013) 062103. Web of Science, Google Scholar
5. J. Chen, Z. Ji, D. Kribs, N. Lútkenhaus and B. Zeng , Symmetric extension of two-qubit states, Phys. Rev. A 90 (2014) 032318. Web of Science, Google Scholar
6. A. J. Coleman , Structure of Fermion density matrices, Rev. Mod. Phys. 35(2) (1963) 668–689. Web of Science, Google Scholar
7. J. B. Conway , The Theory of Subnormal Operators, Mathematical Surveys and Monographs, Vol. 36 (American Mathematical Society, Providence, RI, 1991). Google Scholar
8. W. J. Cook, W. H. Cunningham, W. R. Pulleyblank and A. Schrijver , Combinatorial Optimization (Wiley, 1998). Google Scholar
9. C. A. Coulson , Present state of molecular structure calculations, Rev. Mod. Phys. 32 (1960) 170–177. Web of Science, Google Scholar
10. E. B. Davies , Quantum stochastic processes, Comm. Math. Phys. 15 (1969) 277–304. Web of Science, Google Scholar
11. L. R. Ford and D. R. Fulkerson , Flows in Networks (Princeton University Press, Princeton, New Jersey, 1962). Google Scholar
12. S. Friedland , Matrices: Algebra, Analysis and Applications (World Scientific Publishing, Hackensack, NJ, 2016). Google Scholar
13. S. Friedland , Infinite dimensional generalizations of Choi’s theorem, Special Matrices 7 (2019) 67–77, arXiv:1806.06938. Web of Science, Google Scholar
14. S. Friedland, J. Ge and L. Zhi, On quantum Strassen’s theorem, arXiv:1905.06865. Google Scholar
15. J. Ge , Generalization of quantum Strassen theorem, in Int. Conf. Cyber-Enabled Distributed Computing and Knowledge Discovery (IEEE, 2019), pp. 379–382. Google Scholar
16. J. Hsu, Probabilistic Coupling for Probabilistic Reasoning, PhD Thesis, University of Pennsylvania (2017). Google Scholar
17. A. Klyachko, Quantum marginal problem and representations of the symmetric group, arXiv:quant-ph/0409113. Google Scholar
18. A. Klyachko , Quantum marginal problem and $N$ -representability, J. Phys.: Conf. Ser. 36 (2006) 72–86. Google Scholar
19. C. A. McCarthy , $C_{p}$ , Israel J. Math. 5(4) (1967) 249–271. Web of Science, Google Scholar
20. Y. Nesterov and A. Nemirovskii , Interior-Point Polynomial Algorithms in Convex Programming (Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1994), https://epubs.siam.org/doi/abs/10.1137/1.9781611970791. Google Scholar
21. M. A. Nielsen and I. L. Chuang , Quantum Computation and Quantum Information (Cambridge University Press, 2000). Google Scholar
22. M. Reed and B. Simon , Methods of Modern Mathematical Physics: Functional Analysis I (Academic Press, 1998). Google Scholar
23. S. Semmes, An introduction to some aspects of functional analysis, 2: Bounded linear operators, https://math.rice.edu/ $\sim$ semmes/fun2.pdf. Google Scholar
24. F. H. Stillinger et al., Mathematical Challenges From Theoretical/Computational Chemistry (National Academy Press, Washington, 1995). Google Scholar
25. V. Strassen , The existence of probability measures with given marginals, Ann. Math. Statist. 36 (1965) 423–439. Web of Science, Google Scholar
26. M. Ying , Floyd–Hoare logic for quantum programs, ACM Trans. Program. Lang. Syst. 33 (2011) 1–49. Web of Science, Google Scholar
27. N. Yu, L. Zhou, S. Ying and M. Ying, Quantum earth mover’s distance, No-go quantum Kantorovich–Rubinstein theorem, and quantum marginal problem, arXiv:1803.02673. Google Scholar
28. L. Zhou and M. Ying , Differential privacy in quantum computation, in Proc. IEEE 30th Computer Security Foundations Symp. (Santa Barbara, CA, 2017), pp. 249–262. Google Scholar
29. L. Zhou, S. Ying, N. Yu and M. Ying , Strassen’s theorem for quantum couplings, Theor. Comput. Sci. 802 (2020) 67–76. Web of Science, Google Scholar