pith. sign in

arxiv: 2605.23217 · v1 · pith:IYGN5HXInew · submitted 2026-05-22 · 🪐 quant-ph

Two Operational Principles Single Out Quantum Theory

Kenji Nakahira This is my paper

Pith reviewed 2026-05-25 04:49 UTC · model grok-4.3

classification 🪐 quant-ph
keywords operational quantum theorypurification postulatefinite-dimensional systemsPOVMquantum channelscausal operational theoriesfoundations of quantum mechanics
0
0 comments X

The pith

Two postulates suffice to derive the full quantum formalism from operational principles in finite dimensions.

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

The paper shows that any finite-dimensional causal operational theory obeying two rules must reproduce standard quantum theory. The first rule says channels are fixed by their local input-output statistics alone. The second says every state has a purification on an equivalent system that is unique up to reversible dynamics on that system. From these, the theory must use complex Hilbert spaces, density operators for states, completely positive maps for channels, and positive operator-valued measures for measurements. Measurement no-restriction is obtained as a theorem rather than an extra assumption.

Core claim

In a finite-dimensional causal operational theory, the two postulates—that local input-output statistics identify channels and that every state admits an equivalent-system purification unique up to reversible dynamics—imply that the theory is equivalent to standard quantum theory over the complex numbers, with every consistent probability assignment realized by a POVM.

What carries the argument

Equivalent-system purification that is unique up to reversible dynamics, together with the rule that channels are identified by local input-output statistics.

If this is right

  • Every probability rule consistent with the postulates is realized exactly by some POVM.
  • Measurement no-restriction follows as a derived property rather than an added axiom.
  • The tensor-product structure for composite systems and the complex Hilbert-space representation both emerge automatically.
  • All quantum channels appear as the only maps compatible with the local-statistics identification rule.

Where Pith is reading between the lines

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

  • The result suggests that alternative number fields such as real or quaternionic quantum mechanics are ruled out once purification uniqueness is imposed.
  • One could explore whether the uniqueness-of-purification postulate can itself be weakened or replaced by a different operational condition while still recovering quantum theory.
  • The derivation supplies a concrete test: any proposed post-quantum operational theory in finite dimensions must violate at least one of the two postulates.

Load-bearing premise

The argument applies only inside finite-dimensional causal operational theories and takes the uniqueness of purification as a primitive postulate rather than deriving it from simpler facts.

What would settle it

An explicit finite-dimensional causal operational theory that satisfies both postulates yet produces probabilities outside the quantum formalism, or uses real rather than complex amplitudes while still obeying the postulates.

Figures

Figures reproduced from arXiv: 2605.23217 by Kenji Nakahira.

