How to Derive the Hilbert-Space Formulation of Quantum Mechanics From Purely Operational Axioms

Giacomo Mauro D'Ariano

REVIEW

How to Derive the Hilbert-Space Formulation of Quantum Mechanics From Purely Operational Axioms

Giacomo Mauro D'Ariano

Quantum Physics · Submitted 2 Mar 2006 · 16 references

Pith's verdict: A serious, candid operational derivation of Hilbert space that is explicit about the one load-bearing assumption it cannot yet prove; worth refereeing.

T0 · AI review

How this review was made: An AI referee (deepseek-v4-flash) read the paper on August 28, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 4 major objections · 5 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv IDquant-ph/0603011 (version 1)

Pith ID765DVJDX, Pith's permanent record of this paper and its review

CitationGiacomo Mauro D'Ariano. "How to Derive the Hilbert-Space Formulation of Quantum Mechanics From Purely Operational Axioms." arXiv:quant-ph/0603011 (2006). https://pith.science/paper/765DVJDX

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

Briefly: the paper is worth a serious referee. The genuinely new piece is the operational definition of the real adjoint (twin involution) from a symmetric faithful state, and the construction of a real Hilbert space via the Mackey-Kakutani and GNS routes. That is a real idea, and it goes beyond Hardy and Fuchs. The paper also earns credit for candor: the author flags the unproved Eq. (107) as implicit, and the final section openly says an extra postulate may be needed.

Where it is soft: the finite-dimensional identification of H_phi with Hermitian matrices rests entirely on adm(S)=idim(S)^2-1. The paper shows that relation for bipartite systems from its other postulates, then asserts universality. That is not a small gap; it is the hinge. If the relation fails for some systems, dim(H_phi)=idim(S)^2 need not hold, and the whole “this is QM” conclusion breaks. The author knows this. The infinite-dimensional GNS construction is also left open, with boundedness and continuity issues that are not resolved. That is a second genuine gap, though less central to the finite-dimensional claim.

One thing to keep in mind when reading: this paper assumes the earlier paper [1] for many definitions. That makes it hard to evaluate in isolation; a referee would need [1] at hand. The math that is here is mostly coherent; I did not find a hidden circularity in the main derivation. The dependence on [1] is real but not a target-bearing flaw.

The citation pattern is reasonable: Hardy, Fuchs, Ludwig, and the quantum tomography literature. If anything, the relation to Hardy’s axioms is under-discussed, but the author says that is future work.

Who is this for: people working on operational axioms for QM, quantum foundations, and convex-state reconstructions. A graduate student or visitor in foundations will find it useful. It is not a finished derivation, but it is an honest scaffold.

Recommendation: send it to a qualified referee. It is exactly the kind of paper that should go through review rather than be desk-rejected: the construction is novel, the claims are bolder than the proof, and the author has flagged the weak points. Let a referee decide whether the universality assumption can be promoted to a plausible postulate. I would engage with it.

Referee report

Significance

If the derivation can be completed, this would be a significant contribution to quantum foundations: it derives the Hilbert-space formalism from explicit operational postulates about informationally complete measurements and faithful states, with no fitted parameters and with the dimensionality relations as concrete falsifiable constraints. The twin-involution construction and the use of the Mackey-Kakutani and GNS theorems are elegant and largely self-contained. The paper is also honest in flagging its own limitations. However, as it stands, the central finite-dimensional claim rests on an unproved 'informational universality' assumption, and the final identification of the Hilbert space with Hermitian matrices requires additional structural steps that are not supplied. These gaps make the current version a promising research program rather than a complete derivation.

Major objections (4)

