pith. machine review for the scientific record. sign in

arxiv: 2605.08351 · v1 · submitted 2026-05-08 · 🪐 quant-ph · gr-qc

Recognition: 2 theorem links

· Lean Theorem

Higher-order quantum processes respecting closed labs in a spacetime have quantum controlled causal order

Matthias Salzger, V. Vilasini

Authors on Pith no claims yet

Pith reviewed 2026-05-12 00:55 UTC · model grok-4.3

classification 🪐 quant-ph gr-qc
keywords quantum causalityindefinite causal orderprocess matricesquantum circuits with quantum controlcausal boxesrelativistic quantum informationclosed laboratory assumptions
0
0 comments X

The pith

Protocols that keep laboratories closed in classical spacetime are exactly those realizable as quantum circuits with quantum-controlled causal order.

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

The paper derives from relativistic causality principles that any higher-order quantum protocol compatible with a fixed background spacetime and closed labs must match the behaviour of a quantum circuit with quantum control of causal order. It formalizes the closed-lab conditions as two spacetime-level constraints and proves their equivalence to QC-QC circuits, thereby identifying which abstract processes with indefinite order admit physical realizations without post-selection. A reader would care because this supplies a top-down physical grounding for QC-QC frameworks and excludes more general non-causal processes that violate the closed-lab rules.

Core claim

Any protocol in a classical acyclic spacetime satisfying the Acting Once and Local Order constraints is behaviourally equivalent to a quantum circuit with quantum control of causal order. QC-QCs therefore constitute precisely the class of higher-order quantum processes, including those with indefinite order, that can be physically realised within classical spacetime under the closed-labs assumption.

What carries the argument

The Acting Once plus Local Order constraints, which encode the closed-laboratory assumptions of the process-matrix framework inside the causal-boxes model of spacetime protocols.

If this is right

  • All higher-order processes with indefinite causal order that fit the closed-lab conditions are physically realizable as QC-QC circuits.
  • More general non-causal processes outside the QC-QC class are ruled out under the closed-labs assumption.
  • Coarse-grained cyclic causal structures in abstract frameworks must correspond to fine-grained acyclic structures in spacetime when closed labs are enforced.
  • New causality-based characterization techniques become available for process-box protocols in relativistic settings.

Where Pith is reading between the lines

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

  • Experiments that appear to implement more general causal structures may implicitly rely on post-selection or open laboratories.
  • The result raises the question of whether similar equivalence holds when spacetime itself is allowed to be dynamical or quantum.
  • One could test the boundary by constructing concrete QC-QC circuits and verifying whether they admit faithful embeddings into Minkowski spacetime without violating the two constraints.

Load-bearing premise

That the closed-laboratory conditions can be completely captured by the two constraints Acting Once and Local Order when protocols are described at the fine-grained spacetime level.

What would settle it

An explicit protocol that obeys Acting Once and Local Order in a classical acyclic spacetime yet cannot be simulated by any QC-QC circuit, or a QC-QC circuit that cannot be embedded into such a spacetime while respecting the same constraints.

Figures

Figures reproduced from arXiv: 2605.08351 by Matthias Salzger, V. Vilasini.

