Arxiv:1504.04736V1 [Math.OA] 18 Apr 2015 Pc,I H Oooecs Ed O Suetailt Ftestat the of Traciality Assume Not Space

arXiv:1504.04736v1 [math.OA] 18 Apr 2015 pc,i h oooecs ed o suetailt ftestat the of traciality assume not space. do p probability such we non-commutative call case we as and monotone space tracial) the is state in the class space, Meixner (i.e. tracial monotone is and space free probability the a that in out determined turns be It can distributions case. Meixner free [17 monotone from that prove relax kind we first to the also wh of us distribution distribution mom allowed binomial Beta order free It the low of of some characterization characterization [19]. of new a existence and prove the [5] also to we from distribution results the (s way for convolutions support simpler multiplicative a free and in th additive prove To free variables. of random free subordination of distributions of characterizations condit 20]. two 9, first 8, of [7, consult properties directions by similar characterized were distributions X ierfnto of function linear h exe itiuin aetepoet httefis conditio first the that property the have regressio th distributions Laha-Lukacs proved Meixner Bo˙zejko [6] speaking, by the Ejsmont Roughly obtained studied. was regressions. were direction assumed probability this free in in result regressions first The authors. cec etrgatN.2012/05/B/ST1/00626. No. grant Center Science Greifswald. distribution. Meixner free distribution, Binomial OVLTO,SBRIAINADCAATRZTO PROBLEM CHARACTERIZATION AND SUBORDINATION CONVOLUTION, + ewudlk ont htw ilwr ntostig:frfe probab free for settings: two in work will we that note to like would We ind monotone for regression Laha-Lukacs the study we Additionally unifi a find and generalize to was paper this for motivation original The ersiecaatrzto rbesi repoaiiyhv been have probability free in problems characterization Regressive 2010 S a atal upre ytePls ainlSineC Science National Polish the by supported partially was KSz Ewsprilyspotdb utinSineFn FF Pr (FWF) Fund Science Austrian by supported partially (ANR-11-BS01-0008) was OSQPI WE Project ANR an by supported was UF e od n phrases. and words Key Y nte hrceiaino iia yewssuidi 1] hr f where [19], in studied was type similar of characterization Another . ahmtc ujc Classification. Subject Mathematics uasrgesosfrmntnclyidpnetrno v random independent variable monotonically Us random for free regressions support. Lukacs of unbounded distributions gene with of we variables characterization convolutions random multiplicative to free probability and additive free Abstract. X hrceiainpolm nfe rbblt r studied are probability free in problems Characterization + Y n h eodcniinlmmn ftesm yei quadratic a is type same the of moment conditional second the and , uascaatrzto,cniinlepcain freen expectation, conditional characterization, Lukacs OCMUAIEPROBABILITY NONCOMMUTATIVE .ESOT .FAZ .SZPOJANKOWSKI K. FRANZ, U. EJSMONT, W. rmr:4L4 eodr:62E10. Secondary: 46L54. Primary: 1. Introduction 1 ne rn o 2012/05/B/ST1/00554. No. grant enter .Asmlrtcnqei sdt td Laha- study to used is technique similar A s. aiesm nw hrceiain nfree in characterizations known some ralize ariables. jc oP250N6adb h oihNational Polish the by and 25510-N26 P No oject n hstcnqew lopoeanew a prove also we technique this ing n yteAfidKupWseshfsolgin Wissenschaftskolleg Krupp Alfried the by and ncasclpoaiiysy htonly that says probability classical in n scoincide. es sedw s in’ eut concerning results Biane’s use we end is ]. oa oet.Frohrrslsin results other For moments. ional tmaue bandi 5 aethe have [5] in obtained measures at a oetof moment nal ns sn h eeoe technique developed the Using ents. oaiiysaeatailprobability tracial a space robability c safe nlgeo h classical the of analogue free a is ich n rci 5 hr Laha-Lukacs where [5] in Bryc and n erfrt uhprobability such to refer we and e e[].Ti prahlasu to us leads approach This [3]). ee tde nls h er yseveral by years the last in studied ee sn uodnto of subordination Using here. iia a sw eemn tin it determine we as way similar pnetrno aibe,and variables, random ependent dwyt ro nw regressive known proof to way ed lt eut easm htthe that assume we results ility s,fe-oso itiuin free- distribution, free-Poisson ess, e oso n rebinomial free and Poisson ree h odto fcompact of condition the X given X ucinof function + IN S Y sa is 2 W. EJSMONT, U. FRANZ, K. SZPOJANKOWSKI

The paper is organized as follows. In section 2 we introduce brieﬂy the necessary prerequisites on free and monotone probability theory. In section 4 we state the main results and then prove them.

2. Prerequisites on free and monotone probability 2.1. Free probability. By a tracial probability space we understand here a pair ( , τ) where is a von Neumann algebra, and τ : C is a normal, faithful, tracial state, i.e. τ( ) is linear,A continuousA in A → · weak* topology, τ(XY) = τ(YX), τ(I) = 1, τ(XX∗) 0 and τ(XX∗) = 0 implies X = 0 for all X, Y . ≥ ∈ A We denote by the algebra of unbounded operators aﬃliated to (i.e. X , if and only if all its A A ∈ A spectral measures are in ) and by the subspace of self-adjoint elements of . A (noncommutative) A Asa A random variableeX is a self-adjoint (i.e. X = X∗) element of sa. If X sa, thee distribution of X in the R A X ∈ A state τ is the unique probability measuree µX on such that τ(f( )) = R f(λ)dµe X(λ) for any bounded Borel function f on R. e e R

Let I be a set of indices and i, for i I , be von Neumann subalgebras of . Subalgebras ( i)i I are called free if τ(X ... X ) =B 0 whenever∈ τ(X ) = 0 for all j =1,...,n and X A for some indicesB ∈ 1 n j j ∈Bi(j) i(1) = i(2) = = i(n). Random variables X1,..., Xn are freely independent (free) if algebras generated by their6 spectral6 · · · 6 projections are free.

