[논문 리뷰] Absence of algebraic relations and of zero divisors under the assumption of full non-microstates free entropy dimension

Tobias Mai, Roland Speicher외 1명|arXiv (Cornell University)|2015. 02. 23.

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

한 줄 요약

이 논문은 트레이스가 있고 유한하게 생성된 $W^*$-확률 공간에서, 공액 변수의 존재와 최대 비마이크로스테이트 자유 엔트로피 차원이 존재하면 생성자들 사이에 대수적 관계가 없고, 바나흐 대수에 영원소가 없음을 보여준다. 핵심 결과는 최대 자유 엔트로피 차원 조건 하에서 생성자들에 대한 비상수 자기수반 비가환 다항식의 분포에 원자가 없음을 보여주며, 자유 확률 이론에서 오랫동안 미해결이었던 문제를 해결한다.

ABSTRACT

We show that in a tracial and finitely generated $W^\ast$-probability space existence of conjugate variables excludes algebraic relations for the generators. Moreover, under the assumption of maximal non-microstates free entropy dimension, we prove that there are no zero divisors in the sense that the product of any non-commutative polynomial in the generators with any element from the von Neumann algebra is zero if and only if at least one of those factors is zero. In particular, this shows that in this case the distribution of any non-constant self-adjoint non-commutative polynomial in the generators does not have atoms. Questions on the absence of atoms for polynomials in non-commuting random variables (or for polynomials in random matrices) have been an open problem for quite a while. We solve this general problem by showing that maximality of free entropy dimension excludes atoms.

연구 동기 및 목표

• 공액 변수의 존재가 생성자들 사이에 대수적 관계가 없음을 의미함을 증명하여 자유 확률 이론의 기초적 간극을 메우기.
• 자유 랜덤 변수의 비가환 다항식이 원자 분포를 가질 수 있는지 여부에 대한 열린 문제를 해결하기.
• 최대 비마이크로스테이트 자유 엔트로피 차원이 생성된 바나흐 대수에서 영원소의 부재를 암시함을 보여주기.
• 유한 자유 피셔 정보에 대한 이전 결과를 더 일반적인 최대 자유 엔트로피 차원의 경우로 확장하기.
• 공액 변수의 존재가 아닌 최대 자유 엔트로피 차원 조건 하에서도 대수적 관계와 영원소의 부재가 유도됨을 보장하기.

제안 방법

• 생성자들이 생성하는 바나흐 대수의 구조를 분석하기 위해 공액 변수 이론과 비가환 미분을 사용한다.
• 비마이크로스테이트 자유 엔트로피 차원 $\delta^*$ 를 적용하며, $n$개의 생성자에 대해 최대값 $n$을 취한다고 가정한다.
• 비가환 다항식 대수 $\mathbb{C}\langle X_1,\dots,X_n\rangle$ 위에 정의된 미분 $\hat{\partial}_j$ 를 구성하며, $\hat{\partial}_j(X_i) = \delta_{j,i} 1 \otimes 1$ 를 만족한다. 이는 대수적 관계가 없을 경우 유일하게 결정된다.
• 비가환 다항식 대수 $\mathbb{C}\langle Z_1,\dots,Z_n\rangle$ 위의 보편 미분 $\partial_j$ 와 생성자들 위에 유도된 미분 $\hat{\partial}_j$ 사이에 교환도형을 구축하여 일관성을 확보한다.
• 이러한 미분의 존재성과 유일성을 이용하여, 만약 비영 다항식 $P$ 에 대해 $P(X_1,\dots,X_n) = 0$ 이라면 최대 엔트로피 차원 조건 하에서 모순이 발생함을 증명한다.
• Shlyakhtenko 및 이전 연구 결과를 활용하여, 유한 피셔 정보의 경우에서 최대 자유 엔트로피 차원의 경우로 추론을 확장한다.

실험 결과

연구 질문

• RQ1 W^* 확률 공간에서 공액 변수의 존재는 생성자들 사이에 대수적 관계가 없음을 의미하는가?
• RQ2 자유 랜덤 변수의 비가환 다항식이 원자 분포를 가질 수 있으며, 만약 그렇다면 어떤 조건에서 가능한가?
• RQ3 최대 비마이크로스테이트 자유 엔트로피 차원 $\delta^*(X_1,\dots,X_n) = n$ 이 생성된 바나흐 대수에서 영원소의 부재를 암시하는가?
• RQ4 공액 변수의 존재가 없더라도 최대 자유 엔트로피 차원 조건 하에서 대수적 관계의 부재가 유도되는가?
• RQ5 최대 자유 엔트로피 차원 조건 하에서 비상수 자기수반 비가환 다항식의 분포에 원자가 존재하는지 여부를 확립할 수 있는가?

주요 결과

• 최대 비마이크로스테이트 자유 엔트로피 차원 $\delta^*(X_1,\dots,X_n) = n$ 을 가정할 경우, $W^*$-확률 공간의 생성자들 사이에 비자명한 대수적 관계가 존재하지 않는다.
• 영원소의 부재가 증명된다: 임의의 비가환 다항식 $P$ 와 바나흐 대수의 원소 $a$ 에 대해 $P(X_1,\dots,X_n) \cdot a = 0$ 이면 $P(X_1,\dots,X_n) = 0$ 이거나 $a = 0$ 이다.
• 생성자들에 대한 비상수 자기수반 비가환 다항식의 분포는 원자를 가지지 않으며, 이는 오랫동안 미해결이었던 열린 문제를 해결한다.
• 공액 변수의 존재는 대수적 관계의 부재를 암시하며, 자유 확률 이론의 기초적 간극을 메꾼다.
• 다항식 대수 위의 미분 $\hat{\partial}_j$ 는 유일하게 결정되며, 대수적 관계가 없을 경우 보편 미분의 평가에 의해 유도된 이미지와 일치한다.
• 결과는 유한 자유 피셔 정보를 넘어서 더 일반적인 최대 자유 엔트로피 차원의 설정으로 확장되며, Shlyakhtenko의 이전 결과를 일반화한다.