[Paper Review] Random Sets and Invariants for (Type II) Continuous Tensor Product Systems of Hilbert Spaces

Volkmar Liebscher|ArXiv.org|Jun 25, 2003

Fuzzy and Soft Set Theory16 citations

TL;DR

This paper establishes a correspondence between continuous tensor product systems of Hilbert spaces (CTPS) of type II and stationary, factorizing measure types of random closed sets on [0,1] or R+, showing these measure types serve as invariants. It proves that every such measure type generates a unique CTPS, and uses this to reduce the classification of type III CTPS to type II, while also showing the measurable structure of a CTPS is uniquely determined by its algebraic structure.

ABSTRACT

In a series of papers Tsirelson constructed from measure types of random sets and generalised random processes a new range of examples for continuous tensor product systems of Hilbert spaces introduced by Arveson for classifying $E_0$-semigroups. This paper establishes the converse: Each continuous tensor product systems of Hilbert spaces comes with measure types of distributions of random (closed) sets in [0,1] or $R_+$. These measure types are stationary and factorise over disjoint intervals. In a special case of this construction, the corresponding measure type is an invariant of the product system and the range of the invariant is characterized. Moreover, based on a detailed study of this kind of measure types, we construct for each stationary factorizing measure type a continuous tensor product systems of Hilbert spaces such that this measure type arises as the before mentioned invariant. The measure types of the above described kind are connected with representations of the corresponding $L^\infty$-spaces. This leads to direct integral representations of the elements of a given product system which combine well under tensor products. Using this structure in a constructive way, we can relate to any (type III) product system a product system of type $II_0$ preserving isomorphy classes. Thus, the classification of type III product systems reduces to that of type II ones. Further, we show that all consistent measurable structures on an algebraic continuous tensor product systems of Hilbert spaces yield isomorphic product systems. Thus the measurable structure of a continuous tensor product systems of Hilbert spaces is essentially determined by its algebraic one.

Motivation & Objective

• . The paper aims to complete the classification of continuous tensor product systems (CTPS) by introducing random set measure types as invariants for type II systems.
• It seeks to establish a converse to Tsirelson's construction, linking CTPS to distributions of random closed sets.
• The work aims to unify classification schemes by showing that stationary, factorizing measure types fully determine CTPS of type II.
• It investigates how direct integral representations and L∞-representations can be used to analyze and construct CTPS.
• The paper aims to show that the measurable structure of a CTPS is uniquely determined by its algebraic structure, eliminating ambiguity in classification.

Proposed method

• . The paper constructs a map from a CTPS to a measure type of random closed sets in [0,1] or R+, using units and factorizing projections.
• It proves that the measure type is stationary and factorizes over disjoint intervals, making it an invariant of the CTPS.
• The construction uses direct integral representations of CTPS elements via representations of L∞-algebras associated with the measure types.
• It establishes a surjective correspondence between stationary factorizing measure types and CTPS, showing every such measure type generates a unique CTPS.
• The paper uses GNS-type representations and algebraic structures to define intrinsic measurable structures on CTPS.
• It proves that continuity of a single periodic unitary group implies the existence of a compatible measurable structure, and that all such structures yield isomorphic CTPS.

Experimental results

Research questions

• RQ1 . Can every stationary, factorizing measure type of random closed sets on [0,1] or R+ be used to construct a continuous tensor product system of Hilbert spaces?
• RQ2 . Is the measure type of random sets associated with a CTPS of type II an invariant that classifies the system up to isomorphism?
• RQ3 . Does the measurable structure of a continuous tensor product system of Hilbert spaces depend only on its algebraic structure, or are there multiple non-isomorphic measurable structures?
• RQ4 . Can the classification of type III CTPS be reduced to that of type II (or type II0) CTPS via the construction of a corresponding type II system?
• RQ5 . Do automorphisms of a CTPS act transitively on its normalized units, and what implications would this have for invariants and structure theory?

Key findings

• . Every stationary, factorizing measure type of random closed sets on [0,1] or R+ gives rise to a unique continuous tensor product system of Hilbert spaces.
• . The measure type of random sets associated with a CTPS of type II is an invariant that classifies the system up to isomorphism.
• . The measurable structure of a continuous tensor product system is uniquely determined by its algebraic structure, so all compatible measurable structures yield isomorphic systems.
• . The classification of type III continuous tensor product systems reduces to that of type II (and even type II0) systems via a construction preserving isomorphism classes.
• . The direct integral representation of a CTPS is compatible with tensor products and arises naturally from the L∞-representation of the measure type.
• . The map from a CTPS to its associated measure type of random sets is surjective, meaning every such measure type arises from some CTPS.