sciencegpt-5.4-2026-03-05
Clarity 3/5Novelty 5/5Verifiability 4/5
This is a strong and genuinely novel formal contribution in the foundations of quantum theory. Its main scientific merit lies in identifying a concrete route by which standard quantum theory can arise as a hyper-decohered subtheory of a causally-indefinite higher-order framework, while making explicit that the escape hatch from the no-go theorem is the failure of uniqueness of purification rather than merely non-causality. That conceptual disentangling is valuable and likely of interest to specialists working on GPTs, process theories, and indefinite causal order.
The main limitation is communicative and interpretive rather than scientific originality. The paper succeeds as a theorem-driven foundational result, but not yet as a broadly persuasive physical story: it does not provide empirical consequences, and even by its own discussion the proposed hyper-decoherence may be viewed as a somewhat trivial hiding/discarding mechanism unless stronger axioms are added. Clearer prose-level unpacking of the core map, its operational meaning, and why this should or should not count as a legitimate emergence mechanism would substantially improve the paper's impact.
+ Highly original synthesis connecting hyper-decoherence, indefinite causal order, and the purification loophole in the Lee–Selby no-go setting.+ The central claim is stated concretely enough to be checked within the formalism, with explicit constructions rather than vague analogy.+ The paper is self-aware about alternative interpretations, including the possibility that the result motivates refinement of hyper-decoherence axioms rather than immediate physical endorsement.
- Despite strong formal novelty, the work offers no empirical pathway or observational discriminant, so its significance remains primarily conceptual/mathematical.- The exposition is too compressed around the core construction; readers not already fluent in supermaps/process matrices may struggle to understand what is physically being 'decohered' and why the map should count as nontrivial.- The discussion acknowledges that the mechanism may be 'too trivial' or dimension-changing, which weakens the persuasive force of the claimed emergence picture even if the formal result stands.- Several key verification steps are deferred to dense diagrammatic appendices, limiting accessibility and independent auditability.
mathgpt-5.2-2025-12-11
Internal 2/5Mathematical 3/5
The submission presents a coherent-looking categorical pipeline for constructing a hyper-decoherence map from QBox to ordinary quantum theory and checking Ax1–Ax4. Locally, the definitions of multi-environment structures, determinism, and idempotent splitting are used in a way that aligns with standard process-theoretic practice.
However, at the level of internal logic supporting the main narrative (evading Lee–Selby via non-unique purifications), the paper does not fully align its multi-environment/non-causal semantics and extremality-based purity with the purification axiom schema used in the no-go theorem. In addition, the central equivalence (Lemma 2 / Appendix C) is too compressed—especially the faithfulness step—to treat the main theorem as fully established from the written derivation. Substantial parts appear correct but require additional formal proofs or references to characterization results that make the equivalence and purity arguments watertight.
⚑Derivation Flags (30)
- high
Lemma 2 / Appendix C (equivalence Hypdec ≃ CPTP) — Key parts are asserted without a reproducible proof: (i) that F is well-defined on Split(QBox) morphisms (i.e., respects the idempotent constraints), and (ii) especially faithfulness—claiming that equality after inserting hyper-decoherence implies equality of original supermaps—requires a separation/tomography argument not provided.If wrong: Definition 11’s equivalence requirement is unmet; QBox would not be shown to hyper-decohere to CPTP, invalidating Theorem 1.
- high
Lemma 2 / Appendix C (Equivalence Hypdec ≃ CPTP), faithfulness step — Faithfulness is argued as: if two supermaps have equal hyper-decohered versions then the original supermaps are equal. In Split(D), morphisms are already constrained to satisfy f=e'fe; equality after inserting idempotents does not generally imply equality of underlying maps without an additional characterization theorem.If wrong: The claimed equivalence to CPTP may fail; then the hyper-decohered subtheory might be a proper quotient/subcategory, and Theorem 1 ('QBox is post-quantum') is unsupported.
- high
Lemma 2 and Appendix C, equivalence Hypdec ≃ CPTP — Lemma 2 and Appendix C sketch the functor F and assert full faithfulness; the faithfulness step relies on diagrammatic equalities rather than an explicit algebraic proof that hyper-decohered supermaps are completely determined by their image.If wrong: If F is not faithful or not full, the hyper-decohered subtheory need not be equivalent to CPTP, so the main hyper-decoherence claim fails.
- high
Lemma 2 and Appendix C, proof of equivalence Hypdec ≃ CPTP — The equivalence functor F is defined diagrammatically and its properties are described as straightforward. The proof does not fully characterize morphisms satisfying f=e'fe or prove algebraically that equality of lower-order images implies equality of hyper-decohered supermaps.If wrong: If F is not full, faithful, monoidal, or well-defined on all hyper-decohered morphisms, the decohered subtheory is not proven equivalent to CPTP, invalidating the main theorem.
- high
Lemma 3 (Ax3 purity copreservation) — Step from g(Id/d)=|φ><φ| to ‘for any orthonormal basis, g(|e_i><e_i|)=|φ><φ|, hence g is constant on every state’ is incomplete as written; dependence on off-diagonal terms/coherences is not explicitly ruled out using complete positivity/linearity on all operators.If wrong: Ax3 may fail; then hypdec would not qualify as a hyper-decoherence map under Definition 11, undermining Theorem 1.
- high
Lemma 3, equations around g(I/d)=|φ><φ| — The proof that a preimage of a pure state is pure infers from g(I/d)=|φ><φ| that g is a constant discard-and-prepare channel, then uses Choi extremality. The argument is compressed for general multipartite non-signalling channels and does not explicitly prove extremality in the QBox deterministic state space.If wrong: If a pure hyper-decohered quantum state can arise from a mixed/extremally non-pure QBox state, Ax3 fails and QBox would not satisfy the paper's own definition of post-quantum hyper-decoherence.
- high
Lemma 4, claimed maximally mixed QBox state — Lemma 4 states the maximally mixed state in QBox and says it is easily sent to itself, but does not prove that every deterministic QBox state appears in a convex decomposition of it or that it is invariant under all reversible QBox transformations.If wrong: If the displayed state is not maximally mixed under Definition 8, Ax4 is not proved and Theorem 1 does not follow.
- high
Section V, definition of hypdec as a QBox process — hypdec is asserted to be a deterministic QBox process because it maps product CPTP maps to a CPTP map, but Definition 6/Definition 5 require preservation of arbitrary non-signalling channels and stability under ancillary systems; this stronger condition is not explicitly verified.If wrong: If hypdec fails the full Definition 5/6 determinism condition over arbitrary ancillas and non-signalling inputs, it would not be a legitimate QBox process and Theorem 1 (QBox is post-quantum) would be unsupported.
- high
Section V, definition of hypdec before Lemma 1 — The text asserts that hypdec is a deterministic superchannel because hypdec(f1,...,fn) is CPTP when applied to CPTP maps. Definition 6/Definition 5 require preservation of non-signalling channels, with ancillary stability; the stronger condition is not explicitly verified.If wrong: If this sufficiency criterion is invalid, hypdec may not be a deterministic process of QBox, and the construction of the hyper-decoherence map fails at the first step.
- high
Section V: claim 'hypdec is deterministic ... maps CPTP maps f_i to CPTP' — Determinism in Definition 5 is stronger than 'maps CPTP inputs to CPTP output': it quantifies over ancillas L and all allowed discarding effects in Σ_{K⊗L}. The text does not show hypdec satisfies this stronger condition in QBox’s multi-environment structure.If wrong: hypdec may not be a morphism in the deterministic subtheory QBox (as required), undermining Lemma 1 onward and invalidating the main construction.
- medium
Appendix A (No superluminal signalling in QBox) — Uses a cited result that any multipartite non-signalling channel can be written as an affine linear combination of localized channels. The argument then linearly evaluates effects across this affine combination. It is not shown that this affine expansion is legitimate within the state/effect semantics of QBox (affine coefficients may be negative, leaving the state cone).If wrong: The claim that QBox is non-signalling (in the stated multi-environment sense) would not be established; this would weaken consistency of the operational interpretation and could affect which maps qualify as deterministic in QBox.
- medium
Appendix A, use of [37] affine decomposition — Appendix A invokes an affine decomposition of multipartite non-signalling channels into localized channels and manipulates the resulting affine combination, but does not spell out the legitimacy of this extension for the process-theoretic semantics.If wrong: If the affine decomposition cannot be used in the required categorical/state-space setting, the Appendix A proof of no-superluminal-signalling for general QBox bipartite states is incomplete.
- medium
Appendix B, non-unique purifications example — Appendix B shows two bipartite states with the same reduction and argues no reversible comb relates them, but does not explicitly prove that both states are purifications, i.e. pure in the Definition 7 convex-extremal deterministic state space.If wrong: If the displayed bipartite states are not pure/extremal deterministic QBox states, Appendix B does not establish non-unique purifications in the paper’s stated sense, weakening the claimed explanation of how Lee–Selby is evaded.
- medium
Lemma 1 (no-backwards-signalling of hypdec) — The proof is diagrammatic and asserts that for any multi-environment element W (process matrix), discarding after hypdec yields the same input discard. This does not explicitly track the quantification in Definition 4 over all Σ_K effects nor show the required equality for arbitrary allowed discards on the output.If wrong: Ax2 would not be established for hypdec; then Definition 11 is not satisfied and Theorem 1 fails.
- medium
Lemma 1 (no-backwards-signalling) + Definition 4 quantifiers — No-backwards-signalling is asserted diagrammatically ('for any process matrix W') without explicitly matching Definition 4's requirement: existence of an input discard in Σ_H such that for every output discard in Σ_K the stated equality holds. The proof sketch does not show the existential choice on the input side nor its dependence/independence from W.If wrong: Ax2 might not actually be satisfied by hypdec as defined; then the proposed hyper-decoherence would fail the stated axioms and Theorem 1 would not follow.
- medium
Lemma 1, no-backwards-signalling diagram — No-backwards-signalling is shown by a single diagrammatic equality for arbitrary process matrix W, without an explicit algebraic derivation from the process-matrix normalization constraints.If wrong: If the equality does not hold for all process-matrix effects with the required typing, Ax2 no-backwards-signalling is not established for the hyper-decoherence map.
- medium
Lemma 2 / Appendix C (faithfulness) — Full faithfulness and essential surjectivity of F: Hypdec -> CPTP are argued diagrammatically; the algebraic characterization of hyper-decohered QBox morphisms needed to make the equivalence reproducible is not spelled out.If wrong: If the equivalence fails, the hyper-decohered subtheory would not be CPTP and Theorem 1's central identification with quantum theory would be invalid.
- medium
Lemma 3 — The inference that g must be a constant discard-and-prepare channel is argued only via diagonal basis projectors g(I/d)=|phi><phi|; dependence on off-diagonal coherences is not explicitly excluded, and the extension from CPTP extremality to extremality in the multipartite non-signalling deterministic state space is compressed.If wrong: If the extension does not hold, Ax3 (purity copreservation) would not be established and Theorem 1 would lose one of its four required axioms.
- medium
Lemma 3 (purity copreservation), step: g(I/d)=|φ⟩⟨φ| ⇒ g is constant prepare |φ⟩⟨φ| — The proof uses decomposition of I/d into diagonal basis projectors and extremality of |φ⟩⟨φ| to infer g(|e_i⟩⟨e_i|)=|φ⟩⟨φ|, then asserts this 'applies to every state' without explicitly treating off-diagonal operators/coherences or using a full operator-basis linearity argument under CP/TP constraints.If wrong: Ax3 may fail: a non-pure QBox state could hyper-decohere to a pure quantum state, contradicting the claimed copreservation of purity and weakening Theorem 1.
- medium
Lemma 3, inference from g(I/d)=|φ><φ| to extremality of g — Lemma 3 compresses the argument from a pure hyper-decohered output state to g being a constant pure-state preparation channel, and then from Choi extremality in CPTP to purity in the QBox deterministic state space.If wrong: If the inferred channel is not necessarily constant discard-and-prepare, or if extremality in CPTP does not transfer to the relevant QBox state space, Ax3 is not fully established.
- medium
Lemma 4 — The maximally mixed state in QBox is simply asserted to be the displayed discard/prepare diagram and 'easily seen' to be preserved; the required decomposition and invariance under all reversible QBox transformations are not shown.If wrong: If the displayed state is not maximally mixed in QBox under Definition 8, or if hypdec does not preserve the appropriate maximally mixed state, Ax4 is not established.
- medium
Lemma 4 (maximally mixed preserved) — The maximally mixed state in QBox is asserted to have a particular diagrammatic form and to satisfy Definition 8 (universality across convex decompositions + invariance under all invertibles) without proof.If wrong: Ax4 may not hold; then the proposed hypdec would not satisfy the hyper-decoherence axioms and Theorem 1 would not follow.
- medium
Lemma 4 (maximally mixed state in QBox and its preservation) — The maximally mixed state of QBox is asserted diagrammatically and claimed to map to the quantum maximally mixed state under the equivalence. Given Definition 8’s strong requirement (every deterministic state appears in some decomposition and invariance under invertibles), this identification is not proved.If wrong: Ax4 may not hold; without Ax4 the hyper-decoherence axioms are not satisfied and Theorem 1 would be unsupported.
- low
Appendix A (No superluminal signalling in QBox) using [37] — Uses an affine linear combination decomposition of non-signalling channels into local channels to conclude equality under different discard effects. It is not shown that these affine combinations are legitimate within the deterministic state space notion used (affine combinations can exit the physical cone unless carefully interpreted as equalities in an ambient ordered vector space).If wrong: Non-signalling of QBox (as formulated here) might not be established by the given argument, potentially affecting claims about the tensor product/multi-environment structure but not directly Ax1–Ax4 unless used implicitly.
- low
Appendix A (no-signalling proof) — Uses the affine decomposition of multipartite non-signalling channels [37]; it is not shown that the required affine/linear extension remains within the physical state cone in the categorical state semantics used.If wrong: If the affine combination leaves the physical state cone, the no-superluminal-signalling property of QBox (a supporting claim) would be unproven, though this is peripheral to Theorem 1.
- low
Appendix A, use of [37] in no-superluminal-signalling proof — Appendix A invokes the cited affine decomposition of multipartite non-signalling channels and then applies arbitrary QBox effects to the localized decomposition. The cited result is legitimate, but the matching of hypotheses to the present multi-environment effects is compressed.If wrong: If the affine decomposition does not apply with the required arity, quantum specialization, or effect structure, the proof that QBox is non-superluminal-signalling is incomplete.
- low
Appendix A: extension of no-signalling proof from atomic to general bipartite states via affine decomposition from [37] — The proof uses an affine decomposition of arbitrary-arity multi-partite non-signalling channels into localised quantum channels from [37]. It is not explicitly verified that the affine combination respects the categorical semantics and physical state space of QBox, though the cited result is intended exactly for this purpose in generalised probabilistic theories.If wrong: If the decomposition fails or extends outside the state space, the no-signalling property might not be established for general bipartite states in QBox. This does not affect the hyper-decoherence construction (the main result), only the auxiliary claim that QBox is non-signalling.
- low
Appendix B (Non-uniqueness of purifications in QBox) — Constructs two purifications using unitaries U0,U1 and argues no reversible comb can connect them. The proof sketches equalities by plugging classical values 0/1; it assumes the reversible comb acts in a way that forces equality of the induced channels F(U0)=F(U1). The categorical typing/allowed interventions that justify these substitutions are not fully spelled out.If wrong: The narrative explanation for how Lee–Selby is evaded (via non-unique purifications) would be weakened, though Theorem 1 could still stand if Ax1–Ax4 and Lemma 2 were fully proven.
- low
Appendix B, non-unique purification example — Appendix B gives a diagrammatic proof of non-unique purifications, but the typing and purity/extremality of the displayed bipartite states and the characterization of reversible environment transformations are not fully spelled out.If wrong: If the displayed states are not valid pure QBox states or the reversible-comb argument is incomplete, the discussion of non-unique purifications would be unsupported, though the main theorem primarily needs failure of the Lee–Selby assumptions rather than this exact example.
- low
Lemma 3: inference from g(|e_i⟩⟨e_i|) = |φ⟩⟨φ| for basis projectors to g being constant prepare-|φ⟩⟨φ| — The argument uses only an orthonormal basis and appeals to extremality. An explicit extension from basis states to all input states would require closure under convex combinations and the fact that CPTP maps are affine. This is standard and expected to hold, but the text compresses this step.If wrong: If the extension genuinely fails, Lemma 3's conclusion that the pre-image of a pure state is pure might be unsupported for certain channels, weakening the verification of Ax3.
+ Definitions are largely explicit and compositional (Defs. 1–6, 9–12), making it possible in principle to check properties in a categorical way (e.g., determinism closure, Split construction).+ Axiom-check structure is logically organized: Ax1–Ax4 each mapped to a lemma (Lemmas 1,3,4) and the emergence criterion to Lemma 2.+ Correct use (at least in spirit) of standard mathematical inputs where invoked: Choi extremality criterion [30] is the right tool to show extremality of a constant pure-state preparation channel.
- Central notion mismatch/drift: ‘uniqueness of purification’ as used to claim evasion of Lee–Selby is not formally reconciled with the paper’s multi-environment setting and its choice of purity = convex extremality (Def. 7); Appendix B’s non-uniqueness example does not explicitly instantiate the same axiom schema.- Lemma 2 / Appendix C: faithfulness (and more generally equivalence) is asserted with an insufficiently justified step that equality after hyper-decohering implies equality of underlying supermaps; Theorem 1 depends on this.- Lemma 3: the step from g(I/d)=|φ⟩⟨φ| to ‘g maps every state to |φ⟩⟨φ|’ is under-derived (it checks only diagonal projectors in a basis; dependence on off-diagonals is not ruled out explicitly).- Lemma 4: characterization of the maximally mixed state in QBox and verification of Definition 8’s two conditions are asserted rather than proved.- Appendix A: the argument uses an affine decomposition of non-signalling channels into local channels [37]; it is not shown that the required affine/linear manipulations are valid within the deterministic state space/cone used for states in QBox (risk of leaving the physical set unless carefully framed).
scienceclaude-opus-4-8
Clarity 4/5Novelty 4/5Verifiability 4/5
This is a competent, theorem-level contribution in categorical/process-theoretic quantum foundations. It constructs an explicit hyper-decoherence map from QBox (higher-order quantum theory with the non-signalling tensor product) to standard quantum theory, verifies the four hyper-decoherence axioms via a sequence of lemmas and an equivalence-of-process-theories argument, and correctly diagnoses how the construction evades the Lee–Selby no-go by relaxing uniqueness of purifications — reinterpreted, with explicit flagging, as convex extremality rather than Stinespring purity. The mathematics is specific and recomputable within the framework, with exact failure conditions and a clean counterexample for non-unique purifications; verification is scored highly under the pure-mathematics conversion, docked only for reliance on cited external lemmas and for diagram-dependent steps.
The novelty is real: locating the no-go loophole in purity non-uniqueness and drawing the temporal-vs-spatial-discarding distinction is a genuine conceptual advance over prior toy theories. The paper is notably self-critical, presenting the trivial-interpretation objection candidly and using it to motivate axiom refinement rather than overselling an 'emergence' result — this honesty is a strength, not a weakness. Clarity is good in prose and structure but is materially hampered by the loss of the string diagrams in the transcribed form and by OCR artifacts. No red flags were triggered: the purity reinterpretation is explicitly announced, and the abstract's claims are matched by the body.
+ Provides an explicit, checkable hyper-decoherence map that evades the Lee–Selby no-go theorem, with the loophole precisely located in the non-uniqueness of purifications (convex extremality), supported by a concrete counterexample in Appendix B.+ Intellectually honest and self-critical framing: rather than overclaiming an 'emergence' result, the authors present two competing interpretations and argue the construction may instead motivate refining the hyper-decoherence axioms (e.g., dimensionality preservation), which strengthens the scientific value.+ Careful, well-motivated conceptual contribution connecting indefinite causal order, temporal vs. spatial discarding, and purity co-preservation, embedded properly in the OPT/CPT/process-theory literature with accurate citations.
- The physical interpretation of the map (permit access to two systems, then forbid one) is acknowledged by the authors themselves to be 'too trivial and too far from the traditional notion of decoherence' — this weakens the claim that the map represents genuine hyper-decoherence, a tension the paper leaves unresolved.- Some proofs delegate key steps to cited external results (multipartite non-signalling channel decomposition [37]; atomic-case no-signalling [16]) rather than being self-contained, leaving minor gaps for an independent verifier.- Diagrammatic reasoning is central but poorly conveyed in text form; without the string diagrams several lemma verifications (especially the equivalence in Appendix C) require substantial reconstruction.- Several forward-looking claims (a generalized no-go establishing higher-order QT at the top of a hyper-decoherence tower; higher-order interference in QBox) are speculative and not established here, which is appropriately hedged but limits the concrete scope.
mathdeepseek-ai/DeepSeek-V4-Pro
Internal 4/5Mathematical 5/5
The paper maintains a coherent internal logic. The most serious charge in the competing assessments — that 'purity' drifts between convex extremality and Stinespring-type dilation uniqueness — is not supported by the text. Definition 7 unambiguously defines purity as convex extremality in the deterministic state space, and footnote [31] explicitly limits purity co-preservation to this space. The text explains the evasion of Lee-Selby in the same language: 'dilations of CPTP maps to extremal CPTP maps are not unique.' No shift in meaning is required to follow the argument. Minor local gaps exist — the verification of determinism under the full quantifier structure of Definition 5 is compressed, and a few diagrammatic steps are asserted rather than spelled out — but these do not produce contradictions or undermine the central claim. The paper's willingness to flag the interpretive tension around its own map (Discussion) is a strength, not a weakness, and contributes to a balanced presentation.
⚑Derivation Flags (30)
- high
Lemma 2 / Appendix C (equivalence Hypdec ≃ CPTP) — Key parts are asserted without a reproducible proof: (i) that F is well-defined on Split(QBox) morphisms (i.e., respects the idempotent constraints), and (ii) especially faithfulness—claiming that equality after inserting hyper-decoherence implies equality of original supermaps—requires a separation/tomography argument not provided.If wrong: Definition 11’s equivalence requirement is unmet; QBox would not be shown to hyper-decohere to CPTP, invalidating Theorem 1.
- high
Lemma 2 / Appendix C (Equivalence Hypdec ≃ CPTP), faithfulness step — Faithfulness is argued as: if two supermaps have equal hyper-decohered versions then the original supermaps are equal. In Split(D), morphisms are already constrained to satisfy f=e'fe; equality after inserting idempotents does not generally imply equality of underlying maps without an additional characterization theorem.If wrong: The claimed equivalence to CPTP may fail; then the hyper-decohered subtheory might be a proper quotient/subcategory, and Theorem 1 ('QBox is post-quantum') is unsupported.
- high
Lemma 2 and Appendix C, equivalence Hypdec ≃ CPTP — Lemma 2 and Appendix C sketch the functor F and assert full faithfulness; the faithfulness step relies on diagrammatic equalities rather than an explicit algebraic proof that hyper-decohered supermaps are completely determined by their image.If wrong: If F is not faithful or not full, the hyper-decohered subtheory need not be equivalent to CPTP, so the main hyper-decoherence claim fails.
- high
Lemma 2 and Appendix C, proof of equivalence Hypdec ≃ CPTP — The equivalence functor F is defined diagrammatically and its properties are described as straightforward. The proof does not fully characterize morphisms satisfying f=e'fe or prove algebraically that equality of lower-order images implies equality of hyper-decohered supermaps.If wrong: If F is not full, faithful, monoidal, or well-defined on all hyper-decohered morphisms, the decohered subtheory is not proven equivalent to CPTP, invalidating the main theorem.
- high
Lemma 3 (Ax3 purity copreservation) — Step from g(Id/d)=|φ><φ| to ‘for any orthonormal basis, g(|e_i><e_i|)=|φ><φ|, hence g is constant on every state’ is incomplete as written; dependence on off-diagonal terms/coherences is not explicitly ruled out using complete positivity/linearity on all operators.If wrong: Ax3 may fail; then hypdec would not qualify as a hyper-decoherence map under Definition 11, undermining Theorem 1.
- high
Lemma 3, equations around g(I/d)=|φ><φ| — The proof that a preimage of a pure state is pure infers from g(I/d)=|φ><φ| that g is a constant discard-and-prepare channel, then uses Choi extremality. The argument is compressed for general multipartite non-signalling channels and does not explicitly prove extremality in the QBox deterministic state space.If wrong: If a pure hyper-decohered quantum state can arise from a mixed/extremally non-pure QBox state, Ax3 fails and QBox would not satisfy the paper's own definition of post-quantum hyper-decoherence.
- high
Lemma 4, claimed maximally mixed QBox state — Lemma 4 states the maximally mixed state in QBox and says it is easily sent to itself, but does not prove that every deterministic QBox state appears in a convex decomposition of it or that it is invariant under all reversible QBox transformations.If wrong: If the displayed state is not maximally mixed under Definition 8, Ax4 is not proved and Theorem 1 does not follow.
- high
Section V, definition of hypdec as a QBox process — hypdec is asserted to be a deterministic QBox process because it maps product CPTP maps to a CPTP map, but Definition 6/Definition 5 require preservation of arbitrary non-signalling channels and stability under ancillary systems; this stronger condition is not explicitly verified.If wrong: If hypdec fails the full Definition 5/6 determinism condition over arbitrary ancillas and non-signalling inputs, it would not be a legitimate QBox process and Theorem 1 (QBox is post-quantum) would be unsupported.
- high
Section V, definition of hypdec before Lemma 1 — The text asserts that hypdec is a deterministic superchannel because hypdec(f1,...,fn) is CPTP when applied to CPTP maps. Definition 6/Definition 5 require preservation of non-signalling channels, with ancillary stability; the stronger condition is not explicitly verified.If wrong: If this sufficiency criterion is invalid, hypdec may not be a deterministic process of QBox, and the construction of the hyper-decoherence map fails at the first step.
- high
Section V: claim 'hypdec is deterministic ... maps CPTP maps f_i to CPTP' — Determinism in Definition 5 is stronger than 'maps CPTP inputs to CPTP output': it quantifies over ancillas L and all allowed discarding effects in Σ_{K⊗L}. The text does not show hypdec satisfies this stronger condition in QBox’s multi-environment structure.If wrong: hypdec may not be a morphism in the deterministic subtheory QBox (as required), undermining Lemma 1 onward and invalidating the main construction.
- medium
Appendix A (No superluminal signalling in QBox) — Uses a cited result that any multipartite non-signalling channel can be written as an affine linear combination of localized channels. The argument then linearly evaluates effects across this affine combination. It is not shown that this affine expansion is legitimate within the state/effect semantics of QBox (affine coefficients may be negative, leaving the state cone).If wrong: The claim that QBox is non-signalling (in the stated multi-environment sense) would not be established; this would weaken consistency of the operational interpretation and could affect which maps qualify as deterministic in QBox.
- medium
Appendix A, use of [37] affine decomposition — Appendix A invokes an affine decomposition of multipartite non-signalling channels into localized channels and manipulates the resulting affine combination, but does not spell out the legitimacy of this extension for the process-theoretic semantics.If wrong: If the affine decomposition cannot be used in the required categorical/state-space setting, the Appendix A proof of no-superluminal-signalling for general QBox bipartite states is incomplete.
- medium
Appendix B, non-unique purifications example — Appendix B shows two bipartite states with the same reduction and argues no reversible comb relates them, but does not explicitly prove that both states are purifications, i.e. pure in the Definition 7 convex-extremal deterministic state space.If wrong: If the displayed bipartite states are not pure/extremal deterministic QBox states, Appendix B does not establish non-unique purifications in the paper’s stated sense, weakening the claimed explanation of how Lee–Selby is evaded.
- medium
Lemma 1 (no-backwards-signalling of hypdec) — The proof is diagrammatic and asserts that for any multi-environment element W (process matrix), discarding after hypdec yields the same input discard. This does not explicitly track the quantification in Definition 4 over all Σ_K effects nor show the required equality for arbitrary allowed discards on the output.If wrong: Ax2 would not be established for hypdec; then Definition 11 is not satisfied and Theorem 1 fails.
- medium
Lemma 1 (no-backwards-signalling) + Definition 4 quantifiers — No-backwards-signalling is asserted diagrammatically ('for any process matrix W') without explicitly matching Definition 4's requirement: existence of an input discard in Σ_H such that for every output discard in Σ_K the stated equality holds. The proof sketch does not show the existential choice on the input side nor its dependence/independence from W.If wrong: Ax2 might not actually be satisfied by hypdec as defined; then the proposed hyper-decoherence would fail the stated axioms and Theorem 1 would not follow.
- medium
Lemma 1, no-backwards-signalling diagram — No-backwards-signalling is shown by a single diagrammatic equality for arbitrary process matrix W, without an explicit algebraic derivation from the process-matrix normalization constraints.If wrong: If the equality does not hold for all process-matrix effects with the required typing, Ax2 no-backwards-signalling is not established for the hyper-decoherence map.
- medium
Lemma 2 / Appendix C (faithfulness) — Full faithfulness and essential surjectivity of F: Hypdec -> CPTP are argued diagrammatically; the algebraic characterization of hyper-decohered QBox morphisms needed to make the equivalence reproducible is not spelled out.If wrong: If the equivalence fails, the hyper-decohered subtheory would not be CPTP and Theorem 1's central identification with quantum theory would be invalid.
- medium
Lemma 3 — The inference that g must be a constant discard-and-prepare channel is argued only via diagonal basis projectors g(I/d)=|phi><phi|; dependence on off-diagonal coherences is not explicitly excluded, and the extension from CPTP extremality to extremality in the multipartite non-signalling deterministic state space is compressed.If wrong: If the extension does not hold, Ax3 (purity copreservation) would not be established and Theorem 1 would lose one of its four required axioms.
- medium
Lemma 3 (purity copreservation), step: g(I/d)=|φ⟩⟨φ| ⇒ g is constant prepare |φ⟩⟨φ| — The proof uses decomposition of I/d into diagonal basis projectors and extremality of |φ⟩⟨φ| to infer g(|e_i⟩⟨e_i|)=|φ⟩⟨φ|, then asserts this 'applies to every state' without explicitly treating off-diagonal operators/coherences or using a full operator-basis linearity argument under CP/TP constraints.If wrong: Ax3 may fail: a non-pure QBox state could hyper-decohere to a pure quantum state, contradicting the claimed copreservation of purity and weakening Theorem 1.
- medium
Lemma 3, inference from g(I/d)=|φ><φ| to extremality of g — Lemma 3 compresses the argument from a pure hyper-decohered output state to g being a constant pure-state preparation channel, and then from Choi extremality in CPTP to purity in the QBox deterministic state space.If wrong: If the inferred channel is not necessarily constant discard-and-prepare, or if extremality in CPTP does not transfer to the relevant QBox state space, Ax3 is not fully established.
- medium
Lemma 4 — The maximally mixed state in QBox is simply asserted to be the displayed discard/prepare diagram and 'easily seen' to be preserved; the required decomposition and invariance under all reversible QBox transformations are not shown.If wrong: If the displayed state is not maximally mixed in QBox under Definition 8, or if hypdec does not preserve the appropriate maximally mixed state, Ax4 is not established.
- medium
Lemma 4 (maximally mixed preserved) — The maximally mixed state in QBox is asserted to have a particular diagrammatic form and to satisfy Definition 8 (universality across convex decompositions + invariance under all invertibles) without proof.If wrong: Ax4 may not hold; then the proposed hypdec would not satisfy the hyper-decoherence axioms and Theorem 1 would not follow.
- medium
Lemma 4 (maximally mixed state in QBox and its preservation) — The maximally mixed state of QBox is asserted diagrammatically and claimed to map to the quantum maximally mixed state under the equivalence. Given Definition 8’s strong requirement (every deterministic state appears in some decomposition and invariance under invertibles), this identification is not proved.If wrong: Ax4 may not hold; without Ax4 the hyper-decoherence axioms are not satisfied and Theorem 1 would be unsupported.
- low
Appendix A (No superluminal signalling in QBox) using [37] — Uses an affine linear combination decomposition of non-signalling channels into local channels to conclude equality under different discard effects. It is not shown that these affine combinations are legitimate within the deterministic state space notion used (affine combinations can exit the physical cone unless carefully interpreted as equalities in an ambient ordered vector space).If wrong: Non-signalling of QBox (as formulated here) might not be established by the given argument, potentially affecting claims about the tensor product/multi-environment structure but not directly Ax1–Ax4 unless used implicitly.
- low
Appendix A (no-signalling proof) — Uses the affine decomposition of multipartite non-signalling channels [37]; it is not shown that the required affine/linear extension remains within the physical state cone in the categorical state semantics used.If wrong: If the affine combination leaves the physical state cone, the no-superluminal-signalling property of QBox (a supporting claim) would be unproven, though this is peripheral to Theorem 1.
- low
Appendix A, use of [37] in no-superluminal-signalling proof — Appendix A invokes the cited affine decomposition of multipartite non-signalling channels and then applies arbitrary QBox effects to the localized decomposition. The cited result is legitimate, but the matching of hypotheses to the present multi-environment effects is compressed.If wrong: If the affine decomposition does not apply with the required arity, quantum specialization, or effect structure, the proof that QBox is non-superluminal-signalling is incomplete.
- low
Appendix A: extension of no-signalling proof from atomic to general bipartite states via affine decomposition from [37] — The proof uses an affine decomposition of arbitrary-arity multi-partite non-signalling channels into localised quantum channels from [37]. It is not explicitly verified that the affine combination respects the categorical semantics and physical state space of QBox, though the cited result is intended exactly for this purpose in generalised probabilistic theories.If wrong: If the decomposition fails or extends outside the state space, the no-signalling property might not be established for general bipartite states in QBox. This does not affect the hyper-decoherence construction (the main result), only the auxiliary claim that QBox is non-signalling.
- low
Appendix B (Non-uniqueness of purifications in QBox) — Constructs two purifications using unitaries U0,U1 and argues no reversible comb can connect them. The proof sketches equalities by plugging classical values 0/1; it assumes the reversible comb acts in a way that forces equality of the induced channels F(U0)=F(U1). The categorical typing/allowed interventions that justify these substitutions are not fully spelled out.If wrong: The narrative explanation for how Lee–Selby is evaded (via non-unique purifications) would be weakened, though Theorem 1 could still stand if Ax1–Ax4 and Lemma 2 were fully proven.
- low
Appendix B, non-unique purification example — Appendix B gives a diagrammatic proof of non-unique purifications, but the typing and purity/extremality of the displayed bipartite states and the characterization of reversible environment transformations are not fully spelled out.If wrong: If the displayed states are not valid pure QBox states or the reversible-comb argument is incomplete, the discussion of non-unique purifications would be unsupported, though the main theorem primarily needs failure of the Lee–Selby assumptions rather than this exact example.
- low
Lemma 3: inference from g(|e_i⟩⟨e_i|) = |φ⟩⟨φ| for basis projectors to g being constant prepare-|φ⟩⟨φ| — The argument uses only an orthonormal basis and appeals to extremality. An explicit extension from basis states to all input states would require closure under convex combinations and the fact that CPTP maps are affine. This is standard and expected to hold, but the text compresses this step.If wrong: If the extension genuinely fails, Lemma 3's conclusion that the pre-image of a pure state is pure might be unsupported for certain channels, weakening the verification of Ax3.
+ The architecture is logically transparent: Definition 7 fixes purity as convex extremality, and every subsequent use (Lemma 3, Appendix B, discussion of Lee-Selby evasion) respects this definition, including scoping clarifications in footnote [31].+ The paper is self-aware and does not overclaim: the Discussion explicitly flags the interpretive tension that its hyper-decoherence map may be the type of trivial discard that Lee-Selby aimed to exclude, presenting both an emergence reading and an axiom-refinement reading without contradiction.+ The equivalence proof (Lemma 2, Appendix C) provides explicit functors F and G with verifications of functoriality, essential surjectivity, fullness, and faithfulness, grounding the claimed equivalence in concrete categorical constructions.
- The verification that hypdec satisfies Definition 5's full quantification over all ancillas L and all discarding effects in the multi-environment is compressed; the text relies on a diagrammatic check that maps CPTP inputs to a CPTP output, but does not explicitly instantiate the ancillary-system stability required by Definition 5 in a multi-environment setting.- Lemma 2's faithfulness step is argued diagrammatically without spelling out the algebraic characterization of hyper-decohered QBox morphisms; a reader must reconstruct the argument from the diagrams.- Lemma 3 compresses the extension from 'g(|e_i⟩⟨e_i|) = |φ⟩⟨φ| for basis projectors' to 'g is constant prepare-|φ⟩⟨φ|', relying on implicit affinity of CPTP maps rather than explicit justification.
mathgpt-5.5-2026-04-23
Internal 3/5Mathematical 3/5
The paper presents a coherent process-theoretic route from QBox to CPTP via a proposed hyper-decoherence idempotent, and it is careful to specify that purity is being interpreted as convex extremality of deterministic states. I therefore do not accept the strongest low-score consensus argument that the paper centrally drifts between incompatible purity definitions; the authors explicitly acknowledge and manage that distinction.
The main mathematical weakness is that several central verifications are sketched diagrammatically or asserted at the level of intuition rather than proved against the exact earlier definitions. In particular, the validity of hypdec as a deterministic QBox process, the full equivalence with CPTP, and the maximally mixed state claim are all load-bearing for Theorem 1. These gaps appear potentially repairable, but they prevent the main theorem from being fully reproducible as written.
⚑Derivation Flags (30)
- high
Lemma 2 / Appendix C (equivalence Hypdec ≃ CPTP) — Key parts are asserted without a reproducible proof: (i) that F is well-defined on Split(QBox) morphisms (i.e., respects the idempotent constraints), and (ii) especially faithfulness—claiming that equality after inserting hyper-decoherence implies equality of original supermaps—requires a separation/tomography argument not provided.If wrong: Definition 11’s equivalence requirement is unmet; QBox would not be shown to hyper-decohere to CPTP, invalidating Theorem 1.
- high
Lemma 2 / Appendix C (Equivalence Hypdec ≃ CPTP), faithfulness step — Faithfulness is argued as: if two supermaps have equal hyper-decohered versions then the original supermaps are equal. In Split(D), morphisms are already constrained to satisfy f=e'fe; equality after inserting idempotents does not generally imply equality of underlying maps without an additional characterization theorem.If wrong: The claimed equivalence to CPTP may fail; then the hyper-decohered subtheory might be a proper quotient/subcategory, and Theorem 1 ('QBox is post-quantum') is unsupported.
- high
Lemma 2 and Appendix C, equivalence Hypdec ≃ CPTP — Lemma 2 and Appendix C sketch the functor F and assert full faithfulness; the faithfulness step relies on diagrammatic equalities rather than an explicit algebraic proof that hyper-decohered supermaps are completely determined by their image.If wrong: If F is not faithful or not full, the hyper-decohered subtheory need not be equivalent to CPTP, so the main hyper-decoherence claim fails.
- high
Lemma 2 and Appendix C, proof of equivalence Hypdec ≃ CPTP — The equivalence functor F is defined diagrammatically and its properties are described as straightforward. The proof does not fully characterize morphisms satisfying f=e'fe or prove algebraically that equality of lower-order images implies equality of hyper-decohered supermaps.If wrong: If F is not full, faithful, monoidal, or well-defined on all hyper-decohered morphisms, the decohered subtheory is not proven equivalent to CPTP, invalidating the main theorem.
- high
Lemma 3 (Ax3 purity copreservation) — Step from g(Id/d)=|φ><φ| to ‘for any orthonormal basis, g(|e_i><e_i|)=|φ><φ|, hence g is constant on every state’ is incomplete as written; dependence on off-diagonal terms/coherences is not explicitly ruled out using complete positivity/linearity on all operators.If wrong: Ax3 may fail; then hypdec would not qualify as a hyper-decoherence map under Definition 11, undermining Theorem 1.
- high
Lemma 3, equations around g(I/d)=|φ><φ| — The proof that a preimage of a pure state is pure infers from g(I/d)=|φ><φ| that g is a constant discard-and-prepare channel, then uses Choi extremality. The argument is compressed for general multipartite non-signalling channels and does not explicitly prove extremality in the QBox deterministic state space.If wrong: If a pure hyper-decohered quantum state can arise from a mixed/extremally non-pure QBox state, Ax3 fails and QBox would not satisfy the paper's own definition of post-quantum hyper-decoherence.
- high
Lemma 4, claimed maximally mixed QBox state — Lemma 4 states the maximally mixed state in QBox and says it is easily sent to itself, but does not prove that every deterministic QBox state appears in a convex decomposition of it or that it is invariant under all reversible QBox transformations.If wrong: If the displayed state is not maximally mixed under Definition 8, Ax4 is not proved and Theorem 1 does not follow.
- high
Section V, definition of hypdec as a QBox process — hypdec is asserted to be a deterministic QBox process because it maps product CPTP maps to a CPTP map, but Definition 6/Definition 5 require preservation of arbitrary non-signalling channels and stability under ancillary systems; this stronger condition is not explicitly verified.If wrong: If hypdec fails the full Definition 5/6 determinism condition over arbitrary ancillas and non-signalling inputs, it would not be a legitimate QBox process and Theorem 1 (QBox is post-quantum) would be unsupported.
- high
Section V, definition of hypdec before Lemma 1 — The text asserts that hypdec is a deterministic superchannel because hypdec(f1,...,fn) is CPTP when applied to CPTP maps. Definition 6/Definition 5 require preservation of non-signalling channels, with ancillary stability; the stronger condition is not explicitly verified.If wrong: If this sufficiency criterion is invalid, hypdec may not be a deterministic process of QBox, and the construction of the hyper-decoherence map fails at the first step.
- high
Section V: claim 'hypdec is deterministic ... maps CPTP maps f_i to CPTP' — Determinism in Definition 5 is stronger than 'maps CPTP inputs to CPTP output': it quantifies over ancillas L and all allowed discarding effects in Σ_{K⊗L}. The text does not show hypdec satisfies this stronger condition in QBox’s multi-environment structure.If wrong: hypdec may not be a morphism in the deterministic subtheory QBox (as required), undermining Lemma 1 onward and invalidating the main construction.
- medium
Appendix A (No superluminal signalling in QBox) — Uses a cited result that any multipartite non-signalling channel can be written as an affine linear combination of localized channels. The argument then linearly evaluates effects across this affine combination. It is not shown that this affine expansion is legitimate within the state/effect semantics of QBox (affine coefficients may be negative, leaving the state cone).If wrong: The claim that QBox is non-signalling (in the stated multi-environment sense) would not be established; this would weaken consistency of the operational interpretation and could affect which maps qualify as deterministic in QBox.
- medium
Appendix A, use of [37] affine decomposition — Appendix A invokes an affine decomposition of multipartite non-signalling channels into localized channels and manipulates the resulting affine combination, but does not spell out the legitimacy of this extension for the process-theoretic semantics.If wrong: If the affine decomposition cannot be used in the required categorical/state-space setting, the Appendix A proof of no-superluminal-signalling for general QBox bipartite states is incomplete.
- medium
Appendix B, non-unique purifications example — Appendix B shows two bipartite states with the same reduction and argues no reversible comb relates them, but does not explicitly prove that both states are purifications, i.e. pure in the Definition 7 convex-extremal deterministic state space.If wrong: If the displayed bipartite states are not pure/extremal deterministic QBox states, Appendix B does not establish non-unique purifications in the paper’s stated sense, weakening the claimed explanation of how Lee–Selby is evaded.
- medium
Lemma 1 (no-backwards-signalling of hypdec) — The proof is diagrammatic and asserts that for any multi-environment element W (process matrix), discarding after hypdec yields the same input discard. This does not explicitly track the quantification in Definition 4 over all Σ_K effects nor show the required equality for arbitrary allowed discards on the output.If wrong: Ax2 would not be established for hypdec; then Definition 11 is not satisfied and Theorem 1 fails.
- medium
Lemma 1 (no-backwards-signalling) + Definition 4 quantifiers — No-backwards-signalling is asserted diagrammatically ('for any process matrix W') without explicitly matching Definition 4's requirement: existence of an input discard in Σ_H such that for every output discard in Σ_K the stated equality holds. The proof sketch does not show the existential choice on the input side nor its dependence/independence from W.If wrong: Ax2 might not actually be satisfied by hypdec as defined; then the proposed hyper-decoherence would fail the stated axioms and Theorem 1 would not follow.
- medium
Lemma 1, no-backwards-signalling diagram — No-backwards-signalling is shown by a single diagrammatic equality for arbitrary process matrix W, without an explicit algebraic derivation from the process-matrix normalization constraints.If wrong: If the equality does not hold for all process-matrix effects with the required typing, Ax2 no-backwards-signalling is not established for the hyper-decoherence map.
- medium
Lemma 2 / Appendix C (faithfulness) — Full faithfulness and essential surjectivity of F: Hypdec -> CPTP are argued diagrammatically; the algebraic characterization of hyper-decohered QBox morphisms needed to make the equivalence reproducible is not spelled out.If wrong: If the equivalence fails, the hyper-decohered subtheory would not be CPTP and Theorem 1's central identification with quantum theory would be invalid.
- medium
Lemma 3 — The inference that g must be a constant discard-and-prepare channel is argued only via diagonal basis projectors g(I/d)=|phi><phi|; dependence on off-diagonal coherences is not explicitly excluded, and the extension from CPTP extremality to extremality in the multipartite non-signalling deterministic state space is compressed.If wrong: If the extension does not hold, Ax3 (purity copreservation) would not be established and Theorem 1 would lose one of its four required axioms.
- medium
Lemma 3 (purity copreservation), step: g(I/d)=|φ⟩⟨φ| ⇒ g is constant prepare |φ⟩⟨φ| — The proof uses decomposition of I/d into diagonal basis projectors and extremality of |φ⟩⟨φ| to infer g(|e_i⟩⟨e_i|)=|φ⟩⟨φ|, then asserts this 'applies to every state' without explicitly treating off-diagonal operators/coherences or using a full operator-basis linearity argument under CP/TP constraints.If wrong: Ax3 may fail: a non-pure QBox state could hyper-decohere to a pure quantum state, contradicting the claimed copreservation of purity and weakening Theorem 1.
- medium
Lemma 3, inference from g(I/d)=|φ><φ| to extremality of g — Lemma 3 compresses the argument from a pure hyper-decohered output state to g being a constant pure-state preparation channel, and then from Choi extremality in CPTP to purity in the QBox deterministic state space.If wrong: If the inferred channel is not necessarily constant discard-and-prepare, or if extremality in CPTP does not transfer to the relevant QBox state space, Ax3 is not fully established.
- medium
Lemma 4 — The maximally mixed state in QBox is simply asserted to be the displayed discard/prepare diagram and 'easily seen' to be preserved; the required decomposition and invariance under all reversible QBox transformations are not shown.If wrong: If the displayed state is not maximally mixed in QBox under Definition 8, or if hypdec does not preserve the appropriate maximally mixed state, Ax4 is not established.
- medium
Lemma 4 (maximally mixed preserved) — The maximally mixed state in QBox is asserted to have a particular diagrammatic form and to satisfy Definition 8 (universality across convex decompositions + invariance under all invertibles) without proof.If wrong: Ax4 may not hold; then the proposed hypdec would not satisfy the hyper-decoherence axioms and Theorem 1 would not follow.
- medium
Lemma 4 (maximally mixed state in QBox and its preservation) — The maximally mixed state of QBox is asserted diagrammatically and claimed to map to the quantum maximally mixed state under the equivalence. Given Definition 8’s strong requirement (every deterministic state appears in some decomposition and invariance under invertibles), this identification is not proved.If wrong: Ax4 may not hold; without Ax4 the hyper-decoherence axioms are not satisfied and Theorem 1 would be unsupported.
- low
Appendix A (No superluminal signalling in QBox) using [37] — Uses an affine linear combination decomposition of non-signalling channels into local channels to conclude equality under different discard effects. It is not shown that these affine combinations are legitimate within the deterministic state space notion used (affine combinations can exit the physical cone unless carefully interpreted as equalities in an ambient ordered vector space).If wrong: Non-signalling of QBox (as formulated here) might not be established by the given argument, potentially affecting claims about the tensor product/multi-environment structure but not directly Ax1–Ax4 unless used implicitly.
- low
Appendix A (no-signalling proof) — Uses the affine decomposition of multipartite non-signalling channels [37]; it is not shown that the required affine/linear extension remains within the physical state cone in the categorical state semantics used.If wrong: If the affine combination leaves the physical state cone, the no-superluminal-signalling property of QBox (a supporting claim) would be unproven, though this is peripheral to Theorem 1.
- low
Appendix A, use of [37] in no-superluminal-signalling proof — Appendix A invokes the cited affine decomposition of multipartite non-signalling channels and then applies arbitrary QBox effects to the localized decomposition. The cited result is legitimate, but the matching of hypotheses to the present multi-environment effects is compressed.If wrong: If the affine decomposition does not apply with the required arity, quantum specialization, or effect structure, the proof that QBox is non-superluminal-signalling is incomplete.
- low
Appendix A: extension of no-signalling proof from atomic to general bipartite states via affine decomposition from [37] — The proof uses an affine decomposition of arbitrary-arity multi-partite non-signalling channels into localised quantum channels from [37]. It is not explicitly verified that the affine combination respects the categorical semantics and physical state space of QBox, though the cited result is intended exactly for this purpose in generalised probabilistic theories.If wrong: If the decomposition fails or extends outside the state space, the no-signalling property might not be established for general bipartite states in QBox. This does not affect the hyper-decoherence construction (the main result), only the auxiliary claim that QBox is non-signalling.
- low
Appendix B (Non-uniqueness of purifications in QBox) — Constructs two purifications using unitaries U0,U1 and argues no reversible comb can connect them. The proof sketches equalities by plugging classical values 0/1; it assumes the reversible comb acts in a way that forces equality of the induced channels F(U0)=F(U1). The categorical typing/allowed interventions that justify these substitutions are not fully spelled out.If wrong: The narrative explanation for how Lee–Selby is evaded (via non-unique purifications) would be weakened, though Theorem 1 could still stand if Ax1–Ax4 and Lemma 2 were fully proven.
- low
Appendix B, non-unique purification example — Appendix B gives a diagrammatic proof of non-unique purifications, but the typing and purity/extremality of the displayed bipartite states and the characterization of reversible environment transformations are not fully spelled out.If wrong: If the displayed states are not valid pure QBox states or the reversible-comb argument is incomplete, the discussion of non-unique purifications would be unsupported, though the main theorem primarily needs failure of the Lee–Selby assumptions rather than this exact example.
- low
Lemma 3: inference from g(|e_i⟩⟨e_i|) = |φ⟩⟨φ| for basis projectors to g being constant prepare-|φ⟩⟨φ| — The argument uses only an orthonormal basis and appeals to extremality. An explicit extension from basis states to all input states would require closure under convex combinations and the fact that CPTP maps are affine. This is standard and expected to hold, but the text compresses this step.If wrong: If the extension genuinely fails, Lemma 3's conclusion that the pre-image of a pure state is pure might be unsupported for certain channels, weakening the verification of Ax3.
+ The paper gives explicit definitions for multi-environment structures, deterministic processes, hyper-decoherence axioms, and idempotent splitting before applying them.+ The purity convention is explicitly stated in Definition 7 and the authors openly distinguish it from isometric/unitary purity and from non-deterministic-state purity.+ The use of Choi’s extremality criterion in Lemma 3 is mathematically appropriate for showing that a pure discard-and-prepare CPTP channel is extremal.
- Section V asserts that hypdec is a QBox process because it maps product CPTP inputs to a CPTP output, but Definition 6/Definition 5 require preservation of arbitrary non-signalling channels and deterministic stability under ancillary systems and all allowed discarding effects.- Lemma 2 and Appendix C give only a diagrammatic/sketched proof of the equivalence Hypdec ≃ CPTP; the faithfulness step, in particular, assumes that equality after hyper-decohering determines the original hyper-decohered morphism without an explicit algebraic characterization.- Lemma 4 asserts the form of the maximally mixed QBox state and its preservation, but does not prove the Definition 8 conditions in QBox: that every deterministic state appears in a convex decomposition and that the state is invariant under all reversible QBox transformations.- Appendix B’s non-unique purification example does not explicitly prove that the two displayed bipartite QBox states are pure/extremal deterministic states in the paper’s Definition 7 sense, so the claimed relaxation of uniqueness of purifications is less fully established than the hyper-decoherence construction itself.- Appendix A uses an affine decomposition of multipartite non-signalling channels to prove no-superluminal-signalling in QBox, but the argument does not spell out why the affine-linear manipulation is legitimate for the relevant categorical/state semantics.
mathclaude-opus-4-8
Internal 3/5Mathematical 4/5
Within its stated process-theoretic and GPT assumptions the paper is largely coherent, and the strongest opposing 2/5 concern — that 'purity/purification' drifts between convex extremality and OPT/Stinespring uniqueness — does not, on close reading, constitute central definition drift: the paper explicitly identifies both notions, rejects the isometry notion, and uses extremality consistently everywhere it is load-bearing (Def 7, Lemma 3, App B, footnote [31]). Accordingly I do not apply the definition-drift cap. However, I reject the 5/5 position: there is a genuine, disclosed-only-in-part mismatch between Definition 6/Definition 5 (QBox processes preserve arbitrary non-signalling channels with ancillary stability) and the Section V justification that hypdec is a QBox process merely because it maps product CPTP inputs to a CPTP output. Together with the untracked Σ-quantifiers in the Lemma 1 and Lemma 4 verifications and the compressed Lemma 3 purity step, these are moderate inconsistencies affecting core construction rigor while leaving the overall logical skeleton intact. This lands the dimension at 3 — between the peers who over-penalize a disclosed purity distinction and those who overlook the definition/verification mismatch.
⚑Derivation Flags (30)
- high
Lemma 2 / Appendix C (equivalence Hypdec ≃ CPTP) — Key parts are asserted without a reproducible proof: (i) that F is well-defined on Split(QBox) morphisms (i.e., respects the idempotent constraints), and (ii) especially faithfulness—claiming that equality after inserting hyper-decoherence implies equality of original supermaps—requires a separation/tomography argument not provided.If wrong: Definition 11’s equivalence requirement is unmet; QBox would not be shown to hyper-decohere to CPTP, invalidating Theorem 1.
- high
Lemma 2 / Appendix C (Equivalence Hypdec ≃ CPTP), faithfulness step — Faithfulness is argued as: if two supermaps have equal hyper-decohered versions then the original supermaps are equal. In Split(D), morphisms are already constrained to satisfy f=e'fe; equality after inserting idempotents does not generally imply equality of underlying maps without an additional characterization theorem.If wrong: The claimed equivalence to CPTP may fail; then the hyper-decohered subtheory might be a proper quotient/subcategory, and Theorem 1 ('QBox is post-quantum') is unsupported.
- high
Lemma 2 and Appendix C, equivalence Hypdec ≃ CPTP — Lemma 2 and Appendix C sketch the functor F and assert full faithfulness; the faithfulness step relies on diagrammatic equalities rather than an explicit algebraic proof that hyper-decohered supermaps are completely determined by their image.If wrong: If F is not faithful or not full, the hyper-decohered subtheory need not be equivalent to CPTP, so the main hyper-decoherence claim fails.
- high
Lemma 2 and Appendix C, proof of equivalence Hypdec ≃ CPTP — The equivalence functor F is defined diagrammatically and its properties are described as straightforward. The proof does not fully characterize morphisms satisfying f=e'fe or prove algebraically that equality of lower-order images implies equality of hyper-decohered supermaps.If wrong: If F is not full, faithful, monoidal, or well-defined on all hyper-decohered morphisms, the decohered subtheory is not proven equivalent to CPTP, invalidating the main theorem.
- high
Lemma 3 (Ax3 purity copreservation) — Step from g(Id/d)=|φ><φ| to ‘for any orthonormal basis, g(|e_i><e_i|)=|φ><φ|, hence g is constant on every state’ is incomplete as written; dependence on off-diagonal terms/coherences is not explicitly ruled out using complete positivity/linearity on all operators.If wrong: Ax3 may fail; then hypdec would not qualify as a hyper-decoherence map under Definition 11, undermining Theorem 1.
- high
Lemma 3, equations around g(I/d)=|φ><φ| — The proof that a preimage of a pure state is pure infers from g(I/d)=|φ><φ| that g is a constant discard-and-prepare channel, then uses Choi extremality. The argument is compressed for general multipartite non-signalling channels and does not explicitly prove extremality in the QBox deterministic state space.If wrong: If a pure hyper-decohered quantum state can arise from a mixed/extremally non-pure QBox state, Ax3 fails and QBox would not satisfy the paper's own definition of post-quantum hyper-decoherence.
- high
Lemma 4, claimed maximally mixed QBox state — Lemma 4 states the maximally mixed state in QBox and says it is easily sent to itself, but does not prove that every deterministic QBox state appears in a convex decomposition of it or that it is invariant under all reversible QBox transformations.If wrong: If the displayed state is not maximally mixed under Definition 8, Ax4 is not proved and Theorem 1 does not follow.
- high
Section V, definition of hypdec as a QBox process — hypdec is asserted to be a deterministic QBox process because it maps product CPTP maps to a CPTP map, but Definition 6/Definition 5 require preservation of arbitrary non-signalling channels and stability under ancillary systems; this stronger condition is not explicitly verified.If wrong: If hypdec fails the full Definition 5/6 determinism condition over arbitrary ancillas and non-signalling inputs, it would not be a legitimate QBox process and Theorem 1 (QBox is post-quantum) would be unsupported.
- high
Section V, definition of hypdec before Lemma 1 — The text asserts that hypdec is a deterministic superchannel because hypdec(f1,...,fn) is CPTP when applied to CPTP maps. Definition 6/Definition 5 require preservation of non-signalling channels, with ancillary stability; the stronger condition is not explicitly verified.If wrong: If this sufficiency criterion is invalid, hypdec may not be a deterministic process of QBox, and the construction of the hyper-decoherence map fails at the first step.
- high
Section V: claim 'hypdec is deterministic ... maps CPTP maps f_i to CPTP' — Determinism in Definition 5 is stronger than 'maps CPTP inputs to CPTP output': it quantifies over ancillas L and all allowed discarding effects in Σ_{K⊗L}. The text does not show hypdec satisfies this stronger condition in QBox’s multi-environment structure.If wrong: hypdec may not be a morphism in the deterministic subtheory QBox (as required), undermining Lemma 1 onward and invalidating the main construction.
- medium
Appendix A (No superluminal signalling in QBox) — Uses a cited result that any multipartite non-signalling channel can be written as an affine linear combination of localized channels. The argument then linearly evaluates effects across this affine combination. It is not shown that this affine expansion is legitimate within the state/effect semantics of QBox (affine coefficients may be negative, leaving the state cone).If wrong: The claim that QBox is non-signalling (in the stated multi-environment sense) would not be established; this would weaken consistency of the operational interpretation and could affect which maps qualify as deterministic in QBox.
- medium
Appendix A, use of [37] affine decomposition — Appendix A invokes an affine decomposition of multipartite non-signalling channels into localized channels and manipulates the resulting affine combination, but does not spell out the legitimacy of this extension for the process-theoretic semantics.If wrong: If the affine decomposition cannot be used in the required categorical/state-space setting, the Appendix A proof of no-superluminal-signalling for general QBox bipartite states is incomplete.
- medium
Appendix B, non-unique purifications example — Appendix B shows two bipartite states with the same reduction and argues no reversible comb relates them, but does not explicitly prove that both states are purifications, i.e. pure in the Definition 7 convex-extremal deterministic state space.If wrong: If the displayed bipartite states are not pure/extremal deterministic QBox states, Appendix B does not establish non-unique purifications in the paper’s stated sense, weakening the claimed explanation of how Lee–Selby is evaded.
- medium
Lemma 1 (no-backwards-signalling of hypdec) — The proof is diagrammatic and asserts that for any multi-environment element W (process matrix), discarding after hypdec yields the same input discard. This does not explicitly track the quantification in Definition 4 over all Σ_K effects nor show the required equality for arbitrary allowed discards on the output.If wrong: Ax2 would not be established for hypdec; then Definition 11 is not satisfied and Theorem 1 fails.
- medium
Lemma 1 (no-backwards-signalling) + Definition 4 quantifiers — No-backwards-signalling is asserted diagrammatically ('for any process matrix W') without explicitly matching Definition 4's requirement: existence of an input discard in Σ_H such that for every output discard in Σ_K the stated equality holds. The proof sketch does not show the existential choice on the input side nor its dependence/independence from W.If wrong: Ax2 might not actually be satisfied by hypdec as defined; then the proposed hyper-decoherence would fail the stated axioms and Theorem 1 would not follow.
- medium
Lemma 1, no-backwards-signalling diagram — No-backwards-signalling is shown by a single diagrammatic equality for arbitrary process matrix W, without an explicit algebraic derivation from the process-matrix normalization constraints.If wrong: If the equality does not hold for all process-matrix effects with the required typing, Ax2 no-backwards-signalling is not established for the hyper-decoherence map.
- medium
Lemma 2 / Appendix C (faithfulness) — Full faithfulness and essential surjectivity of F: Hypdec -> CPTP are argued diagrammatically; the algebraic characterization of hyper-decohered QBox morphisms needed to make the equivalence reproducible is not spelled out.If wrong: If the equivalence fails, the hyper-decohered subtheory would not be CPTP and Theorem 1's central identification with quantum theory would be invalid.
- medium
Lemma 3 — The inference that g must be a constant discard-and-prepare channel is argued only via diagonal basis projectors g(I/d)=|phi><phi|; dependence on off-diagonal coherences is not explicitly excluded, and the extension from CPTP extremality to extremality in the multipartite non-signalling deterministic state space is compressed.If wrong: If the extension does not hold, Ax3 (purity copreservation) would not be established and Theorem 1 would lose one of its four required axioms.
- medium
Lemma 3 (purity copreservation), step: g(I/d)=|φ⟩⟨φ| ⇒ g is constant prepare |φ⟩⟨φ| — The proof uses decomposition of I/d into diagonal basis projectors and extremality of |φ⟩⟨φ| to infer g(|e_i⟩⟨e_i|)=|φ⟩⟨φ|, then asserts this 'applies to every state' without explicitly treating off-diagonal operators/coherences or using a full operator-basis linearity argument under CP/TP constraints.If wrong: Ax3 may fail: a non-pure QBox state could hyper-decohere to a pure quantum state, contradicting the claimed copreservation of purity and weakening Theorem 1.
- medium
Lemma 3, inference from g(I/d)=|φ><φ| to extremality of g — Lemma 3 compresses the argument from a pure hyper-decohered output state to g being a constant pure-state preparation channel, and then from Choi extremality in CPTP to purity in the QBox deterministic state space.If wrong: If the inferred channel is not necessarily constant discard-and-prepare, or if extremality in CPTP does not transfer to the relevant QBox state space, Ax3 is not fully established.
- medium
Lemma 4 — The maximally mixed state in QBox is simply asserted to be the displayed discard/prepare diagram and 'easily seen' to be preserved; the required decomposition and invariance under all reversible QBox transformations are not shown.If wrong: If the displayed state is not maximally mixed in QBox under Definition 8, or if hypdec does not preserve the appropriate maximally mixed state, Ax4 is not established.
- medium
Lemma 4 (maximally mixed preserved) — The maximally mixed state in QBox is asserted to have a particular diagrammatic form and to satisfy Definition 8 (universality across convex decompositions + invariance under all invertibles) without proof.If wrong: Ax4 may not hold; then the proposed hypdec would not satisfy the hyper-decoherence axioms and Theorem 1 would not follow.
- medium
Lemma 4 (maximally mixed state in QBox and its preservation) — The maximally mixed state of QBox is asserted diagrammatically and claimed to map to the quantum maximally mixed state under the equivalence. Given Definition 8’s strong requirement (every deterministic state appears in some decomposition and invariance under invertibles), this identification is not proved.If wrong: Ax4 may not hold; without Ax4 the hyper-decoherence axioms are not satisfied and Theorem 1 would be unsupported.
- low
Appendix A (No superluminal signalling in QBox) using [37] — Uses an affine linear combination decomposition of non-signalling channels into local channels to conclude equality under different discard effects. It is not shown that these affine combinations are legitimate within the deterministic state space notion used (affine combinations can exit the physical cone unless carefully interpreted as equalities in an ambient ordered vector space).If wrong: Non-signalling of QBox (as formulated here) might not be established by the given argument, potentially affecting claims about the tensor product/multi-environment structure but not directly Ax1–Ax4 unless used implicitly.
- low
Appendix A (no-signalling proof) — Uses the affine decomposition of multipartite non-signalling channels [37]; it is not shown that the required affine/linear extension remains within the physical state cone in the categorical state semantics used.If wrong: If the affine combination leaves the physical state cone, the no-superluminal-signalling property of QBox (a supporting claim) would be unproven, though this is peripheral to Theorem 1.
- low
Appendix A, use of [37] in no-superluminal-signalling proof — Appendix A invokes the cited affine decomposition of multipartite non-signalling channels and then applies arbitrary QBox effects to the localized decomposition. The cited result is legitimate, but the matching of hypotheses to the present multi-environment effects is compressed.If wrong: If the affine decomposition does not apply with the required arity, quantum specialization, or effect structure, the proof that QBox is non-superluminal-signalling is incomplete.
- low
Appendix A: extension of no-signalling proof from atomic to general bipartite states via affine decomposition from [37] — The proof uses an affine decomposition of arbitrary-arity multi-partite non-signalling channels into localised quantum channels from [37]. It is not explicitly verified that the affine combination respects the categorical semantics and physical state space of QBox, though the cited result is intended exactly for this purpose in generalised probabilistic theories.If wrong: If the decomposition fails or extends outside the state space, the no-signalling property might not be established for general bipartite states in QBox. This does not affect the hyper-decoherence construction (the main result), only the auxiliary claim that QBox is non-signalling.
- low
Appendix B (Non-uniqueness of purifications in QBox) — Constructs two purifications using unitaries U0,U1 and argues no reversible comb can connect them. The proof sketches equalities by plugging classical values 0/1; it assumes the reversible comb acts in a way that forces equality of the induced channels F(U0)=F(U1). The categorical typing/allowed interventions that justify these substitutions are not fully spelled out.If wrong: The narrative explanation for how Lee–Selby is evaded (via non-unique purifications) would be weakened, though Theorem 1 could still stand if Ax1–Ax4 and Lemma 2 were fully proven.
- low
Appendix B, non-unique purification example — Appendix B gives a diagrammatic proof of non-unique purifications, but the typing and purity/extremality of the displayed bipartite states and the characterization of reversible environment transformations are not fully spelled out.If wrong: If the displayed states are not valid pure QBox states or the reversible-comb argument is incomplete, the discussion of non-unique purifications would be unsupported, though the main theorem primarily needs failure of the Lee–Selby assumptions rather than this exact example.
- low
Lemma 3: inference from g(|e_i⟩⟨e_i|) = |φ⟩⟨φ| for basis projectors to g being constant prepare-|φ⟩⟨φ| — The argument uses only an orthonormal basis and appeals to extremality. An explicit extension from basis states to all input states would require closure under convex combinations and the fact that CPTP maps are affine. This is standard and expected to hold, but the text compresses this step.If wrong: If the extension genuinely fails, Lemma 3's conclusion that the pre-image of a pure state is pure might be unsupported for certain channels, weakening the verification of Ax3.
+ The four hyper-decoherence axioms (Ax1-Ax4) are each discharged by a dedicated lemma (Lemmas 1-4), giving a clean and traceable logical architecture culminating in Theorem 1.+ The purity notion is explicitly fixed to convex extremality (Definition 7) and the competing isometry/Stinespring notion is openly identified and rejected rather than left latent, with footnote [31] carefully scoping the copreservation claim to the deterministic state space.+ The paper is self-critical about the interpretive status of its result (Discussion), acknowledging its map may be the very kind of 'discard a hidden temporal dimension' process Lee-Selby intended to exclude, avoiding overclaiming.
- Section V declares hypdec a QBox process on the grounds that it sends product CPTP inputs f_i to a CPTP output, whereas Definition 6/Definition 5 require preservation of arbitrary non-signalling channels with stability under ancillary systems L; this verification gap is load-bearing for Theorem 1.- The diagrammatic verifications in Lemma 1 (no-backwards-signalling) and Lemma 4 (maximal-mixture invariance) do not explicitly instantiate which Σ-elements (process matrices vs preparation-discard effects) are quantified over, leaving a gap between the formal Definitions 4-5/8 and what is actually checked.- Lemma 3's step from purity of the output to 'g is a constant discard-and-prepare channel' uses only diagonal basis projectors and does not explicitly exclude dependence on coherences, and the extension from CPTP extremality to extremality in the multipartite non-signalling deterministic state space is compressed.- The interpretive claim that QBox 'relaxes uniqueness of purifications' as in [1] is not accompanied by an explicit translation between the OPT/GPT purification axiom of [1] and the extremality-based purity used here (though extremality is used consistently as the operative notion).
sourcesclaude-sonnet-4-6
Completeness 4/5Evidence 3/5
The paper is internally well-developed and addresses all its stated goals through a sequence of formally stated and proved lemmas. The central construction — a hyper-decoherence map from QBox to CPTP — is derived step by step, with the key mechanism (non-uniqueness of purifications in QBox) identified, proved in Appendix B, and connected to the evasion of the Lee–Selby no-go theorem. The discussion section is notably intellectually honest in presenting the alternative interpretation that the axioms themselves may be incomplete. Minor completeness gaps exist: purity co-preservation is restricted to the deterministic state space (acknowledged only in a footnote), and monoidal coherence conditions in Appendix C are stated but not explicitly checked.
Regarding citation evidence: the strongest concern from the competing assessments is the broken identifier for reference [1] — the Lee–Selby no-go theorem, which is the paper's primary interlocutor. Per the verification report, this is a broken DOI rather than a fabricated reference, but it should be corrected. Similarly, reference [19] has a broken identifier. Nine additional references are unverified. These citation hygiene issues do not affect the internal mathematical argument but do reduce confidence in the external scholarly grounding, warranting a moderate rather than high score on the evidence dimension.
+ The argument is fully structured around four formally stated axioms, each verified by a dedicated lemma with proof, providing clear traceability from premises to conclusion.+ The paper honestly presents and engages with the alternative interpretation of its own result — that the axioms of hyper-decoherence may need refinement — demonstrating intellectual completeness rather than overselling the positive result.+ Appendix B provides a clean, self-contained proof of non-uniqueness of purifications in QBox, which is the key mechanism allowing the no-go theorem to be evaded, and this is clearly connected to the main argument.
- The DOI for reference [1] (Lee–Selby no-go theorem, '10.1098/rspa.2017.0732') is flagged as not resolving; since this is the central no-go theorem the paper is designed to evade, the citation should be corrected and verified.- The identifier for reference [19] (Kissinger–Uijlen, '10.23638/LMCS-15(3:15)2019') is also flagged as not resolving; this supports the Caus-construction connection used in two remarks.- Nine further references (EPTCS proceedings, Springer volumes) are unverified in the citation report; authors should provide corrected or additional identifiers where possible.- The restriction of purity co-preservation to the deterministic (extremal channel) notion of purity — acknowledged in footnote 31 — is central to whether the hyper-decoherence is physically meaningful in the intended sense; this deserves more than footnote treatment given that the paper itself raises this as a possible reason to revise the axioms.- The coherence conditions (pentagon and triangle identities) for the monoidal equivalence functor in Appendix C are stated but not explicitly verified; a brief confirmation would make the completeness of the proof unambiguous.
sourcesgpt-5.4-2026-03-05
Completeness 3/5Evidence 3/5
The submission is reasonably complete with respect to its own objectives: it proposes a specific hyper-decoherence map from QBox to CPTP, organizes the support for that claim into identifiable subresults, and discusses both the positive interpretation and the possibility that the result instead exposes weaknesses in current hyper-decoherence axioms. It does not read as fragmentary, and it does not leave its headline goal unaddressed.
That said, the presentation is only moderately complete rather than fully complete. Too much of the central machinery is encoded in diagrams with abbreviated textual explanation, and some pivotal steps—especially the equivalence proof and the purity-related argument—are given in a form that expert readers may reconstruct but that is not maximally self-sufficient. The paper is therefore best rated as solid but not fully developed in expository completeness.
+ The paper directly addresses its stated goals with a clear theorem-and-lemma structure.+ Important assumptions and interpretive limitations are explicitly acknowledged, especially around causality and the notion of purity.+ The discussion connects the result back to the no-go theorem and explains what aspect of QBox is claimed to evade it.
- Several core constructions are under-specified in prose and rely heavily on diagrams, making the argument less self-contained.- The equivalence with CPTP in Appendix C is central to the claim but is presented too tersely for a completeness-focused reader.- The restriction of purity copreservation to deterministic-state extremality is significant and should be integrated more fully into the main text rather than mainly noted in discussion/footnote.- Some citation identifiers mentioned in the peer assessments may require correction or verification, but no verification report is present here to classify them more strongly.
sourcesdeepseek-ai/DeepSeek-V4-Pro
Completeness 4/5
This paper presents a thoroughly developed argument that the second-order quantum operations theory QBox supports hyper-decoherence to standard quantum theory, evading the Lee–Selby no-go theorem via non-unique purifications. The authors provide explicit constructions for the hyper-decoherence map and the monoidal equivalence functor, and they verify each of the four hyper-decoherence axioms in separate lemmas. The central derivation is structurally sound and achieves its stated goals. Gaps exist mainly in compressed proof steps and in the incomplete discussion of purity co-preservation's sensitivity to the chosen purity notion, but these do not undermine the core result. The paper is largely complete but would benefit from a more explicit treatment of the purity co-preservation step and a brief verification of the monoidal equivalence coherence conditions.
+ The paper provides explicit constructions for all key objects (hypdec map, F functor, inverse G functor) rather than relying on existence arguments, making the proof concretely verifiable.+ The four hyper-decoherence axioms are each addressed individually with dedicated lemmas, and the no-go theorem evasion is explicitly tied to the non-uniqueness of purifications that is demonstrated by a concrete counterexample.+ The appendix proofs (no-signalling in QBox, non-uniqueness of purifications, the monoidal equivalence) provide necessary technical detail without overloading the main text.
- The purity co-preservation proof (Lemma 3) is compressed at a crucial step: the transition from 'g(|e_i⟩⟨e_i|)=|φ⟩⟨φ| for an orthonormal basis' to 'g is the constant preparation of φ' should be spelled out more explicitly for readers less familiar with Choi's criterion and its implications for linear extension.- The reliance of purity co-preservation on the deterministic/extremal-channel notion of purity, and its failure for the non-deterministic state space, is relegated to Footnote 31. The physical significance of this restriction—whether the hyper-decoherence still qualifies as 'decoherence-like'—deserves treatment in the main discussion section.- The natural isomorphisms η and ε are given explicitly, but the coherence conditions (pentagon, triangle) for the monoidal equivalence are not verified. A one-sentence confirmation would remove any doubt about the equivalence's full structure.- The reference verification notes that two identifiers (arXiv ID for Lee–Selby and DOI for Kissinger–Uijlen) do not resolve. Although the works are likely real, the identifiers need correction to ensure reliable citability of these key background results.
