Itô's formula for noncommutative $C^2$ functions of free Itô processes
Evangelos A. Nikitopoulos
备注：
39 pages. References to n-tuples of *-freely independent (semi)circular Brownian motions have been changed to references to n-dimensional (semi)circular Brownian motions in accordance with the erratum. In addition, some typos have been corrected, and some references have been adjusted. Otherwise, this version matches the published version
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.
It is proved that a maximal abelian subalgebra of the noncommutative torus commutes with the Laplace operator on a complex torus. As a corollary, one gets an analog of the Poisson summation formula for noncommutative tori.
We compute the scalar curvature of a curved noncommutative 3-torus. To perturb the flat metric, the standard volume form on the noncommutative 3-torus is conformally perturbed and the corresponding perturbed Laplacian is analyzed. Using Connes' pseudodifferential calculus for the noncommutative 3-torus, we explicitly compute the first three terms of the small time heat kernel expansion for the perturbed Laplacian. The third term of the expansion gives a local formula for the scalar curvature. Finally, we show that in the classical limit when the deformation parameters vanish, our formula coinc…
We discuss the Fubini formula in Alain Connes' noncommutative geometry. We present a sufficient condition on spectral triples for which a Fubini formula holds true. The condition is natural and related to heat semigroup asymptotics. We provide examples of spectral triples for which the Fubini formula fails.
In this article we study the noncommutative transport distance introduced by Carlen and Maas and its entropic regularization defined by Becker and Li. We prove a duality formula that can be understood as a quantum version of the dual Benamou-Brenier formulation of the Wasserstein distance in terms of subsolutions of Hamilton-Jacobi-Bellmann equation.
We consider the Dirac operator of a general metric in the canonical conformal class on the noncommutative two torus, twisted by an idempotent (representing the $K$-theory class of a general noncommutative vector bundle), and derive a local formula for the Fredholm index of the twisted Dirac operator. Our approach is based on the McKean-Singer index formula, and explicit heat expansion calculations by making use of Connes' pseudodifferential calculus. As a technical tool, a new rearrangement lemma is proved to handle challenges posed by the noncommutativity of the algebra and the presence of an…
In noncommutative geometry, Connes's spectral distance is an extended metric on the state space of a C*-algebra generalizing Kantorovich's dual formula of the Wasserstein distance of order 1 from optimal transport. It is expressed as a supremum. We present a dual formula - as an infimum - generalizing Beckmann's "dual of the dual" formulation of the Wasserstein distance. We then discuss some examples with matrix algebras, where such a dual formula may be useful to obtain upper bounds for the distance.
Cumulants linearize convolution of measures. We use a formula of Good to define noncommutative cumulants in a very general setting.It turns out that the essential property needed is exchangeability of random variables. Roughly speaking the formula says that cumulants are moments of a certain ``discrete Fourier transform'' of a random variable. This provides a simple unified method to understand the known examples of cumulants, like classical, free cumulants and various q-cumulants.
We conjecture an explicit formula for the higher dimensional Dirichlet character; the formula is based on the K-theory of the so-called noncommutative tori. It is proved, that our conjecture is true for the two-dimensional and one-dimensional (degenerate) noncommutative tori; in the second case, one gets a noncommutative analog of the Artin reciprocity law.
We consider certain questions pertaining to noncommutative generalized Brownian motions with multiple processes. We establish a framework for generalized Brownian motion with multiple processes similar to that defined by Guta and prove multi-dimensional analogs of some results of Guta and Maassen. We then consider examples of processes indexed by a two-element set and characterize the function on I-indexed pair partitions associated via the I-indexed generalized Brownian motion construction to certain pairs of representations connected to certain spherical representations of infinite symmetric…
Inspired by Lehner's results on exchangeability systems we define `weak conditional freeness' and `conditional freeness' for stationary processes in an operator algebraic framework of noncommutative probability. We show that these two properties are equivalent and thus the process embeds into a von Neumann algebraic amalgamated free product over the fixed point algebra of the stationary process.
Spectral triples for nonunital algebras model locally compact spaces in noncommutative geometry. In the present text, we prove the local index formula for spectral triples over nonunital algebras, without the assumption of local units in our algebra. This formula has been successfully used to calculate index pairings in numerous noncommutative examples. The absence of any other effective method of investigating index problems in geometries that are genuinely noncommutative, particularly in the nonunital situation, was a primary motivation for this study and we illustrate this point with two ex…
We express classical, free, Boolean and monotone cumulants in terms of each other, using combinatorics of heaps, pyramids, Tutte polynomials and permutations. We completely determine the coefficients of these formulas with the exception of the formula for classical cumulants in terms of monotone cumulants whose coefficients are only partially computed.
We give a local expression for the {\it scalar curvature} of the noncommutative two torus $ A_θ = C(\mathbb{T}_θ^2)$ equipped with an arbitrary translation invariant complex structure and Weyl factor. This is achieved by evaluating the value of the (analytic continuation of the) {\it spectral zeta functional} $ζ_a(s): = \text{Trace}(a \triangle^{-s})$ at $s=0$ as a linear functional in $a \in C^{\infty}(\mathbb{T}_θ^2)$. A new, purely noncommutative, feature here is the appearance of the {\it modular automorphism group} from the theory of type III factors and quantum statistical mechanics in t…
We consider the algebra $A$ of bounded operators on $L^2(\mathbb{R}^n)$ generated by quantizations of isometric affine canonical transformations. The algebra $A$ includes as subalgebras all noncommutative tori and toric orbifolds. We define the spectral triple $(A, H, D)$ with $H=L^2(\mathbb R^n, Λ(\mathbb R^n))$ and the Euler operator $D$, a first order differential operator of index $1$. We show that this spectral triple has simple dimension spectrum: For every operator $B$ in the algebra $Ψ(A,H,D)$ generated by the Shubin type pseudodifferential operators and the elements of $A$, the zeta f…
We define and prove a noncommutative generalization of a formula relating the Maslov index of a triple of Lagrangian subspaces of a symplectic vector space to eta-invariants associated to a pair of Lagrangian subspaces generalizing a result of Bunke and Koch in the family case. The noncommutative Maslov index, defined for modules over a $C^*$-algebra $\A$, is an element in $K_0(\A)$. The generalized formula calculates its Chern character in the de Rham homology of certain dense subalgebras of $\A$. The proof, modelled on the proof by Bunke and Koch, is a noncommutative Atiyah-Patodi-Singer ind…
We prove the analogue of the Riemann-Roch formula for the noncommutative two torus $ A_θ = C(\mathbb{T}_θ^2)$ equipped with an arbitrary translation invariant complex structure and a Weyl factor represented by a positive element $k\in C^{\infty}(\mathbb{T}_θ^2)$. We consider a topologically trivial line bundle equipped with a general holomorphic structure and the corresponding twisted Dolbeault Laplacians. We define an spectral triple ($A_θ, \mathcal{H}, D)$ that encodes the twisted Dolbeault complex of $ A_θ$ and whose index gives the left hand side of the Riemann-Roch formula. Using Connes' …
We study a first variation formula for the eigenvalues of the Laplacian evolving under the Ricci flow in a simple example of a noncommutative matrix geometry, namely a finite dimensional representation of a noncommutative torus. In order to do so, we first show that the Ricci flow in this matrix geometry is analytic.
