Lean, informalized

Nielsen & Chuang · Chapter 8, Quantum noise and quantum operations · p. 382

Exercise 8.25 - The temperature at which a qubit's stationary populations follow Boltzmann's law, and its uniqueness

A qubit’s populations fix its temperature.

Hover over a blue or green term in the text, or a node in the graph, to find it in the other. Select it to read its declaration both in Lean and in words.

The Exercise

A qubit has two levels, |0⟩|0\rangle with energy E0E_0 and |1⟩|1\rangle with energy E1E_1. It is in a stationary state in which it is found in |0⟩|0\rangle with probability pp and in |1⟩|1\rangle with probability 1−p1-p. The exercise assigns this state a temperature: the temperature TT at which these two probabilities are the Boltzmann populations of the two levels. It asks for TT.

Boltzmann Populations

Let kBk_B be Boltzmann’s constant. The ground-state population p0(T)p_0(T) of the qubit at temperature TT is the Boltzmann factor of |0⟩|0\rangle divided by the sum of the two Boltzmann factors, p0(T)=e−E0/(kBT)e−E0/(kBT)+e−E1/(kBT),p_0(T) = \frac{e^{-E_0/(k_B T)}}{e^{-E_0/(k_B T)} + e^{-E_1/(k_B T)}},(1) and the excited-state population p1(T)p_1(T) of the qubit at temperature TT is the Boltzmann factor of |1⟩|1\rangle divided by the same sum, p1(T)=e−E1/(kBT)e−E0/(kBT)+e−E1/(kBT).p_1(T) = \frac{e^{-E_1/(k_B T)}}{e^{-E_0/(k_B T)} + e^{-E_1/(k_B T)}}.(2)

The temperature TpT_p of a stationary state of the qubit with ground-state population pp is the real number Tp=E1−E0kBln⁡(p/(1−p)).T_p = \frac{E_1 - E_0}{k_B \ln\bigl(p/(1-p)\bigr)}.(3)✦ The logarithm is finite and nonzero exactly when 0<p<10 < p < 1 and p≠1/2p \neq 1/2. For kB>0k_B > 0 and E1>E0E_1 > E_0, TpT_p is positive when the ground level is the more populated and negative under a population inversion, p<1/2p < 1/2.

The Claim

Theorem 1. Let pp satisfy 0<p<10 < p < 1 and p≠1/2p \neq 1/2, and let kBk_B be nonzero. If the two levels have different energies, the Boltzmann populations at the temperature TpT_p of (3) are pp and 1−p1-p: p0(Tp)=p,p_0(T_p) = p,(4)✦ p1(Tp)=1−p.p_1(T_p) = 1 - p.(5)✦ If TT is a nonzero temperature with p0(T)=pp_0(T) = p, then T=Tp.T = T_p.(6)✦

What Is Checked

The claim is stated over the two Boltzmann populations (1) and (2), as functions of the temperature for given energies E0E_0, E1E_1 and constant kBk_B, and over the temperature (3) as a function of the population pp.