A martingale approach to noncommutative stochastic calculus
David A. Jekel, Todd A. Kemp, Evangelos A. Nikitopoulos
TL;DR
This work advances noncommutative stochastic calculus by adopting a classical martingale framework to derive a universal theory for stochastic integration, quadratic variation, BDG-type inequalities, and Itô’s formula in NC probability. It introduces $L^2$-decomposable processes as the NC counterpart of semimartingales and constructs stochastic integrals against them, together with a notion of NC quadratic covariation that supports a robust Itô product rule. The main contributions include continuous-time NC BDG inequalities for martingales, a noncommutative Itô formula for adapted $C^2$ maps (extending trace polynomials and tracial $C^k$ maps), and a unifying perspective that recovers known NC Itô formulas as special cases, including those for $q$-Brownian and matrix Brownian motions. The results provide new tools for NC stochastic differential equations and have potential applications to random matrix theory and free probability, offering a universal calculus that parallels the classical theory while accommodating noncommutativity through trace-polynomial and MOI-based constructions.
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 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ô's 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, and Shlyakhtenko.
