A New Look at the Coefficients of a Reciprocal Generating Function

We study a special property of free cumulants. We prove that coefficients of a reciprocal generating function correspond to “free cumulants with the first two elements in the same block.”


Introduction
The original motivation for this paper comes from a desire to understand the results on free probability method in the book of Nica and Speicher [1]. Free probability is a mathematical theory that studies noncommutative random variables. The freeness or free independence property is the analogue of the classical notion of independence, and it is connected with free products. This theory was initiated by Dan Voiculescu around 1986 in order to attack the free group factors isomorphism problem, an important unsolved problem in the theory of operator algebras (see [2]).
It is natural to study relations between classical analysis and free probability. We will present a theorem which gives us a new relation between reciprocal generating function and free cumulants. The free cumulant (introduced by Speicher) [3] plays a major role in the free probability theory. It is related to the lattice of noncrossing partitions of the set {1, . . . , } in the same way in which the classic cumulant functional is related to the lattice of all partitions of that set.
Since these beginnings of free probability theory have evolved into a theory with a lot of links in quite different fields, in particular, there exists a combinatorial facet: main aspects of free probability theory can be considered the combinatorics of noncrossing partitions. It is worthwhile to mention the work of [4], where authors introduced the so-called Bercovici-Pata bijection. This bijection, which we denote by Λ, is a correspondence between the probability measures on the real line that are infinitely divisible with respect to the classical convolution * and the ones which are infinitely divisible with respect to the free convolution ⊞. This mapping has several useful algebraic and topological properties and preserves the properties of cumulant, that is, determines the uniqueness between classical and free cumulant. Moreover, by suitable definition of the free cumulant transform, the connection between the free and classical Lévy-Khintchine representations of a probability law in ( * ) and its counterpart Λ in (⊞) is determined simply by and Λ( ) having the same characteristic triplet (classical and free, resp.). The main aim of the paper is to show new property of free cumulants; that is, we will show that coefficients of a reciprocal generating function correspond to "cumulant with the first two elements in the same block. " This topic has not been extensively studied in the past. The only result of which I am aware is Wright's [5]. Wright gave an asymptotic formula for the coefficient in some special case of power series. Recently, this topic has also been studied in [6], where the concept of composita of reciprocal generating function is used for obtaining a unique triangle, when only the generating function for the central coefficients of that triangle is known. In this paper, we present a new method using free cumulants to compute coefficients of a reciprocal generating function.

Free Cumulants and Indication
In this section, we provide a short and self-contained summary of the basic definitions and facts needed for our study.
In free probability, we assume that our probability space is a von Neumann algebra A with a normal faithful tracial state : A → C; that is, (⋅) is linear and weak * -continuous and (XY ) = (YX), (I) = 1, (XX * ) ≥ 0, and (XX * ) = 0 imply X = 0 for all X, Y ∈ A. A (noncommutative) random variable X is a self-adjoint (X = X * ) element of A. Below, we introduce the concept of noncrossing cumulants without using this abstract object.
. . , } be a partition of the linear ordered set 1, . . . , ; that is, the ̸ = 0 are ordered and disjoint sets whose union is {1, . . . , }. Then is called noncrossing if , ∈ and , ∈ with < < < which implies = . The sets ∈ are called blocks. We will denote the set of all noncrossing partitions of the set {1, . . . , } by NC( ). Now we can define the free cumulants by induction. An important technical tool is a formula, that is, (2), to factorize in a product according to the block structure of noncrossing partition. This formula is actually at the basis of many of our forthcoming results in this paper and allows elegant proofs of many statements.
Definition 4. The ordinary generating function of a sequence ( 0 , 1 , 2 , . . .), where ∈ C, is In this paper, we assume that 0 ̸ = 0 above series is convergent for sufficiently small .  The following lemma is a sequence version of Lemma 2.3 in [9] with = 1 (the proof is also similar).
where (i) is positive integer greater than two; (ii) 0 = 1; which proves the lemma.
The Scientific World Journal 3 Definition 6. Let 0 , 1 , 2 , . . . ∈ C and 0 ̸ = 0. We define for ≥ 2 and the functions (power series) for sufficiently small | | < and ∈ C. This series is convergent because we consider only ( 1 , 2 , . . .) such that is convergent and the proof of this fact follows from the main result.

The Main Result
The following is our main results of the paper.
Proof. It is clear from Lemma 5 that we have where 0 = 1, and, in the last equality, we use the Cauchy product of two series. This proves the Theorem.
Thus, we get ) , for even, Example 10. In random matrix theory, the Marčenko-Pastur distribution, or Marčenko-Pastur law, describes the asymptotic behavior of singular values of large rectangular random matrices. The theorem is named after Ukrainian mathematicians Marčenkoand Pastur who proved this result in 1967 (see [7]). Moments of the Marčenko-Pastur law (with rate 1 and jump size 1) are The Scientific World Journal Then, have free cumulants, which are constant; that is, ( 1 , 2 , . . . , ) = 1 (see [8,10]). Thus, if 0 = 1, then Open Problem. It would be worth to show whether Theorem 7 is true for noncommutative -free cumulants (for more details, see [14]).