---
title: KMS-Dirichlet Forms
url: https://www.emergentmind.com/topics/kms-dirichlet-forms
type: topic
---

# KMS-Dirichlet Forms

KMS-Dirichlet forms are a central object in the analysis of noncommutative Dirichlet forms and quantum Markov semigroups on von Neumann algebras with respect to a reference state or weight. These forms arise as quadratic forms associated to KMS-symmetric Markov semigroups, reflecting a noncommutative generalization of classical Dirichlet forms on $L^2$-spaces. The theory provides foundational tools for quantum probability, operator algebras, and has implications for approximation properties like the Haagerup property.

## 1. Definitions and Core Structure

Let $M$ be a von Neumann algebra equipped with a faithful normal state or weight $\varphi$. Denote the GNS Hilbert space by $L^2(M,\varphi)$, modular operator by $\Delta_\varphi$, and modular conjugation by $J_\varphi$. A KMS-Dirichlet form is a closed, densely defined quadratic form
$$
\E\colon \Dom(\E)\subset L^2(M,\varphi)\;\to\;[0,\infty]
$$
satisfying:
- **Reality:** $\E(J_\varphi \xi) = \E(\xi)$ for all $\xi\in\Dom(\E)$,
- **Modular invariance:** $\E(\Delta_\varphi^{it} \xi) = \E(\xi)$ for all $\xi$ and $t\in\mathbb{R}$,
- **Dirichlet property:** For the standard Dirichlet cone
  $$
  C = \overline{\{\Delta_\varphi^{1/4} \Lambda_\varphi(x) : x = x^* \in M,\, 0\leq x\leq 1\}},
  $$
  one has that the metric projection $P_C$ preserves the form and contracts energy:
  $$
  \xi\in \Dom(\E)\cap L^2(M,\varphi)^{J_\varphi} \implies P_C(\xi)\in\Dom(\E),\,\E(P_C(\xi))\leq\E(\xi).
  $$
- **Complete Dirichlet:** The above properties are required to hold at all matrix amplifications; that is, for all $n$ the form $\E^{(n)}$ defined on $L^2(M,\varphi)\otimes\mathbb{C}^n$ is Dirichlet.

KMS-Dirichlet forms are thus “quantum Dirichlet forms” compatible with the modular structure, and their generators yield KMS-symmetric, completely positive, contractive semigroups on $M$ that commute with the modular automorphism group [2307.04502].

## 2. Correspondence with KMS-Symmetric Quantum Markov Semigroups

There is a bijective correspondence between KMS-symmetric quantum Markov semigroups on $(M, \varphi)$ and completely Dirichlet forms on $L^2(M,\varphi)$. Explicitly:

- A **KMS-symmetric Markov semigroup** $\{T_t\}_{t\ge 0}$ is a norm-continuous family of unital, normal, completely positive, $\varphi$-preserving maps on $M$ such that their $L^2$-implementations $T_t^{(2)}$ are self-adjoint and commute with the modular group.
- The associated generator $A$ on $L^2(M,\varphi)$ defines a Dirichlet form $Q(\xi) = \langle A\xi, \xi\rangle$ with domain $\Dom(A^{1/2})$, satisfying the Beurling–Deny contraction properties adapted to the noncommutative context [1404.6214].

This correspondence is foundational: every modular completely Dirichlet form originates from a unique KMS-symmetric Markov semigroup and vice versa.

## 3. Constructions: Derivations, Spectral Data, and Examples

### Squares of Closable Derivations

A major construction principle is that any closable derivation $\delta:\mathcal{A}\to \mathcal{H}_d$ (where $\mathcal{A}$ is a Tomita algebra of entire-analytic elements for the modular group, and $\mathcal{H}_d$ is a Tomita bimodule) yields a modular completely Dirichlet form via
$$
\E_0(\Lambda_\varphi(a)) = \|\delta(a)\|_{\mathcal{H}_d}^2,\,\, a\in\mathcal{A},
$$
which extends to a closed form on $L^2(M,\varphi)$. The resulting semigroup is GNS-symmetric, completely positive, and contractive, and is unital if $\delta(1)=0$ [2307.04502].

### Explicit Commutator Representation

