Reflection negative kernels and fractional Brownian motion

In this article we study the connection of fractional Brownian motion, representation theory and reflection positivity in quantum physics. We introduce and study reflection positivity for affine isometric actions of a Lie group on a Hilbert space E and show in particular that fractional Brownian motion for Hurst index 0<H\le 1/2 is reflection positive and leads via reflection positivity to an infinite dimensional Hilbert space if 0<H<1/2. We also study projective invariance of fractional Brownian motion and relate this to the complementary series representations of GL(2,R). We relate this to a measure preserving action on a Gaussian L^2-Hilbert space L^2(E).


Introduction
In this paper we continue our investigations of the representation theoretic aspects of reflection positivity and its relations to stochastic processes ( [JNO16a,JNO16b]). This is a basic concept in constructive quantum field theory [GJ81,Kl77,KL82,JO00], where it arises as a requirement on the euclidean side to establish a duality between euclidean and relativistic quantum field theories [OS73]. It is closely related to "Wick rotations" or "analytic continuation" in the time variable from the real to the imaginary axis.
The underlying structure is that of a reflection positive Hilbert space, introduced in [NO14]. This is a triple (E, E + , θ), where E is a Hilbert space, θ : E → E is a unitary involution and E + is a closed subspace of E which is θ-positive in the sense that the hermitian form u, θv is positive semidefinite on E + . We write E for the corresponding Hilbert space and q : E + → E, ξ → ξ for the canonical map.
To relate this to group representations, let us call a triple (G, S, τ ) a symmetric semigroup if G is a Lie group, τ is an involutive automorphism of G and S ⊆ G a subsemigroup invariant under the involution s → s ♯ := τ (s) −1 . The Lie algebra g of G decomposes into τ -eigenspaces g = h ⊕ q and we obtain the Cartan dual Lie algebra g c = h ⊕ iq. We write G c for a Lie group with Lie algebra g c . The prototypical pair (G, G c ) consists of the euclidean motion group E(d) = R d ⋊ O d (R) and the orthochronous Poincaré group P (d) ↑ = R d ⋊ O 1,d−1 (R) ↑ . If (G, H, τ ) is a symmetric Lie group and (E, E + , θ) a reflection positive Hilbert space, then we say that a unitary representation U : G → U(E) is reflection positive with respect to (G, S, τ ) if U τ (g) = θU g θ for g ∈ G and U S E + ⊆ E + . (1) If (π, E) is a reflection positive representation of G on (E, E + , θ), then U s q(v) := q(U s v) defines a representation ( U , E) of the involutive semigroup (S, ♯) by contractions ([NO14, Lemma 1.4], [JO00] or [NÓ18,Prop. 3.3.3]). However, if S has interior points, we would like to have a unitary representation U c of a Lie group G c with Lie algebra g c on E whose derived representation is compatible with the representation of S. If such a representation exists, then we call (U, E) a euclidean realization of the representation (U c , E) of G c . Sufficient conditions for the existence of U c have been developed in [MNO15].
Althought this is a rather general framework, the present paper is only concerned with very concrete aspect of reflection positivity. The main new aspect we introduce is a notion of reflection positivity for affine isometric actions of a symmetric semigroup (G, S, τ ) on a real Hilbert space.
Here E + is naturally defined by the closed subspace generated by the S-orbit of the origin. On the level of positive definite functions, this leads to the notion of a reflection negative function. For (G, S, τ ) = (R, R + , − id R ), reflection negative functions ψ are easily determined because reflection negativity is equivalent to ψ| (0,∞) being a Bernstein function ([JNO18]). An announcement of some of the results in the present paper appeared in [JNO16b].
For a group G, affine isometric actions α g ξ = U g ξ + β g on a real Hilbert space E are encoded in real-valued negative definite functions ψ(g) = β g 2 satisfying ψ(e) = 0 (cf. [Gu72,HV89]). Especially for G = R, these structures have manifold applications in various fields of mathematics (see for instance [Ka81], [Le80], [Mas72], and also [Fu05] for the generalization to spirals which corresponds to actions of R by affine conformal maps). For the group G = (R, +), the homogeneous function ψ(x) = |x| 2H is negative definite if and only if 0 ≤ H ≤ 1, and this leads to the positive definite kernels C H (s, t) := 1 2 (|s| 2H + |t| 2H − |s − t| 2H ), which for 0 < H < 1 are the covariance kernels of fractional Brownian motion with Hurst index H ( [BOZ08], [AL08], [AJ12,AJ15], [AJP12]). One of the central results of this paper is an extension of the well-known projective invariance of Brownian motion in the sense of P. Lévy we associate to every pair of distinct points α, γ in R ∞ a normalized process whose covariance kernels C H α,γ transform naturally under Möbius transformations in the sense that C H g.α,g.β (g.s, g.t) = C H α,β (s, t). (3) Here the normalized fractional Brownian motion B H t = |t| −H B H t has the covariance kernel C H 0,∞ and the transformed process B H g.t is equivalent to the original one. The structure of this paper is as follows. In Section 2 we briefly recall the general background of reflection positive Hilbert spaces and representations and in Section 3 we introduce reflection positive affine isometric actions U : G → Mot(E) on real Hilbert spaces E. Since the group Mot(E) has a natural unitary representation on the Fock space Γ(E), the L 2 -space of the canonical Gaussian measure of E, affine isometric representations are closely linked with symmetries of Gaussian stochastic processes for which G acts on the corresponding index set. This is made precise in Appendix B.1, where we discuss the measure preserving G-action corresponding to a stochasic process with stationary increments. For square integrable processes, this connects with affine isometric actions on Hilbert spaces.
To pave the way for the analysis of the interaction of fractional Brownian motion with unitary representations, we introduce in Section 4 a family of unitary representations (U H , H H ) 0<H<1 of GL 2 (R), respectively its projective quotient PGL 2 (R), i.e., the group of Möbius transformations on the real projective line. For H = 1 2 this is the natural representation on L 2 (R) (belonging to the principal series), whereas for H = 1 2 it belongs to the complementary series ( [JO00], [vD09]). The Hilbert spaces H H are obtained from positive definite distribution kernels by completion of S(R) with respect to the scalar product ξ, η H = − 1 2 R R ξ ′ (x)η ′ (y)|x − y| 2H dx dy.
In Section 5 we realize fractional Brownian motion in a very natural way in terms of the cocycle (2) defining an affine isometric action of the translation group (R, +) on H H . Acting with the group GL 2 (R) on these functions leads naturally to the projective invariance of fractional Brownian motion, both on the level of the normalized kernels as in (3), and with respect to our concrete realization (Theorem 5.9). Reflection positivity is then explored in Section 6. For α = γ in R ∞ ∼ = S 1 we consider a reflection θ with a fixed point and exchanging α and γ. Here our main result is Theorem 6.3, asserting that the normalized kernels C H α,γ on the complement of the two-element set {α, γ} in R ∞ ∼ = S 1 is reflection positive with respect to θ if and only if H ≤ 1 2 . In particular, this implies reflection positivity for a Brownian bridge on a real interval [α, γ] with respect to the reflection in the midpoint. Reflection positivity for the complementary series representations of SL 2 (R) has already been observed in [JO00], where the representation U c is identified as a holomorphic discrete series representation.
Reflection positivity for the affine action of the translation group in H H defined by the cocycle b H t realizing fractional Brownian motion is studied in Section 7. Although we always have involutions that lead to reflection positive Hilbert spaces in a natural way, only for H ≤ 1 2 we obtain reflection positive affine actions of (R, R + , − id). We conclude Section 7 with a discussion of the increments of a 1-cocycle (β t ) t∈R defining an affine isometric action. In particular, we characterize cocycles with orthogonal increments as those corresponding to multiples of Brownian motion. Note that the increments of fractional Brownian motion are positively correlated for H ≥ 1 2 and negatively correlated for H ≤ 1 2 . We conclude this paper with a brief discussion of some related results concerning higher dimensional spaces in Section 8. We plan to return to the corresponding representation theoretic aspects in the near future.
In order not to distract the reader from the main line of the paper, we moved several auxiliary tools and some definitions and calculations into appendices: Appendix A deals with affine isometries and positive definite kernels and Appendix B reviews some properties of stochastic processes. In particular, we provide in Proposition B.8 a representation theoretic proof for the Lévy-Khintchine formula for the real line, which represents a negative definite function in terms of its spectral measure ([AJ12, AJ15, AJL17], [Le65,Thm. 32]). Appendix C briefly recalls the measure theoretic perspective on Second Quantization, Appendix D contains the verification that the representations U H mentioned above are unitary, and Appendix E contains a calculation of the spectral measure for fractional Brownian motion.
A different kind of projective invariance, in the path parameter t, for one-dimensional Brownian motion has been observed by S. Takenaka in [Ta88a]: For a Brownian motion (B t ) t∈R , the process also is a Brownian motion, and the relation (B g ) h = B gh leads to a unitary representation of SL 2 (R) on the realization space. From that he derives the projective invariance in the sense of Lévy, and he argues that his method does not extend to fractional Brownian motion. In [Ta88b], Takenaka shows that the representation of SL 2 (R) he obtains belongs to the discrete series, so that it is differet from ours. He also hints at the possibility of extending Hida's method [HKNY69] to fractional Brownian motion, and in a certain sense this is carried out in the present paper.