If is a von Neumann subalgebra and has a trace τ, then there exists a unique conditional expectationB ⊂ A from to with respect to τ, whichA we denote by τ( ). This map is a weakly continuous, completelyA positive,B identity preserving, contraction and it·|B is characterized by the property that, τ(XY) = τ(τ(X )Y) for any X and for any Y (see [3, 21]). For fixed X by τ( X) we denote the conditional|B expectation corresponding∈ A to the von∈ B Neumann algebra generated∈ A by X and·| I. B Let µ and ν are be probability measures on R, then there exists a tracial probability space ( , τ) and A self-adjoint elements X, Y in sa with respective distributions µ and ν, such that X and Y are free. The distribution of X + Y is calledA the free additive convolution of µ and ν and is denoted by µ ⊞ ν. e Assume that X and Y are self-adjoint and free, X, Y with distributions µ and ν, respectively. If X is positive, then the support of µ is a subset of (0, ), and the free multiplicative convolution of µ and ν ∞ is defined as the distribution of √XY√X and denoted by µ ⊠ ν. For more details about free convolutions and free probability theory, the reader can consult [15, 22]. 2.2. Analytical Tools. The Cauchy-Stieltjes transform of a probability measure µ is defined as µ(dx) Gµ(z)= , (z) > 0. R z x ℑ Z − Then define the mapping L : C+ C+ by: µ → 1 Lµ(z)= Gµ(z) + and note that Lµ is analytic on C . It was proved by Bercovici and Voiculescu in [2] that there exist 1 positive numbers η and M, such that Lµ has an (analytic) right inverse Lµ− defined on the region Λ = z C : (z) < η (z), (z) >M . η,M { ∈ |ℜ | ℑ ℑ } For a non-commutative random variable X with distribution µ its Voiculescu transform ϕX = ϕµ is defined as 1 (1) ϕ (z)= L− (z) z = (1/z), µ µ − Rµ CONVOLUTION, SUBORDINATION AND CHARACTERIZATION PROBLEMS IN NONCOMMUTATIVE PROBABILITY3

1 on any region of the form Λη,M , where L− is deﬁned. From [2] it follows that for X and Y which are freely independent

(2) ϕX+Y(z)= ϕX(z)+ ϕY(z). This relation explicitly (in the sense of ϕ-transform) deﬁnes free convolution of X and Y. If X has the distribution µ, then often we will write ϕµ instead ϕX. Note that by Bercovici and Voiculescu’s result in [2], any two of the three distributions of X, Y, and X + Y determine uniquely the third.

Another analytical tool is an S-transform which works nicely with products of freely independent vari- + ables. Let ν denote the probability measure supported on R . Observe that, with exception of δ0, all such measures have nonzero ﬁrst moment (if the 1st moment exists) and we assume throughout that we are not dealing with this measure. Consider the following function: zξ ψµ(z)= dµ(ξ), R+ 1 zξ Z − + for z C R . As it was proved in [2] ψµ iC+ is univalent and maps into an open neighborhood about ∈ \ | + the interval (µ( 0 ) 1, 0). Let Ω = ψ C+ and let χ :Ω = ψ C+ iC denote the inverse function. { } − µ µ|i µ µ|i → For a non-commutative random variable X its S-transform, denoted by SX, is deﬁned by the equation

(1 + z)χµ(z) (3) SX(z)= , z For X and Y which are freely independent

(4) SXY = SX SY.

Free Meixner distribution A non-commutative random variable X is said to be a free Meixner variable if the Cauchy-Stieltjes transform is given by the formula

(1+2b)z + a (z a)2 4(1 + b) (5) Gµa,b (z)= −2 − − , 2(bz p+ az + 1) where a R,b 1 and z is big enough, where the branch of the analytic square root should be determined∈ by the≥ condition− | that| (z) > 0 (G (z)) 6 0 (see [16]). Equation (5) describes a family ℑ ⇒ ℑ µ of distributions with mean zero and variance one (see [8, 16]). The absolutely continuous part of µa,b is 4(1 + b) (x a)2 2 − − , p2π(bx + ax + 1) 2 on a 4(1 + b) x a + 4(1 + b). The measure µa,b may also have one atom if a > 4b 0 and a second− atom if 1≤ b<≤ 0. ≥ p p Free Meixner− distributions≤ have Voiculescu transform 1 (6) ϕ (z)= z a + (z + a)2 4b a,b 2b − − and R-tranform p 1 (z)= 1 az + (1 + az)2 4bz2 . Ra,b 2bz − − p 4 W. EJSMONT, U. FRANZ, K. SZPOJANKOWSKI

The free Poisson and free Binomial distributions belong to the free Meixner class. Since this distributions will appear in several places in this paper, we need to state some additional facts about them. Free Poisson distribution A non-commutative random variable X is said to be free-Poisson variable if it has Marchenko-Pastur (or free-Poisson) distribution ν = ν(λ, α) deﬁned by the formula

(7) ν = max 0, 1 λ δ + λν,˜ { − } 0 where λ 0 and the measureν ˜, supported on the interval (α(1 √λ)2, α(1 + √λ)2), α > 0 has the density (with≥ respect to the Lebesgue measure) − 1 ν˜(dx)= 4λα2 (x α(1 + λ))2 dx. 2παx − − p The parameters λ and α are called the rate and the jump size, respectively. It is worth to note that a non-commutative variable with Marchenko-Pastur distribution arises also as a limit in law (in non- λ λ ⊞N commutative sense) of variables with distributions ((1 N )δ0 + N δα) as N , see [15]. Therefore, such variables are often called free-Poisson. If X is free-Poisson− with distribution→ ∞ ν(λ, α) then its S- transform has the form (see [19]) 1 (8) SX(z)= . αλ + αz

Free binomial distribution A non-commutative random variable X is free-binomial if its distribution β = β(σ, θ) is deﬁned by

(9) β = (1 σ)I δ + β˜ + (1 θ)I δ , − 0<σ<1 0 − 0<θ<1 1

where β˜ is supported on the interval (x , x+), − 2 σ 1 1 σ (10) x = 1 1 , ± σ + θ − σ + θ ± σ + θ − σ + θ s s ! and has the density

