nLab PCT theorem

Redirected from "TCP theorem".
Contents

Context

Quantum field theory

AQFT

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

Contents

Idea

This page is about PCT theorems in quantum field theory. PCT stands for parity, charge and time-reversal symmetry (warning: the order of the letters P, C and T varies, some authors use CPT, for example). The laws of nature as described by quantum field theory are believed to be invariant if one simultaneously reverses the arrow of time, conjugates all charges and reverses all chiral properties. PCT theorems try to make this belief precise by defining the appropriate operators and showing that certain expressions remain constant. Both the statements and the proofs depend on the framework for quantum field theory one uses.

Being “invariant” means that every process that can be observerd in our universe can be observed identically in the “mirror” universe, that is there is no experiment in our universe that cannot be duplicated in the mirror universe.

For some time physicists believed that subsets of the PCT symmetry are respected by nature, but today there are counterexamples known for every subset, for example:

  • The weak nuclear force violates parity symmetry.

  • Charge symmetry would violate the observation that the universe consists mostly of matter and not of matter and antimatter.

  • For CP symmetry violation see Wikipedia: CP violation

  • All known physical laws are time symmetric, but since PCT symmetry is believed to hold and CP symmetry does not hold, there has to be a process that breaks T symmetry. As of today there is no consenus about what that process may be (there are good reasons to believe that it has nothing to do with the second law of thermodynamics).

Abstract

Definition

Definition in the Wightman approach

The PCT theorem for Wightman fields (see Wightman axioms) was proved by Res Jost, see references.

This proof clarified the different conditions one has to impose, these are:

  1. Covariance of the theory under the (connected part of the) Poincare group.

  2. Positivity of the energy.

  3. There are only fields, which transform with respect to finite dimensional representations of the Lorentz group. (Transformation of the index space.)

  4. Locality, which means that for spacelike distances the Bose fields commute with all other fields and the Fermi fields anticommute with each other.

  5. The Minkowski space has even dimensions.

  6. To every field in the theory appears its conjugate complex partner.

Definition in the Haag-Kastler approach

Let (𝒥)\mathcal{M}(\mathcal{J}) be a Haag-Kastler net on Minkowski spacetime.

Definition

A PCT operator Θ\Theta on the local net is an anti-linear automorphism, that is for every local algebra (𝒪)\mathcal{M}(\mathcal{O}), elements A,B(𝒪)A, B \in \mathcal{M}(\mathcal{O}) and λ\lambda \in \mathbb{C} we have the relations

  1. Θ(AB)=Θ(A)Θ(B)\Theta(A B) = \Theta(A) \Theta(B);

  2. Θ(λA)=λ¯Θ(A)\Theta(\lambda A) = \overline \lambda \Theta(A);

  3. Θ((𝒪))=(𝒪)\Theta(\mathcal{M}(\mathcal{O})) = \mathcal{M}(-\mathcal{O});

such that for (Λ,a)U(Λ,a)(\Lambda,a) \mapsto U(\Lambda, a) the given representation of the Poincare group on \mathcal{M} we have

  1. ΘU(Λ,a)A=U(Λ,a)ΘA\Theta U(\Lambda, a) A = U(\Lambda, -a) \Theta A;

  2. Θ\Theta transforms every charge sector into its conjugate sector.

A PCT theorem in this context is a theorem that states sufficient conditions such that a PCT operator Θ\Theta exists.

Properties

Examples

References

Review for the standard model of particle physics:

  • Robert S. Thorne, The Standard Model Parity, Charge Conjugation and Time Reversal [pdf, pdf]

See also:

Proof from the Wightman axioms:

  • Res Jost: Eine Bemerkung zum CPT Theorem Helv. Phys. Acta 30 (1957), p.409-416

Monographs on this formulation in algebraic quantum field theory:

See also:

On the PCT theorem for local observables in algebraic quantum field theory:

Proof for Lagrangian field theory (not falling back to the AQFT axiomatics):

Discussion for curved spacetimes:

See also:

Last revised on November 11, 2024 at 04:12:05. See the history of this page for a list of all contributions to it.