5.1 States and positive functionals on C*-algebras

States and positive functionals are key concepts in C*-algebras. They bridge abstract algebra with quantum mechanics, representing physical states of quantum systems. These mathematical tools are crucial for understanding the structure of C*-algebras and their applications.

The state space, encompassing all states on a C*-algebra, forms a convex set with important geometric properties. Its structure reveals insights about the algebra itself, playing a vital role in representation theory and quantum information theory.

States and Positive Functionals

Definitions and Core Concepts

• State refers to a positive linear functional on a C*-algebra with norm equal to 1
• Positive functional denotes a linear functional that maps positive elements to non-negative real numbers
• Normalized positive functional represents a positive functional with norm equal to 1
• Linear functional maps elements of a vector space to its underlying scalar field, preserving addition and scalar multiplication
• Positivity in C*-algebras relates to self-adjoint elements with non-negative spectrum

Mathematical Formulations and Characteristics

• States satisfy the condition $\phi(a^*a) \geq 0$ for all elements $a$ in the C*-algebra
• Positive functionals fulfill $\phi(x) \geq 0$ for all positive elements $x$ in the C*-algebra
• Normalized positive functionals meet the criterion $\|\phi\| = 1$
• Linear functionals adhere to the properties $\phi(ax + by) = a\phi(x) + b\phi(y)$ for scalars $a,b$ and elements $x,y$
• Positivity extends to the concept of positive operators, crucial in quantum mechanics and operator theory

Applications and Significance

• States play a fundamental role in quantum mechanics, representing physical states of quantum systems
• Positive functionals find applications in spectral theory and operator algebras
• Normalized positive functionals serve as a bridge between abstract algebra and probability theory
• Linear functionals form the basis for dual spaces and functional analysis
• Positivity concepts contribute to the development of quantum information theory and quantum computing algorithms

Properties of States

Cauchy-Schwarz Inequality for States

• Cauchy-Schwarz inequality for states asserts $|\phi(y^*x)|^2 \leq \phi(x^*x)\phi(y^*y)$ for any state $\phi$ and elements $x,y$
• Generalizes the classical Cauchy-Schwarz inequality to the context of C*-algebras
• Provides a powerful tool for estimating inner products in Hilbert spaces associated with states
• Applies to a wide range of mathematical and physical scenarios (quantum mechanics, signal processing)
• Leads to important consequences in spectral theory and operator inequalities

Norm Properties and Calculations

• Norm of a state always equals 1, a defining characteristic of states on C*-algebras
• Calculated using the formula $\|\phi\| = \sup\{|\phi(a)| : \|a\| \leq 1\}$
• Relates to the concept of operator norm in functional analysis
• Implies that states are automatically continuous linear functionals
• Facilitates the study of weak* topology on the state space of a C*-algebra

Additional State Properties

• States preserve adjoints, meaning $\phi(a^*) = \overline{\phi(a)}$ for all elements $a$
• Satisfy the polarization identity, allowing reconstruction of the full state from its values on positive elements
• Exhibit convexity, enabling the formation of convex combinations of states
• Possess a unique extension to the unitization of a non-unital C*-algebra
• Form a weak* compact subset of the dual space of the C*-algebra

State Space

Structure and Topology of State Space

• State space encompasses the set of all states on a given C*-algebra
• Forms a convex set in the dual space of the C*-algebra
• Equipped with the weak* topology, making it a compact Hausdorff space
• Contains extreme points known as pure states, fundamental in representation theory
• Serves as a geometric object encoding information about the C*-algebra (Kadison's function representation theorem)

Convexity and Extreme Points

• Convex set property allows for forming convex combinations of states
• Convex combinations represent mixed states in quantum mechanics
• Extreme points of the state space correspond to pure states
• Krein-Milman theorem guarantees that the state space is the closed convex hull of its extreme points
• Choquet theory provides tools for analyzing measures on the state space

Applications and Connections

• State space geometry reflects the structure of the underlying C*-algebra
• Plays a crucial role in the GNS construction, linking states to representations
• Facilitates the study of quantum entanglement and separability in quantum information theory
• Connects to Choquet theory and integral representations of positive linear functionals
• Provides a framework for understanding quantum channels and completely positive maps