[논문 리뷰] On a new formula relating localisation operators to time operators

Serge Richard, Rafael Tiedra de Aldecoa|ArXiv.org|2009. 08. 19.

Mathematical Analysis and Transform Methods참고 문헌 36인용 수 5

한 줄 요약

이 논문은 자기수반 해밀토니안 $ H $ 에 대해 시간 연산자 $ T_f $ 를 구성하는 새로운 공식을 제안한다. 이는 가역적 국소화 연산자 $ \tilde{\text{F}} $ 를 기반으로 하는 가역적 국소화 연산자 가족을 사용하며, 시간 연산자는 $ f(\tilde{\text{F}}/r) $ 의 시간 진동수에 기반한다. 주요 결과는 $ H $ 의 스펙트럼 표현에서 $ T_f $ 가 $ i\frac{d}{d\tilde{\text{F}}} $ 로 작용하며, $ i[H, \tilde{\text{F}}_j] $ 의 교환자에 대한 명시적 정적 공식을 포함한다. 이 이론은 편미분형, 자코비, 디랙, 직접 적분 연산자 등 광범위한 연산자 클래스에 적용 가능하다.

ABSTRACT

We consider in a Hilbert space a self-adjoint operator H and a family Phi=(Phi_1,...,Phi_d) of mutually commuting self-adjoint operators. Under some regularity properties of H with respect to Phi, we propose two new formulae for a time operator for H and prove their equality. One of the expressions is based on the time evolution of an abstract localisation operator defined in terms of Phi while the other one corresponds to a stationary formula. Under the same assumptions, we also conduct the spectral analysis of H by using the method of the conjugate operator. Among other examples, our theory applies to Friedrichs Hamiltonians, Stark Hamiltonians, some Jacobi operators, the Dirac operator, convolution operators on locally compact groups, pseudodifferential operators, adjacency operators on graphs and direct integral operators.

연구 동기 및 목표

• 주어진 자기수반 해밀토니안 $ H $ 에 대해 시간 연산자 $ T $ 를 체계적으로 구성하는 일반적인 절차를 개발하며, $ T $ 를 사전에 가정하지 않는다.
• 추상적 국소화 연산자의 시간 진동수와 해밀토니안 $ H $ 의 스펙트럼 도함수 사이의 엄밀한 연결 고리를 확립하며, [37]의 편미분형 연산자에 대한 공식을 일반화한다.
• 시간 연산자 $ T_f $ 의 정적 공식을 $ i[H, \tilde{\text{F}}_j] $ 의 교환자로 표현하여, 공액 연산자 방법을 통한 스펙트럼 분석을 가능하게 한다.
• 프리드리히스 및 스타크 해밀토니안, 디랙 연산자, 군 위의 콘볼루션 연산자 등 다양한 양자 시스템에 걸쳐 시간 연산자의 이론을 통합하고 확장한다.
• 시간 연산자 $ T_f $ 의 두 표현 — 하나는 동역학적(국소화의 시간 진동수 기반)이고 다른 하나는 정적( $ R_f' $ 과 $ H' $ 포함) — 가 동치임을 증명한다.

제안 방법

• 두 가지 핵심 가정을 도입한다: (1) $ H $ 는 $ \tilde{\text{F}} $ 에 대해 $ C^3 $-연속적이며, 이는 공액된 리소르베르의 강한 미분 가능성을 보장한다. (2) 모든 $ x \in \mathbb{R}^d $ 에 대해 $ e^{-ix\tilde{\text{F}}}He^{ix\tilde{\text{F}}} $ 가 서로 가환함을 보장한다.
• 시간 평균화된 교환자의 극한으로 $ T_f $ 의 동역학적 공식을 유도한다: $ \lim_{r\to\infty} \frac{1}{2}\int_0^\infty dt \left\langle \varphi, [e^{-itH}f(\tilde{\text{F}}/r)e^{itH} - e^{itH}f(\tilde{\text{F}}/r)e^{-itH}] \varphi \right\rangle $.
• 정적 공식을 확립한다: $ T_f = -\frac{1}{2}(\tilde{\text{F}} \cdot R_f'(H') + R_f'(H') \cdot \tilde{\text{F}}) $, 여기서 $ H'_j = i[H, \tilde{\text{F}}_j] $ 이고, $ R_f' $ 는 $ f $ 의 푸리에 변환으로부터 유도된 명시적 함수이다.
• 공액 연산자 방법을 적용하여 $ H $ 의 스펙트럼 성질을 분석하며, 특히 스펙트럼의 정규성과 특이 연속 스펙트럼의 존재 여부를 다룬다.
• 스펙트럼 정리로 인해 $ T_f $ 가 $ H $ 의 스펙트럼 표현에서 $ i\frac{d}{d\lambda} $ 로 작용함을 보여, 시간 연산자로서의 역할을 확인한다.
• 다양한 예시를 통해 이론을 검증한다: 프리드리히스 및 스타크 해밀토니안, 자코비 연산자, 디랙 연산자, 국소적으로 컴act한 군 위의 콘볼루션 연산자, 편미분형 연산자, 그래프의 인접 연산자, 직접 적분 연산자.