(x x ) (x+ x) β˜(dx) = (σ + θ) − − − dx, 2πx(1 x) p − σ+θ σθ where (σ, θ) (σ, θ): σ+θ 1 > 0, σ+θ 1 > 0 . The n-th free convolution power of distribution ∈ − − n o pδ + (1 p)δ 0 − 1/n is free-binomial distribution with parameters σ = n(1 p) and θ = np, which justiﬁes the name of the distribution (see [16]). Its S-transform is of the form (see− [19]) 1 (11) SU(z)=1+ . σ/θ + z/θ CONVOLUTION, SUBORDINATION AND CHARACTERIZATION PROBLEMS IN NONCOMMUTATIVE PROBABILITY5

2.3. Complementary facts. The proofs of the main theorems are based on Biane’s [3] description of the conditional expectation of functions of X+Y onto the algebra generated by X. Here, we introduce the theorems of Biane in a special case i.e. when our function is resolvent type map. The main idea of these results is that for free additive and multiplicative convolutions there exist a subordination functions. Theorem 2.1. Let ( , τ) be a tracial probability space, be a von Neumann subalgebra of , let Y , A B A ∈ Asa be a self-adjoint element which is free with , and let X = X∗ sa. Denote by µ and ν the distributions of X and Y respectively. Then there existsB an analytic function∈ BF on C R such that e \ e (12) τ X Y(z) )= X(F (z)). R + |B R 1 + + where X(z) = (z X)− (i.e. resolvent map). Function F satisﬁes F (ξ) = F (ξ), F (C ) C , R − F (iy) ⊂ Im(F (ξ)) Im(ξ), limy =1 and we have ≥ →∞ iy Gµ⊞ν (ξ)= Gµ(F (ξ)), for all ξ C+. ∈ Remark 2.2. If ϕµ and ϕν are proportional, i.e., if ν is a free convolution power of µ, then we can give an explicit expression for the subordination function. Suppose we have ϕν (z)= λϕµ(z) with some λ> 0, ⊞λ i.e., ν = µ , then we have ϕµ⊞ν =(1+ λ)ϕµ and therefore

1 1 1 λz L− (z)= L− (z)+ . µ 1+ λ µ⊞ν 1+ λ The subordination function is then given by

1 λ z F (z)= L− L ⊞ (z)= L (z)+ µ ◦ µ ν 1+ λ µ+ν 1+ λ i.e., it is the reciprocal Cauchy-Stieltjes transform of a boolean convolution power or µ⊞ν. More precisely, λ we have F = L , with ρ = (µ ⊞ ν)⊎ 1+λ , where denotes the additive boolean convolution, cf. [18]. ρ ⊎ We also need the following theorem in the case of multiplicative free convolution. Theorem 2.3. Let ( , τ) be a tracial probability space, be a von Neumann subalgebra of , and A B A X, Y such that X and Y are positive, with respective distributions µ and ν, diﬀerent from δ , one ∈ Asa 0 has X sa and Y is free with . Then there exists an analytic function F on C R+ such that ∈eB B \ e 1/2 1/2 1/2 1/2 1 1 (13) τ ξX YX (I ξX YX )− )= F (ξ)X(I F (ξ)X)− , − |B − Function F satisﬁes F (ξ)= F (ξ), F (ξ) C+, Arg(F (ξ)) Arg(ξ) and ∈ ≥ ψµ⊠ν (ξ)= ψµ(F (ξ)), for all ξ C+. ∈ We will also need the following fact.

+ 1 Lemma 2.4. For z C R we deﬁne the operator ΨX(z) = zX(I zX)− . This operator satisﬁes the following properties ∈ \ − n n 1 i i (14) X ΨX(z)= ΨX(z) z X , zn − i=1 ! X for all integers n 0. ≥ 6 W. EJSMONT, U. FRANZ, K. SZPOJANKOWSKI

Proof. We will prove it inductively, let us check it for k = 1.

1 1 1 1 2 1 zX (I zX)− zX = X (I zX)− I = X (I zX)− (I (I zX)) = zX (I zX)− = XΨX(z). z − − − − − − − − Assume now that (14) holds for n = k 1 we will prove it for n = k. − k 1 k 1 − − k k 1 1 i i 1 i i+1 X ΨX(z)= XX − ΨX(z)= X ΨX(z) z X = XΨX(z) z X zk 1 − zk 1 − − i=1 ! − i=1 ! X X k 1 k 1 1 − i i+1 1 i i = (ΨX(z) zX) z X = ΨX(z) z X , zk 1 z − − zk − − i=1 ! i=1 ! X X which proves (14). 2.4. Monotone independence. For working with monotone independence we have to modify our set- ting. By a non-commutative probability space we understand here a pair ( , φ) where is a von Neumann algebra, and φ : C is a normal faithful state, A A Let I be a linearlyA → ordered set of indices and , for i I, be strongly closed *-subalgebras of . Bi ∈ A Subalgebras ( i)i I are called monotonically independent if B ∈ (i) X YX = φ(Y)X X whenever X , B X B , Y B with j>i and j>i ; 1 2 1 2 1 ∈ i1 2 ∈ i2 ∈ j 1 2 (ii) φ(X X YZ Z ′ ) = φ(X ) φ(X )φ(Y)φ(Z ) φ(Z ′ ) whenever X B , Y B , 1 ··· k 1 ··· k 1 ··· m 1 ··· m ℓ ∈ iℓ ∈ j Z B with i > >i > j and j < k < < k ′ , ℓ ∈ kℓ 1 ··· m 1 ··· m cf. [13, 14]. Remark 2.5. To get interesting examples we have to allow non-tracial states and non-unital subalgebras. If , are two unital subalgebras that are monotonically independent w.r.t. a state φ, then we get B1 B2 ⊆ A φ(X1X2)= φ(X11X2)= φ(X1)φ(1)φ(X2) for all X , X , by viewing 1 as an element of . Similarly, if φ is a trace, then we have 1 2 ∈B1 B2 φ(X1)φ(Y)φ(X2)= φ(X1YX2)= φ(X2X1Y)= φ(X2X1)φ(Y) for all X1, X2 1, Y 2. In both cases∈B it follows∈B that the states on all but the last algebra have to be characters. The non-unitality of the subalgebras also means that we can not have (unit-preserving) conditional expectations. We call a map E : from a non-commutative probability space ( , φ) onto a strongly closed *-subalgebra a generalizedA→B conditional expectation, if it satisfies the followingA conditions: (i) E preserves φ, i.e. φ E = φ; (ii) E is idempotent, i.e.◦E E = E; (iii) E is completely positive;◦ (iv) E is a contraction, i.e. E 1; (v) E satisfies the module property|| || ≤ E(XYZ)= XE(Y)Z, for X, Y , Z . ∈B ∈ A A typical example is given by the following. Let H be a Hilbert space with unit vector ω H and P (H) an orthogonal projection that leaves ω invariant. Set = (H), φ(X) = ω, Xω ∈and = P∈XP B; X . Then E(X)= P XP for X defines a generalizedA conditionalB expectationh ontoi . B { ∈ B} ∈ A B Theorem 2.6. Let ( , φ) be a non-commutative probability space, 1, 2 two monotonically independent strongly closed *-subalgebrasA of . Then there exists a generalizedB conditionalB expectation A E ( ): φ ·|B1 B1 ∨B2 →B1 where denotes the smallest strongly closed *-subalgebra of containing and . B1 ∨B2 A B1 B2 CONVOLUTION, SUBORDINATION AND CHARACTERIZATION PROBLEMS IN NONCOMMUTATIVE PROBABILITY7

