arXiv subjects

Dimitrios Giannakis

Publications and source records attributed to Dimitrios Giannakis.

At least 19 recordsLinked to original sources

arXiv2026

Measure-free Koopman-von Neumann Dynamics and Noncommutative Geometry

The Koopman-von Neumann formulation of classical statistical dynamics maps the isometric evolution of probability densities in $L^1$ under the Liouville equation to a unitary evolution of quantum mechanical wavefunctions in $L^2$ generated by the antisymmetric part of the Liouville operator. This approach enables the use of Hilbert space techniques to model the statistical evolution of observables. However, being an $L^2$ method, it is not suitable for representing pointwise evolution along dynamical trajectories. We propose a Koopman-von Neumann framework that replaces the $L^p$ spaces associated with a volume measure on the state space manifold, $X$, by a reproducing kernel Hilbert space (RKHS), $\mathcal H$, of continuous functions on $X$ that satisfy joint analyticity conditions with respect to the generator (vector field), $V$, of the dynamics and its RKHS adjoint. Our scheme employs a dilation of the antisymmetric part of $V$ to an essentially skew-adjoint operator, $L$, on the tensor product Hilbert space $\mathfrak H = \ell^2(\mathbb N) \otimes \mathcal H$, followed by a dilation of $L$ to an essentially skew-adjoint, free derivation, $\mathcal D$, acting on a weighted symmetric Fock space $\mathfrak F$ generated by $\mathfrak H$. We show that the unitary evolution generated by $\mathcal D$ consistently recovers the (generally, non-unitary) Koopman evolution of observables in a dense subalgebra of $\mathcal H$ generated by jointly analytic vectors, over a time interval that is uniformly bounded away from zero. We then build a family of weak spectral triples $(\mathcal A_n, \mathfrak F, -i \mathcal D)$, $n \in \mathbb N$, wherein $\mathcal A_n$ are non-abelian $*$-subalgebras of $B(\mathfrak F)$ generated by creation and annihilation operators and $-i \mathcal D$ plays the role of a Dirac operator inducing extended pseudometrics on the state spaces of $\mathcal A_n$.

math.DS↗

arXiv2026

Data-driven methods for computation of optimal linear response in high-dimensional dynamical systems

We develop a data-driven framework for estimating optimal linear response of nonlinear dynamical systems. Our approach is based on kernel-smoothed approximations of the transfer/Koopman operators of the system, built from possibly high-dimensional observations along trajectories. Combining these operator approximations with the theory developed in [Antown et al. (2018), J. Stat. Phys., 170(6), 1051-1087], we formulate a computationally tractable optimization problem for the optimal infinitesimal perturbation realising any desired manipulation of the spectrum. We also introduce a notion of optimal-response vector fields for visualising, and physically interpreting, the system's response to the optimal perturbation under arbitrary observations. Our focus is on finding perturbations that optimally increase the frequency or optimally suppress the decay of correlations of almost-cycles or almost-invariant sets associated with the eigenvalues of the kernel-smoothed transfer operator. We illustrate our approach with applications to low-dimensional periodic and chaotic systems, as well as a high-dimensional example involving the El Nino Southern Oscillation in a comprehensive Earth system model. In these examples our approach discovers nontrivial optimal perturbations of the system, which are post hoc natural and consistent with the desired dynamical objectives.

math.DS↗

arXiv2026

Affiliated operators for classical and quantum control

Using techniques from the theory of von Neumann algebras, we propose a framework for addressing questions of controllability of bilinear systems on infinite dimensional Hilbert spaces. In the setup, we assume only that the drift and control terms arising in a bilinear control system are affiliated with a von Neumann algebra of finite type acting on the same Hilbert space. When the control terms satisfy basic norm bound conditions, we prove existence of time-optimal controls. In the more general setting where all operators may be unbounded, we show how the dynamical Lie algebra for the system is still well-defined and may be used to check approximate controllability of the system in question. We discuss how this approach can be applied to classical dynamical systems through the Koopman operator formalism, and investigate potential candidates for the von Neumann algebra which may guide the choice of controls. We illustrate how an affiliation relation naturally arises in both classical and quantum control systems with a few examples.

math.OC↗

arXiv2026

On Algebras of Functions over Infinite Dimensions