Figure 1
Figure 1. Figure 1: Visual overview of main result and examples On both sides, the largest set labelled as “all quantum causal structures (cyclic)” corresponds more precisely to post-selected closed timelike curves (P-CTCs) [1]. On the left, relativistic causality in spacetime, gives causal boxes [5], while on the right, process matrices (PM) are known to be a linear subset of P-CTCs [13]. Here (building on [58]), we define p… view at source ↗
Figure 2
Figure 2. Figure 2: Graphical depiction of a quantum circuit with quantum control of causal order (QC-QC). At each [PITH_FULL_IMAGE:figures/full_fig_p010_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: A trivial violation of a causal inequality. The label on each wire indicates the variable that wire [PITH_FULL_IMAGE:figures/full_fig_p012_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Graphical depiction of the Action Once (AO) condition of Def. [PITH_FULL_IMAGE:figures/full_fig_p016_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Graphical depiction of the Agent Local Order (ALO) condition of Def. [PITH_FULL_IMAGE:figures/full_fig_p017_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Graphical depiction of the Local Order (LO) condition of Def. [PITH_FULL_IMAGE:figures/full_fig_p019_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: The protocol sends a state ψ to Alice. Depending on her output, either Bob and Charlie act in parallel (red path) or sequentially (blue path). In the example, we see that Alice can decide whether Bob and Charlie act in parallel or sequentially. This is not something that explicitly appears in the QC-QC framework. However, it is still possible to cast this protocol so that it looks completely sequential, si… view at source ↗
Figure 8
Figure 8. Figure 8: The circuit implementation of the Lugano process as proposed by [ [PITH_FULL_IMAGE:figures/full_fig_p028_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: The two protocols are behaviourally equivalent. [PITH_FULL_IMAGE:figures/full_fig_p031_9.png] view at source ↗
read the original abstract

In quantum causality and quantum information, there is a vast landscape of abstract quantum protocols permitting cyclic or non-acyclic causal structures between operations, including frameworks for indefinite causal order and higher-order quantum processes such as process matrices. A longstanding open question is what is the largest class of abstract processes that admit physical realisations without post-selection. In this work, we provide a rigorous answer using a top-down approach grounded in relativistic causality principles. Building on the framework of causal boxes, which characterise the most general quantum information-processing protocols compatible with fixed background spacetimes, we formalise additional constraints (Acting Once + Local Order) capturing the closed-laboratory assumptions of the process matrix framework at a fine-grained spacetime level. We prove that any protocol in a classical acyclic spacetime satisfying these conditions is behaviourally equivalent to a quantum circuit with quantum control of causal order (QC-QC), providing a top-down derivation of QC-QCs from physical principles. Our results show that QC-QCs constitute precisely the class of higher-order quantum processes, including those with indefinite order, that can be physically realised within classical spacetime, ruling out more general non-causal processes under the closed-labs assumption. This clarifies the relationship between abstract higher-order process matrix frameworks and experimentally accessible quantum protocols, as well as the interplay between coarse-grained cyclic and fine-grained acyclic operational causal structures. We also develop characterisation techniques for process box protocols that lead to new causality-based open questions concerning spacetime quantum protocols and relativistic quantum experiments.

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 paper claims to derive, from relativistic causality in classical acyclic spacetimes, that any quantum protocol obeying the Acting Once and Local Order constraints (formalized within the causal-boxes framework to capture closed-laboratory assumptions) is behaviorally equivalent to a quantum circuit with quantum control of causal order (QC-QC). This supplies a top-down characterization showing that QC-QCs are precisely the higher-order processes, including those with indefinite causal order, that admit physical realizations without post-selection, while ruling out more general non-causal processes.

Significance. If the central equivalence theorem holds, the result is significant: it supplies a physically motivated derivation of QC-QCs from first principles rather than an ad-hoc construction, thereby clarifying the boundary between abstract process-matrix frameworks and experimentally accessible protocols in fixed spacetime. The approach also highlights the interplay between coarse-grained cyclic operational structures and fine-grained acyclic spacetime realizations, and introduces new characterization techniques for process-box protocols.

minor comments (2)
  1. The abstract and introduction would benefit from a brief, explicit statement of the precise behavioral equivalence relation (e.g., equality of input-output maps or of the induced process matrices) to make the central claim immediately verifiable by readers.
  2. Notation for the Acting Once and Local Order constraints should be introduced with a short table or diagram in the main text that contrasts them with the unrestricted causal-boxes setting; this would improve readability of the subsequent proof.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their positive and accurate summary of our manuscript and for recommending minor revision. We address the key aspects of the report below.

read point-by-point responses
  1. Referee: The paper claims to derive, from relativistic causality in classical acyclic spacetimes, that any quantum protocol obeying the Acting Once and Local Order constraints (formalized within the causal-boxes framework to capture closed-laboratory assumptions) is behaviorally equivalent to a quantum circuit with quantum control of causal order (QC-QC). This supplies a top-down characterization showing that QC-QCs are precisely the higher-order processes, including those with indefinite causal order, that admit physical realizations without post-selection, while ruling out more general non-causal processes.

    Authors: We confirm that this accurately captures the central result. The manuscript proves the behavioral equivalence under the stated constraints using the causal-boxes framework, yielding the top-down derivation from relativistic causality and ruling out more general processes under the closed-labs assumption. revision: no

  2. Referee: If the central equivalence theorem holds, the result is significant: it supplies a physically motivated derivation of QC-QCs from first principles rather than an ad-hoc construction, thereby clarifying the boundary between abstract process-matrix frameworks and experimentally accessible protocols in fixed spacetime. The approach also highlights the interplay between coarse-grained cyclic operational structures and fine-grained acyclic spacetime realizations, and introduces new characterization techniques for process-box protocols.

    Authors: We agree with this assessment of the significance. The equivalence provides a physically grounded characterization of QC-QCs, and the techniques for process-box protocols are designed to illuminate the relationship between coarse-grained and fine-grained causal structures. revision: no

Circularity Check

0 steps flagged

No significant circularity; derivation is a self-contained proof

full rationale

The paper presents a top-down mathematical proof that protocols in classical acyclic spacetime satisfying the Acting Once and Local Order constraints are behaviourally equivalent to QC-QCs. This equivalence is derived from the causal boxes framework plus explicitly added physical constraints that capture closed-lab assumptions, without any reduction of the central result to fitted parameters, self-definitional loops, or load-bearing self-citations whose content is merely renamed. No equations or steps in the provided abstract and high-level description exhibit the patterns of circularity (e.g., a prediction that is the input by construction); the result rules out more general processes by the stated assumptions rather than by re-labeling prior outputs. The derivation therefore remains independent of its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Limited information available from abstract only; paper relies on causal boxes as base framework and introduces two new constraints.

axioms (2)
  • domain assumption Relativistic causality principles in fixed background spacetimes via causal boxes
    Grounds the characterization of general quantum information-processing protocols compatible with spacetime.
  • domain assumption Acting Once + Local Order constraints capture closed-laboratory assumptions
    Formalized at fine-grained spacetime level to match process matrix closed labs.

pith-pipeline@v0.9.0 · 5567 in / 1242 out tokens · 36354 ms · 2026-05-12T00:55:04.628945+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Reference graph

Works this paper leans on

87 extracted references · 87 canonical work pages · 1 internal anchor

  1. [1]

    Closed Timelike Curves via Postselection: Theory and Experimental Test of Consis- tency

    Seth Lloyd et al. “Closed Timelike Curves via Postselection: Theory and Experimental Test of Consis- tency”. In:Physical Review Letters106.4 (2011).issn: 1079-7114.doi:10.1103/physrevlett.106. 040403.url:http://dx.doi.org/10.1103/PhysRevLett.106.040403

  2. [2]

    Categorical Semantics for Time Travel

    Nicola Pinzani, Stefano Gogioso, and Bob Coecke. “Categorical Semantics for Time Travel”. In:2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)(2019), pp. 1–20.doi: 10.1109/LICS.2019.8785664

  3. [3]

    Generalised Process Theories

    John H. Selby et al. “Generalised Process Theories”. 2025. arXiv:2502.10368 [math.CT].url:https: //arxiv.org/abs/2502.10368

  4. [4]

    Picturing Quantum Processes

    Bob Coecke and Aleks Kissinger. “Picturing Quantum Processes”. Cambridge University Press, 2017

  5. [5]

    Embedding cyclic information-theoretic structures in acyclic space- times: No-go results for indefinite causality

    V. Vilasini and Renato Renner. “Embedding cyclic information-theoretic structures in acyclic space- times: No-go results for indefinite causality”. In:Physical Review A110.2 (2024).issn: 2469-9934.doi: 10.1103/physreva.110.022227.url:http://dx.doi.org/10.1103/PhysRevA.110.022227. 34

  6. [6]

    Vilasini and R

    V. Vilasini and Renato Renner. “Fundamental Limits for Realizing Quantum Processes in Spacetime”. In:Physical Review Letters133.8 (2024).issn: 1079-7114.doi:10.1103/physrevlett.133.080201. url:http://dx.doi.org/10.1103/PhysRevLett.133.080201

  7. [7]

    Cyclic quantum causal modelling with a graph sepa- ration theorem

    Carla Ferradini, Victor Gitton, and V. Vilasini. “Cyclic quantum causal modelling with a graph sepa- ration theorem”. 2025. arXiv:2502.04168 [quant-ph].url:https://arxiv.org/abs/2502.04168

  8. [8]

    Cyclic quantum causal models

    Jonathan Barrett, Robin Lorenz, and Ognyan Oreshkov. “Cyclic quantum causal models”. In:Nature Communications12.1 (2021).doi:10.1038/s41467-020-20456-x.url:https://doi.org/10.1038% 2Fs41467-020-20456-x

  9. [9]

    IEEE Trans

    Christopher Portmann et al. “Causal Boxes: Quantum Information-Processing Systems Closed under Composition”. In:IEEE Transactions on Information Theory(2017), pp. 1–1.doi:10.1109/tit. 2017.2676805.url:https://doi.org/10.1109%2Ftit.2017.2676805

  10. [10]

    Probability Theories with Dynamic Causal Structure: A New Framework for Quantum Gravity

    Lucien Hardy. “Probability Theories with Dynamic Causal Structure: A New Framework for Quantum Gravity”. 2005.doi:10 . 48550 / ARXIV . GR - QC / 0509120.url:https : / / arxiv . org / abs / gr - qc/0509120

  11. [11]

    Quantum correlations with no causal order

    Ognyan Oreshkov, Fabio Costa, and ˇCaslav Brukner. “Quantum correlations with no causal order”. In:Nature Communications3.1 (2012).doi:10.1038/ncomms2076.url:https://doi.org/10.1038% 2Fncomms2076

  12. [12]

    Quantum computations without definite causal structure

    Giulio Chiribella et al. “Quantum computations without definite causal structure”. In:Phys. Rev. A 88 (2013), p. 022318.doi:10.1103/PhysRevA.88.022318.url:https://link.aps.org/doi/10. 1103/PhysRevA.88.022318

  13. [13]

    Quantum computation with indefinite causal structures

    Mateus Ara´ ujo, Philippe Allard Gu´ erin, and¨Amin Baumeler. “Quantum computation with indefinite causal structures”. In:Physical Review A96.5 (2017).doi:10 . 1103 / physreva . 96 . 052315.url: https://doi.org/10.1103%2Fphysreva.96.052315

  14. [14]

    Perfect discrimination of no-signalling channels via quantum superposition of causal structures

    Giulio Chiribella. “Perfect discrimination of no-signalling channels via quantum superposition of causal structures”. In:Physical Review A86.4 (2012).doi:10.1103/physreva.86.040301.url:https: //doi.org/10.1103%2Fphysreva.86.040301

  15. [15]

    Quantum computation with programmable connections between gates

    Timoteo Colnaghi et al. “Quantum computation with programmable connections between gates”. In: Physics Letters A376.45 (2012), pp. 2940–2943.doi:10 . 1016 / j . physleta . 2012 . 08 . 028.url: https://doi.org/10.1016%2Fj.physleta.2012.08.028

  16. [16]

    Computational Advantage from Quantum-Controlled Ordering of Gates

    Mateus Ara´ ujo, Fabio Costa, andˇCaslav Brukner. “Computational Advantage from Quantum-Controlled Ordering of Gates”. In:Physical Review Letters113.25 (2014).doi:10 . 1103 / physrevlett . 113 . 250402.url:https://doi.org/10.1103%2Fphysrevlett.113.250402

  17. [17]

    Experimentally Demonstrating Indefinite Causal Order Algorithms to Solve the Generalized Deutsch’s Problem

    Wen-Qiang Liu et al. “Experimentally Demonstrating Indefinite Causal Order Algorithms to Solve the Generalized Deutsch’s Problem”. In:Advanced Quantum Technologies7.10 (2024), p. 2400181.doi: https://doi.org/10.1002/qute.202400181.url:https://advanced.onlinelibrary.wiley.com/ doi/abs/10.1002/qute.202400181

  18. [18]

    Exponential Communication Complexity Advantage from Quantum Su- perposition of the Direction of Communication

    Philippe Allard Gu´ erin et al. “Exponential Communication Complexity Advantage from Quantum Su- perposition of the Direction of Communication”. In:Physical Review Letters117.10 (2016).issn: 1079- 7114.doi:10.1103/physrevlett.117.100502.url:http://dx.doi.org/10.1103/PhysRevLett. 117.100502

  19. [19]

    Indefinite causal order enables perfect quantum communication with zero capacity channels

    Giulio Chiribella et al. “Indefinite causal order enables perfect quantum communication with zero capacity channels”. In:New Journal of Physics23.3 (2021), p. 033039.issn: 1367-2630.doi:10.1088/ 1367-2630/abe7a0.url:http://dx.doi.org/10.1088/1367-2630/abe7a0

  20. [21]

    Thermodynamic advancement in the causally inseparable occurrence of thermal maps

    Tamal Guha, Mir Alimuddin, and Preeti Parashar. “Thermodynamic advancement in the causally inseparable occurrence of thermal maps”. In:Physical Review A102.3 (2020).issn: 2469-9934.doi: 10.1103/physreva.102.032215.url:http://dx.doi.org/10.1103/PhysRevA.102.032215. 35

  21. [22]

    Refrigeration with Indefinite Causal Orders on a Cloud Quantum Computer

    David Felce, Vlatko Vedral, and Felix Tennie. “Refrigeration with Indefinite Causal Orders on a Cloud Quantum Computer”. 2021. arXiv:2107.12413 [quant-ph].url:https://arxiv.org/abs/2107. 12413

  22. [23]

    Activation of thermal states by coherently controlled thermalization processes

    Kyrylo Simonov et al. “Activation of thermal states by coherently controlled thermalization processes”. In:New Journal of Physics27.7 (2025), p. 074502.issn: 1367-2630.doi:10.1088/1367-2630/ade5c4. url:http://dx.doi.org/10.1088/1367-2630/ade5c4

  23. [24]

    Witnessing causal nonseparability

    Mateus Ara´ ujo et al. “Witnessing causal nonseparability”. In:New Journal of Physics17.10 (2015), p. 102001.doi:10 . 1088 / 1367 - 2630 / 17 / 10 / 102001.url:https : / / doi . org / 10 . 1088 / 1367 - 2630/17/10/102001

  24. [25]

    Causal and causally separable processes

    Ognyan Oreshkov and Christina Giarmatzi. “Causal and causally separable processes”. In:New Journal of Physics18.9 (2016), p. 093020.doi:10.1088/1367-2630/18/9/093020.url:https://doi.org/ 10.1088%2F1367-2630%2F18%2F9%2F093020

  25. [26]

    The simplest causal inequalities and their violation

    Cyril Branciard et al. “The simplest causal inequalities and their violation”. In:New Journal of Physics 18.1 (2015), p. 013008.doi:10.1088/1367-2630/18/1/013008.url:https://doi.org/10.1088% 2F1367-2630%2F18%2F1%2F013008

  26. [27]

    The space of logically consistent classical processes without causal order

    ¨Amin Baumeler and Stefan Wolf. “The space of logically consistent classical processes without causal order”. In:New Journal of Physics18.1 (2016), p. 013036.issn: 1367-2630.doi:10 . 1088 / 1367 - 2630/18/1/013036.url:http://dx.doi.org/10.1088/1367-2630/18/1/013036

  27. [28]

    Observer-dependent locality of quantum events

    Philippe Allard Gu´ erin and ˇCaslav Brukner. “Observer-dependent locality of quantum events”. In: New Journal of Physics20.10 (2018), p. 103031.issn: 1367-2630.doi:10.1088/1367-2630/aae742. url:http://dx.doi.org/10.1088/1367-2630/aae742

  28. [29]

    On the definition and characterisation of multipartite causal (non)separability

    Julian Wechs, Alastair A Abbott, and Cyril Branciard. “On the definition and characterisation of multipartite causal (non)separability”. In:New Journal of Physics21.1 (2019), p. 013027.doi:10. 1088/1367-2630/aaf352.url:https://doi.org/10.1088%2F1367-2630%2Faaf352

  29. [30]

    Quantum Circuits with Classical Versus Quantum Control of Causal Order

    Julian Wechs et al. “Quantum Circuits with Classical Versus Quantum Control of Causal Order”. In: PRX Quantum2.3 (2021).doi:10.1103/prxquantum.2.030335.url:https://doi.org/10.1103% 5C%2Fprxquantum.2.030335

  30. [31]

    Connecting indefinite causal order processes to composable quantum protocols in a spacetime

    Matthias Salzger. “Connecting indefinite causal order processes to composable quantum protocols in a spacetime”. 2023. arXiv:2304.06735 [quant-ph].url:https://arxiv.org/abs/2304.06735

  31. [32]

    Correlations and quantum circuits with dynamical causal order

    Rapha¨ el Mothe, Alastair A. Abbott, and Cyril Branciard. “Correlations and quantum circuits with dynamical causal order”. 2025. arXiv:2507.07992 [quant-ph].url:https://arxiv.org/abs/2507. 07992

  32. [33]

    Simulating noncausality with quantum control of causal orders

    Anna Steffinlongo and Hippolyte Dourdent. “Simulating noncausality with quantum control of causal orders”. In:Physical Review Research8.1 (2026).issn: 2643-1564.doi:10.1103/9jss- yf1c.url: http://dx.doi.org/10.1103/9jss-yf1c

  33. [34]

    A purification postulate for quantum mechanics with indefinite causal order

    Mateus Ara´ ujo et al. “A purification postulate for quantum mechanics with indefinite causal order”. In: Quantum1 (2017), p. 10.doi:10.22331/q-2017-04-26-10.url:https://doi.org/10.22331%2Fq- 2017-04-26-10

  34. [35]

    Probabilistic theories with pu- rification

    Giulio Chiribella, Giacomo Mauro D’Ariano, and Paolo Perinotti. “Probabilistic theories with pu- rification”. In:Physical Review A81.6 (2010).doi:10 . 1103 / physreva . 81 . 062348.url:https : //doi.org/10.1103%2Fphysreva.81.062348

  35. [36]

    Maximal incompatibility of locally classical behavior and global causal order in multiparty scenarios

    ¨Amin Baumeler, Adrien Feix, and Stefan Wolf. “Maximal incompatibility of locally classical behavior and global causal order in multiparty scenarios”. In:Physical Review A90.4 (2014).issn: 1094-1622. doi:10.1103/physreva.90.042106.url:http://dx.doi.org/10.1103/PhysRevA.90.042106

  36. [37]

    Combining hard and soft decoders for hypergraph product codes,

    Augustin Vanrietvelde, Hl´ er Kristj´ ansson, and Jonathan Barrett. “Routed quantum circuits”. In:Quan- tum5 (2021), p. 503.issn: 2521-327X.doi:10.22331/q- 2021- 07- 13- 503.url:http://dx.doi. org/10.22331/q-2021-07-13-503

  37. [38]

    Existence of processes violating causal inequal- ities on time-delocalised subsystems

    Julian Wechs, Cyril Branciard, and Ognyan Oreshkov. “Existence of processes violating causal inequal- ities on time-delocalised subsystems”. In:Nature Communications14.1 (2023).issn: 2041-1723.doi: 10.1038/s41467-023-36893-3.url:http://dx.doi.org/10.1038/s41467-023-36893-3. 36

  38. [39]

    Hensen, H

    B. Hensen et al. “Loophole-free Bell inequality violation using electron spins separated by 1.3 kilome- tres”. In:Nature526 (2015), pp. 682–686.doi:10.1038/nature15759

  39. [40]

    Significant-loophole-free test of Bell’s theorem with entangled photons

    M. Giustina et al. “Significant-loophole-free test of Bell’s theorem with entangled photons”. In:Physical Review Letters115 (2015), p. 250401.doi:10.1103/PhysRevLett.115.250401

  40. [41]

    Shalm, Evan Meyer-Scott, Bradley G

    L. K. Shalm et al. “Strong loophole-free test of local realism”. In:Physical Review Letters115 (2015), p. 250402.doi:10.1103/PhysRevLett.115.250402

  41. [42]

    Mapping indefinite causal order processes to composable quantum protocols in a spacetime

    Matthias Salzger and V Vilasini. “Mapping indefinite causal order processes to composable quantum protocols in a spacetime”. In:New Journal of Physics27.2 (2025), p. 023002.issn: 1367-2630.doi: 10.1088/1367-2630/ad9d6f.url:http://dx.doi.org/10.1088/1367-2630/ad9d6f

  42. [43]

    Experimental superposition of orders of quantum gates

    Lorenzo M. Procopio et al. “Experimental superposition of orders of quantum gates”. In:Nature Com- munications6.1 (2015).doi:10.1038/ncomms8913.url:https://doi.org/10.1038%2Fncomms8913

  43. [44]

    Experimental verification of an indefinite causal order

    Giulia Rubino et al. “Experimental verification of an indefinite causal order”. In:Science Advances3.3 (2017).doi:10.1126/sciadv.1602589.url:https://doi.org/10.1126%2Fsciadv.1602589

  44. [45]

    Indefinite Causal Order in a Quantum Switch

    K. Goswami et al. “Indefinite Causal Order in a Quantum Switch”. In:Physical Review Letters121.9 (2018).doi:10.1103/physrevlett.121.090503.url:https://doi.org/10.1103%2Fphysrevlett. 121.090503

  45. [46]

    Experimental Quantum Switching for Exponentially Superior Quantum Commu- nication Complexity

    Kejin Wei et al. “Experimental Quantum Switching for Exponentially Superior Quantum Commu- nication Complexity”. In:Physical Review Letters122.12 (2019).issn: 1079-7114.doi:10 . 1103 / physrevlett.122.120504.url:http://dx.doi.org/10.1103/PhysRevLett.122.120504

  46. [47]

    Experimental entanglement of temporal order

    Giulia Rubino et al. “Experimental entanglement of temporal order”. In:Quantum6 (2022), p. 621. issn: 2521-327X.doi:10.22331/q-2022-01-11-621.url:http://dx.doi.org/10.22331/q-2022- 01-11-621

  47. [48]

    Puebla, A

    Yu Guo et al. “Experimental Transmission of Quantum Information Using a Superposition of Causal Orders”. In:Physical Review Letters124.3 (2020).issn: 1079-7114.doi:10.1103/physrevlett.124. 030502.url:http://dx.doi.org/10.1103/PhysRevLett.124.030502

  48. [49]

    Experiments on quantum causality

    K. Goswami and J. Romero. “Experiments on quantum causality”. In:AVS Quantum Science2.3 (2020).issn: 2639-0213.doi:10.1116/5.0010747.url:http://dx.doi.org/10.1116/5.0010747

  49. [50]

    Computational Advantage from the Quantum Superposition of Multiple Temporal Orders of Photonic Gates

    M´ arcio M. Taddei et al. “Computational Advantage from the Quantum Superposition of Multiple Temporal Orders of Photonic Gates”. In:PRX Quantum2.1 (2021).issn: 2691-3399.doi:10.1103/ prxquantum.2.010320.url:http://dx.doi.org/10.1103/PRXQuantum.2.010320

  50. [51]

    Causal orders, quantum circuits and spacetime: distinguishing between definite and superposed causal orders

    Nikola Paunkovi´ c and Marko Vojinovi´ c. “Causal orders, quantum circuits and spacetime: distinguishing between definite and superposed causal orders”. In:Quantum4 (2020), p. 275.doi:10.22331/q-2020- 05-28-275.url:https://doi.org/10.22331%2Fq-2020-05-28-275

  51. [52]

    Indefinite Causal Order and Quantum Coordinates

    Anne-Catherine de la Hamette et al. “Indefinite Causal Order and Quantum Coordinates”. In:Physical Review Letters135.14 (2025).issn: 1079-7114.doi:10.1103/bnkn-4p3f.url:http://dx.doi.org/ 10.1103/bnkn-4p3f

  52. [53]

    Quantum coordinates, localisation of events, and the quantum hole argument

    Viktoria Kabel et al. “Quantum coordinates, localisation of events, and the quantum hole argument”. In:Communications Physics8.1 (2025).issn: 2399-3650.doi:10.1038/s42005-025-02084-3.url: http://dx.doi.org/10.1038/s42005-025-02084-3

  53. [54]

    Time-delocalized quantum subsystems and operations: on the existence of processes with indefinite causal structure in quantum mechanics

    Ognyan Oreshkov. “Time-delocalized quantum subsystems and operations: on the existence of processes with indefinite causal structure in quantum mechanics”. In:Quantum3 (2019), p. 206.doi:10.22331/ q-2019-12-02-206.url:https://doi.org/10.22331%2Fq-2019-12-02-206

  54. [55]

    Causal structure in the presence of sectorial constraints, with application to the quantum switch

    Nick Ormrod, Augustin Vanrietvelde, and Jonathan Barrett. “Causal structure in the presence of sectorial constraints, with application to the quantum switch”. In:Quantum7 (2023), p. 1028.issn: 2521-327X.doi:10.22331/q-2023-06-01-1028.url:http://dx.doi.org/10.22331/q-2023-06- 01-1028

  55. [56]

    Indefinite causal orders from superpositions in time

    David Felce et al. “Indefinite causal orders from superpositions in time”. In:Physical Review A105.6 (2022).issn: 2469-9934.doi:10.1103/physreva.105.062216.url:http://dx.doi.org/10.1103/ PhysRevA.105.062216. 37

  56. [57]

    Events and their localisation are relative to a lab,

    V. Vilasini et al. “Events and their Localisation are Relative to a Lab”. 2025. arXiv:2505 . 21797 [quant-ph].url:https://arxiv.org/abs/2505.21797

  57. [58]

    Causality in definite and indefinite space-times

    L´ ıdia Del Rio V. Vilasini and Renato Renner. “Causality in definite and indefinite space-times”. Ex- tended abstract from QPL 2020,https : / / wdi . centralesupelec . fr / users / valiron / qplmfps / papers/qs01t3.pdf, talk version athttps://www.youtube.com/watch?v=iBCntE0zxg8. 2020

  58. [59]

    Consequences of preserving reversibility in quantum superchannels

    Wataru Yokojima et al. “Consequences of preserving reversibility in quantum superchannels”. In: Quantum5 (2021), p. 441.issn: 2521-327X.doi:10 . 22331 / q - 2021 - 04 - 26 - 441.url:http : //dx.doi.org/10.22331/q-2021-04-26-441

  59. [60]

    The Choi–Jamiolkowski forms of quantum Gaussian channels

    A. S. Holevo. “The Choi–Jamiolkowski forms of quantum Gaussian channels”. In:Journal of Mathe- matical Physics52.4 (2011).issn: 1089-7658.doi:10.1063/1.3581879.url:http://dx.doi.org/ 10.1063/1.3581879

  60. [61]

    Positive Functions on C*-Algebras

    W. Forrest Stinespring. “Positive Functions on C*-Algebras”. In:Proceedings of the American Math- ematical Society6.2 (1955), pp. 211–216.issn: 00029939, 10886826.url:http://www.jstor.org/ stable/2032342

  61. [62]

    Quantum Circuit Architecture

    G. Chiribella, G. M. D’Ariano, and P. Perinotti. “Quantum Circuit Architecture”. In:Physical Review Letters101.6 (2008).doi:10.1103/physrevlett.101.060401.url:https://doi.org/10.1103% 2Fphysrevlett.101.060401

  62. [63]

    Theoretical framework for quantum networks

    Giulio Chiribella, Giacomo Mauro D’Ariano, and Paolo Perinotti. “Theoretical framework for quantum networks”. In:Physical Review A80.2 (2009).doi:10 . 1103 / physreva . 80 . 022339.url:https : //doi.org/10.1103%2Fphysreva.80.022339

  63. [64]

    Quantum Theory Cannot Violate a Causal Inequality

    Tom Purves and Anthony J. Short. “Quantum Theory Cannot Violate a Causal Inequality”. In:Phys- ical Review Letters127.11 (2021).doi:10.1103/physrevlett.127.110402.url:https://doi.org/ 10.1103%2Fphysrevlett.127.110402

  64. [65]

    A Fine-Grained Perspective on Higher Order Processes: Modelling Agents in Spacetime

    Cyril Branciard Emilien de Bank and . V. Vilasini. “A Fine-Grained Perspective on Higher Order Processes: Modelling Agents in Spacetime”. In preparation. 2026

  65. [66]

    Communication Cost of Simulating Bell Correlations

    Benjamin F. Toner and David Bacon. “Communication Cost of Simulating Bell Correlations”. In: Physical Review Letters91 (2003), p. 187904.doi:10.1103/PhysRevLett.91.187904

  66. [67]

    Cost of Exactly Simulating Quantum Entanglement with Classical Communication

    Gilles Brassard, Richard Cleve, and Alain Tapp. “Cost of Exactly Simulating Quantum Entanglement with Classical Communication”. In:Physical Review Letters83 (1999), pp. 1874–1877.doi:10.1103/ PhysRevLett.83.1874

  67. [68]

    Classical simulation of quantum entanglement without local hidden variables

    Serge Massar et al. “Classical simulation of quantum entanglement without local hidden variables”. In:Physical Review A63 (2001), p. 052305.doi:10.1103/PhysRevA.63.052305

  68. [69]

    Violations of Bell inequalities as lower bounds on the communication cost of nonlocal correlations

    Stefano Pironio. “Violations of Bell inequalities as lower bounds on the communication cost of nonlocal correlations”. In:Physical Review A68.6 (2003).issn: 1094-1622.doi:10.1103/physreva.68.062102. url:http://dx.doi.org/10.1103/PhysRevA.68.062102

  69. [70]

    Entanglement and nonlocality are different re- sources

    Nicolas Brunner, Nicolas Gisin, and Valerio Scarani. “Entanglement and nonlocality are different re- sources”. In:New Journal of Physics7 (2005), p. 88.doi:10.1088/1367-2630/7/1/088

  70. [71]

    Bell’s theorem for temporal order

    Magdalena Zych et al. “Bell’s theorem for temporal order”. In:Nature Communications10.1 (2019). doi:10.1038/s41467-019-11579-x.url:https://doi.org/10.1038%2Fs41467-019-11579-x

  71. [72]

    Gravitationally induced decoherence vs space-time diffusion: testing the quantum nature of gravity.Nature Commun., 14(1):7910, 2023

    Esteban Castro-Ruiz et al. “Quantum clocks and the temporal localisability of events in the presence of gravitating quantum systems”. In:Nature Communications11.1 (2020).doi:10.1038/s41467- 020-16013-1.url:https://doi.org/10.1038%2Fs41467-020-16013-1

  72. [73]

    Quantum switch in the gravity of Earth

    Nat´ alia S. M´ oller, Bruna Sahdo, and Nelson Yokomizo. “Quantum switch in the gravity of Earth”. In:Physical Review A104.4 (2021).issn: 2469-9934.doi:10 . 1103 / physreva . 104 . 042414.url: http://dx.doi.org/10.1103/PhysRevA.104.042414

  73. [74]

    Operational causality and realizable processes in the Page-Wootters framework

    Lukas Schmitt. “Operational causality and realizable processes in the Page-Wootters framework”. MA thesis. ETH Zurich, 2023. 38

  74. [75]

    H., Jedamzik, K., & Pogosian, L

    Don N Page and William K Wootters. “Evolution without evolution: Dynamics described by stationary observables”. In:Physical Review D27.12 (1983), p. 2885.doi:https://doi.org/10.1103/PhysRevD. 27.2885

  75. [76]

    Quantum time

    Vittorio Giovannetti, Seth Lloyd, and Lorenzo Maccone. “Quantum time”. In:Physical Review D92.4 (2015).issn: 1550-2368.doi:10.1103/physrevd.92.045033.url:http://dx.doi.org/10.1103/ PhysRevD.92.045033

  76. [77]

    Quantum mechanics and the covari- ance of physical laws in quantum reference frames

    Flaminia Giacomini, Esteban Castro-Ruiz, and ˇCaslav Brukner. “Quantum mechanics and the covari- ance of physical laws in quantum reference frames”. In:Nature Communications10.1 (2019).issn: 2041-1723.doi:10.1038/s41467-018-08155-0.url:http://dx.doi.org/10.1038/s41467-018- 08155-0

  77. [78]

    How to switch between relational quantum clocks

    Philipp A H¨ ohn and Augustin Vanrietvelde. “How to switch between relational quantum clocks”. In: New Journal of Physics22.12 (2020), p. 123048.issn: 1367-2630.doi:10.1088/1367-2630/abd1ac. url:http://dx.doi.org/10.1088/1367-2630/abd1ac

  78. [79]

    Equivalence of Approaches to Relational Quantum Dynamics in Relativistic Settings

    Philipp A. H¨ ohn, Alexander R. H. Smith, and Maximilian P. E. Lock. “Equivalence of Approaches to Relational Quantum Dynamics in Relativistic Settings”. In:Frontiers in Physics9 (2021).issn: 2296- 424X.doi:10.3389/fphy.2021.587083.url:http://dx.doi.org/10.3389/fphy.2021.587083

  79. [80]

    Relative Quantum Time

    Leon Loveridge and Takayuki Miyadera. “Relative Quantum Time”. In:Foundations of Physics49.6 (2019), pp. 549–560.issn: 1572-9516.doi:10.1007/s10701- 019- 00268- w.url:http://dx.doi. org/10.1007/s10701-019-00268-w

  80. [81]

    Mizukami, M

    Esteban Castro-Ruiz and Ognyan Oreshkov. “Relative subsystems and quantum reference frame trans- formations”. In:Communications Physics8.1 (2025), p. 187.doi:https://doi.org/10.1038/s42005- 025-02036-x.url:10.1038/s42005-025-02036-x

Showing first 80 references.