pith. sign in

arxiv: 2606.19438 · v1 · pith:DFLHW34Jnew · submitted 2026-06-17 · 🪐 quant-ph

Indefinite Quantum Causality

Fabio Costa , Giulia Rubino , Cyril Branciard , \v{C}aslav Brukner , Marco T\'ulio Quintino This is my paper

Pith reviewed 2026-06-26 20:20 UTC · model grok-4.3

classification 🪐 quant-ph
keywords indefinite causal orderprocess matrix formalismquantum information processingquantum foundationsquantum causalityhigher-order quantum operations
0
0 comments X

The pith

Indefinite causal order between quantum operations can function as a resource for information processing.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper surveys the process matrix formalism as a way to describe quantum processes whose causal order is not fixed in advance. It collects the main theoretical results, experimental demonstrations, and applications that follow once the usual assumption of a definite sequence of operations is relaxed. A sympathetic reader would care because this relaxation is presented as both a tool for new quantum protocols and a bridge between quantum theory and questions about spacetime causality.

Core claim

Indefinite causal order is a feasible resource for quantum information processing, as developed within the process matrix formalism.

What carries the argument

The process matrix formalism, which represents quantum processes as matrices that encode possible causal relations without requiring a fixed order between operations.

If this is right

  • Higher-order quantum operations become available for computation beyond standard circuit models.
  • New experimental protocols can test or exploit causal indefiniteness using photonic or other quantum systems.
  • The formalism supplies a language for studying the interface between quantum mechanics and general relativity.
  • Resource theories of causal order can be developed to quantify advantages in communication or computation tasks.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the formalism holds, it may suggest that causal structure itself can be treated as a quantum degree of freedom in future theories of quantum gravity.
  • Practical implementations could extend to quantum algorithms that use causal superposition to reduce query complexity in certain tasks.
  • The approach invites direct comparison with other frameworks that relax temporal order, such as those based on causal sets or quantum reference frames.

Load-bearing premise

The process matrix formalism correctly captures the possibility of quantum indefiniteness in causal order without introducing inconsistencies with standard quantum theory or relativity.

What would settle it

An experiment or consistency proof demonstrating that every valid quantum process must possess a definite causal order, or a derivation showing that the process matrix approach violates the no-signaling principle or leads to negative probabilities.

Figures

Figures reproduced from arXiv: 2606.19438 by Cyril Branciard, Fabio Costa, Giulia Rubino, Marco T\'ulio Quintino, \v{C}aslav Brukner.

