[論文レビュー] H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics

Samson Abramsky, Chris Heunen|arXiv (Cornell University)|Nov 28, 2010

Advanced Algebra and Logic被引用数 16

ひとこと要約

この論文は、無限次元ヒルベルト空間へのフロベニウス代数のカテゴリカルな一般化としてH*-代数を導入し、正規直交基底および離散スペクトルをもつ観測可能量の代数的特徴付けを可能にする。H*-代数がヒルベルト空間内で正規直交基底とちょうど一致することを示し、非単位的フロベニウス代数が正倣性および有限性条件を満たす場合に限りH*-代数と一致することを証明する。

ABSTRACT

A certain class of Frobenius algebras has been used to characterize orthonormal bases and observables on finite-dimensional Hilbert spaces. The presence of units in these algebras means that they can only be realized finite-dimensionally. We seek a suitable generalization, which will allow arbitrary bases and observables to be described within categorical axiomatizations of quantum mechanics. We develop a definition of H*-algebra that can be interpreted in any symmetric monoidal dagger category, reduces to the classical notion from functional analysis in the category of (possibly infinite-dimensional) Hilbert spaces, and hence provides a categorical way to speak about orthonormal bases and quantum observables in arbitrary dimension. Moreover, these algebras reduce to the usual notion of Frobenius algebra in compact categories. We then investigate the relations between nonunital Frobenius algebras and H*-algebras. We give a number of equivalent conditions to characterize when they coincide in the category of Hilbert spaces. We also show that they always coincide in categories of generalized relations and positive matrices.

研究の動機と目的

• 標準的なフロベニウス代数が単位に依存するため、無限次元ヒルベルト空間では失敗するが、量子力学のカテゴリカルな公理的定式化を無限次元ヒルベルト空間へ拡張すること。
• 特に離散スペクトルをもつ観測可能量に適した、任意次元で通用するフロベニウス構造の一般化された概念を定義すること。
• 特にヒルベルト空間および一般化された関係圏において、非単位的フロベニウス代数とH*-代数の関係を明確にすること。
• 有限次元では標準的になる概念に還元される代数的構造を用いて、無限次元における正規直交基底および量子観測可能量のカテゴリカルな枠組みを提供すること。
• 非単位的フロベニウス代数とH*-代数が一致する条件を、特に正の行列の圏および一般化された関係の圏において探求すること。

提案手法

• 対称モノイダルダガー圏におけるH*-代数を、*-代数にフロベニウス構造を一般化したカテゴリカル構造として導入する。
• コ乗法、乗法、および対合が特定のダガーおよびフロベニウス公理を満たすようにH*-代数を定義し、ヒルベルト空間では標準的になる概念に還元されることを示す。
• ヒルベルト空間の圏において、H*-代数が正規直交基底とちょうど一対一に対応することを証明し、したがって離散スペクトルをもつ観測可能量に対応することを示す。
• ヒルベルト空間における非単位的フロベニウス代数がH*-代数であるための同値な条件を確立し、コ乗法行列の正値性および有限な台（finite support）を含む。
• 一般化された関係圏および正の行列の圏（例：Mat(ℓ²(ℝ⁺)))において、H*-代数と非単位的フロベニウス代数は常に一致する。これは破壊的干渉が存在しないからである。
• 行列表現および点ごとの対合（x* = x⁻¹）を用いて、特にℓ²(ℝ⁺)値行列におけるフロベニウス代数の構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 フロベニウス代数を無限次元ヒルベルト空間へ一般化することは可能か？ その場合、正規直交基底および離散スペクトルをもつ観測可能量を記述できるか？
• RQ2 正規直交基底との対応を保ちつつ、無限次元においてフロベニウス代数を一般化するカテゴリカル構造とは何か？
• RQ3 ヒルベルト空間の圏において、非単位的フロベニウス代数とH*-代数が一致する条件は何か？
• RQ4 一般化された関係圏および正の行列の圏においてH*-代数はどのように振る舞い、それらの圏では常に非単位的フロベニウス代数と一致するか？
• RQ5 有限次元性に依存せずに、無限次元量子力学における観測可能量の代数的構造をカテゴリカルに公理化することは可能か？

主な発見

• ヒルベルト空間の圏（Hilb）におけるH*-代数は、正規直交基底とちょうど一対一に対応する。したがって、離散スペクトルをもつ量子観測可能量のカテゴリカルな特徴付けが得られる。
• Hilbにおけるフロベニウス代数がH*-代数条件（H）を満たすのは、ある基底においてコ乗法行列の成分がすべて非負であるときであり、これは代数が1次元代数の有限直和に分解されることと同値である。
• 圏Matℓ²(ℝ⁺)において、すべてのフロベニウス代数が条件（H）を満たす。つまり、正規直交基底に対応し、したがってH*-代数である。
• 一般化された関係圏（例：lbfRel, Mat(S) ただしSは可換半環）において、H*-代数と非単位的フロベニウス代数は常に一致する。これは破壊的干渉が存在しないためである。
• Hilbにおける非単位的フロベニウス代数とH*-代数の同値性は、コ乗法が非負成分を持つ行列で表され、かつその台が有限である場合に限り成立する。
• 本論文は、Hilbにおけるフロベニウス代数構造がH*-代数であるための必要十分条件として、コ乗法が正値作用素かつ有限ランクであり、かつ代数が有限個の1次元成分への直和に分解されることを確立した。