[論文レビュー] Categorical Semantics for Schrödinger's Equation

Stefano Gogioso|arXiv (Cornell University)|Jan 23, 2015

Quantum Mechanics and Applications参考文献 15被引用数 7

ひとこと要約

この論文は、有限次元量子ダイナミクスのためのカテゴリカル枠組みを、モノイド的ダイナミクスとカテゴリカル量子力学における強相補性構造を用いて提示する。ユニタリ時間発展演算とエネルギー観測可能の間に双対性を確立し、量子不確定性原理を満たす共役時間／エネルギー観測可能の存在を証明するとともに、Eilenberg-Moore代数と有限群上のフーリエ変換を用いてシュレーディンガー方程式およびファインマン時計構成のカテゴリカルな定式化を提供する。

ABSTRACT

Applying ideas from monadic dynamics to the well-established framework of categorical quantum mechanics, we provide a novel toolbox for the simulation of finite-dimensional quantum dynamics. We use strongly complementary structures to give a graphical characterisation of quantum clocks, their action on systems and the relevant energy observables, and we proceed to formalise the connection between unitary dynamics and projection-valued spectra. We identify the Weyl canonical commutation relations in the axioms of strong complementarity, and conclude the existence of a dual pair of time/energy observables for finite-dimensional quantum clocks, with the relevant uncertainty principle given by mutual unbias of the corresponding orthonormal bases. We show that Schrödinger's equation can be abstractly formulated as characterising the Fourier transforms of certain Eilenberg-Moore morphisms from a quantum clock to a quantum dynamical system, and we use this to obtain a generalised version of the Feynman's clock construction. We tackle the issue of synchronism of clocks and systems, prove conservation of total energy and give conditions for the existence of an internal time observable for a quantum dynamical system. Finally, we identify our treatment as part of a more general theory of simulated symmetries of quantum systems (of which our clock actions are a special case) and their conservation laws (of which energy is a special case).

研究の動機と目的

• カテゴリカル量子力学の枠組み内で、有限次元量子ダイナミクスを体系的にシミュレートするためのカテゴリカルなフレームワークを構築すること。
• 強相補性古典的構造を用いて時間移動対称性を符号化する物理的系としての量子時計を形式化すること。
• ユニタリダイナミクスとハミルトニアンの間の双対性を確立し、ポントリャーギン双対性を用いてエネルギー観測可能を特徴付けること。
• シュレーディンガー方程式をEilenberg-Moore準同型に関する条件として抽象的に定式化し、ファインマン時計構成を検証すること。
• 時計を無視した際の全エネルギー保存則を証明し、力学系に内部時間観測可能が存在するための条件を同定すること。

提案手法

• モノイドのEilenberg-Moore圏を用いて、量子時計に従う量子ダイナミクス系をモデル化する。
• 有限次元ヒルベルト空間（fdHilb）における強相補性ペア（†-Frobenius代数）を用いて時間移動対称性を符号化する。
• ハミルトニアンをユニタリダイナミクスの随伴として定義し、その固有値を時間群Gのポントリャーギン双対群にとる。
• ユニタリ発展演算とエネルギー観測可能なスペクトル測度を結ぶためにフーリエ変換を適用する。
• 有限群におけるストーンの定理を用いて、ハミルトニアンのスペクトル射影子からユニタリダイナミクスを再構成する。
• 量子回路にこのフレームワークを適用し、 ground state 符号化を用いてファインマン時計構成の妥当性を証明する。

実験結果

リサーチクエスチョン

• RQ1 強相補性構造を用いて、カテゴリカル量子力学の枠組み内で量子時計を形式的に定義することは可能か？
• RQ2 ユニタリダイナミクスとエネルギー観測可能の間のカテゴリカル双対性とは何か？また、これは標準的交換関係とどのように関係するか？
• RQ3 この枠組みにおいて、シュレーディンガー方程式はEilenberg-Moore準同型に関する条件として抽象的に定式化可能か？
• RQ4 量子ダイナミクス系が内部時間観測可能を持つための条件は何か？また、これは時計との同期とどのように関係するか？
• RQ5 ファインマン時計構成は、このカテゴリカルダイナミクスおよびスペクトル理論の結果としてどのように導かれるか？

主な発見

• fdHilbにおける強相補性は、標準的交換関係と同値であり、有限次元量子時計に対して共役時間／エネルギー観測可能の存在を示唆する。
• 時間／エネルギー不確定性原理は、相補的構造に対応する正規直交基底の相互無偏性として実現される。
• シュレーディンガー方程式は、量子時計から力学系へのEilenberg-Moore準同型の定義式のエネルギー的視点として特徴付けられる。
• ファインマン時計構成は、このフレームワークの系として正当化され、ハミルトニアンの基底状態が量子回路の全履歴を符号化する。
• 同期済みの時計を無視すると、残りの系において全エネルギーが保存され、全エネルギー演算子は個々のエネルギースペクトルの和として与えられる。
• 有限次元版のストーンの定理を証明し、ポントリャーギン双対群への積分を用いて、ハミルトニアンのスペクトル測度からユニタリ時間発展演算を再構成する。