A CONCEPTUAL PROOF OF A BASIC RESULT IN THE COMBINATORIAL APPROACH TO FREENESS

From MaRDI portal





There is a theorem describing free cumulants with products as arguments in non-commutative probability theory. More precisely, let \(({\mathcal A}, \varphi)\) be a non-commutative probability space, let an increasing sequence of integers be given: \(1 \leqslant i_1 <\) \(\cdots\) \(< i_m = n\) with \(m \in {\mathbb N}\), and let \(a_1, \dots, a_n\) be random variables. Then define new random variables \(A_j\) \(:=\) \(a_{i_{j-1}+1} \cdots a_{i_j}\) \(( j=1, \dots, m)\) as products of the given \(a_i\). We want to express a free cumulant \(k_{\tau}[A_1, \dots, A_m]\) (defined in the multiplicative way for a non-crossing partition \(\tau\)) in terms of the cumulants \(k_{\pi}[a_1, \dots, a_n]\). The theorem says that, for a partition \(\tau\) in the set \(NC(A_1, \dots, A_m)\) of non-crossing partitions, \[ k_{\tau}[A_1, \dots, A_m] = \sum_{ {\scriptstyle \pi \in NC(n)}\atop \scriptstyle \pi \vee \sigma = \hat{\tau} } k_{\pi}[a_1, \dots, a_n] \] holds, where \(\sigma=\{ (1, \dots, i_1), \dots, ( i_{m-1} + 1, \dots, i_m) \}\) \(\in NC(n)\). There already exist two proofs: the original proof via Krawczyk-Speicher's combinatorial approach [\textit{B.~Krawczyk} and \textit{R.~Speicher}, J. Comb. Theory, Ser. A 90, 267--292 (2000; Zbl 0966.05003)], and a quite recent one of \textit{T.~Cabanal-Duvillard} [``Non-crossing partitions for conditional freeness, Preprint (1999)] in the more general context of conditional freeness. This paper treats a third conceptual proof of the theorem. The author reduces the assertion to a statement about the behavior of Möbius inversion with respect to the embedding of lattices. This is deeply based on the structure of a Möbius algebra presented in the form of convolution via Fourier transform. As a direct consequence, an extension of the theorem to the operator-valued case is discussed as well.




Cited in
(24)








This page was built for publication: A CONCEPTUAL PROOF OF A BASIC RESULT IN THE COMBINATORIAL APPROACH TO FREENESS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4430268)