-
Second quantization for classical nonlinear dynamics
Authors:
Dimitrios Giannakis,
Mohammad Javad Latifi Jebelli,
Michael Montgomerry,
Philipp Pfeffer,
Jörg Schumacher,
Joanna Slawinska
Abstract:
Using techniques from many-body quantum theory, we propose a framework for representing the evolution of observables of measure-preserving ergodic flows through infinite-dimensional rotation systems on tori. This approach is based on a class of weighted Fock spaces $F_w(\mathcal H_τ)$ generated by a 1-parameter family of reproducing kernel Hilbert spaces $\mathcal H_τ$, and endowed with commutativ…
▽ More
Using techniques from many-body quantum theory, we propose a framework for representing the evolution of observables of measure-preserving ergodic flows through infinite-dimensional rotation systems on tori. This approach is based on a class of weighted Fock spaces $F_w(\mathcal H_τ)$ generated by a 1-parameter family of reproducing kernel Hilbert spaces $\mathcal H_τ$, and endowed with commutative Banach algebra structure under the symmetric tensor product using a subconvolutive weight $w$. We describe the construction of the spaces $F_w(\mathcal H_τ)$ and show that their Banach algebra spectra, $σ(F_w(\mathcal H_τ))$, decompose into a family of tori of potentially infinite dimension. Spectrally consistent unitary approximations $U^t_τ$ of the Koopman operator acting on $\mathcal H_τ$ are then lifted to rotation systems on these tori akin to the topological models of ergodic systems with pure point spectra in the Halmos--von Neumann theorem. Our scheme also employs a procedure for representing observables of the original system by polynomial functions on finite-dimensional tori in $σ(F_w(\mathcal H_τ))$ of arbitrarily large degree, with coefficients determined from pointwise products of eigenfunctions of $U^t_τ$. This leads to models for the Koopman evolution of observables on $L^2$ built from tensor products of finite collections of approximate Koopman eigenfunctions. Numerically, the scheme is amenable to consistent data-driven implementation using kernel methods. We illustrate it with applications to Stepanoff flows on the 2-torus and the Lorenz 63 system. Connections with quantum computing are also discussed.
△ Less
Submitted 10 March, 2025; v1 submitted 13 January, 2025;
originally announced January 2025.
-
Tensor network approximation of Koopman operators
Authors:
Dimitrios Giannakis,
Mohammad Javad Latifi Jebelli,
Michael Montgomery,
Philipp Pfeffer,
Jörg Schumacher,
Joanna Slawinska
Abstract:
We propose a tensor network framework for approximating the evolution of observables of measure-preserving ergodic systems. Our approach is based on a spectrally-convergent approximation of the skew-adjoint Koopman generator by a diagonalizable, skew-adjoint operator $W_τ$ that acts on a reproducing kernel Hilbert space $\mathcal H_τ$ with coalgebra structure and Banach algebra structure under the…
▽ More
We propose a tensor network framework for approximating the evolution of observables of measure-preserving ergodic systems. Our approach is based on a spectrally-convergent approximation of the skew-adjoint Koopman generator by a diagonalizable, skew-adjoint operator $W_τ$ that acts on a reproducing kernel Hilbert space $\mathcal H_τ$ with coalgebra structure and Banach algebra structure under the pointwise product of functions. Leveraging this structure, we lift the unitary evolution operators $e^{t W_τ}$ (which can be thought of as regularized Koopman operators) to a unitary evolution group on the Fock space $F(\mathcal H_τ)$ generated by $\mathcal H_τ$ that acts multiplicatively with respect to the tensor product. Our scheme also employs a representation of classical observables ($L^\infty$ functions of the state) by quantum observables (self-adjoint operators) acting on the Fock space, and a representation of probability densities in $L^1$ by quantum states. Combining these constructions leads to an approximation of the Koopman evolution of observables that is representable as evaluation of a tree tensor network built on a tensor product subspace $\mathcal H_τ^{\otimes n} \subset F(\mathcal H_τ)$ of arbitrarily high grading $n \in \mathbb N$. A key feature of this quantum-inspired approximation is that it captures information from a tensor product space of dimension $(2d+1)^n$, generated from a collection of $2d + 1$ eigenfunctions of $W_τ$. Furthermore, the approximation is positivity preserving. The paper contains a theoretical convergence analysis of the method and numerical applications to two dynamical systems on the 2-torus: an ergodic torus rotation as an example with pure point Koopman spectrum and a Stepanoff flow as an example with topological weak mixing.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Quantum Mechanics for Closure of Dynamical Systems
Authors:
David Freeman,
Dimitrios Giannakis,
Joanna Slawinska
Abstract:
We propose a scheme for data-driven parameterization of unresolved dimensions of dynamical systems based on the mathematical framework of quantum mechanics and Koopman operator theory. Given a system in which some components of the state are unknown, this method involves defining a surrogate system in a time-dependent quantum state which determines the fluxes from the unresolved degrees of freedom…
▽ More
We propose a scheme for data-driven parameterization of unresolved dimensions of dynamical systems based on the mathematical framework of quantum mechanics and Koopman operator theory. Given a system in which some components of the state are unknown, this method involves defining a surrogate system in a time-dependent quantum state which determines the fluxes from the unresolved degrees of freedom at each timestep. The quantum state is a density operator on a finite-dimensional Hilbert space of classical observables and evolves over time under an action induced by the Koopman operator. The quantum state also updates with new values of the resolved variables according to a quantum Bayes' law, implemented via an operator-valued feature map. Kernel methods are utilized to learn data-driven basis functions and represent quantum states, observables, and evolution operators as matrices. The resulting computational schemes are automatically positivity-preserving, aiding in the physical consistency of the parameterized system. We analyze the results of two different modalities of this methodology applied to the Lorenz 63 and Lorenz 96 multiscale systems, and show how this approach preserves important statistical and qualitative properties of the underlying chaotic systems.
△ Less
Submitted 5 August, 2022;
originally announced August 2022.
-
Data Assimilation in Operator Algebras
Authors:
David Freeman,
Dimitrios Giannakis,
Brian Mintz,
Abbas Ourmazd,
Joanna Slawinska
Abstract:
We develop an algebraic framework for sequential data assimilation of partially observed dynamical systems. In this framework, Bayesian data assimilation is embedded in a non-abelian operator algebra, which provides a representation of observables by multiplication operators and probability densities by density operators (quantum states). In the algebraic approach, the forecast step of data assimi…
▽ More
We develop an algebraic framework for sequential data assimilation of partially observed dynamical systems. In this framework, Bayesian data assimilation is embedded in a non-abelian operator algebra, which provides a representation of observables by multiplication operators and probability densities by density operators (quantum states). In the algebraic approach, the forecast step of data assimilation is represented by a quantum operation induced by the Koopman operator of the dynamical system. Moreover, the analysis step is described by a quantum effect, which generalizes the Bayesian observational update rule. Projecting this formulation to finite-dimensional matrix algebras leads to new computational data assimilation schemes that are (i) automatically positivity-preserving; and (ii) amenable to consistent data-driven approximation using kernel methods for machine learning. Moreover, these methods are natural candidates for implementation on quantum computers. Applications to data assimilation of the Lorenz 96 multiscale system and the El Nino Southern Oscillation in a climate model show promising results in terms of forecast skill and uncertainty quantification.
△ Less
Submitted 27 June, 2022;
originally announced June 2022.
-
Embedding classical dynamics in a quantum computer
Authors:
Dimitrios Giannakis,
Abbas Ourmazd,
Philipp Pfeffer,
Joerg Schumacher,
Joanna Slawinska
Abstract:
We develop a framework for simulating measure-preserving, ergodic dynamical systems on a quantum computer. Our approach provides a new operator-theoretic representation of classical dynamics by combining ergodic theory with quantum information science. The resulting quantum embedding of classical dynamics (QECD) enables efficient simulation of spaces of classical observables with exponentially lar…
▽ More
We develop a framework for simulating measure-preserving, ergodic dynamical systems on a quantum computer. Our approach provides a new operator-theoretic representation of classical dynamics by combining ergodic theory with quantum information science. The resulting quantum embedding of classical dynamics (QECD) enables efficient simulation of spaces of classical observables with exponentially large dimension using a quadratic number of quantum gates. The QECD framework is based on a quantum feature map for representing classical states by density operators on a reproducing kernel Hilbert space, $\mathcal H $, and an embedding of classical observables into self-adjoint operators on $\mathcal H$. In this scheme, quantum states and observables evolve unitarily under the lifted action of Koopman evolution operators of the classical system. Moreover, by virtue of the reproducing property of $\mathcal H$, the quantum system is pointwise-consistent with the underlying classical dynamics. To achieve an exponential quantum computational advantage, we project the state of the quantum system to a density matrix on a $2^n$-dimensional tensor product Hilbert space associated with $n$ qubits. By employing discrete Fourier-Walsh transforms, the evolution operator of the finite-dimensional quantum system is factorized into tensor product form, enabling implementation through a quantum circuit of size $O(n)$. Furthermore, the circuit features a state preparation stage, also of size $O(n)$, and a quantum Fourier transform stage of size $O(n^2)$, which makes predictions of observables possible by measurement in the standard computational basis. We prove theoretical convergence results for these predictions as $n\to\infty$. We present simulated quantum circuit experiments in Qiskit Aer, as well as actual experiments on the IBM Quantum System One.
△ Less
Submitted 15 November, 2021; v1 submitted 10 December, 2020;
originally announced December 2020.
-
Quantum dynamics of the classical harmonic oscillator
Authors:
Dimitrios Giannakis
Abstract:
A correspondence is established between measure-preserving, ergodic dynamics of a classical harmonic oscillator and a quantum mechanical gauge theory on two-dimensional Minkowski space. This correspondence is realized through an isometric embedding of the $L^2(μ)$ space on the circle associated with the oscillator's invariant measure, $ μ$, into a Hilbert space $\mathcal{H}$ of sections of a…
▽ More
A correspondence is established between measure-preserving, ergodic dynamics of a classical harmonic oscillator and a quantum mechanical gauge theory on two-dimensional Minkowski space. This correspondence is realized through an isometric embedding of the $L^2(μ)$ space on the circle associated with the oscillator's invariant measure, $ μ$, into a Hilbert space $\mathcal{H}$ of sections of a $\mathbb{C}$-line bundle over Minkowski space. This bundle is equipped with a covariant derivative induced from an SO$^+$(1,1) gauge field (connection 1-form) on the corresponding inertial frame bundle, satisfying the Yang-Mills equations. Under this embedding, the Hamiltonian operator of a Lorentz-invariant quantum system, constructed as a natural Laplace-type operator on bundle sections, pulls back to the generator of the unitary group of Koopman operators governing the evolution of classical observables of the harmonic oscillator, with Koopman eigenfunctions of zero, positive, and negative eigenfrequency corresponding to quantum eigenstates of zero ("vacuum"), positive ("matter"), and negative ("antimatter") energy. The embedding also induces a pair of operators acting on classical observables of the harmonic oscillator, exhibiting canonical position-momentum commutation relationships. These operators have the structure of order-$1/2$ fractional derivatives, and therefore display a form of non-locality. In a second part of this work, we study a quantum mechanical representation of the classical harmonic oscillator using a one-parameter family of reproducing kernel Hilbert algebras associated with the transition kernel of a fractional diffusion on the circle, where a stronger notion of classical-quantum consistency is established than in the $L^2(μ)$ case.
△ Less
Submitted 29 January, 2020; v1 submitted 27 December, 2019;
originally announced December 2019.