[논문 리뷰] Schrödinger model and Stratonovich-Weyl correspondence for Heisenberg motion groups

Benjamin Cahen|arXiv (Cornell University)|2016. 01. 01.

Advanced Algebra and Geometry참고 문헌 33인용 수 2

한 줄 요약

이 논문은 일반화된 세갈-바르그만 변환을 통해 슈뢰딩거 모델을 구축하고, 기존의 웨일 계산법과 결합하여 히젠베르그 운동군의 유니터리 기저 표현에 대해 스트라토노비치-웨일 대응을 수립한다. 주요 결과는 웨일 대응이 슈뢰딩거 모델에서 스트라토노비치-웨일 대응을 유도하며, 이는 유니터리 동치를 통해 포크 모델 대응과 동치임을 보여준다.

ABSTRACT

We introduce a Schrödinger model for the unitai'y irreducible representations of a Heisenberg motion group and we show that the usual Weyl quantization then provides a Stratonovich-Weyl correspondence.

연구 동기 및 목표

• 히젠베르그 군에서의 스트라토노비치-웨일 대응을 히젠베르그 운동군으로 확장한다.
• 일반화된 세갈-바르그만 변환을 사용하여 히젠베르그 운동군의 유니터리 기저 표현을 위한 슈뢰딩거 모델을 구축한다.
• 기본 웨일 대응이 슈뢰딩거 모델에서 스트라토노비치-웨일 대응을 유도함을 보여준다.
• 포크 모델에서 비에르진 계산법을 통해 유도된 대응과 슈뢰딩거 모델에서의 결과 대응을 비교한다.
• 일반화된 세갈-바르그만 변환을 통해 두 대응 간의 유니터리 동치를 수립한다.

제안 방법

• 2n+1차원 히젠베르그 군 Hn과 컴acts부분군 K ⊂ U(n)의 반직적곱으로 히젠베르그 운동군을 구성한다.
• 해석적 유도를 사용하여 일반화된 포크 공간에서 유니터리 기저 표현을 실현하며, 표준 포크 모델을 확장한다.
• 포크 모델과 L2(Rn, V) 위의 슈뢰딩거 모델을 연결하기 위해 일반화된 세갈-바르그만 변환을 도입한다.
• 표준 웨일 계산법과 K-오비트 o(ϕ0) 위에서 비에르진 이론의 기호 계산법을 조합하여 R2n × o(ϕ0)에서 수정된 웨일 계산법을 정의한다.
• 비에르진 계산법의 유니터리 부분 w의 역수를 포함한 일반화된 웨일 적분 공식을 통해 L2(Rn, V) 위의 연산자 W(f)를 정의한다.
• 변환 Φ와 연산자 J를 통해 슈뢰딩거 모델과 포크 모델 간의 유니터리 동치를 수립하며, 스트라토노비치-웨일 대응의 이행을 가능하게 한다.

실험 결과

연구 질문

• RQ1 히젠베르그 운동군의 슈뢰딩거 모델에 대해 스트라토노비치-웨일 대응을 구성할 수 있는가?
• RQ2 슈뢰딩거 모델에서의 웨일 대응은 포크 모델에서 비에르진 계산법에 기반한 대응과 어떻게 관련이 있는가?
• RQ3 슈뢰딩거 모델에서의 웨일 대응은 군 작용에 대해 공변적이며 추적을 보존하는가?
• RQ4 슈뢰딩거 모델과 포크 모델에서의 스트라토노비치-웨일 대응 간의 정확한 관계는 무엇인가?
• RQ5 일반화된 세갈-바르그만 변환을 사용하여 두 모델을 연결하고 대응을 이행할 수 있는가?

주요 결과

• 스chrödinger 모델 L2(Rn, V)에서의 웨일 대응은 히젠베르그 운동군 G에 대해 공변성과 추적성 조건을 만족하는 스트라토노비치-웨일 대응을 유도한다.
• W−1 는 (G, σ, R2n × o(ϕ0))에 대해 스트라토노비치-웨일 대응임이 입증되며, λ, Tr(A), 그리고 A가 j(p,q)에 작용하는 방식에 따라 dσ(X)의 기호에 대한 명시적 공식이 제시된다.
• O(ϕ0) 위에서 W′1 = τΨW−1 는 (G, σ, O(ϕ0))에 대해 스트라토노비치-웨일 대응이며, W′2 = τΦU 는 (G, π, O(ϕ0))에 대해 스트라토노비치-웨일 대응이다.
• 두 대응은 유니터리 동치이다: W′1 = W′2IB, 여기서 IB는 포크 모델과 슈뢰딩거 모델 간의 유니터리 교환자이다.
• 이 구성은 히젠베르그 군과 다이아몬드 군에 대한 기존 결과를 일반화하며, 보다 광범위한 쿼드-헤르미트 리 대수군에 대한 웨일 대응을 확장한다.
• 결과적으로 웨일 계산법과 K-오비트 위에서의 비에르진 계산법을 조합하면 슈뢰딩거 표현에서 일관되고 공변적인 양자화 연산자 맵을 유도할 수 있음을 확인한다.