Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Advances in Historical Studies

Is the C*-Algebraic Approach to Quantum Mechanics an Alternative Formulation to the Dominant One?

Antonino Drago

Published Jan 1, 2018• 1 citation
Publisher

Abstract

Since 1947 a foundation of Quantum Mechanics (QM) on functional analysis was suggested by Segal. By defining the C*-algebra of the observables, then the Gelfand-Naimark-Segal theorem faithfully represents this algebra into Hilbert space. In the 70’s Emch has reiterated this formulation and improved it. Recently Strocchi improved it even more. First, he suggested an axiomatization of the paradigmatic Dirac-von Neumann’s formulation of QM to which he addresses two basic criticisms, i.e. a weak linkage with the experimental basis of theoretical physics and the obscurity about the separation mark between classical mechanics and QM. Afterwards, through an analysis of the experimental basis of a physical theory he suggests an explanation of Segal’s restriction of the operators to be bounded. Eventually, he represents this algebra into Hilbert space and at last, by means of Weyl algebra he obtains the symmetries of the dynamics of a particle theory. In fact, several characteristic features of this formulation correspond to those determined by the two choices which are the alternative ones to the choices of the dominant formulation. It is a problem-based theory, since it starts rather from than axioms a problem (i.e. the indeterminacy); then, it argues through both doubly negated propositions and an ad absurdum proof. Moreover, its theoretical development is similar to that of an alternative classical theory since it put, before the geometry, the algebra; the bounded operators are represented by a polynomial algebra; which pertains to constructive mathematics. Eventually, he obtains the symmetries of the theory. The problems to be overcome in order to accurately re-construct his formulation according to the two alternative choices which are listed. It is concluded that rather an alternative role, it plays a complementary role to the paradigmatic formulation.

DOI
10.4236/ahs.2018.72005

Related papers

A Review of The Algebraic Approaches to Quantum Mechanics. Appraisals on Their Theoretical Relevance

Antonino Drago

I review the various algebraic foundations of quantum mechanics. They have been suggested since the birth of this theory till up to last year. They are the following ones: Heisenberg-Born-Jordan (1925), Weyl (1928), Dirac (1930), von Neumann (1936), Segal (1947), T.F. Jordan (1986), Morchio and Strocchi (2009) and Buchholz and Fregenhagen (2019). Three cases are stressed: 1) the misinterpretation of Dirac foundation; 2) von Neumann conversion from the analytic approach of Hilbert space to the algebraic approach of the rings of operators; 3) the recent foundation of quantum mechanics upon the algebra of perturbation Lagrangians. Moreover, historical considerations on the go-and-stop path performed by the algebraic approach in the history of QM are offered. The level of formalism has increased from the mere introduction of matrices till up to group theory and C*-algebras. But there was no progress in approaching closer the foundations of physics; therefore the problem of discovering an algebraic formulation of QM organized as a problem-based theory and making use of no more than constructive mathematics is open.

arXiv:2102.00861•Jan 29, 2021•0 citations

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

Giacomo Mauro D’Ariano

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.

arXiv:quant-ph/0603011•Mar 2, 2006•3 citations

Dirac Book The Principles Of Quantum Mechanics as presenting the alternative organization of a theory

Antonino Drago

Authoritative appraisals qualified this book as an axiomatic theory. However, being its essential content no more than an analogy, its theoretical organization cannot be an axiomatic one. In fact, in the first edition Dirac declares to avoid an axiomatic presentation. Moreover, I show that the text is aimed at solving a basic problem: How quantum mechanics is similar to classical mechanics. A previous paper analyzed all past theories of physics, chemistry and mathematics, presented by the respective authors in a non-axiomatic way. Four characteristic features of a new model of organizing a theory have been recognized. An accurate inspection of Dirac text proves that it actually applied this kind of organization of a theory. This fact gives a formal reason of what Kronz and Lupher suggested through intuitive categories, pragmatism and rigor, i.e. Dirac formulation of Quantum mechanics represents a distinct theoretical attitude from von Neumann axiomatic attitude. However, since the second edition Dirac changed his attitude; although relying again on an analogy, his theory was referred to the axiomatic method. Some considerations on the odd paths which led to the present formulation of QM are added. They suggest to look for a new foundation of this theory.

