[논문 리뷰] A non-commutative Path Space approach to stationary free Stochastic Differential Equations

Yoann Dabrowski|arXiv (Cornell University)|2010. 06. 22.

Advanced Operator Algebra Research참고 문헌 38인용 수 14

한 줄 요약

이 논문은 유한 von Neumann 대수에서 보존적 완전 마르코프 세미군에 대한 마르코프 확장(확장)을 구성하기 위해 비가환 경로 공간 프레임워크를 도입한다. 이를 통해 자유 브라운 운동에 의해 구동되는 자유 확률적 확률미분방정식의 정적 해를 가능하게 한다. 주요 기여는 비미세상수 자유 엔트로피에 대한 비가환 탈라그랑드 부등식과, c.m.a.p.를 가지며 첫 번째 $L^2$ 베타 수가 양수인 가산离산 군의 von Neumann 대수는 카르탕 부분대수를 가지지 않음을 보이는 것으로, 변형/고정 기법을 사용한다.

ABSTRACT

By defining tracial states on a non-commutative analogue of a path space, we construct Markov dilations for a class of conservative completely Markov semigroups on finite von Neumann algebras. This class includes all symmetric semigroups. For well chosen semigroups (for instance with generator any divergence form operator associated to a derivation valued in the coarse correspondence) those dilations give rise to stationary solutions of certain free SDEs previously considered by D. Shlyakhtenko. Among applications, we prove a non-commutative Talagrand inequality for non-microstates free entropy (relative to a subalgebra B and a completely positive map η:B o B). We also use those new deformations in conjunction with Popa's deformation/rigidity techniques. For instance, combining our results with techniques of Popa-Ozawa and Peterson, we prove that the von Neumann algebra of a countable discrete group with CMAP and positive first L^2 Betti number has no Cartan subalgebras.

연구 동기 및 목표

• 자유 확률 이론의 맥락에서, 특히 미세상수 자유 엔트로피 차원과 $L^2$ 베타 수 비교에서 발생하는 정적 자유 SDE를 해결하기 위해.
• 이전에 자유 결합체의 von Neumann 대수에 해가 존재하기 위해 요구되었던 제한적인 보존성 조건을 극복하기 위해.
• 기존의 고전적 설정을 초월하여 일반적인 보존적 완전 마르코프 세미군에 대한 마르코프 확장을 체계적으로 일반화하기 위해.
• 새로운 확장 프레임워크를 적용하여 von Neumann 대수 이론에서 고정성 결과를 증명하고, 특히 카르탕 부분대수에 관해.
• 부분대수와 완전 양의 매핑에 대해 비가환 탈라그랑드 유형의 운반 비용 부등식을 비미세상수 자유 엔트로피에 대해 수립하기 위해.

제안 방법

• 유한 von Neumann 대수에서 보존적 완전 마르코프 세미군에 대한 마르코프 확장을 정의하기 위해 비가환 경로 공간의 타입 상태를 구성한다.
• 해의 위치에 대한 사전 지식 없이도 자유 SDE에서 유도된 형식적 이토 적분 방정식을 해결하기 위해 코모고로프-다니엘 유사 기법을 적용한다.
• 확장의 명시적 구조를 활용하여 정적 조건을 유도함으로써, 해가 환경의 $II_1$ 원소에서 추적을 유지하는 자기환원사상을 생성함을 보장한다.
• 자유 이토 공식과 코arse 대응에서 값이 나는 도함수의 성질을 이용하여 자유 브라운 운동의 작용을 통해 확률적 적분을 정의한다.
• 확장을 활용하여 포파의 의미에서 von Neumann 대수의 변형을 구성함으로써 변형/고정 기법의 적용을 가능하게 한다.
• 이 프레임워크를 $L^2$ 베타 수와 c.m.a.p. 군 von Neumann 대수에 적용하여, 이중 모듈러의 컴팩턴스성과 혼합성 특성을 이용해 고정성 결과를 도출한다.

실험 결과

연구 질문

• RQ1 제한적인 보존성 조건으로 인해 해가 자유 결합체에만 존재하도록 강요되는 상황을 벗어나, 자유 SDE의 정적 해를 보다 넓은 범위에서 구성할 수 있는가?
• RQ2 유한 von Neumann 대수에서 일반적인 보존적 완전 마르코프 세미군에 대해 마르코프 확장을 어떻게 체계적으로 구성할 수 있는가?
• RQ3 비가환 경로 공간 프레임워크가 비미세상수 자유 엔트로피에 대한 새로운 운반 비용 부등식을 도출할 수 있는가?
• RQ4 이러한 새로운 확장 기반으로 변형/고정 기법을 얼마나 넓게 확장하여 카르탕 부분대수의 부재를 증명할 수 있는가?
• RQ5 비가환 표현에서의 유계가 아닌 코사이클을 혼합 표현에서의 유계 코사이클로 대체하여 고정 정리의 가정 조건을 약화시킬 수 있는가?

주요 결과

• 논문은 분리된 예비대수를 가진 유한 von Neumann 대수에서 정의된 실수 계수의 밀도가 있는 실수 닫힌 도함수에 대해, $X_t = X_0 - \frac{1}{2}\int_0^t \Delta(X)_s ds + \int_0^t \delta(X)_s \# dS_s$ 형태의 자유 SDE에 대한 정적 해를 구성한다.
• 부분대수 $B$와 완전 양의 매핑 $\eta: B \to B$에 대해 비미세상수 자유 엔트로피에 대한 비가환 탈라그랑드 부등식이 증명되었으며, 이는 고전적 운반 비용 부등식을 자유 비미세상수 설정으로 확장한다.
• 첫 번째 $L^2$ 베타 수가 양수이며 c.m.a.p.를 가진 가산 이산 군 $\Gamma$에 대해, von Neumann 대수 $L(\Gamma)$는 카르탕 부분대수를 가지지 않는다.
• 동일한 결과는 프로파인트 자유 p.m.p. 에르고딕 작용에 대해 $L^\infty(X) \rtimes \Gamma$의 교차곱에 대해서도 확장되며, 이 경우 유일한 카르탕 부분대수는 유니터리 동치를 제외하고 유일하다.
• 이 프레임워크를 통해 비가환 표현에서의 적절한 코사이클을 혼합 표현에서의 코사이클로 대체할 수 있으며, 이는 이전 고정 정리의 가정 조건을 약화시킨다.
• 확장 구성은 정규 방정식을 만족하며, 초기 von Neumann 대수의 정규 변형을 제공함으로써 포파의 변형/고정 기법의 적용이 가능해진다.