pith. sign in

arxiv: 2511.02772 · v2 · submitted 2025-11-04 · 🪐 quant-ph

Decoherence to quantum theory from a causally-indefinite post-quantum theory

James Hefford , Matt Wilson This is my paper

Pith reviewed 2026-05-18 01:06 UTC · model grok-4.3

classification 🪐 quant-ph
keywords hyper-decoherencequantum boxescausal indefinitenesspost-quantum theoryhigher-order quantum theoryLee-Selby no-go theorememergence of quantum mechanics
0
0 comments X

The pith

A hyper-decoherence process turns the theory of quantum boxes into standard quantum theory.

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

The paper shows that a specific map satisfies the axioms of hyper-decoherence and converts the theory of quantum boxes into ordinary quantum theory. Quantum boxes form a post-quantum framework that permits higher-order operations and indefinite causal order while using the non-signalling tensor product. The map evades an earlier no-go result by permitting limited signalling to the past and non-unique purifications. A sympathetic reader would care because the construction offers one concrete route by which a causally indefinite theory could give rise to the causal quantum mechanics we observe. The authors note two opposing interpretations: either the map describes a physical process that selects quantum theory, or the axioms of hyper-decoherence themselves require revision around the notion of purity.

Core claim

We find a process satisfying the axioms of hyper-decoherence which produces standard quantum theory from the theory of quantum boxes. This hyper-decoherence map evades the no-go theorem of Lee and Selby by relaxing constraints on signalling to the past and the uniqueness of purifications. We discuss some natural opposing conclusions: that the existence of this map might be evidence of a genuine hyper-decoherence process producing causal quantum theory from its causally-indefinite higher-order theory; or that it serves as an indication that the axioms of hyper-decoherence might need careful re-consideration, especially regarding the subtle albeit central role that purity plays.

What carries the argument

The hyper-decoherence map from quantum boxes to quantum theory, constructed by relaxing past signalling and purification uniqueness.

If this is right

  • Standard quantum theory can be recovered from a higher-order causally indefinite theory by a single hyper-decoherence process.
  • Previous no-go theorems blocking such emergence can be bypassed once limited past signalling and non-unique purifications are allowed.
  • Two interpretations remain open: the map may describe a physical selection mechanism or may indicate that current hyper-decoherence axioms need adjustment around purity.
  • The construction supplies a concrete example linking post-quantum frameworks to ordinary quantum mechanics.

Where Pith is reading between the lines

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

  • If the map is physical, experiments that probe higher-order operations or causal indefiniteness might reveal signatures of an underlying decoherence step.
  • The result suggests that causal structure itself could emerge from a more symmetric post-quantum theory rather than being fundamental.
  • Similar maps might be sought in other post-quantum models to test whether hyper-decoherence is a general mechanism for recovering quantum theory.

Load-bearing premise

The standard axioms of hyper-decoherence continue to hold after the relaxations on signalling to the past and uniqueness of purifications that evade the Lee-Selby no-go theorem.

What would settle it

An explicit calculation or simulation demonstrating that the proposed map either violates a hyper-decoherence axiom or fails to recover the exact state space and operations of quantum theory.

Figures

Figures reproduced from arXiv: 2511.02772 by James Hefford, Matt Wilson.

