The quantum pigeonhole effect as a new form of Bell's theorem without inequality

The quantum pigeonhole effect (QPE) appears to contradict the classical pigeonhole principle by allowing three quantum particles distributed between two boxes to exhibit no pairwise coincidence. We show that this effect does not signal a breakdown of classical counting, but instead arises from quantum contextuality. By deriving Bell-type inequalities directly from the pigeonhole principle and reformulating the weak-measurement protocol within a bipartite density-operator framework, we demonstrate that the QPE is a form of Bell’s theorem without inequalities. The apparent paradox reflects the impossibility of non-contextual eigenvalue assignments rather than a violation of classical combinatorial logic.

💡 Research Summary

The paper revisits the quantum pigeonhole effect (QPE), a phenomenon that seems to defy the classical pigeonhole principle by allowing three quantum particles placed in two boxes to show no pairwise coincidence. The authors argue that this apparent paradox does not stem from a failure of classical counting but from quantum contextuality—the impossibility of assigning non‑contextual eigenvalues to observables that belong to overlapping measurement contexts.

First, they derive two Bell‑type inequalities directly from the pigeonhole principle. Using Mermin’s three‑setting EPR‑Bell scenario, they define three binary variables a, b, c (or ±i for orthogonal states) and note that, by the pigeonhole principle, at least two of them must share the same sign. This leads to the inequalities
ρ(a,b)+ρ(a,c)+ρ(b,c) ≥ −1 (Eq. 1) and
ρ(a,b)+ρ(a,c)+ρ(b,c) ≤ 1 (Eq. 2).
These are shown to be special cases of the CHSH inequality (Eq. 5) after appropriate variable substitutions (a′ = −b, b′ = c).

Quantum‑mechanical examples using Bell states |β₀₀⟩ and |β₁₁⟩ demonstrate that, for measurement directions separated by 120°, the left‑hand side of Eq. 1 or Eq. 2 evaluates to ±3/2, violating the pigeonhole‑derived bounds by a factor of 1.5. The violation is traced to contextuality: the same set of observables cannot be assigned globally consistent values across different measurement contexts.

The core experimental model is the bipartite quantum pigeonhole effect (BQPE). Two particles are prepared in the product state |+⟩⊗|+⟩. Projectors Π_same = |00⟩⟨00| + |11⟩⟨11| and Π_diff = |01⟩⟨01| + |10⟩⟨10| are applied, turning the initially uncorrelated state into maximally entangled Bell states |β₀₀⟩ or |β₀₁⟩. Post‑selection is performed with four orthogonal states |ϕ_k⟩ built from the ±i basis. Certain post‑selected states are orthogonal to the intermediate Bell state, yielding zero overlap (Eq. 11). Consequently, the entanglement generated by Π_same “vanishes” under post‑selection, and no two particles are ever found in the same box.

Extending to three particles, the pre‑selected state |Ψ⟩ = |+⟩₁|+⟩₂|+⟩₃ and the post‑selected state |Φ⟩ = |+i⟩₁|+i⟩₂|+i⟩₃ are used. An intermediate Π_same measurement on particles 1 and 2 yields ⟨Φ|(Π_same⊗I)|Ψ⟩ = 0, meaning that, conditioned on the post‑selection, particles 1 and 2 can never be found together. However, only two particles are ever measured; the third remains in superposition. The paradox arises only if one assumes that each particle possesses a definite box label λ_i simultaneously—a non‑contextual assumption that quantum mechanics forbids.

The authors then recast QPE as a “Bell theorem without inequalities.” They introduce mixed density operators ρ_±Y, each an equal mixture of two maximally entangled Bell states, yet simultaneously separable (Eq. 13‑15). Traces such as tr(ρ_+Y |β₀₀⟩⟨β₀₀|) vanish, reproducing the zero‑probability results of the weak‑measurement protocol. By expressing Bell states in the Pauli basis, they show that the vanishing traces are a direct consequence of orthogonality between Pauli components (Eq. 16).

A general Bell operator B = σ·a⊗σ·b + σ·a⊗σ·c + σ·b⊗σ·c is constructed, with measurement directions a, b, c confined to a plane. After algebraic reduction, B becomes a linear combination of Z⊗Z and X⊗X (Eq. 18). Optimizing over angles (α = β = 120°) yields B_max = −¾(Z⊗Z + X⊗X) with eigenvalues ±3/2, which maximally violate Eq. 1 and Eq. 2. For the CHSH scenario, the operator B_CHSH = σ·a⊗σ·(b + b′) + σ·a′⊗σ·(b − b′) attains its maximal quantum value √2(Z⊗Z + X⊗X) when b·b′ = 0, giving the Tsirelson bound ±2√2 (Eq. 21). Thus, the same eigenvalue structure underlies both the QPE zero‑probability events and the standard Bell‑inequality violations; they differ only in the choice of measurement bases.

In the concluding section, the authors emphasize that QPE does not invalidate the pigeonhole principle; rather, it highlights the impossibility of extending non‑contextual eigenvalue assignments across incompatible measurement contexts. By deriving Bell‑type inequalities from the pigeonhole principle and embedding the weak‑measurement protocol within a bipartite density‑operator framework, they demonstrate that QPE is structurally equivalent to a Bell theorem without inequalities. The effect therefore reinforces the familiar lesson that quantum theory constrains how measurement outcomes can be coherently related across contexts, rather than overturning classical combinatorial logic. From a QBist perspective, QPE reflects limits on an agent’s probabilistic expectations rather than the existence of pre‑existing particle properties. Consequently, the quantum pigeonhole effect should be viewed not as a new departure from established principles but as a vivid illustration of quantum contextuality manifested through weak measurement and post‑selection.