Table of Contents
Fetching ...

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

Yanlong Sun, Haiqing Wei, Jack W. Smith, Hongbin Wang

TL;DR

The paper addresses an apparent paradox in the quantum pigeonhole effect (QPE), which seems to violate the classical pigeonhole principle. It shows that the effect derives from quantum contextuality and reframes weak measurements within a bipartite density-operator framework, deriving Bell-type inequalities from pigeonhole logic and demonstrating that QPE constitutes Bell's theorem without inequalities. Key contributions include two context-based Bell inequalities, a bipartite reformulation of the weak-measurement scheme, and a Pauli-decomposition perspective showing that certain post-selected states are mixtures of Bell states yet separable, all pointing to contextuality as the source of the paradox. The work clarifies the foundational role of contextuality in QPE, linking it to Bell-type no-go theorems and offering interpretational insights aligned with QBism and Kochen–Specker-type constraints.

Abstract

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.

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

TL;DR

The paper addresses an apparent paradox in the quantum pigeonhole effect (QPE), which seems to violate the classical pigeonhole principle. It shows that the effect derives from quantum contextuality and reframes weak measurements within a bipartite density-operator framework, deriving Bell-type inequalities from pigeonhole logic and demonstrating that QPE constitutes Bell's theorem without inequalities. Key contributions include two context-based Bell inequalities, a bipartite reformulation of the weak-measurement scheme, and a Pauli-decomposition perspective showing that certain post-selected states are mixtures of Bell states yet separable, all pointing to contextuality as the source of the paradox. The work clarifies the foundational role of contextuality in QPE, linking it to Bell-type no-go theorems and offering interpretational insights aligned with QBism and Kochen–Specker-type constraints.

Abstract

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.

Paper Structure

This paper contains 6 sections, 22 equations, 2 figures.

Figures (2)

  • Figure 1: Bell's inequalities by the pigeonhole principle. (A): Mermin's version of the EPR paradox, and the equivalence between the Bell's inequalities \ref{['eq:Bell-ineq-upper']} and \ref{['eq:Bell-original-v2']}. (B): When measuring the singlet $\ket{\beta_{11}}$, the total correlation $\bra{\beta_{11}} \mathcal{B}_{\max} \ket{\beta_{11}}$ (solid black), and its components along $Z \otimes Z$ (dashed blue) and $X \otimes X$ (dotted red), as the functions of detector orientations ( \ref{['eq:Bell-Op-max-Bell']}). The maximal violation of \ref{['eq:Bell-ineq-upper']} is observed when $\theta_{\IfNoValueTF{-NoValue-}{\mathbf{a}}{\mathbf{a}_{-NoValue-}}, \IfNoValueTF{-NoValue-}{\mathbf{b}}{\mathbf{b}_{-NoValue-}}} = \theta_{\IfNoValueTF{-NoValue-}{\mathbf{b}}{\mathbf{b}_{-NoValue-}}, \IfNoValueTF{-NoValue-}{\mathbf{c}}{\mathbf{c}_{-NoValue-}}} = \theta_{\IfNoValueTF{-NoValue-}{\mathbf{c}}{\mathbf{c}_{-NoValue-}}, \IfNoValueTF{-NoValue-}{\mathbf{a}}{\mathbf{a}_{-NoValue-}}} = 120 °$, and the maximal violation of \ref{['eq:Bell-original-v2']} is observed when $\theta_{\IfNoValueTF{-NoValue-}{\mathbf{a}}{\mathbf{a}_{-NoValue-}}, \IfNoValueTF{-NoValue-}{\mathbf{c}}{\mathbf{c}_{-NoValue-}}'} = \theta_{\IfNoValueTF{-NoValue-}{\mathbf{b}}{\mathbf{b}_{-NoValue-}}, \IfNoValueTF{-NoValue-}{\mathbf{c}}{\mathbf{c}_{-NoValue-}}'} = 60 °$, and $\theta_{\IfNoValueTF{-NoValue-}{\mathbf{a}}{\mathbf{a}_{-NoValue-}}, \IfNoValueTF{-NoValue-}{\mathbf{b}}{\mathbf{b}_{-NoValue-}}} = 120 °$.
  • Figure 2: The maximal violation of the CHSH inequality ( \ref{['eq:CHSH-corr']}) is observed when $\IfNoValueTF{-NoValue-}{\mathbf{b}}{\mathbf{b}_{-NoValue-}}\cdot \IfNoValueTF{-NoValue-}{\mathbf{b'}}{\mathbf{b'}_{-NoValue-}}=0$, and $\max (\left\lVert\IfNoValueTF{-NoValue-}{\mathbf{b}}{\mathbf{b}_{-NoValue-}}+ \IfNoValueTF{-NoValue-}{\mathbf{b'}}{\mathbf{b'}_{-NoValue-}}\right\rVert + \left\lVert\IfNoValueTF{-NoValue-}{\mathbf{b}}{\mathbf{b}_{-NoValue-}}- \IfNoValueTF{-NoValue-}{\mathbf{b'}}{\mathbf{b'}_{-NoValue-}}\right\rVert) = 2\sqrt{2}$ ( \ref{['eq:Bell-Op-max-CHSH']}).