In Dirac's Sea

John Bell’s HVM for a single spin-1/2 particle

Ernesto Camacho

April 17, 2025

In his original 1964 paper On the Einstein Podolsky Rosen Paradox John S. Bell gives an illustration of a hidden variable model that reproduces all of the spin measurement statistics of quantum theory for a single particle of spin-1/2. It was a common held belief at the time that such models cannot exist, and so his illustration served as motivation for his subsequent analysis. He quickly presents how the model is defined and skips a lot of the calculations, and so for my understanding, I’ve filled those in.

He starts out with a spin-1/2 particle in a pure state with polarization given by some vector ⃗p  . The hidden variable that he has chosen for this model is given by a unit vector ⃗λ  that is distributed uniformly over the hemisphere ⃗λ ⋅⃗p > 0  :

⃗p⃗λ

Figure 1: The hemisphere defined by ⃗λ⋅⃗p > 0  .

Let S2  be the unit sphere which we will use as the set of spin measurement directions. Let Λ  be the set of unit vectors satisfying the hemisphere condition. The model is a function A : Λ × S2 → {− 1,1} defined as

A(⃗λ,⃗a) = sign ⃗λ⋅⃗a′,
(1)

where ⃗a′ is a unit vector that depends on the polarization ⃗p  and the measurement direction ⃗a . This angle is chosen in such a way that the statistics of the measurements are reproduced. This is done by calculating the expectation value of A  over the hidden variable given by the uniform density ρ(λ)  . John does not state any details here but we can assume that he is using the Lebesgue measure dΩ (⃗λ) = sin 𝜃d𝜃dϕ  on S2  properly normalized over the hemisphere of interest. Since ∫
 Λ dΩ(λ) = 2π  , the distribution is

      {
 ⃗      12π- if ⃗λ ⋅⃗p > 0
ρ(λ ) = 0   elsewhere.
(2)

John then states that the expected value of A  given the distribution ρ  is equal to      ′
1 − 2𝜃 ∕π  where  ′
𝜃 is the angle between the soon to be determined vector   ′
⃗a and ⃗p  . We now look at the details of this calculation. By definition, the expectation value is

pict

To evaluate the integrals we must compute the area of the intersection of two hemispheres. Let γ  be the angle between two vectors ⃗a  and ⃗b  , which define the hemispheres H1  and H2  respectively. We orient the coordinate system so that both vectors lie on the xy  -plane with ⃗a  parallel to the x  -axis and γ ∈ [0,2π]  . Symmetry dictates that the area will be the same for γ  and γ + π  , so we need only consider γ ∈ [0,π]  . Under this choice, ⃗a  has coordinates 𝜃 = π2  and ϕ = 0  and ⃗b  has coordinates 𝜃 = π2  and ϕ = γ  . Then the area of the intersection of H1  and H2  is

∫                 ∫ γ ∫ π                ∫ γ
       dΩ(⃗λ) = 2π −      sin 𝜃d𝜃dϕ = 2π − 2   dϕ = 2π − 2γ.
 H1∩H2              0  0                  0
(5)

Going back to the calculation of the expectation value, we recall that Λ  is the hemisphere defined by ⃗p  , while ⃗a′ defines the other hemisphere, therefore

∫                       ∫                                  ′
         ρ(⃗λ)dΩ(⃗λ) = 1--         dΩ (⃗λ) = -1-(2π − 2𝜃′) = 1 − 𝜃-,
 Λ∩(⃗λ⋅⃗a′>0)            2π  Λ∩(⃗λ⋅⃗a′>0)        2π               π
(6)

where 𝜃′ is the angle between ⃗p  and ⃗a′ . Similarly, the condition ⃗λ ⋅⃗a < 0  defines a hemisphere opposite to the one defined by ⃗λ ⋅⃗a > 0  . Thus, since ρ  is normalized we obtain

∫                        (    ′)    ′
          ρ(⃗λ)dΩ(⃗λ) = 1 − 1− 𝜃-  = 𝜃-.
  Λ∩(⃗λ⋅⃗a′<0)                    π     π
(7)

Therefore the expectation value is

∫                   (      )
     ⃗    ⃗     ⃗        𝜃′    𝜃′      2𝜃′-
 Λ A(λ,⃗a)ρ(λ )dΩ(λ) =  1− π   − π = 1−  π ,
(8)

which is what John stated in Eqn. (5) of his paper. The question now is, how do we define  ′
⃗a so that this model reproduces the spin statistics? This is of course trivial since the expectation value of a spin measurement in direction ⃗a  for a polarization ⃗p  is

⟨⃗a⋅⃗σ⟩ = ⃗a⋅⃗p = cos𝜃,
(9)

where 𝜃  is the angle between ⃗a  and ⃗p  . So given the measurement direction and the state, the angle ′
𝜃 between ⃗p  and  ′
⃗a must satisfy

     ′
1− 2𝜃-= cos𝜃,
    π
(10)

which leads us to,

𝜃′ = π(1− cos𝜃).
     2
(11)

So by construction, the expectation value of the model A  , for a given measurement direction ⃗a , with respect to the uniform distribution ρ  over the hidden variables Λ  , determined by the polarization ⃗p  (a bit of a mouthful), matches the expectation value given by quantum theory. In other words, the model reproduces all of the spin statistics in a deterministic manner, i.e., if we knew the value of ⃗λ  for some measurement instance, then we could predict with certainty the outcome A (⃗λ,⃗a)  . The statistical features of quantum theory then only arise because we don’t know the value of this variable for individual instances. John then goes on to show that when considering a bi-partite system, under certain assumptions (which are reasonable but can be questioned), any hidden variable model is constraind by some inequality determined by the correlations of the value assignments, yet the statistical outcomes determined by quantum theory violate this inequality. Such violations have been verified experimentally, yet one must be careful not to draw over-reaching conclusions about non-locality and realism, as a lot comes down to the accepted assumptions. I will post more on this later.