---
title: Convolution Semigroups
url: https://www.emergentmind.com/topics/convolution-semigroups
type: topic
---

# Convolution Semigroups

A convolution semigroup is a family of probability measures or states on a given algebraic structure (typically a group, homogeneous space, or a noncommutative analogue) indexed by a non-negative real parameter and closed under convolution, satisfying an associativity and continuity property. They form the analytic backbone for the theory of Lévy processes, Markov semigroups, random walks, and noncommutative probability. Convolution semigroups unify a vast set of phenomena across classical, free, monotone, and Boolean probability, locally compact groups, Lie groups, quantum groups, and function spaces.

## 1. Foundational Definitions and Structures

Let $G$ be a locally compact group, and $\mathcal{P}(G)$ the space of Borel probability measures on $G$. The convolution of $\mu, \nu \in \mathcal{P}(G)$ is
\[
(\mu * \nu)(A) = \int_G \int_G \mathbf{1}_A(xy)\, \mu(dx)\, \nu(dy),\qquad A\in \mathcal{B}(G),
\]
making $\mathcal{P}(G)$ a commutative semigroup with identity $\delta_e$ (Dirac mass at the identity). A convolution semigroup is a family $\{ \mu_t : t \geq 0 \}$ such that:
- $\mu_0 = \delta_e$,
- $\mu_s * \mu_t = \mu_{s+t}$ for all $s, t \geq 0$,
- $t \mapsto \mu_t$ is weakly continuous: $\mu_t \Rightarrow \delta_e$ as $t \downarrow 0$.

These properties also extend to homogeneous spaces $G/K$, quantum groups, and beyond, with convolution defined in ways consistent with the algebraic structure [1508.07476], [1703.00330], [2311.04630].

Convolution semigroups appear as the one-parameter laws of Lévy processes, and as transition kernels of translation-invariant Markov semigroups. Their analytic and algebraic structure is often encoded by Lévy–Khintchine-type formulas or by cumulant transforms (e.g., $R$- or $S$-transforms in free probability).

## 2. Structural and Classification Theorems

On commutative or Lie groups, convolution semigroups are classified by a Lévy–Khintchine representation [1508.07476], [1703.00330]:
\[
\mathcal{F}[\mu_t](\xi) = e^{-t \Psi(\xi)},
\]
where $\Psi$ is the Lévy–Khintchine exponent determined by a drift, covariance, and Lévy measure (as in the Hunt generator for Lie groups).

On locally compact quantum groups, convolution semigroups of states have a precise correspondence with translation-invariant Markov semigroups and with noncommutative Dirichlet forms, generalizing the classical symmetry to KMS-invariance with respect to Haar weight [1709.04873].

In free and other noncommutative probability theories, convolution semigroups are parameterized by analytic functions such as the Voiculescu, $R$, $S$, or $\Sigma$ transforms, with subordination techniques providing deep regularity and support structure for the convolution semigroup (see below) [1112.2783], [1302.4466], [1709.07060].

## 3. Support, Regularity, and Fine Properties

- **Support Monotonicity:** In multiplicative free convolution semigroups, for $\mu_t$ constructed from an initial measure $\mu$ by iterated convolution (free or Boolean), the number of connected components of the support of $\mu_t$ decreases as $t$ increases. This support evolves in a highly regular fashion, and for $t>1$, the number of components is finite and nonincreasing [1302.4466].
- **No Gap Phenomenon:** If $\mu_t$ has two atoms at $a < b$, then $\mu_t((a,b)) > 0$; in other words, intervals with atoms at both ends cannot have zero mass in between—ensuring supports cannot be arbitrarily “pinned” at two points [1112.2783].
- **Continuity:** The family $\{\operatorname{supp}(\mu_t)\}_{t > 1}$ varies continuously in the Hausdorff metric, and atoms move continuously as $t$ changes [1709.07060].
- **Analyticity and Density:** The density of $\mu_t$ is real analytic inside the support arcs, and atomic parts can be determined by explicit analytic conditions [1302.4466], [1112.2783].

## 4. Convolution Semigroups Beyond the Classical Setting

### Quantum and Noncommutative Frameworks

- **Locally Compact Quantum Groups:** On a von Neumann algebra $(M,\Delta)$ with coassociative coproduct, convolution semigroups of states are families $\{ \mu_t \}$ with $\mu_{s+t} = \mu_s * \mu_t$ via $(\mu_s \otimes \mu_t) \circ \Delta$ and $*-$weak continuity. There is a one-to-one correspondence between $w^*$-continuous symmetric convolution semigroups and invariant noncommutative Dirichlet forms [1709.04873].
- **Rieffel Deformations:** Under Rieffel deformation by a $2$-cocycle, convolution semigroups on quantum groups deform canonically, with a bijection between invariant convolution semigroups pre/post deformation [2311.04630].
- **Operator-valued Probability:** Monotone convolution semigroups on operator algebras are implemented by composition semigroups of analytic maps, with Berkson–Porta-type generators corresponding to Lévy–Khintchine data. Monotonically infinitely divisible operator-valued distributions sit in such semigroups [1412.1413].

### Special Geometric and Functional-analytic Settings

- **Lie Groups and Homogeneous Spaces:** On $G/K$, convolution semigroups factor canonically into an idempotent initial measure (Haar on a compact subgroup) and a continuous semigroup at the identity, and every infinitely divisible law is embedded in a continuous convolution semigroup [1508.07476]. In the case of symmetric spaces/Gelfand pairs, convolution semigroups are closely related to spherical analysis and generalized Lévy–Khintchine decompositions [1703.00330].
- **Heisenberg Group:** Via symbolic calculus for convolution operators, semigroups generated by generalized Laplacians on $H^n$ are analyzed as perturbations of Abelian convolution semigroups. Density estimates near the origin and at infinity are controlled sharply via symbol classes [1501.07746].