Proof. Denote by (H,π,ξ) the GNS representation of ( 1 2, φ 1 2 ), and set H1 = π( 1)ξ, H2 = B ∨B |B ∨B B π( )ξ. Since and are monotonically independent, one can show that B2 B1 B2 U : π(X )π(X )ξ π(X )ξ π(X )ξ 2 1 7→ 1 ⊗ 2 extends to a unitary map from H to H1 H2, by a calculation similar to the proof of [11, Theorem 3.5]. Furthermore, U implements a unitary equivalence⊗ between the restriction of π and the representation ρ : (H H ) determined by B1 ∨B2 →B 1 ⊗ 2 ρ(X) = π(X) P for X , ⊗ ξ ∈B1 ρ(X) = id π(X) for X , H1 ⊗ ∈B1 where P denotes the orthogonal projection onto ξ. I.e., the algebra ρ( ) acts as zero on the orthogonal ξ B1 complement of H1 ξ ∼= H1 and is a von Neumann subalgebra of (H1), when restricted to this subspace. ⊗ ˜ B 1 ˜ It follows that ρ( 1) contains the operator P = idH1 Pξ. Set P = ρ− (P ), then one can check that E(X)= P XP hasB all the desired properties. ⊗ The following theorem shows how to compute this conditional expectation in the situations which we will need here, it can be proved as in [10, Proposition 3.2]. Theorem 2.7. Let ( , φ) be a non-commutative probability space, be a strongly closed *-subalgebra A B of , let Y , be an self-adjoint element which is monotonically independent with , and let A ∈ Asa B X = X∗ sa. Denote by F = LY the reciprocal Cauchy-Stieltjes transform of Y. ∈ B e (15) Eφ X+Y(z) )= X(F (z)). e R |B R 1 where X(z) = (z X)− (i.e. resolvent map). R − We will use the notation Eφ( X) for the generalized conditional expectation onto the strongly closed subalgebra generated by a r.v. X·|, but note that here this algebra will not be unital in general. Muraki [13] showed the additive monotone convolution is described by the composition of the reciprocal Cauchy-Stieltjes transforms, If X and Y are two monotonically independent self-adjoint operators with reciprocal Cauchy-Stieltjes transforms LX and LY, then X + Y has the reciprocal Cauchy-Stieltjes transform LX Y = LX LY, and the Cauchy-Stieltjes transform + ◦ (16) GX Y = GX LY. + ◦ This result was extended to posssibly unbounded, essentially self-adjoint operators in [11]. Note that Bercovici and Voiculescu’s result in [2] implies also in the case of monotone independence that any two of the three distributions of X, Y, and X + Y uniquely the third.

3. The main results and proofs of the theorems The following theorems are the main results of the paper. The ﬁrst theorem was proved by Bo˙zejko and Bryc in [5], authors used combinatorial approach and had to assume existence of all moments. Our proof is based on Biane’s subordination trick of the conditional expectation of functions of X + Y given by the algebra generated by X. This allows us to relax conditions on moments, we assume only the existence of variance of random variables, which is natural assumption. The idea of this proof is close to the original Laha and Lukacs proof of the theorem [12], with characteristic functions replaced by Cauchy-Stieltjes transforms.

Theorem 3.1. Suppose that X,Y sa are free, self-adjoint, non-degenerate, centered (τ(X)= τ(Y)= 0), τ(X2 + Y2)=1 and there are numbers∈ A α,β > 0 and α + β =1 such that (17) e τ(X X + Y)= α(X + Y) | 8 W. EJSMONT, U. FRANZ, K. SZPOJANKOWSKI

and αβ (18) V ar(X X + Y)= I+ a(X + Y)+ b(X + Y)2 . | (b + 1) X Y Then /√α and /√β have the free Meixner laws µa/√α,b/α and µa/√β,b/β, respectively. The next theorem gives an analog of this result for monotone independence. For monotonically independent subalgebras we have only generalized conditional expectations onto the past, therefore we have to reformulate the regression property. We say that X and Y satisfy a quadratic regression with parameters α, β, a, and b, if (19) φ Xf(X + Y) = αφ (X + Y)f(X + Y) and (20) φ Xf(X + Y)X = φ (αβ I+ a(X + Y)+ b(X + Y)2 /(b +1)+ α2(X + Y)2)f(X + Y) for all bounded continuous functions f Cb(R). Note that it follows from the deﬁnition of monotone independence that we have ∈

φ X2f(X + Y) = φ Xf(X + Y)X = φ f(X + Y)X . When the conditional expectation of X and X2 onto the algebra generated by X + Y exists, then the quadratic regression property deﬁned above is equivalent to the conditions (17) and (18) we used in the previous theorem.