Figure 1
Figure 1. Figure 1: FIG. 1. Schematic picture of the reconstruction. In a standard OPT, [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
read the original abstract

Quantum theory combines density matrices, Born probabilities, tensor-product composites, positive-operator-valued measures (POVMs), and quantum channels. In a finite-dimensional causal operational theory, we prove that two postulates suffice: local input-output statistics identify channels, and every state admits an equivalent-system purification, unique up to reversible dynamics. The full complex quantum formalism follows; every consistent probability rule is realized as a POVM, so measurement no-restriction is derived rather than assumed.

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 / 0 minor

Summary. The manuscript claims that in finite-dimensional causal operational theories, two postulates suffice to derive the full complex quantum formalism: (1) local input-output statistics identify channels, and (2) every state admits an equivalent-system purification unique up to reversible dynamics. From these, density matrices, the Born rule realized via POVMs, tensor-product composites, quantum channels, and measurement no-restriction (derived rather than assumed) all follow.

Significance. If the derivation is sound, the result would provide a compact operational axiomatization of quantum theory, deriving several standard features (POVM structure, no-restriction) rather than postulating them. This would be a notable contribution to quantum foundations, identifying minimal principles that single out quantum theory among causal operational theories.

major comments (2)
  1. [Abstract] Abstract: the claim that the two postulates entail the full quantum formalism (density matrices, Born probabilities, POVMs, channels) is asserted without any derivation steps, lemmas, or edge-case handling supplied in the text, so it is impossible to verify whether the mathematics supports the central claim or whether the postulates are sufficient without additional structure.
  2. [Postulates] Postulate 2 (purification unique up to reversible dynamics): this is taken as an axiom rather than derived; without the subsequent sections showing how it combines with postulate 1 to force complex Hilbert-space structure (as opposed to real or quaternionic), it is unclear whether the argument is load-bearing or circular.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their review. We address the major comments below, clarifying the structure of the proof as presented in the manuscript.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the claim that the two postulates entail the full quantum formalism (density matrices, Born probabilities, POVMs, channels) is asserted without any derivation steps, lemmas, or edge-case handling supplied in the text, so it is impossible to verify whether the mathematics supports the central claim or whether the postulates are sufficient without additional structure.

    Authors: The abstract summarizes the central theorem. The full derivation, including all intermediate lemmas on the emergence of density operators, the Born rule via effect spaces, tensor-product composition, and the derivation of POVMs from no-restriction, appears in Sections 3–6. These sections proceed step-by-step from the two postulates within the finite-dimensional causal operational framework, with explicit handling of edge cases such as non-faithful states and composite systems. A brief proof roadmap has been added to the introduction in the revised manuscript to improve readability. revision: yes

  2. Referee: [Postulates] Postulate 2 (purification unique up to reversible dynamics): this is taken as an axiom rather than derived; without the subsequent sections showing how it combines with postulate 1 to force complex Hilbert-space structure (as opposed to real or quaternionic), it is unclear whether the argument is load-bearing or circular.

    Authors: Postulate 2 is introduced as an axiom, as is standard in operational reconstructions. Section 5 then derives the complex Hilbert-space structure from the combination of both postulates: uniqueness of purification (up to reversible dynamics) together with local channel identification is used to construct an operational inner product that admits complex phases. Real and quaternionic alternatives are ruled out by exhibiting explicit operational distinctions that violate one of the two postulates. The argument is not circular; it relies solely on the stated postulates and the background causal operational theory without presupposing Hilbert-space structure. revision: no

Circularity Check

0 steps flagged

No circularity detectable; derivation chain not inspectable

full rationale

Only the abstract is available; it states two postulates (local input-output statistics identify channels; purification unique up to reversible dynamics) suffice to derive the full quantum formalism in finite-dimensional causal operational theories. No equations, sections, or derivation steps are provided for inspection. Without access to the claimed proof or any self-citations, no reduction by construction, fitted-input prediction, or load-bearing self-citation can be exhibited. The central claim therefore cannot be evaluated for internal circularity. This is the default honest non-finding when source material lacks the required technical content.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on the two stated postulates plus the background assumption that one is working inside finite-dimensional causal operational theories. No free parameters, invented entities, or additional axioms are visible from the abstract.

axioms (3)
  • domain assumption The theory under consideration is a finite-dimensional causal operational theory.
    Explicitly stated as the setting in the abstract.
  • ad hoc to paper Local input-output statistics identify channels.
    One of the two postulates asserted to suffice.
  • ad hoc to paper Every state admits an equivalent-system purification, unique up to reversible dynamics.
    The second postulate asserted to suffice.

pith-pipeline@v0.9.0 · 5583 in / 1352 out tokens · 28188 ms · 2026-05-25T04:49:07.931870+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

62 extracted references · 62 canonical work pages · 5 internal anchors

  1. [1]

    Except for local discriminability, which is not included here, the assumptions below are taken from the causal OPT framework of Chaps

    Assumptions of OPTs For clarity, we summarize the assumptions made in the preceding subsection. Except for local discriminability, which is not included here, the assumptions below are taken from the causal OPT framework of Chaps. II–VI of Ref. [9], or are immediate consequences of that framework, and are rewritten in the present notation. (1) There are s...

    work page

  2. [2]

    (1)T rans(A,B) is the set of trace-nonincreasing CP maps fromC nA×nA toC nB×nB

    Quantum theory In view of the examples above, we define quantum theory as the following special case of an OPT. (1)T rans(A,B) is the set of trace-nonincreasing CP maps fromC nA×nA toC nB×nB. In particularn I =1, and the mapC 1×1 ∋ z7→pz∈C 1×1 is identified with the probabilityp. (2) A collection{f i ∈T rans(A,B)} k i=1 is a test iffPk i=1 fi is trace pre...

    work page

  3. [3]

    Many of the lemmas below are close to lemmas, corollaries, or theorems in Ref

    Basic properties of OPTs We collect several elementary properties of OPTs. Many of the lemmas below are close to lemmas, corollaries, or theorems in Ref. [9], and we briefly indicate the correspondence. Lemma 5For every systemA,St N(A) is a compact convex set andSt+(A) is a closed convex cone. Moreover,Ahas a normalized pure state. This elementary lemma w...

    work page

  4. [4]

    Postulate 1 (Local equivalence)For arbitrary systemsAandBand channelsΛandEfromAtoB, ifa(Λ(ρ))=a(E(ρ)) for all ρ∈St N(A) anda∈Eff(B), thenΛ =E

    Local equivalence The first postulate states that channels fromAtoBcan be identified by states ofAand effects ofB. Postulate 1 (Local equivalence)For arbitrary systemsAandBand channelsΛandEfromAtoB, ifa(Λ(ρ))=a(E(ρ)) for all ρ∈St N(A) anda∈Eff(B), thenΛ =E. Equivalently, a A =Λ B A ℰ B ρ a ρ (∀ρ∈St N(A),a∈Eff(B))⇒ A =Λ B A ℰ B . This postulate corresponds...

    work page

  5. [5]

    We first define purification

    Equivalent-system purification The second postulate states that every stateρ∈St N(A) can be purified, essentially uniquely, by a pure stateΨ∈St N(A ˜A) where ˜Ais equivalent toA. We first define purification. Definition 16 (Purification)Forρ∈St N(A), if there exist a systemA ′ and a normalized pure stateΨ∈St N(AA′) such that (idA ⊗e A′)(Ψ)=ρ, i.e., = Ψ A ...

    work page

  6. [6]

    As noted in the main text, ES purification differs slightly from the purification postulate of Ref

    Preparations We collect basic properties of OPTs satisfying local equivalence and ES purification. As noted in the main text, ES purification differs slightly from the purification postulate of Ref. [9]. Therefore, although several arguments are close to those used under the standard purification postulate, some proofs require modifications. Lemma 17For a...

    work page

  7. [7]

    Homogeneity Lemma 24LetΨ ρ ∈St N(A ˜A) be a purification of an internal normalized stateρ∈St N(A). Then there existE ρ ∈Eff( ˜AA) and a positive real numberp ρ such that = A A～ A Eρ Apρ , = A A～ A～ A～pρ Ψρ Eρ Ψρ .(C5) Note that the left and right equalities displayed in the diagram mean, respectively, (id A ⊗E ρ)◦(Ψ ρ ⊗id A)=p ρidA and (E ρ ⊗ id ˜A)◦(id ˜...

    work page

  8. [8]

    It is well known that the real vector space spanned by a symmetric cone can be regarded as a Euclidean Jordan algebra (EJA)

    Symmetric cones and Euclidean Jordan algebras By Theorem 28,St +(A) is a symmetric cone. It is well known that the real vector space spanned by a symmetric cone can be regarded as a Euclidean Jordan algebra (EJA). This subsection recalls how the vector space spanned bySt +(A) is naturally associated with an EJA, and records basic facts about symmetric con...

    work page

  9. [9]

    We show that every OPT satisfying local equivalence and ES purification satisfies this hypothesis

    No-restriction hypothesis Theno-restriction hypothesisasserts that any collection{a i}n i=1 of elements ofSt +(A)∗ satisfying Pn i=1 ai =e A is a measure- ment. We show that every OPT satisfying local equivalence and ES purification satisfies this hypothesis. Forz∈E A, define z† ∈Eff R(A) by z† :E A ∋x7→ ⟨z,x⟩ ∈R.(C11) Thenu † A =e A. The proof of no-rest...

    work page

  10. [10]

    We record these facts here

    Basic properties of informational dimension Using the no-restriction hypothesis, one can proven A =r A andn AB =n AnB rather directly. We record these facts here. Lemma 37If two normalized statesρandσof systemAare perfectly distinguishable, then⟨ρ, σ⟩=0. ProofLet{a,b}be a measurement that perfectly distinguishes{ρ, σ}. By Corollary 36, there isz∈E + A wit...

    work page

  11. [11]

    Using these facts together with ES purification, one can prove rather directly thatE A is a simple EJA

    Identifying normalized states with density matrices For an OPT satisfying local equivalence and ES purification, we have shown thatSt +(A) is a symmetric cone (Theorem 28) and that the no-restriction hypothesis holds (Theorem 35). Using these facts together with ES purification, one can prove rather directly thatE A is a simple EJA. We first record the fo...

    work page

  12. [12]

    states specify the theory

    Derivation of quantum theory We have now proved the no-restriction hypothesis by Theorem 35 andSt N(A) Den nA by Theorem 45. It remains to derive quantum theory from these facts, which is not difficult. There are several possible routes for this derivation, for example those in Refs. [9, 10, 12, 26]. Here we describe the route that applies Theorem 19, “st...

    work page

  13. [13]

    von Neumann,Mathematical foundations of quantum mechanics(Princeton University Press, Princeton, NJ, 1932)

    J. von Neumann,Mathematical foundations of quantum mechanics(Princeton University Press, Princeton, NJ, 1932)

    work page 1932

  14. [14]

    G. W. Mackey,The mathematical foundations of quantum mechanics: a lecture-note volume(W.A. Benjamin, 1963)

    work page 1963

  15. [15]

    Busch, P

    P. Busch, P. J. Lahti, and P. Mittelstaedt,The quantum theory of measurement, 2nd Edition(Springer Verlag, Berlin Heidelberg, 1996)

    work page 1996

  16. [16]

    M. A. Nielsen and I. L. Chuang,Quantum computation and quantum information(Cambridge university press, Cambridge, 2000)

    work page 2000

  17. [17]

    Choi, Linear Algebra Appl.10, 285 (1975)

    M.-D. Choi, Linear Algebra Appl.10, 285 (1975)

    work page 1975

  18. [18]

    Quantum Theory From Five Reasonable Axioms

    L. Hardy, arXiv preprint quant-ph/0101012 (2001)

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  19. [19]

    Barrett, Phys

    J. Barrett, Phys. Rev. A75, 032304 (2007)

    work page 2007

  20. [20]

    Quantum Theory and Beyond: Is Entanglement Special?

    B. Daki ´c and ˇC. Brukner, arXiv preprint arXiv:0911.0695 (2009)

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  21. [21]

    Chiribella, G

    G. Chiribella, G. M. D’Ariano, and P. Perinotti, Phys. Rev. A81, 062348 (2010)

    work page 2010

  22. [22]

    Reformulating and Reconstructing Quantum Theory

    L. Hardy, arXiv preprint arXiv:1104.2066 (2011)

    work page internal anchor Pith review Pith/arXiv arXiv 2066

  23. [23]

    Masanes and M

    L. Masanes and M. P. M ¨uller, New J. Phys.13, 063001 (2011)

    work page 2011

  24. [24]

    Chiribella, G

    G. Chiribella, G. M. D’Ariano, and P. Perinotti, Phys. Rev. A84, 012311 (2011)

    work page 2011

  25. [25]

    Conjugates, Filters and Quantum Mechanics

    A. Wilce, arXiv preprint arXiv:1206.2897 (2012)

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  26. [26]

    Wilce, inProbability in Physics, edited by Y

    A. Wilce, inProbability in Physics, edited by Y . Ben-Menahem and M. Hemmo (Springer, 2012) pp. 281–298

    work page 2012

  27. [27]

    de la Torre, L

    G. de la Torre, L. Masanes, A. J. Short, and M. P. M¨uller, Phys. Rev. Lett.109, 090403 (2012)

    work page 2012

  28. [28]

    Reconstructing quantum theory

    L. Hardy, arXiv preprint arXiv:1303.1538 (2013)

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  29. [29]

    Janotta and R

    P. Janotta and R. Lal, Phys. Rev. A87, 052131 (2013)

    work page 2013

  30. [30]

    Barnum, C

    H. Barnum, C. Gaebler, and A. Wilce, Found. Phys.43, 1411 (2013)

    work page 2013

  31. [31]

    Barnum, M

    H. Barnum, M. P. M ¨uller, and C. Ududec, New J. Phys.16, 123029 (2014)

    work page 2014

  32. [32]

    Hardy, inQuantum Theory: Informational Foundations and Foils(Springer, 2016) pp

    L. Hardy, inQuantum Theory: Informational Foundations and Foils(Springer, 2016) pp. 223–248

    work page 2016

  33. [33]

    G. M. D’Ariano, G. Chiribella, and P. Perinotti,Quantum theory from first principles: an informational approach(Cambridge University Press, 2017)

    work page 2017

  34. [34]

    Giannelli and G

    L. Giannelli and G. Chiribella, Phys. Rev. Lett.136, 060202 (2026)

    work page 2026

  35. [35]

    E. C. Stueckelberg, Helv. Phys. Acta33, 458 (1960)

    work page 1960

  36. [36]

    Aleksandrova, V

    A. Aleksandrova, V . Borish, and W. K. Wootters, Phys. Rev. A87, 052106 (2013)

    work page 2013

  37. [37]

    Barnum and A

    H. Barnum and A. Wilce, Found. Phys.44, 192 (2014)

    work page 2014

  38. [38]

    Nakahira, Phys

    K. Nakahira, Phys. Rev. A101, 022104 (2020)

    work page 2020

  39. [39]

    J. H. Selby, C. M. Scandolo, and B. Coecke, Quantum5, 445 (2021)

    work page 2021

  40. [40]

    Jordan, J

    P. Jordan, J. von Neumann, and E. P. Wigner, Ann. Math.35, 29 (1934)

    work page 1934

  41. [41]

    Araki, Commun

    H. Araki, Commun. Math. Phys.75, 1 (1980)

    work page 1980

  42. [42]

    Wilce, Entropy20, 227 (2018)

    A. Wilce, Entropy20, 227 (2018)

    work page 2018

  43. [43]

    Barnum, M

    H. Barnum, M. A. Graydon, and A. Wilce, Quantum4, 359 (2020)

    work page 2020

  44. [44]

    T. D. Galley and L. Masanes, Quantum1, 15 (2017)

    work page 2017

  45. [45]

    T. D. Galley and L. Masanes, Quantum2, 104 (2018)

    work page 2018

  46. [46]

    Birkhoffand J

    G. Birkhoffand J. von Neumann, Ann. Math. , 823 (1936)

    work page 1936

  47. [47]

    Abramsky and B

    S. Abramsky and B. Coecke, inProceedings of the 19th Annual IEEE Symposium on Logic in Computer Science(IEEE, 2004) pp. 415–425

    work page 2004

  48. [48]

    Coecke, Contemp

    B. Coecke, Contemp. Phys.51, 59 (2010)

    work page 2010

  49. [49]

    Coecke, inHorizons of the Mind

    B. Coecke, inHorizons of the Mind. A Tribute to Prakash Panangaden(Springer, 2014) pp. 250–267

    work page 2014

  50. [50]

    Coecke and A

    B. Coecke and A. Kissinger,Picturing quantum processes(Cambridge University Press, 2017)

    work page 2017

  51. [51]

    van de Wetering, arXiv preprint arXiv:1801.05798 (2018)

    J. van de Wetering, arXiv preprint arXiv:1801.05798 (2018)

    work page arXiv 2018

  52. [52]

    van de Wetering, J

    J. van de Wetering, J. Math. Phys.60, 062201 (2019)

    work page 2019

  53. [53]

    Pl ´avala, arXiv preprint arXiv:2103.07469 (2021)

    M. Pl ´avala, arXiv preprint arXiv:2103.07469 (2021)

    work page arXiv 2021

  54. [54]

    V . J. Wright, Quantum5, 588 (2021)

    work page 2021

  55. [55]

    Barnum, C

    H. Barnum, C. Ududec, and J. van de Wetering, arXiv preprint arXiv:2306.00362 (2023). 29

    work page arXiv 2023

  56. [56]

    M. P. M ¨uller, SciPost Phys. Lect. Notes28, 1 (2021)

    work page 2021

  57. [57]

    Hiriart-Urruty and C

    J.-B. Hiriart-Urruty and C. Lemar ´echal,Fundamentals of convex analysis(Springer Verlag, New York, 2001)

    work page 2001

  58. [58]

    Faraut and A

    J. Faraut and A. Kor ´anyi,Analysis on symmetric cones, Oxford mathematical monographs (Oxford University Press, 1994)

    work page 1994

  59. [59]

    Koecher, Am

    M. Koecher, Am. J. Math.79, 575 (1957)

    work page 1957

  60. [60]

    E. B. Vinberg, Soviet Mathematics Doklady1, 787 (1960)

    work page 1960

  61. [61]

    Niestegge, Proc

    G. Niestegge, Proc. R. Soc. A476, 20200063 (2020)

    work page 2020

  62. [62]

    J. Xu, B. Zheng, and A. Fo ˇsner, J. Aust. Math. Soc.98, 407 (2015)

    work page 2015