[논문 리뷰] Analytic Subordination for Free Compression

Stephen Curran|ArXiv.org|2008. 03. 31.

Advanced Numerical Analysis Techniques인용 수 3

한 줄 요약

이 논문은 자유 확률 이론에서 자유 압축에 대한 해석적 하위관계를 자유 차분 몰프יזם 코알제브라 프레임워크를 사용하여 수립한다. 압축된 랜덤 변수의 리졸베인트가 $ B $-값 조건부 기대를 통한 원래 변수의 리졸베인트보다 해석적으로 하위관계를 가짐을 증명하며, Voiculescu의 하위관계 결과를 임의의 추적 $ \tau(p) = t^{-1} $ 를 가진 프로젝션을 통한 자유 압축의 경우로 확장한다.

ABSTRACT

We extend the free difference quotient coalgebra approach to analytic subordination to the case of a free compression in free probability.

연구 동기 및 목표

• 자기수반 랜덤 변수가 그것과 자유인 프로젝션에 의해 압축되는 경우에 자유 확률 이론에서의 해석적 하위관계 원리를 자유 압축의 경우로 확장하는 것.
• 압축된 연산자의 리졸베인트가 $ B $-값 설정에서 원래 연산자의 리졸베인트보다 해석적으로 하위관계를 가짐을 확립하는 것.
• 자유 추가 병합 반군의 연속적 경우로 Voiculescu의 하위관계 결과를 $ B $-값 코알제브라 준동형 사상 방법을 통해 일반화하는 것.
• 이전의 하위관계 증명에서 요구되었던 일반성 조건과 공액 변수 조건을 제거하기 위해 반정규 분포 편향을 통한 극한 근사 방법을 사용하는 것.
• 압축된 연산자를 다룰 수 있도록 자유 차분 몰프יזם 코알제브라 방법을 von Neumann 대수에서의 $ B $-값 확장하는 것.

제안 방법

• 자기수반 랜덤 변수의 자유 차분 몰프יזם 코알제브라의 $ B\langle X\rangle $에서의 구조를 사용하며, $ \partial_{X:B} $ 는 $ \partial_{X:B}(X) = 1\otimes 1 $ 을 만족하는 코애소시에이티브 도함수이다.
• 도함수의 코표현 이론을 적용: $ \partial a_{ij} = \sum_k a_{ik} \otimes a_{kj} $ 를 만족하는 역행렬을 갖는 $ n\times n $ 행렬은 $ n_{ij} \in \ker \partial $ 인 형태의 행렬 $ (n_{ij} - X\delta_{ij}) $ 의 역행렬이다.
• 자기수반 랜덤 변수의 두 번째 모멘트가 유한해지도록 보장하기 위해 $ S $ 를 $ (0,1) $-반정규 분포를 가진 요소로 하여 $ X + \epsilon S $ 와 같은 편향을 도입한다. 이때 $ S $ 는 $ B\langle X,p\rangle $ 와 자유이다.
• $ \partial_{X+\epsilon S:B} $ 가 닫힘 가능하고 $ \mathscr{J}(X+\epsilon S:B) \in L^2 $ 임을 이용하여 [Voi00] 에서의 코알제브라 준동형 결과를 적용할 수 있도록 한다.
• 압축된 연산자 $ X_p = \alpha^{-1}pXp $ 의 리졸베인트에 대해 $ B $-값 조건부 기대 $ E_{\mathfrak{M}_n(B\langle X\rangle)}^{\mathfrak{M}_n(M)} $ 를 적용한다. 여기서 $ \alpha = \tau(p) $ 이다.
• 모든 $ \epsilon \to 0 $ 에서 리졸베인트의 노름 수렴을 확립하여, 하위관계 함수 $ \Phi_n(\beta) $ 가 존재하고 상반평면 $ \mathbb{H}_+(\mathfrak{M}_n(B)) $ 에 값을 갖는다는 것을 보인다.

실험 결과

연구 질문

• RQ1 자기수반 랜덤 변수가 그것과 자유인 프로젝션에 의해 압축될 경우, 해석적 하위관계를 수립할 수 있는가?
• RQ2 압축된 리졸베인트의 $ B $-값 조건부 기대가 원래 리졸베인트와 하위관계를 가지는가?
• RQ3 압축 구조를 통해 연속적인 자유 추가 병합 반군 $ \mu_t $, 여기서 $ \mu_1 = \mu $ 인 경우 하위관계 결과를 확장할 수 있는가?
• RQ4 공액 변수 조건이 제거되었을 때 하위관계 함수가 해석적이며 상반평면으로 사상되는가?
• RQ5 자유 차분 몰프יזם 코알제브라 프레임워크를 사용하여 $ \|\mathscr{J}(X:B)\|_2 < \infty $ 라는 조건 없이도 하위관계를 증명할 수 있는가?

주요 결과

• 프로젝션 $ p $ 가 $ \tau(p) = \alpha^{-1} $ 를 만족할 때, 압축된 연산자 $ X_p = \alpha^{-1}pXp $ 는 어떤 $ \eta \in \mathbb{H}_+(\mathfrak{M}_n(B)) $ 에 대해 $ \alpha^{-1}E_{\mathfrak{M}_n(B\langle X\rangle)}^{\mathfrak{M}_n(M)}(X_p \otimes I_n - \beta(p \otimes I_n))^{-1} = (X \otimes I_n - \eta)^{-1} $ 을 만족한다.
• 하위관계 함수 $ \Phi_n: \Delta_+\mathfrak{M}_n(B) \to \Delta_+\mathfrak{M}_n(B) $ 는 해석적이며, 모든 $ \beta \in \Delta_+\mathfrak{M}_n(B) $ 에 대해 $ \alpha^{-1}E_{\mathfrak{M}_n(B\langle X\rangle)}^{\mathfrak{M}_n(M)}(X_p \otimes I_n - \beta(p \otimes I_n))^{-1} = (X \otimes I_n - \Phi_n(\beta))^{-1} $ 를 만족한다.
• $ \epsilon \to 0 $ 으로의 리졸베인트의 노름 수렴은 하위관계 함수 $ \Phi_n(\beta) $ 가 $ \Delta_+\mathfrak{M}_n(B) $ 에서 잘 정의되고 해석적임을 보장한다.
• 반정규 분포 편향을 통한 극한 근사 방법을 사용하여 공액 변수 조건 $ \|\mathscr{J}(X:B)\|_2 < \infty $ 가 필요 없어짐을 보였다.
• 결과는 Voiculescu의 하위관계를 $ B $-값 설정으로 일반화하며, $ \mu_t $ 는 $ (pMp, t\tau|_{pMp}) $ 에서 $ tpXp $ 의 분포임을 고려하여 연속적인 자유 추가 병합 반군 $ \mu_t $ 에도 적용된다.
• 하위관계는 모든 $ \beta \in \mathbb{H}_+(\mathfrak{M}_n(B)) $ 에 대해 성립하며, 극한을 취한 후에도 하위관계 함수의 해석성이 유지됨을 보였다.