[논문 리뷰] Gromov-Hausdorff Distance for Quantum Metric Spaces

Marc A. Rieffel|ArXiv.org|2000. 11. 09.

Advanced Operator Algebra Research참고 문헌 54인용 수 16

한 줄 요약

이 논문은 C*-대수 또는 순서 단위 공간 위의 리프시츠 반노름을 통해 정의된 컴팩트 양자 거리 공간에 대한 양자적 고르모프–하우스도르프 거리의 양자 버전을 도입한다. 양자 토러스 $A_{\theta_n}$ 가 $\theta_n \to \theta$ 일 때 $A_\theta$ 로 수렴함을 증명하며, 이는 비가환 기하학으로의 고전적 거리 수렴의 일반화이다.

ABSTRACT

By a quantum metric space we mean a C^*-algebra (or more generally an order-unit space) equipped with a generalization of the Lipschitz seminorm on functions which is defined by an ordinary metric. We develop for compact quantum metric spaces a version of Gromov-Hausdorff distance. We show that the basic theorems of the classical theory have natural quantum analogues. Our main example involves the quantum tori, $A_þ$. We show, for consistently defined ``metrics'', that if a sequence $\{þ_n\}$ of parameters converges to a parameter $þ$, then the sequence $\{A_{þ_n}\}$ of quantum tori converges in quantum Gromov-Hausdorff distance to $A_þ$.

연구 동기 및 목표

• 비가환 거리 공간에 대한 고르모프–하우스도르프 거리의 양자적 유사체를 개발하는 것.
• C*-대수 위의 리프시츠 반노름으로 정의된 양자 거리 공간의 설정에서 고전적 거리 수렴을 일반화하는 것.
• 만일 $\theta_n \to \theta$ 이면 양자 토러스 $A_{\theta_n}$ 가 양자 고르모프–하우스도르프 거리에서 $A_\theta$ 로 수렴함을 증명하는 것.
• 양자 고르모프–하우스도르프 거리가 거리 기하학의 고전적 정리들에 해당하는 유사성을 만족함을 보이는 것.

제안 방법

• 상태 공간 위에서 칸토로비치 거리에 의해 유도되는 메트릭을 유도하는 하향 연속적인 리프시츠 반노름 $L$ 을 갖춘 유일한 C*-대수 또는 순서 단위 공간으로서 양자 거리 공간을 정의한다.
• 모든 커플링에 대해 상태 공간 간의 하우스도르프 거리의 하한으로서 양자 고르모프–하우스도르프 거리 $\mathop{\mathrm{dist}}\nolimits_q(A,C)$ 를 정의한다.
• 공식 $L(a) = \sup\{ |\mu(a) - \nu(a)| / \rho_L(\mu,\nu) : \mu \neq \nu \}$ 을 사용하여 상태 공간 $S(A)$ 상의 메트릭 $\rho_L$ 에서 $L$ 을 복원한다.
• 상태 공간의 곱 $Y = S(A) \times S(A) \setminus \Delta$ 에서 $L^2(Y, m \times m)$ 상에 정의된 딜라크 연산자 $D$ 를 구성하여, $a \in A$ 에 대해 $\|[D,a]\| = L(a)$ 가 성립하도록 한다.
• 양자 고르모프–하우스도르프 거리가 삼각 부등식과 등장 변환 불변성을 만족함을 증명하며, 이를 통해 고전적 성질로 일반화한다.
• 리프시츠 노름의 몫 구조와 메트릭 $\rho_L$ 의 볼록성을 이용하여, 상태 공간 부분집합 간의 하우스도르프 거리를 통해 양자 거리의 상한을 구한다.

실험 결과

연구 질문

• RQ1 비가환(양자) 거리 공간에 대해 고르모프–하우스도르프 거리의 개념을 확장할 수 있는가?
• RQ2 양자 고르모프–하우스도르프 거리는 가환 극한에서 고전적 수렴을 복원하는가?
• RQ3 만일 $\theta_n \to \theta$ 이면 양자 토러스 $A_{\theta_n}$ 이 양자 고르모프–하우스도르프 거리에서 $A_\theta$ 로 수렴하는가?
• RQ4 순서 단위 공간 위의 하향 연속적인 리프시츠 반노름은 항상 딜라크 연산자에 의해 실현될 수 있는가?

주요 결과

• 양자 고르모프–하우스도르프 거리 $\mathop{\mathrm{dist}}\nolimits_q(A,C)$ 는 삼각 부등식을 만족하며, 양자 거리 공간의 등장 변환에 대해 불변성을 보인다.
• 양자 토러스 $A_\theta$ 에 대해 $\theta_n \to \theta $ 이면 $\{A_{\theta_n}\}$ 이 양자 고르모프–하우스도르프 거리에서 $A_\theta$ 로 수렴한다.
• 삼각형 $Y$ 와 선분 $Z$ 를 각각 갖는 $C(Y)$ 와 $C(Z)$ 간의 양자 고르모프–하우스도르프 거리는 정확히 $1/2$ 이며, 하우스도르프 거리의 상한과 직경 비교를 통해 이를 보였다.
• 상태 공간 $S(A)$ 상의 메트릭 $\rho_L$ 는 리프시츠 반노름 $L$ 에 의해 $L(a) = \sup\{ |\mu(a) - \nu(a)| / \rho_L(\mu,\nu) \}$ 을 통해 복원된다.
• 순서 단위 공간 위의 모든 하향 연속적인 리프시츠 반노름 $L$ 은 하우스도르프 공간 상의 자기수반 비유계 연산자 $D$ 에 대해 $L(a) = \|[D,a]\|$ 로 표현되며, 이는 딜라크 연산자가 양자 거리의 보편적 표현임을 보여준다.
• 상태 공간 부분집합 $S(A)$ 와 $K_1$ 간의 양자 고르모프–하우스도르프 거리는 하우스도르프 거리 $\mathop{\mathrm{dist}}\nolimits_H^{\rho_L}(S(A), K_1)$ 의 상한으로 유계되며, 이 값은 최대 $1/2$ 이며 직경 비교를 통해 등호가 성립함을 보였다.