We introduce a family of reproducing kernel Hilbert spaces $\mathcal A_\Lambda$ of holomorphic functions defined on an infinite--dimensional domain in a separable Hilbert space, $\mathbb{H}$. The reproducing kernel of $\mathcal A_\Lambda$ is constructed using the covariance operator associated with a Gaussian measure on $\mathbb{H}$, along with a holomorphic function $\Lambda$ on the unit disk. Under certain conditions on the kernel, $\mathcal A_\Lambda$ is closed under pointwise multiplication, giving it the structure of a reproducing kernel Hilbert algebra (RKHA). We also study twisted canonical commutation relations on these RKHAs, where the creation and annihilation operators are both bounded.

math-ph↗

arXiv2026

Koopman and transfer operator techniques from the perspective of quantum theory

The study of mathematical connections between operator-theoretic formulations of classical dynamics and quantum mechanics began at least as early as the 1930s in work of Koopman and von Neumann and was developed in later decades by many authors, often independently, into a framework now broadly known as Koopman-von Neumann representation of classical dynamics. This article surveys aspects of this framework for measure-preserving ergodic dynamical systems and connects it with recent approximation techniques for Koopman and transfer operators that are amenable to data-driven numerical implementation. In broad terms, these methods are based on representations of (i) classical observables as elements of an algebra of operators acting on a Hilbert space; and (ii) classical probability measures as elements of the state space of that algebra, with lifted versions of the Koopman and transfer operators inducing dynamical evolution of observables and states, respectively. A common theme underlying the techniques surveyed here is the use of reproducing kernel Hilbert spaces with coalgebra structure (so-called "reproducing kernel Hilbert algebras'') that aids the quantum representation of classical objects, as well as the use of Fock spaces to build approximation schemes with high expressivity and structure preservation properties (notably, preservation of positivity and multiplicativity of composition operators). Applications to quantum algorithms for approximating the Koopman evolution of observables in systems with pure point spectra are also discussed.

math.DS↗

arXiv2025

Accelerated decomposition of bistochastic kernel matrices by low rank approximation

We develop an accelerated algorithm for the approximate eigenvalue decomposition of symmetrically normalized kernel matrices, focusing on a bistochastic normalization. Our approach constructs a low rank approximation of the original kernel matrix by the pivoted partial Cholesky algorithm, and uses it to compute an approximate decomposition of its normalization without requiring the formation of the full kernel matrix. The cost of the proposed algorithm depends linearly on the size of the employed training dataset and quadratically on the rank of the low rank approximation, offering a significant cost reduction compared to the naive approach. We derive trace norm error bounds for the approximation of two classes of normalized kernel matrices. We apply the proposed algorithm to the kernel based extraction of spatiotemporal patterns from chaotic Kuramoto-Sivashinsky dynamics.

math.NA↗

arXiv2025

Quantum mechanical closure of partial differential equations with symmetries

We develop a statistical framework for the dynamical closure of spatiotemporal dynamics governed by partial differential equations. Employing the mathematical framework of quantum mechanics to embed the original classical dynamics into a quantum mechanical representation, we use the space of quantum density operators to model the unresolved degrees of freedom of the original dynamics in a statistical sense, and the framework of quantum measurement to predict their contributions to the resolved dynamics. The embedded dynamics is discretized by a positivity preserving process, leading to a compressed representation that is invariant under the dynamical symmetries of the resolved dynamics. We present a data based formulation of the closure scheme and apply it to a closure problem for the shallow water equations. The numerical results demonstrate that our closure model can accurately predict the main features of the true dynamics, including for out of sample initial conditions.

math.DS↗

arXiv2025

Learning Dynamical Systems with the Spectral Exterior Calculus

We present a data-driven framework for learning dynamical systems on compact Riemannian manifolds based on the spectral exterior calculus (SEC). This approach represents vector fields as linear combinations of frame elements constructed using the eigenfunctions of the Laplacian on smooth functions, along with their gradients. Such reconstructed vector fields generate dynamical flows that consistently approximate the true system, while being compatible with the nonlinear geometry of the manifold. The data-driven implementation of this framework utilizes embedded data points and tangent vectors as training data, along with a graph-theoretic approximation of the Laplacian. In this paper, we prove the convergence of the SEC-based reconstruction in the limit of large data. Moreover, we illustrate the approach numerically with applications to dynamical systems on the unit circle and the 2-torus. In these examples, the reconstructed vector fields compare well with the true vector fields, in terms of both pointwise estimates and generation of orbits.

math.DS↗

arXiv2025

Second quantization for classical nonlinear dynamics

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_\tau)$ generated by a 1-parameter family of reproducing kernel Hilbert spaces $\mathcal H_\tau$, 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_\tau)$ and show that their Banach algebra spectra, $\sigma(F_w(\mathcal H_\tau))$, decompose into a family of tori of potentially infinite dimension. Spectrally consistent unitary approximations $U^t_\tau$ of the Koopman operator acting on $\mathcal H_\tau$ 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 $\sigma(F_w(\mathcal H_\tau))$ of arbitrarily large degree, with coefficients determined from pointwise products of eigenfunctions of $U^t_\tau$. 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.