Theorem 3.2. Suppose that X,Y sa are monotonically independent, self-adjoint, non-degenerate, centered (τ(X)= τ(Y)=0), τ(X2 +∈Y2A)=1 and that they satisfy a quadratic regression with parameters α,β > 0, α + β =1. e X X Y Then /√α and ( + ) have the free Meixner laws µa/√α,b/α and µa,b, respectively. Remark 3.3. Because of the “non-unitality” of monotone independence, the assumption that X is centered is more important than in the free case, where it could easily be removed. Next theorem gives a similar generalization of a result from [19] where authors proved characterization of free binomial and free Piosson random variable. This result is a free analogue of classical probability characterization proved in [4].

Theorem 3.4. Suppose that U, V sa are free, self-adjoint, non-degenerate and V, U have a distribution supported on (0, ] and distribution∈ A of U is supported on [0, ]. Assume that there exist real constants ∞ ∞ c and d such that e

1 1 1 1 (21) τ V V 2 UV 2 V 2 UV 2 = c I − and

1 1 2 1 1 (22) τ (V V 2 UV 2 ) V 2 UV 2 = d I. − c τ(VU)+2c 2τ(V) 2 V − c Then has free-Poisson distribution, ν(λ, α) with λ = σ + θ, σ = c2 d ,θ = d c2 , α = − − 2 d c U −c and has free-binomial distribution, β(σ, θ). The next result is a free analogue of characterization of the Beta distribution of the ﬁrst kind proved by Wesolowski and Seshadri in [17]. CONVOLUTION, SUBORDINATION AND CHARACTERIZATION PROBLEMS IN NONCOMMUTATIVE PROBABILITY9

Theorem 3.5. Let X, Y be free, selfadjoint and non-degenerate. Moreover assume that ∈ Asa 1 1 1 1 (23) τ I Y Y 2 XY 2 =c I Y 2 XY 2 e − | − 1 1 1 1 1 1 − (24) τ (I Y)− Y 2 XY 2 =d I Y 2 XY 2 − | − for some real constants c, d. (1 c)dα (c 1)(d 1) X X X Then has free binomial distribution with parameters σ = cd− 1 > 0 and θ = −1 cd− > 0, and (1 c)(d(α+1)−1) c(1 d−) Y Y Y has free binomial distribution with parameters σ = − cd 1 − > 0 and θ = 1 −cd > 0. − − We now present the proof of our results.

3.1. Proof of Theorem 3.1. Proof. It is easy to check that

(25) X X(z)= I + z X(z), R − R 2 2 (26) X X(z)= z X + z X(z). R − − R We will first compute τ(X X+Y(z)) in two different ways. Let us first observe that R

τ(X X Y(z)) = τ τ(X X Y(z) X + Y) = τ τ(X X + Y) X Y(z) R + R + | | R + (17) (25) (27) = ατ (X + Y) X Y(z) = α zGX Y(z) 1 . R + + − Using Theorem 2.1 we compute τ(X X+Y(z)) as follows R τ(X X Y(z)) = τ τ(X X Y(z) X) R + R + | (28) = τ Xτ( X Y(z) X) = τ X X(F (z)) = F (z)GX F (z) 1. R + | R − Similar argument applied to the expression τ(X2 X Y(z)) give us R + 2 2 2 (29) τ(X X Y(z)) = τ τ(X X Y(z) X + Y) = τ τ(X X + Y) X Y(z) R + R + | | R + 2 2 2 (30) = τ αβ(I + a(X + Y)+ b(X + Y) )/(b +1)+ α (X + Y) X Y(z) R + (18) 2 2 2 = αβ GX Y(z)+ azGX Y(z) a zb + z bGX Y(z) /(b +1)+ α ( z + z GX Y(z)) . + + − − + − + and

2 2 2 (26) 2 (31) τ(X X Y(z)) = τ X τ( X Y(z) X) = τ X XF (z) = F (z)+ F (z)GX F (z) . R + R + | R − This gives the system of equations

(32) α zGX Y(z) 1 = F (z)GX F (z) 1, + − − 2 αβ (1 + az + z b)GX+Y(z) a zb 2 2 2 (33) − − + α ( z + z GX+Y(z)) = F (z)+ F (z)GX F (z) b +1 − − Finally, (32) and (33) together with GX+Y(z)= GX(F (z)) give

2 2 (1 + za + bz )GX Y(z) (z + a +2bz)GX Y(z)+1+ b =0, + − + which has the solution (1+2b)z + a (z a)2 4(1 + b) X Y (34) G + (z)= −2 − − . 2(bz p+ az + 1) 10 W. EJSMONT, U. FRANZ, K. SZPOJANKOWSKI

because (z) > 0 (Gµ(z)) 6 0, which means that X + Y has free Meixner law. From this we also deduce thatℑ X and⇒Y ℑare bounded random variable and we can proceed analogously to the proof of Theorem 3.2 or 2.3 from [5] and [7], respectively.

3.2. Proof of Theorem 3.2.

Proof. We compute again the expections of X X Y(z) and X2 X Y(z) in two diﬀerent ways. Applying R + R + the quadratic regression property and Theorem 2.7 to X X Y(z), we get R + φ(X X Y(z) = φ αφ (X + Y) X Y(z) = α GX Y(z) 1 R + R + + − and

φ(X X Y(z) = φ XE X Y(z) X = φ X LY(z) = LY(z)GZ LY(z) 1. R + φ R + | RX − For X2 X Y(z) we obtain similarly, R + 2 2 2 2 (35) φ X X Y(z) = φ αβ(I + a(X + Y)+ b(X + Y) )/(b +1)+ α (X + Y) X Y(z) R + R + 2 2 2 (36) = αβ GX Y(z)+azGX Y(z) a zb + z bGX Y(z) /(b +1)+ α z+ z GX Y(z) + + − − + − + and 2 2 2 2 φ(X X Y(z)) = φ X X Y(z) X) = φ X X L (z) = LY(z)+ LY(z)GX LY(z) . R + R + | R Y − We conclude that GX, GX+Y and F = LY satisfy again the system of equations (32) and (33). Since we also have again GX Y = GX F , see Equation (16), we can solve the system in the same way as in the + ◦ proof of the previous theorem. In the ﬁrst step we see that GX+Y is again given by Equation (34), i.e. X + Y has free Meixner distribution µa,b. Using GX F = GX+Y and substituting the formula for GX+Y into Equation (32), we get F . The conditions on◦F , which was in the free case the subordination function in Biane’s theorem, imply that it is the reciprocal Cauchy-Stieltjes transform of some probability measure on R. By Bercovici and Voiculescu’s result [2] F is invertible on some appropriate domain, therefore GX+Y and F determine GX. X We see that has free Meixner law µa/√α,b/α.

Remark 3.6. The only diﬀerence between the free and the monotone characterisations of the free Meixner law lies in the distribution of Y. In the free case F is the subordination function and GY is computed from GX and GX+Y. In the monotone case F is the reciprocal Cauchy-Stieltjes transform LY of Y. From Equation (32) we get

LY(z) = αz + (1 α)LX Y(z) − + 1 = (1 + α +2b)z + βa + β (z a)2 4(1 + b) 2(1 + b) − − p and therefore (1 + β +2b)z + βa β (z a)2 4(1 + b) GY(z)= − − − . 2 4 (α + b)z +paβz + 1] The law of Y the β-th boolean convolution power of the law of X +Y, cf. [18], which is also clear from Remark 2.2. Anshelevich [1] showed that the Boolean Meixner family also coincides with the free Meixner family, but it fails to satisfy a Boolean Laha-Lukacs-type characterization. CONVOLUTION, SUBORDINATION AND CHARACTERIZATION PROBLEMS IN NONCOMMUTATIVE PROBABILITY11