Reflection positive functions and representations
Since our discussion is based on positive definite kernels and the associated Hilbert spaces ( [Ar50], [Ne00, Ch. I], [NÓ18]), we first recall the pertinent definitions. As customary in physics, we follow the convention that the inner product of a complex Hilbert space is linear in the second argument.
is an involutive semigroup, then ϕ : S → C is called positive (negative) definite if the kernel (ϕ(st * )) s,t∈S is positive (negative) definite. If G is a group, then we consider it as an involutive semigroup with g * := g −1 and definite positive/negative definite functions accordingly.
We shall use the following lemma to translate between positive definite and negative definite kernels ([BCR84, Lemma 3.2.1]): Lemma 2.2. Let X be a set, x 0 ∈ X and Q : X × X → C be a hermitian kernel. Then the kernel is positive definite if and only if Q is negative definite.
Remark 2.3. According to Schoenberg's Theorem [BCR84, Thm. 3.2.2], a kernel Q : X × X → C is negative definite if and only if, for every h > 0, the kernel e −hQ is positive definite.
Remark 2.4. Let X be a set, K : X × X → C be a positive definite kernel and H K ⊆ C X be the corresponding reproducing kernel Hilbert space. This is the unique Hilbert subspace of C X on which all point evaluations f → f (x) are continuous and given by Then the map γ : X → H K , γ(x) = K x has total range and satisfies K(x, y) = γ(x), γ(y) . The latter property determines the pair (γ, H K ) up to unitary equivalence ([Ne00, Ch. I]).
Definition 2.5. A reflection positive Hilbert space is a triple (E, E + , θ), where E is a Hilbert space, θ a unitary involution and E + is a closed subspace which is θ-positive in the sense that the hermitian form ξ, η θ := ξ, θη is positive semidefinite on E + . For a reflection positive Hilbert space (E, E + , θ), let N := {ξ ∈ E + : ξ, θξ = 0} and write E for the completion of E + /N with respect to the inner product ·, · θ . We write q : E + → E, ξ → ξ for the canonical map.
Example 2.6. Suppose that K : X × X → C is a positive definite kernel and τ : X → X is an involution leaving K invariant and that X + ⊆ X is a subset with the property that the kernel K τ (x, y) := K(x, τ y) is also positive definite on X + . We call such kernels K reflection positive with respect to (X, X + , τ ). Then the closed subspace E + ⊆ E := H K generated by (K x ) x∈X+ is θ-positive for (θf )(x) := f (τ x). We thus obtain a reflection positive Hilbert space (E, E + , θ).
In this context, the space E can be identified with the reproducing kernel space H K τ ⊆ C X+ , where q corresponds to the map For a symmetric semigroup (G, S, τ ), we obtain natural classes of reflection positive kernels: Definition 2.7. A function ϕ : G → C on a group G is called reflection positive ([JNO18]) if the kernel K(x, y) := ϕ(xy −1 ) is reflection positive with respect to (G, S, τ ) in the sense of Example 2.6 with X = G and X + = S. These are two simultaneous positivity conditions, namely that the kernel ϕ(gh −1 ) g,h∈G is positive definite on G and that the kernel ϕ(st ♯ ) s,t∈S is positive definite on S.
The usal Gelfand-Naimark-Segal construction naturally extends to reflection positive functions and provides a correspondence with reflection positive representations (see [NÓ18,Thm. 3.4.5]).
Definition 2.8. For a symmetric semigroup (G, S, τ ), a unitary representation U of G on a reflection positive Hilbert space (E, E + , θ) is called reflection positive if θU g θ = U τ (g) for g ∈ G and U s E + ⊆ E + for every s ∈ S.
(b) For (G, S, τ ) = (R, R + , − id R ), continuous reflection positive unitary one-parameter groups (U t ) t∈R lead to a strongly continuous semigroup ( U , E) of hermitian contractions and every such semigroup (C, H) has a natural euclidean realization obtained as the GNS representation associated to the positive definite operator-valued function ϕ(t)

