The classical Hilbert space formulation of the axioms of Quantum Mechanics appears to leave open the question whether the Hermitian operators which are associated with the observables of a finite non-relativistic quantum system are uniquely determined.
An axiomatic formalism for a minimal irreversible quantum mechanics is introduced. It is shown that a quantum equilibrium and the decoherence phenomenon are consequences of the axioms and that Lyapunov variables, exponential survival probabilities, and a classisal conditional never-decreasing entropy can be defined.
A realistic axiomatic formulation of nonrelativistic quantum mechanics for a single microsystem with spin is presented, from which the most important theorems of the theory can be deduced. In comparison with previous formulations, the formal aspect has been improved by the use of certain mathematical theories, such as the theory of equipped spaces, and group theory. The standard formalism is naturally obtained from the latter, starting from a central primitive concept: the Galilei group.
We present an axiomatization of non-relativistic Quantum Mechanics for a system with an arbitrary number of components. The interpretation of our system of axioms is realistic and objective. The EPR paradox and its relation with realism is discussed in this framework. It is shown that there is no contradiction between realism and recent experimental results.
In this paper we use the framework of generalized probabilistic theories to present two sets of basic assumptions, called axioms, for which we show that they lead to the Hilbert space formulation of quantum mechanics. The key results in this derivation are the co-ordinatization of generalized geometries and a theorem of Solér which characterizes Hilbert spaces among the orthomodular spaces. A generalized Wigner theorem is applied to reduce some of the assumptions of the theorem of Solér to the theory of symmetry in quantum mechanics. Since this reduction is only partial we also point out the r…
The role of operational quantum mechanics, quantum axiomatics and quantum structures in general is presented as a contribution to a compendium on quantum physics, its history and philosophy.
A non-relativistic quantum mechanical theory is proposed that combines elements of Bohmian mechanics and of Everett's "many-worlds" interpretation. The resulting theory has the advantage of resolving known issues of both theories, as well as those of standard quantum mechanics. It has a clear ontology and a set of precisely defined postulates from where the predictions of standard quantum mechanics can be derived. Most importantly, the Born rule can be derived by straightforward application of the Laplacian rule, without reliance on a "quantum equilibrium hypothesis" that is crucial for Bohmia…
In a recent paper, Nagata [1] claims to derive inconsistencies from quantum mechanics. In this paper, we show that the inconsistencies do not come from quantum mechanics, but from extra assumptions about the reality of observables.
It is supposed the alternative to Quantum Mechanics Axiomatic. Fluctuational Theory save the Mathematics of Quantum Mechanic without change, naming this Mathematics as Method of Indirect Computation. Fluctuational Theory is delete the axiomatic of Quantum Mechanics and replaces it by the assumption of Gravitational Noise. This assumption is connects the Method of Indirect Computation to the Classical Physics. Physical fluctuations of classical gravitational fields are mathematically expressed through geometric fluctuations of metrics of Riemann Space. Metrics Fluctuational Theory and Quantum M…
We make a first attempt to axiomatically formulate the Montevideo interpretation of quantum mechanics. In this interpretation environmental decoherence is supplemented with loss of coherence due to the use of realistic clocks to measure time to solve the measurement problem. The resulting formulation is framed entirely in terms of quantum objects without having to invoke the existence of measurable classical quantities like the time in ordinary quantum mechanics. The formulation eliminates any privileged role to the measurement process giving an objective definition of when an event occurs in …
The fallacies inherent in the Einstein's Boxes thought experiment are made evident by taking an axiomatic approach to quantum mechanics while ignoring notions not supported by the postulates or by experimental observation. We emphasize that the postulates contain everything needed to completely describe a quantum experiment. We discuss the non-classical nature of both the state vector and the experiment that it represents. Einstein's Boxes is then described by the formalism alone. We see that it is no different from any other experiment in which a two-state observable is measured.
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 the…
We consider the situation of a physical entity that is the compound entity consisting of two 'separated' quantum entities. In earlier work it has been proven by one of the authors that such a physical entity cannot be described by standard quantum mechanics. More precisely, it was shown that two of the axioms of traditional quantum axiomatics are at the origin of the impossibility for standard quantum mechanics to describe this type of compound entity. One of these axioms is equivalent with the superposition principle, which means that separated quantum entities put the linearity of quantum me…
The list of basic axioms of quantum mechanics as it was formulated by von Neumann includes only the mathematical formalism of the Hilbert space and its statistical interpretation. We point out that such an approach is too general to be considered as the foundation of quantum mechanics. In particular in this approach any finite-dimensional Hilbert space describes a quantum system. Though such a treatment might be a convenient approximation it can not be considered as a fundamental description of a quantum system and moreover it leads to some paradoxes like Bell's theorem. I present a list from …
We present an analysis of quantum mechanics and its problems and paradoxes taking into account the results that have been obtained during the last two decades by investigations in the field of `quantum structures research'. We concentrate mostly on the results of our group FUND at Brussels Free University. By means of a spin 1/2 model where the quantum probability is generated by the presence of fluctuations on the interactions between measuring apparatus and physical system, we show that the quantum structure can find its origin in the presence of these fluctuations. This appraoch, that we ha…
We discuss the axiomatic basis of quantum mechanics and show that it is neither general nor consistent, since its axioms are incompatible with each other and moreover it does not incorporate the magnetic quantization as in the cyclotron motion. A general and consistent system of axioms is conjectured which incorporates also the magnetic quantization.
We propose four information-theoretic axioms for the foundations of statistical mechanics in general physical theories. The axioms---Causality, Purity Preservation, Pure Sharpness, and Purification---identify a class of theories where every mixed state can be modelled as the marginal of a pure entangled state and where every unsharp measurement can be modelled as a sharp measurement on a composite system. This class of theories, called sharp theories with purification, includes quantum theory both with complex and real amplitudes, as well as a suitable extension of classical probability theory…
A phase space mathematical formulation of quantum mechanical processes accompanied by and ontological interpretation is presented in an axiomatic form. The problem of quantum measurement, including that of quantum state filtering, is treated in detail. Unlike standard quantum theory both quantum and classical measuring device can be accommodated by the present approach to solve the quantum measurement problem
In this paper, we investigate the connection between Classical and Quantum Mechanics by dividing Quantum Theory in two parts: - General Quantum Axiomatics (a system is described by a state in a Hilbert space, observables are self-adjoint operators and so on) - Quantum Mechanics properly that specifies the Hilbert space, the Heisenberg rule, the free Hamiltonian... We show that General Quantum Axiomatics (up to a supplementary "axiom of classicity") can be used as a non-standard mathematical ground to formulate all the ideas and equations of ordinary Classical Statistical Mechanics. So the ques…
We present in this continuation paper a new axiomatic derivation of the Schrödinger equation from three basic postulates. This new derivation sheds some light on the thermodynamic character of the quantum formalism. We also show the formal connection between this derivation and the one previously done by other means. Some considerations about metaestability are also drawn. We return to an example previously developed to show how the connection between both derivations works.
Quantum information theorists have created axiomatic reconstructions of quantum mechanics (QM) that are very successful at identifying precisely what distinguishes quantum probability theory from classical and more general probability theories in terms of information-theoretic principles. Herein, we show how one such principle, Information Invariance & Continuity, at the foundation of those axiomatic reconstructions maps to "no preferred reference frame" (NPRF, aka "the relativity principle") as it pertains to the invariant measurement of Planck's constant h for Stern-Gerlach (SG) spin measure…
The usual Heisenberg uncertainty relation for position and momentum may be replaced by an exact equality, for suitably chosen measures of position and momentum uncertainty. This "exact" uncertainty relation is valid for_all_ pure states, and is sufficiently strong to provide an axiomatic basis for moving from classical mechanics to quantum mechanics. In particular, the assumption of a nonclassical momentum fluctuation, having a strength which scales inversely with uncertainty in position, leads from the classical equations of motion to the Schroedinger equation.
In a previous preprint (quant-ph/0012122) we introduced a ``contextual objectivity" formulation of quantum mechanics (QM). A central feature of this approach is to define the quantum state in physical rather than in mathematical terms, in such a way that it may be given an "objective reality". Here we use some ideas about the system dimensionality, taken from quant-ph/0101012, to propose a possible axiomatic approach to QM. In this approach the structure of QM appears as a direct consequence of the non-commutative character of the (classical geometrical) group of "knobs transformations", that …
Since its inception, many physicists have seen in quantum mechanics the possibility, if not the necessity, of bringing cognitive aspects into the play, which were instead absent, or unnoticed, in the previous classical theories. In this article, we outline the path that led us to support the hypothesis that our physical reality is fundamentally conceptual-like and cognitivistic-like. However, contrary to the 'abstract ego hypothesis' introduced by John von Neumann and further explored, in more recent times, by Henry Stapp, our approach does not rely on the measurement problem as expressing a p…
Quantum mechanics is based on a series of postulates which lead to a very good description of the microphysical realm but which have, up to now, not been derived from first principles. In the present work, we suggest such a derivation in the framework of the theory of scale relativity. After having analyzed the actual status of the various postulates, rules and principles that underlie the present axiomatic foundation of quantum mechanics (in terms of main postulates, secondary rules and derived `principles'), we attempt to provide the reader with an exhaustive view of the matter, by both gath…
Where does quantum mechanics part ways with classical mechanics? How does quantum randomness differ fundamentally from classical randomness? We cannot fully explain how the theories differ until we can derive them within a single axiomatic framework, allowing an unambiguous account of how one theory is the limit of the other. Here we derive nonrelativistic quantum mechanics and classical statistical mechanics within a common framework. The common axioms include conservation of average energy and conservation of probability current. But two axioms distinguish quantum mechanics from classical st…
Time of arrival in quantum mechanics is discussed in two versions: the classical axiomatic "time of arrival operator" introduced by J. Kijowski and the EEQT method. It is suggested that for free particles the two methods may lead to the same result. On the other hand the EEQT method can be easily geometrized within the framework of Galilei-Newton general relativistic quantum mechanics developed by M. Modugno and collaborators, and it can be applied to non-free evolutions. The way of geometrization of irreversible quantum dynamics based on dissipative Liouville equation is suggested.
We present a both simple and comprehensive graphical calculus for quantum computing. In particular, we axiomatize the notion of an environment, which together with the earlier introduced axiomatic notion of classical structure enables us to define classical channels, quantum measurements and classical control. If we moreover adjoin the earlier introduced axiomatic notion of complementarity, we obtain sufficient structural power for constructive representation and correctness derivation of typical quantum informatic protocols.
We discuss the two-slit experiment and the Aharonov-Bohm (AB) experiment in the magnetic field. In such a case the electron moving in the magnetic field produces so called synchrotron radiation. In other words the photons are emitted from the points of the electron trajectory and it means that the trajectory of electron is visible in the synchrotron radiation spectrum. The axiomatic system of quantum mechanics does not enable to define the trajectory of the elementary particle. The two-slit experiment and AB experiment in a magnetic field was never performed and it means that they are the miss…
Our aim in this paper is to take quite seriously Heinz Post's claim that the non-individuality and the indiscernibility of quantum objects should be introduced right at the start, and not made a posteriori by introducing symmetry conditions. Using a different mathematical framework, namely, quasi-set theory, we avoid working within a label-tensor-product-vector-space-formalism, to use Redhead and Teller's words, and get a more intuitive way of dealing with the formalism of quantum mechanics, although the underlying logic should be modified. Thus, this paper can be regarded as a tentative to fo…
Quantum information and computation may serve as a source of useful axioms and ideas for the quantum logic/quantum structures project of characterizing and classifying types of physical theories, including quantum mechanics and classical mechanics. The axiomatic approach of quantum structures may help isolate what aspects of quantum mechanics are responsible for what aspects of its greater-than-classical information processing power, and whether more general physical theories may escape some common limitations of classical and quantum theories. Also, by by helping us understand how existing qu…
Axiomatic approach to measurement theory is developed. All the possible statistical properties of apparatuses measuring an observable with nondegenerate spectrum allowed in standard quantum mechanics are characterized.
In this sequence of papers, noncommutative analysis is used to give a consistent axiomatic approach to a unified conceptual foundation of classical and quantum physics. The present Part I defines the concepts of observables, states and ensembles, clarifies the logical relations and operations for them, and shows how they give rise to dynamics and probabilities. States are identified with maximal consistent sets of weak equalities in the algebra of observables (instead of, as usual, with the rays in a Hilbert space). This leads to a concise foundation of quantum mechanics, free of undefined ter…
The objective of this series of three papers is to axiomatically derive quantum mechanics from classical mechanics and two other basic axioms. In this first paper, Schreodinger's equation for the density matrix is fist obtained and from it Schroedinger's equation for the wave functions is derived. The momentum and position operators acting upon the density matrix are defined and it is then demonstrated that they commute. Pauli's equation for the density matrix is also obtained. A statistical potential formally identical to the quantum potential of Bohm's hidden variable theory is introduced, a…
We present an axiomatic modification of quaternionic quantum mechanics with a possible-worlds semantics capable of predicting essential "nonquantum" features of an observable universe model - the dimensionality and topology of spacetime, the existence, the signature and a specific form of a metric on it, and certain naturally distinguished directions (vistas) in spacetime unrelated to its metric properties.
Starting from a simple classical framework and employing some stochastic concepts, the basic ingredients of the quantum formalism are recovered. It has been shown that the traditional axiomatic structure of quantum mechanics can be rebuilt, so that the quantum mechanical framework resembles to a large extent that of the classical statistical mechanics. The main assumption used here is the existence of a random irrotational component in the classical momentum. Various basic elements of the quantum formalism (calculation of expectation values, the Heisenberg uncertainty principle, the correspond…
We formulate a paradox in relation to the description of a joint entity consisting of two subentities by standard quantum mechanics. We put forward a proposal for a possible solution, entailing the interpretation of density states as pure states. We explain where the inspiration for this proposal comes from and how its validity can be tested experimentally. We discuss the consequences on quantum axiomatics of the proposal.
In this paper, I try once again to cause some good-natured trouble. The issue remains, when will we ever stop burdening the taxpayer with conferences devoted to the quantum foundations? The suspicion is expressed that no end will be in sight until a means is found to reduce quantum theory to two or three statements of crisp physical (rather than abstract, axiomatic) significance. In this regard, no tool appears better calibrated for a direct assault than quantum information theory. Far from a strained application of the latest fad to a time-honored problem, this method holds promise precisely …
This paper reviews the structure of standard quantum mechanics, introducing the basics of the von Neumann-Dirac axiomatic formulation as well as the well-known Copenhagen interpretation. We review also the major conceptual difficulties arising from this theory, first and foremost, the well-known measurement problem. The main aim of this essay is to show the possibility to solve the conundrums affecting quantum mechanics via the methodology provided by the primitive ontology approach. Using Bohmian mechanics as an example, the paper argues for a realist attitude towards quantum theory. In the s…
Two typical entanglements will be shown to stand on opposite sides on the issue of \emph{instrumental realism}, the issue of whether (as for EPR in the original form or EPRB, Bohm's versions using spin) or not (as for GHZ) observables have values that preexist measurement. Instrumental realism in the EPR context helps us prove that in some special circumstances, one can get simultaneous knowledge of two conjugate quantities, which in particular make sense together. This shatters the axiomatic presentation of Quantum Mechanics. This simultaneous knowledge of two conjugate quantities elaborates …
The conjecture is made that quantum mechanics is compatible with local hidden variables (or local realism). The conjecture seems to be ruled out by the theoretical argument of Bell, but it is supported by the empirical fact that nobody has been able to perform a loophole-free test of local realism in spite of renewed effort during almost 40 years.
Two questions are suggested as having priority when trying to bring together Quantum Mechanics and General Relativity. Both questions have a scope which goes well beyond Physics, and in particular Quantum Mechanics and General Relativity.
We bring together two topics (quantum mechanics and time passage) with the goal of clarifying questions about each. Specifically, we claim that the formalism of quantum mechanics provides an answer to the question: "What is time passage?".
The words: determinism, hidden variables, subjectivism, information, objectivism, informational-theoretic axioms,observers have some connection with physical reality? What we mean with "description" of physical reality? When we say that we understand this reality? Certain parameters:position, velocity are sufficient? We will focus only to conceptual considerations regarding the relation between the "questions" and the relative "answers" in general and specifically in quantum mechanics. It is usually believed that the answers are more important of the questions, for this reason we can read many…
From the standpoint of Hilbert's Sixth Problem, which is the axiomatisation of Physics, the famous paper of Lucien Hardy's, Quantum Theory from Five Reasonable Axioms, is not relevant. The present paper argues that Hardy does not give a physical definition of `limit', and if we assume the usual mathematical definition of limit of a sequence, he fails to define a sequence in physical terms to which the usual definition is applicable. We argue that one should not, in fact, try to define probability in terms of the usual notion of limit of a sequence of results of a measurement because of seeming…
The ability to calculate precise likelihood ratios is fundamental to many STEM areas, such as decision-making theory, biomedical science, and engineering. However, there is no assumption-free statistical methodology to achieve this. For instance, in the absence of data relating to covariate overlap, the widely used Bayes' theorem either defaults to the marginal probability driven "naive Bayes' classifier", or requires the use of compensatory expectation-maximization techniques. Equally, the use of alternative statistical approaches, such as multivariate logistic regression, may be confounded b…
The aim of this paper is to explore the ways in which Axiomatic Reconstructions of Quantum Theory in terms of Information-Theoretic principles (ARQITs) can contribute to explaining and understanding quantum phenomena, as well as to study their explanatory limitations. This is achieved in part by offering an account of the kind of explanation that axiomatic reconstructions of quantum theory provide, and re-evaluating the epistemic status of the program in light of this explanation. As illustrative cases studies, I take Clifton's, Bub's and Halvorson's characterization theorem and Popescu's and …
These lecture notes cover the important developments in histories approach to quantum mechanics with overall content and emphasis somewhat different from other reviews and books on the subject.The idea of Houtappel, Van Dam and Wigner of employing objects based on primitive concepts of physical theories is discussed in some detail and the fact that histories are such objects is emphasized. Application of histories formalism to the problem of understanding the quasiclassical domain is treated in some detail. Other topics discussed include generalized histories-based quantum mechanics and its ap…
Probabilities enter quantum mechanics via Born's rule, the uniqueness of which was proven by Gleason. Busch subsequently relaxed the assumptions of this proof, expanding its domain of applicability in the process. Extending this work to sequential measurement processes is the aim of this paper. Given only a simple set of postulates, a probability measure is derived utilising the concept of Liouville space and the most general permissible quantum channel arises in the same manner. Super-Liouville space is constructed and a Bayesian interpretation of this object is provided. An important applica…
The conformability of angular observales (angular momentum and azimuthal angle) with the mathematical rules of quantum mechanics is a question which still rouses debates. It is valued negatively within the existing approaches which are restricted by two amendable presumptions. If the respective presumptions are removed one can obtain a general approach in which the mentioned question is valued positively.
This is the first paper in a series where we generalize the Categorical Quantum Mechanics program (due to Abramsky, Coecke, et al) to braided systems. In our view a uniform description of quantum information for braided systems has not yet emerged. The picture is complicated by a diversity of examples that lacks a unifying framework for proving theorems and discovering new protocols. We use category theory to construct a high-level language that abstracts the quantum mechanical properties of braided systems. We exploit this framework to propose an axiomatic description of braided quantum infor…
We review a recent approach to the foundations of quantum mechanics inspired by quantum information theory. The approach is based on a general framework, which allows one to address a large class of physical theories which share basic information-theoretic features. We first illustrate two very primitive features, expressed by the axioms of causality and purity-preservation, which are satisfied by both classical and quantum theory. We then discuss the axiom of purification, which expresses a strong version of the Conservation of Information and captures the core of a vast number of protocols i…
A new axiomatic characterization with a minimum of conditions for entropy as a function on the set of states in quantum mechanics is presented. Traditionally unspoken assumptions are unveiled and replaced by proven consequences of the axioms. First the Boltzmann-Planck formula is derived. Building on this formula, using the Law of Large Numbers - a basic theorem of probability theory - the von Neumann formula is deduced. Axioms used in older theories on the foundations are now derived facts.