nLab
state on a star-algebra

Contents

Context

Measure and probability theory

Functional analysis

Algeraic Quantum Field Theory

algebraic quantum field theory (perturbative, on curved spacetimes, homotopical)

Introduction

Concepts

field theory:

Lagrangian field theory

quantization

quantum mechanical system, quantum probability

free field quantization

gauge theories

interacting field quantization

renormalization

Theorems

States and observables

Operator algebra

Local QFT

Perturbative QFT

This entry describes a concrete formalization of the general notion of state in the context of AQFT and operator algebra.

Contents

Idea

In physics, a state \langle - \rangle is the information that allows to assign to each observable AA the expectation value A\langle A\rangle that this observable has when the physical system is assumed to be in that state.

Often this is formalized in the Schrödinger picture where a Hilbert space of states \mathcal{H} is taken as primary, and the observables are represented as suitable linear operators AA on \mathcal{H}. Then for ψ\psi \in \mathcal{H} a state (pure state) the expectation value of AA in this state is the inner product ψ|A|ψ(ψ,Aψ)\langle \psi \vert A \vert \psi \rangle \coloneqq (\psi, A \psi). This defines a linear function

ψ|()|ψ:𝒜 \langle \psi \vert (-) \vert \psi \rangle \;\colon\; \mathcal{A} \longrightarrow \mathbb{C}

on the algebra of observables 𝒜\mathcal{A}, satisfying some extra properties.

Conversely, in the Heisenberg picture one may take the “abstract” algebra of observables as primary (i.e. not necessarily manifested as an operator algebra), and declare that a state is any linear functional

:𝒜 \langle - \rangle \;\colon\; \mathcal{A} \longrightarrow \mathbb{C}

which is positive in that A *A0\langle A^\ast A\rangle \geq 0 and normalized in that 1=1\langle 1\rangle = 1. Under suitable conditions a Hilbert space of states may be (re-)constructed from this a posteriori via the GNS construction.

Traditionally this definition is considered for algebras of observables which are C*-algebras (as usually required for non-perturbative quantum field theory, see e.g. Fredenhagen 03, section 2), but the definition makes sense generally for plain star-algebras, such as for instance for the formal power series algebras that appear in perturbative quantum field theory (e.g. Bordemann-Waldmann 96, def. 1, Fredenhagen-Rejzner 12, def. 2.4, Khavkine-Moretti 15, def. 6, Dütsch 18, def. 2.11).

The perspective that states are normalized positive linear functionals on the algebra of observables is implicit in traditional perturbative quantum field theory, where it is encoded in the 2-point function corresponding to a vacuum state or more generally a quasi-free quantum state (the Hadamard propagator). The perspective is made explicit in algebraic quantum field theory (see e.g. Fredenhagen 03, section 2) and for star-algebras of observables that are not necessarily C*-algebras in perturbative algebraic quantum field theory (e.g. Bordemann-Waldmann 96, Fredenhagen-Rejzner 12, def. 2.4, Khavkine-Moretti 15, def. 6, Dütsch 18, def. 2.11).

Definition

For unital star algebras

Definition

(state on a unital star algebra)

Let 𝒜\mathcal{A} be a unital star-algebra over the complex numbers \mathbb{C}. A state on 𝒜\mathcal{A} is a linear function

ρ:𝒜 \rho \;\colon\; \mathcal{A} \longrightarrow \mathbb{C}

such that

  1. (positivity) for all A𝒜A \in \mathcal{A} the value of ρ\rho on the product A *AA^\ast A is

    1. realρ(A *A)\rho(A^\ast A) \in \mathbb{R} \hookrightarrow \mathbb{C}

    2. as such non-negative: ρ(A *A)0\rho(A^\ast A) \geq 0.

  2. (normalization) ρ(1)=1\rho(1) = 1.

(e.g. Bordemann-Waldmann 96, Fredenhagen-Rejzner 12, def. 2.4, Khavkine-Moretti 15, def. 6)

Remark

(probability theoretic interpretation of state on a star-algebra)

A star algebra 𝒜\mathcal{A} equipped with a state is also called a quantum probability space, at least when 𝒜\mathcal{A} is in fact a von Neumann algebra.

Remark

(states form a convex set)

For 𝒜\mathcal{A} a unital star-algebra, the set of states on 𝒜\mathcal{A} according to def. is naturally a convex set: For ρ 1,ρ 2:𝒜\rho_1, \rho_2 \colon \mathcal{A} \to \mathbb{C} two states then for every p[0,1]p \in [0,1] \subset \mathbb{R} also the linear combination

𝒜 pρ 1+(1p)ρ 2 A pρ 1(A)+(1p)ρ 2(A) \array{ \mathcal{A} &\overset{p \rho_1 + (1-p) \rho_2}{\longrightarrow}& \mathbb{C} \\ A &\mapsto& p \rho_1(A) + (1-p) \rho_2(A) }

is a state.

Definition

(pure state)

A state ρ:𝒜\rho \colon \mathcal{A} \to \mathbb{C} on a unital star-algebra (def. ) is called a pure state if it is extremal in the convex set of all states (remark ) in that an identification

ρ=pρ 1+(1p)ρ 2 \rho = p \rho_1 + (1-p) \rho_2

for p(0,1)p \in (0,1) implies that ρ 1=ρ 2\rho_1 = \rho_2 (hence =ρ= \rho).

For C *C^\ast-Algebras

The following discusses states specifically on C*-algebras.

Definition

An element AA of an (abstract) C *C^*-algebra is called positive if it is self-adjoint and its spectrum is contained in [0,)[0, \infinity). We write A0A \ge 0 and say that the set of all positive operators is the positive cone (of a given C *C^*-algebra).

