Quantum computers can be used to simulate nonlinear non-Hamiltonian classical dynamics on phase space by using the generalized Koopman-von Neumann formulation of classical mechanics. The Koopman-von Neumann formulation implies that the conservation of the probability distribution function on phase space, as expressed by the Liouville equation, can be recast as an equivalent Schrödinger equation on Hilbert space with a Hermitian Hamiltonian operator and a unitary propagator. This Schrödinger equation is linear in the momenta because it derives from a constrained Hamiltonian system with twice the classical phase space dimension. A quantum computer with finite resources can be used to simulate a finite-dimensional approximation of this unitary evolution operator. Quantum simulation of classical dynamics is exponentially more efficient than a deterministic Eulerian discretization of the Liouville equation if the Koopman-von Neumann Hamiltonian is sparse. Utilizing quantum walk techniques for state preparation and amplitude estimation for the calculation of observables leads to a quadratic improvement over classical probabilistic Monte Carlo algorithms.
In the paper Sci. Rep. 8, 8401 (2018), among other things, the Ermakov-Lewis invariant was constructed for the time dependent harmonic oscillator in Koopman-von Neumann mechanics. We point out that there is a simpler method that allows one to find this invariant.
This work is to consolidate current literature on Koopman-von Neumann (KvN) Mechanics into a simple and easy to understand text. KvN Mechanics is a branch of Classical Mechanics that has been recast into the mathematical language of Quantum Mechanics. KvN Mechanics utilizes a Hilbert phase space with operators to calculate the expectation values of observables of interest (expectation values such as position, momentum, etc.) It is an important tool in statistical physics and guide to illuminate the mysterious relationship between Quantum and Classical Physics. A lot of important applications o…
In this paper we study the classical Hilbert space introduced by Koopman and von Neumann in their operatorial formulation of classical mechanics. In particular we show that the states of this Hilbert space do not spread, differently than what happens in quantum mechanics. The role of the phases associated to these classical "wave functions" is analyzed in details. In this framework we also perform the analog of the two-slit experiment and compare it with the quantum case.
The Eisenhart lift establishes a fascinating connection between non-relativistic and relativistic physics, providing a space-time geometric understanding of non-relativistic Newtonian mechanics. What is still little known, however, is the fact that there is a Hilbert space representation of classical mechanics (also called Koopman-von Neumann mechanics) that attempts to give classical mechanics the same mathematical structure that quantum mechanics has. In this article, we geometrize the Koopman-von Newmann (KvN) mechanics using the Eisenhart toolkit. We then use a geometric view of KvN mechan…
The Koopman-von Neumann (KvN) theory is one where the dynamical momentum is not canonically conjugate to position, i.e., position and momentum are deconjugated. From this point of view, we show that the KvN theory arises from quantum mechanics, extracting classical equations of motion from quantum ones. However, preserving the canonical structure of the theory requires introducing ``auxiliary'' canonical conjugates to position and momentum. We show that using the KvN formulation to study the interaction between quantum and classical systems forces the auxiliary variables to take on a physical …
In this paper we continue the study, started in [1], of the operatorial formulation of classical mechanics given by Koopman and von Neumann (KvN) in the Thirties. In particular we show that the introduction of the KvN Hilbert space of complex and square integrable "wave functions" requires an enlargement of the set of the observables of ordinary classical mechanics. The possible role and the meaning of these extra observables is briefly indicated in this work. We also analyze the similarities and differences between non selective measurements and two-slit experiments in classical and quantum m…
Motivated by recent discussions on the possible role of quantum computation in plasma simulations, here we present different approaches to Koopman's Hilbert-space formulation of classical mechanics in the context of Vlasov-Maxwell kinetic theory. The celebrated Koopman-von Neumann construction is provided with two different Hamiltonian structures: one is canonical and recovers the usual Clebsch representation of the Vlasov density, the other is noncanonical and appears to overcome certain issues emerging in the canonical formalism. Furthermore, the canonical structure is restored for a variant…
In this thesis we study several features of the operatorial approach to classical mechanics pionereed by Koopman and von Neumann (KvN) in the Thirties. In particular in the first part we study the role of the phases of the KvN states. We analyze, within the KvN theory, the two-slit experiment and the Aharonov-Bohm effect and we make a comparison between the classical and the quantum case. In the second part of the thesis we study the extension of the KvN formalism to the space of forms and Jacobi fields. We first show that all the standard Cartan calculus on symplectic spaces can be performed …
Koopman and von Neumann (KvN) extended the Liouville equation by introducing a phase space function $S^{(K)}(q,p,t)$ whose physical meaning is unknown. We show that a different $S(q,p,t)$, with well-defined physical meaning, may be introduced without destroying the attractive "quantum-like" mathematical features of the KvN theory. This new $S(q,p,t)$ is the classical action expressed in phase space coordinates. It defines a mapping between observables and operators which preserves the Lie bracket structure. The new evolution equation reduces to Schrödinger's equation if functions on phase spac…
On the numerical limitations of dual Koopman von Neumann embeddings for solving conservative nonlinear ordinary differential equations on quantum computers
Plasma Science and Fusion Center, Massachusetts Institute of Technology（麻省理工学院等离子体科学与聚变中心）；Sorbonne Université, Observatoire de Paris, Université PSL, CNRS, LUX（索邦大学、巴黎天文台、巴黎文理研究大学、法国国家科学研究中心、LUX）；CERFACS（欧洲流体计算与应用研究中心）
We show that the oriented context category and the oriented spectral presheaf are complete invariants of a von Neumann algebra not isomorphic to $\mathbb{C}\oplus\mathbb{C}$ and with no direct summand of type $I_2$.
In this paper we describe the structure of all sequential isomorphisms between the sets of von Neumann algebra effects. It turns out that if the underlying algebras have no commutative direct summands, then every sequential isomorphism between the sets of their effects extends to the direct sum of a *-isomorphism and a *-antiisomorphism between the underlying von Neumann algebras.
For von Neumann algebras M, N not isomorphic to C^2 and without type I_2 summands, we show that for an order-isomorphism f:AbSub(M)->AbSub(N) between the posets of abelian von Neumann subalgebras of M and N, there is a unique Jordan *-isomorphism g:M->N with the image g[S] equal to f(S) for each abelian von Neumann subalgebra S of M. The converse also holds. This shows the Jordan structure of a von Neumann algebra not isomorphic to C^2 and without type I_2 summands is determined by the poset of its abelian subalgebras, and has implications in recent approaches to foundational issues in quantum…
A new form of a binary Darboux transformation is used to generate analytical solutions of a nonlinear Liouville-von Neumann equation. General theory is illustrated by explicit examples.
Classical mechanics (CM), like quantum mechanics (QM), can have an operatorial formulation. This was pioneered by Koopman and von Neumann (KvN) in the 30's. They basically formalized, via the introduction of a classical Hilbert space, earlier work of Liouville who had shown that the classical time evolution can take place via an operator, nowadays known as the Liouville operator. In this paper we study how to perform the coupling of a point particle to a gauge field in the KvN version of CM. So we basically implement at the classical operatorial level the analog of the minimal coupling of QM. …
Quantum bialgebras derivable from Uq(sl2) which contain idempotents and von Neumann regular Cartan-like generators are introduced and investigated. Various types of antipodes (invertible and von Neumann regular) on these bialgebras are constructed, which leads to a Hopf algebra structure and a von Neumann-Hopf algebra structure, respectively. For them, explicit forms of some particular R-matrices (also, invertible and von Neumann regular) are presented, and the latter respects the Pierce decomposition.
We present a simplified proof of the von Neumann's Quantum Ergodic Theorem. This important result was initially published in german by J. von Neumann in 1929. We are interested here in the time evolution $ψ_t$, $t\geq 0$, (for large times) under the Schrodinger equation associated to a given fixed Hamiltonian $H : \mathcal{H} \to \mathcal{H}$ and a general initial condition $ψ_0$. The dimension of the Hilbert space $\mathcal{H}$ is finite.
In quantum information theory, von Neumann entropy plays an important role. The entropies can be obtained analytically only for a few states. In continuous variable system, even evaluating entropy numerically is not an easy task since the dimension is infinite. We develop the perturbation theory systematically for calculating von Neumann entropy of non-degenerate systems as well as degenerate systems. The result turns out to be a practical way of the expansion calculation of von Neumann entropy.
The name of John von Neumann is common both in quantum mechanics and computer science. Are they really two absolutely unconnected areas? Many works devoted to quantum computations and communications are serious argument to suggest about existence of such a relation, but it is impossible to touch the new and active theme in a short review. In the paper are described the structures and models of linear algebra and just due to their generality it is possible to use universal description of very different areas as quantum mechanics and theory of Bayesian image analysis, associative memory, neural …
We explore the relation between the von Neumann entropy and the Renyi entropies of integer orders for shift-invariant quasi-free Fermionic lattice systems. We investigate approximating the von Neumann entropy by a combination of integer-order Renyi entropies and give an estimate for the quality of such an approximation.
The Rényi and von Neumann entropies of various bipartite Gaussian states are derived analytically. We also discuss on the tripartite purification for the bipartite states when some particular conditions hold. The generalization to non-Gaussian states is briefly discussed.
he analytic formulas for structure constants of $su(2S+1)$ algebra in terms of $3jm$ and $6j$ symbols of $su(2)$ have been derived for the decomplexification of the Liouville-von Neumann equation.
The von Neumann entropy of a density matrix of dimension d, expressed in terms of the first d-1 integer order Rényi entropies, is monotonically increasing in Rényi entropies of even order and decreasing in those of odd order.
We present a model of Selinger and Valiron's quantum lambda calculus based on von Neumann algebras, and show that the model is adequate with respect to the operational semantics.
We review the postulates of quantum mechanics that are needed to discuss the von Neumann's entropy. We introduce it as a generalization of Shannon's entropy and propose a simple game that makes easier understanding its physical meaning.
We apply the machinery of projection lattices and von Neumann algebras to analyze the question of how modal interpretations can (and do) circumvent von Neumann's infamous 'no-hidden-variables' theorem.
Few things in physics have caused so much hand-wringing as von Neumann's collapse hypothesis. Unable to derive it mathematically, von Neumann attributed it to interaction with the observer's brain! Few physicists agreed, but tweaks of von Neumann's measurement theory did not lead to collapse, and Shimony and Brown proved theorems establishing `the insolubility of the quantum measurement problem'. Many different `interpretations' of quantum mechanics were put forward, none gained a consensus, and some scholars suggested that the foundations of quantum mechanics were flawed to begin with. Yet, i…
One to one correspondence between the decay law of the von Neumann-Wigner type potentials and the asymptotic behaviour of the wave functions representing bound states in the continuum is established.
Let ${\mathcal M}$ be a von Neumann algebra with no central summands of type I$_1$. It is shown that every nonlinear $ξ-$Lie derivation ($ξ\neq 1$) on $\mathcal M$ is an additive derivation.
Modern development of quantum technologies based on quantum information theory stimulated analysis of proposed computational, cryptographic and teleportational schemes from the viewpoint of quantum foundations. It is evident that not all mathematical calculations performed in complex Hilbert space can be directly realized in physical space. Recently by analyzing the original EPR paper we found that they argument was based on the misuse of the von Neumann's projection postulate. Opposite to von Neumann, Einstein, Podolsky and Rosen (EPR) applied this postulate to observables represented by oper…
We extend Gour et al's characterization of quantum majorization via conditional min-entropy to the context of semifinite von Neumann algebras. Our method relies on a connection between conditional min-entropy and operator space projective tensor norm for injective von Neumann algebras. This approach also connects the tracial Hahn-Banach theorem of Helton, Klep and McCullough to noncommutative vector-valued $L_1$-space.
We review the famous no-hidden-variables theorem in John von Neumann's 1932 book on the mathematical foundations of quantum mechanics. We describe the notorious gap in von Neumann's argument, pointed out by Grete Hermann in 1935 and, more famously, by John Bell in 1966. We disagree with recent papers claiming that Hermann and Bell failed to understand what von Neumann was actually doing.
Wikipedia has claimed for over three years now that John von Neumann was the "first quantum Bayesian." In context, this reads as stating that von Neumann inaugurated QBism, the approach to quantum theory promoted by Fuchs, Mermin and Schack. This essay explores how such a claim is, historically speaking, unsupported.
Recently, attention has returned to the now-famous 1932 thought experiment in which John von Neumann establishes the form of the quantum mechanical von Neumann entropy -Tr $ ρ\ln ρ$ ($S_{VN}$), supposedly by arguing for its correspondence with the phenomenological thermodynamic entropy ($S_{TD}$). Hemmo and Shenker (2006) reconstruct von Neumann's thought experiment and argue that it fails to establish this desired correspondence. Prunkl (2019) and Chua (2019) challenge Hemmo and Shenker's result in turn. This paper aims to provide a new foundation for the current debate by revisiting the orig…