[Section 10, Eqs. (106)-(107)] The finite-dimensional central claim, dim(H_phi) = idim(S)^2 and hence the identification with Hermitian matrices, depends on Eq. (107), adm(S) = idim(S)^2 - 1. This equation is not derived from Postulates 1-5: Eq. (106) is proved only for the doubled system, and its generalization to any convex set is exactly the 'informational universality' assumption that the author explicitly identifies as an implicit assumption at the end of Section 10. Without Eq. (107), Eq. (110) gives only dim(H_phi) = adm(S) + 1, which is not generally idim(S)^2. Since the paper's headline conclusion 'This is the Hilbert space formulation of Quantum Mechanics' relies on this, the revision must either prove Eq. (107) from the existing postulates or introduce an additional postulate and justify it operationally.
[Section 10, after Eq. (109)] Even accepting dim(H_phi) = idim(S)^2, the paper asserts that H_phi is 'isomorphic to the real Hilbert space of Hermitian complex matrices' with the trace-pairing scalar product and with the convex cones of propensities and states corresponding to the positive matrices. A dimension equality alone does not establish this structural identification. The paper does not construct the complex structure J on H_phi, does not show that the GNS inner product defined in Eq. (82) equals the trace pairing under the isomorphism, and does not prove that the cone of propensities (or states) is isomorphic to the positive-semidefinite cone. These are load-bearing requirements for the claimed derivation of the quantum-mechanical formalism, not merely presentational details.
[Section 9.3, Eqs. (91)-(94)] The GNS construction is left incomplete: the text states that the conditions ||B ∘ A||_phi ≤ ||B||_phi ||A||_phi and ||A'||_phi = ||A||_phi are not necessarily true, and that 'the possibility of representing generalized transformations as operators over H_phi remains an open problem for the infinite dimensional case.' Because the abstract and introduction claim a derivation of the Hilbert-space formulation without a finite-dimensional restriction, this is a load-bearing gap for the general claim. The revision should either complete the representation argument, or state clearly in the abstract that the result is finite-dimensional and that the infinite-dimensional case is an open problem.
[Section 10, Eq. (105)] The equality adm(S) = idim(S×2) - 1 is obtained from Postulate 4 only under an additional minimality assumption. The text says the equality holds 'if the informationally complete observable is also minimal,' but Postulate 4 as stated does not guarantee that the discriminating observable is minimal as a discriminating observable for the bipartite system. Removing redundant outcomes from the global observable would generally destroy the minimal-informationally-complete property of its marginal observable. Thus the equality in Eq. (105) is itself an extra assumption that needs to be stated and justified, and it feeds directly into Eq. (106) and hence into Eq. (107).

Minor objections (5)

[Section 10] There is a typo in the phrase 'the informational dimension of the informational dimension of convex sets of states'; it should read 'the informational dimension of convex sets of states.'
[Section 8] In the displayed equation after Eq. (62), 'more explicitely' should be 'more explicitly,' and the formula has formatting problems with the 'M(A)n' and 'k(A)n0' product terms that make it hard to parse.
[Sections 3-7] The paper relies heavily on the companion paper [1] for the definitions and intermediate results of several operational notions (e.g., dynamical and informational equivalence, experimentally sufficient sets, faithful states). It would be helpful for the revision to state precisely which results are imported from [1] and which are new here, so the derivation can be evaluated independently.
[Section 10, final paragraph] The abstract's parenthetical 'see, however, a still open problem at the end of the paper' is vague; the open problem is not only the infinite-dimensional extension but also the status of Eq. (107) as an implicit assumption. The abstract and the conclusion should explicitly state that the derivation is conditional on the informational-universality assumption.
[Throughout] The notation S×2 for the doubled system is potentially confusing, as it could be read as a Cartesian product; a notation such as S ⊗ S or S(2) would be clearer.

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

Five operational postulates about experiments are claimed to force the Hilbert-space formulation of quantum mechanics.

The reading

This paper argues that the Hilbert-space formulation of quantum mechanics can be derived from purely operational axioms: a general definition of experiment plus five postulates about independent systems, informationally complete observables, local observability, discriminating observables, and symmetric faithful states. A sympathetic reader should care because the claim amounts to saying that the quantum formalism is a consequence of experimental accessibility and simplicity rather than an extra physical assumption. The derivation works by using a symmetric faithful bipartite state to define an operational real adjoint, which gives a scalar product and a real Hilbert space through the Gelfand-Naimark-Segal construction. Finite-dimensional dimensionality theorems from local observability then identify that real Hilbert space with the space of Hermitian matrices over a complex Hilbert space, reproducing the Born-rule trace pairing and positive cones. The author flags one gap: the final dimension count postulates an 'informational universality' whose general proof is open.

What carries the argument

