Freedman's theorem for unitarily invariant states on the CCR algebra

The set of states on ${\rm CCR}(\ch)$, the CCR algebra of a separable Hilbert space $\ch$, 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 ${\rm CCR}(\ch)$ that are invariant under the action of all automorphisms induced in second quantization by unitaries of $\ch$. 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$.


Introduction
A sequence of real-valued random variables is said to be orthogonally invariant (or rotatable, as in [13]) if the joint distribution of any finite subset of variables taken from the sequence has spherical symmetry.Rotatability is among the strongest distributional symmetries that a stochastic process may enjoy.Indeed, it is a classical result due to Freedman [12] that the joint distribution of an orthogonally invariant sequence is a mixture (i.e.convex combination) of measures each of which is an infinite product of a single centered Gaussian distribution.Furthermore, extreme measures correspond to sequences of independent, identically distributed variables with centered Gaussian distribution with arbitrary variance.A weaker distributional symmetry, exchangeability only requires invariance of the finite-dimensional distributions under permutations.Exchangeable sequences are ruled by de Finetti's theorem, which says that their joint distribution is still a mixture, and that extreme measures are again infinite products.The common distribution, however, remains undetermined, see e.g.[13].
Unlike the classical framework, in most of the commonly used noncommutative models already the structure of the convex of exchangeable (also known as symmetric) states is too poor to allow for a strict inclusion of the convex of orthogonally invariant states in the set of symmetric states.For instance, the only symmetric state on the socalled q-deformed C * -algebra with |q| < 1 (q = 0 corresponds to the free case) is the Fock vacuum, see e.g.[7], whereas symmetric states on both Boolean and monotone C * -algebra make up a mere segment, see [5,6].The case of the CAR algebra is the odd one out: although it does feature a rich convex set of symmetric states, thoroughly analyzed in [4], its rotatable states have nonetheless been proved to be the same as symmetric states in [3].Far-reaching general results can be stated all the same, at the cost, though, of working with symmetries implemented by the natural coaction of the quantum orthogonal/unitary groups on the * -algebra of non-commutative polynomials.Doing so, the Gaussian distribution must be replaced by free operator-valued circular distribution, see [9].The motivation of the present paper, however, is to exhibit a natural model where rotatable states are fewer than symmetric states and may be described in a meaningful way.The CCR algebra associated with a separable complex Hilbert space H, CCR(H), turns out to provide a model particularly suited to this end for three main reasons.First, it is naturally acted upon by unitary transformations and permutations, which puts one in a position to consider unitarily invariant and symmetric states.Second, it contains a subalgebra B 0 , which is still a CCR algebra, and, more importantly, is an infinite tensor product to which classical results of Størmer in [19] apply, hence making the structure of exchangeable states completely known.Third, it also has the merit of providing a setting where a genuine generalization of Freedman's classical theorem may be stated, see Remark 3.9.It is worth remarking, however, that the actual quantum random variables associated with the CCR algebra are in fact given by a sequence of pairs {(Q i , P i ) : i ∈ Z} of non-commuting self-adjoint operators, each of which should be conceived as a complex variable.Therefore, unitary invariance appears the natural symmetry to take into account as opposed to orthogonal invariance.With this in mind, we start our analysis by considering our subalgebra B 0 ⊂ CCR(H) generated by Weyl operators W (x), with x running through the dense subspace H 0 of the Hilbert space H of those vectors with only finitely many Fourier coefficients different from 0 with respect to a given basis.Working with B 0 is particularly convenient because of its factoring into an infinite tensor product of CCR(C) with itself, as well as being invariant under the action of both O Z , the group of localized orthogonal transformations, and U Z , the group of localized unitary transformations.As a benefit of the tensor structure of B 0 , the restricted dynamics is asymptotically abelian, from which we derive a number of consequences.In particular, both the sets of O Z -invariant states and of U Z -invariant states on B 0 are Choquet simplices, and their extreme states are infinite products of a single state ϕ on CCR(C), Proposition 3.4, in analogy with what happens in the classical setting.Moreover, knowing what the extreme states of our simplices look like proves key to showing that each of our simplices of invariant states is contained in the larger ones as a face, Proposition 3.5.The characteristic function of the state ϕ above, that is C ∋ z → ϕ(W (z)) ∈ C, must satisfy a certain functional equation, the solutions of which are Gaussians of the type ϕ(W (z)) = e −σ 2 (arg z)|z| 2 , where the variance σ 2 only depends on the phase of z, and is also allowed to take possibly infinite values, Lemma 3.10.As long as rotatable states are focused on, the variance may and will vary with the phase, as shown in Example 3.11.As soon as one requires unitary invariance, though, the dependence of σ 2 on the phase disappears.More precisely, there are only two possibilities.In the first, the characteristic function is ϕ(W (z)) = ½ {0} (z), the indicator function of the single- ton {0}.In the second, the characteristic function is Gaussian, namely ϕ(W (z)) = e − 1 2 σ 2 |z| 2 , where σ 2 cannot be chosen as small as one wishes.In fact, Heisenberg's uncertainty principle drives σ 2 to be at least 1, Proposition 3.12.Phrased differently, all regular extreme U Z -invariant states on B 0 are quasi-free states of the type ω σ 2 (W (x)) = e − σ 2 2 x 2 , x ∈ H 0 , with σ 2 ≥ 1.In addition, taking σ 2 as small as possible, i.e. σ 2 = 1, yields the only pure U Z -invariant state, which is nothing but the Fock vacuum.Along the way, we also show that our techniques lead us to a new proof of Freedman's theorem based on non-commutative ergodic theory for C * -algebras, Remark 3.9, by restricting the dynamics to a suitable commutative subalgebra, which is the infinite tensor product of CCR(R) with itself.In addition, states on the whole B 0 lend themselves to being interpreted as quantum stochastic processes with sample algebra given by CCR(C), the CCR algebra of a single particle.Once U Z -invariant states on B 0 have been dealt with, we draw our attention to the whole CCR(H).Now U Z -invariance is too weak a symmetry to determine the structure of the resulting states, not least because the map that restricts U Z -invariant states of CCR(H) to B 0 fails to be injective, as a drawback of the existence of the so-called flat extensions, Remark 3.19.By considering the larger symmetry group U(H) of all unitaries on H, though, we manage to come to a complete description of the compact convex set of the corresponding invariant states, Theorem 3.18.This turns out to be a Bauer simplex (a Choquet simplex whose extreme points make up a compact set) whose extreme points are either quasi-free Gaussian states of the type , x ∈ H, with σ 2 ≥ 1, or the canonical trace τ of CCR(H) defined by τ (W (x)) = 0 for all non-zero x in H.In particular, the canonical trace is thus seen to be the only extreme U(H)-invariant state on CCR(H) which is not regular.

