Freedman’s Theorem for Unitarily Invariant States on the CCR Algebra

Abstract

The set of states on CCR(H)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\ extrm{CCR}({{\\mathcal {H}}})$$\\end{document}, the CCR algebra of a separable Hilbert space H\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${{\\mathcal {H}}}$$\\end{document}, is here looked at as a natural object to obtain a non-commutative version of Freedman’s theorem for unitarily invariant stochastic processes. In this regard, we provide a complete description of the compact convex set of states of CCR(H)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\ extrm{CCR}({{\\mathcal {H}}})$$\\end{document} that are invariant under the action of all automorphisms induced in second quantization by unitaries of H\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${{\\mathcal {H}}}$$\\end{document}. We prove that this set is a Bauer simplex, whose extreme states are either the canonical trace of the CCR algebra or Gaussian states with variance at least 1.