[Paper Review] Automorphisms of the type II_1 Arveson system of Warren's noise

Boris Tsirelson|ArXiv.org|Dec 12, 2006

Stochastic processes and financial applications3 references3 citations

TL;DR

This paper proves that only the trivial rotation (0 radians) can be extended as an automorphism to the type $II_1$ Arveson system constructed from Warren's noise, which includes both Brownian motion and additional Bernoulli variables at local minima. While shifts extend naturally, nontrivial rotations—such as $2\pi/3$—fail to lift due to a contradiction arising from the non-commutative structure of the noise's increments and the failure of a key positivity condition in the associated covariance operators.

ABSTRACT

Motions of the plane (shifts and rotations) correspond to automorphisms of the type I Arveson system of white noise. I prove that automorphisms corresponding to rotations cannot be extended to the type II Arveson system of Warren's noise.

Motivation & Objective

• To determine which automorphisms of the classical type $I_1$ Arveson system (from white noise) can be extended to the nonclassical type $II_1$ Arveson system arising from Warren's noise.
• To investigate whether rotational symmetries—specifically those corresponding to unitary rotations in the complex plane—can be lifted from the white noise system to the richer noise system.
• To resolve the open question about the structure of gauge groups in non-type I Arveson systems, particularly for Warren's noise.
• To establish that only the identity rotation preserves the algebraic and probabilistic structure of the extended system.

Proposed method

• Constructs a family of Borel functions $\psi_{n,\delta}(t, \omega)$ on $ (0,1) \times \Omega_1^{\text{white}} $ that approximate the sign of increments of Brownian motion over small intervals.
• Defines a sequence of operators $\mathcal{C}_{\psi_{n,\delta}}$ acting on $H_{0.5}^{(1)} \otimes H_{0.5}^{\text{white}} $, whose expectation values are used to probe the behavior of the automorphism under rotation.
• Uses a key lemma showing that $\langle \mathcal{C}_{\psi_{n,\delta}} \rangle_f \to \|f\|^2$ as $\delta \to 0^+$ for $f$ in the relevant Hilbert space, under suitable conditions.
• Applies a generalized version of a covariance inequality (Lemma 4.2) to bound the sum of expectations over $f$, $\theta_1 f$, and $\theta_1^{-1}f$, showing it is bounded by $ (3 - \varepsilon)\|f\|^2 $ for some $\varepsilon > 0$.
• Derives a contradiction by showing that the liminf of the sum of expectations tends to $3\|f\|^2$ as $\delta \to 0^+$, violating the earlier bound unless the rotation is trivial.
• Concludes via contradiction that no nontrivial rotation automorphism can extend to the $II_1$ system.

Experimental results

Research questions

• RQ1 Can the rotation automorphism of the type $I_1$ Arveson system (from white noise) be extended to the type $II_1$ Arveson system of Warren's noise?
• RQ2 What is the structure of the gauge group of the $II_1$ Arveson system derived from Warren's noise?
• RQ3 Why does the rotation by $2\pi/3$ fail to extend, while shifts do?
• RQ4 Is there a fundamental obstruction in the noise structure that prevents nontrivial rotations from lifting?
• RQ5 Does the presence of independent Bernoulli variables at local minima of Brownian motion break rotational symmetry in the associated Arveson system?

Key findings

• Only the trivial rotation (angle 0) can be extended as an automorphism to the type $II_1$ Arveson system of Warren's noise.
• Nontrivial rotations, such as $2\pi/3$, cannot be extended due to a contradiction in the behavior of covariance operators under the assumed automorphism.
• The contradiction arises from the failure of a positivity condition: the sum of expectations over $f$, $\theta_1 f$, and $\theta_1^{-1}f$ exceeds the upper bound $ (3 - \varepsilon)\|f\|^2 $, violating a key inequality.
• The construction of the functions $\psi_{n,\delta}$ and their associated operators $\mathcal{C}_{\psi_{n,\delta}}$ successfully captures the local increment structure of the noise and enables the contradiction to emerge.
• The proof relies on the fact that the noise's non-Gaussian component (Bernoulli variables at local minima) breaks the symmetry required for nontrivial rotations to extend.
• The result implies that the gauge group of Warren's $II_1$ Arveson system is strictly smaller than the full rotation group, restricting it to only the identity rotation.