# How can $\mu$ be nonzero if grand canonical density operator commutes with $\hat{H}$?

In the grand canonical ensemble, the equilibrium density operator is given by $$\hat{\rho}_{\rm eq}=\frac{1}{Z}e^{-\beta\left(\hat{H}-\mu\hat{N}\right)}, ~{\rm with}~ Z={\rm tr}\left[e^{-\beta\left(\hat{H}-\mu\hat{N}\right)}\right].$$ Here, $$\hat{H}$$ is the Hamiltonian and $$\hat{N}$$ is the number operator. In equilibrium, $$[\hat{\rho}_{\rm eq},\hat{H}]=0$$ (via quantum Liouville equation). This implies that $$\mu[\hat{H},\hat{N}]=0.$$ Therefore, either $$\mu=0$$ or $$[\hat{H},\hat{N}]=0$$. Now, for a grand canonical ensemble, the particle number is not conserved due to its contact with a particle reservoir, $$[\hat{H},\hat{N}]\neq 0,$$ the only option is $$\mu=0$$. This seems to imply that $$\mu=0$$ in a grand canonical ensemble, always. This is certainly false.

But I cannot find what is wrong with my logic. Please help.

• posting as a comment as I'm not sure of what I'm saying: isn't the grand-canonical ensemble equivalent to replacing the Hamiltonian $H$ with the new Hamiltonian $H'=H-\mu N$, in the sense that the energy depends on the number of particles? Maybe it obeys the quantum Liouville equation, but with this other Hamiltonian. Nov 26, 2020 at 8:16

## 2 Answers

Short answer: you incorrectly deduced that the Hamiltonian does not commute with the particle number operator.

Here is the flawed portion:

Now, for a grand canonical ensemble, the particle number is not conserved due to its contact with a particle reservoir, [𝐻̂,𝑁̂]≠0.

I will explain the mistake in the above quote in two different ways. Please keep in mind that 𝐻̂ in the original question is the Hamiltonian for the system, not for the system + reservoir. This is important.

1. First way: by analogy. The mistake is the same as in the following parallel argument (note that I simply replaced "particle number" with energy/Hamiltonian in the above quote):

Now, for a grand canonical ensemble, the energy is not conserved due to its contact with a particle (and heat) reservoir, so [𝐻̂,𝐻̂]≠0.

Of course the conclusion is absurd, the Hamiltonian commutes with itself! So the logic is flawed, and the flaw is exactly the same here as in the original quote.

1. Second way: correct analysis of the commutator. If you actually let the system evolve according to 𝐻̂ (by disconnecting it from the reservoir), then the particle number will be conserved (for the case we're discussing). As usual, if a quantity is conserved, then the corresponding operator commutes with the Hamiltonian, so [𝐻̂,𝑁̂]=0.
• wait, what? Saying "the energy is not conserved due to the reservoir" doesn't change the fact that an operator must commute with itself Nov 29, 2020 at 14:22
• Exactly! Perhaps I did not make the structure of my answer clear enough. I was pointing out the mistake in the statement I quoted in two different ways: (a) parallel reasoning would lead to absurd conclusions, namely that the Hamiltonian commutes with itself; (b) my last paragraph. Does that make sense? I'll try to edit the answer a little bit to make this clearer. Nov 29, 2020 at 18:48
• Excuse the typo in my previous comment, it was supposed to be "does not commute with itself". Nov 30, 2020 at 4:53

Let me first note that $$[H,N]=0$$ is a purely mathematical relation, which can be verified for the Hamiltonian that you are working with. Derivations in (quantum) statistical mechanics textbooks often assume that it is the case, while leaving the exceptions from the rule to the chapters about superconductivity and superfluidity. Another purely mathematical fact is that $$\mu$$ is a number, which commutes with either $$H$$ or $$N$$.

The quantum mechanical meaning of equality $$[H,N]=0$$ is that the energy and the particle number can be used together as quantum numbers to label the states. (There are obviously more quantum numbers, but these two are privileged in the context of the statistical mechanics.) Switching from the canonical to the grand canonical ensemble doesn't change anything in the Hamiltonian or its states, but changes the states that we include in the statistical sum: in the canonical ensemble they all have the same $$N$$, whereas in the grand canonical ensemble different values of $$N$$ are allowed.

In other words non-conservation of particles has different meaning in QM and Stat. Mech.: in the former it means that the energy states cannot be characterized by a particle number, in the latter - that we consider states with different numbers of particles.

Finally, note that this is not a quantum mechanical feature: although there is no semantic confusion in the classical case, the classical Hamiltonians do conserve the number of particles, as they have a fixed number of degrees of freedom. Thus, when we work in the grand canonical ensemble, we use a different Hamiltonian for every $$N$$, e.g., $$H_N=\sum_{i=1}^N\frac{\mathbf{p}_i^2}{2m}$$

• If we have many different $\hat{H}_N$, which $\hat{H}$ appears in the quantum Liouville equation for a GC ensemble? Dec 2, 2020 at 14:19
• @mithusengupta123 We work here in the occupation number representation, so we have only one Hamiltonian - otherwise the commutator $[H,N]$ wouldn't make sense. Dec 2, 2020 at 14:26