[논문 리뷰] Non-Commutative Metrics on Matrix State Spaces

Wei Wu|ArXiv.org|2004. 11. 22.

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

한 줄 요약

이 논문은 양자화 이론을 사용하여 행렬 상태 공간에서 비가환적인 거리 척도와 리프시츠 반노름의 일반화를 제안한다. 하향 연속적인 행렬 리프시츠 반노름은 그에 해당하는 행렬 거리 척도에 의해 완전히 결정되며, 이러한 거리 척도가 하향 연속적인 행렬 리프시츠 반노름에서 유래되려면 그가 볼록성, 중점 대칭성, 중점 볼록성을 만족해야 한다는 것을 증명한다. 이는 리에플의 가환적 결과를 비가환적 상황으로 확장한다.

ABSTRACT

We use the theory of quantization to introduce non-commutative versions of metric on state space and Lipschitz seminorm. We show that a lower semicontinuous matrix Lipschitz seminorm is determined by their matrix metrics on the matrix state spaces. A matrix metric comes from a lower semicontinuous matrix Lip-norm if and only if it is convex, midpoint balanced, and midpoint concave. The operator space of Lipschitz functions with a matrix norm coming from a closed matrix Lip-norm is the operator space dual of an operator space. They generalize Rieffel's results to the quantized situation.

연구 동기 및 목표

• 행렬 순서 단위 공간의 비가환적 설정으로 리에플의 상태 공간에서의 거리 이론과 리프시츠 반노름 이론을 일반화한다.
• 연산자 체계와 행렬 순서 공간의 맥락에서 리프시츠 반노름과 거리 척도의 비가환적 일반화를 정의한다.
• 하향 연속적인 행렬 리프시츠 반노름에서 유래된 행렬 거리 척도의 특성화를 수립한다.
• 닫힌 행렬 리프시츠 반노름에서 유도된 행렬 노름을 갖는 리프시츠 함수의 연산자 공간이 어떤 연산자 공간의 쌍대공간임을 보이며, 고전적 이중성 결과를 일반화한다.

제안 방법

• 양자화 이론을 사용하여 행렬 순서 공간에서 비가환적 리프시츠 반노름의 형태를 정의한다.
• 일반화된 딜라크 연산자와의 교환자에 대한 연산자 노름을 통해 행렬 상태 공간에 대한 행렬 거리 척도를 도입한다.
• 행렬 순서 단위 공간과 연산자 체계 이론을 적용하여 행렬 상태 공간과 그들의 쌍대공간을 정의한다.
• 행렬 분리 정리와 이중성 이론을 활용하여, 하향 연속적인 행렬 리프시츠 반노름에서 유도된 행렬 거리 척도가 볼록성, 중점 균형성, 중점 볼록성을 만족함을 증명한다.
• 리프시츠 함수의 공간과 특정한 연산자 공간의 쌍대공간 사이에 완전히 등거리 동형사상을 수립한다.
• 행렬 공간의 노름 구조와 행렬 공간 간의 쌍대화를 이용하여 쌍대 연산자 공간을 정의하고 분석한다.

실험 결과

연구 질문

• RQ1 리에플의 상태 공간에서의 거리 이론은 비가환적, 행렬 순서 설정으로 확장될 수 있는가?
• RQ2 하향 연속적인 행렬 리프시츠 반노름에서 유래된 행렬 거리 척도가 만족해야 할 조건은 무엇인가?
• RQ3 비가환적 설정에서 리프시츠 함수와 그 쌍대 연산자 공간 간의 이중성은 어떻게 구성되는가?
• RQ4 비가환적 경우에서 행렬 거리 척도는 해당 행렬 리프시츠 반노름에 의해 유일하게 결정되는가?
• RQ5 행렬 리프시츠 반노름에 의해 유도된 행렬 거리 척도의 정확한 특성은 무엇인가?

주요 결과

• 하향 연속적인 행렬 리프시츠 반노름은 그에 해당하는 행렬 상태 공간의 행렬 거리 척도에 의해 완전히 결정된다.
• 행렬 거리 척도가 하향 연속적인 행렬 리프시츠 반노름에서 유래되려면 그가 볼록성, 중점 대칭성, 중점 볼록성을 만족해야 한다.
• 닫힌 행렬 리프시츠 반노름에서 유도된 행렬 노름을 갖는 리프시츠 함수의 연산자 공간은 어떤 연산자 공간의 쌍대공간과 완전히 등거리 동형이다.
• 행렬 리프시츠 함수의 쌍대공간은 유계 연산자 노름을 갖는 행렬 함수형의 공간과 등거리 동형이다.
• 증명은 모든 유계 함수형이 행렬 상태 공간의 원소로부터 유도됨을 보여주는 행렬 분리 정리를 기반으로 한다.
• 이 구성은 행렬 리프시츠 함수 공간과 행렬 함수형의 연산자 공간의 쌍대공간 사이에 완전히 등거리 동형을 유도한다.