In mathematical aspect, we introduce quantum algorithm and the mathematical structure of quantum computer. Quantum algorithm is expressed by linear algebra on a finite dimensional complex inner product space. The mathematical formulations of quantum mechanics had been established in around 1930, by von Neumann. The formulation uses functional analysis, linear algebra and probability theory. The knowledge of the mathematical formulation of QM is enough quantum mechanical knowledge for approaching to quantum algorithm and it might be efficient way for mathematicians that starting with mathematical formulations of QM. We explain the mathematical formulations of quantum mechanics briefly, quantum bits, quantum gates, quantum discrete Fourier transformation, Deutsch's algorithm and Shor's algorithm.In mathematical aspect, we introduce quantum algorithm and the mathematical structure of quantum computer. Quantum algorithm is expressed by linear algebra on a finite dimensional complex inner product space. The mathematical formulations of quantum mechanics had been established in around 1930, by von Neumann. The formulation uses functional analysis, linear algebra and probability theory. The knowledge of the mathematical formulation of QM is enough quantum mechanical knowledge for approaching to quantum algorithm and it might be efficient way for mathematicians that starting with mathematical formulations of QM. We explain the mathematical formulations of quantum mechanics briefly, quantum bits, quantum gates, quantum discrete Fourier transformation, Deutsch's algorithm and Shor's algorithm.

arXiv:2008.08905Aug 14, 20200 citations

The Mathematical Formulation of Quantum Mechanics

Walter E Thirring

Springer eBooksJan 1, 20020 citations

Quantum mechanics

Carlo Rovelli C

Quantum mechanics (QM) is not just a theory of micro-objects: it is our current fundamental theory of motion. It expresses a deeper understanding of Nature than classical mechanics. Precisely as classical mechanics, the conventional formulation of QM describes evolution of states and observables in time. Precisely as classical mechanics, this is not sufficient to deal with general relativistic systems, because these systems do not describe evolution in time; they describe correlations between observables. Therefore, a formulation of QM slightly more general than the conventional one – or a quantum version of the relativistic classical mechanics discussed in the previous chapter – is needed. In this chapter I discuss the possibility of such a formulation. In the last section I discuss the general physical interpretation of QM. QM can be formulated in a number of more or less equivalent formalisms: canonical (Hilbert spaces and self-adjoint operators), covariant (Feynman's sum-over-histories), algebraic (states as linear functionals over an abstract algebra of observables) and others. Generally, but not always, we are able to translate these formalisms into one another, but often what is easy in one formulation is difficult in another. A generalrelativistic sum-over-histories formalism has been developed by Jim Hartle. Here I focus on the canonical formalism, because the canonical formalism has provided the mathematical completeness and precision needed to explicitly construct the mathematical apparatus of quantum gravity. Later I will consider alternative formalisms.Quantum mechanics (QM) is not just a theory of micro-objects: it is our current fundamental theory of motion. It expresses a deeper understanding of Nature than classical mechanics. Precisely as classical mechanics, the conventional formulation of QM describes evolution of states and observables in time. Precisely as classical mechanics, this is not sufficient to deal with general relativistic systems, because these systems do not describe evolution in time; they describe correlations between observables. Therefore, a formulation of QM slightly more general than the conventional one – or a quantum version of the relativistic classical mechanics discussed in the previous chapter – is needed. In this chapter I discuss the possibility of such a formulation. In the last section I discuss the general physical interpretation of QM. QM can be formulated in a number of more or less equivalent formalisms: canonical (Hilbert spaces and self-adjoint operators), covariant (Feynman's sum-over-histories), algebraic (states as linear functionals over an abstract algebra of observables) and others. Generally, but not always, we are able to translate these formalisms into one another, but often what is easy in one formulation is difficult in another. A generalrelativistic sum-over-histories formalism has been developed by Jim Hartle. Here I focus on the canonical formalism, because the canonical formalism has provided the mathematical completeness and precision needed to explicitly construct the mathematical apparatus of quantum gravity. Later I will consider alternative formalisms.

Cambridge University Press eBooksNov 15, 20040 citations

Phase Space Formulation of Quantum Mechanics as an Hidden Variables Theory

M. Revzen

An hidden variable (hv) theory is a theory that allows globally dispersion free ensembles. We demonstrate that the Phase Space formulation of Quantum Mechanics (QM) is an hv theory with the position q, and momentum p as the hv. Comparing the Phase space and Hilbert space formulations of QM we identify the assumption that led von Neumann to the Hilbert space formulation of QM which, in turn, precludes global dispersion free ensembles within the theory. The assumption, dubbed I, is: "If a physical quantity $\mathbf{A}$ has an operator $\hat{A}$ then $f(\mathbf{A})$ has the operator $f(\hat{A})$ ". This assumption does not hold within the Phase Space formulation of QM. The hv interpretation of the Phase space formulation provides novel insight into the interrelation between dispersion and non commutativity of position and momentum (operators) within the Hilbert space formulation of QM and mitigates the criticism against von Neumann's no hidden variable theorem by, virtually, the consensus.An hidden variable (hv) theory is a theory that allows globally dispersion free ensembles. We demonstrate that the Phase Space formulation of Quantum Mechanics (QM) is an hv theory with the position q, and momentum p as the hv. Comparing the Phase space and Hilbert space formulations of QM we identify the assumption that led von Neumann to the Hilbert space formulation of QM which, in turn, precludes global dispersion free ensembles within the theory. The assumption, dubbed I, is: "If a physical quantity $\mathbf{A}$ has an operator $\hat{A}$ then $f(\mathbf{A})$ has the operator $f(\hat{A})$". This assumption does not hold within the Phase Space formulation of QM. The hv interpretation of the Phase space formulation provides novel insight into the interrelation between dispersion and non commutativity of position and momentum (operators) within the Hilbert space formulation of QM and mitigates the criticism against von Neumann's no hidden variable theorem by, virtually, the consensus.

arXiv:2105.00242May 1, 20210 citations

The Mathematical Formulation of Quantum Mechanics

Walter E Thirring

Springer eBooksJan 1, 19815 citations

\mathbf{A}

has an operator

\hat{A}

then

f(\mathbf{A})

has the operator

f(\hat{A})

". This assumption does not hold within the Phase Space formulation of QM. The hv interpretation of the Phase space formulation provides novel insight into the interrelation between dispersion and non commutativity of position and momentum (operators) within the Hilbert space formulation of QM and mitigates the criticism against von Neumann's no hidden variable theorem by, virtually, the consensus.