arXiv:2101.09565•Jan 23, 2021•0 citations

Operational Axioms for Quantum Mechanics

Giacomo Mauro D’Ariano

The mathematical formulation of Quantum Mechanics in terms of complex Hilbert space is derived for finite dimensions, starting from a general definition of "physical experiment" and from five simple Postulates concerning "experimental accessibility and simplicity". For the infinite dimensional case, on the other hand, a C*-algebra representation of physical transformations is derived, starting from just four of the five Postulates via a Gelfand-Naimark-Segal (GNS) construction. The present paper simplifies and sharpens the previous derivation in version 1. The main ingredient of the axiomatization is the postulated existence of "faithful states" that allows one to calibrate the experimental apparatus. Such notion is at the basis of the operational definitions of the scalar product and of the "transposed" of a physical transformation. What is new in the present paper with respect to quant-ph/0603011 is the operational deduction of an involution corresponding to the "complex-conjugation" for effects, whose extension to transformations allows to define the "adjoint" of a transformation when the extension is composition-preserving.

arXiv:quant-ph/0611094•Nov 8, 2006•2 citations

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

Giacomo Mauro D’Ariano

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. 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.

AIP conference proceedings•Jan 1, 2006•18 citations

An alternative foundation of quantum theory

Inge Svein Helland

The final version of a new approach to quantum theory is formulated in this paper. The basis is taken to be theoretical variables, variables that may be accessible or inaccessible, i.e., it may be possible or impossible for an observer to assign arbitrarily sharp numerical values to them. In an epistemic process, the accessible variables are just ideal observations connected to an observer or to some communicating observers. Group actions are defined on these variables, and group representation theory is the basis for developing the Hilbert space formalism here. Operators corresponding to accessible theoretical variables are derived, and in the finite-dimensional case, it is proved that the possible physical values are the eigenvalues of these operators. The focus of the paper is some mathematical theorems paving the ground for the proposed foundation of quantum theory. It is indicated here that the groups and transformations needed in this approach can be constructed explicitly in the case where the accessible variables are finite-dimensional. In case, this simplifies the theory considerably: To reproduce the Hilbert space formulation, it is enough to assume the existence of two complementary variables. What is new in this version of the article, is that the assumptions given behind the main theorems are simplified considerably, and that all proofs are given explicitly or refered to in other recent papers.

