REVIEW 4 minor 4 cited by
Subsystem decompositions of quantum evolutions and transformations between causal perspectives
T0 review · 0 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read The two causal perspectives of the quantum switch cannot be related by any change of subsystem decomposition, so they are not two equivalent descriptions of the same process.
desk verdict A clean, checkable no-go result: Alice's and Bob's causal perspectives in the quantum switch are not related by any fixed subsystem-decomposition isomorphism, and the proof is worth taking seriously. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the circuit operator: the tensor product of the Kraus operator at every time step of a circuit, acting on the global Hilbert space formed by all systems at all times. A change of subsystem decomposition is defined as a unitary isomorphism $J$ on that global space, under which the operator transforms by conjugation, $K \mapsto J K J^\dagger$ (Eqs. (4)–(5)). Because conjugation preserves ${\rm Tr}[\Omega\Omega^\dagger]$, comparing this invariant for sums of circuit operators built from two specific choices of Bob's unitary is what proves the no-go result. The two causal perspectives under study are the temporal circuits of Fig. 4, each with a target and a control qubit at eight time steps; each is separately related to the cyclic quantum-switch circuit by an isomorphism $J_A$ or $J_B$ that introduces extra ancilla systems $E_A$ or $E_B$ which must be traced out.
What would settle it
The decisive check is the trace calculation in Appendix D: verify whether ${\rm Tr}[\Omega^{(A)}\Omega^{(A)\dagger}] = 2^{15}+2^{13}$ and ${\rm Tr}[\Omega^{(B)}\Omega^{(B)\dagger}] = 2^{15}$ for the two summed operators defined there. If those numbers are equal, or if a single unitary $J$ satisfying Eq. (11) for all operations can be written down explicitly, the no-go claim is wrong.
Extended reading notes
Core claim
The central claim is Eq. (11): there is no unitary isomorphism $J$ from the 16-qubit temporal Hilbert space of Alice's perspective to that of Bob's such that $J K_{\rm temp}^{(A)}(|\psi\rangle,U_A,U_B,\langle\phi|) J^{\dagger} = K_{\rm temp}^{(B)}(|\psi\rangle,U_A,U_B,\langle\phi|)$ for all preparations $|\psi\rangle$, unitaries $U_A,U_B$, and measurements $\langle\phi|$. For any single fixed choice of operations the two circuit operators are unitarily similar, so a superficial check can suggest equivalence; the obstruction appears when multiple choices of operations are combined. Taking $U_A = \mathbb{1}$, preparation and measurement $|00\rangle$ and $\langle 00|$, and $U_B$ equal to $\sigma_X$ or $\sigma_Y$, the paper evaluates ${\rm Tr}[\Omega^{(A)}\Omega^{(A)\dagger}] = 2^{15}+2^{13}$ and ${\rm Tr}[\Omega^{(B)}\Omega^{(B)\dagger}] = 2^{15}$, a difference that conjugation by any fixed $J$ would preserve. Hence the two causal perspectives are incompatible subsystem decompositions of the same evolution in the discrete setting.
Load-bearing premise
The proof assumes that a change of subsystem decomposition is one fixed unitary relabelling of the entire collection of quantum systems across time, applied identically for every choice of the preparation, the unitaries, and the final measurement, and that the two discrete circuits of Fig. 4 correctly represent the two causal perspectives; continuous-time descriptions could behave differently.
Editorial extensions
If this is right
- Alice's and Bob's causal perspectives in the quantum switch cannot both be subsystem decompositions of one and the same global evolution, so the process-matrix description does not act as an observer-neutral reference from which either perspective can be reached by a fixed subsystem relabelling.
- The probability of a circuit is invariant under any change of subsystem decomposition, so the framework supplies a consistency check that any candidate equivalence between two circuit descriptions must pass.
- The impossibility holds for the whole family of possible operations; for any single fixed choice of all operations the two circuit operators are unitarily similar, which means the no-go is not visible in a single run of the switch.
- The formalism also covers cyclic and consistent circuits, giving a common language for time-delocalised realisations of indefinite causal order beyond the quantum switch.
- Whether a continuous-time formulation could restore equivalence between causal perspectives remains open, and the authors identify it as the key question for hypothetical gravitational realisations of indefinite causal order.
Reading between the lines
- If the no-go survives in a continuous-time or gravitational setting, then relations between causal perspectives would have to be operation-dependent maps rather than fixed subsystem relabellings, which would require a new notion of coordinate transformation.
- The trace-invariant comparison could be turned into a general equivalence test: given two proposed time-delocalised realisations of the same process, compare ${\rm Tr}[\Omega\Omega^\dagger]$ over a small set of operation choices instead of attempting to construct an isomorphism.
- A structural conjecture suggested by the proof is that any two causal perspectives whose constructions require different auxiliary systems that must be traced out will be inequivalent in this sense; the quantum switch would then be one instance of a general pattern.
- The same method may apply to other causally indefinite processes with multiple party perspectives, so the result is not necessarily specific to the quantum switch.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper develops a Hilbert-space-level description of quantum circuits, including cyclic ones, in terms of 'circuit operators' acting on the global Hilbert space of all temporal systems, and formalizes a change of subsystem decomposition as conjugation by a fixed unitary J (Eqs. (4)-(5)). It applies this framework to the quantum switch: Alice's and Bob's causal perspectives are each embedded into the cyclic process-matrix description via extended Hilbert spaces (Eqs. (9)-(10), Appendices B-C). The central result is Eq. (11): there is no fixed unitary J mapping Alice's temporal circuit operator to Bob's for arbitrary preparations, unitaries, and measurements. Appendix D proves this by summing the two circuit operators for UB = sigma_X and UB = sigma_Y and comparing Tr[Omega Omega-dagger], which evaluates to 2^15+2^13 for Alice's perspective and 2^15 for Bob's. The authors explicitly scope the result to the discrete-circuit setting and leave the continuous-time framework as an open question.
Significance. The result is a substantive negative statement: under the natural discrete fixed-isomorphism formalization, the two causal perspectives in the quantum switch cannot be regarded as different subsystem decompositions of the same time-delocalised circuit. The proof in Appendix D is explicit and self-contained, uses a correct unitary invariant, and does not rely on free parameters or hidden assumptions. The paper also gives a clear formal framework for subsystem decompositions of quantum circuits that is likely to be useful beyond this particular no-go result. I find no load-bearing technical gap; the discrete-time, fixed-J scope is acknowledged openly in the Discussion, so the stress-test concern about scope does not amount to a defect.
minor comments (4)
- [Appendix C, Eq. (23)] The right-hand side of Eq. (23) labels the map as JA, but this equation defines Bob's isomorphism JB; the label should be corrected.
- [Appendix D] The trace values Tr[Omega(A) Omega(A)^dagger] = 2^15 + 2^13 and Tr[Omega(B) Omega(B)^dagger] = 2^15 are quoted without the intermediate contraction steps; adding those steps would make the self-contained proof easier to verify.
- [Appendix D, first paragraph] The claim that the two circuit operators are unitarily similar for a fixed choice of operations is explained qualitatively but not constructed explicitly; a short explicit J would remove a small presentation gap.
- [Eq. (2)] The displayed formula for C_{S_i}[M] is dense and the index contractions are not spelled out; a brief explanation of how the double-ket bra and ket implement the partial trace would improve readability.
Circularity Check
No significant circularity: the no-go result is a self-contained linear-algebra argument against explicitly defined circuit operators.
full rationale
The derivation chain is self-contained. The central claim, Eq. (11), is a well-posed mathematical statement about the non-existence of a fixed unitary isomorphism J between the two circuit operators K_temp^(A) and K_temp^(B), which are defined explicitly in Eqs. (15) and (21). The no-go proof in Appendix D does not assume the conclusion: it hypothesizes a fixed J satisfying Eq. (11) for arbitrary preparations, unitaries, and measurements, derives J Omega^(A) J^dagger = Omega^(B) for the two particular choices of U_B, and then uses the unitary invariant Tr[Omega Omega^dagger] to reach a contradiction via the computed values 2^15 + 2^13 versus 2^15. This trace computation follows directly from the definitions of the two circuits, not from any fitted parameter or prior conclusion. The identification of the two temporal circuits with Alice's and Bob's causal perspectives is taken from independent prior work (Refs. [25-27]) and is explicitly scoped to discrete circuits; the paper acknowledges that a continuous framework could behave differently. The self-citations to time-delocalised subsystem results (Refs. [17,18]) are backed by explicit isomorphisms in Appendices B and C, so they are not used as unverified authority. In particular, the paper reproduces the relevant equivalences with its own calculations rather than importing the main result from a citation. No step reduces to its input by construction, and there is no fitted quantity being relabeled as a prediction.
Assumptions & free parameters
assumptions (5)
- domain assumption The composition of a circuit is obtained by trace-like contractions (link product) of the circuit superoperator (Eqs. 2-3).
- domain assumption A change of subsystem decomposition is a fixed unitary isomorphism J on the global Hilbert space, with K mapped to J K J† (Eqs. 4-5).
- domain assumption The quantum switch is represented in the process matrix framework by the circuit operator K_SW of Eq. (7).
- domain assumption Alice's and Bob's causal perspectives correspond to the temporal circuits in Fig. 4, with circuit operators K_temp^(A) and K_temp^(B).
- standard math The Hilbert-Schmidt norm Tr[ΩΩ†] is invariant under unitary conjugation.
Cite this review
Pith. "Pith review of Subsystem decompositions of quantum evolutions and transformations between causal perspectives." pith.science (2026). https://pith.science/paper/5JGARQG7
@misc{pith2026241116504,
author = {Pith},
title = {Pith review of: Subsystem decompositions of quantum evolutions and transformations between causal perspectives},
year = {2026},
howpublished = {\url{https://pith.science/paper/5JGARQG7}},
note = {Machine review of arXiv:2411.16504}
}
read the original abstract
One can theoretically conceive of processes where the causal order between quantum operations is no longer well-defined. Certain such causally indefinite processes have an operational interpretation in terms of quantum operations on time-delocalised subsystems -- that is, they can take place as part of standard quantum mechanical evolutions on quantum systems that are delocalised in time. In this paper, we formalise the underlying idea that quantum evolutions can be represented with respect to different subsystem decompositions in a general way. We introduce a description of quantum circuits, including cyclic ones, in terms of an operator acting on the global Hilbert space of all systems in the circuit. This allows us to express in a concise form how a given circuit transforms under arbitrary changes of subsystem decompositions. We then explore the link between this framework and the concept of causal perspectives, which has been introduced to describe causally indefinite processes from the point of view of the different parties involved. Surprisingly, we show that the causal perspectives that one can associate to the different parties in the quantum switch, a paradigmatic example of a causally indefinite process, cannot be related by a change of subsystem decomposition, i.e., they cannot be seen as two equivalent descriptions of the same process.
Figures
Figures from the paper (3 more)
Forward citations
Cited by 4 Pith papers
-
Causality from the spectrum: Emergence of causal order from process-matrix mereology
A process matrix can be unitarily transformed to a fixed-causal-order process exactly when its eigenvalue multiplicities are divisible by the final output dimension; generic high-dimensional spectra are close to such spectra.
-
Partitions in quantum theory
A definition of multipartitions of quantum systems into possibly non-factor sub-C* algebras, with a representation theorem showing that some partitions, such as fermionic modes, are not fully representable on tensor-p...
-
Agency under indefinite causality: operational eternalism in higher-order quantum theory
In indefinite-causal-order quantum theory, an observer is a perspective-dependent grouping of input/output data, with a new 'friendliness' criterion for causally compatible agents.
-
A map of indefinite causal order
A conceptual map of indefinite causal order covering the quantum switch, process matrices, superposition of causal structures, and four open debates.
Reference graph
Works this paper leans on
-
[1]
O. Oreshkov, F. Costa, and Č. Brukner, Nat. Commun. 3, 1092 (2012), arXiv:1105.4464 [quant-ph]
arXiv 2012
- [2]
- [3]
-
[4]
M. Zych, F. Costa, I. Pikovski, and Č. Brukner, Nat. Commun. 10, 3772 (2019), arXiv:1708.00248 [quant-ph]
arXiv 2019
-
[5]
G. Chiribella, Phys. Rev. A 86, 040301 (2012), arXiv:1109.5154 [quant-ph]
arXiv 2012
-
[6]
G. Chiribella, G. M. D’Ariano, P. Perinotti, and B. Val- iron, Phys. Rev. A 88, 022318 (2013), arXiv:0912.0195 [quant-ph]
arXiv 2013
- [7]
- [8]
Show all 42 references
-
[9]
Araújo, C
M. Araújo, C. Branciard, F. Costa, A. Feix, C. Giar- matzi, and Č. Brukner, New J. Phys.17, 102001 (2015), arXiv:1506.03776 [quant-ph]
2015 arXiv
-
[10]
A. Feix, M. Araújo, and Č. Brukner, Phys. Rev. A92, 052326 (2015), arXiv:1508.07840 [quant-ph]
2015 arXiv
-
[11]
P. A. Guérin, A. Feix, M. Araújo, and Č. Brukner, Phys. Rev. Lett. 117, 100502 (2016), arXiv:1605.07372 [quant- ph]
2016 arXiv
-
[12]
Wechs, H
J. Wechs, H. Dourdent, A. A. Abbott, and C. Bran- ciard, PRX Quantum2, 030335 (2021), arXiv:2101.08796 [quant-ph]
2021 arXiv
-
[13]
M. T. Quintino, Q. Dong, A. Shimbo, A. Soeda, and M. Murao, Phys. Rev. A100, 062339 (2019)
2019
-
[15]
Bavaresco, M
J. Bavaresco, M. Murao, and M. T. Quintino, Journal of Mathematical Physics 63, 042203 (2022), arXiv:2105.13369 [quant-ph]
2022 arXiv
-
[16]
Araújo, A
M. Araújo, A. Feix, M. Navascués, and Č. Brukner, Quantum 1, 10 (2017), arXiv:1611.08535 [quant-ph]
2017 arXiv
-
[17]
Oreshkov, Quantum3, 206 (2019), arXiv:1801.07594 [quant-ph]
O. Oreshkov, Quantum3, 206 (2019), arXiv:1801.07594 [quant-ph]
2019 arXiv
-
[18]
Wechs, C
J. Wechs, C. Branciard, and O. Oreshkov, Nature Com- munications 14, 1471 (2023), arXiv:2201.11832 [quant- ph]
2023 arXiv
-
[19]
Kabel, A.-C
V. Kabel, A.-C. de la Hamette, L. Apadula, C. Cepollaro, H. Gomes, J. Butterfield, and Časlav Brukner, (2024), arXiv:2402.10267 [quant-ph]
2024 arXiv
-
[20]
J.-P. W. MacLean, K. Ried, R. W. Spekkens, and K. J. Resch, Nat. Commun.8, 15149 (2017), arXiv:1606.04523 [quant-ph]
2017 arXiv
-
[21]
Vilasini and R
V. Vilasini and R. Renner, Phys. Rev. Lett.133, 080201 (2024), arXiv:2408.13387 [quant-ph]
2024 arXiv
-
[22]
Vilasini and R
V. Vilasini and R. Renner, Phys. Rev. A110, 022227 (2024), arXiv:2203.11245 [quant-ph]
2024 arXiv
-
[23]
Ormrod, A
N. Ormrod, A. Vanrietvelde, and J. Barrett, Quantum 7, 1028 (2023), arXiv:2204.10273 [quant-ph]
2023 arXiv
-
[24]
Paunković and M
N. Paunković and M. Vojinović, Quantum4, 275 (2020), arXiv:1905.09682 [quant-ph]
2020 arXiv
-
[25]
P. A. Guérin, M. Krumm, C. Budroni, and Č. Brukner, (2018), arXiv:1806.10374 [quant-ph]
2018 arXiv
-
[26]
Castro-Ruiz, F
E. Castro-Ruiz, F. Giacomini, A. Belenchia, and Č. Brukner, Nature Communications 11, 2672 (2020), arXiv:1908.10165 [quant-ph]
2020 arXiv
-
[27]
Baumann, M
V. Baumann, M. Krumm, P. A. Guérin, and Č. Brukner, Phys. Rev. Research4, 013180 (2022), arXiv:2105.02304 [quant-ph]
2022 arXiv
-
[28]
The systems Si can be composed of several subsystems and the operations Mi can be composed of several op- erations that act on these subsystems in parallel, but for the general formulation we develop here, we treat each time step as consisting of one overall operation acting o...
-
[29]
Baumeler and S
Ä. Baumeler and S. Wolf, Entropy 19 (2017), 10.3390/e19070326, arXiv:1601.06522 [quant-ph]
2017 arXiv
-
[30]
Baumeler and S
Ä. Baumeler and S. Wolf, Proc. R. Soc. A.474, 20170698 (2018), arXiv:1611.05641 [quant-ph]
2018 arXiv
-
[31]
Vanrietvelde, N
A. Vanrietvelde, N. Ormrod, H. Kristjánsson, and J. Barrett, (2022), arXiv:2206.10042 [quant-ph]
2022
-
[32]
Oreshkov and C
O. Oreshkov and C. Giarmatzi, New J. Phys.18, 093020 (2016), arXiv:1506.05449 [quant-ph]
2016 arXiv
-
[33]
Wechs, A
J. Wechs, A. A. Abbott, and C. Branciard, New J. Phys. 21, 013027 (2019), arXiv:1807.10557 [quant-ph]
2019 arXiv
-
[34]
generalised Born rule
To establish the connection with the conventional formu- lation of the process matrix framework, the interested reader may note thatC[W ⊗ MA ⊗ MB] amounts to first computing the Choi matrices of W, MA and MB, and then taking theirlink product (introduced in [41, 42]; see also ...
-
[35]
The general case where the parties perform arbitrary quantum operations can be dealt with by introducing ancillary incoming and outgoing systems that purify the parties’ operations
-
[36]
N. S. Móller, B. Sahdo, and N. Yokomizo, Phys. Rev. A 104, 042414 (2021), arXiv:2012.03989 [quant-ph]
2021 arXiv
-
[37]
N. S. Móller, B. Sahdo, and N. Yokomizo, Quantum8, 1248 (2024), arXiv:2306.10984 [quant-ph]
2024 arXiv
- [38]
-
[39]
Giacomini, E
F. Giacomini, E. Castro-Ruiz, and Č. Brukner, Na- ture Communications 10, 494 (2019), arXiv:1712.07207 [quant-ph]
2019 arXiv
-
[40]
Vanrietvelde, P
A. Vanrietvelde, P. A. Hoehn, F. Giacomini, and E. Castro-Ruiz, Quantum 4, 225 (2020), arXiv:1809.00556 [quant-ph]
2020 arXiv
-
[41]
Chiribella, G
G. Chiribella, G. M. D’Ariano, and P. Perinotti, Phys. Rev. Lett. 101, 060401 (2008), arXiv:0712.1325 [quant- ph]
2008 arXiv
-
[42]
Chiribella, G
G. Chiribella, G. M. D’Ariano, and P. Perinotti, Phys. Rev. A 80, 022339 (2009), arXiv:0904.4483 [quant-ph]
2009 arXiv
-
[43]
control” incoming (outgoing) qubitX (X ′), and with “target
M. Araújo, P. A. Guérin, and Ä. Baumeler, Phys. Rev. A 96, 052315 (2017), arXiv:1706.09854 [quant-ph]. 7 APPENDIX A. Circuit operations with multiple Kraus operators In this Appendix, we give more details on Eqs. (2)– (5), which describe the case where the operationsMi have mu...
2017 arXiv
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.