Toward an Experimental Device-Independent Verification of Indefinite Causal Order

In classical physics, events follow a definite causal order: the past influences the future, but not the reverse. Quantum theory, however, permits superpositions of causal orders—the so-called indefinite causal orders (ICOs)—which can provide operational advantages over classical scenarios. Verifying such phenomena has sparked significant interest, much like earlier efforts devoted to refuting local realism and confirming quantum entanglement. To date, demonstrations of ICO have all been based a process called the quantum switch and have relied on device-dependent or semi-device-independent protocols. Achieving a device-independent verification of ICO would imply that nature allows for correlations that do not respect causality, independent of any experimental assumptions or underlying theoretical description of the experiment. To this end, a recent theoretical development introduced a Bell-like inequality that allows for fully device-independent verification of ICO in a quantum switch. Here we implement this verification by experimentally violating this inequality. In particular, we measure a value of <a:math xmlns:a="http://www.w3.org/1998/Math/MathML" display="inline"> <a:mn>1.8328</a:mn> <a:mo>±</a:mo> <a:mn>0.0045</a:mn> </a:math> , which is 18 standard deviations above the definite causal order bound of <c:math xmlns:c="http://www.w3.org/1998/Math/MathML" display="inline"> <c:mn>1.75</c:mn> </c:math> . Our work presents the first implementation of a device-independent protocol to verify ICO, albeit in the presence of experimental loopholes. This represents an important step toward the device-independent verification of an ICO and provides a context in which to identify loopholes specifically related to the verification of ICO.

Authors

Institutions

Publication Details

Journal
PRX Quantum
Published
2026-01-06
DOI
https://doi.org/10.1103/5t2y-ddmt
Citations
1
Primary Topic
Formal Methods in Verification
Type
article
Field-Weighted Citation Impact
45.17
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Toward an Experimental Device-Independent Verification of Indefinite Causal Order

Anonymous
1 citations
PRX Quantum
Formal Methods in Verification
45.17
article

Toward an Experimental Device-Independent Verification of Indefinite Causal Order

Anonymous
article en
1 citations

Abstract

In classical physics, events follow a definite causal order: the past influences the future, but not the reverse. Quantum theory, however, permits superpositions of causal orders—the so-called indefinite causal orders (ICOs)—which can provide operational advantages over classical scenarios. Verifying such phenomena has sparked significant interest, much like earlier efforts devoted to refuting local realism and confirming quantum entanglement. To date, demonstrations of ICO have all been based a process called the quantum switch and have relied on device-dependent or semi-device-independent protocols. Achieving a device-independent verification of ICO would imply that nature allows for correlations that do not respect causality, independent of any experimental assumptions or underlying theoretical description of the experiment. To this end, a recent theoretical development introduced a Bell-like inequality that allows for fully device-independent verification of ICO in a quantum switch. Here we implement this verification by experimentally violating this inequality. In particular, we measure a value of <a:math xmlns:a="http://www.w3.org/1998/Math/MathML" display="inline"> <a:mn>1.8328</a:mn> <a:mo>±</a:mo> <a:mn>0.0045</a:mn> </a:math> , which is 18 standard deviations above the definite causal order bound of <c:math xmlns:c="http://www.w3.org/1998/Math/MathML" display="inline"> <c:mn>1.75</c:mn> </c:math> . Our work presents the first implementation of a device-independent protocol to verify ICO, albeit in the presence of experimental loopholes. This represents an important step toward the device-independent verification of an ICO and provides a context in which to identify loopholes specifically related to the verification of ICO.

PRX QuantumVol. 7(1)
University of Vienna (AT), Vienna Center for Quantum Science and Technology (AT)
Reduced inequalities
Openalex Percentile: Top 1%
Formal Methods in Verification
45.17
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Toward an Experimental Device-Independent Verification of Indefinite Causal Order — Anonymous · PRX Quantum (2026) | TGRS Research Map | TGRS