Free Fisher information with respect to a completely positive map and cost of equivalence relations (Q5940430)

For a tracial non-commutative probability space \((M, \tau)\) given, let \(v_1, \dots, v_n\) be a family of isometries in the tracial von Neumann algebra \(M\). For a fixed unital subalgebra \(B \subset M\), \(CP(B)\) denotes the set of all completely-positive maps from \(B\) to \(B\). By using the notions of the mutual free Fisher information \(F^*(u_1, \dots, u_n : B, \eta)\) relative to \(B\), \(\eta \in\) \(CP(B)\) and the free entropy \(\Sigma^*( v_1, \dots, v_n)(B)\) of partial isometries \(v_1, \dots, v_n\) \(\in M\) relative to \(B\), id, the author defines the free dimension \(\delta^*\) of \(v_1, \dots, v_n\) relative to \(B\), id (Definition 5.3) as \[ \delta^*(v_1, \dots, v_n)(B) = \sum \tau(v_j^* v_j) - \lim_{t \rightarrow \psi} (\log t^{1/2})^{-1} \Sigma^* (v_1 w_1(t), \dots, v_n w_n(t))(B), \] where \(\psi\) is an element of the \(\beta\)-compactification of \(I =\) \((0,1]\) and \(w_1(t), \dots, w_n(t)\) is multiplicative free Brownian motion [cf. \textit{P. Biane}, Fields Inst. Commun. 12, 1-19 (1997; Zbl 0873.60056)] relative to \(v_1, \dots, v_n\) \(\in M\) and \(B \subset M\) given. Let \((X, \mu)\) be a finite measure space, and \(R\) a measurable equivalence relation on \(X\). We denote by \(W^*(X,R)\) the von Neumann algebra associated with \(R\), originally introduced by \textit{J. Feldman} and \textit{C. C. Moore} [Trans. Am. Math. Soc. 234, 289-324 (1977; Zbl 0369.22009); op. cit. 234, 325-359 (1977; Zbl 0369.22010)]. For the case where \(B\) is the commutative algebra \(B =\) \(L^{\infty}(X, \mu)\), the author proves that the limit of the free dimension \(\delta^*\) as \(n \rightarrow \infty\) is equal to the cost \(C(R)\) of the equivalence relation \(R\) in the sense of Levitt-Gaboriau: i.e., \[ C(R) = \lim_{n \rightarrow \infty} \delta^*( v_{\phi_1}, \dots, v_{\phi_n})( L^{\infty}(X,\mu)) = \sum_{j=1}^{\infty} \delta^* ( v_{\phi_j})( L^{\infty}(X, \mu)), \] where \(\{ \phi_i \}\) is a treeing of an equivalence relation \(R\) and \(v_{\phi_i}\) is the partial isometry in \(W*(X,R)\) associated with \(\phi_i\); cf. \textit{G. Levitt} [Ergodic Theory Dynam. Systems 15, No. 6, 1173-1181 (1995; Zbl 0843.28010)] and \textit{D. Gaboriau} [Invent. Math. 134, No. 1 41-98 (2000; Zbl 0939.28012)]. For other related works, see e.g. \textit{D. Shlyakhtenko} [Am. J. Math. 122, No. 1, 45-81 (2000; Zbl 0949.46033)].