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

Back to manuscript

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

Nearby in this section