[論文レビュー] Quantum Mechanics on the Hypercube

E.G. Floratos, Stam Nicolis|ArXiv.org|Jun 1, 2000

Noncommutative and Quantum Gravity Theories参考文献 8被引用数 3

ひとこと要約

本稿は、$SL(2,\mathbb{Z}_{2^n})$ のメタプレクティック表現を $n$ 次元超立方体のヒルベルト空間上に構成し、$N=2^n$ の場合に長年の曇りがかった点を解消した。ユニタリな時間発展演算子 $U(\mathbf{A})$ を提供し、有限位相空間上の線形セルオートマトンの正確な量子化を実現し、非可換場の理論や量子アルゴリズムへの応用を可能にした。

ABSTRACT

We construct quantum evolution operators on the space of states, that is represented by the vertices of the n-dimensional unit hypercube. They realize the metaplectic representation of the modular group SL(2,Z(2^n)). By construction this representation acts in a natural way on the coordinates of the non-commutative 2-torus,T^2, and thus is relevant for noncommutative field theories as well as theories of quantum space-time.

研究の動機と目的

• $N=2^n$ の場合におけるメタプレクティック表現の曇りを解消すること。これは、量子計算分野において重要であるが、これまでの分析を妨げていた。
• $SL(2,\mathbb{Z}_{2^n})$ のメタプレクティック表現を $n$ 次元超立方体の頂点上に実現するユニタリ時間発展演算子 $U(\mathbf{A})$ を構築すること。
• この表現が群表現であるとともに、メタプレクティック性を満たしていることを確立し、離散位相空間上の古典的線形写像の正確な量子化を保証すること。
• 奇数 $N$ に対して始まったプログラムを $N=2^n$ の場合にまで拡張し、有限量子力学を完成させること。
• 非可換場の理論や量子アルゴリズムへの応用を可能にするために、離散トーラス上の量子力学的ダイナミクスの有限かつ正確な枠組みを提供すること。

提案手法

• 行列 $\mathbf{A} \in SL(2,\mathbb{Z}_{2^n})$ に対して、$U(\mathbf{A})_{k,l} = \frac{c_n(\mathbf{A})}{\sqrt{2^n}} \widehat{\omega}_n^{(a k^2 - 2kl + d l^2)/c}$ として発展演算子を定義する。ここで $\widehat{\omega}_n = e^{2\pi i / 2^{n+1}}$ である。
• $N=2^n$ の場合における曇りを解消するため、$\mathbb{Z}_{2^n}$ 上で $1/2$ が存在しないことから、$\omega_n$ の代わりに $\widehat{\omega}_n$ を用いる。
• Gau{\'s} 和の恒等式と合成数 $N$ に対する中国剰余定理を用いて、$U(\mathbf{A})$ が群表現をなすことを証明する。
• メタプレクティック性 $U(\mathbf{A}) J_{r,s} U^{-1}(\mathbf{A}) = J_{(r,s)\mathbf{A}}$ を確立し、$U(\mathbf{A})$ が canonical 変換を量子化することを保証する。
• ヘイゼンベルク＝ワイル群表現の既約性を用いて、構築された $SL(2,\mathbb{Z}_{2^n})$ 表現が既約であることを導出する。
• $t$-依存の式による $SO(2,\mathbb{Z}_{2^n})$ のパラメトライゼーションを活用し、すべての回転行列を生成し、一貫性を検証する。

実験結果

リサーチクエスチョン

• RQ1 なぜ $\mathbb{Z}_{2^n}$ 上で $1/2$ が存在しないにもかかわらず、$SL(2,\mathbb{Z}_{2^n})$ のメタプレクティック表現を一貫的に定義できるのか？
• RQ2 超立方体状態空間上でメタプレクティック表現を実現するユニタリ時間発展演算子 $U(\mathbf{A})$ の明示的形は何か？
• RQ3 構築された $U(\mathbf{A})$ は群表現の性質 $U(\mathbf{A}\mathbf{B}) = U(\mathbf{A})U(\mathbf{B})$ を満たすか？
• RQ4 この表現に対して、メタプレクティック性 $U(\mathbf{A}) J_{r,s} U^{-1}(\mathbf{A}) = J_{(r,s)\mathbf{A}}$ を証明できるか？
• RQ5 表現の既約性は、ヘイゼンベルク＝ワイル群の構造と $SL(2,\mathbb{Z}_{2^n})$ の作用とどのように関係しているか？

主な発見

• 本稿は、$\widehat{\omega}_n = e^{2\pi i / 2^{n+1}}$ を導入することで、$N=2^n$ の場合の曇りを解消した。これは、$\mathbb{Z}_{2^n}$ 上で $1/2$ が存在しないことによる曇りを排除する。
• 発展演算子 $U(\mathbf{A})_{k,l} = \frac{c_n(\mathbf{A})}{\sqrt{2^n}} \widehat{\omega}_n^{(a k^2 - 2kl + d l^2)/c}$ が、Gau{\'s} 和の恒等式を用いて、群表現条件 $U(\mathbf{A}\mathbf{B}) = U(\mathbf{A})U(\mathbf{B})$ を満たすことが示された。
• ヘイゼンベルク＝ワイル群表現の既約性とメタプレクティック性のおかげで、表現が既約であることが証明された。
• 直接的にメタプレクティック性 $U(\mathbf{A}) J_{r,s} U^{-1}(\mathbf{A}) = J_{(r,s)\mathbf{A}}$ が検証され、$U(\mathbf{A})$ が古典的線形 canonical 変換を正しく量子化していることが確認された。
• 本稿では、$n > 3$ に対して $\mathbf{a}_{2^{n-1}} \equiv 1 \mod 2^n$ が成り立つ、チェビシェフに類似した再帰的関係が証明された。これは表現の周期性と一貫性の根拠となっている。
• 中国剰余定理を用いた $N = 2^n \times N'$（$N'$ が奇数）におけるテンソル積分解法を活用することで、$N=2^n$ を含むすべての $N$ に対する有限量子力学のプログラムが完成した。