Reflection positivity for affine actions
In this section we introduce reflection positive affine isometric actions U : G → Mot(E) on real Hilbert spaces E and relate it to the corresponding measure preserving action on the Gaussian L 2 -space Γ(E). Let (G, S, τ ) be a symmetric semigroup and E be a real Hilbert space, endowed with an isometric involution θ. We consider an affine isometric action where U : G → O(E) is an orthogonal representation and β : G → E a 1-cocycle, i.e., Note that (5) in particular implies β e = 0 and thus β g −1 = −U −1 g β g . We further assume that θα g θ = α τ (g) , which is equivalent to θU g θ = U τ (g) and θβ g = β τ (g) for g ∈ G. (6) If β G is total in E, then we can realize E as a reproducing kernel Hilbert space For the function ψ : G → R, ψ(g) := β g 2 = C(g, g), we then obtain In view of (7), ψ is negative definite by Lemma 2.2. Equation (7) implies that, if β G is total, then the affine action α can be recovered completely from the function ψ and every real-valued negative definite function ψ : G → R with ψ(e) = 0 is of this form (cf. [Gu72,HV89]). We also note that θβ g = β τ (g) implies that ψ • τ = ψ.
By construction, the affine action of Mot(E) on E is reflection positive in the sense of Definition 3.1. For γ = (b, g), the relation γ(E + ) = E + is equivalent to b ∈ E + and gE + = E + . This shows that (b, g) ∈ S ∩ S −1 is equivalent to b ∈ E + ∩ θ(E + ) = (E + ) θ (because of θ-positivity) and to the condition that the restrictionss of g to E ± are unitary.
It is instructive to make the corresponding space Γ(E) more explicit and to see how it identifies with Γ( E). From we derive that For γ ∈ S, this leads to In particular, the cyclic subrepresentation generated by the constant function 1 = e iϕ(0) is determined for γ = (b, g) by the positive definite function It follows that the function ϕ(b, g) = e − 1 2 b 2 on Mot(E) is reflection positive for (Mot(E), S, τ ).
The following lemma provides a characterization of reflection positive affine actions in terms of kernels.
Lemma 3.3. Let (G, S, τ ) be a symmetric semigroup and (α, E) be an affine isometric action of (G, τ ) on the real Hilbert space E. We write E + := span β S for the closed subspace generated by α S (0) = β S . Then the following are equivalent: (b) ⇔ (c): Since E + is generated by (β s ) s∈S , this follows from (7) and the definition of C.
(c) ⇔ (d): By Lemma 2.2, the kernel C τ is positive definite if and only if the kernel (ψ(s ♯ t)) s,t∈S is negative definite, which is (d).
This leads us to the following concept: Definition 3.4. We call a continuous function ψ : G → R reflection negative with respect to (G, S, τ ) if ψ is a negative definite function on G and ψ| S is a negative definite function on the involutive semigroup (S, ♯) (Definition 2.1).
where γ h is the Gaussian measure on H * with Fourier transform γ h (v) = e −h v 2 and ϕ(v)(α) = α(v) as in Definition C.4 (see also Remark C.5). Then the constant function 1 is a cyclic vector, and the corresponding positive definite function is (b) We conclude that, for every reflection positive affine action (α, E), for (G, S, τ ), a cyclic reflection positive representation of (G, S, τ ) corresponding to ϕ h (g) = e −h βg 2 is obtained on the cyclic subspace of L 2 (E * , γ h ) generated by the constant function 1.

Some unitary representations of GL 2 (R)
In this section we introduce a family of unitary representations (U H , H H ) 0<H<1 of GL 2 (R), respectively of the projective group PGL 2 (R) ∼ = GL 2 (R)/R × .
We identify the real projective line P 1 (R) ∼ = S 1 of one-dimensional linear subspaces of R 2 with R ∞ = R ∪ {∞}. On this space the group G := GL 2 (R) acts naturally by fractional linear maps which shows that g acts on the circle R ∞ in an orientation preserving fashion if and only if det g > 0.
Definition 4.1. For two different elements α = γ ∈ R ∞ , we write (α, γ) for the open interval between α and γ with respect to the cyclic order. For γ < α in R this means that Definition 4.2. For the action of G on R ∞ , Lebesgue measure λ on R, resp., the corresponding measure on We could as well work without the sgn(det g)-factor, but we shall see below that it is more natural this way when it comes to the relation with fractional Brownian motion.
We now explain how this representation can be embedded into a family of unitary representations (U H ) 0<H<1 . For H = 1 2 , these representations belong to the so-called complementary series (cf. [vD09], [JO00], [NO14]). For H > 1 2 , the corresponding Hilbert space H H is the completion of the Schwartz space S(R) with respect to the inner product Note that 2 − 2H ∈ (0, 1), so that the kernel |x − y| 2H−2 is locally integrable and defines a positive definite distribution kernel on R. This implies in particular that (12) makes sense for any pair of compactly supported bounded measurable functions on R and that any such function defines an element of H H . In Appendix D we show that Definition 4.3. As we have seen in Example 2.10(a), the continuous function D H (x) = |x| 2H on R is negative definite for 0 < H ≤ 1. Therefore (13) defines for 0 < H < 1 a positive semidefinite form on S(R). We write H H for the corresponding Hilbert space. Here we use that the total integrals of ξ ′ and η ′ vanish (cf. Remark 7.3). Note that this definition also makes sense for H = 0 and H = 1, but H 0 = {0} and H 1 is one-dimensional.
Remark 4.5. (a) Considering the singularities of the factors in the formula for U H g , we see that the operators U H g preserve the class of locally bounded measurable functions for which For H > 1 2 , all these functions are contained in H H , so that we obtain a dense subspace of H H invariant under the operators U H g . (b) We note that the representation (U H , H H ) is equivalent to (U 1−H , H 1−H ), as can be seen by realizing these representations on S 1 (see [NÓ18,Ch. 7]). We will not use this duality here.
Remark 4.6. The unitary representations (U H ) 0<H<1 of GL 2 (R) yield in particular three important one-parameter groups:

Fractional Brownian motion
In this section we introduce fractional Brownian motion in terms of its covariance kernel. We then show that the unitary representations (U H ) 0<H<1 of GL 2 (R) and a realization of fractional Brownian motion in the Hilbert space H H , resp., on its Fock space, can be used to obtain in a very direct and simple fashion the projective invariance of fractional Brownian motion.

A realization of fractional Brownian motion
Definition 5.1. Fractional Brownian motion with Hurst index H ∈ (0, 1) is a real-valued Gaussian process (B H t ) t∈R with zero means and covariance kernel Satz 7] for the determination of those parameters for which this kernel is positive definite). A curve γ : Brownian motion arises for H = 1/2, and in this case We refer to the monograph [BOZ08] for a stochastic calculus for fractional Brownian motion.
Example 5.2. (Bifractional Brownian motion) For 0 < H ≤ 1 and 0 < K ≤ 1, the kernel on R is positive definite (Lemma 2.2). The corresponding centered Gaussian process B H,K is called bifractional Brownian motion ([HV03]). For K = 1 we obtain fractional Brownian motion which has stationary increments, but for K < 1 the process B H,K does not have this property since the kernel For a concept of trifractional Brownian motion and decompositions of fractional Brownian motion into independent bifractional and trifractional components we refer to [Ma13].
(17) These transformation rules show that: (a) For a fractional Brownian motion (B H t ) t∈R with Hurst index H, the centered Gaussian process (X t ) t∈R defined by also is a fractional Brownian motion with Hurst index H.
(b) For c ∈ R × and X t := |c| −H B H ct , the process (X t ) t∈R is a fractional Brownian motion with Hurst index H.
(c) For h ∈ R, the process X t := B H t+h − B H h also is a fractional Brownian motion with Hurst index H.
Lemma 5.4. For t ∈ R and 0 < H < 1, consider the random variables t∈R is a realization of fractional Brownian motion with Hurst index H.