math.DS↗

arXiv2024

Physics-informed spectral approximation of Koopman operators

Koopman operators and transfer operators represent nonlinear dynamics in state space through its induced action on linear spaces of observables and measures, respectively. This framework enables the use of linear operator theory for supervised and unsupervised learning of nonlinear dynamical systems, and has received considerable interest in recent years. Here, we propose a data-driven technique for spectral approximation of Koopman operators of continuous-time, measure-preserving ergodic systems that is asymptotically consistent and makes direct use of known equations of motion (physics). Our approach is based on a bounded transformation of the Koopman generator (an operator implementing directional derivatives of observables along the dynamical flow), followed by smoothing by a Markov semigroup of kernel integral operators. This results in a skew-adjoint, compact operator whose eigendecomposition is expressible as a variational generalized eigenvalue problem. We develop Galerkin methods to solve this eigenvalue problem and study their asymptotic consistency in the large-data limit. A key aspect of these methods is that they are physics-informed, in the sense of making direct use of dynamical vector field information through automatic differentiation of kernel functions. Solutions of the eigenvalue problem reconstruct evolution operators that preserve unitarity of the underlying Koopman group while spectrally converging to it in a suitable limit. In addition, the computed eigenfunctions have representatives in a reproducing kernel Hilbert space, enabling out-of-sample evaluation of learned dynamical features. Numerical experiments performed with this method on integrable and chaotic low-dimensional systems demonstrate its efficacy in extracting dynamically coherent observables under complex dynamics.

math.DS↗

arXiv2024

Tensor network approximation of Koopman operators

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_\tau$ that acts on a reproducing kernel Hilbert space $\mathcal H_\tau$ 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_\tau}$ (which can be thought of as regularized Koopman operators) to a unitary evolution group on the Fock space $F(\mathcal H_\tau)$ generated by $\mathcal H_\tau$ 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_\tau^{\otimes n} \subset F(\mathcal H_\tau)$ 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_\tau$. 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.

math.DS↗

arXiv2024

Consistent spectral approximation of Koopman operators using resolvent compactification

Koopman operators and transfer operators represent dynamical systems through their induced linear action on vector spaces of observables, enabling the use of operator-theoretic techniques to analyze nonlinear dynamics in state space. The extraction of approximate Koopman or transfer operator eigenfunctions (and the associated eigenvalues) from an unknown system is nontrivial, particularly if the system has mixed or continuous spectrum. In this paper, we describe a spectrally accurate approach to approximate the Koopman operator on $L^2$ for measure-preserving, continuous-time systems via a ``compactification'' of the resolvent of the generator. This approach employs kernel integral operators to approximate the skew-adjoint Koopman generator by a family of skew-adjoint operators with compact resolvent, whose spectral measures converge in a suitable asymptotic limit, and whose eigenfunctions are approximately periodic. Moreover, we develop a data-driven formulation of our approach, utilizing data sampled on dynamical trajectories and associated dictionaries of kernel eigenfunctions for operator approximation. The data-driven scheme is shown to converge in the limit of large training data under natural assumptions on the dynamical system and observation modality. We explore applications of this technique to dynamical systems on tori with pure point spectra and the Lorenz 63 system as an example with mixing dynamics.

math.DS↗

arXiv2024

Kernel Smoothing Operators on Thick Open Domains

We define the notion of a thick open set $Ω$ in a Euclidean space and show that a local Hardy-Littlewood inequality holds in $L^p(Ω)$, $p \in (1, \infty]$. We then establish pointwise and $L^p(Ω)$ convergence for families of convolution operators with a Markov normalization on $Ω$. We demonstrate application of such smoothing operators to piecewise-continuous density, velocity, and stress fields from discrete element models of sea ice dynamics.