Preliminaries
Let (H, σ) be a symplectic real space, that is a pair where H is a real vector space and σ : H × H → R an antisymmetric bilinear form.We recall that associated with any such pair there is a CCR algebra, denoted by CCR(H, σ), which is by definition the universal C * -algebra generated by the family of elements {W (x) | x ∈ H} satisfying the so-called canonical commutation rules in the Weyl form for all x, y ∈ H. Details on how this C * -algebra may be shown to exist are found in e.g.[15].In particular, CCR(H, σ) is a unital C * -algebra with unit W (0), and W (x) is a unitary element for every x ∈ H.
If we in addition suppose that σ is non-degenerate (x ∈ H with σ(x, y) = 0 for all y ∈ H implies x = 0), then CCR(H, σ) turns out to be a simple C * -algebra, see e.g.[15].Throughout the present paper we will be working with H being given by the real vector space associated with a (separable) complex Hilbert space H, thought of as a symplectic space with canonical symplectic form σ(x, y) := Im x, y for all x, y ∈ H, where •, • denotes the inner product of H (assumed linear in the first variable and anti-linear in the second).As is well known, CCR(H, σ) admits a (faithful) remarkable representation, the Fock representation, whose construction we briefly sketch for the reader's convenience.For each integer n ≥ 0, we denote by H ⊗ n the tensor product of H with itself n times, with the convention that H ⊗ 0 is a one-dimensional space, which we denote by CΩ.The full Fock space is then defined as the infinite direct sum below and Ω is referred to as the vacuum vector in the literature.We next consider the orthogonal projection P + of F(H) uniquely determined by with S n the group of all permutations of {1, . . ., n}.The symmetric (or Bose) Fock space is then defined as the range of the projection P + , that is F + (H) := P + (F(H)) .With any x ∈ H it is possible to associate a vector e(x) in F + (H), known as the exponential vector of x, defined as We continue our quick overview of the Bose Fock space by recalling that, for any given A ∈ B(H), it is possible to define a (possibly unbounded) operator Γ(A) on F + (H), the second quantization of A, whose action on simple tensors is Accordingly, Γ(A) sends exponential vectors to exponential vectors, for Γ(A)e(x) = e(Ax) , x ∈ H .
For every x ∈ H, define on F(H) a pair of unbounded densely-defined operators a(x) and a † (x), known as full annihilator and creator, respectively.For all n ∈ N and x 1 , . . ., x n in H, set At this point, for every x ∈ H Bose annihilators and creators can be simply defined as a + (x) := P + a(x)P + a † + (x) := P + a † (x)P + .Details on the domains of Bose annihilators and creators are to be found in e.g.[2].For every x ∈ H, the sum a + (x) + a † + (x) turns out to be an essentially self-adjoint operator, whose unique self-adjoint extension is denoted by Φ(x), which is called the field operator.By exponentiating the field operators, we finally arrive at the following family of unitary operators W ′ (x) := e iΦ(x) , x ∈ H which can be seen to satisfy the CCR relations (2.1).Therefore, by universality of the CCR algebra there exists a unique *representation of CCR(H, σ) that sends W (x) to W ′ (x), for all x ∈ H.This is precisely the Fock representation of CCR(H, σ) and is known to be irreducible.The vector state associated with Ω, the vacuum vector, is thus a pure state, known as the Fock vacuum, which is still denoted with Ω by a slight abuse of notation.Note that Ω(W (x)) = e − 1 2 x 2 .The Fock representation is the most important example of a regular representation of CCR(H, σ), by which we mean a representation π such that for every x ∈ H the one-parameter unitary group {π(W (tx)) : t ∈ R} is strongly continuous.A state ω on CCR(H, σ) is accordingly said to be regular if its GNS representation is regular.
Our next goal is to define quite a vast class of endomorphisms (automorphisms) on CCR algebras.To this end, let O be any real operator on H preserving σ, that is σ(Ox, Oy) = σ(x, y) for all x, y in H. Then it is immediate to see that the set of unitaries {W (Ox) | x ∈ H)} continues to satisfy the canonical commutation rules.Therefore, by universality of CCR algebras there must exist a * -monomorphism ρ O of CCR(H, σ) uniquely determined by Since the symplectic form we are working with is the imaginary part of the canonical Hermitian product of H, for any isometry S of H there exists a * -monomorphism ρ S of CCR(H, σ) such that We denote by U(H) the group of all unitary operators acting on H.
Clearly, if U is in U(H), then ρ U is an automorphism.
In this paper, however, we will be mostly concerned with isometries and unitaries of a particular form.To define them, we first need to fix an orthonormal basis, say {e k : k ∈ Z}, once and for all.For any injective map Ψ of Z to itself, consider the isometry S Ψ acting on the basis as S Ψ e i := e Ψ(i) , i ∈ Z .By a slight abuse of notation we simply denote by ρ Ψ the endomorphism of CCR(H, σ) corresponding to S Ψ .Note that In particular, corresponding to Ψ(i) = i + 1, i ∈ Z, we get the so-called shift automorphism.We next establish some notation to introduce the group actions we are interested in.Let P Z denote the group of all finite permutations of Z, that is of all bijective maps σ of Z into itself such that σ(i) = i for finitely many i in Z.By U Z we denote the subgroup of U(H) made up of all unitaries U for which there exists N > 0 (depending on U) such that Ue i = e i for all |i| > N. If we denote by U i,j the entries of a given U in U Z , i.e.U i,j := Ue i , e j , for all i, j ∈ Z, we have U i,j = δ i,j for all i, j with |i|, |j| > N. In particular, it follows that U Z is an inductive limit of unitary matrix groups.Thus, it is convenient to think of an element U of U Z as an infinite matrix (U i,j ) i,j∈Z .Lastly, O Z is the subgroup of U Z obtained by considering real unitary maps, namely O in U Z belongs to O Z if and only if Oe i , e j are real numbers for all i, j ∈ Z.The three groups introduced all act through automorphisms on CCR(H, σ) by (2.2).This allows us to consider the invariant states of the corresponding C * -dynamical systems.By C * -dynamical system we mean here a triplet (A, G, α), where A is a unital C * -algebra, G a group, and α : G → Aut(A) a group homomorphism, i.e.
The set of all G-invariant states is denoted by S G (A). Going back to CCR(H, σ), its states invariant under P Z are known as exchangeable (or symmetric) states.Borrowing the terminology from Classical Probability, we shall henceforth refer to O Z -invariant states as orthogonally invariant or rotatable states.We shall refer to U Zinvariant states as unitarily invariant states.For any C * -dynamical system (A, G, α), S G (A) is a weakly* compact convex subset of the set of all states of A. The set of extreme points of S G (A), which is non-empty by virtue of the Krein-Milman theorem, is denoted by E(S G (A)).The elements of E(S G (A)) are often referred to as the ergodic states of the given C * -dynamical system.On the GNS space H ω of any G-invariant state ω, it is possible to define a family of unitaries {U ω g : g ∈ G} that implement the action of the group itself, namely for each g ∈ G ) , a ∈ A .The closed subspace of invariant vectors is then defined as Note that H G ω is never zero as it always contains Cξ ω , where ξ ω ∈ H ω is the GNS vector of ω.The orthogonal projection onto H G ω is denoted by E ω .We recall that H G ω = Cξ ω implies that ω is ergodic.Unlike what happens in the classical theory, the converse implication may fail to hold; it does hold, however, if we assume that the system is G-abelian, that is if for any ω ∈ S G (A), the family of operators {E ω π ω (a)E ω : a ∈ A} is commutative, see Theorem 3.1.12in [18].Moreover, Gabelianness is often obtained as a consequence of a stronger property known as asymptotical abelianness: a C * -dynamical system (A, G, α) is asymptotically abelian if there exists a sequence {g n : n ∈ N} ⊂ G such that, for every a, b ∈ A, lim n→∞ α gn (a)b − bα gn (a) = 0, see Proposition 3.1.16in [18].

