Let $(\mathcal A,\varphi)$ be a noncommutative probability space, where $\mathcal A$ is a unital complex algebra and $\varphi:\mathcal A\to\mathbb C$ is a unital linear functional. Then there exists a unique family of multilinear functionals $\kappa_n:\mathcal A^n\to\mathbb C$, for $n\geq 1$, called the free cumulants of $(\mathcal A,\varphi)$, such that for every $n\geq 1$ and every $a_1,\dots,a_n\in\mathcal A$,

\begin{align*} \varphi(a_1\cdots a_n)=\sum_{\pi\in NC(n)}\kappa_\pi[a_1,\dots,a_n]. \end{align*}

Here $NC(n)$ denotes the finite lattice of noncrossing partitions of $\{1,\dots,n\}$ ordered by refinement. If $\pi\in NC(n)$ and $V=\{i_1<\cdots<i_r\}$ is a block of $\pi$, then

\begin{align*} \kappa_V[a_1,\dots,a_n]=\kappa_r(a_{i_1},\dots,a_{i_r}), \end{align*}

and

\begin{align*} \kappa_\pi[a_1,\dots,a_n]=\prod_{V\in\pi}\kappa_V[a_1,\dots,a_n]. \end{align*}