This is an elementary calculation.
Case H < 1 2 : In this case we can calculate the scalar product (48) by using the formula For H > 1 2 , the preceding lemma follows from [AL08, p. 168] and for H = 1 2 it is already contained in [Ko40a,p. 117]. Other realizations of fractional Brownian motion are discussed in [AJP12]. [Hid80,p. 130]). For H = 1/2 this sign change does no longer work because C H (s, t) = 0 for st < 0.

Projective invariance of the covariance kernels
Recall the cross ratio and that it is invariant under the action of GL 2 (R). As CR(z, 0, 1, ∞) = z, we obtain for g(α, β, γ) = (0, 1, ∞) the relation expressing g as a cross ratio. Accordingly, we obtain for each triple (α, β, γ) of mutually different elements of R ∞ the following kernel where the last expression only makes sense for α, β, γ ∈ R. By construction we then have Note that C H 0,1,∞ = C H and that, for β ∈ R × , α = 0 and γ = ∞, we obtain in particular for the dilation g.x = β −1 x: , which is a multiple of C H . In particular, normalization of C H and C H 0,β,∞ leads on R × to the same kernels. We also observe that implies the equality of the normalized kernels C H ∞,β,0 (s, t) = C H 0,β,∞ (s, t). From (19) and the preceding discussion we obtain immediately: Proof. Equation (21)  Remark 5.8. The identity component G α,γ 0 of the stabilizer G α,γ of {α, γ} in G = PGL 2 (R) is a (hyperbolic) one-parameter group of SL 2 (R) whose fixed points are α and β (these are the orientation preserving transformations mapping the interval (α, γ) onto itself). The full stabilizer of the pair (α, γ) is isomorphic to R × . It also contains an involution in PSL 2 (R) exchanging the two connected components of R ∞ \ {α, γ}.

Projective invariance of the realization
We now link the projective invariance of fractional Brownian motion to the specific realization in the Hilbert space H H . Formula (b) in the theorem below connects the normalized projective transforms of the kernel C H to the unitary representation U H of GL 2 (R) on H H . Theorem 5.9. For a triple (α, t, γ) of mutually different points in R ∞ , there exists a uniquely determined Möbius transformation g t ∈ PSL 2 (R) with (g t (α), g t (t), g t (γ)) = (0, 1, ∞). We thus obtain functions of the form (22) Then the following assertions hold: Proof. (a) As χ [0,1] HH = 1 and the representation U H is unitary, the functions f α,γ t are unit vectors in H H .
This relation is the reason for the sgn(det g)-factor in the definition of U H . For s, t ∈ {α, γ}, the element g s g −1 t fixes 0 and ∞, hence is linear and given by multiplication We thus obtain with Remark 5.3, (18) and (23) Since the kernel on the left hand side is normalized, (b) follows.
From Proposition 5.7 and Theorem 5.9, we obtain: Corollary 5.10. The normalized stochastic process defined by (f α,γ t ) t =α,γ is stationary with respect to the stabilizer of the two-point set {α, γ} in GL 2 (R).

Fractional Brownian motion and reflection positivity
We now turn to reflection positivity in connection with fractional Brownian motion. Our main result is Theorem 6.3 on the reflection positivity of the normalized kernels C H α,γ for H ≤ 1 2 . We start with the normalization of the kernel C H , which corresponds to the pair (α, γ) = (0, ∞).
Proposition 6.1. The kernel For H = 1 2 , we have µ = 2δ 1 , and E is one-dimensional. Proof. Reflection positivity with respect to (X, X + , θ) is equivalent to the positive definiteness of the kernel for |t|, |s| < 1 (cf. Example 2.6). This kernel is positive definite on (−1, 1) if and only if the function With the kernels C H α,γ (Lemma 5.6), we obtain a family of normalized Gaussian processes, covariant with respect to the action of GL 2 (R) on R ∞ . The following proposition shows that, for H ≤ 1 2 , these kernels are reflection positive with respect to involutions exchanging α and γ.
Theorem 6.3. Let α, β, γ in R ∞ be mutually different and let θ := θ α,β,γ be the projective involution exchanging α and γ and fixing β. Let X := R ∞ \ {α, γ} and X ± ⊆ X be the intersection of X with the two connected components of the complement of the fixed point set of θ (which consists of two points). Then the kernel C H α,γ is reflection positive with respect to (X, X + , θ) if and only if H ≤ 1 2 .

Brownian bridges
As we shall see below, for H = 1 2 , the covariance kernels C 1/2 α,γ turn out to correspond to Brownian bridges.
If m(t) = 0 for every t, then (X t ) α≤t≤β is called a pinned Brownian motion.
(b) A normalized Brownian bridge is a Brownian bridge whose variance is normalized to 1, so that its covariance kernels is Proposition 6.6. (Reflection positivity of the Brownian bridge) For α < γ in R and H = 1 2 , the kernel C 1/2 α,γ is the covariance of a normalized Brownian bridge on the interval [α, γ]. This kernel is reflection positive for (X, X + , θ), where X = [α, γ], X + = [α, β] and θ(t) = α + γ − t is the reflection in the midpoint. The corresponding Hilbert space E is one-dimensional.
Proof. First we observe that so that we obtain for the associated normalized kernel This is the kernel (24) of a normalized Brownian bridge on [α, γ].

Affine actions and fractional Brownian motion
In this section we discuss reflection positivity for the affine isometric action of R corresponding to fractional Brownian motion (B H t ) t∈R . In Subsection 7.2 we shall encounter the curious phenomenon that, for every H there exists a natural unitary involution θ that leads to a reflection positive Hilbert space, but only for H ≤ 1 2 it can be implemented in such a way that θb H t = b H −t , so that we obtain a reflection positive affine action of (R, R + , − id). In a third subsection we discuss increments of a 1-cocycle (β t ) t∈R defining an affine isometric action and characterize cocycles with orthogonal increments as those corresponding to multiples of Brownian motion.

