Non-commutative rational functions in strongly convergent random variables

Random matrices like GUE, GOE and GSE have been shown that they possess a lot of nice properties. In 2005, a new property of independent GUE random matrices is discovered by Haagerup and Thorbørnsen. It is called strong convergence property and then more random matrices with this property are followed. In general, the definition can be stated for a sequence of tuples over some C*-algebras. In this paper, we want to show that, for a sequence of strongly convergent random variables, non-commutative polynomials can be extended to non-commutative rational functions under certain assumptions. As a direct corollary, we can conclude that for a tuple (X ₁ ⁽ⁿ⁾, · · ·, X_m ⁽ⁿ⁾) of independent GUE random matrices, r(X ₁ ⁽ⁿ⁾, · · ·, X _m ⁽ⁿ⁾) converges in trace and in norm to r(s₁, · · ·, s_m) almost surely, where r is a rational function and (s₁, · · ·, s_m) is a tuple of freely independent semi-circular elements which lies in the domain of r.