[논문 리뷰] Affine connections, duality and divergences for a von Neumann algebra

Anna Jenčová|ArXiv.org|2003. 11. 05.

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

한 줄 요약

이 논문은 비가환 $L_p$-공간에 대한 임bedding을 통한 이중성과 애핀 접선을 이용하여 von Neumann 대수의 전쌍(dual)에 대한 미분기하학적 프레임워크를 수립한다. $p \in (1,\infty)$ 에서의 $L_p$-공간의 균일한 볼록성과 바나흐 공간 이중성에 기반하여 $\alpha \in (-1,1)$ 에 대해 $\alpha$-divergence를 정의하며, 이들이 양의 원뿔 위에서 Petz의 준엔트로피와 일치함을 보여, 아마리의 고전적 정보기하학을 무한차원 비가환 설정으로 일반화한다.

ABSTRACT

On the predual of a von Neumann algebra, we define a differentiable manifold structure and affine connections by embeddings into non-commutative L_p-spaces. Using the geometry of uniformly convex Banach spaces and duality of the L_p and L_q spaces for 1/p+1/q=1, we show that we can introduce the α-divergence, for αin (-1,1), in a similar manner as Amari in the classical case. If restricted to the positive cone, the α-divergence belongs to the class of quasi-entropies, defined by Petz.

연구 동기 및 목표

• 유한차원 확률 공간에서 기반을 둔 고전적 정보기하학—이중 평탄한 접선과 $\alpha$-divergence를 바탕으로 하여, von Neumann 대수의 무한차원 비가환 설정으로 일반화한다.
• 비가환 $L_p$-공간에 대한 $\alpha$-임bedding을 이용하여 von Neumann 대수의 전쌍에 대해 미분 가능 다양체의 구조를 정의한다.
• 리만 계량을 요구하지 않고도 $L_p$와 $L_q$ 공간 간의 바나흐 공간 이중성에 의해 $\alpha$-접선의 이중성을 확립한다.
• 유도된 $\alpha$-divergence가 양의 원뿔에서 페츠의 준엔트로피 $S_{g_\alpha}$ 와 일치함을 보여, 비가환 거리측정과 정보기하학을 통합한다.

제안 방법

• von Neumann 대수 $M$의 전쌍 $M_*$를 $\alpha$-임bedding을 통해 비가환 $L_p(M,\phi)$-공간에 통합한다. 여기서 $p = \frac{2}{1-\alpha}$, $\alpha \in (-1,1)$ 이다.
• $\alpha$-접선을 $L_p(M,\phi)$ 내의 평탄한 접선으로 정의하며, $\pm\alpha$-이중성은 $1/p + 1/q = 1$ 조건을 만족하는 $L_p$와 $L_q$ 공간 간의 이중성에 기반한다.
• $p \in (1,\infty)$ 에서의 $L_p$-공간의 균일한 볼록성에 기반하여 유일한 지지 초평면과 미분 가능성 보장을 확보하고, 이는 이중 좌표에 대한 잠재 함수의 구성에 기여한다.
• $\alpha$-임bedding을 통해 $M_* \times M_*$ 상에 유도된 함수를 정의하고, $L_p$-노름 최소화를 이용하여 접선을 탄성공간에 사영함으로써 $\alpha$-divergence를 정의한다.
• $L_p$-공간의 볼록성 모듈러스와 균일한 볼록성에 기반하여, 양의 원뿔에서 $S_\alpha$-위상, $\alpha$-약위상, $L_1$-위상 간의 위상적 동치를 확립한다.

실험 결과

연구 질문

• RQ1 유한차원 확률 공간에서 기반을 둔 이중 애핀 접선과 $\alpha$-divergence에 기초한 미분기하학적 구조는 von Neumann 대수의 전쌍으로 일반화될 수 있는가?
• RQ2 리만 계량을 요구하지 않고 $L_p$와 $L_q$ 공간 간의 바나흐 공간 이중성만을 이용하여 $\alpha$-접선의 이중성을 어떻게 실현할 수 있는가?
• RQ3 비가환 $L_p(M,\phi)$ 공간에 대한 $\alpha$-임bedding을 통해 유도된 $\alpha$-divergence는 전쌍의 양의 원뿔에서 페츠의 준엔트로피 $S_{g_\alpha}$ 와 일치하는가?
• RQ4 $\alpha$-divergence는 상태의 집합에 어떤 위상적 성질을 유도하며, $L_1$-위상과 같은 표준적 위상과 어떻게 관련이 있는가?

주요 결과

• $\alpha$-임bedding을 통해 $L_p(M,\phi)$ 에 정의된 $\alpha$-divergence는 전쌍의 양의 원뿔에서 페츠의 준엔트로피 $S_{g_\alpha}$ 와 정확히 일치한다.
• $\alpha$-접선은 $L_p(M,\phi)$ 내에서 평탄하며, 그 이중성은 리만 계량을 요구하지 않고 순수하게 $L_p$와 $L_q$ 공간 간의 바나흐 공간 이중성에 의해 유도된다.
• $S_\alpha$-위상은 양의 원뿔 $S^+$ 에서 $L_1$-위상과 일치하며, 이 동치성은 모든 $\alpha \in (-1,1)$ 에 대해 균일하게 유지되어 위상적 안정성을 보인다.
• $\alpha$-임bedding은 $M_*$의 단위구를 $L_p(M,\phi)$ 내의 구로 사상하며, $L_p$와 $L_q$ 사이의 이중성 사상은 균일 연속적이므로 부드러운 다양체 구조를 보장한다.
• 단위구의 탄성공간에 대한 $\alpha$-접선의 사영은 평탄하지 않지만, $S_\alpha$ 를 단위구에 제한할 경우도 고전적 $\alpha$-divergence 표현식과 형태가 일치하는 준거리( quasi-distance)를 정의한다.
• $\alpha$-divergence는 $-1 < \alpha \leq \beta < 1$ 에 대해 $S_\alpha(\varphi,\psi) \leq S_\beta(\varphi,\psi)$ 를 만족하며, 집합 $O^\alpha(\psi,d)$ 는 포함관계를 가지므로 $\alpha$에 따른 위상적 행동이 일관되게 유지된다.