Proof
This proof uses a simplified model of the Dirac sea and follows the proof in Cameron (13.3) which is attributed to Richard Borcherds. It treats the case where the power series are formal. For the analytic case, see Apostol. The Jacobi triple product identity can be expressed as
A level is a half-integer. The vacuum state is the set of all negative levels. A state is a set of levels whose symmetric difference with the vacuum state is finite. The energy of the state is
and the particle number of is
An unordered choice of the presence of finitely many positive levels and the absence of finitely many negative levels (relative to the vacuum) corresponds to a state, so the generating function for the number of states of energy with particles can be expressed as
On the other hand, any state with particles can be obtained from the lowest energy particle state, by rearranging particles: take a partition of and move the top particle up by levels, the next highest particle up by levels, etc.... The resulting state has energy, so the generating function can also be written as
where is the partition function. The uses of random partitions by Andrei Okounkov contains a picture of a partition exciting the vacuum.
Read more about this topic: Jacobi Triple Product
Famous quotes containing the word proof:
“If any doubt has arisen as to me, my country [Virginia] will have my political creed in the form of a “Declaration &c.” which I was lately directed to draw. This will give decisive proof that my own sentiment concurred with the vote they instructed us to give.”
—Thomas Jefferson (1743–1826)
“Ah! I have penetrated to those meadows on the morning of many a first spring day, jumping from hummock to hummock, from willow root to willow root, when the wild river valley and the woods were bathed in so pure and bright a light as would have waked the dead, if they had been slumbering in their graves, as some suppose. There needs no stronger proof of immortality. All things must live in such a light. O Death, where was thy sting? O Grave, where was thy victory, then?”
—Henry David Thoreau (1817–1862)
“If we view our children as stupid, naughty, disturbed, or guilty of their misdeeds, they will learn to behold themselves as foolish, faulty, or shameful specimens of humanity. They will regard us as judges from whom they wish to hide, and they will interpret everything we say as further proof of their unworthiness. If we view them as innocent, or at least merely ignorant, they will gain understanding from their experiences, and they will continue to regard us as wise partners.”
—Polly Berrien Berends (20th century)