[논문 리뷰] The bosonic Fock representation and a generalized Shale theorem

P. L. Robinson|arXiv (Cornell University)|2012. 03. 26.

Cold Atom Physics and Bose-Einstein Condensates참고 문헌 7인용 수 4

한 줄 요약

이 논문은 대칭 텐서 대수 $ SV $ 와 그 전체 반쌍대 $ SV' $ 사이에 삽입된 대칭 포크 공간 $ S[V] $ 를 통해 보손 포크 표현에 대한 새로운 프레임워크를 제안한다. 이는 일반화된 포크 실현자들을 통한 모든 실수 심플렉틱 자기동형사상의 엄밀한 다루기 가능성을 보장한다. 주요 기여는 모든 심플렉틱 자기동형사상 $ g $ 가 스칼라 곱을 제외하고 유일한(유일성 제외) 일반화된 포크 실현자 $ U: SV \to SV' $ 를 가지며, $ [g,i] $ 가 힐베르트-슈미트 연산자일 때에만 $ S[V] $ 에서 유니터리 실현이 가능하다는 것을 증명하는 일반화된 셰일 정리이다.

ABSTRACT

We detail a new approach to the bosonic Fock representation of a complex Hilbert space V: our account places the bosonic Fock space S[V] between the symmetric algebra SV and its full antidual SV'; in addition to providing a context in which arbitrary (not necessarily restricted) real symplectic automorphisms of V are implemented, it offers simplified proofs of many standard results of the theory.

연구 동기 및 목표

• 기존 포크 공간 구성 방식의 한계를 해결하기 위해, 연산자가 암묵적인 확장에 의해 정의되는 대신 명시적인 공식에 의해 정의되는 방식을 제공한다.
• 임의의 심플렉틱 자기동형사상에 대한 이동된 진공 상태를 엄밀한 대수적 맥락에서 다루며, 이는 기존에 비유적 표현으로 간주되던 것을 다루기 위함이다.
• 심플렉틱 자기동형사상의 유니터리 실현 가능성 조건을 $[g,i]$ 가 힐베르트-슈미트 성질을 갖는다는 점으로 특징짓는 일반화된 셰일 정리를 수립하기 위함이다.
• 한 개의 린드-힐버트 공간 유사 구조 $ SV \subset S[V] \subset SV' $ 안에서 필드 연산자, 생성자, 소멸자, 웨일 연산자를 통합적으로 다룰 수 있도록 하기 위함이다.

제안 방법

• 포크 공간 $ S[V] $ 는 전체 반쌍대 $ SV' $ 의 유계 반선형 함수성의 부분공간으로서 정의되며, 이는 모든 반선형 사상 $ SV \to \mathbb{C} $ 를 포함한다. 이로써 삼중체 $ SV \subset S[V] \subset SV' $ 가 형성된다.
• 필드 연산자 $ \pi(v) $, 생성자 $ c(v) $, 소멸자 $ a(v) $ 는 $ SV $ 에서 정의되며, 반쌍대성에 의해 $ SV' $ 로 확장된다: $ [U\Phi](\psi) = \Phi(U^*\psi) $, 이는 $ SV' $ 상에서 캐논니컬 교환관계가 조건 없이 성립함을 보장한다.
• 심플렉틱 자기동형사상 $ g \in \mathrm{Sp}(V) $ 에 대한 일반화된 포크 실현자는 선형 사상 $ U: SV \to SV' $ 로 정의되며, 모든 $ v \in V $ 에 대해 $ U\pi(v) = \pi(gv)U $ 를 만족한다. 이 실현자는 스칼라 곱을 제외하고 유일하다.
• 실현자 $ U $ 는 이동된 진공 상태 $ e^Z \in SV' $ 를 통해 명시적으로 구성되며, 여기서 $ Z $ 는 $ g $ 에서 유도된 이차형식이다. $ \psi \in SV $ 에 대해 $ U(\psi) = \|e^Z\|^{-1} \psi \cdot e^Z $ 로 정의된다.
• 코herent 상태 $ \varepsilon^z $ 를 사용하여 웨일 표현 형태를 개발하며, $ \varepsilon^x \mapsto \varepsilon^{x+z} $ 를 만족하고, 웨일 연산자 $ W(v) $ 는 반쌍대성에 의해 $ EV' $ 로 확장된다.
• 일반화된 실현자 $ U_g $ 는 다음 공식으로 명시적으로 주어진다: $ [U_g \varepsilon^y](\varepsilon^x) = \exp\left\{ \frac{1}{2}\langle x|C_{g^{-1}}^{-1}(y - A_{g^{-1}}x) \rangle + \frac{1}{2}\langle C_g^{-1}(x - A_g y)|y \rangle \right\} $, 이는 모든 $ x,y \in V $ 에 대해 성립한다.

