---
title: Popescu-Rohrlich Boxes
url: https://www.emergentmind.com/topics/popescu-rohrlich-boxes
type: topic
---

# Popescu-Rohrlich Boxes

A Popescu–Rohrlich (PR) box is a hypothetical bipartite device that produces correlations between two distant parties which maximally violate the Clauser–Horne–Shimony–Holt (CHSH) Bell inequality without enabling any form of faster-than-light signaling. This object is not physically realizable within quantum mechanics but serves as a central theoretical construct in the study of nonlocality, the geometry of nonsignaling polytopes, and the deeper information-theoretic and computational foundations of quantum theory [2509.26271].

## 1. Definition and Formal Properties

A PR box is specified by the conditional probabilities
\[
P_{PR}(a,b\mid x,y) =
\begin{cases}
\tfrac12, & a\oplus b = x\,y \\
0, & \text{otherwise}
\end{cases}
\]
where $x,y \in \{0,1\}$ are binary inputs provided by two distant parties (conventionally, Alice and Bob), $a,b \in \{0,1\}$ are correspondingly their outputs, and $\oplus$ denotes addition modulo 2. This relation enforces $a \oplus b = x y$ deterministically, but with uniformly random marginals, ensuring nonsignaling:
\[
P(a \mid x, y) = P(a \mid x) = \tfrac12, \qquad
P(b \mid x, y) = P(b \mid y) = \tfrac12.
\]
In the $\pm1$ outcome convention, the joint constraints become $a b = (-1)^{xy}$, again with uniform marginals [2509.26271, 1605.06445].

The defining operational property is that the CHSH functional
\[
\mathcal S \equiv
|\langle a_0 b_0 \rangle + \langle a_0 b_1 \rangle + \langle a_1 b_0 \rangle - \langle a_1 b_1 \rangle|
\]
reaches its algebraic maximum of $4$ for the PR box, compared to the quantum (Tsirelson) bound $2\sqrt2$ and the classical bound $2$.

## 2. Position in the Nonsignaling Polytope

In the $(2,2,2,2)$ scenario (two parties, two inputs, two outputs), the set of all nonsignaling boxes forms a convex polytope in an 8-dimensional space, with 16 deterministic local vertices (the local polytope) and 8 extremal PR boxes (distinguished by relabelings) as its nonlocal vertices [1605.06445]. Every general nonsignaling box can be written as a convex combination of these extremals:
\[
P = \lambda P_{PR}^{\alpha \beta \gamma} + (1-\lambda) P_{L},
\]
where $P_L$ is a deterministic (local) box and $0 \le \lambda \le 1$. For quantum-mechanical correlations, the optimal PR-box fraction is $\lambda \le 1/\sqrt2$; quantum theory occupies a strict subregion of the nonsignaling set.

## 3. Beyond Quantum Correlations and Simulation

Quantum mechanics cannot realize PR-type correlations. No quantum state and measurement scenario can saturate the CHSH algebraic bound [1410.0947]. This can be shown within the Navascués–Pironio–Acín (NPA) hierarchy and via graph-theoretic reformulations: every nonlocal extremal vertex (such as the PR box) lies strictly outside the "almost quantum" set and thus outside the quantum set [1410.0947].

Nonetheless, it's possible to simulate PR-box statistics with constrained resources in scenarios devoid of genuine quantum communication or faster-than-light signaling. For instance, one can:
- Embed a PR box in a four-qubit quantum circuit with simple input restrictions and internal randomness, achieving the correct output statistics and strict no-signaling [2509.26271].
- Engineer generalized probabilistic process-theoretic (GPT) channels—particularly measure-and-prepare entanglement-breaking channels—that realize PR box statistics. Quantum and classical process models, or measure-and-prepare schemes, can encode PR correlations through "extreme incompatibility" of local measurements, even though all such process-PR channels are entanglement-breaking [1907.08933, 1708.07425].
- Simulate PR boxes mechanically using classical circuitry with internal randomness and logic, as in the mechanical models, demonstrating that the external requirement of no-signaling can be met despite internal contextuality and signaling [1507.06789].
- Implement PR-type boxes as postselected dynamical processes, where separated parties select for successful "runs" based on random bits (either from quantum or classical sources), maintaining external nonsignaling [1708.07425].

## 4. Generalizations and Nonlocality Structure

PR boxes generalize to multipartite and multivalued input/output scenarios. The canonical construction for $n$ parties, $c$ inputs, and $d$ outputs employs a function $f: \mathbb Z_c^n \to \mathbb Z_d$,
\[
P_f(a|x) = d^{1-n} \delta_{ \left[ \sum_j a_j - f(x) \right]_d, 0 },
\]
where the box enforces a global sum constraint. Such generalized PR boxes lie at the extremal points of the $n$-partite nonsignaling polytope and saturate corresponding facet Bell inequalities (such as CGLMP inequalities for $d>2$) [1108.4798]. This generalization encompasses other boxes exhibiting algebraic violations of multipartite Bell-type inequalities (e.g., Svetlichny and Mermin inequalities for three parties).

A key principle is that all generalized PR boxes, for non-bipartite-linear or additively inseparable $f(x)$, permit distributed computation of $f$ at unit probability. This computational power implies that access to such boxes trivializes the communication complexity of distributed Boolean computations: with access to PR-type correlations, all distributed functions can be computed with the exchange of a single bit [1109.4988, 2312.00725].

