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.
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…
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.
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 …
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 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…
There have been several non-axiomatic approaches taken to define Quantum Cellular Automata (QCA). Partitioned QCA (PQCA) are the most canonical of these non-axiomatic definitions. In this work we show that any QCA can be put into the form of a PQCA. Our construction reconciles all the non-axiomatic definitions of QCA, showing that they can all simulate one another, and hence that they are all equivalent to the axiomatic definition. This is achieved by defining generalised n-dimensional intrinsic simulation, which brings the computer science based concepts of simulation and universality closer …
We present an axiomatic approach to the mean and discuss generalizations of the mean, including one due to Kolmogorov based on the Weak Law of Large Numbers. We offer examples and counterexamples, describe conventional and unconventional uses of the mean in statistical mechanics, and resolve an anomaly in quantum theory concerning apparent simultaneous coexistence of means and variances of observables. These issues all arise from the familiar definition of the mean.
A fundamental problem in quantum information is to describe efficiently multipartite quantum states. An efficient representation in terms of graphs exists for several families of quantum states (graph, cluster, stabilizer states), motivating us to extend this construction to other classes. We introduce an axiomatic framework for mapping graphs to quantum states of a suitable physical system. Starting from three general axioms we derived a rich structure which includes and generalizes several classes of multipartite entangled state, like graph/stabilizer states, Gaussian cluster states, quantum…
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…
There have been several non-axiomatic approaches taken to define Quantum Cellular Automata (QCA). Partitioned QCA (PQCA) are the most canonical of these non-axiomatic definitions. In this work we first show that any QCA can be put into the form of a PQCA. Our construction reconciles all the non-axiomatic definitions of QCA, showing that they can all simulate one another, and hence that they are all equivalent to the axiomatic definition. Next, we describe a simple n-dimensional QCA capable of simulating all others, in that the initial configuration and the forward evolution of any n-dimensiona…
Ionicioiu and Spiller [Phys. Rev. A 85, 062313 (2012)] have recently presented an axiomatic framework for mapping graphs to quantum states of a suitable physical system. Based on their study, we first extend the axiomatic framework to hypergraphs by means of modifying its axioms and consistency conditions. Then we use the axiomatic approach to encode hypergraphs into a new family of quantum states, called the hypergraph states. Moreover, we also try to do the followings: (i) to show that real equally weighted states, which occur in Grover and Deutsch-Joza algorithms, are equivalent to hypergra…
Quantum superchannels are maps whose input and output are quantum channels. Rather than taking the domain to be the space of all linear maps we motivate and define superchannels on the operator system spanned by quantum channels. Extension theorems for completely positive maps allow us to apply the characterisation theorem for superchannels to this smaller set of maps. These extensions are non unique, showing two different superchannels act the same on all input quantum channels, and so this new definition on the smaller domain captures more precisely the action of superchannels as transformat…
I introduce an algorithm to detect one-way quantum information between two interacting quantum systems, i.e. the direction and orientation of the information transfer in arbitrary quantum dynamics. I then build an information-theoretic quantifier of one-way information which satisfies a set of desirable axioms. In particular, it correctly evaluates whether correlation implies one-way quantum information, and when the latter is transferred between uncorrelated systems. In the classical scenario, the quantity measures information transfer between random variables. I also generalize the method to…
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…
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.
Quantum coherence plays a central role in various research areas. The $l_1$-norm of coherence is one of the most important coherence measures that are easily computable, but it is not easy to find a simple interpretation. We show that the $l_1$-norm of coherence is uniquely characterized by a few simple axioms, which demonstrates in a precise sense that it is the analog of negativity in entanglement theory and sum negativity in the resource theory of magic-state quantum computation. We also provide an operational interpretation of the $l_1$-norm of coherence as the maximum entanglement, measur…
Whenever a mathematical proposition to be proved requires more information than it is contained in an axiomatic system, it can neither be proved nor disproved, i.e. it is undecidable, or logically undetermined, within this axiomatic system. I will show that certain mathematical propositions on a d-valent function of a binary argument can be encoded in d-dimensional quantum states of mutually unbiased basis (MUB) sets, and truth values of the propositions can be tested in MUB measurements. I will then show that a proposition is undecidable within the system of axioms encoded in the state, if an…
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.
A phenomenological construction of quantum Langevin equations, based on the physical criteria of (i) the canonical equal-time commutators, (ii) the Kubo formula, (iii) the virial theorem and (iv) the quantum fluctuation-dissipation theorem is presented. The case of a single harmonic oscillator coupled to a large external bath is analysed in detail. This allows to distinguish a markovian semi-classical approach, due to Bedeaux and Mazur, from a non-markovian full quantum approach, due to to Ford, Kac and Mazur. The quantum-fluctuation-dissipation theorem is seen to be incompatible with a markov…
The definition of 'classical state', and how it was used in earlier work to prove a decomposition theorem internally in the language of State Property Systems, presupposes as an additional datum an orthocomplementation on the property lattice of a physical system. In this paper we argue on the basis of the epsilon-model on the Poincare sphere that a notion of 'topologicity' for states can be seen as an alternative (operationally foundable) classicality notion in the absence of an orthocomplementation, and compare it to the known and operationally founded concept of classicality.
We present an axiomatic framework for thermodynamics that incorporates information as a fundamental concept. The axioms describe both ordinary thermodynamic processes and those in which information is acquired, used and erased, as in the operation of Maxwell's demon. This system, like previous axiomatic systems for thermodynamics, supports the construction of conserved quantities and an entropy function governing state changes. Here, however, the entropy exhibits both information and thermodynamic aspects. Although our axioms are not based upon probabilistic concepts, a natural and highly usef…
We present a framework to treat quantum networks and all possible transformations thereof, including as special cases all possible manipulations of quantum states, measurements, and channels, such as, e.g., cloning, discrimination, estimation, and tomography. Our framework is based on the concepts of quantum comb-which describes all transformations achievable by a given quantum network-and link product-the operation of connecting two quantum networks. Quantum networks are treated both from a constructive point of view-based on connections of elementary circuits-and from an axiomatic one-based …
Axiomatic quantum field theory (QFT) provides a rigorous mathematical foundation for QFT, and it is the basis for proving some important general results, such as the well-known spin-statistics theorem. Free-field QFT meets the axioms of axiomatic QFT, showing they are consistent. Nevertheless, even after more than 50 years, there is still no known non-trivial theory of quantum fields with interactions in four-dimensional Minkowski spacetime that meets the same axioms. This paper provides a similar axiomatic basis for parameterized QFT, in which an invariant, fifth path parameter is added to th…
Building upon work by Matsumoto, we show that the quantum relative entropy with full-rank second argument is determined by four simple axioms: i) Continuity in the first argument, ii) the validity of the data-processing inequality, iii) additivity under tensor products, and iv) super-additivity. This observation has immediate implications for quantum thermodynamics, which we discuss. Specifically, we demonstrate that, under reasonable restrictions, the free energy is singled out as a measure of athermality. In particular, we consider an extended class of Gibbs-preserving maps as free operation…