3.3. Proof of Theorem 3.4. Proof. The main idea of the proof is similar to the proof of the Theorem 3.1. From Lemma 2.4 we have

(37) XΨX(z)= X +ΨX(z)/z, − 2 2 2 (38) X ΨX(z)= X X/z +ΨX(z)/z . − − As in the proof of Theorem 3.1, we will calculate conditional expectation in two diﬀerent ways. Let us ﬁrst proceed with τ(VΨ 1 1 (z)). We have V 2 UV 2 1 1 1 1 τ(VΨ 1 1 (z)) = τ τ(VΨ 1 1 (z) V 2 UV 2 ) = τ τ(V V 2 UV 2 )Ψ 1 1 (z) V 2 UV 2 V 2 UV 2 | | V 2 UV 2 (21) 1 1 (37) (39) = τ [c + V 2 UV 2 ]Ψ 1 1 (z) = cψ 1 1 (z) τ(VU)+ ψ 1 1 (z)/z. V 2 UV 2 V 2 UV 2 − V 2 UV 2 Using Theorem 3.4, it follows that

τ(VΨ 1 1 (z)) = τ τ(VΨ 1 1 (z) V) V 2 UV 2 V 2 UV 2 | (40) = τ Vτ(Ψ 1 1 (z)V) = τ VΨV(F (z)) = ψV F (z) /F (z) τ(V). V 2 UV 2 | − By a similar argument we get

2 2 1 1 (22) τ(V Ψ 1 1 (z)) = τ τ(V V 2 UV 2 )Ψ 1 1 (z) = V 2 UV 2 | V 2 UV 2 1 1 1 1 1 1 2 τ dI+2(c + V 2 UV 2)V 2 UV 2 (V 2 UV 2 ) ]Ψ 1 1 (z) − V 2 UV 2 (38) 2 2 = dψ 1 1 (z)+2cψ 1 1 (z)/z 2cτ(VU) τ((VU) ) τ(VU)/z + ψ 1 1 (z)/z V 2 UV 2 V 2 UV 2 − − − V 2 UV 2 and V 2 2 2 2 τ( ) 2 τ(V Ψ 1 1 (z)) = τ V τ(Ψ 1 1 (z) V) = τ V ΨVF (z) = τ(V ) + ψV F (z) /F (z). V 2 UV 2 V 2 UV 2 | − − F (z) 1 Taking into account that ψ 1 1 (z)= ψV⊠U(z)= ψV(F (z)) and substituting z = F (z) we obtain two V 2 UV 2 − equations (after simple calculation) 2 2 2 2 ψ 1 1 (z) z d c ψ 1 1 (z)(cτ(V )z + τ(V) τ(V )z τ(VU)+ τ((VU) )z) V 2 UV 2 − − V 2 UV 2 − − +τ(VU)z(τ(V ) τ(VU))=0, − and 2 2 2 2 ψV(z) dz c z + ψV(z)( czτ(VU)+ zτ(V ) zτ((VU) )+3τ(V )+ τ(VU)) − − − 2 +z τ(V ) + τ(V)τ(VU) =0. Under the assumptions of Theorem 3.4, we have τ(V) τ(UV)= c and τ(V2) τ((VU)2)= d +2cτ(UV). − − c τ(VU)+2c 2τ(V) 2 2 − c d c Using the relationship between the parameters i.e. λ = σ + θ, σ = c2 d ,θ = d c2 , α = −c we can simplify the above equations − − 2 αzψ 1 1 (z) ψ 1 1 (z)(1 + (c α(1 + λ))z) (c αλ)z =0, V 2 UV 2 − V 2 UV 2 − − − and 2 ψV(z) αz + ψV(z)(αz + αλz 1)+ αλz =0. 1 1 − Since ψ−1 1 (z)= χ 1 1 (z) and ψV− (z)= χV(z), from the above equations we get V 2 UV 2 V 2 UV 2

2 αz χ 1 1 (z) z(1 + (c α(1 + λ))χ 1 1 (z)) (c αλ)χ 1 1 (z)=0, V 2 UV 2 − − V 2 UV 2 − − V 2 UV 2 12 W. EJSMONT, U. FRANZ, K. SZPOJANKOWSKI

and 2 z αχV(z)+ z(αχV(z)+ αλχV(z) 1)+ αλχV(z)=0. − Now we use (3) to ﬁnd the corresponding S-transform as 1 S 1 1 (z)= , V 2 UV 2 αλ c + αz − and 1 SV(z)= . αλ + αz Note that the equations above deﬁne S-transform of the free-Poisson distribution (see equation (8)). Since U and V are free by (4) we arrive at c SU(z)=1+ . αλ + αz c − From (11) it follows that SU(z) is the Cauchy transform of free-binomial distribution with parameters θ = c/α and σ = λ c/α. − 3.4. Proof of Theorem 3.5.