## 5. Moment Functionals and Rigidity Results

Monotone homomorphisms—maps $\phi$ from the semigroup of probability measures on $\mathbb{R}$ to $\mathbb{R}$ satisfying both
$\phi(\mu * \nu) = \phi(\mu) + \phi(\nu)$ and monotonicity with respect to stochastic order—are extremely rigid. For $L^p$-moment semigroups ($1 \leq p < \infty$), the only such homomorphisms are scalar multiples of the mean:
\[
\phi(\mu) = c\,\mathbb{E}[\mu], \quad c \geq 0.
\]
For the full semigroup $\mathcal{P}(\mathbb{R})$, or for heavier-tailed classes $L^p$ with $p<1$, no nontrivial monotone additive functionals exist [1912.01733]. Intermediate semigroups may admit functionals reflecting tail masses, but such cases are severely restricted.

This rigidity underlines that, for convolution semigroups of interest in analysis and stochastics, the mean is essentially the only order-preserving, additive measure of central tendency.

## 6. Analytic, PDE, and Functional Inequalities Aspects

Convolution semigroups act as smoothing/propagator operators on various function spaces. Convolution inequalities in Besov and Triebel–Lizorkin scales provide mapping and smoothing properties for semigroups, encompassing Gaussian, poly-harmonic, and stable laws. Acted as linear smoothing flows, these semigroups propagate and possibly improve spatial regularity, quantified by sharp norm estimates [2101.03886]. This framework applies not only in probability but also in the analysis of PDEs of parabolic and fractional type.

## 7. Asymptotics, Estimates, and Classifications

- **Small Time/Space:** Detailed asymptotics for transition densities $p_t(x)$ are established for isotropic unimodal convolution semigroups, especially in the slowly varying or scaling regime, e.g.,
\[
p(t,x) \asymp t\,|x|^{-d}\,\ell(|x|^{-1})\,e^{-t\psi(|x|^{-1})},
\]
with explicit constants and de Haan-class $\ell$ [1606.04178].
- **Sharp Two-sided Estimates:** For pure-jump Lévy processes, small-time, small/large-space two-sided bounds are given:
\[
p_t(x) \asymp h(t)^{-d}\,\mathbf{1}_{|x| \leq \theta h(t)} + t\,g(x)\,\mathbf{1}_{|x| \geq \theta h(t)},
\]
where $h(t)$ is determined by the Lévy symbol scaling [1403.0912].
- **Multiplicative Free Case:** In the free multiplicative setting, connections between support, density, and regularity are quantified, with phase transitions in the support as $t$ varies [1302.4466], [1709.07060].

## 8. Interactions between Classical, Free, and Other Probability Theories

There exist bijections between classes of classical and free convolution semigroups through complete Bernstein functions:
- Bondesson class (classical subordinators with completely monotone Lévy densities) and free-regular convolution semigroups are both classified by complete Bernstein functions (with zero drift) [1810.07044].
- Explicit Laplace-transform identities bridge free and classical domains, enabling transfer of results, e.g.,
\[
\int_0^\infty e^{-w x} p_t(f; dx) = \frac{1}{w} \int_0^\infty v_{tw}^*(f; [0,y]) e^{-y} dy,
\]
relating the Laplace transforms of free and classical semigroup measures.

## 9. Remaining Directions and Open Problems

- Characterization of non-negative, non-monotone additive functionals (e.g., variance) on semigroups remains open [1912.01733].
- Extension of classification and rigidity theorems to multivariate, infinite-dimensional, or noncommutative settings.
- Classification of intermediate semigroups and the functional-analytic structure in boundary regimes between $L^p$ and $\mathcal{P}(\mathbb{R})$ [1912.01733].
- Markovian and Dirichlet form structure for quantum groups with more general symmetry or non-invariant types [1709.04873].
- Non-classical convolution semigroups on non-commutative or deformed homogeneous spaces, including geometric/probabilistic flows on manifolds.

---

**References**:  
- "Monotone homomorphisms on convolution semigroups" [1912.01733]  
- "Convolution of probability measures on Lie groups and homogeneous spaces" [1508.07476]  
- "Convolution Semigroups of Probability Measures on Gelfand Pairs, Revisited" [1703.00330]  
- "Small time sharp bounds for kernels of convolution semigroups" [1403.0912]  
- "Asymptotic behaviour and estimates of slowly varying convolution semigroups" [1606.04178]  
- "On regularity for measures in multiplicative free convolution semigroups" [1112.2783]  
- "On the support of measures in multiplicative free convolution semigroups" [1302.4466]  
- "Continuity and growth of free multiplicative convolution semigroups" [1709.07060]  
- "On free regular and Bondesson convolution semigroups" [1810.07044]  
- "Operator-Valued Monotone Convolution Semigroups and an Extension of the Bercovici-Pata Bijection" [1412.1413]  
- "Symbolic calculus and convolution semigroups of measures on the Heisenberg group" [1501.07746]  
- "Semigroups of distributions with linear Jacobi parameters" [1001.1540]  
- "Convolution semigroups on locally compact quantum groups and noncommutative Dirichlet forms" [1709.04873]  
- "Convolution semigroups on Rieffel deformations of locally compact quantum groups" [2311.04630]  
- "Measurable centres in convolution semigroups" [1107.3799]  
- "Convolution inequalities for Besov and Triebel--Lizorkin spaces, and applications to convolution semigroups" [2101.03886]

Source: https://www.emergentmind.com/topics/convolution-semigroups