[논문 리뷰] A Remark on Formal KMS States in Deformation Quantization

Martin Bordemann, Hartmann Roemer외 1명|ArXiv.org|1998. 01. 30.

Advanced Topics in Algebra참고 문헌 20인용 수 6

한 줄 요약

이 논문은 변형 양자화의 프레임워크에서 형식적 KMS 상태를 도입한다. 이는 형식적 KMS 조건을 만족하는 C[[λ]]-선형 함수로서 정의되며, 임의의 온도에서 이러한 상태가 존재하고, 정규화를 제외하고는 유일하게 결정됨을 증명한다. 이는 통계역학의 버틀만 인자와 유사한 형식적 스타 지수 함수의 곱으로서 함수의 추적으로 표현된다.

ABSTRACT

In the framework of deformation quantization we define formal KMS states on the deformed algebra of power series of functions with compact support in phase space as C[[λ]]-linear functionals obeying a formal variant of the usual KMS condition known in the theory of C^*-algebras. We show that for each temperature KMS states always exist and are up to a normalization equal to the trace of the argument multiplied by a formal analogue of the usual Boltzmann factor, a certain formal star exponential.

연구 동기 및 목표

• 평형 통계역학에서 핵심적인 역할을 하는 KMS 상태 개념을 변형 양자화의 형식적 프레임워크로 확장하기 위해.
• 변형 매개수 λ에 대한 형식적 멱급수 대수 내에서 KMS 조건의 형식적 동반체를 정의하기 위해.
• 주어진 온도에서 형식적 KMS 상태의 존재성과 정규화를 제외한 유일성을 확립하기 위해.
• 이러한 상태의 명시적 형태를 스타 지수 함수로 가중된 추적으로 식별하기 위해.
• 형식적 변형 양자화의 맥락에서 평형 상태의 엄밀한 대수적 구축을 제공하기 위해.

제안 방법

• 위상공간 위의 컴팩트 지지 함수의 형식적 멱급수 대수 위에서 C[[λ]]-선형 함수로서 형식적 KMS 상태를 정의한다.
• 스타곱 대수에서 시간 순서화된 곱에 대한 함수의 순환성에 기반하여, KMS 조건의 형식적 표현을 수립한다.
• 해밀토니안 H와 역온도 β를 고려하여 형식적 버틀만 인자를 형식적 스타 지수 함수 exp_*(−βH/ℏ)로 구성한다.
• 이 형식적 스타 지수 함수와 곱한 후 추적 기능을 적용할 경우, 형식적 KMS 조건을 만족함을 보인다.
• 형식적 추적과 스타 지수 함수를 이용하여, 형식적 멱급수 λ에 대해 순환성과 KMS 조건을 만족하는 상태 기능을 정의한다.
• 모든 형식적 KMS 상태가 이 구성과 비례해야 하므로, 정규화를 제외하고는 유일성을 증명한다.

실험 결과

연구 질문

• RQ1 KMS 상태 개념이 형식적 변형 양자화 프레임워크로 일관되게 확장될 수 있는가?
• RQ2 C[[λ]] 위의 멱급수 대수의 맥락에서 형식적 KMS 상태의 대수적 구조는 무엇인가?
• RQ3 형식적 설정에서 임의의 역온도 β에 대해 형식적 KMS 상태가 존재하는가?
• RQ4 형식적 스타 지수 함수와 추적으로서의 형식적 KMS 상태의 명시적 함수 형태는 무엇인가?
• RQ5 형식적 KMS 상태는 정규화를 제외하고 유일하게 결정되는가?

주요 결과

• 형식적 변형 양자화 설정에서 임의의 역온도 β에 대해 형식적 KMS 상태가 존재한다.
• 모든 형식적 KMS 상태는 형식적 스타 지수 함수 exp_*(−βH/ℏ)와 곱한 함수의 추적으로 비례하며, 이는 버틀만 인자의 형식적 동반체로 기능한다.
• 이 구성은 형식적 KMS 조건을 만족하며, 표준 KMS 조건을 형식적 멱급수 프레임워크로 일반화한다.
• 상태의 정규화는 KMS 조건로 고정되지 않지만, 모든 이러한 상태는 스칼라 곱에 대해 유일하게 결정된다.
• 이 구성은 변형 양자화 내에서 양자 통계역학의 평형 상태의 형식적 대수적 실현을 제공한다.
• 결과적으로 형식적 변형 양자화와 양자 시스템의 평형 상태의 대수적 구조 사이에 직접적인 연결을 수립한다.