## 5. Physical Limits and Information-Theoretic Principles

While PR boxes formally satisfy the no-signaling condition, their "superquantum" correlations are fundamentally nonphysical in the sense of quantum mechanics and relativistic causality. This has been established through multiple approaches:

- **Information causality**: Any nonsignaling theory supporting exact PR-type boxes collapses communication complexity and violates the information causality bound, which restricts the mutual information accessible via classical communication to $m \log p$ bits for $m$ communicated $p$-ary symbols [1109.4988]. The Tsirelson bound is exactly the threshold enforced by information causality for $p=2$.
  
- **Macroscopic no-signaling and classical limit**: Requiring that in the macroscopic limit (large-$N$ ensembles) the collective observables of Alice and Bob admit a joint probability distribution with no signaling enforces the Tsirelson bound. Allowing algebraic PR-box correlations would otherwise make macroscopic signaling possible [1407.8122].

- **Absence of higher-order interference**: In generalized probabilistic frameworks with unique conditional probability calculus, PR-box assignments require third-order interference (Sorkin's $I_3 \ne 0$), which is strictly absent in quantum mechanics [1303.3986].

- **No quantum realization of nonsignaling vertices**: No non-trivial nonsignaling extremal box (including PR boxes) can be approximated arbitrarily closely by quantum correlations; all such vertices lie strictly beyond the quantum set [1410.0947].

- **Nonobjective information and discord**: The presence of a nonzero PR-box fraction in a decomposition of any box certifies "nonobjective" information—i.e., correlations not attributable to classical shared randomness or classical null-discord states. Device-independent protocols exploiting the PR-box fraction guarantee secret correlations even in the absence of entanglement certification [2507.21051, 2507.02473, 1605.06445].

## 6. Distillation, Randomness, and Device-Independent Applications

Noisy PR boxes, realized as convex mixtures of an ideal PR box and local noise, display rich structure under distillation and randomness extraction:

- **Distillation protocols**: Classical non-adaptive distillation using multiple copies of noisy PR boxes achieves an asymptotic CHSH value of at most $3$ [1204.4622]. Quantum generalizations (qNLBs) admit strictly stronger protocols, achieving higher asymptotic CHSH violation (e.g., $1/2(3\sqrt3+1)$), illustrating that quantum-output boxes can exhibit greater distillability while remaining nonsignaling [1204.4622].

- **Randomness generation**: In the ideal setting (many i.i.d. copies), the min-entropy per PR box remains constant, and randomness accumulates linearly with the number of independent devices. In scenarios involving sequential measurements or use of a single (possibly time-ordered) device, the min-entropy per use can be strictly smaller, reflecting the delicate interplay of device structure, no-signaling constraints, and the adversary's power [1807.04674].

- **Device-independent security**: Any box with a nonzero PR-box fraction guarantees secret key rates in one-way quantum key distribution, independent of entanglement certification, provided dimensionally restricted (e.g., two-bit classical) adversaries [2507.02473]. PR-box decomposition serves as a quantitative resource for certifying nonlocality, secret correlations, and discord in generalized probabilistic and device-independent frameworks.

## 7. Foundational and Computational Implications

PR boxes play a foundational role as exemplars of the "gap" between quantum mechanics and the set of all nonsignaling correlations:

- They serve as testbeds for proposed physical principles intended to distinguish the quantum boundary: information causality, local orthogonality, macroscopic locality, absence of third-order interference, and others [1109.4988, 1303.3986, 1407.8122]. None of these reduce to the no-signaling constraint alone.
- In communication complexity, PR boxes trivialize the problem: every Boolean function is reduced to a single bit communication protocol in the presence of PR resources [1512.04930, 2312.00725].
- In resource theories of nonlocality, PR boxes and closely related objects (such as non-signaling racboxes) form the highest tier; they are strictly more nonlocal than any quantum resource and, when non-signaling is imposed, are equivalent to random access coding resources with appropriate classical communication [1307.7904].
- Foundationally, the strict partition (no quantum extremal boxes) demarcates what is operationally realizable in quantum mechanics versus what is mathematically permitted by general nonsignaling constraint [1410.0947].

**Summary Table: Key Properties of the PR Box**

| Property                                    | Value/Status           | Reference          |
|----------------------------------------------|------------------------|--------------------|
| CHSH parameter $\mathcal S$                  | $4$ (algebraic max)    | [2509.26271]       |
| Tsirelson (quantum) bound                    | $2\sqrt2$              | [2509.26271]       |
| Local realism bound                          | $2$                    | [2509.26271]       |
| Signaling                                   | No (strictly non-signaling) | [2509.26271] |
| Quantum realizable?                          | No                     | [1410.0947]        |
| PR box fraction for quantum theory           | $\lambda\le 1/\sqrt2$  | [1605.06445]       |
| Communication complexity                     | Collapses to $1$ bit   | [1109.4988]        |
| Device-independent key rate for $f_{PR}>0$   | $K^\rightarrow \geq I(A:B)$ | [2507.02473] |

PR boxes, and their generalizations, thus supply a rigorous framework to distinguish quantum theory from general nonsignaling models, function as resource-theoretic cornerstones in nonlocality, and inform the boundaries of device-independent cryptography, randomness amplification, and the structure of physical law.

Source: https://www.emergentmind.com/topics/popescu-rohrlich-boxes