Figure 1
Figure 1. Figure 1: FIG. 1. Hyper-decoherence of causal quantum theory from [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗
read the original abstract

We find a process satisfying the axioms of hyper-decoherence which produces standard quantum theory from the theory of quantum boxes (higher-order quantum theory with the non-signalling tensor product). This hyper-decoherence map evades the no-go theorem of Lee and Selby by relaxing constraints on signalling to the past and the uniqueness of purifications. We discuss some natural opposing conclusions: that the existence of this map might be evidence of a genuine hyper-decoherence process producing causal quantum theory from its causally-indefinite higher-order theory; or that it serves as an indication that the axioms of hyper-decoherence might need careful re-consideration, especially regarding the subtle albeit central role that purity plays.

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

2 major / 2 minor

Summary. The paper claims to construct a hyper-decoherence map from the theory of quantum boxes (higher-order quantum theory using the non-signalling tensor product) to standard quantum theory. The construction evades the Lee-Selby no-go theorem by relaxing constraints on signalling to the past and uniqueness of purifications. The authors discuss two opposing interpretations: that the map evidences a genuine hyper-decoherence process, or that the axioms of hyper-decoherence require re-examination, especially regarding the role of purity.

Significance. If rigorously verified, the result would be significant for quantum foundations: it supplies a concrete example of how causal quantum theory might emerge from a causally-indefinite post-quantum theory via hyper-decoherence, while highlighting subtleties in the axioms. The manuscript's balanced discussion of opposing conclusions is a strength, as is its focus on an explicit construction rather than a fitted or derived quantity.

major comments (2)
  1. [§3] §3 (construction of the map): no explicit derivation steps, axiom-by-axiom verification, or internal-consistency checks are supplied showing that the proposed process satisfies the hyper-decoherence axioms once the relaxations on past signalling and purification uniqueness are imposed. This verification is load-bearing for the central existence claim.
  2. [§3] §3 and §4: the manuscript does not demonstrate that the stated relaxations preserve the purity and causal-structure properties required by hyper-decoherence; without this, it remains unclear whether the output is forced to be standard quantum theory or could admit other theories.
minor comments (2)
  1. The abstract and introduction would benefit from a concise table or bullet list contrasting the original hyper-decoherence axioms with the relaxed versions used here.
  2. [§2] Notation for quantum boxes and the non-signalling tensor product is introduced but would be clearer with one or two worked examples of the relaxed signalling condition.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thoughtful and constructive report. The comments correctly identify areas where the presentation of the central construction can be strengthened with additional explicit verification. We address each major comment below and will revise the manuscript to incorporate the requested details.

read point-by-point responses

  1. Referee: [§3] §3 (construction of the map): no explicit derivation steps, axiom-by-axiom verification, or internal-consistency checks are supplied showing that the proposed process satisfies the hyper-decoherence axioms once the relaxations on past signalling and purification uniqueness are imposed. This verification is load-bearing for the central existence claim.

    Authors: We agree that a more granular, axiom-by-axiom verification would make the central claim easier to assess. Section 3 of the manuscript defines the hyper-decoherence map on quantum boxes and states that it satisfies the axioms under the two relaxations. To address the referee’s concern, we will add a dedicated subsection (or appendix) that walks through each hyper-decoherence axiom, shows the explicit action of the map on the relevant objects, and verifies internal consistency once past signalling and non-unique purification are permitted. This will include the concrete calculations that were omitted for brevity in the original draft. revision: yes

  2. Referee: [§3] §3 and §4: the manuscript does not demonstrate that the stated relaxations preserve the purity and causal-structure properties required by hyper-decoherence; without this, it remains unclear whether the output is forced to be standard quantum theory or could admit other theories.

    Authors: The manuscript argues in §§3–4 that the chosen relaxations are minimal and sufficient to evade the Lee–Selby obstruction while still forcing the image of the map to be ordinary quantum theory. However, we acknowledge that an explicit demonstration that no other post-quantum theory survives the map under these relaxations is not fully spelled out. In the revision we will insert a short argument (supported by a small number of lemmas) showing that (i) the purity condition is preserved for the output states once the relaxed purification axiom is used, and (ii) the causal structure of the output is necessarily that of standard quantum theory. If the referee finds the added material insufficient, we are prepared to include a brief counter-example construction showing that further relaxation would allow non-quantum outputs. revision: yes

Circularity Check

0 steps flagged

Explicit construction of hyper-decoherence map with no reduction to self-inputs or fitted quantities

full rationale

The paper presents an explicit construction of a process satisfying the hyper-decoherence axioms that produces standard quantum theory from quantum boxes, achieved by relaxing signalling-to-the-past and purification-uniqueness constraints to evade the Lee-Selby no-go theorem. This is a direct existence result via construction rather than any derivation that reduces by the paper's own equations to previously defined quantities, fitted parameters renamed as predictions, or load-bearing self-citations. No self-definitional steps, ansatz smuggling, or renaming of known results are present; the central claim stands as an independent construction outside the input axioms.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the pre-existing axioms of hyper-decoherence and the definition of the quantum boxes framework; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Axioms of hyper-decoherence
    Invoked as the target properties the constructed process must satisfy.
  • domain assumption Theory of quantum boxes with non-signalling tensor product
    Provides the starting higher-order theory from which quantum theory is recovered.

pith-pipeline@v0.9.0 · 5643 in / 1319 out tokens · 41518 ms · 2026-05-18T01:06:06.308275+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.

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.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages · 2 internal anchors

  1. [1]

    These toy theories however, do not just break causality or uniqueness of purifications

    or of a physically reasonable hyper-decoherence map, thereby allowing them to side-step the no-go theorem. These toy theories however, do not just break causality or uniqueness of purifications. Quartic Quantum Theory

    work page

  2. [2]

    and density cubes [8] suffer from substantial founda- tional issues including ill-defined processes and joint sys- tems [11]. Density hypercubes [9, 10] on the other hand can be considered a legitimate theory in the sense that it is a CPT [7] with tomography, however, its hyper- decoherence process suffers from being not only non- causal but also non-dete...

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  3. [3]

    Plan France 2030

    1 :n− →1 for eachn. The causal sub-process theoryMat R+ isStoch. Causality of a process theory imposes a more tradi- tional notion of no-signalling in terms of the outcomes of Bell scenarios. Given any bipartite state, with each half located in spacelike separated regions, one can ask whether deterministic events occurring in one region can influence the ...

    work page 2030

  4. [4]

    C. M. Lee and J. H. Selby, A no-go theorem for theories that decohere to quantum mechanics, Proc. R. Soc. A 474, 10.1098/rspa.2017.0732 (2018)

    work page doi:10.1098/rspa.2017.0732 2017

  5. [5]

    ˙Zyczkowski, Quartic quantum theory: an extension of the standard quantum mechanics, Journal of Physics A: Mathematical and Theoretical41, 355302 (2008)

    K. ˙Zyczkowski, Quartic quantum theory: an extension of the standard quantum mechanics, Journal of Physics A: Mathematical and Theoretical41, 355302 (2008)

    work page 2008

  6. [6]

    Quantum Theory From Five Reasonable Axioms

    L. Hardy, Quantum Theory From Five Reasonable Ax- ioms (2001), arXiv:quant-ph/0101012 [quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  7. [7]

    Barrett, Information processing in generalized proba- bilistic theories, Phys

    J. Barrett, Information processing in generalized proba- bilistic theories, Phys. Rev. A75, 032304 (2007)

    work page 2007

  8. [8]

    Chiribella, G

    G. Chiribella, G. M. D’Ariano, and P. Perinotti, Prob- abilistic theories with purification, Phys. Rev. A81, 062348 (2010)

    work page 2010

  9. [9]

    Chiribella, G

    G. Chiribella, G. M. D’Ariano, and P. Perinotti, Infor- mational derivation of quantum theory, Phys. Rev. A84, 012311 (2011)

    work page 2011

  10. [10]

    Gogioso and C

    S. Gogioso and C. M. Scandolo, Categorical Probabilistic Theories, inProceedings QPL 2017, Vol. 266 (EPTCS,

    work page 2017

  11. [11]

    Daki´ c, T

    B. Daki´ c, T. Paterek, and ˇC. Brukner, Density cubes and higher-order interference theories, New Journal of Physics16, 023028 (2014)

    work page 2014

  12. [12]

    Gogioso and C

    S. Gogioso and C. M. Scandolo, Density Hypercubes, Higher Order Interference and Hyper-decoherence: A Categorical Approach, inQuantum Interaction(Springer International Publishing, 2019) pp. 141–160

    work page 2019

  13. [13]

    Hefford and S

    J. Hefford and S. Gogioso, Hyper-decoherence in Density Hypercubes, inProceedings QPL 2020, Vol. 340 (EPTCS,

    work page 2020

  14. [14]

    C. M. Lee and J. H. Selby, Higher-Order Interference in Extensions of Quantum Theory, Found Phys47, 89 (2017)

    work page 2017

  15. [15]

    Hardy, Towards quantum gravity: a framework for 8 probabilistic theories with non-fixed causal structure, Journal of Physics A: Mathematical and Theoretical40, 3081 (2007)

    L. Hardy, Towards quantum gravity: a framework for 8 probabilistic theories with non-fixed causal structure, Journal of Physics A: Mathematical and Theoretical40, 3081 (2007)

    work page 2007

  16. [16]

    Coecke and A

    B. Coecke and A. Kissinger,Picturing Quantum Pro- cesses: A First Course in Quantum Theory and Di- agrammatic Reasoning(Cambridge University Press, 2017)

    work page 2017

  17. [17]

    Coecke, J

    B. Coecke, J. Selby, and S. Tull, Two Roads to Classical- ity, EPTCS266, 104 (2018)

    work page 2018

  18. [18]

    Coecke, Terminality Implies No-signalling

    B. Coecke, Terminality Implies No-signalling... and Much More Than That, New Generation Computing34, 69 (2016)

    work page 2016

  19. [19]

    Wilson and G

    M. Wilson and G. Chiribella, Causality in Higher Or- der Process Theories, inProceedings QPL 2021, Vol. 343 (EPTCS, 2021) pp. 265–300

    work page 2021

  20. [20]

    Gogioso, Higher-order CPM Constructions, inProceed- ings QPL 2018, Vol

    S. Gogioso, Higher-order CPM Constructions, inProceed- ings QPL 2018, Vol. 287 (EPTCS, 2019) pp. 145–162

    work page 2018

  21. [21]

    Oreshkov, F

    O. Oreshkov, F. Costa, and ˇC. Brukner, Quantum corre- lations with no causal order, Nature Communications3, 10.1038/ncomms2076 (2012)

    work page doi:10.1038/ncomms2076 2012

  22. [22]

    Chiribella, G

    G. Chiribella, G. M. D’Ariano, and P. Perinotti, Theo- retical framework for quantum networks, Phys. Rev. A 80, 022339 (2009)

    work page 2009

  23. [23]

    Kissinger and S

    A. Kissinger and S. Uijlen, A categorical semantics for causal structure, Logical Methods in Computer Science 15, 10.23638/LMCS-15(3:15)2019 (2019)

    work page doi:10.23638/lmcs-15(3:15)2019 2019

  24. [24]

    Hefford and C

    J. Hefford and C. Comfort, Coend Optics for Quantum Combs, inProceedings ACT 2022, Vol. 380 (EPTCS,

    work page 2022

  25. [25]

    Hefford and M

    J. Hefford and M. Wilson, A Profunctorial Semantics for Quantum Supermaps, inProceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS ’24 (Association for Computing Machinery, New York, NY, USA, 2024)

    work page 2024

  26. [26]

    Chiribella, G

    G. Chiribella, G. M. D’Ariano, and P. Perinotti, Trans- forming quantum operations: Quantum supermaps, EPL (Europhysics Letters)83, 30004 (2008)

    work page 2008

  27. [27]

    Selinger, Idempotents in Dagger Categories: (Ex- tended Abstract), Electronic Notes in Theoretical Com- puter Science210, 107 (2008)

    P. Selinger, Idempotents in Dagger Categories: (Ex- tended Abstract), Electronic Notes in Theoretical Com- puter Science210, 107 (2008)

    work page 2008

  28. [28]

    Heunen, A

    C. Heunen, A. Kissinger, and P. Selinger, Completely positive projections and biproducts, inProceedings QPL 2013, Vol. 171 (EPTCS, 2014) pp. 71–83

    work page 2013

  29. [29]

    Gogioso,Categorical quantum dynamics, DPhil thesis, University of Oxford (2016)

    S. Gogioso,Categorical quantum dynamics, DPhil thesis, University of Oxford (2016)

    work page 2016

  30. [30]

    J. H. Selby,A process theoretic triptych, PhD thesis, Im- perial College London (2017)

    work page 2017

  31. [31]

    Hefford,Categorical post-quantum theories, DPhil the- sis, University of Oxford (2023)

    J. Hefford,Categorical post-quantum theories, DPhil the- sis, University of Oxford (2023)

    work page 2023

  32. [32]

    Hefford and S

    J. Hefford and S. Gogioso, CPM Categories for Galois Extensions, inProceedings QPL 2021, Vol. 343 (EPTCS,

    work page 2021

  33. [33]

    Choi, Completely positive linear maps on complex matrices, Linear Algebra and its Applications10, 285 (1975)

    M.-D. Choi, Completely positive linear maps on complex matrices, Linear Algebra and its Applications10, 285 (1975)

    work page 1975

  34. [34]

    Purity co-preservation within the non-deterministic state space does not hold for our ex- ample for the same reasons outlined by Lee and Selby in

    Although, it should be noted that we took care to inter- pret purity co-preservation with regards to extremality in the deterministic state space (so extremality in the space of quantum channels). Purity co-preservation within the non-deterministic state space does not hold for our ex- ample for the same reasons outlined by Lee and Selby in

    work page

  35. [35]

    regarding the discarding of spatial dimensions

    work page

  36. [36]

    R. D. Sorkin, Quantum mechanics as quantum measure theory, Mod. Phys. Lett. A9, 3119 (1994)

    work page 1994

  37. [37]

    R. D. Sorkin, Quantum classical correspondence: Pro- ceedings of the 4th drexel symposium on quantum nonin- tegrability (International Press, Cambridge Mass., 1997) Chap. Quantum Measure Theory and its Interpretation, pp. 229–251

    work page 1997

  38. [38]

    P. J. Cavalcanti, J. H. Selby, J. Sikora, and A. B. Sainz, Decomposing all multipartite non-signalling channels via quasiprobabilistic mixtures of local channels in gener- alised probabilistic theories, Journal of Physics A: Math- ematical and Theoretical55, 404001 (2022). No Superluminal Signalling inQBox In this section we show that the theoryQBoxis no-...

    work page 2022