실험 결과

연구 질문

• RQ1 주어진 자기수반 해밀토니안 $ H $ 와 가환하는 자기수반 연산자 가족 $ \tilde{\text{F}} $ 에 기반해 시간 연산자 $ T $ 를 체계적으로 구성할 수 있는가? 이 때 $ T $ 를 사전에 가정하지 않는다.
• RQ2 국소화 연산자 $ f(\tilde{\text{F}}/r) $ 의 시간 진동수에 기반한 시간 연산자 $ T $ 의 동역학적 공식이 존재하는가? 그리고 $ r \to \infty $ 의 극한에서 잘 정의된 연산자로 수렴하는가?
• RQ3 시간 연산자 $ T $ 의 정적 공식이 $ i[H, \tilde{\text{F}}_j] $ 의 교환자 기반으로 유도될 수 있으며, 이는 동역학적 표현과 동치인가?
• RQ4 해밀토니안 $ H $ 와 $ \tilde{\text{F}} $ 가 어떤 정규성 및 가환 조건을 만족할 경우, 시간 연산자 $ T_f $ 가 $ H $ 의 스펙트럼 표현에서 $ i\frac{d}{d\lambda} $ 로 작용하는가?
• RQ5 이 일반적 프레임워크는 편미분형, 디랙, 직접 적분 연산자 등 광범위한 양자 시스템에 적용 가능한가? 그리고 그 스펙트럼적 결과는 무엇인가?

주요 결과

• 시간 연산자 $ T_f $ 는 $ e^{-itH}f(\tilde{\text{F}}/r)e^{itH} $ 를 포함하는 시간 평균화된 교환자의 극한으로 구성되며, 이 극한은 적절한 밀도 도메인에 속한 $ \varphi $ 에 대해 $ \langle \varphi, T_f \varphi \rangle $ 와 일치한다.
• 정적 공식 $ T_f = -\frac{1}{2}(\tilde{\text{F}} \cdot R_f'(H') + R_f'(H') \cdot \tilde{\text{F}}) $ 는 엄밀히 유도되었으며, 여기서 $ H'_j = i[H, \tilde{\text{F}}_j] $ 이고, $ R_f' $ 는 $ f $ 의 푸리에 변환에 기반한 명시적 함수이다.
• 스펙트럼 표현에서 $ T_f $ 는 $ i\frac{d}{d\lambda} $ 로 작용하며, 이는 $ T_f $ 가 캐논ical 교환관계 $ [T_f, H] = i $ 를 약한 의미에서 만족하는 진정한 시간 연산자임을 확인한다.
• 제시된 가정 하에 시간 연산자 $ T_f $ 의 두 표현 — 하나는 동역학적(국소화의 시간 진동수 기반), 다른 하나는 정적($ H' $ 기반) — 이 동치임을 증명하였다.
• 이 이론은 프리드리히스 및 스타크 해밀토니안, 자코비 연산자, 디랙 연산자, 군 위의 콘볼루션 연산자, 편미분형 연산자, 그래프의 인접 연산자, 직접 적분 연산자 등 다양한 연산자에 적용 가능하다.
• 디리클레 라플라스 연산자 $ -\Delta_D $ 를 갖는 웨이브가이드 모델의 경우, 시간 연산자는 $ T_f = \frac{1}{4} \otimes (QP^{-1} + P^{-1}Q) $ 로 명시적으로 계산되었으며, $ -\Delta_D $ 의 스펙트럼 표현에서 $ i\frac{d}{d\lambda} $ 로 작용한다. 여기서 $ \kappa(H) = \sigma(-\Delta_D^\Sigma) $ 이다.