Generalities
If (α, E) with α t ξ = U t ξ + β t is an affine isometric action of R on the complex Hilbert space E, then Proposition B.7 implies that, up to unitary equivalence, E ∼ = L 2 (R, σ) for a Borel measure σ on R. We may assume that Then second quantization leads to the centered Gaussian process X t := ϕ(β t ) whose covariance kernel is given by (Proposition B.8). Below we only consider real Hilbert spaces. This corresponds to the situation where the measure σ is symmetric. Then the function is also real and given by Lemma 7.1. Let C : R × R → C be a continuous positive definite kernel with C 0 = C(·, 0) = 0.
For ξ ∈ C ∞ c (R), we put Then the subspace is dense in the corresponding reproducing kernel Hilbert space H C .
Proof. From the existence of the H C -valued integral defining C ξ , it follows that these are elements of H C . Let H 1 denote the closed subspace generated by the elements , so that C ξ − C δn ∈ H 1 and C δn → 0 imply that C ξ ∈ H 1 . Using a sequences of the form ξ n := δ n (· − t) ∈ C ∞ c (R), which converges to δ t , we see that C ξn → C t for t ∈ R, hence that H 1 = H C .
Corollary 7.2. Let α t ξ = U t ξ + β t define a continuous affine isometric action of R on the real Hilbert space H. For ξ ∈ S(R) we put β ξ := R ξ(t)β t dt. Then {β ξ : ξ ∈ S(R) 0 } generates the same closed subspace as (β t ) t∈R . (b) Write C(s, t) = β s , β t and D(t) = C(t, t) for a cocycle (β t ) t∈R of an orthogonal representation (U t ) t∈R of R on the real Hilbert space E (see Section 3 and [Gu72,HV89]). We also assume that the family (β t ) t∈R is total in E. Then As E is generated by the (β t ) t∈R , the Hilbert space E can be identified with the reproducing kernel Hilbert space H C ⊆ S ′ (R) corresponding to the positive definite distribution C, but the preceding argument adds another picture. It can also be identified with the Hilbert space H D obtained by completing S(R) 0 with respect to the scalar product (27). Taking into account that S(R) 0 = {ξ ′ : ξ ∈ S(R)}, this is how we introduced the Hilbert space H H in (48).
As in (25), the spectral measure σ (a Borel measure on R) of fractional Brownian motion is determined by The corresponding realization is obtained by β t := e t ∈ L 2 (R, σ) =: E (Proposition B.7). According to [AJP12,p. 40], the measure σ is given by (58) in Appendix E for a derivation of this formula).
Example 7.4. For H = 1 2 , the spectral measure σ is a multiple of Lebesgue measure: This leads to a natural realization of Brownian motion by a cocycle of the multiplication representation of R on L 2 (R) and, by Fourier transform, to the realization of Brownian motion as a cocycle for the translation representation of R on L 2 (R).
Remark 7.5. Combining Remark 7.3 with (48) in Section 4, we see that the Hilbert space H H can alternatively be constructed from the scalar product Here we write H C H ⊆ S ′ (R) for the Hilbert space of distributions defined by C H , obtained by completing S(R) with respect to the scalar product ·, · C H , defined by the positive definite distribution kernel C H and associating to ξ ∈ S(R) 0 the distribution C H ξ := ·, ξ C H . Note that where we consider the δ-functionals as elements of H C H with As a distribution, δ s corresponds to the function C H s which corresponds to the evaluation in s in the reproducing kernel Hilbert space H C H ⊆ S ′ (R). Compare also with the corresponding discussion in [NO14] and [NÓ18,Ch. 7].
The inverse of the unitary operator D : H H → H C H is given by Proposition 7.6. Consider the realization (b H t ) t∈R of fractional Brownian motion in the Hilbert space E := H H , the affine isometric R-action defined by where S H t denotes the translation by t on H H , and the closed subspace E + generated by (b H t ) t≥0 . Then Accordingly, the reflection σ(t) = −t on R leads to the twisted kernel As −D H (t) = −|t| 2H is negative definite on the semigroup (R + , id) if 1 2 ≤ H ≤ 1 (Example 2.10(c)), the assertion follows.
We conclude that the affine actions of R corresponding to fractional Brownian motion with Hurst parameter H ≤ 1 2 leads to a reflection positive affine action, and from the calculation in Example 3.2 we derive that the reflection positive function on (R, R + , − id) corresponding to the constant function 1 = e iϕ(0) ∈ Γ(E) is given by ϕ(t) = e − b H t 2 /2 = e −t 2H /2 . The preceding proposition also explains why we obtain trivial reflection positivity for H = 1 2 since in this case (E, E + , ±θ) are both reflection positive.
Remark 7.7. For h > 0 and H ≤ 1 2 and the kernel Q h (x, y) := e −h x−y 2 on E, we obtain with the same arguments the positive definite functions ϕ(t) = e −ht 2H on R + .
Proposition 7.8. The following are equivalent: (i) β has orthogonal increments.
(ii) ⇒ (i): Let H ± ⊆ H be the closed subspaces generated by the β t for ±t ≥ 0. Then (ii) means that H + ⊥H − . For t 1 ≤ t 2 ≤ t 3 ≤ t 4 we now observe that (ii) ⇒ (iii): Put ψ(t) := C(t, t) = β t 2 and note that this function is increasing for t ≥ 0. For 0 ≤ s ≤ t we have and therefore C(s, t) = ψ(s ∧ t) for t, s ≥ 0. Further, so that translation invariance of this kernel leads to β t − β s 2 = ψ(|t − s|).
From the orthogonality of the increments, we further derive for 0 ≤ s ≤ t the relation Since ψ is continuous, there exists a c ≥ 0 with ψ(t) = ct for t ≥ 0, and therefore (28) yields C(s, t) = c · s ∧ t for t, s ≥ 0. We likewise find some c ′ ≥ 0 with C(s, t) = c ′ · |s| ∧ |t| for s, t ≤ 0. Now ψ(−t) = ψ(t) implies that c ′ = c, and this completes the proof.
(iii) ⇒ (ii) follows from the fact that C(s, t) = 0 for ts < 0 holds for the covariance kernel of Brownian motion.
If (E, E + , θ) is reflection positive for an affine R-action, E + is generated by (β t ) t≥0 and θβ t = β −t , then the space E is trivial if and only if β s , β t = 0 for ts < 0, which in turn means that β has orthogonal increments by Proposition 7.8. In view pf Proposition 7.8(iii), Brownian motion can, up to positive multiples, be characterized as a process with stationary orthogonal increments.
Remark 7.9. Consider the stochastic process (ϕ(β t )) t∈R associated to the cocycle (β t ) t∈R in E. We say that the increments of this process are positively (negatively) correlated if, for we may w.l.o.g. assume that t 3 = 0, i.e., t 1 ≤ t 2 ≤ 0 ≤ t 4 . Therefore the process has positively (negatively) correlated increments if and only if, for every t ≥ 0, the functions As is non-negative for H ≥ 1 2 and non-positive for H ≤ 1 2 , it follows that fractional Brownian motion has positively correlated increments for H ≥ 1 2 and negatively correlated increments for H ≤ 1 2 .

Perspectives
In this final section we briefly discuss some results that are possibly related to far reaching generalizations of what we discuss in the present paper on the real line, resp., on its conformal compactification S 1 .

