[논문 리뷰] Free Analysis Questions II: The Grassmannian Completion and The Series Expansions at the Origin

Dan-Virgil Voiculescu|ArXiv.org|2008. 06. 02.

Random Matrices and Applications참고 문헌 11인용 수 12

한 줄 요약

이 논문은 단위 Banach 대수 위의 행렬 대수의 Grassmannian 완비화로 자유 분석을 확장하여 무한대에서의 행동을 포함하는 해석적 함수와 자유 차분 몰입을 일반화한다. 완전히 행렬형 해석 함수들이 위상적 무한소bialgebra를 이룬다는 것을 입증하고, 원점에서의 급수 전개를 특성화함으로써 비가환 $ R $-변환을 도입하며, 이는 비대칭화된 형태와 일치하고 비자기수 하위대수에서의 큰 $ N $ 근사를 허용한다.

ABSTRACT

The fully matricial generalization in part I, of the difference quotient derivation on holomorphic functions, in which ${\mathbb C}$ is replaced by a Banach algebra $B$, is extended from the affine case to a Grassmannian completion. The infinitesimal bialgebra duality, the duality transform generalizing the Stieltjes transform and the spectral theory with non-commuting scalars all extend to this completion. The series expansions of fully matricial analytic functions are characterized, providing a new way to generate fully matricial functions.

연구 동기 및 목표

• 아핀 경우에서부터 Grassmannian 완비화로의 완전히 행렬형 해석 함수 프레임워크를 확장하여 무한대에서의 행동을 포함한다.
• Grassmannian 구조를 통해 비가환 스칼라로의 이중성 변환과 스펙트럼 이론을 일반화한다.
• 완전히 행렬형 해석 함수의 원점에서의 급수 전개를 특성화하여 이러한 함수의 새로운 구성법을 가능하게 한다.
• 비자기수 자유군 $ II_1 $-요소의 하위대수에서 $ R $-변환의 큰 $ N $ 근존이 존재함을 입증한다.
• 완전히 행렬형 $ R $-변환이 급수 전개와 형식적 유사성에 의해 비대칭화된 $ R $-변환과 일치함을 보인다.

제안 방법

• 행렬 대수 $ \mathfrak{M}_n(B) $의 Grassmannian을 사용하여 아핀 공간을 완비하고, 행렬형 해석 함수의 정의역을 무한대 점까지 확장한다.
• 자유 차분 몰입을 통해 복소 차분 몰입을 Banach 대수로 일반화한 comultiplication-derivation $ \widetilde{\partial} $ 를 도입한다.
• 역함수 정리를 적용하여 $ G_a $-변환의 국소 역함수 $ L_a $ 를 구성하고, 이를 통해 $ R $-변환을 $ R_a(b) = (1 + \Phi(H_a(L_a(b)))L_a(b))^{-1}\Phi(H_a(L_a(b))) $ 로 도출한다.
• $ R_{a \otimes I_n} $ 이 영점 주변의 이웃에서 전체적으로 유계인 안정적 행렬형 해석 함수임을 입증하며, $ n $ 과 무관한 일관된 상수를 갖는다.
• 완전히 행렬형 $ R_a $ 의 급수 전개를 사용하여 비대칭화된 $ R $-변환과 일치함을 보이며, 이전 연구에서의 형식적 유사성을 활용한다.
• 연산자 값의 해리스프레드에 이중성 변환을 적용하고, 자기수 및 유니터리 연산자에 대한 보편적 구성법을 통해 비가환 스칼라로의 스펙트럼 이론을 확장한다.

실험 결과

연구 질문

• RQ1 어떻게 완전히 행렬형 해석 함수 프레임워크를 아핀 직선에서 Grassmannian 완비화를 통해 리만 구면으로 확장할 수 있는가?
• RQ2 Grassmannian 영역에서 완전히 행렬형 해석 함수의 공간은 어떤 구조를 가지며, 이는 위상적 무한소bialgebra를 지원하는가?
• RQ3 원점에서의 급수 전개는 이러한 행렬형 함수의 해석적 구조를 어떻게 특성화하는가?
• RQ4 비자기수 $ C^* $-대수의 맥락에서 $ R $-변환의 큰 $ N $ 근사는 무엇인가?
• RQ5 완전히 행렬형 $ R $-변환은 비대칭화된 $ R $-변환과 자유 코모듈란트와 어떻게 관련이 있는가?

주요 결과

• Grassmannian 영역 $ \Omega $ 에서의 완전히 행렬형 해석 함수의 공간은 곱셈 $ \mu $, comultiplication-derivation $ \widetilde{\partial} $, 및 coderivation $ \Lambda $ 를 갖는 위상적 무한소bialgebra를 이룬다. 여기서 $ \Lambda - \mathrm{id} $ 는 도함수이다.
• 모든 $ B $-값을 가진 비가환 랜덤 변수 $ a $ 에 대해, $ \|a\| $ 에만 의존하는 $ \varepsilon > 0 $ 이 존재하여, $ (R_{a \otimes I_n})_{n \in \mathbb{N}} $ 가 $ \varepsilon \mathcal{D}_0(B) $ 에서 전체적으로 유계인 안정적 행렬형 해석 함수를 이룬다.
• $ R $-변환은 아핀 영역을 초월한 해석 continuation을 보장하는 $ \widetilde{\varepsilon \mathcal{D}_0(B)} $ 로의 완전히 행렬형 확장을 갖는다.
• 완전히 행렬형 $ R $-변환의 급수 전개는 비대칭화된 $ R $-변환과 일치하며, [5] 에서 형식화되었고 [10] 에서 자유 코모듈란트와 연결되어 있다.
• 큰 $ N $ 근사에서 $ R $-변환의 극한은 비자기수 자유군 $ II_1 $-요소의 하위대수에 존재하며, $ B = \mathfrak{M}_k $ 일 경우 $ \mathfrak{M}_k^*_{\mathbb{C}} C(\mathbb{T}) $ 에서 특히 성립한다.
• $ R $-변환의 자유 독립성 하에서의 가법성은 급수 전개에서도 유지되며, $ \mathcal{R}_{(a_1+a_2)\otimes I_n} = \mathcal{R}_{a_1\otimes I_n} + \mathcal{R}_{a_2\otimes I_n} $ 를 만족하여 아핀 경우와의 일致성을 확인한다.