Invariant States
We denote by A the CCR algebra associated with C endowed with its canonical symplectic form σ(z, w) := Im z w, z, w ∈ C. As is well known, A is a (non-separable) simple nuclear C * -algebra, see e.g.[11].To ease the notation, we will from now on denote by B the CCR algebra associated with (H, σ).Let H n ⊂ H denote the finite-dimensional subspace generated by {e k : |k| ≤ n}.We will think of H n ⊂ H as a symplectic real space whose symplectic form is the restriction of σ to H n .The corresponding CCR algebra, that is CCR(H n , σ), will be denoted by B n .Since B n ⊂ B n+1 , we can consider the inductive limit B 0 ⊂ B of the sequence of C * -algebras {B n : n ∈ N}.More concretely, B 0 is the norm completion in B of n B n .Note that B 0 is itself a CCR algebra, in that B 0 = CCR(H 0 , σ) with H 0 = n H n .The inclusion B 0 ⊂ B is proper, as follows from e.g.[2, Proposition 5.2.9.].What is more relevant to our analysis is that the subalgebra B 0 decomposes as an infinite tensor product of A with itself.Let us quickly recall what the isomorphism looks like.For each k ∈ Z, denote by i That said, the isomorphism alluded to above is nothing but the map Ψ : B 0 → Z A uniquely determined by for all n ∈ N and for all z k ∈ C with k = −n, . . ., n. Elements of . ., k n ∈ Z and a 1 , . . ., a n ∈ A, will be sometimes referred to as localized tensors.Rather than work in B 0 only, we will sometimes use its isomorphic copy.
To do so, we first need to rewrite the action of U Z on Z A. This is done by combining (2.2) and (3.1), which for any As an immediate consequence of (3.2), for every U ∈ U Z , one has ρ U (B 0 ) ⊆ B 0 .We start our analysis of invariant states on the CCR algebra by considering the smaller dynamical system obtained by restricting the dynamics to B 0 .To this aim, we will need to consider the following sequence {g n : n ∈ N} of bijections of Z: For each n, g n is an element of the group P Z .In particular, the sequence {g n : n ∈ N} is contained in O Z .By a slight abuse of notation, we continue to denote by g n the corresponding matrix.Note that for each line of this matrix there is exactly one entry that is equal to 1, while the others are all 0.
Proof.We will prove that, for any a, b ∈ Z A, one has m, the definition of g n implies that the entries (g n ) j,k are 0 for all j with |j| > m.Phrased differently, for n such that 2 n−1 > m one has that ρ gn (a) is a simple tensor whose j-th factors are different from the identity I only when |j| > m, hence ρ gn (a) commutes with b.
As a consequence of the lemma above, we find that (B 0 , O Z , ρ) is an O Z -abelian dynamical system.Moreover, O Z -abelianness in turn implies that S O Z (B 0 ) is a Choquet simplex, see Theorem 3.1.14in [18].The next goal we want to achieve is to show that any extreme state of S O Z (B 0 ) factors into an infinite product of a single state ρ of the sample algebra A. To do so, we first need a couple of lemmas.Proof.By hypothesis a can be taken as |k|≤m i k (W (λ k )) for some m > 0 and λ k ∈ C for all k's in {−m, . . ., m}.In addition, there exists d > 0 such that O i,j = δ i,j for all i, j with |i|, |j| > d.The statement holds if n satisfies 2 n−1 ≥ max{m, d}.Indeed, ρ O acts as the identity on simple tensors whose factors different from I lie outside the discrete interval {−d, . . ., d}, and ρ gn (a) is a tensor of this form.Proof.As usual, we will identify B 0 with the infinite tensor product Z A. We do not harm the generality of the proof if we suppose that a is localized.By weak compactness of the unit ball of the Hilbert space H ω , the bounded sequence {π ω (ρ gn (a))ξ ω : n ∈ N} ⊂ H ω must have at least one accumulation point, say ξ.Now it is easy to verify that any such vector is O Z -invariant.Indeed, by definition there exists a subnet {π ω (ρ gn α (a))ξ ω : α ∈ I} such that ξ = lim α π ω (ρ g n(α) (a))ξ ω (in the weak topology of H ω ).But then for any O ∈ O Z we have where the second-last equality is a consequence of Lemma 3.2.Since ω is extreme, we must have ξ = λξ ω for some λ in C due to Lemma 3.1 and Proposition 3.1.12in [18].Now λ is easily seen to equal ω(a) irrespective of the chosen subsequence.In other words, ω(a)ξ ω is the only accumulation point of the set {π ω (ρ gn (a))ξ ω : n ∈ N}.Therefore, by weak compactness of the unit ball of H ω the whole sequence {π ω (ρ gn (a))ξ ω : n ∈ N} must converge to ω(a)ξ ω , which ends the proof.We next define ϕ as a state on A by setting ϕ(a) := ω(i j (a)), a ∈ A, j ∈ Z.The definition is well posed since it does not depend on j, for ω is exchangeable being even rotatable.In order to prove the thesis, we need to show that for every n ∈ N, for every j 1 , . . ., j n in Z, and a 1 , . . ., a n in A. This can be done by induction on n exactly as in the proof of [19, Theorem 2.7.], to which the reader is referred for the missing details.
We denote by S Z (B 0 ) the set of stationary states on B 0 , that is of those states that are invariant under the shift automorphism.In order to state the following result, we recall that a convex subset ∆ ⊂ C of a convex set C is a face if given x, y ∈ C such that tx + (1 − t)y lies in ∆ for some t with 0 < t < 1, then x, y are in ∆, in which case we write ∆ ⊂ F C. Proposition 3.5.There holds the inclusion of faces: Proof.We start by pointing out that the four sets in the statement are all Choquet simplices by asymptotical abelianness of the corresponding dynamical systems.Therefore, we can argue as in the proof of Theorem 3.5 in [3] and reduce the problem to showing that any extreme state in one of the first three sets (say S U Z (B 0 )) remains extreme in the next set to the right (S O Z (B 0 )).But this is trivial for the first two inclusions because extreme U Z -invariant/O Z -invariant/symmetric states are product states, and product states are extreme in S P Z (B 0 ) as follows from Theorem 2.7 in [19].As for S P Z (B 0 ) being a face of S Z (B 0 ), one can proceed in the same way as done in the proof of Theorem 3.5 in [3].Now the state ϕ ∈ S(A) whose existence is guaranteed by Proposition 3.4 cannot be chosen arbitrarily.In fact, rotatability on ω imposes strict constraints on the distribution of ϕ on position (and momentum) operators.More precisely, the distributions turn out to be Gaussian, as we are going to show.To any state ϕ ∈ S(A) we associate the function G ϕ : C → C defined as It is worth mentioning that in the literature G ϕ is sometimes referred to as the characteristic function of the state ϕ.Lemma 3.6.Let ϕ be a state on A. Then the product ω = ⊗ Z ϕ is a rotatable state on B 0 if and only if G ϕ satisfies the equations Proof.It is a matter of direct computation.If ω is rotatable, then thanks to Equation (3.2) we have for all z in C. On the other hand, if the equation is satisfied, then similar calculations show that ω is rotatable.
Proof.Since G ϕ must satisfy the equations in the statement of Lemma 3.6, in particular we find G ϕ (z) = G ϕ (−z) for all z ∈ C. As a consequence, the restriction of G ϕ to the real line is completely determined by its restriction to the positive half-line.Furthermore, by Proposition 3.1 in [15], the restriction of G ϕ to the real line must be a definitepositive function.
Let now z = x + iy be any given complex number.By considering a 2×2 orthogonal matrix given by a rotation by an angle α the functional equation yields If we now choose α any argument of z, we find . Henceforth we will denote by g the restriction of G ϕ to the real line.From what we have seen, g is even and for all x, y ≥ 0. Since g is even, we may as well work with the restriction of g to the positive half line.Let us define h 3) one has that h satisfies h(t + s) = h(t)h(s), for t, s ≥ 0. Let ρ be the absolute value of h, i.e. ρ(t) = |h(t)|, t ≥ 0. We clearly have ρ(t + s) = ρ(t)ρ(s), for all t, s ≥ 0. There are two cases to deal with depending on whether ρ may vanish at a point or not.If it does, that is if there exists t 0 > 0 with ρ(t 0 ) = 0, then If ρ never vanishes, then there exists Ψ : [0, ∞) → R such that ρ(t) = e Ψ(t) and Ψ(t + s) = Ψ(t) + Ψ(s) for all t, s ≥ 0. Clearly, any such Ψ is the restriction of a function Ψ defined on the whole real line that satisfies Cauchy's functional equation, namely Ψ(t + s) = Ψ(t) + Ψ(s), t, s in R. If Ψ is continuous, then Ψ(t) = ct, t ∈ R, for some real constant c.In addition, for G ϕ to be bounded, it is necessary to take only non-positive values, say c = − σ 2 2 for some σ in R. Discontinuous (non-measurable) solutions of Cauchy's equation are ruled out because their graph is well known to be dense in R 2 , thus giving rise to an unbounded ρ.From now on we can work under the hypothesis that ρ(t) > 0 for all t ≥ 0, which allows us to decompose h as h(t) = ρ(t)χ(t), for all t ≥ 0, with χ(t) ∈ T := {z ∈ C : |z| = 1} for all t ≥ 0. Now χ satisfies the same equation as h, that is χ(t + s) = χ(t)χ(s).The conclusion will be fully reached once we have shown that χ must be identically 1 (when ρ > 0).To this end, note that χ cannot take non-real values.Suppose on the contrary there exists t 0 > 0 such that χ(t 0 ) is not real.The function G ϕ (t) = χ(t 2 )ρ(t 2 ), t ∈ R, then turns out not to be positive definite.Indeed, the 2 × 2 matrix (G ϕ (t i − t j )) i,j=1,2 with t 1 = 0 and which even fails to be Hermitian.In other terms, the only possible values for χ are 1 and −1.But, again, the values −1 is ruled out.Indeed, if there existed t 0 with χ(t 0 ) = −1, then from the very equation satisfied by χ we would have χ( t 0 2 ) = χ(t 0 ), and both square roots of −1 are not real, being ±i.
Remark 3.9.The arguments employed in the proposition above along with Lemma 3.1 and Proposition 3.4 provide a novel proof of Freedman's theorem for commutative random variables.Precisely, the classical theorem is obtained by restricting our dynamics to the commutative subalgebra C * (W (te i ) : i ∈ Z, t ∈ R) ∩ B 0 , which still factors into a tensor product in that there holds the * -isomorphism where CCR(R) is the CCR of R as a symplectic space with null symplectic form, which can be concretely thought of the C * -subalgebra generated by the set {W (te 1 ) : t ∈ R}.It is well known that CCR(R) is isomorphic with AP(R), the C * -algebra of almost periodic functions on R.Moreover, AP(R) can be identified with C(βR), the C * -algebra of continuous functions on the Bohr compactification of the real line, see e.g.Chapter 16 in [10].Working with AP(R) rather than C 0 (R) causes no loss of generality, for the set of states of the latter (Borel probability measures on the real line) naturally injects into those of the former.
Our next aim is to address the CCR algebra so as to say something more precise about the structure of its rotatable states.To this end, the first thing to do is to exhibit all solutions of the functional equation considered in Lemma 3.6.Proof.It is an application of Proposition 3.8, thanks to which the solutions of our equations can be determined by considering their restrictions to lines through the origin.More precisely, let z 0 = x 0 + iy 0 be a fixed complex number.Let us consider the line in the complex plane {tz 0 = tx 0 + ity 0 : t ∈ R} and denote by g : R → C the restriction of G to this line, that is g(t) := G(tz 0 ), t ∈ R. Now the function g can be determined in the same way as in the proof of Proposition 3.8, which means we must have g for all real t.Setting z = tz 0 , one finally sees that G(z) = e −σ 2 (z)|z| 2 , where σ 2 (z) = σ 2 (z 0 ) |z 0 | 2 depends only on the argument of z = x + iy, say on the ratio y x .We next exhibit a simple class of rotatable states.
Example 3.11.For all reals λ, µ ≥ 0 ϕ(W (z)) := e − 1 2 (λx 2 +µy 2 ) , z = x + iy , defines a state on A if and only if λµ ≥ 1.This is a direct application of [14, Proposition 10], which says that for ϕ(W (z)) = e − 1 2 α(z,z) , z in C, to define a state, it is necessary and sufficient that α(z, z)α(w, w) ≥ σ(z, w) 2 for all z, w in C, where α(z, z) = λx 2 + µy 2 with z = x + iy.Take z = x 1 + iy 1 and w = x 2 + iy 2 .If the inequality holds, then (λx Accordingly, for any choice of λ, µ with λµ ≥ 1, the infinite tensor product ⊗ Z ϕ provides a rotatable state on B 0 .Lemma 3.10 allows us to completely determine what G ϕ looks like when ω = ⊗ Z ϕ is a U Z -invariant state.In particular, the rotatable states discussed in Example 3.11 are ruled out unless λ = µ.Proposition 3.12. Proof.Under the current hypotheses, the function G ϕ now satisfies the stronger conditions G(z) = j G(U j,k z) , z ∈ C , k ∈ Z , for all U = (U k,j ) j,k∈Z in U Z .In particular, U Z -invariance also imposes the extra condition G ϕ (z) = G ϕ (e iθ z), z ∈ C, which holds for all θ ∈ R.But then G ϕ (z) only depends on |z|, which means it is uniquely determined by its restriction to the real line.Therefore, Proposition 3.8 gives for x in H 0 , which can be seen by direct computation.Indeed, for x = i∈F λ i e i , where F ⊂ Z is a finite subset and λ i is a complex number for every i ∈ F , we have The next result shows that most of U Z -invariant states on B 0 are regular.Proof.In light of Proposition 3.15, for any x in H 0 we have The continuity in t of the above expression is a consequence of Lebesgue's dominated convergence theorem since e − σ 2 t 2 x 2 2 ≤ 1 for all t ∈ R and σ 2 ∈ [1, +∞).
The proof of the above result actually shows more.Indeed, the function R ∋ t → ω(W (tx)) ∈ C is even analytic under the assumption µ({∞}) = 0. Remark 3.17.If ρ is any non-regular state on A = CCR(C, σ), then ⊗ Z ρ is certainly an extreme symmetric state on B 0 , which by construction fails to be regular.In this way it is possible to exhibit a good many non-regular extreme symmetric states, in stark contrast with U Zinvariant states, whose only non-regular extreme state is the canonical trace.
By a slight abuse of notation, for any σ 2 ≥ 1 (including ∞) we continue to denote by ω σ 2 the quasi-free state on the whole B uniquely determined by ω We are now ready to state our main result.
Theorem 3.18.The compact convex S U(H) (B) is a Bauer simplex whose extreme point set is {ω σ 2 : σ 2 ∈ [1, +∞]}.Explicitly, if ω is a U(H)-invariant state on B, then there exists a unique Borel probability measure µ on [1, +∞] Proof.We start by observing that if ω is a U(H)-invariant state on B, its restriction ω ↾ B 0 to B 0 is certainly a U Z -invariant state on B 0 .Let us then consider the restriction map Ψ : S U(H) (B) → S U Z (B 0 ) defined as Ψ(ω) := ω ↾ B 0 , ω in S U(H) (B).We aim to show that Ψ is an affine homeomorphism between compact convex sets.Injectivity of Ψ follows from transitivity of U(H) on H: if x lies in H \ H 0 , it is possible to find y ∈ H 0 and U ∈ U(H) such that x = y and y = Ux.But then we must have ω(W (x)) = ω(W (Ux)) = ω(W (y)).In other words, ω is completely determined by its restriction to B 0 .The map Ψ is clearly surjective thanks to Proposition 3.15.The continuity of Ψ is trivial.By compactness of S U(H) (B) it follows that Ψ is a closed map, which means its inverse is continuous as well.
Remark 3.19.The invariance under U Z for states on the whole CCR algebra B is not enough to obtain the thesis of Theorem 3.18.This can be seen by looking at the so-called flat extensions of a state defined on B 0 .To this end, pick any U Z -invariant state ω on B 0 .Then one can define a state Ω on the whole B by setting Ω(W (x)) = ω(W (x)) , x ∈ H 0 0 , x ∈ H \ H 0 .
The proof that the definition above yields a state on B is to be found in [1, Proposition 2.1].However, it remains to show that Ω is invariant under the action of U Z on B. But this easily follows from the inclusions UH 0 ⊂ H 0 and U(H \ H 0 ) ⊂ H \ H 0 , which hold true for any unitary U in U Z .Phrased differently, the map that restricts U Z -invariant states on B to B 0 fails to be injective.
In the next proposition we show that the states focused on in the above result belong to the folium of all normal states in the Fock representation as long as they come from a measure µ that assigns 0 to the point at infinity.for a suitable probability measure on [1, +∞] with µ({∞}) = 0. We recall that for each σ 2 ≥ 1, the state ω σ 2 is normal in the Fock representation π F , which means there exists a trace-class operator T σ 2 in F + (H) such that ω σ 2 (a) = Tr(π F (a)T σ 2 ), a ∈ B.Moreover, the operator T σ 2 can be seen to equal Γ(A(I + A) −1 ) Tr(Γ(A(I + A) −1 )) with A = σ 2 −1 2 I, cf.[16] and Lemma 6.4.1 in [17].That said, we can easily come to the conclusion.Note that ω(S) := +∞ 1 Tr(ST σ 2 )dµ(σ 2 ) , S ∈ B(F + (H)) defines a state on B(F + (H)) such that ω(a) = ω(π F (a)) for every a ∈ B. The thesis will be achieved once we prove that ω is normal.Let {S n : n ∈ N} ⊂ B(F + (H)) be a bounded increasing sequence of positive operator, and let S be its sup.As is known, S is the strong limit of S n , hence for every σ 2 ≥ 1 we have lim n Tr(S n T σ 2 ) = Tr(ST σ 2 ).Finally, by the monotone convergence theorem we find We would like to remark that a U(H)-invariant state ω on B be thought of as a quantum stochastic process of a particular kind.Indeed, any such state is uniquely determined by its restriction ω 0 to B 0 , and the tensor product structure of B 0 allows us to recover a stochastic process with sample algebra A = CCR(C, σ) from ω 0 , see e.g.Section 3 of [8].In particular, one may consider the tail algebra of the process, as defined as in e.g.[5,7], and ask what it looks like.The question is very easily answered for extreme states.Precisely, if ω 0 is an extreme state in any of the sets S U Z (B 0 ), S O Z (B 0 ) or S P Z (B 0 ), then its tail algebra is trivial.This is a consequence of Proposition 2.9 in [8], which addresses extreme symmetric states (in the wider context of local action on quasi-local C * -algebras).In fact, extreme states of both S U Z (B 0 ) and S O Z (B 0 ) are all instances of extreme symmetric states, being product states.The tail algebra of non-extreme states can of course fail to be trivial.Nevertheless, it will always be commutative, cf.Proposition 2.10 in [8] and the references therein.Furthermore, there is only one conditional expectation from π ω 0 (B 0 ) ′′ onto the tail algebra, and, more importantly, the process itself is conditionally independent and identically distributed (with centered Gaussian distribution for states in S U Z (B 0 ) or S O Z (B 0 )) with respect to the conditional expectation.

(2. 1 )
W (x) * = W (−x) W (x)W (y) = e iσ(x,y) W (x + y) lim n→∞ ρ gn (a)b − bρ gn (a) = 0 .A standard density argument shows it is enough to deal with a, b lying in a dense subalgebra of Z A. With this in mind, we can consider localized simple tensors a, b.In other words, there is no lack of generality if we take a = |k|≤m i k (W (λ k )) and b = |l|≤m i l (W (µ l )) for some m > 0 and λ k , µ l ∈ C for all k, l ∈ {−m, . . ., 0, . . ., m}.Applying (3.2), one finds

Lemma 3 . 2 .
For every localized simple tensor a in B 0 ∼ = Z A and every O in O Z , one has ρ Ogn (a) = ρ gn (a) eventually for all n.

Lemma 3 . 3 .
If ω is an extreme state in S O Z (B 0 ), then for every a in B 0 one has lim n→∞ π ω (ρ gn (a))ξ ω = ω(a)ξ ω in the weak topology of H ω .

Remark 3 . 7 .Proposition 3 . 8 .
Clearly, both Proposition 3.4 and Lemma 3.6 hold for U Z -invariant states as well since Lemma 3.3 applies to extreme states in S U Z (B 0 ).The next result spells out in what sense the distribution of position (or momentum) operators in a rotatable state is Gaussian, as announced.Let ϕ be a state on A. If ω = ⊗ Z ϕ is a rotatable state on B 0 , then either G ϕ = ½ {0} , the indicator function of {0}, or there exists σ 2 ≥ 0 such that

Lemma 3 . 10 .
If G : C → C is a bounded function satisfying G(z) = j G(O j,k z) , z ∈ C , k ∈ Z , for all orthogonal matrices O = (O j,k ) k,j∈Z in O Z , then G(z) = e −σ 2 (arg z)|z| 2 , z ∈ C ,where σ 2 is a positive (possibly infinite) function depending only on the argument of z.

Proposition 3 .
20.Any regular U(H)-invariant state on B is normal in the Fock representation.Proof.Thanks to Theorem 3.18 any such state is of the form ω =[1,+∞]