Characterization problems for linear forms with free summands
Let T1,...,Tn denote free random variables. For two linear forms L1=∑j=1najTj and L2=∑j=1nbjTj with real coefficients aj and bj we shall describe all distributions of T1,...,Tn such that L1 and L2 are free. For identically distributed free random variables T1,...,Tn with distribution μ we establish necessary and sufficient conditions on the coefficients aj,bj,j=1,...,n, such that the statements:\quad (i) μ is a centered semicircular distribution; and (ii) \, L1 and L2 are identically distributed (L1=DL2); are equivalent. In the proof we give a complete characterization of all sequences of free cumulants of measures with compact support and with a finite number of non zero entries. The characterization is based on topological properties of regions defined by means of the Voiculescu transform ϕ of such sequences.