-
Using Linearized Optimal Transport to Predict the Evolution of Stochastic Particle Systems
Authors:
Nicholas Karris,
Evangelos A. Nikitopoulos,
Ioannis G. Kevrekidis,
Seungjoon Lee,
Alexander Cloninger
Abstract:
We develop an Euler-type method to predict the evolution of a time-dependent probability measure without explicitly learning an operator that governs its evolution. We use linearized optimal transport theory to prove that the measure-valued analog of Euler's method is first-order accurate when the measure evolves ``smoothly.'' In applications of interest, however, the measure is an empirical distr…
▽ More
We develop an Euler-type method to predict the evolution of a time-dependent probability measure without explicitly learning an operator that governs its evolution. We use linearized optimal transport theory to prove that the measure-valued analog of Euler's method is first-order accurate when the measure evolves ``smoothly.'' In applications of interest, however, the measure is an empirical distribution of a system of stochastic particles whose behavior is only accessible through an agent-based micro-scale simulation. In such cases, this empirical measure does not evolve smoothly because the individual particles move chaotically on short time scales. However, we can still perform our Euler-type method, and when the particles' collective distribution approximates a measure that \emph{does} evolve smoothly, we observe that the algorithm still accurately predicts this collective behavior over relatively large Euler steps. We specifically demonstrate the efficacy of our approach by showing that our algorithm vastly reduces the number of micro-scale steps needed to correctly approximate long-term behavior in two illustrative examples, reflected Brownian motion and a model of bacterial chemotaxis.
△ Less
Submitted 15 February, 2025; v1 submitted 3 August, 2024;
originally announced August 2024.
-
A Martingale Approach to Noncommutative Stochastic Calculus
Authors:
David A. Jekel,
Todd A. Kemp,
Evangelos A. Nikitopoulos
Abstract:
We present a new approach to noncommutative stochastic calculus that is, like the classical theory, based primarily on the martingale property. Using this approach, we introduce a general theory of stochastic integration and quadratic (co)variation for a certain class of noncommutative processes -- analogous to semimartingales -- that includes both the $q$-Brownian motions and classical…
▽ More
We present a new approach to noncommutative stochastic calculus that is, like the classical theory, based primarily on the martingale property. Using this approach, we introduce a general theory of stochastic integration and quadratic (co)variation for a certain class of noncommutative processes -- analogous to semimartingales -- that includes both the $q$-Brownian motions and classical $n \times n$ matrix-valued Brownian motions. As applications, we obtain Burkholder-Davis-Gundy inequalities (with $p \geq 2$) for continuous-time noncommutative martingales and a noncommutative Itô formula for "adapted $C^2$ maps," including trace $\ast$-polynomial maps and operator functions associated to the noncommutative $C^2$ scalar functions $\mathbb{R} \to \mathbb{C}$ introduced by Nikitopoulos, as well as the more general multivariate tracial noncommutative $C^2$ functions introduced by Jekel-Li-Shlyakhtenko.
△ Less
Submitted 18 August, 2023;
originally announced August 2023.
-
Higher derivatives of operator functions in ideals of von Neumann algebras
Authors:
Evangelos A. Nikitopoulos
Abstract:
Let $\mathscr{M}$ be a von Neumann algebra and $a$ be a self-adjoint operator affiliated with $\mathscr{M}$. We define the notion of an "integral symmetrically normed ideal" of $\mathscr{M}$ and introduce a space $OC^{[k]}(\mathbb{R}) \subseteq C^k(\mathbb{R})$ of functions $\mathbb{R} \to \mathbb{C}$ such that the following result holds: for any integral symmetrically normed ideal $\mathscr{I}$ o…
▽ More
Let $\mathscr{M}$ be a von Neumann algebra and $a$ be a self-adjoint operator affiliated with $\mathscr{M}$. We define the notion of an "integral symmetrically normed ideal" of $\mathscr{M}$ and introduce a space $OC^{[k]}(\mathbb{R}) \subseteq C^k(\mathbb{R})$ of functions $\mathbb{R} \to \mathbb{C}$ such that the following result holds: for any integral symmetrically normed ideal $\mathscr{I}$ of $\mathscr{M}$ and any $f \in OC^{[k]}(\mathbb{R})$, the operator function $\mathscr{I}_{\mathrm{sa}} \ni b \mapsto f(a+b)-f(a) \in \mathscr{I}$ is $k$-times continuously Fréchet differentiable, and the formula for its derivatives may be written in terms of multiple operator integrals. Moreover, we prove that if $f \in \dot{B}_1^{1,\infty}(\mathbb{R}) \cap \dot{B}_1^{k,\infty}(\mathbb{R})$ and $f'$ is bounded, then $f \in OC^{[k]}(\mathbb{R})$. Finally, we prove that all of the following ideals are integral symmetrically normed: $\mathscr{M}$ itself, separable symmetrically normed ideals, Schatten $p$-ideals, the ideal of compact operators, and -- when $\mathscr{M}$ is semifinite -- ideals induced by fully symmetric spaces of measurable operators.
△ Less
Submitted 23 December, 2023; v1 submitted 8 July, 2021;
originally announced July 2021.
-
Multiple operator integrals in non-separable von Neumann algebras
Authors:
Evangelos A. Nikitopoulos
Abstract:
A multiple operator integral (MOI) is an indispensable tool in several branches of noncommutative analysis. However, there are substantial technical issues with the existing literature on the "separation of variables" approach to defining MOIs, especially when the underlying Hilbert spaces are not separable. In this paper, we provide a detailed development of this approach in a very general settin…
▽ More
A multiple operator integral (MOI) is an indispensable tool in several branches of noncommutative analysis. However, there are substantial technical issues with the existing literature on the "separation of variables" approach to defining MOIs, especially when the underlying Hilbert spaces are not separable. In this paper, we provide a detailed development of this approach in a very general setting that resolves existing technical issues. Along the way, we characterize several kinds of "weak" operator valued integrals in terms of easily checkable conditions and prove a useful Minkowski-type integral inequality for maps with values in a semifinite von Neumann algebra.
△ Less
Submitted 23 December, 2023; v1 submitted 8 July, 2021;
originally announced July 2021.
-
Itô's formula for noncommutative $C^2$ functions of free Itô processes
Authors:
Evangelos A. Nikitopoulos
Abstract:
In a recent paper, the author introduced a rich class $NC^k(\mathbb{R})$ of "noncommutative $C^k$" functions $\mathbb{R} \to \mathbb{C}$ whose operator functional calculus is $k$-times differentiable and has derivatives expressible in terms of multiple operator integrals (MOIs). In the present paper, we explore a connection between free stochastic calculus and the theory of MOIs by proving an Itô…
▽ More
In a recent paper, the author introduced a rich class $NC^k(\mathbb{R})$ of "noncommutative $C^k$" functions $\mathbb{R} \to \mathbb{C}$ whose operator functional calculus is $k$-times differentiable and has derivatives expressible in terms of multiple operator integrals (MOIs). In the present paper, we explore a connection between free stochastic calculus and the theory of MOIs by proving an Itô formula for noncommutative $C^2$ functions of self-adjoint free Itô processes. To do this, we first extend P. Biane and R. Speicher's theory of free stochastic calculus -- including their free Itô formula for polynomials -- to allow free Itô processes driven by multidimensional semicircular Brownian motions. Then, in the self-adjoint case, we reinterpret the objects appearing in the free Itô formula for polynomials in terms of MOIs. This allows us to enlarge the class of functions for which one can formulate and prove a free Itô formula from the space originally considered by Biane and Speicher (Fourier transforms of complex measures with two finite moments) to the strictly larger space $NC^2(\mathbb{R})$. Along the way, we also obtain a useful "traced" Itô formula for arbitrary $C^2$ scalar functions of self-adjoint free Itô processes. Finally, as motivation, we study an Itô formula for $C^2$ scalar functions of $N \times N$ Hermitian matrix Itô processes.
△ Less
Submitted 23 December, 2023; v1 submitted 17 November, 2020;
originally announced November 2020.
-
Noncommutative $C^k$ functions and Fréchet derivatives of operator functions
Authors:
Evangelos A. Nikitopoulos
Abstract:
Fix a unital $C^*$-algebra $\mathscr{A}$, and write $\mathscr{A}_{sa}$ for the set of self-adjoint elements of $\mathscr{A}$. Also, if $f:\mathbb{R}\to\mathbb{C}$ is a continuous function, then write $f_\mathscr{A}:\mathscr{A}_{sa}\to\mathscr{A}$ for the operator function $a\mapsto f(a)$ defined via functional calculus. In this paper, we introduce and study a space $NC^k(\mathbb{R})$ of $C^k$ func…
▽ More
Fix a unital $C^*$-algebra $\mathscr{A}$, and write $\mathscr{A}_{sa}$ for the set of self-adjoint elements of $\mathscr{A}$. Also, if $f:\mathbb{R}\to\mathbb{C}$ is a continuous function, then write $f_\mathscr{A}:\mathscr{A}_{sa}\to\mathscr{A}$ for the operator function $a\mapsto f(a)$ defined via functional calculus. In this paper, we introduce and study a space $NC^k(\mathbb{R})$ of $C^k$ functions $f:\mathbb{R}\to\mathbb{C}$ such that, no matter the choice of $\mathscr{A}$, the operator function $f_\mathscr{A}:\mathscr{A}_{sa}\to\mathscr{A}$ is $k$-times continuously Fréchet differentiable. In other words, if $f\in NC^k(\mathbb{R})$, then $f$ "lifts" to a $C^k$ map $f_\mathscr{A}:\mathscr{A}_{sa}\to\mathscr{A}$, for any (possibly noncommutative) unital $C^*$-algebra $\mathscr{A}$. For this reason, we call $NC^k(\mathbb{R})$ the space of noncommutative $C^k$ functions. Our proof that $f_\mathscr{A}\in C^k(\mathscr{A}_{sa};\mathscr{A})$, which requires only knowledge of the Fréchet derivatives of polynomials and operator norm estimates for "multiple operator integrals" (MOIs), is more elementary than the standard approach; nevertheless, $NC^k(\mathbb{R})$ contains all functions for which comparable results are known. Specifically, we prove that $NC^k(\mathbb{R})$ contains the homogeneous Besov space $\dot{B}_1^{k,\infty}(\mathbb{R})$ and the Hölder space $C_{loc}^{k,\varepsilon}(\mathbb{R})$. We highlight, however, that the results in this paper are the first of their type to be proven for arbitrary unital $C^*$-algebras, and that the extension to such a general setting makes use of the author's recent resolution of certain "separability issues" with the definition of MOIs. Finally, we prove by exhibiting specific examples that $W_k(\mathbb{R})_{loc}\subsetneq NC^k(\mathbb{R})\subsetneq C^k(\mathbb{R})$, where $W_k(\mathbb{R})_{loc}$ is the "localized" $k^{th}$ Wiener space.
△ Less
Submitted 23 December, 2023; v1 submitted 5 November, 2020;
originally announced November 2020.
