{"paper":{"title":"How to Derive the Hilbert-Space Formulation of Quantum Mechanics From Purely Operational Axioms","arxiv_id":"quant-ph/0603011","primary_cat":"quant-ph","submitted_at":"2006-03-02T05:15:31+00:00","version_compiled":"v1"},"notice":"Every quoted sentence is the authors' text from the arXiv listing abstract. Labels and probabilities are the outputs of classifier-1.13.0 on the question bank abstract-p1-20260923, exactly as returned. No sentence in this record was written by a language model.","schema":"pith.compiled-record/v0","status":"compiled","abstract":{"source":"arXiv listing abstract v1","sentences":[{"i":0,"p":0.99,"id":"s0","own":true,"role":"contribution","text":"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.","hedge":{"p":0.77,"label":"asserted"},"own_p":0.95,"main_claim_p":0.89,"quantitative":false,"quantitative_p":0.34,"role_probabilities":{"gap":0.0,"method":0.0,"result":0.01,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.99,"interpretation":0.0}},{"i":1,"p":0.76,"id":"s1","own":true,"role":"background","text":"This accomplishes the program presented in form of conjectures in the previous paper quant-ph/0506034.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.6,"main_claim_p":0.07,"quantitative":false,"quantitative_p":0.25,"role_probabilities":{"gap":0.01,"method":0.0,"result":0.05,"background":0.76,"limitation":0.0,"future_work":0.0,"contribution":0.16,"interpretation":0.02}},{"i":2,"p":0.55,"id":"s2","own":true,"role":"method","text":"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\".","hedge":{"p":1.0,"label":"asserted"},"own_p":0.59,"main_claim_p":0.1,"quantitative":false,"quantitative_p":0.27,"role_probabilities":{"gap":0.0,"method":0.55,"result":0.0,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.44,"interpretation":0.01}},{"i":3,"p":0.84,"id":"s3","own":true,"role":"method","text":"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.","hedge":{"p":0.88,"label":"asserted"},"own_p":0.85,"main_claim_p":0.15,"quantitative":false,"quantitative_p":0.08,"role_probabilities":{"gap":0.0,"method":0.84,"result":0.08,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.07,"interpretation":0.01}},{"i":4,"p":0.4,"id":"s4","own":true,"role":"limitation","text":"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.","hedge":{"p":0.99,"label":"asserted"},"own_p":0.9,"main_claim_p":0.1,"quantitative":false,"quantitative_p":0.12,"role_probabilities":{"gap":0.0,"method":0.37,"result":0.0,"background":0.0,"limitation":0.4,"future_work":0.0,"contribution":0.23,"interpretation":0.0}},{"i":5,"p":0.65,"id":"s5","own":true,"role":"result","text":"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).","hedge":{"p":0.84,"label":"asserted"},"own_p":0.81,"main_claim_p":0.1,"quantitative":false,"quantitative_p":0.17,"role_probabilities":{"gap":0.0,"method":0.02,"result":0.65,"background":0.0,"limitation":0.21,"future_work":0.01,"contribution":0.08,"interpretation":0.03}},{"i":6,"p":0.88,"id":"s6","own":false,"role":"background","text":"The route for the present operational axiomatization was suggested by novel ideas originated from Quantum Tomography.","hedge":{"p":0.8,"label":"asserted"},"own_p":0.16,"main_claim_p":0.03,"quantitative":false,"quantitative_p":0.03,"role_probabilities":{"gap":0.0,"method":0.11,"result":0.0,"background":0.88,"limitation":0.0,"future_work":0.0,"contribution":0.01,"interpretation":0.0}}]},"compiled":{"main_claim":{"p":1.0,"text":"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.","location":"abstract s0","hedge_strength":{"p":0.77,"label":"asserted"}},"provenance":{"route":{"via":"TypeSafe API","model":"classifier-1.13.0","endpoint":"https://api.typesafe.ai/v1/systemone","provider":"TypeSafe"},"packing":"one request per paper","requests":1,"input_tokens":5957,"cost_usd_reported":0.0},"compiled_at":"2026-09-23","bank_version":"abstract-p1-20260923","model_version":"classifier-1.13.0","abstract_states":{"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},"evidential_basis":{"p":1.0,"value":"proof or derivation","probabilities":{"argument":0.0,"literature":0.0,"proof_or_derivation":1.0,"analysis_of_existing_data":0.0,"observation_or_experiment":0.0,"simulation_or_computation":0.0}},"contribution_type":{"p":1.0,"value":"theoretical result","probabilities":{"review":0.0,"method_or_tool":0.0,"empirical_study":0.0,"simulation_study":0.0,"theoretical_result":1.0,"dataset_or_benchmark":0.0,"position_or_commentary":0.0}},"contribution_statement":{"p":0.99,"text":"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.","location":"abstract s0"}},"coverage":{"tier":"abstract","levels_run":["P abstract"],"not_examined":["full text","figures and tables","references and citing sentences","relations to other papers"],"sources_read":["arXiv listing abstract v1"],"levels_not_run":["S sections","T body sentences","C citations","R cross-paper relations"],"sentences_examined":7,"sentences_in_abstract":7},"measured_accuracy":{"url":"https://pith.science/accuracy","measured_on":"2026-10-02","method":"two independent model families labelled a fresh random sample blind; the figure is how often the published label matches their consensus","sentence_role_agreement":0.92,"main_claim_agreement":0.908,"typed_citation_agreement":0.933,"typed_citation_agreement_95_interval":[0.917,0.945],"review_comments_accurate":0.758,"review_comments_accurate_95_interval":[0.684,0.82],"review_caught_admitted_error_found_or_related":0.448}}