Background-Free Device-Independent Violations of Causal Inequalities

The process-matrix framework describes quantum correlations without presupposing a global causal order, yet its standard formulation implicitly relies on background structure through a fixed Choi-Jamiolkowski identification of local input-output spaces. We analyze how such background assumptions can be treated operationally relative to a fixed device-independent interface defined by a causal game. We impose local-frame covariance, requiring invariance under independent actions of a physical symmetry group $G$ on each laboratory, thereby excluding symmetry-breaking background resources. Covariance induces a representation-theoretic decomposition into symmetry sectors and symmetry-invariant multiplicity subsystems, introducing physical degrees of freedom that lie outside the declared device-independent interface. We then analyze causal-inequality signatures at the level of interface-observable statistics and identify when symmetry-induced, interface-inaccessible degrees of freedom undermine device-independent certification. A certification is called background-free if it arises from a locally covariant implementation and does not rely on hidden control mediated by interface-excluded degrees of freedom. We prove that background-free certifications cannot yield device-independent violations of bipartite causal inequalities in the multiplicity-free regime or when all multiplicity subsystems are classical-classical (CC). Such violations necessarily require non-CC multiplicity, with a concrete sufficient route provided by input-output embeddability of an effective process-matrix structure into non-CC blocks. These results delineate which device-independent causal signatures remain certifiable once both symmetry-breaking background structure and interface-level hidden control are excluded.

💡 Research Summary

The paper investigates the hidden background assumptions embedded in the standard process‑matrix framework for quantum correlations without a predefined global causal order. In the usual formulation, the Choi‑Jamiołkowski (CJ) isomorphism is employed to identify local input‑output spaces with operators on a tensor‑product Hilbert space. This identification implicitly fixes a common reference frame for all laboratories, which amounts to a background structure that is not accounted for in typical device‑independent (DI) analyses of causal inequalities.

To remove this hidden background, the authors introduce the principle of local‑frame covariance. Each laboratory is assumed to possess its own physical reference frame described by a compact Lie group G (e.g., SU(2) for spin, U(1) for phase). Independent actions of G on the two parties are represented by unitary operators that act jointly on the input and output systems of each lab. By averaging (twirling) the process matrix over all local frame orientations, any shared reference frame is erased. The resulting set of covariant process matrices, denoted W_cov, is invariant under G × G.

The twirl induces a representation‑theoretic decomposition of each lab’s CJ space into symmetry sectors (irreducible representations R_X^j) and multiplicity subsystems M_X^j on which G acts trivially. The total Hilbert space therefore splits into blocks labelled by a pair of sector indices (j_A, j_B) together with a multiplicity space M_{j_A}^A ⊗ M_{j_B}^B. A process matrix satisfying local‑frame covariance must be block‑diagonal in the sector indices, proportional to the identity on each representation space, and arbitrary on the multiplicity part: \