Helices and Hilbert distances
Let G be a Lie group, K ⊆ G be a closed subgroup. We write X = G/K for the corresponding homogeneous space and Then ψ(g) := r(x 0 , x) = C(x, x), where x = g.x 0 , defines a function on G with so that ψ is a negative definite K-biinvariant function with ψ(e) = 0 on G (Lemma 2.2). Conversely, every such function defines by (29) a Lévy-Schoenberg kernel on G/K. For a Lévy-Schoenberg kernel C, there exists a map ξ : X → E into a real Hilbert space E with ξ(x 0 ) = 0, unique up to orthogonal equivalence (Lemma A.1), such that Then ξ is called a helix and √ r is called an invariant Hilbert distance on X. The uniqueness of ξ further implies the existence of an affine isometric action α : G → Mot(E) for which ξ is equivariant. Writing α g ξ = U g ξ + β g , we then have ξ(gK) = β g for g ∈ G. In particular, any helix specifies an orthogonal representation (U, E) of G.
Classification results for Lévy-Schoenberg kernels, resp., invariant Hilbert distances, resp., affine isometric actions of G with a K-fixed points, are mostly stated in terms of integral formulas (Lévy-Khintchine formulas). Results are nown in various contexts: • for G locally compact and K compact ( [FH74]); see [PRV63] and [Ha69] for locally compact abelian groups.
• for the euclidean motion group • for G compact ([Ga67, Thm. 3.15]); see [Bo41] for G = SO d+1 (R) and X = S d .  Example 8.1(a) then implies that the kernels For various aspects of fractional Brownian motion on R d , we refer to [AJ12] and [AJL11].

Brownian motion on metric spaces
Problem 8.5. The natural analog of the function χ R+ which generates the realization of the fractional Brownian motion in H H has a natural higher dimensional analog in χ R d + , the characteristic function of a half space. Does this correspond to some "fractional Brownian motion" on R d ?

Complementary series of the conformal group
The function x −α on R d is locally integrable if and only if α < d, and it defines a positive definite distribution if and only if α ≥ 0 ([NO14, Lemma 2.13]). We thus obtain a family of Hilbert subspaces H α ⊆ C −∞ (R d ) for 0 ≤ α < d. For α = 0 this space is one-dimensional, consisting of constant functions.
Let G := Conf(R d ) ⊆ Diff(S d ) be the conformal group of R d , considered as a group of diffeomorphisms of the conformal compactification S d (implemented by a stereographic projection). We consider the kernels Q(x, y) := x − y and Q α (x, y) := x − y −α .
We then have In fact, this relation is obvious for affine maps g(x) = Ax + b, A ∈ R × O d (R). As the conformal group is generated by the affine conformal group R d ⋊ (R × O d (R)) and the inversion σ(x) := x x 2 in the unit sphere, it now suffices to verify the relation also for σ. It is a consequence of where r x is the reflection in x ⊥ , so that dσ(x) = x −2 .
As a consequence, we obtain (see [NO14,Lemma 5.8] for the corresponding relation on the sphere S d ).
The transformation formula (31) implies in particular that the conformal cross ratio CR(x, y, z, u) := Q(x, y)Q(z, u) Q(x, u)Q(z, y) is invariant under the conformal group.
In view of (32), we obtain with J g (x) := dg(x) a representation on test functions. The same calculation as in [NO14,Lemma 5.8] now implies that U α defines a unitary representation of G on the space H α , specified by the scalar product ξ, η α := For g −1 (x) = Ax + b, we have in particular and for the involution σ(x) = x −2 x we have Remark 8.6. Up to the factor sgn(det g), this specializes for d = 1 and α = 2(1 − H) to the representation U H for 1 2 < H < 1. We refer to Appendix D for more detailed discussion of this case.
As the kernel D H (x, y) := x − y 2H , 0 < H ≤ 1, on R d is negative definite, the corresponding kernel is positive definite. We thus obtain on S(R d ) 0 = ξ ∈ S(R d ) : R d ξ(x) dx = 0 a positive semidefinite hermitian form by Example 8.7. For H = 1, we have so that the corresponding reproducing kernel Hilber space is is the center of mass of the measure ξ dx.
Remark 8.8. In [Ta90, Thm. 7] Takenaga derives some "conformal invariance" of Brownian motion in R d but it seems that his method only works on the parabolic subgroups of the conformal group stabilizing either 0 or ∞. So it would be interesting to use the complementary series representations of the conformal group to derive a more complete conformal invariance in the spirit of the present paper for d > 1.

The Ornstein-Uhlenbeck process
In this section we describe shortly the connection to the Ornstein-Uhlenbeck process. For that let H = 1 2 . Then Y t := ϕ(τ 1/2 e t χ [0,1] ), t ∈ R, is a stationary Gaussian process realized in H 1/2 ∼ = L 2 (R). It is the Ornstein-Uhlenbeck process. The corresponding covariance kernel is on R + is positive definite leading to a one-dimensional Hilbert space via the Osterwalder-Schrader construction (cf. Example 2.6).
For 0 < H < 1, we also obtain by Y H t := ϕ(τ H e t χ [0,1] ) = ϕ(e tH χ [0,e −t ] ), t ∈ R, in H H a stationary Gaussian process. The corresponding covariance kernel is We then have In Proposition 6.1 we have seen that this function is positive definite if and only if 0 < H ≤ 1/2. Hence C is reflection positive for 0 < H ≤ 1/2. Now let H = 1/2 so that C(t, s) corresponds to the Ornstein-Uhlenbeck process. In this case C(t, s) is invariant under the reflection θ(t) = −t. As χ [0,1] is cyclic in L 2 (R + ) for the dilation group, there exists a unique unitary isometry V on L 2 (R + ) with V (τ e t χ [0,1] ) = τ e −t χ [0,1] for t ∈ R. The latter relation is is equivalent to e t/2 V (χ [0,e −t ] ) = e −t/2 χ [0,e t ] , resp., Therefore V coincides with the unitary involution θ corresponding to the symmetry of Brownian motion under inverstion of t (see Remark 5.3(a), and also Lemma 8.12 below). Note that (θξ)(x) = 1 x ξ 1 x also defines an isometric involution on L 2 (R × + ) having the same intertwining properties with the dilation group as θ, but this involution does not fix χ [0,1] .
To derive a formula for the involution θ, we recall the Sobolev space H 1 * (R). Definition 8.10. Let H 1 * (R) denote the Sobolev space of all absolutely continuous functions F : R → R satisfying F (0) = 0 and F ′ ∈ L 2 (R). Then is a bijection. We define a real Hilbert space structure on H 1 * (R) in such a way that I is isometric. The inverse isometry is then given by F → F ′ .
Remark 8.11. (a) From the relation I(f )(t) = f, b 1/2 t , it follows that H 1 * (R) is the real reproducing kernel Hilbert space with kernel C = C 1/2 , i.e., the covariance kernel of Brownian motion (B t ) t∈R .
Remark 8.13. (a) Note that (35) has a striking similarity with the formula for T J one finds in [Ta88b,p. 273]. This suggests these operators correspond to a discrete series representation of SL 2 (R), hence cannot be implemented in the complementary series representation that we consider. (b) From the explicit formula for θ, we can also make the natural map q from E + := L 2 ([0, 1]) ⊆ E = L 2 (R + ) to the space E ∼ = C more explicit. It is given by This follows from Here χ [0,1] ∈ E + spans the one-dimensional subspace of θ-fixed points, so that q : E + → E can be identified with the projection onto Cχ [0,1] .
The relation (b g ) h t = b gh t for g, h ∈ SL 2 (R) now leads to and hence to U g U h = U gh . We thus obtain on H 1 * (R) a continuous unitary representation of SL 2 (R). Note that U −1 = −1, so that this representation does NOT factor through a representation of PSL 2 (R). 1 With the aforementioned conventions concerning expressions of the form tF (s/t) = 0 for t = 0, the representation is given by If g −1 .t = αt + β with α > 0 is affine, then and we get (U g F )(t) = α −1/2 (F (αt + β) − F (β)).
For J := 0 −1 1 0 , we have J −1 = −J, so that We also note that (36) leads to yields the usual action of Aff(R) on L 2 (R).
1 The most economical way to verify the assertion that the operators Ug are unitary is to do that for g.t = at + b and σ.t = −t −1 and then to verify that (b g ) h t = b gh t holds for all g ∈ SL 2 (R) and h.t = at + b or h.t = −t −1 . As SL 2 (R) is generated by elements of this form, it follows that U defines a unitary representation on H 1 * (R) ∼ = H C 1/2 . Remark 8.14. Since we want to express this in terms of the derivatives, we observe that, formally, we expect something like In particular, we have This formula describes the unique unitary involution on L 2 (R) mapping b t to b −t −1 (cf. Lemma 8.12).