Remark

This definition is motivated by the Hilbert space situation, where an operator A()A \in \mathcal{B} (\mathcal{H}) is called positive if for every vector xx \in \mathcal{H} the inequality x,Ax0 \langle x, A x \rangle \ge 0 holds. If the abstract C *C^*-algebra of the definition above is represented on a Hilbert space, then we see that by functional calculus we can define a self adjoint operator BB by Bf(A)B \coloneqq f(A) with f(t):=t 1/2f(t) := t^{1/2} and get x,Ax=Bx,Bx0 \langle x, A x \rangle = \langle B x, B x \rangle \ge 0. This shows that the positive elements of the abstract algebra, if represented on a Hilbert space, become positive operators as defined here in the Hilbert space setting.

Definition

A linear functional ρ\rho on an C *C^*-algebra is positive if A0A \ge 0 implies that ρ(A)0\rho(A) \ge 0.

A state of a unital C *C^*-algebra is linear functional ρ\rho such that ρ\rho is positive and ρ(1)=1\rho(1) = 1.

Though the mathematical notion of state is already close to what physicists have in mind, they usually restrict the set of states further and consider normal states only. We let \mathcal{R} be an C *C^*-algebra and π\pi an representation of \mathcal{R} on a Hilbert space \mathcal{H}.

Definition/Theorem

A normal state ρ\rho is a state that satisfies one of the following equivalent conditions:

  • ρ\rho is weak-operator continuous on the unit ball of π()\pi(\mathcal{R}).

  • ρ\rho is strong-operator continuous on the unit ball π()\pi(\mathcal{R}).

  • ρ\rho is ultra-weak continuous.

  • There is an operator AA of trace class of \mathcal{H} with tr(A)=1tr(A) = 1 such that ρ(π(R))=tr(Aπ(R))\rho(\pi(R)) = tr(A \pi(R)) for all RR \in \mathcal{R}.

This appears as KadisonRingrose, def. 7.1.11, theorem 7.1.12

Remark

This list is not complete, there are more commonly used equivalent characterizations of normal states.

The last one is most frequently used by physicists, in that context the operator AA is also called a density matrix or density operator.

Sometimes the observables of a system are described by an abstract C *C^*-algebra, in this case an important notion is the folium:

Definition

The folium of a representation π\pi of an C *C^*-algebra \mathcal{R} on a Hilbert space is the set of normal states of π()\pi(\mathcal{R}).

Definition

A state ρ\rho of a representation is called a vector state if there is a xx \in \mathcal{H} such that ρ(π(R))=π(R)x,x\rho(\pi(R)) = \langle \pi(R)x, x \rangle for all RR \in \mathcal{R}.

Theorem

Normal states are vector states if \mathcal{R} is a von Neumann algebra with a separating vector. More precisely: Let \mathcal{R} be a von Neumman algebra acting on a Hilbert space \mathcal{H}, let ρ\rho be a normal state of \mathcal{R} and xx \in \mathcal{H} be a separating vector for \mathcal{R}, then there is a yy \in \mathcal{H} such that ρ(R)=Ry,y\rho(R) = \langle Ry, y \rangle for all RR \in \mathcal{R}.

This appears as KadisonRingrose, theorem 7.2.3.

The set of states of an C *C^*-algebra is sometimes called the state space.

The state space is non-empty (define a state on the subalgebra 1\mathbb{C} 1 and extend it to the whole C *C^*-algebra via the Hahn-Banach theorem), convex and weak*^*-compact, so it has extreme points. By the Krein-Milman theorem? (see Wikipedia: Krein-Milman theorem) it is the weak*^*-closure of its extreme points.

Definition

A pure state is a state that is an extreme point of the state space.

The term “pure” originates from the notion of entanglement, a pure state is not a mixture of two distinct other states.

Examples

Proposition

(classical probability measure as state on measurable functions)

For Ω\Omega classical probability space, hence a measure space which normalized total measure Ωdμ=1\int_\Omega d\mu = 1, let 𝒜L 1(Ω)\mathcal{A} \coloneqq L^1(\Omega) be the algebra of Lebesgue measurable functions with values in the complex numbers, regarded as a star algebra by pointwise complex conjugation. Then forming the expectation value with respect to μ\mu defines a state (def. ):

L 1(Ω) () μ A ΩAdμ \array{ L^1(\Omega) &\overset{\langle (-)\rangle_\mu}{\longrightarrow}& \mathbb{C} \\ A &\mapsto& \int_\Omega A d\mu }
Example

(elements of a Hilbert space as pure states on bounded operators)

Let \mathcal{H} be a complex separable Hilbert space with inner product ,\langle -,-\rangle and let 𝒜()\mathcal{A} \coloneqq \mathcal{B}(\mathcal{H}) be the algebra of bounded operators, regarded as a star algebra under forming adjoint operators. Then for every element ψ\psi \in \mathcal{H} of unit norm ψ,ψ=1\langle \psi,\psi\rangle = 1 there is the state (def. ) given by

() () ψ A ψ|A|ψ ψ,Aψ \array{ \mathcal{B}(\mathcal{H}) &\overset{\langle (-)\rangle_\psi}{\longrightarrow}& \mathbb{C} \\ A &\mapsto& \langle \psi \vert\, A \, \vert \psi \rangle &\coloneqq& \langle \psi, A \psi \rangle }

These are pure states (def. ).

More general states in this case are given by density matrices.

Properties

References

Exposition

  • Jonathan Gleason, The C*C*-algebraic formalism of quantum mechanics, 2009 (pdf, pdf)

Original articles

For more references see at operator algebra.

Last revised on September 8, 2018 at 03:37:35. See the history of this page for a list of all contributions to it.