“…In [Shl18], using a different line of arguments, including concentration results on large unitary groups, Shlyakhtenko gave a short elegant proof of asymptotic infinitesimal freeness in expectation of a family of unitarily invariant matrices from a tuple of finite rank matrices, and, proved besides, with explicit Gaussian computations, the asymptotic infinitesimal freeness in expectation of a family of independent GUE matrices from a tuple of finite rank matrices. This result has been generalized in three directions: Collins, Hasebe and Sakuma proved in [CHS18] the almost sure asymptotic infinitesimal freeness of a family of unitarily invariant matrices from a tuple of finite rank matrices, which can also be stated asymptotically as cyclic monotone independence; Dallaporta and Février proved in [DF19, Appendix A] that a family of independent GUE matrices is asymptotically infinitesimal free in expectation from a tuple of bounded deterministic matrices converging in * -distribution; and Au proved in [Au21] the asymptotic infinitesimal freeness in expectation of a family of Wigner matrices with finite moments from a tuple of finite rank matrices, and of a family of periodically banded GUE matrix from a tuple of finite rank matrices. Finally, the asymptotic infinitesimal freeness in expectation of two independent random matrices, at least one of them being unitarily invariant, is also a consequence of the general theory of surfaced free probability of Borot, Charbonnier, Garcia-Failde, Leid and Shadrin in [BCGF + 21] (it corresponds to ( 1 2 , 1)-freeness in [BCGF + 21, Theorem 4.28]).…”