A Existence of affine isometries
For a map γ : X → H into a Hilbert space, the closed subspace H γ generated by all differences γ(x) − γ(y), x, y ∈ X, is called the chordal space of γ (cf. [Fu05]). The following lemma is an abstraction of [Ko40b, Satz 1,3].
Lemma A.1. Let X be a non-empty set, H be a real or complex Hilbert space and γ : X → H and γ ′ : X → H ′ be maps with H γ = H and H γ ′ = H ′ . For x 0 ∈ X, consider the kernel Then the following are equivalent: (i) There exists an affine isometry V : If H and H ′ are real, then these conditions are equivalent to If (i)-(iii) are satisfied, then the affine isometry V in (i) is uniquely determined by the relation Then we put V ξ := U ξ − U (γ(x 0 )) + γ ′ (x 0 ).

B Stochastic processes
Definition B.1. Let (Q, Σ, µ) be a probability space and (B, B) be a measurable space. A stochastic process with state space (B, B) is a family (X t ) t∈T of measurable functions X t : Q → B, where T is a set.
(a) We call the stochastic process (X t ) t∈T full if, up to sets of measure 0, Σ is the smallest σ-algebra for which all functions X t are measurable.
(b) For B = R or C, we say that (X t ) t∈T is square integrable if every X t is square integrable. Then the covariance kernel C(s, t) := E(X s X t ) on T is positive definite. If C(t, t) = E(|X t | 2 ) > 0 for every t ∈ T , then X t := X t / E(|X t | 2 ) is called the associated normalized process. Its covariance kernel is C(s, t) = C(s, t) C(s, s)C(t, t) for s, t ∈ T.
(c) On the product space B T of all maps T → B, there exists a unique probability measure ν with the property that, for t 1 , . . . , t n ∈ T , the image of ν under the evaluation map ev t1,...,tn : B T → B n is the image of µ under the map (X t1 , . . . , X tn ). We call ν the distribution of the process (X t ) t∈T ([Hid80, Thm. 1.5]).
Definition B.2. Let (X t ) t∈T be a centered K-valued stochastic process and σ : G × T → T be a group acting on T .
(a) The process (X t ) t∈T is called stationary if, for every g ∈ G, the process (X g.t ) t∈T has the same distribution. Then we obtain a measure preserving G-action on the underlying path space K T by (g.ω)(t) := ω(g −1 .t), resp., g.X t = X g.t .