Proof. Similarly as the previous proof this proof is mainly based on Theorem 2.3. 1 First note that if we deﬁne ΨX(z)= zX(1 zX)− , then − (41) z z 1 1 1 1 (ΨX(z) ΨX(1)) = (I zX)− (zX(I X) (I zX)X) (I X)− = (I X)− zX(1 zX)− z 1 − z 1 − − − − − − − − − 1 = (I X)− ΨX(z). − Using (24) we can write

1 1 1 1 τ (I Y)− Ψ 1 1 (z) = τ τ (I Y)− Y 2 XY 2 Ψ 1 1 (z) − Y 2 XY 2 − | Y 2 XY 2 1 1 1 − = dτ I Y 2 XY 2 Ψ 1 1 (z) . − Y 2 XY 2 By equation (41) we get

1 z (42) τ (I Y)− Ψ 1 1 (z) = dτ Ψ 1 1 (z) Ψ 1 1 (1) . − Y 2 XY 2 z 1 Y 2 XY 2 − Y 2 XY 2 − On the other hand we can use Theorem 2.3 to transform (24), which after applying (41) gives

1 1 F (z) (43) τ (I Y)− Ψ 1 1 (z) = τ (I Y)− ΨY (F (z)) = τ (ΨY (F (z)) ΨY (1)) , − Y 2 XY 2 − F (z) 1 − − where ΨY (F (z))=Ψ 1 1 (z). Y 2 XY 2 Finally we can combine (42) and (43) which results F (z) z (44) (ψY (F (z)) ψY (1)) = d ψ 1 1 (z) ψ 1 1 (1) , F (z) 1 − z 1 Y 2 XY 2 − Y 2 XY 2 − − where for any non-commutative random variable X we denote ψX(z)= τ (ΨX(z)). Note that equation (24) implies

1 1 1 1 − τ (I Y)− = dτ I Y 2 XY 2 , − − CONVOLUTION, SUBORDINATION AND CHARACTERIZATION PROBLEMS IN NONCOMMUTATIVE PROBABILITY13

the above equation can be rewritten as 1 1 1 1 1 1 − 1+ τ Y (I Y)− = d 1+ τ Y 2 XY 2 I Y 2 XY 2 , − − which means

ψY(1) = d 1+ ψ 1 1 (1) 1. Y 2 XY 2 − Putting the above equation into (44) gives us F (z) z (45) ψY (F (z)) d 1+ ψ 1 1 (1) +1 = d ψ 1 1 (z) ψ 1 1 (1) . F (z) 1 − Y 2 XY 2 z 1 Y 2 XY 2 − Y 2 XY 2 − − Now we proceed similarly with equation (24).

1 1 1 1 τ (I Y)Ψ 1 1 (z) = τ τ (I Y) Y 2 XY 2 Ψ 1 1 (z) = cτ I Y 2 XY 2 Ψ 1 1 (z) . − Y 2 XY 2 − | Y 2 XY 2 − Y 2 XY 2 By (14) we have

Ψ 1 1 (z) Y 2 XY 2 1 1 z 1 1 1 (46) cτ Ψ 1 1 (z) + cτ Y 2 XY 2 = cτ Ψ 1 1 (z) + cτ Y 2 XY 2 . Y 2 XY 2 − Y 2 XY 2 − z ! z By Theorem 2.3, by a similar computation we obtain F (z) 1 (47) τ (I Y)Ψ 1 1 (z) = τ ((I Y)ΨY(F (z))) =τ − ΨY(F (z)) + τ (Y) − Y 2 XY 2 − F (z) F (z) 1 =τ − Ψ 1 1 (z) + τ (Y) . F (z) Y 2 XY 2 Combining equations (46) and (47) we get

F (z) 1 z 1 1 1 τ − Ψ 1 1 (z) + τ (Y)= cτ − Ψ 1 1 (z) + τ Y 2 XY 2 . F (z) Y 2 XY 2 z Y 2 XY 2 1 1 Taking into account that equation (23) implies τ (I Y)= c I τ Y 2 XY 2 we obtain − − F (z) 1 z 1 (48) − ψ 1 1 (z)= c − ψ 1 1 (z)+ c 1, F (z) Y 2 XY 2 z Y 2 XY 2 − where we use the same notation as in the equation (45). We can multiply equations (45) and (48) which gives us

(49) ψ 1 1 (z) ψ 1 1 (z) d 1+ ψ 1 1 (1) +1 = Y 2 XY 2 Y 2 XY 2 − Y 2 XY 2 z z 1 (50) d ψ 1 1 (z) ψ 1 1 (1) c − ψ 1 1 (z)+ c 1 , z 1 Y 2 XY 2 − Y 2 XY 2 z Y 2 XY 2 − − we use here the relation ψY (F (z)) = ψ 1 1 (z). Y 2 XY 2 1 Now we deﬁne χ 1 1 = ψ−1 1 , then for χ 1 1 we obtain Y 2 XY 2 Y 2 XY 2 Y 2 XY 2

χ 1 1 (z) χ 1 1 (z) 1 (51) z (z d (1 + α)+1)= d Y 2 XY 2 (z α) c Y 2 XY 2 − z + c 1 , − χ 1 1 (z) 1 − χ 1 1 (z) − Y 2 XY 2 − Y 2 XY 2 ! where we denote α = ψ 1 1 (1). Y 2 XY 2 From the above equation we get z 1 d χ 1 1 (z)= 1+ − . Y 2 XY 2 z +1 (c 1)dα + z(1 cd) − − 14 W. EJSMONT, U. FRANZ, K. SZPOJANKOWSKI

By equation (3) and traciality of τ we get the S-transform of XY 1 d (52) SXY =1+ − . (c 1)dα + z(1 cd) − −

We will obtain similarly the S-transform of Y. Now we rewrite (45) and (48) as F (z) z (ψY (F (z)) d (1 + α)+1)= d (ψY (F (z)) α) F (z) 1 − z 1 − − − F (z) 1 z 1 − ψY (F (z)) c +1= c − ψY (F (z)) . F (z) − z Multiplying both sides of the above equations gives us F (z) F (z) 1 (ψY (F (z)) d (1 + α)+1) − ψY (F (z)) c +1 = F (z) 1 − F (z) − − cd (ψY (F (z)) α) ψY (F (z)) . − 1 Substituting z = F − (z) we obtain z z 1 (ψY (z) d (1 + α)+1) − ψY (z) c +1 = z 1 − z − − cd (ψY (z) α) ψY (z) , − 1 which for χY = ψY− implies

