About the tutorial of Fermions and Jordan-Wigner String

+1 vote
asked Sep 30 by Victor Chang (280 points)


On the page of http://itensor.org/docs.cgi?page=tutorials/fermions
, it shows the anticommutation relation of spinless case can be derived by treating it for i < j.
However, I think the derivation doesn't work for i = j.
Is there anything I missed?
Thank you very much!


1 Answer

+1 vote
answered Oct 11 by hermit0308 (760 points)
edited Oct 11 by hermit0308

Hello Victor,

For i = j,
ci ci^\dagger + ci^\dagger ci = ai ai^\dagger + ai^\dagger ai = 1.
Maybe you missed the fact that for Hard Core bosons, it's
\{a, a^\dagger\} = 1,
[a, a^\dagger] = 1.

Hope this helps. Thanks.

commented Oct 11 by Victor Chang (280 points)

You are right. Thanks for your help.
commented Oct 11 by miles (18,230 points)
Thanks for the answer hermit0308. I thought this was probably the correct answer but wanted to do some reading to make sure. Certainly it's consistent to define the hard core boson operators to anticommute on site (and commute when the sites are different of course).

A possibly clearer definition of the Jordan-Wigner transformation is to transform the fermion operators into spin operators attached to string instead of hard-core bosons attached to string. As you may know, in the spin interpretation, the string operators are the Pauli Z operators. Furthermore, the Pauli matrices X,Y,Z anticommute with each other so the on-site behavior is like fermions already.
commented Oct 13 by hermit0308 (760 points)
Hi Miles, thanks for the comment.
commented Oct 13 by Victor Chang (280 points)
Thanks for your help.
Welcome to ITensor Support Q&A, where you can ask questions and receive answers from other members of the community.

Formatting Tips:
  • To format code, indent by four spaces
  • To format inline LaTeX, surround it by @@ on both sides
  • To format LaTeX on its own line, surround it by $$ above and below
  • For LaTeX, it may be necessary to backslash-escape underscore characters to obtain proper formatting. So for example writing \sum\_i to represent a sum over i.
If you cannot register due to firewall issues (e.g. you cannot see the capcha box) please email Miles Stoudenmire to ask for an account.

To report ITensor bugs, please use the issue tracker.