B.1 Processes with stationary increments
Proposition B.4. (The flow of a process with stationary increments) Let (X t ) t∈T be a K-valued stochastic process and σ : G × T → T, (g, t) → g.t be a G-action on T . Then the following are equivalent: (i) (X t ) t∈T has stationary increments.
defines a measure preserving flow on the path space K T satisfying Proof. (i) ⇒ (ii): For each g ∈ G, we consider the map Then i.e., Since, for every finite subset F ⊆ T , the random vector (X g.t − X g.t0 ) t∈F has the same distribution as (X t − X t0 ) t∈F , the flow on K T defined by σ is measure preserving.
(ii) ⇒ (i): If there exists a measure preserving G-action on K T satisfying (38), then the distribution of (X g.t + X t0 − X g.t0 ) t∈T is the same as the distribution of (X t ) t∈T . Subtracting X t0 , it follows that the distribution of (X gt − X g.t0 ) t∈T is the same as the distribution of (X t − X t0 ) t∈T , i.e., that (X t ) t∈T has stationary increments.
Remark B.5. (a) If the K-valued process (X t ) t∈T on (Q, Σ, µ) is square integrable, then (X t ) t∈T generates a closed linear subspace H 1 ⊆ L 2 (Q, µ). The existence of a unitary representation (U g ) g∈G on H 1 with U g X t = X g.t for g ∈ G, t ∈ T , is equivalent to the invariance of the covariance kernel C(s, t) := E(X s X t ) = X s , X t (cf. [Ne00, Ch. I]). This condition is in particular satisfied if the process is stationary.
(b) For a square integrable process, it likewise follows that the existence of an action of G by affine isometries (α g ) g∈G on the closed affine subspace A ⊆ L 2 (Q, µ) generated by (X t ) t∈T satisfying X g.t = α g X t for g ∈ G, t ∈ T is equivalent to the independence from g ∈ G of the kernel Q g (t, s) := E((X g.t − X g.t0 )(X g.s − X g.t0 )) for s, t ∈ T, for some t 0 ∈ T (and hence for all t 0 ∈ T )) (Lemma A.1). For a real-valued process (K = R), this condition is equivalent to the G-invariance of the kernel D(t, s) := E((X t − X s ) 2 ) for t, s ∈ T on T × T (Lemma A.1).
Lemma B.6. Let (α t ) t∈R be a continuous isometric affine R-action of the form α t ξ = U t ξ + β t for t ∈ R, ξ ∈ H on the real or complex Hilbert space H. If β R is total in H, then the unitary representation (U t ) t∈R is cyclic.
Proof. First proof: We write H = H 0 ⊕ H 1 , where H 0 = H U is the closed subspace of U -fixed vectors and H 1 := H ⊥ 0 . Accordingly, we write β = β 0 + β 1 . Then β 0 : R → H 0 is a continuous homomorphism, hence of the form β 0 (t) = tv 0 for some v 0 ∈ H 0 . We conclude that dim H 0 ≤ 1, so that it suffices to show that the representation on H 1 is cyclic. We may therefore assume from now on that H U = {0}.
Step 1: First we assume that Spec(U ) is compact and does not contain 0. Then there exists an ε > 0 such that the operators U t − 1 are invertible for |t| < ε. For |t|, |s| < ε, we then have is independent of t. Now the relation β t = U t v − v holds for |t| < ε, but since β is a continuous cocycle, it follows for all t ∈ R. Clearly, v ∈ H is a U -cyclic vector.
Step 2: Now we consider the general case where H is complex. We write R × = n∈N C n , where C n is relatively compact with 0 ∈ C n . If P is the spectral measure of U , we accordingly obtain a U -invariant decomposition H = ⊕ n∈N P (C n )H into subspace on which U has compact spectrum not containing 0. Now our assumption implies that every H n is generated by the values of the H n -component of β.
Step 1 now implies that each H n is cyclic, and since representations on the subspaces H n are mutually disjoint, the representation on H is cyclic.
Step 3: Finally, we consider the general case where H is real. Then we may choose the sets C n ⊆ R such that they are symmetric, i.e., C n = −C n . Then the corresponding spectral subspaces of H C are invariant under complex conjugation and we can proceed as in Step 2.
Alternative proof: A more direct argument can be derived from the work of P. Masani ([Mas72]; see also [Fu05]). For the element ξ := ∞ 0 e −t β t dt one shows that the shift operators satisfy β t = T (t, 0)ξ. Here the main point is to verify first the switching property ([Mas72, and that Proof. In view of Lemma B.6, we may assume that the representation (U, H) is cyclic.
Step 1: First we assume that H U = {0}. According to Bochner's Theorem, any cyclic unitary one-parameter group (U, H) with H U = {0} is equivalent to the multiplication representation on some space L 2 (R × , µ) by (U t f )(x) = e itx f (x). For this representation it is easy to determine the cocycles. They are of the form where u : R → C is a measurable function with the property that, for every t ∈ R, the function (e itx − 1)u is square integrable. Replacing µ by the measure we may assume that u(x) = 1 ix , which leads to β t (x) = e itx −1 ix .
Step 2: If H U = H, then β : R → H is a continuous homomorphism, hence of the form β t = tv for some v ∈ H. The cyclicity assumption implies that H = Cv ∼ = L 2 (R, σ) for the measure σ = v 2 δ 0 . Here the vector v corresponds to the constant function 1, so that β t = tv = t.
The assertion now follows by applying Steps 1 and 2 to the summands of the decomposition The following theorem is basically the Lévy-Khintchine Theorem for the group G = R (cf. Proposition B.8. Let (X t ) t∈R be a complex-valued zero mean Gaussian process on (Q, Σ, µ) with X 0 = 0 and stationary quadratic increments. Then there exists a uniquely determined Borel measure σ on R such that A measure σ on R arises for such a process if and only if The function is negative definite and satisfies All other negative definite continuous functions satisfying (43) are of the form r(t) = r(t) + itµ for some µ ∈ R.
The measure σ is called the spectral measure of the process (X t ) t∈R .
Proof. Let A ⊆ L 2 (Q, Σ, µ) be the closed affine subspace generated by (X t ) t∈R . As X 0 = 0, this is actually a linear subspace. Now Lemma A.1 implies the existence of an affine isometric action (α t ) t∈R of R on A satisfying α t X s = X s+t . In particular, β t := X t is a corresponding cocycle. Now the existence of σ follows from Proposition B.7. Now we show that (42) is equivalent to the square integrability of all (e t ) t =0 (Definition B.1) and the continuity of the function t → C σ (t, t) = e t it follows that the square integrability of all e t with respect to σ is equivalent to If r > 0 and t is sufficiently small, then the integrand has a positive infimum on the interval [−r, r]. Therefore the finiteness of all f (t) implies that all compact subsets of R have finite σ-measure.
Since the function f (t) = 1 2 C σ (t, t) is continuous, for every ε > 0, we have As the function u → 1 − sin(εu) εu has a positive infimum on [1, ∞), it follows that |u|≥1 1+u 2 < ∞ (cf. [Luk70, Lemma 5.5.1]). We claim that we obtain a continuous negative definite function We first show that the integrals exist. To this end, we observe that Since all three summands are bounded, the existence of the integral (44) defining r(t) follows. The first two summands are bounded independently of t, and the third summand can also be written as where the function h : R → C is bounded. We conclude that all summands are locally uniformly bounded in t. Therefore the continuity of the function r follows from Lebesgue's Dominated Convergence Theorem. Moreover, r is negative definite because the functions t → 1 − e itu and t → it are. We further have the relation showing that C σ is the positive definite kernel associated to the continuous negative definite function r, hence in particular continuous.

C Second quantization and Gaussian processes
Definition C.1. ([Hid80, Def. 1.6]) Let T be a set and K = R or C. A K-valued stochastic process (X t ) t∈T is said to be Gaussian if, for all finite subsets F ⊆ T , the corresponding distribution of the random vector X F = (X t ) t∈F with values in K F is Gaussian.
Definition C.2. Let H be a K-Hilbert space. A Gaussian random process indexed by H is a random process (ϕ(v)) v∈H on a probability space (Q, Σ, P ) indexed by H such that (GP1) (ϕ(v)) v∈H is full, i.e., the random variables ϕ(v) generate the σ-algebra Σ modulo zero sets.
(GP2) Each ϕ(v) is a Gaussian random variable of mean zero.
For any function m : T → R, t → m t , we obtain a Gaussian process (X t ) t∈T with mean vector (m t ) t∈T by X t := ϕ(γ(t)) + m t .
If γ(T ) is total in H, then the corresponding Gaussian process is full. Conversely, every Gaussian process (X t ) t∈T with mean vector (m t ) t∈T is of this form. Here we may choose H as the subspace of L 2 (Q, Σ, µ) generated by the X t − m t ([Hid80, Thm. 1.10]). Considering the ϕ(v) as random variables, we thus obtain the canonical centered Gaussian process (ϕ(v)) v∈H over H. It satisfies E(ϕ(v)) = 0 and E(ϕ(v)ϕ(w)) = v, w for v, w ∈ H.
It therefore makes sense to put H 1/2 := L 2 (R), so that we have Hilbert spaces H H for 1 2 ≤ H < 1. In the form (47), the scalar product ·, · H is defined by a distribution kernel which is locally integrable for any H > 0. We shall use this observation to define Hilbert spaces H H for 0 < H < 1. To find a more symmetric form of the scalar product, we calculate We thus obtain from (47) the simple form ξ, η H = − 1 2 R R ξ ′ (x)η ′ (y)|x − y| 2H dx dy.

This leads to
The most tricky part is to verify that the operator (U ξ)(x) := −|x| −2H ξ(x −1 ) is unitary on H H . Since U is an involution, it suffices to show that U ξ, η = ξ, U η for ξ, η ∈ S(R).

R R
Hξ(x)η ′ (y)|1 − xy| 2H dx dy x . Again, the symmetry of the integral kernel now implies that this expression is symmetric in ξ and η. We conclude that U defines a unitary operator on H H . This implies unitarity of the operators U H g for 0 < H < 1 2 .