In the framework of modular spectral theory, forms can be constructed from spatial derivations associated to eigenvectors of the modular Hamiltonian. For a closed operator $Y$ affiliated to $M$ with $\Delta^{1/2} Y\xi_0 = \lambda^2 Y\xi_0$, the Dirichlet form is
$$
\mathcal{E}_Y^\lambda[\xi]=\|d_Y^{\lambda}\xi\|^2+\|d_{Y^*}^{\lambda^{-1}}\xi\|^2,
$$
where $d_Y^{\lambda}$ is a suitable derivation involving $Y$ and modular conjugation. The commutator formula
$$
\mathcal{E}_Y^\lambda(i_0(x)) = \lambda^2\|[Y,x]\|_{L^2}^2 + \lambda^{-2}\|[Y^*,x]\|_{L^2}^2
$$
(defined on a core) provides an explicit, computable realization of KMS-Dirichlet forms [2105.06000].

### Examples

- **Free orthogonal quantum groups $O_N^+$:** The generator is given via Chebyshev polynomials on the Hopf $*$-algebra of coefficients, yielding a Dirichlet form with compact resolvent, confirming the Haagerup property [1404.6214].
- **Quantum Ornstein–Uhlenbeck semigroups for CCR:** Specializing the general construction to creation and annihilation operators, one recovers the known completely Dirichlet form for these models, showing discrete spectrum and supercontractivity [2105.06000].
- **Group von Neumann algebras:** KMS-Dirichlet forms arise explicitly from cocycle derivations, with the associated semigroup given by convolution with Schoenberg-type multipliers [2307.04502].

## 4. Spectral Properties, Coercivity, and Compactness Criteria

The spectral analysis of generators of KMS-Dirichlet forms is tightly connected to approximation properties and regularity:
- **Discrete Spectrum:** If the generator has pure point spectrum with eigenvalues $\lambda_n\to\infty$, then the associated Dirichlet form has “compact resolvent” (i.e., the corresponding semigroup is immediately compact). Such discrete spectrum structures are central to characterizations of the Haagerup property [1404.6214].
- **Coercivity Bounds:** Explicit coercivity estimates for the Dirichlet forms provide control on the functional inequality structure. For instance, coercivity for forms built from spatial derivations follows from lower bounds involving the modular eigenvalue parameter [2105.06000].

If the self-commutator $[Y, Y^*]$ is infinitesimal relative to $Y^*Y$, then the generator is essentially determined by the spectral structure of $Y^*Y$, and the eigenvalue growth is subexponential under classical minimax estimates [2105.06000].

## 5. Applications to Quantum Approximation Properties

KMS-Dirichlet forms enable powerful characterizations of quantum approximation properties:
- **Haagerup Property:** A von Neumann algebra $(M, \varphi)$ has the Haagerup property if and only if there exists a conservative, completely Dirichlet form whose generator has discrete spectrum tending to infinity, or equivalently, the associated KMS-symmetric Markov semigroup is immediately compact [1404.6214].
- **Noncommutative Superboundedness:** Certain KMS-symmetric semigroups exhibit a “superboundedness” property, providing regularization stronger than hypercontractivity. Superbounded semigroups dominate a class of positivity-preserving semigroups and admit control via noncommutative $L^p$-interpolation estimates [2105.06000].

These Dirichlet forms thus serve as a bridge connecting algebraic properties of von Neumann algebras, functional inequalities, and quantum probability.

## 6. Technical Details and Further Perspectives

- **Core Structures:** The analytic Tomita algebra (composed of analytic elements for the modular group) generates a core that is dense in the form domain with respect to the $\|\cdot\|_{\E}$-norm, providing a practical domain for computations [1404.6214].
- **Mosco and $\Gamma$-Limits:** While strictly local forms arise in the commutative setting from Mosco-limits of energies, this methodology is not directly mirrored in the noncommutative (KMS) context, though abstract $\Gamma$-convergence remains relevant for Dirichlet forms on metric measure spaces [2301.08273].
- **Reduction to Tracial Case:** Modular completely Dirichlet forms can be approximated by classical (tracial) Dirichlet forms on finite subalgebras, using crossed product and reduction techniques as detailed in [2307.04502].

KMS-Dirichlet forms thus unify dynamical, spectral, and approximation concepts in operator algebras, with rich structural and analytic content. Their systematic construction via derivations and spectral data underlies developments in quantum probability, noncommutative ergodic theory, and the study of quantum symmetries.

Source: https://www.emergentmind.com/topics/kms-dirichlet-forms