The twin involution is the central mechanism: for a faithful symmetric bipartite state, the twin A' of a transformation A is defined by the condition that it produces the same conditioned state and probability on the second subsystem that A produces on the first, and in the Bloch representation it takes the form A' = F^τ A^τ $F^{{τ-1}}$ for a symmetric invertible matrix F. Because the state is symmetric, this map is additive, involutive, reverses products, and has no zero divisors, so it is a genuine real adjoint on the algebra of transformations. With that adjoint in hand, the local state of the faithful state becomes a real positive form, and the GNS construction builds the real Hilbert space H_phi from the scalar product φ⟨A|B⟩_φ = φ(A'∘B); the dimensionality theorems from local observability then supply the dimension count dim(H_phi)=idim(S)^2 that identifies H_phi with Hermitian matrices in finite dimensions.

Extended reading notes

Core claim

On its own terms, the paper's central claim is that the full Hilbert-space formulation of quantum mechanics—states as positive matrices, transformations as operations, effects as positive contractions, and probabilities given by the trace pairing—follows from the two general axioms of experimental science together with Postulates 1 through 5. The pivotal step is the twin involution: given a symmetric faithful bipartite state, each transformation A on one subsystem has a twin A' on the other subsystem giving the same conditioned state and probability; this map satisfies the four axioms of a generalized adjoint, so the algebra of generalized transformations becomes a real *-algebra. The local state of the faithful state is a real positive form, and the Gelfand-Naimark-Segal construction turns the algebra into a real Hilbert space H_phi whose vectors are in one-to-one correspondence with generalized propensities. In finite dimensions, Postulates 3 and 4 yield adm(S×2)=adm(S)(adm(S)+2) and, after an implicit generalization, adm(S)=idim(S)^2-1; hence dim(H_phi)=idim(S)^2, and the author concludes that H_phi is isomorphic to the real Hilbert space of Hermitian complex matrices over a complex Hilbert space of dimension idim(S), with positive cones matching quantum states and effects. That final isomorphism is explicitly acknowledged to rest on an unproved informational-universality assumption.

Load-bearing premise

The load-bearing premise is that the dimension relation adm(S)=idim(S)^2-1, derived for bipartite systems, holds for every physical system; the author states at the end of Section 10 that this 'informational universality' is an implicit assumption that may require an additional postulate.

Editorial extensions

If this is right

If the derivation is right, the Hilbert-space apparatus of quantum mechanics is not an input axiom but an output of purely operational requirements about experiments.
For finite-dimensional systems, states and effects become exactly the positive matrices over a complex Hilbert space of dimension idim(S), with probabilities given by the trace pairing of the Born rule.
The local observability principle forces the quantum tensor-product rule for composite systems: idim(S×2)=idim(S)^2 and adm(S×2)=adm(S)(adm(S)+2).
Vectors of the derived real Hilbert space correspond one-to-one with generalized propensities, giving an operational pairing between states and effects via the scalar product; in finite dimensions this is the trace pairing.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the missing informational-universality step cannot be proved, a natural repair is to promote adm(S)=idim(S)^2-1 to an explicit postulate; the author himself notes that doing so might make Postulate 4 unnecessary.
The construction bypasses complex numbers until the final finite-dimensional identification, which suggests a testable question: whether a real-vector-space quantum theory can satisfy the five postulates, and if so, whether the complex structure is forced by the cone of positive matrices rather than by the adjoint.
A sharper boundary result can be inferred from the paper's own logic: any convex operational theory that satisfies Postulates 1 through 5 but violates idim(S×2)=idim(S)^2 would disprove the derivation, so the theorem is falsifiable purely by dimension counting.

Original abstract

In the present paper I show how it is possible to derive the Hilbert space formulation of Quantum Mechanics from a comprehensive definition of "physical experiment" and assuming "experimental accessibility and simplicity" as specified by five simple Postulates. This accomplishes the program presented in form of conjectures in the previous paper quant-ph/0506034. Pivotal roles are played by the "local observability principle", which reconciles the holism of nonlocality with the reductionism of local observation, and by the postulated existence of "informationally complete observables" and of a "symmetric faithful state". This last notion allows one to introduce an operational definition for the real version of the "adjoint"--i. e. the transposition--from which one can derive a real Hilbert-space structure via either the Mackey-Kakutani or the Gelfand-Naimark-Segal constructions. Here I analyze in detail only the Gelfand-Naimark-Segal construction, which leads to a real Hilbert space structure analogous to that of (classes of generally unbounded) selfadjoint operators in Quantum Mechanics. For finite dimensions, general dimensionality theorems that can be derived from a local observability principle, allow us to represent the elements of the real Hilbert space as operators over an underlying complex Hilbert space (see, however, a still open problem at the end of the paper). The route for the present operational axiomatization was suggested by novel ideas originated from Quantum Tomography.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-09-23: 1 request, 5,957 input tokens.

What the abstract itself states, as probabilities: claims first 0.06 · states limitation 0.91 · human participants 0.02 · controlled comparison 0.01 · randomized assignment 0.01 · states quantitative result 0.03 · compares with prior results 0.71 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; show every role.

In the present paper I show how it is possible to derive the Hilbert space formulation of Quantum Mechanics from a comprehensive definition of "physical experiment" and assuming "experimental accessibility and simplicity" as specified by five simple Postulates. This accomplishes the program presented in form of conjectures in the previous paper quant-ph/0506034. Pivotal roles are played by the "local observability principle", which reconciles the holism of nonlocality with the reductionism of local observation, and by the postulated existence of "informationally complete observables" and of a "symmetric faithful state". This last notion allows one to introduce an operational definition for the real version of the "adjoint"--i. e. the transposition--from which one can derive a real Hilbert-space structure via either the Mackey-Kakutani or the Gelfand-Naimark-Segal constructions. Here I analyze in detail only the Gelfand-Naimark-Segal construction, which leads to a real Hilbert space structure analogous to that of (classes of generally unbounded) selfadjoint operators in Quantum Mechanics. For finite dimensions, general dimensionality theorems that can be derived from a local observability principle, allow us to represent the elements of the real Hilbert space as operators over an underlying complex Hilbert space (see, however, a still open problem at the end of the paper). The route for the present operational axiomatization was suggested by novel ideas originated from Quantum Tomography.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	In the present paper I show how it is possible to derive the Hilbert space formulation of Quantum Mechanics from a comprehensive definition of "physical experiment" and assuming "experimental accessibility and simplicity" as specified by five simple Postulates.	contribution 0.99	0.95	0.89	asserted 0.77
s1	This accomplishes the program presented in form of conjectures in the previous paper quant-ph/0506034.	background 0.76	0.60	0.07	asserted 1.00
s2	Pivotal roles are played by the "local observability principle", which reconciles the holism of nonlocality with the reductionism of local observation, and by the postulated existence of "informationally complete observables" and of a "symmetric faithful state".	method 0.55	0.59	0.10	asserted 1.00
s3	This last notion allows one to introduce an operational definition for the real version of the "adjoint"--i. e. the transposition--from which one can derive a real Hilbert-space structure via either the Mackey-Kakutani or the Gelfand-Naimark-Segal constructions.	method 0.84	0.85	0.15	asserted 0.88
s4	Here I analyze in detail only the Gelfand-Naimark-Segal construction, which leads to a real Hilbert space structure analogous to that of (classes of generally unbounded) selfadjoint operators in Quantum Mechanics.	limitation 0.40	0.90	0.10	asserted 0.99
s5	For finite dimensions, general dimensionality theorems that can be derived from a local observability principle, allow us to represent the elements of the real Hilbert space as operators over an underlying complex Hilbert space (see, however, a still open problem at the end of the paper).	result 0.65	0.81	0.10	asserted 0.84
s6	The route for the present operational axiomatization was suggested by novel ideas originated from Quantum Tomography.	background 0.88	0.16	0.03	asserted 0.80

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read

arXiv listing abstract v1

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References

Works cited (16)

[1]

G. M. D’Ariano, “On the Missing Axiom of Quantum Mechanics ,” in Quantum Theory, Reconsideration of Foundations - 3, V˝ axj˝ o, Sweden, 6-11 June 2005, edited by G. Adenier, A. Y . Khrennikov, and T. M. Nieuwenhuizen, American Institute of Physics, Melville, New York, 2006, pp. 114–130. Also inLANL arXive eprint quant-ph/0506034

View on Pith Pith review arXiv 2005
[2]

S. Kakutani, and G. W. Mackey, Ann. Math. 45, 50 (1944)

View on Pith 1944
[3]

V . I. Istratescu, Internat. J. Math. & Math. Sci. 9, 47–53 (1986)

View on Pith 1986
[4]

I. M. Gelfand, and M. A. Neumark, Mat. Sb. 12, 197 (1943)

View on Pith 1943
[5]

L. Hardy, LANL arXive eprint quant-ph/0101012, 1–34 (2001)

View on Pith Pith review arXiv 2001
[6]

L. Hardy, Quantum theory from Intuitively Reasonable Axioms, pp. 117–130, vol. 2 of [16] (2003)

View on Pith 2003
[7]

C. A. Fuchs, Quantum Mechanics as Quantum Information (and only a little more), pp. 463–543, vol. 2 of [16] (2003)

View on Pith 2003
[8]

G. Ludwig, An Axiomatic Basis for Quantum Mechanics I: Derivation of Hilbert Space Structure, Springer, SPR:adr, 1985

View on Pith 1985
[9]

A. Hartkämper, and H. Neumann, editors, Foundations of Quantum Mechanics and Ordered Linear Spaces, vol. 29, Springer, SPR:adr, 1974

View on Pith 1974
[10]

G. M. D’Ariano, Tomographic methods for universal estimation in quantum op tics, IOS Press, Amsterdam, 2002, pp. 385–406, scuola “E. Fermi” on Experimental Quantum Computation and Information

View on Pith 2002
[11]

G. M. D’Ariano, P. L. Presti, and L. Maccone, Phys. Rev. Lett. 93, 250407 (2004)

View on Pith 2004
[12]

G. M. D’Ariano, and P. L. Presti, Phys. Rev. Lett. 86, 4195 (2001)

View on Pith 2001
[13]

G. M. D’Ariano, and P. L. Presti, Phys. Rev. Lett. 91, 047902–1–4 (2003)

View on Pith 2003
[14]

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

View on Pith 1975
[15]

A. Jamiolkowski, Rep. Math. Phys. 3, 275 (1972)

View on Pith 1972
[16]

A. Khrennikov, editor, Proceedings of the Conference: Quantum Theory: Reconsideratiom of Foundations, Växjö, Sweden, June 17-21, 2001, Series: Mathematical Modelling in Physics, Engineering and Cognitive Science, vol. 2, Växjö University Press, Växjö, 2003

View on Pith 2001

How the literature uses it

2 arXiv papers cite this in 2 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it

Cites it as background 2 papers

Another line of work in this type of framework has been initiated by D'Ariano in [ref] who has a set of axioms from which he obtains quantum theory.

Foliable Operational Structures for General Probabilistic Theories · Related work · 0.98
Among many attempts to understand quantum theory axiomatically, an operationally natural approach has attracted increasing attention in the recent development of quantum information theory [ref] .

Optimal State Discrimination in General Probabilistic Theories · Introduction · 0.97

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.

[1] [1]

G. M. D’Ariano, “On the Missing Axiom of Quantum Mechanics ,” in Quantum Theory, Reconsideration of Foundations - 3, V˝ axj˝ o, Sweden, 6-11 June 2005, edited by G. Adenier, A. Y . Khrennikov, and T. M. Nieuwenhuizen, American Institute of Physics, Melville, New York, 2006, pp. 114–130. Also inLANL arXive eprint quant-ph/0506034

View on Pith Pith review arXiv 2005

[2] [2]

S. Kakutani, and G. W. Mackey, Ann. Math. 45, 50 (1944)

View on Pith 1944

[3] [3]

V . I. Istratescu, Internat. J. Math. & Math. Sci. 9, 47–53 (1986)

View on Pith 1986

[4] [4]

I. M. Gelfand, and M. A. Neumark, Mat. Sb. 12, 197 (1943)

View on Pith 1943

[5] [5]

L. Hardy, LANL arXive eprint quant-ph/0101012, 1–34 (2001)

View on Pith Pith review arXiv 2001

[6] [6]

L. Hardy, Quantum theory from Intuitively Reasonable Axioms, pp. 117–130, vol. 2 of [16] (2003)

View on Pith 2003

[7] [7]

C. A. Fuchs, Quantum Mechanics as Quantum Information (and only a little more), pp. 463–543, vol. 2 of [16] (2003)

View on Pith 2003

[8] [8]

G. Ludwig, An Axiomatic Basis for Quantum Mechanics I: Derivation of Hilbert Space Structure, Springer, SPR:adr, 1985

View on Pith 1985

[9] [9]

A. Hartkämper, and H. Neumann, editors, Foundations of Quantum Mechanics and Ordered Linear Spaces, vol. 29, Springer, SPR:adr, 1974

View on Pith 1974

[10] [10]

G. M. D’Ariano, Tomographic methods for universal estimation in quantum op tics, IOS Press, Amsterdam, 2002, pp. 385–406, scuola “E. Fermi” on Experimental Quantum Computation and Information

View on Pith 2002

[11] [11]

G. M. D’Ariano, P. L. Presti, and L. Maccone, Phys. Rev. Lett. 93, 250407 (2004)

View on Pith 2004

[12] [12]

G. M. D’Ariano, and P. L. Presti, Phys. Rev. Lett. 86, 4195 (2001)

View on Pith 2001

[13] [13]

G. M. D’Ariano, and P. L. Presti, Phys. Rev. Lett. 91, 047902–1–4 (2003)

View on Pith 2003

[14] [14]

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

View on Pith 1975

[15] [15]

A. Jamiolkowski, Rep. Math. Phys. 3, 275 (1972)

View on Pith 1972

[16] [16]

A. Khrennikov, editor, Proceedings of the Conference: Quantum Theory: Reconsideratiom of Foundations, Växjö, Sweden, June 17-21, 2001, Series: Mathematical Modelling in Physics, Engineering and Cognitive Science, vol. 2, Växjö University Press, Växjö, 2003

View on Pith 2001