실험 결과

연구 질문

• RQ1 복소 힐베르트 공간 $ V $ 의 모든 심플렉틱 자기동형사상(특히 기존 포크 공간에서 유니터리 실현이 불가능한 경우 포함)을 다룰 수 있는 통합된 대수적 프레임워크를 구성할 수 있는가?
• RQ2 심플렉틱 자기동형사상 $ g \in \mathrm{Sp}(V) $ 에 대한 일반화된 포크 실현자 $ U: SV \to SV' $ 가 $ S[V] $ 에서 유니터리 연산자로 실현되기 위한 조건은 무엇인가?
• RQ3 임의의 심플렉틱 자기동형사상에 대한 이동된 진공 상태를 $ SV' $ 의 원소로 엄밀히 정의할 수 있으며, 이는 곱셈을 통해 실현자를 생성하는가?
• RQ4 $ S[V] $ 보다 더 큰 공간에서 캐논니컬 교환관계를 조건 없이 유지하기 위해선 어떻게 해야 하며, 이 경우 반쌍대 $ SV' $ 의 역할은 무엇인가?
• RQ5 일반화된 포크 실현자 $ U_g $ 에 대한 직접적이고 명시적인 공식이 존재하는가? 그리고 상호작용 조건 $ UW(v) = W(gv)U $ 에서 대수적으로 유도할 수 있는가?

주요 결과

• 삼중체 $ SV \subset S[V] \subset SV' $ 는 보손 포크 표현에 자연스럽고 엄밀한 맥락을 제공하며, $ S[V] $ 는 $ SV $ 를 캐논니컬 내적에 대해 완비화한 것이다.
• 필드 연산자 $ \pi(v) $, 생성자 $ c(v) $, 소멸자 $ a(v) $ 는 반쌍대성에 의해 $ SV $ 에서 $ SV' $ 로 확장되며, 그들의 교환관계는 $ SV' $ 상에서 조건 없이 성립한다. 이는 $ [\pi(x),\pi(y)] = i\,\mathrm{Im}\langle x|y\rangle\, I $ 를 만족한다.
• 모든 심플렉틱 자기동형사상 $ g \in \mathrm{Sp}(V) $ 는 스칼라 곱을 제외하고 유일한(유일성 제외) 일반화된 포크 실현자 $ U: SV \to SV' $ 를 가지며, 이는 $ U(\psi) = \|e^Z\|^{-1} \psi \cdot e^Z $ 로 정의된다. 여기서 $ e^Z $ 는 $ SV' $ 에 속한 이동된 진공이다.
• 실현자 $ U $ 가 $ S[V] $ 에서 유니터리일 조건은 $ [g,i] $ 가 힐베르트-슈미트 연산자일 때에만 성립하며, 이는 고전적 셰일 정리를 일반화한다.
• 웨일 표현 형태에서 일반화된 실현자 $ U_g $ 의 명시적 공식은 $ [U_g \varepsilon^y](\varepsilon^x) = \exp\left\{ \frac{1}{2}\langle x|C_{g^{-1}}^{-1}(y - A_{g^{-1}}x) \rangle + \frac{1}{2}\langle C_g^{-1}(x - A_g y)|y \rangle \right\} $ 로 주어지며, 이는 모든 $ x,y \in V $ 에 대해 성립한다.
• 순환 벡터 성질이 성립한다: $ \{ \phi e^Z : \phi \in SV \} $ 는 $ S[V] $ 에서 밀도를 이룬다. 따라서 $ e^Z $ 는 생성자들만으로도 순환적이다.