• Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.


PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback


(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,054 questions , 2,207 unanswered
5,345 answers , 22,721 comments
1,470 users with positive rep
818 active unimported users
More ...

  Reduced density matrices for free fermions are thermal

+ 7 like - 0 dislike

Many recent papers study entanglement in eigenstates of fermionic free hamiltonians (normally on a lattice) using the basic assumption that the reduced density matrices are thermal (e.g. Peschel 2003). As I understand it, the theorem that we need in order to proceed with the computation of entanglement is the following:

Consider a fermionic state, pure or mixed, which fulfills Wick's theorem (i.e.: all N-point functions can be expressed from the 2-point correlation function). Then, the reduced density matrix for a block can always be expressed as $\rho_B \propto \exp(-\beta H)$, where $H=\sum_k c_k d_k^\dagger d_k$. The $d_k$ and $d^\dagger_k$ are suitable fermionic operators which can be expressed as linear combinations of the original ones.

The reference given is to Gaudin 1960. But that article only contains the reverse theorem: if a fermionic density matrix is thermal, then Wick's theorem follows.

So, my main question: Does anybody know about a proof of this theorem?

Moreover: I guess this theorem is related to the thermalization theorem of QFT on curved spacetimes. Is this true?

This post has been migrated from (A51.SE)
asked Jan 26, 2012 in Theoretical Physics by Javier Rodriguez Lag (315 points) [ no revision ]

1 Answer

+ 3 like - 0 dislike

This will be a sketch but I think that the completion to a full proof is straightforward.

First, the conclusion of the theorem is that $\rho=C\exp(-\beta H)$ where $H=\sum\dots$

The latter statement may be rephrased by saying that $$ H = \sum_{K,L} c_{KL} d^\dagger_L d_L $$ i.e. the Hamiltonian is the most general bilinear function of the original fermionic operators (preserving the number of excitations, i.e. containing one operator with a dagger and one without it). Your form is nothing else than the diagonalization of mine.

However, the former statement is pretty trivial: one may always write $\rho$ as the exponential of some operator $L=-\beta H$: $L$ is just the logarithm of $\rho$ which is calculable (at least for most $\rho$).

Now, the assumption of the theorem says something about all $N$-point functions. In particular, it addresses 2-point functions. From those 2-point functions, one may extract the coefficient $c_{KL}$ of the operator $H$ related to $\log(\rho)$. The 2-point functions which have either 0 or 2 daggered operators instead of 1 must identically vanish, otherwise Wick's theorem is violated immediately, contradicting the assumptions of the theorem we want to prove.

The reverse theorem tells you that the thermal density matrix will preserve the Wick's theorem. The only additional thing you have to notice is that if the logarithm $L$ or $H$ failed to be bilinear in the operators, i.e. if there were additional terms in a Taylor expansion (which always terminates for a finite number of fermionic operators), that would modify the higher-point functions, and because Wick's theorem unambiguously determines all higher-point functions in terms of 2-point functions, Wick's theorem would be violated.

The thermalization theorem (Fulling-Davies theorem) I know says that the vacuum state of a quantum field theory may be rewritten in terms of the left and right Rindler spaces' Hilbert spaces, as a thermal-like entangled state (with Boltzmann's coefficients).

It is not clear why you think that this thermalization theorem has any relationship with a proof of Wick's theorem. Wick's structure of $N$-point functions is always linked to thermality, because of the theorem we started with, but this link doesn't seem to have anything to do with the decomposition into Rindler spaces. So I think that your guess is not right.

This post has been migrated from (A51.SE)
answered Jan 26, 2012 by Luboš Motl (10,278 points) [ no revision ]
Luboš, thanks for your answer, but it is not enough. Of course, the density matrix will be the logarithm of "something" (unless it has some zero eigenvalues). The fact that this "something" has this particular form is non-trivial for me, and requires more work.

This post has been migrated from (A51.SE)
About the relation to the Fulling-Davies theorem, the link that I see is the following. You only get thermalization when a horizon appears (Rindler, Schwartzschild, etc.), which means that you're tracing out some degrees of freedom: those linked to the regions of spacetime that are now disconnected from you. Thermalization is due to this "tracing out", right?

This post has been migrated from (A51.SE)

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification

user contributions licensed under cc by-sa 3.0 with attribution required

Your rights