arXiv:2305.06727•May 11, 2023•3 citations
Since 1947 a foundation of Quantum Mechanics (QM) on functional analysis was suggested by Segal. By defining the C*-algebra of the observables, then the Gelfand-Naimark-Segal theorem faithfully represents this algebra into Hilbert space. In the 70’s Emch has reiterated this formulation and improved it. Recently Strocchi improved it even more. First, he suggested an axiomatization of the paradigmatic Dirac-von Neumann’s formulation of QM to which he addresses two basic criticisms, i.e. a weak linkage with the experimental basis of theoretical physics and the obscurity about the separation mark between classical mechanics and QM. Afterwards, through an analysis of the experimental basis of a physical theory he suggests an explanation of Segal’s restriction of the operators to be bounded. Eventually, he represents this algebra into Hilbert space and at last, by means of Weyl algebra he obtains the symmetries of the dynamics of a particle theory. In fact, several characteristic features of this formulation correspond to those determined by the two choices which are the alternative ones to the choices of the dominant formulation. It is a problem-based theory, since it starts rather from than axioms a problem (i.e. the indeterminacy); then, it argues through both doubly negated propositions and an ad absurdum proof. Moreover, its theoretical development is similar to that of an alternative classical theory since it put, before the geometry, the algebra; the bounded operators are represented by a polynomial algebra; which pertains to constructive mathematics. Eventually, he obtains the symmetries of the theory. The problems to be overcome in order to accurately re-construct his formulation according to the two alternative choices which are listed. It is concluded that rather an alternative role, it plays a complementary role to the paradigmatic formulation.
I review the various algebraic foundations of quantum mechanics. They have been suggested since the birth of this theory till up to last year. They are the following ones: Heisenberg-Born-Jordan (1925), Weyl (1928), Dirac (1930), von Neumann (1936), Segal (1947), T.F. Jordan (1986), Morchio and Strocchi (2009) and Buchholz and Fregenhagen (2019). Three cases are stressed: 1) the misinterpretation of Dirac foundation; 2) von Neumann conversion from the analytic approach of Hilbert space to the algebraic approach of the rings of operators; 3) the recent foundation of quantum mechanics upon the algebra of perturbation Lagrangians. Moreover, historical considerations on the go-and-stop path performed by the algebraic approach in the history of QM are offered. The level of formalism has increased from the mere introduction of matrices till up to group theory and C*-algebras. But there was no progress in approaching closer the foundations of physics; therefore the problem of discovering an algebraic formulation of QM organized as a problem-based theory and making use of no more than constructive mathematics is open.
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.
Authoritative appraisals qualified this book as an axiomatic theory. However, being its essential content no more than an analogy, its theoretical organization cannot be an axiomatic one. In fact, in the first edition Dirac declares to avoid an axiomatic presentation. Moreover, I show that the text is aimed at solving a basic problem: How quantum mechanics is similar to classical mechanics. A previous paper analyzed all past theories of physics, chemistry and mathematics, presented by the respective authors in a non-axiomatic way. Four characteristic features of a new model of organizing a theory have been recognized. An accurate inspection of Dirac text proves that it actually applied this kind of organization of a theory. This fact gives a formal reason of what Kronz and Lupher suggested through intuitive categories, pragmatism and rigor, i.e. Dirac formulation of Quantum mechanics represents a distinct theoretical attitude from von Neumann axiomatic attitude. However, since the second edition Dirac changed his attitude; although relying again on an analogy, his theory was referred to the axiomatic method. Some considerations on the odd paths which led to the present formulation of QM are added. They suggest to look for a new foundation of this theory.
The mathematical formulation of Quantum Mechanics in terms of complex Hilbert space is derived for finite dimensions, starting from a general definition of "physical experiment" and from five simple Postulates concerning "experimental accessibility and simplicity". For the infinite dimensional case, on the other hand, a C*-algebra representation of physical transformations is derived, starting from just four of the five Postulates via a Gelfand-Naimark-Segal (GNS) construction. The present paper simplifies and sharpens the previous derivation in version 1. The main ingredient of the axiomatization is the postulated existence of "faithful states" that allows one to calibrate the experimental apparatus. Such notion is at the basis of the operational definitions of the scalar product and of the "transposed" of a physical transformation. What is new in the present paper with respect to quant-ph/0603011 is the operational deduction of an involution corresponding to the "complex-conjugation" for effects, whose extension to transformations allows to define the "adjoint" of a transformation when the extension is composition-preserving.
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. 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 final version of a new approach to quantum theory is formulated in this paper. The basis is taken to be theoretical variables, variables that may be accessible or inaccessible, i.e., it may be possible or impossible for an observer to assign arbitrarily sharp numerical values to them. In an epistemic process, the accessible variables are just ideal observations connected to an observer or to some communicating observers. Group actions are defined on these variables, and group representation theory is the basis for developing the Hilbert space formalism here. Operators corresponding to accessible theoretical variables are derived, and in the finite-dimensional case, it is proved that the possible physical values are the eigenvalues of these operators. The focus of the paper is some mathematical theorems paving the ground for the proposed foundation of quantum theory. It is indicated here that the groups and transformations needed in this approach can be constructed explicitly in the case where the accessible variables are finite-dimensional. In case, this simplifies the theory considerably: To reproduce the Hilbert space formulation, it is enough to assume the existence of two complementary variables. What is new in this version of the article, is that the assumptions given behind the main theorems are simplified considerably, and that all proofs are given explicitly or refered to in other recent papers.