[論文レビュー] The elliptic evolution of non-self-adjoint degree-2 Hamiltonians

Joe Viola|arXiv (Cornell University)|Jan 3, 2017

Quantum Mechanics and Non-Hermitian Physics参考文献 10被引用数 9

ひとこと要約

本稿では、非自己随伴な2次複素多項式のWeyl量子化 $P$ によるシュレーディンガー時間発展演算子 $\exp(-\text{i}P)$ の $L^2$ 演算子ノルムおよび特異値分解を幾何学的公式で確立する。$P$ の2次部のハミルトニアン流れに対して厳密な正定性条件が成り立つ場合、ノルムは位相空間力学に起因し、演算子は非退化なガウス型核を持つ積分作用素のクラスに幾何学的合成則を用いて対応づけられる。

ABSTRACT

We study the relationship between the classical Hamilton flow and the quantum Schrödinger evolution where the Hamiltonian is a degree-2 complex-valued polynomial. When the flow obeys a strict positivity condition equivalent to compactness of the evolution operator, we find geometric expressions for the $L^2$ operator norm and a singular-value decomposition of the Schrödinger evolution, using the Hamilton flow. The flow also gives a geometric composition law for these operators, which correspond to a large class of integral operators with nondegenerate Gaussian kernels.

研究の動機と目的

• 非自己随伴2次ハミルトニアンに対するシュレーディンガー時間発展演算子 $\exp(-\text{i}P)$ の $L^2$ 演算子ノルムを特徴づけること。
• 記号の古典的ハミルトニアン流れを用いて、時間発展演算子の幾何学的特異値分解を確立すること。
• 時間発展演算子が非退化なガウス型核を持つ積分作用素の広いクラスに対応することを、幾何学的合成則を通じて示すこと。
• ハミルトニアン流れの正定性を用いて、時間発展演算子がコンパクトとなる厳密な条件を同定すること。
• 特にシフトされた調和振動子の場合に、位相空間力学に基づくノルムの明示的公式を提供すること。

提案手法

• 複素係数2次多項式のWeyl量子化を用いて、$L^2(\mathbb{R}^n)$ 上のシュレーディンガー時間発展演算子を定義する。
• 主な技術的アプローチは、記号の2次部に由来するハミルトニアン流れの分析であり、特に線形正則変換としての厳密な正定性条件を仮定する。
• ノルムは、流れの幾何的性質、特に $\text{i}\sigma(\overline{\mathbf{z}}, \mathbf{z})$ の流れに沿った変化を用いて導出する。
• 特異値分解は、ハミルトニアン写像の対角化と、$\mathbf{U}_0 = \exp(\frac{\pi}{4}H_{q_0})$ のようなシンプレクティック変換の使用により構成される。
• メーラー公式と形式的Weyl量子化を用いて積分核を導出し、収束性と解析接続を丁寧に取り扱う。
• 作用素の合成則は、厳密に正である流れが線形正則変換に対応することに起因し、非退化ガウス型核を持つ作用素クラスの幾何的パrametrizationを可能にする。

実験結果

リサーチクエスチョン

• RQ1 $P$ が非自己随伴2次多項式のWeyl量子化であるとき、$\exp(-\text{i}P)$ の $L^2$ 演算子ノルムは何か？
• RQ2 記号のハミルトニアン流れを用いて、シュレーディンガー時間発展演算子の特異値を幾何学的にどのように特徴づけられるか？
• RQ3 ハミルトニアンにどのような条件下で時間発展演算子がコンパクトになるか？ そしてこれは流れの正定性とどのように関係するか？
• RQ4 シュレーディンガー時間発展演算子のクラスは、正則変換を用いて幾何学的にパラメータ化可能か？
• RQ5 虚時間パramータ $t_2 \to 0^-$ のとき、ノルムの正確な漸近的挙動は何か？ そしてそれは実時間 $t_1$ にどのように依存するか？

主な発見

• $L^2(\mathbb{R})$ 上の $\exp(-\text{i}(t_1 + \text{i}t_2)P_b)$ の $L^2$ 演算子ノルムは、$t_2 < 0$ のとき $\exp\left(\frac{\cos t_1 - \cosh t_2}{\sinh t_2} b^2\right)$ で与えられ、$t_1 \notin 2\pi\mathbb{Z}$ のとき $t_2 \to 0^-$ で指数的に発散する。
• 時間発展演算子の特異値分解は、ハミルトニアン流れを用いた幾何学的構成により得られ、特異値は流れによって誘導されるシンプレクティック変換の固有値によって決定される。
• 時間発展演算子がコンパクトであるための必要十分条件は、2次部のハミルトニアン流れが厳密に正であることであり、これはすべての $\mathbf{z} \neq 0$ に対して $\text{i}(\sigma(\overline{\mathbf{Kz}}, \mathbf{Kz}) - \sigma(\overline{\mathbf{z}}, \mathbf{z})) > 0$ が成り立つことと同値である。
• 本稿で考察されるシュレーディンガー時間発展演算子のクラスは、すべての厳密に正である線形正則変換に正確に対応し、非退化ガウス型核を持つ積分作用素のクラスに対して幾何学的合成則を可能にする。
• 形式的メーラー公式により、$P_0 = \frac{i}{2}(x^2 - D_x^2)$ のとき $\exp(-\text{i}\frac{\pi}{4}P_0)$ の核は $\xi$ に関して可積分だが、$y$ に関しては条件付き可積分であり、形式的Weyl量子化により適切に定義された作用素が得られる。
• Egorov型の関係式 $\text{e}^{-\text{i}\frac{\pi}{4}P_0}Q_0 = (x\cdot\partial_x + \frac{n}{2})\text{e}^{-\text{i}\frac{\pi}{4}P_0}$ が形式的に成り立ち、この関係はシンプレクティック共役を介して時間発展を調和振動子と結びつける。