χY(z) χY(z) 1 (z d (1 + α)+1) − z c +1 = χY(z) 1 − χY(z) − − cd (z α) z. − From the above equation we get z c(1 d) χY(z)= 1+ − . z +1 (c 1)(d(1 + α) 1)+ z(1 cd) − − − By the equation (3) the S-transform of Y has form c(1 d) (53) SY(z)=1+ − . (c 1)(d(1 + α) 1)+ z(1 cd) − − − Y (1 c)(d(α+1) 1) From (11) we see that has a free binomial distribution with parameters σ = − cd 1 − and c(1 d) − θ = 1 −cd . Since− we know the S-transforms of XY and Y we can ﬁnd the S-transform of X by the equation (4) which gives us (c 1)(d 1) SX(z)=1+ − − . (c 1)dα + z(1 cd) − − X (1 c)dα (c 1)(d 1) From (11) we see that has a free binomial distribution with parameters σ = cd− 1 and θ = −1 cd− . − −

Acknowledgments CONVOLUTION, SUBORDINATION AND CHARACTERIZATION PROBLEMS IN NONCOMMUTATIVE PROBABILITY15

The authors would like to thank M. Bo˙zejko for several discussions and helpful comments during the preparation of this paper. U. Franz also wants to thank Takahiro Hasebe for many stimulating discussions related to subordination and monotone independence. K. Szpojankowski thanks J. Wesolowski for helpful discussions.

References [1] Anshelevich M.: Appell polynomials and their relatives. II. Boolean theory, Indiana Univ.Math. J., 58(2), 929-968, (2009). [2] Bercovici H., Voiculescu D.V., Free Convolution of Measures with Unbounded Support. Indiana Univ. Math. J. 42, 733-773, (1993). [3] Biane P.: Processes with free increments. Math. Z., 227(1),143-174, (1998). [4] Bobecka, K. and Weso lowski, J. : Three dual regression schemes for the Lukacs theorem. Metrika 56, 43–54, (2002) [5] Bo˙zejko M., Bryc W.: On a class of free Lévy laws related to a regression problem. J. Funct. Anal. 236, 59-77, (2006). [6] Ejsmont W.: Laha-Lukacs properties of some free processes. Electron. Commun. Probab., 17 (13),1-8, (2012) DOI: 10.1214/ECP.v17-1865. [7] Ejsmont W.: Noncommutative characterization of free Meixner processes. Electron. Commun. Probab., 18 (22),1-12, (2013). [8] Ejsmont W.: Characterizations of some free random variables by properties of conditional moments of third degree polynomials. J. Th. Probab. 27 (3), 915-931, (2014). [9] Ejsmont W.: New characterization of two-state normal distribution. Infin. Dimens. Anal. Quantum. Probab. Relat. Top., 17, 1450019 (2014) DOI: 10.1142/S0219025714500192. [10] Franz U., Muraki N., Markov property of monotone Lévy processes, In “Infinite Dimensional Harmonic Analysis III”, Proceedings of the Third German-Japanese Symposium, University of Tübingen, Germany, 15-20 September 2003, H. Heyer, T. Hirai, T. Kawazoe, K. Saito (Eds.), p. 37-57, 2005 [11] Franz U., Monotone and boolean convolutions for non-compactly supported probability measures, Indiana Univ. Math. J. 58 No. 3 (2009), 1151-1186. [12] Laha R. G., Lukacs E.: On a problem connected with quadratic regression. Biometrika, 47(300), 335-343, (1960). [13] Muraki N., Monotonic convolution and monotone Lévy-Hinvcin formula, preprint, 2000. [14] Muraki N., Monotone independence, monotone central limit theorem and monotonic law of small numbers, Inf. Dim. Anal., quant. probab. and rel. fields, 4(1):3958, 2001. [15] Nica A., Speicher R.: Lectures on the Combinatorics of Free Probability, London Mathematical Society Lecture Notes Series 365, Cambridge University Press, (2006). [16] Saitoh N., Yoshida H.: The infinite divisibility and orthogonal polynomials with a constant recursion formula in free probability theory. Probab. Math. Statist., 21(1), 159-170, (2001). [17] Seshadri, V. and Weso lowski, J.: Constancy of regressions for beta distributions. Sankhy¯a, 65, 2, (2003). [18] Speicher R., Woroudi R., Boolean convolution, Fields Inst. Commun 12, 267-279, 1999. [19] Szpojankowski K., Weso lowski J.: Dual Luakcs regressions for non-commutative random variables. J. Functional Anal- ysis 266, 36-54, (2014). [20] Szpojankowski, K.: Dual Lukacs regressions of negative orders for noncommutative variables. Infin. Dimens. Anal. Quantum Probab. Relat. Top., 17(3), 1450021 ,(2014) [21] Takesaki M.: Conditional expectations in von Neumann algebras. J. Functional Analysis, 9, 306-321, (1972). [22] Voiculescu D.V., Dykema. K.J., Nica A.: Free random variables: A noncommutative probability approach to free products with applications to random matrices, operator algebras and harmonic analysis, on free groups. CRM Monograph Series, vol. 1. American Mathematical Society, (1992).

(W. Ejsmont) Department of Mathematical Structure Theory (Math C) TU Graz Steyrergasse 30, 8010 Graz, Austria and Department of Mathematics and Cybernetics Wroclaw University of Economics, ul. Komandorska 118/120, 53-345 Wroclaw, Poland E-mail address: [email protected]

(U. Franz) Departement´ de mathematiques´ de Besanccon, Universite´ de Franche-Comte´ 16, route de Gray, 25 030 Besanccon cedex, France E-mail address: [email protected]

(K. Szpojankowski) Wydzia l Matematyki i Nauk Informacyjnych, Politechnika Warszawska, ul. Koszykowa 75, 00-662 Warszawa, Poland E-mail address: [email protected]