Figure 1
Figure 1. Figure 1: Scheme of a bipartite quantum switch. Two parties, Al [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Pictorial representation of the operation-state duality: A [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Quantum circuit and Choi representation of quantum [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Circuit illustration of a bipartite ordered quantum process, [PITH_FULL_IMAGE:figures/full_fig_p009_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Pictorial representation of a bipartite process matrix, where [PITH_FULL_IMAGE:figures/full_fig_p010_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Pictorial representation of the most general measurement [PITH_FULL_IMAGE:figures/full_fig_p017_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Mapping a process to a state. The state (density matrix) [PITH_FULL_IMAGE:figures/full_fig_p017_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Pictorial representation of the correspondence between [PITH_FULL_IMAGE:figures/full_fig_p019_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Depiction of the convex set of causally separable pro [PITH_FULL_IMAGE:figures/full_fig_p021_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: a) Pictorial representation of a one-slot process which transforms a quantum channel from AI to AO into a quantum chan￾nel mapping P (past) to F (future). b) Pictorial representation of a two-slot process which transforms a pair of quantum channels, one from AI to AO, another from BI to BO, into a quantum channel mapping P to F. Choi operator given by C AIAO ∗ W = TrAIAO [PITH_FULL_IMAGE:figures/full_fig… view at source ↗
Figure 11
Figure 11. Figure 11: A classical process is defined by transition probabilities [PITH_FULL_IMAGE:figures/full_fig_p029_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: Qualitative depiction of polytopes of classical processes. [PITH_FULL_IMAGE:figures/full_fig_p029_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: a) Illustrative example of a mixture involving two non￾valid process matrices: a circular identity channel combined with a circular bit-flip channel. b) Process that sends the output of each party to the next in a loop, with the direction determined by whether the majority of outputs is 0 or 1. Figure adapted from (Baumeler and Wolf, 2016b). where o¯k = ok ⊕ 1 (k = A, B, C). We see that process W3 realize… view at source ↗
Figure 14
Figure 14. Figure 14: The quantum switch. The connection between two quan [PITH_FULL_IMAGE:figures/full_fig_p032_14.png] view at source ↗
Figure 15
Figure 15. Figure 15: Quantum switch through multiple black-box calls to the [PITH_FULL_IMAGE:figures/full_fig_p035_15.png] view at source ↗
Figure 16
Figure 16. Figure 16: Quantum switch through multiple calls to quantum [PITH_FULL_IMAGE:figures/full_fig_p036_16.png] view at source ↗
Figure 17
Figure 17. Figure 17: Pictorial representation of the scenario considered in [PITH_FULL_IMAGE:figures/full_fig_p042_17.png] view at source ↗
Figure 18
Figure 18. Figure 18: Schematic of a communication complexity setup in a causally ordered scenario and using the quantum switch. a) Based on her [PITH_FULL_IMAGE:figures/full_fig_p048_18.png] view at source ↗
Figure 19
Figure 19. Figure 19: Schematic of a two-party quantum switch with target sys [PITH_FULL_IMAGE:figures/full_fig_p051_19.png] view at source ↗
Figure 20
Figure 20. Figure 20: Illustration of the entangled quantum switch configura [PITH_FULL_IMAGE:figures/full_fig_p052_20.png] view at source ↗
Figure 21
Figure 21. Figure 21: Schematic of a 4-partite quantum switch with target sys [PITH_FULL_IMAGE:figures/full_fig_p053_21.png] view at source ↗
Figure 22
Figure 22. Figure 22: Experimental setup from (Cao et al., 2022) demonstrating a refrigeration cycle based on indefinite causality. A beam splitter (BS1) creates a superposition of two spatial modes, encoding the control qubit. In one mode, the polarization qubit undergoes the causal order T2T1, while in the other, it experiences T1T2. A sec￾ond beam splitter (BS2) coherently recombines the spatial modes, projecting the contro… view at source ↗
Figure 24
Figure 24. Figure 24: Schematic of a quantum-optical switch in a Sagnac con [PITH_FULL_IMAGE:figures/full_fig_p055_24.png] view at source ↗
Figure 23
Figure 23. Figure 23: Schematic of a quantum-optical switch implementing [PITH_FULL_IMAGE:figures/full_fig_p055_23.png] view at source ↗
Figure 25
Figure 25. Figure 25: Schematic of a two-party quantum switch with the tar [PITH_FULL_IMAGE:figures/full_fig_p056_25.png] view at source ↗
Figure 26
Figure 26. Figure 26: Schematic of a two-party switch where the target qubit [PITH_FULL_IMAGE:figures/full_fig_p057_26.png] view at source ↗
Figure 28
Figure 28. Figure 28: Schematic of the fiber-based quantum switch from ( [PITH_FULL_IMAGE:figures/full_fig_p058_28.png] view at source ↗
Figure 29
Figure 29. Figure 29: Schematic of a two-party quantum switch with control [PITH_FULL_IMAGE:figures/full_fig_p059_29.png] view at source ↗
Figure 30
Figure 30. Figure 30: a) Quantum circuit reproducing a quantum switch of ther [PITH_FULL_IMAGE:figures/full_fig_p060_30.png] view at source ↗
Figure 31
Figure 31. Figure 31: Quantum control of causal order due to gravitational time [PITH_FULL_IMAGE:figures/full_fig_p061_31.png] view at source ↗
Figure 32
Figure 32. Figure 32: A Directed Acyclic Graph (DAG) comprises nodes con￾nected by directed edges, with no directed loops allowed. In a causal model, nodes represent observable variables and edges direct cause￾effect relations. dence P(B, C|A) = P(B|A)P(C|A). This condition is not compatible with quantum common causes in general: even a pure bipartite quantum state can give rise to correlated mea￾surement outcomes. Indeed, com… view at source ↗
Figure 33
Figure 33. Figure 33: Operation with quantum-controlled timing. The time at [PITH_FULL_IMAGE:figures/full_fig_p089_33.png] view at source ↗
read the original abstract

In recent years, operational approaches to quantum foundations have been developed as a means of understanding the core principles and distinctive features of quantum theory. Such approaches typically view physical processes as sequences of operations, with earlier operations serving as causes of later effects. However, a growing literature is emerging on the possibility of relaxing this assumption and allowing for quantum indefiniteness in the causal order. This development stems from a variety of motivations, both fundamental and applied, including exploring the role of causality in quantum theory, the interplay between quantum theory and general relativity, and higher-order quantum computing. A prominent offshoot of this development is the emergence of indefinite causal order as a feasible resource for quantum information processing. This review provides an overview of the current state of the art in the field, covering the methodology underlying indefinite quantum causality within the so-called "process matrix formalism", outlining key results and experimental implementations, and discussing recent advances.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript is a review article surveying indefinite quantum causality. It describes the process matrix formalism as the central methodology for modeling quantum processes with indefinite causal order, summarizes key theoretical results establishing this as a resource for quantum information processing, reviews experimental implementations, and discusses recent advances motivated by quantum foundations, quantum gravity interfaces, and higher-order quantum computation.

Significance. If the synthesis of the literature is accurate, the review consolidates an emerging area that relaxes the definite causal order assumption in quantum theory. It provides a useful entry point for researchers working at the intersection of quantum information, foundations, and potential gravitational effects, explicitly crediting the process matrix formalism for enabling new protocols beyond standard quantum circuits. No novel derivations or data are presented; the value lies in the overview of existing results.

minor comments (2)
  1. [Abstract] Abstract: the phrase 'a growing literature is emerging' would benefit from a specific citation to the foundational process matrix paper (e.g., Oreshkov et al.) to immediately anchor the review for readers.
  2. [Experimental section] The discussion of experimental implementations would be strengthened by a table summarizing the physical platforms, achieved process matrices, and measured advantages over definite-order protocols.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. The report correctly identifies the manuscript as a review of the process matrix formalism and its applications. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity: review paper with no internal derivations

full rationale

This is a review article summarizing the process matrix formalism, prior theoretical results, and experiments on indefinite causal order. The abstract and structure indicate synthesis of existing literature rather than any novel derivation chain, predictions, or first-principles results. No equations or claims are presented that reduce by construction to fitted inputs, self-definitions, or self-citation chains within the paper itself. The central claim follows from cited prior work, which is treated as external. This matches the default expectation of no circularity for review/synthesis papers.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

As a review paper, no new free parameters, axioms, or invented entities are introduced by this work; the ledger reflects the underlying literature it summarizes.

pith-pipeline@v0.9.1-grok · 5693 in / 977 out tokens · 19165 ms · 2026-06-26T20:20:19.354827+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Self-testing Quantum Supermaps

    quant-ph 2026-06 unverdicted novelty 8.0

    Quantum supermaps are shown to be self-testable device-independently, achieving identification up to local embedding combs or extracting/injecting maps, with demonstrations on identity, error-correcting, Grover, and q...

Reference graph

Works this paper leans on

15 extracted references · 2 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    SIAM Journal on Computing , volume =

    causal models,” Nature Communications12, arXiv:2002.12157 [quant-ph]. S. Bartlett, T. Rudolph, and R. Spekkens (2007), “Reference frames, superselection rules, and quantum information,” Rev. Mod. Phys. 79, 555–609, arXiv:quant-ph/0610030 [quant-ph]. V . Baumann, Ä. Baumeler, and E.-E. Tselentis (2025), “No quantum advantage for violating fixed-order inequ...

    work page doi:10.1137/s0097539796300921 2002

  2. [2]

    Measurement-device-independent entanglement witnesses for all entangled quantum states,

    Leibniz Inter- national Proceedings in Informatics (LIPIcs),202, 22:1–22:20, arXiv:2103.02073 [quant-ph]. C. Branciard, D. Rosset, Y .-C. Liang, and N. Gisin (2013), “Measurement-device-independent entanglement witnesses for all entangled quantum states,” Phys. Rev. Lett.110, 060405, arXiv:1210.8037 [quant-ph]. S. L. Braunstein, and C. M. Caves (1988), “I...

    arXiv 2013

  3. [3]

    Bounding quantum correlations with indef- inite causal order,

    WE- Heraeus-Seminar conference: Quantum Contextuality, Non-Locality, and the Foundations of Quantum Mechanics. ˇC. Brukner (2015), “Bounding quantum correlations with indef- inite causal order,” New Journal of Physics17(8), 083034, arXiv:1404.0721 [quant-ph]. N. Brunner, D. Cavalcanti, S. Pironio, V . Scarani, and S. Wehner (2014), “Bell nonlocality,” Rev...

    Pith/arXiv arXiv 2015

  4. [4]

    Probabilistic micro- causality in a thermal bath of gravitons,

    G. Cintia, F. Piazza, and S. Ramos (2026), “Probabilistic micro- causality in a thermal bath of gravitons,” arXiv:2606.02729 [hep- th]. B. S. Cirel’son (1980), “Quantum generalizations of bell’s inequal- ity,” Letters in Mathematical Physics4(2), 93–100. J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt (1969), “Pro- posed experiment to test local hi...

    Pith/arXiv arXiv 2026

  5. [5]

    Optimal design for uni- versal multiport interferometers,

    Leibniz International Proceedings in Informatics (LIPIcs),170, 24:1–24:14, arXiv:2002.09387 [quant- ph]. W. R. Clements, P. C. Humphreys, B. J. Metcalf, W. S. Koltham- mer, and I. A. Walmsley (2016), “Optimal design for uni- versal multiport interferometers,” Optica3(12), 1460–1465, arXiv:1603.08788 [physics.optics]. D. Collins, N. Gisin, N. Linden, S. Ma...

    arXiv 2002

  6. [6]

    Rapid solution of problems by quantum computation,

    D. Deutsch, and R. Jozsa (1992), “Rapid solution of problems by quantum computation,” Proceedings of the Royal Society A439, 553–558. P. R. Dieguez, V . F. Lisboa, and R. M. Serra (2023), “Thermal de- vices powered by generalized measurements with indefinite causal order,” Phys. Rev. A107, 012423, arXiv:2205.14406 [quant-ph]. A. Dimi´c, M. Milivojevi´c, D...

    arXiv 1992

  7. [7]

    Quantum network probing with indefinite routing,

    M. Frey (2021), “Quantum network probing with indefinite routing,” Quantum Inf. Process.20(1),

    2021

  8. [8]

    Implementing quantum control for unknown subroutines

    N. Friis, V . Dunjko, W. Dür, and H. J. Briegel (2014), “Implementing Quantum Control for Unknown Subroutines,” Phys. Rev. A89, 030303, arXiv:1401.8128 [quant-ph]. M. Frisch (2022),The Stanford Encyclopedia of Philosophy, Spring 2022 ed., edited by E. N. Zalta (Metaphysics Research Lab, Stan- ford University). T. Fujita, and M. Sasaki (2026), “Quantum mat...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/phys- 2014

  9. [9]

    Optimal strategies of quantum metrology with a strict hierarchy,

    Q. Liu, Z. Hu, H. Yuan, and Y . Yang (2023a), “Optimal strategies of quantum metrology with a strict hierarchy,” Phys. Rev. Lett.130, 070803, arXiv:2203.09758 [quant-ph]. W.-Q. Liu, Z. Meng, B.-W. Song, J. Li, Q.-Y . Wu, X.-X. Chen, J.-Y . Hong, A.-N. Zhang, and Z. qi Yin (2023b), “Experimen- tally demonstrating indefinite causal order algorithms to solve...

    arXiv 2022

  10. [10]

    Reconstructing quantum theory from diagrammatic postulates,

    M. O. Scully, and M. S. Zubairy (1997),Quantum Optics(Cam- bridge University Press). J. H. Selby, C. M. Scandolo, and B. Coecke (2021), “Reconstructing quantum theory from diagrammatic postulates,” Quantum5, 445, arXiv:1802.00367 [quant-ph]. K. Sengupta (2024), “Achieving maximal causal indefiniteness in a maximally nonlocal theory,” arXiv:2411.04201 [qua...

    arXiv 1997

  11. [11]

    Equivalence determi- nation of unitary operations,

    A. Shimbo, A. Soeda, and M. Murao (2018), “Equivalence determi- nation of unitary operations,” arXiv:1803.11414 [quant-ph]. S. Shrapnel, and F. Costa (2018), “Causation does not explain con- textuality,” Quantum2, 63, arXiv:1708.00137 [quant-ph]. S. Shrapnel, F. Costa, and G. Milburn (2018), “Updating the born rule,” New J. Phys.20(5), 053010, arXiv:1702....

    Pith/arXiv arXiv 2018

  12. [12]

    Work extraction from coherently activated maps via quantum switch,

    K. Simonov, G. Francica, G. Guarnieri, and M. Paternostro (2022), “Work extraction from coherently activated maps via quantum switch,” Phys. Rev. A105, 032217, arXiv:2009.11265 [quant-ph]. P. Skrzypczyk, and D. Cavalcanti (2023),Semidefinite Programming in Quantum Information Science, 2053-2563 (IOP Publishing) arXiv:2306.11637 [quant-ph]. A. Soeda (2013)...

    arXiv 2022

  13. [13]

    Simulating noncausality with quantum control of causal orders,

    A. Steffinlongo, and H. Dourdent (2026), “Simulating noncausality with quantum control of causal orders,” Phys. Rev. Res.8, 013127, arXiv:2502.15579 [quant-ph]. W. F. Stinespring (1955), “Positive functions on c*-algebras,” Pro- ceedings of the American Mathematical Society6(2), 211–216. T. Strömberg, P. Schiansky, R. W. Peterson, M. T. Quintino, and P. W...

    arXiv 2026

  14. [14]

    Computational advantage from the quantum superposition of multiple temporal orders of photonic gates,

    M. M. Taddei, J. Cariñe, D. Martínez, T. García, N. Guerrero, A. A. Abbott, M. Araújo, C. Branciard, E. S. Gómez, S. P. Walborn, L. Aolita, and G. Lima (2021), “Computational advantage from the quantum superposition of multiple temporal orders of photonic gates,” PRX Quantum2, 010320, arXiv:2002.07817 [quant-ph]. M. M. Taddei, R. V . Nery, and L. Aolita (...

    arXiv 2021

  15. [15]

    controlled-time

    Operation with quantum-controlled timing. The time at which the operationMis applied on a target system depends on the state of the control: timet 1 for|0⟩and timet 2 for|1⟩. In such a situation, it is possible to identify a subsystem decomposition such thatMacts on asinglesubsystem, delocalized between timest 1 and t2. through. By assumption, the delocal...

    2019