- CCR and CAR algebras
- Creation and annihilation operators
- Clifford algebra
- Canonical commutation relation
- Weyl algebra
- Stone–von Neumann theorem
- Free field
- Glossary of string theory
- Index of physics articles (C)
- Haag's theorem
Point Break (1991)
The Great Escaper (2023)
CCR and CAR algebras GudangMovies21 Rebahinxxi LK21
In mathematics and physics CCR algebras (after canonical commutation relations) and CAR algebras (after canonical anticommutation relations) arise from the quantum mechanical study of bosons and fermions, respectively. They play a prominent role in quantum statistical mechanics and quantum field theory.
CCR and CAR as *-algebras
Let
V
{\displaystyle V}
be a real vector space equipped with a nonsingular real antisymmetric bilinear form
(
⋅
,
⋅
)
{\displaystyle (\cdot ,\cdot )}
(i.e. a symplectic vector space). The unital *-algebra generated by elements of
V
{\displaystyle V}
subject to the relations
f
g
−
g
f
=
i
(
f
,
g
)
{\displaystyle fg-gf=i(f,g)\,}
f
∗
=
f
,
{\displaystyle f^{*}=f,\,}
for any
f
,
g
{\displaystyle f,~g}
in
V
{\displaystyle V}
is called the canonical commutation relations (CCR) algebra. The uniqueness of the representations of this algebra when
V
{\displaystyle V}
is finite dimensional is discussed in the Stone–von Neumann theorem.
If
V
{\displaystyle V}
is equipped with a nonsingular real symmetric bilinear form
(
⋅
,
⋅
)
{\displaystyle (\cdot ,\cdot )}
instead, the unital *-algebra generated by the elements of
V
{\displaystyle V}
subject to the relations
f
g
+
g
f
=
(
f
,
g
)
,
{\displaystyle fg+gf=(f,g),\,}
f
∗
=
f
,
{\displaystyle f^{*}=f,\,}
for any
f
,
g
{\displaystyle f,~g}
in
V
{\displaystyle V}
is called the canonical anticommutation relations (CAR) algebra.
The C*-algebra of CCR
There is a distinct, but closely related meaning of CCR algebra, called the CCR C*-algebra. Let
H
{\displaystyle H}
be a real symplectic vector space with nonsingular symplectic form
(
⋅
,
⋅
)
{\displaystyle (\cdot ,\cdot )}
. In the theory of operator algebras, the CCR algebra over
H
{\displaystyle H}
is the unital C*-algebra generated by elements
{
W
(
f
)
:
f
∈
H
}
{\displaystyle \{W(f):~f\in H\}}
subject to
W
(
f
)
W
(
g
)
=
e
−
i
(
f
,
g
)
W
(
f
+
g
)
,
{\displaystyle W(f)W(g)=e^{-i(f,g)}W(f+g),\,}
W
(
f
)
∗
=
W
(
−
f
)
.
{\displaystyle W(f)^{*}=W(-f).\,}
These are called the Weyl form of the canonical commutation relations and, in particular, they imply that each
W
(
f
)
{\displaystyle W(f)}
is unitary and
W
(
0
)
=
1
{\displaystyle W(0)=1}
. It is well known that the CCR algebra is a simple (unless the sympletic form is degenerate) non-separable algebra and is unique up to isomorphism.
When
H
{\displaystyle H}
is a complex Hilbert space and
(
⋅
,
⋅
)
{\displaystyle (\cdot ,\cdot )}
is given by the imaginary part of the inner-product, the CCR algebra is faithfully represented on the symmetric Fock space over
H
{\displaystyle H}
by setting
W
(
f
)
(
1
,
g
,
g
⊗
2
2
!
,
g
⊗
3
3
!
,
…
)
=
e
−
1
2
‖
f
‖
2
−
⟨
f
,
g
⟩
(
1
,
f
+
g
,
(
f
+
g
)
⊗
2
2
!
,
(
f
+
g
)
⊗
3
3
!
,
…
)
,
{\displaystyle W(f)\left(1,g,{\frac {g^{\otimes 2}}{2!}},{\frac {g^{\otimes 3}}{3!}},\ldots \right)=e^{-{\frac {1}{2}}\|f\|^{2}-\langle f,g\rangle }\left(1,f+g,{\frac {(f+g)^{\otimes 2}}{2!}},{\frac {(f+g)^{\otimes 3}}{3!}},\ldots \right),}
for any
f
,
g
∈
H
{\displaystyle f,g\in H}
. The field operators
B
(
f
)
{\displaystyle B(f)}
are defined for each
f
∈
H
{\displaystyle f\in H}
as the generator of the one-parameter unitary group
(
W
(
t
f
)
)
t
∈
R
{\displaystyle (W(tf))_{t\in \mathbb {R} }}
on the symmetric Fock space. These are self-adjoint unbounded operators, however they formally satisfy
B
(
f
)
B
(
g
)
−
B
(
g
)
B
(
f
)
=
2
i
Im
⟨
f
,
g
⟩
.
{\displaystyle B(f)B(g)-B(g)B(f)=2i\operatorname {Im} \langle f,g\rangle .}
As the assignment
f
↦
B
(
f
)
{\displaystyle f\mapsto B(f)}
is real-linear, so the operators
B
(
f
)
{\displaystyle B(f)}
define a CCR algebra over
(
H
,
2
Im
⟨
⋅
,
⋅
⟩
)
{\displaystyle (H,2\operatorname {Im} \langle \cdot ,\cdot \rangle )}
in the sense of Section 1.
The C*-algebra of CAR
Let
H
{\displaystyle H}
be a Hilbert space. In the theory of operator algebras the CAR algebra is the unique C*-completion of the complex unital *-algebra generated by elements
{
b
(
f
)
,
b
∗
(
f
)
:
f
∈
H
}
{\displaystyle \{b(f),b^{*}(f):~f\in H\}}
subject to the relations
b
(
f
)
b
∗
(
g
)
+
b
∗
(
g
)
b
(
f
)
=
⟨
f
,
g
⟩
,
{\displaystyle b(f)b^{*}(g)+b^{*}(g)b(f)=\langle f,g\rangle ,\,}
b
(
f
)
b
(
g
)
+
b
(
g
)
b
(
f
)
=
0
,
{\displaystyle b(f)b(g)+b(g)b(f)=0,\,}
λ
b
∗
(
f
)
=
b
∗
(
λ
f
)
,
{\displaystyle \lambda b^{*}(f)=b^{*}(\lambda f),\,}
b
(
f
)
∗
=
b
∗
(
f
)
,
{\displaystyle b(f)^{*}=b^{*}(f),\,}
for any
f
,
g
∈
H
{\displaystyle f,g\in H}
,
λ
∈
C
{\displaystyle \lambda \in \mathbb {C} }
.
When
H
{\displaystyle H}
is separable the CAR algebra is an AF algebra and in the special case
H
{\displaystyle H}
is infinite dimensional it is often written as
M
2
∞
(
C
)
{\displaystyle {M_{2^{\infty }}(\mathbb {C} )}}
.
Let
F
a
(
H
)
{\displaystyle F_{a}(H)}
be the antisymmetric Fock space over
H
{\displaystyle H}
and let
P
a
{\displaystyle P_{a}}
be the orthogonal projection onto antisymmetric vectors:
P
a
:
⨁
n
=
0
∞
H
⊗
n
→
F
a
(
H
)
.
{\displaystyle P_{a}:\bigoplus _{n=0}^{\infty }H^{\otimes n}\to F_{a}(H).\,}
The CAR algebra is faithfully represented on
F
a
(
H
)
{\displaystyle F_{a}(H)}
by setting
b
∗
(
f
)
P
a
(
g
1
⊗
g
2
⊗
⋯
⊗
g
n
)
=
P
a
(
f
⊗
g
1
⊗
g
2
⊗
⋯
⊗
g
n
)
{\displaystyle b^{*}(f)P_{a}(g_{1}\otimes g_{2}\otimes \cdots \otimes g_{n})=P_{a}(f\otimes g_{1}\otimes g_{2}\otimes \cdots \otimes g_{n})\,}
for all
f
,
g
1
,
…
,
g
n
∈
H
{\displaystyle f,g_{1},\ldots ,g_{n}\in H}
and
n
∈
N
{\displaystyle n\in \mathbb {N} }
. The fact that these form a C*-algebra is due to the fact that creation and annihilation operators on antisymmetric Fock space are bona-fide bounded operators. Moreover, the field operators
B
(
f
)
:=
b
∗
(
f
)
+
b
(
f
)
{\displaystyle B(f):=b^{*}(f)+b(f)}
satisfy
B
(
f
)
B
(
g
)
+
B
(
g
)
B
(
f
)
=
2
R
e
⟨
f
,
g
⟩
,
{\displaystyle B(f)B(g)+B(g)B(f)=2\mathrm {Re} \langle f,g\rangle ,\,}
giving the relationship with Section 1.
Superalgebra generalization
Let
V
{\displaystyle V}
be a real
Z
2
{\displaystyle \mathbb {Z} _{2}}
-graded vector space equipped with a nonsingular antisymmetric bilinear superform
(
⋅
,
⋅
)
{\displaystyle (\cdot ,\cdot )}
(i.e.
(
g
,
f
)
=
−
(
−
1
)
|
f
|
|
g
|
(
f
,
g
)
{\displaystyle (g,f)=-(-1)^{|f||g|}(f,g)}
) such that
(
f
,
g
)
{\displaystyle (f,g)}
is real if either
f
{\displaystyle f}
or
g
{\displaystyle g}
is an even element and imaginary if both of them are odd. The unital *-algebra generated by the elements of
V
{\displaystyle V}
subject to the relations
f
g
−
(
−
1
)
|
f
|
|
g
|
g
f
=
i
(
f
,
g
)
{\displaystyle fg-(-1)^{|f||g|}gf=i(f,g)\,}
f
∗
=
f
,
g
∗
=
g
{\displaystyle f^{*}=f,~g^{*}=g\,}
for any two pure elements
f
,
g
{\displaystyle f,~g}
in
V
{\displaystyle V}
is the obvious superalgebra generalization which unifies CCRs with CARs: if all pure elements are even, one obtains a CCR, while if all pure elements are odd, one obtains a CAR.
In mathematics, the abstract structure of the CCR and CAR algebras, over any field, not just the complex numbers, is studied by the name of Weyl and Clifford algebras, where many significant results have accrued. One of these is that the graded generalizations of Weyl and Clifford algebras allow the basis-free formulation of the canonical commutation and anticommutation relations in terms of a symplectic and a symmetric non-degenerate bilinear form. In addition, the binary elements in this graded Weyl algebra give a basis-free version of the commutation relations of the symplectic and indefinite orthogonal Lie algebras.
See also
Bose–Einstein statistics
Fermi–Dirac statistics
Glossary of string theory
Heisenberg group
Bogoliubov transformation
(−1)F
References
Kata Kunci Pencarian:

CCR and CAR algebras - Wikipedia, the free encyclopedia
CCR Maths Concepts Processes | PDF | Geometry | Teaching Mathematics

CCR and CAR algebras are connected via a path of Cuntz-Toeplitz ...

(PDF) On commutators of Wick products on CCR and CAR algebras | Benito ...
Car Selection | PDF | Linear Algebra | Algebra

(PDF) CCR and CAR Algebras are Connected Via a Path of Cuntz–Toeplitz ...

CCR Auto Sales and Loans (@ccr_auto) | Twitter

(PDF) CCR and GCR groupoid C*-algebras

CCR Standards - ATLAS ABE

Average of CCR versus σ CCR | Download Scientific Diagram

CCR by kvgansk

Bright Orange Koenigsegg CCR Is The First One Ever Shown To The Public ...