Manuscript Em03-H@8 · Em03-H-v8.tex · lemma · 91e9e3bd
Lemma: CAR and number convention
Frozen microscopic model and complete preparation › Occupation representation · lines 381–405 · proof included or linked
Em03-H@8#lem:car
These operators satisfy
For
one has and
Proof. For equal labels the two orders give complementary occupation projections. For unequal labels, exchanging actions reverses the preceding-occupation sign. Expansion gives the Majorana relations. Finally, .
Displayed formulas in this passage
unlabeled · line 384
unlabeled · line 388
unlabeled · line 393