math.CA↗

arXiv2024

An algebra structure for reproducing kernel Hilbert spaces

Reproducing kernel Hilbert spaces (RKHSs) are Hilbert spaces of functions where pointwise evaluation is continuous. There are known examples of RKHSs that are Banach algebras under pointwise multiplication. These examples are built from weights on the dual of a locally compact abelian group. In this paper we define an algebra structure on an RKHS that is equivalent to subconvolutivity of the weight for known examples (referred to as reproducing kernel Hilbert algebras, or RKHAs). We show that the class of RKHAs is closed under the Hilbert space tensor product and the pullback construction on the category of RKHSs. The subcategory of RKHAs becomes a monoidal category with the spectrum as a monoidal functor to the category of topological spaces. The image of this functor is shown to contain all compact subspaces of $\mathbb R^n$ for $n>0$.

math.FA↗

arXiv2023

Revealing trends and persistent cycles of non-autonomous systems with operator-theoretic techniques: Applications to past and present climate dynamics

An important problem in modern applied science is characterizing the behavior of systems with complex internal dynamics subjected to external forcings from their environment. While a great variety of techniques has been developed to analyze such non-autonomous systems, many approaches rely on the availability of ensembles of experiments or simulations in order to generate sufficient information to encapsulate the external forcings. This makes them unsuitable to study important classes of natural systems such as climate dynamics where only a single realization is observed. Here, we show that operator-theoretic techniques previously developed to identify slowly decaying observables of autonomous dynamical systems provide a powerful means for identifying trends and persistent cycles of non-autonomous systems using data from a \emph{single} trajectory of the system. Using systematic mathematical analysis and prototype examples, we demonstrate that eigenfunctions of Koopman and transfer operators provide coordinates that simultaneously capture nonlinear trends and coherent modes of internal variability. In addition, we apply our framework to two real-world examples from present and past climate dynamics: Variability of sea surface temperature (SST) over the industrial era and the mid-Pleistocene transition (MPT) of Quaternary glaciation cycles. Our results provide a nonparametric representation of SST and surface air temperature (SAT) trends over the industrial era, while also capturing the response of the seasonal precipitation cycle to these trends. In addition, our paleo-climate analysis reveals the dominant glaciation cycles over the past 3 million years and the MPT with a high level of granularity.

math.DS↗

arXiv2023

Koopman spectral analysis of skew-product dynamics on Hilbert $C^*$-modules

We introduce a linear operator on a Hilbert $C^*$-module for analyzing skew-product dynamical systems. The operator is defined by composition and multiplication. We show that it admits a decomposition in the Hilbert $C^*$-module, called eigenoperator decomposition, that generalizes the concept of the eigenvalue decomposition. This decomposition reconstructs the Koopman operator of the system in a manner that represents the continuous spectrum through eigenoperators. In addition, it is related to the notions of cocycle and Oseledets subspaces and it is useful for characterizing coherent structures under skew-product dynamics. We present numerical applications to simple systems on two-dimensional domains.

math.DS↗

arXiv2023

On harmonic Hilbert spaces on compact abelian groups

Harmonic Hilbert spaces on locally compact abelian groups are reproducing kernel Hilbert spaces (RKHSs) of continuous functions constructed by Fourier transform of weighted $L^2$ spaces on the dual group. It is known that for suitably chosen subadditive weights, every such space is a Banach algebra with respect to pointwise multiplication of functions. In this paper, we study RKHSs associated with subconvolutive functions on the dual group. Sufficient conditions are established for these spaces to be symmetric Banach $^*$-algebras with respect to pointwise multiplication and complex conjugation of functions (here referred to as RKHAs). In addition, we study aspects of the spectra and state spaces of RKHAs. Sufficient conditions are established for an RKHA on a compact abelian group $G$ to have the same spectrum as the $C^*$-algebra of continuous functions on $G$. We also consider one-parameter families of RKHSs associated with semigroups of self-adjoint Markov operators on $L^2(G)$, and show that in this setting subconvolutivity is a necessary and sufficient condition for these spaces to have RKHA structure. Finally, we establish embedding relationships between RKHAs and a class of Fourier--Wermer algebras that includes spaces of dominating mixed smoothness used in high-dimensional function approximation.

math.FA↗

arXiv2022

Quantum Mechanics for Closure of Dynamical Systems

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.

math.DS↗