Toward an Experimental Device-Independent Verification of Indefinite Causal Order
Pith reviewed 2026-05-19 08:25 UTC · model grok-4.3
The pith
An experiment measures 1.8328 in a quantum switch, exceeding the 1.75 bound for definite causal order by 18 standard deviations in a device-independent test.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We implement the recently proposed Bell-like inequality for the quantum switch and obtain an experimental value of 1.8328 ± 0.0045. This lies 18 standard deviations above the bound of 1.75 that holds for any process with definite causal order. The demonstration constitutes the first device-independent verification of indefinite causal order, although detection and locality loopholes remain open.
What carries the argument
The Bell-like inequality that upper-bounds correlations under the assumption of definite causal order in the quantum switch process.
If this is right
- Device-independent certification of indefinite causal order becomes possible once the remaining loopholes are closed.
- Protocols that exploit causal superpositions can be made secure against device imperfections.
- The same inequality framework can be applied to other quantum processes that mix causal orders.
- Experimental efforts can now focus on high-efficiency detectors and space-like separation tailored to causal-order tests.
Where Pith is reading between the lines
- Similar inequalities might be derived for other indefinite-causal-order processes beyond the quantum switch.
- Closing the loopholes will likely require combining high-efficiency single-photon sources with long-baseline interferometry.
- The approach provides a concrete target for theorists who want to prove that no hidden causal model can reproduce the quantum-switch statistics.
Load-bearing premise
The laboratory setup actually implements the quantum switch process as described by the theoretical inequality rather than allowing some undetected classical mechanism to produce the observed statistics.
What would settle it
A follow-up experiment that closes both the detection-efficiency and locality loopholes and still records a value significantly above 1.75 would support the claim; a result at or below 1.75 under closed loopholes would refute it.
Figures
read the original 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 -- so-called indefinite causal orders -- 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 indefinite causal order 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 indefinite causal order 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 indefinite causal order in a quantum switch. Here we implement this verification by experimentally violating this inequality. In particular, we measure a value of $1.8328 \pm 0.0045$, which is 18 standard deviations above the Definite Causal Order Bound of $1.75$. Our work presents the first implementation of a device-independent protocol to verify indefinite causal order, albeit in the presence of experimental loopholes. This represents an important step towards the device-independent verification of an indefinite causal order, and provides a context in which to identify loopholes specifically related to the verification of indefinite causal order.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper reports the first experimental implementation of a device-independent protocol to verify indefinite causal order via violation of a Bell-like inequality in a quantum switch. They measure a value of 1.8328 ± 0.0045, exceeding the definite causal order bound of 1.75 by 18 standard deviations, while explicitly noting the presence of detection and locality loopholes.
Significance. If the loopholes can be closed, the result would mark a meaningful advance toward fully device-independent certification of indefinite causal order, providing both a concrete experimental benchmark and a framework for identifying loopholes unique to causal-order witnesses. The large violation demonstrates practical feasibility of the inequality under current technology.
major comments (2)
- [Abstract] Abstract: The central claim of 'device-independent verification' is load-bearing for the paper's contribution, yet the abstract itself states that the result holds 'albeit in the presence of experimental loopholes.' This directly undercuts the device-independent interpretation, as open detection and locality loopholes permit classical definite-causal-order models to reproduce values above 1.75 without indefinite order.
- [Results] Experimental results (corresponding to the reported value 1.8328 ± 0.0045): No quantitative bound is given on the detection efficiency achieved versus the threshold required by the inequality to rule out local hidden-variable explanations that exploit the loopholes. Without this, the 18-sigma violation cannot be interpreted as device-independent certification.
minor comments (2)
- [Methods] Clarify in the methods whether the parties are space-like separated and provide the measured detection efficiency together with the theoretical threshold for the inequality.
- [Figures] Ensure all figures showing the causal-order witness are labeled with the exact inequality being tested and the numerical bound 1.75.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for highlighting these important points regarding the interpretation of our results. We address each major comment below.
read point-by-point responses
-
Referee: [Abstract] Abstract: The central claim of 'device-independent verification' is load-bearing for the paper's contribution, yet the abstract itself states that the result holds 'albeit in the presence of experimental loopholes.' This directly undercuts the device-independent interpretation, as open detection and locality loopholes permit classical definite-causal-order models to reproduce values above 1.75 without indefinite order.
Authors: We agree that the abstract's phrasing risks overstating the current experimental status. While the implemented protocol is device-independent in its theoretical formulation, the presence of open loopholes means the result does not yet constitute a full device-independent certification. We will revise the abstract to more precisely describe the work as the first experimental implementation of the device-independent protocol, subject to the noted loopholes, consistent with the manuscript title that uses 'Toward'. revision: yes
-
Referee: [Results] Experimental results (corresponding to the reported value 1.8328 ± 0.0045): No quantitative bound is given on the detection efficiency achieved versus the threshold required by the inequality to rule out local hidden-variable explanations that exploit the loopholes. Without this, the 18-sigma violation cannot be interpreted as device-independent certification.
Authors: The referee is correct that a direct comparison of the achieved detection efficiency to the threshold required to close the detection loophole would improve the clarity of the results section. The current text notes the loopholes but does not provide this quantitative detail. We will add the relevant numbers and threshold in the revised manuscript to allow readers to assess the experimental limitations precisely. revision: yes
Circularity Check
No circularity: experimental violation of externally derived bound
full rationale
The paper reports a direct experimental measurement of a correlation value (1.8328 ± 0.0045) that exceeds the definite causal order bound of 1.75 by 18 standard deviations. The Bell-like inequality used for this verification is introduced by a recent theoretical development cited in the paper rather than derived internally. No equations or steps within the manuscript reduce the reported violation to a fitted parameter, a self-referential definition, or a load-bearing self-citation whose validity depends on the present result. The experimental apparatus and data analysis stand as an independent test against the pre-existing theoretical bound, rendering the derivation chain self-contained.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Quantum mechanics permits process matrices with indefinite causal order.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We measure a value of 1.8427 ± 0.0038, which is 24 standard deviations above the classical bound of 1.75.
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The VBC inequality follows from three assumptions: definite causal order, relativistic causality, and free intervention.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 1 Pith paper
-
Time-Delocalized Local Measurements in an Indefinite Causal Order
The authors experimentally demonstrate time-delocalized local measurements inside a photonic quantum switch that preserve indefinite causal order, achieving a causal witness value of C_W ≈ -0.305(1).
Reference graph
Works this paper leans on
- [1]
-
[2]
This bound can be formalized and generalized for imperfect correlations in a fully DI manner [45]. To see how the quantum switch can be used to violate VBC’s inequality, consider the schematic shown in Fig. 1b. The quantum switch, represented as the red shaded areas, takes two input quantum operations ( A1 and A2), and applies them to a target system depe...
-
[3]
This means that Bob and Charlie will share a |ϕ+⟩ state after the switch
For the last term, when x1 = x2 then switch effectively acts as identity channel on the control and target qubits. This means that Bob and Charlie will share a |ϕ+⟩ state after the switch. Thus they can win the CHSH game with a prob- ability given by the Tirelson bound of 1 2 + √ 2 4 ≈ 0.8536. The net effect is that QM predicts that the setup shown in Fig...
-
[4]
Q-M&S”, I5868-N/FOR5249 “QUAST
This completes the transfer of entanglement into the time DOF, and sets photon 2’s polarization to |H⟩ in both time bins so that it can be used as the target qubit. More precisely, the state at this point in the experiment is |Ψ⟩ = 1√ 2(|HE ⟩1B,2C + |V L⟩1B,2C) ⊗ |H⟩2T, where the subscript 1B indicates the polarization encoded ancillary qubit in photon 1,...
-
[5]
Quantum correlations with no causal order
O. Oreshkov, F. Costa, and ˇC. Brukner, Quantum corre- lations with no causal order, Nature Communications 3, 1092 (2012), arXiv:1105.4464 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[6]
Quantum computations without definite causal structure
G. Chiribella, G. M. D’Ariano, P. Perinotti, and B. Valiron, Quantum computations without definite causal structure, Phys. Rev. A 88, 022318 (2013), arXiv:0912.0195 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[7]
´ n. Baumeler, A. Feix, and S. Wolf, Maximal incompati- bility of locally classical behavior and global causal order in multiparty scenarios, Physical Review A 90, 042106 (2014)
work page 2014
-
[8]
The space of logically consistent classical processes without causal order
¨A. Baumeler and S. Wolf, The space of logically con- sistent classical processes without causal order, New Journal of Physics 18, 013036 (2016), arXiv:1507.01714 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2016
- [9]
-
[10]
The simplest causal inequalities and their violation
C. Branciard, M. Ara´ ujo, A. Feix, F. Costa, and ˇC. Brukner, The simplest causal inequalities and their violation, New Journal of Physics 18, 013008 (2016), arXiv:1508.01704 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[11]
G. Chiribella and Z. Liu, Quantum operations with in- definite time direction, Communications Physics 5, 190 (2022), arXiv:2012.03859 [quant-ph]
-
[12]
L. A. Rozema, T. Str¨ omberg, H. Cao, Y. Guo, B.-H. Liu, and P. Walther, Experimental aspects of indefinite causal order in quantum mechanics, Nature Reviews Physics 6, 483 (2024)
work page 2024
-
[13]
L. M. Procopio, A. Moqanaki, M. Ara´ ujo, F. Costa, I. Alonso Calafell, E. G. Dowd, D. R. Hamel, L. A. Rozema, ˇC. Brukner, and P. Walther, Experimental su- perposition of orders of quantum gates, Nature Commu- nications 6, 7913 (2015), arXiv:1412.4006 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[14]
Experimental Verification of an Indefinite Causal Order
G. Rubino, L. A. Rozema, A. Feix, M. Ara´ ujo, J. M. Zeuner, L. M. Procopio, ˇC. Brukner, and P. Walther, Experimental verification of an indefinite causal order, Science Advances 3, e1602589 (2017), arXiv:1608.01683 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[15]
G. Rubino, L. A. Rozema, D. Ebler, H. Kristj´ ansson, S. Salek, P. Allard Gu´ erin, A. A. Abbott, C. Branciard, ˇC. Brukner, G. Chiribella, and P. Walther, Experimental quantum communication enhancement by superposing trajectories, Physical Review Research 3, 013093 (2021), arXiv:2007.05005 [quant-ph]
- [16]
- [17]
- [18]
- [19]
-
[20]
G. Zhu, Y. Chen, Y. Hasegawa, and P. Xue, Charging quantum batteries via indefinite causal order: Theory and experiment, Phys. Rev. Lett. 131, 240401 (2023)
work page 2023
-
[21]
M. An, S. Ru, Y. Wang, Y. Yang, F. Wang, P. Zhang, and F. Li, Noisy quantum parameter estimation with in- definite causal order, Phys. Rev. A 109, 012603 (2024)
work page 2024
-
[22]
K. Wei, N. Tischler, S.-R. Zhao, Y.-H. Li, J. M. Arrazola, Y. Liu, W. Zhang, H. Li, L. You, Z. Wang, Y.-A. Chen, B. C. Sanders, Q. Zhang, G. J. Pryde, F. Xu, and J.- W. Pan, Experimental Quantum Switching for Exponen- tially Superior Quantum Communication Complexity, Phys. Rev. Lett. 122, 120504 (2019), arXiv:1810.10238 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[23]
K. Goswami, C. Giarmatzi, M. Kewming, F. Costa, C. Branciard, J. Romero, and A. G. White, Indefinite causal order in a quantum switch, Phys. Rev. Lett. 121, 090503 (2018)
work page 2018
-
[24]
K. Goswami, Y. Cao, G. A. Paz-Silva, J. Romero, and A. G. White, Increasing communication capacity via superposition of order, Phys. Rev. Research 2, 033292 (2020)
work page 2020
-
[25]
P. Yin, X. Zhao, Y. Yang, Y. Guo, W.-H. Zhang, G.-C. Li, Y.-J. Han, B.-H. Liu, J.-S. Xu, G. Chiribella, et al. , Experimental super-heisenberg quantum metrology with indefinite gate order, Nature Physics 19, 1122 (2023)
work page 2023
-
[26]
M. Antesberger, M. T. Quintino, P. Walther, and L. A. Rozema, Higher-order process matrix tomography of a passively-stable quantum switch, PRX Quantum 5, 7 010325 (2024)
work page 2024
- [27]
- [28]
-
[29]
T. Purves and A. J. Short, Quantum Theory Cannot Vi- olate a Causal Inequality, Phys. Rev. Lett. 127, 110402 (2021), arXiv:2101.09107 [quant-ph]
-
[30]
J. Bavaresco, M. Murao, and M. T. Quintino, Unitary channel discrimination beyond group structures: Ad- vantages of sequential and indefinite-causal-order strate- gies, Journal of Mathematical Physics 63, 042203 (2022), arXiv:2105.13369 [quant-ph]
-
[31]
M. Ara´ ujo, F. Costa, and ˇC. Brukner, Computational Advantage from Quantum-Controlled Ordering of Gates, Phys. Rev. Lett. 113, 250402 (2014), arXiv:1401.8127 [quant-ph]
-
[32]
P. A. Gu´ erin, A. Feix, M. Ara´ ujo, andˇC. Brukner, Expo- nential communication complexity advantage from quan- tum superposition of the direction of communication, Phys. Rev. Lett. 117, 100502 (2016), arXiv:1605.07372 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[33]
Enhanced communication with the assistance of indefinite causal order
D. Ebler, S. Salek, and G. Chiribella, Enhanced Commu- nication with the Assistance of Indefinite Causal Order, Phys. Rev. Lett. 120, 120502 (2018), arXiv:1711.10165 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2018
- [34]
- [35]
-
[36]
K. Simonov, G. Francica, G. Guarnieri, and M. Pater- nostro, Work extraction from coherently activated maps via quantum switch, Phys. Rev. A 105, 032217 (2022)
work page 2022
-
[37]
M. Frey, Indefinite causal order aids quantum depolar- izing channel identification, Quantum Information Pro- cessing 18, 96 (2019)
work page 2019
-
[38]
H. Spencer-Wood, Indefinite causal key distribu- tion, arXiv e-prints , arXiv:2303.03893 (2023), arXiv:2303.03893 [quant-ph]
- [39]
- [40]
-
[41]
L. K. Shalm, E. Meyer-Scott, B. G. Christensen, P. Bier- horst, M. A. Wayne, M. J. Stevens, T. Gerrits, S. Glancy, D. R. Hamel, M. S. Allman, K. J. Coakley, S. D. Dyer, C. Hodge, A. E. Lita, V. B. Verma, C. Lam- brocco, E. Tortorici, A. L. Migdall, Y. Zhang, D. R. Kumor, W. H. Farr, F. Marsili, M. D. Shaw, J. A. Stern, C. Abell´ an, W. Amaya, V. Pruneri, ...
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[42]
Significant-loophole-free test of Bell's theorem with entangled photons
M. Giustina, M. A. M. Versteegh, S. Wengerowsky, J. Handsteiner, A. Hochrainer, K. Phelan, F. Steinlech- ner, J. Kofler, J.- ˚A. Larsson, C. Abell´ an, W. Amaya, V. Pruneri, M. W. Mitchell, J. Beyer, T. Gerrits, A. E. Lita, L. K. Shalm, S. W. Nam, T. Scheidl, R. Ursin, B. Wittmann, and A. Zeilinger, Significant- Loophole-Free Test of Bell’s Theorem with E...
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[43]
B. Hensen, H. Bernien, A. E. Dr´ eau, A. Reiserer, N. Kalb, M. S. Blok, J. Ruitenberg, R. F. L. Vermeulen, R. N. Schouten, C. Abell´ an, W. Amaya, V. Pruneri, M. W. Mitchell, M. Markham, D. J. Twitchen, D. Elkouss, S. Wehner, T. H. Taminiau, and R. Hanson, Loophole- free Bell inequality violation using electron spins sep- arated by 1.3 kilometres, Nature ...
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[44]
J.-P. W. Maclean, K. Ried, R. W. Spekkens, and K. J. Resch, Quantum-coherent mixtures of causal relations, Nature Communications 8, 15149 (2017), arXiv:1606.04523 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2017
- [45]
-
[46]
V. Vilasini and R. Renner, Embedding cyclic information-theoretic structures in acyclic space- times: No-go results for indefinite causality, Physical Review A 110, 022227 (2024)
work page 2024
-
[47]
N. Paunkovi´ c and M. Vojinovi´ c, Causal orders, quantum circuits and spacetime: distinguishing between definite and superposed causal orders, Quantum 4, 275 (2020), arXiv:1905.09682 [quant-ph]
-
[48]
V. Vilasini, L.-Q. Chen, L. Ye, and R. Renner, Events and their localisation are relative to a lab, arXiv preprint arXiv:2505.21797 (2025)
-
[49]
T. van der Lugt, J. Barrett, and G. Chiribella, Device- independent certification of indefinite causal order in the quantum switch, Nature Communications 14, 5811 (2023)
work page 2023
-
[50]
G. Luiz Zanin, M. J. Jacquet, M. Spagnolo, P. Schian- sky, I. A. Calafell, L. A. Rozema, and P. Walther, Fiber- compatible photonic feed-forward with 99% fidelity, Op- tics Express 29, 3425 (2021)
work page 2021
- [51]
- [52]
-
[53]
C. M. D. Richter, M. Antesberger, H. Cao, P. Walther, and L. Rozema, Towards an experimental device- independent verification of indefinite causal order, 10.5281/zenodo.15704777 (2025)
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.