[論文レビュー] Quantum Bit Strings and Prefix-Free Hilbert Spaces

Markus P. Mueller, Caroline Rogers|arXiv (Cornell University)|Mar 31, 2008

semigroups and automata theory被引用数 4

ひとこと要約

本稿は、長さが異なる古典的ビットストリングの重ね合わせとして定義される一般化された量子ビットストリングのフレームワークを導入し、ゼロ拡張形に依存せずに、ストリング空間 ℋ_{\{0,1\}^*} 上で接頭辞、連結、テンソル積などの演算を直接定義する。任意の接頭辞自由なヒルベルト空間に対して量子クラフト不等式を証明し、長さ固有状態の基底を仮定しないことで先行研究を一般化し、損失なし量子圧縮の基盤を確立する。

ABSTRACT

We give a mathematical framework for manipulating indeterminate-length quantum bit strings. In particular, we define prefixes, fragments, tensor products and concatenation of such strings of qubits, and study their properties and relationships. The results are then used to define prefix-free Hilbert spaces in a more general way than in previous work, without assuming the existence of a basis of length eigenstates. We prove a quantum analogue of the Kraft inequality, illustrate the results with some examples and discuss the relevance of prefix-free Hilbert spaces for lossless compression.

研究の動機と目的

• 長さが不定の量子ビットストリングを、ゼロ拡張形に依存せずに数学的枠組みとして構築すること。
• ストリング空間 ℋ_{\{0,1\}^*} 上で接頭辞、断片、テンソル積、連結などの演算を定義・形式化すること。
• 長さ固有状態の基底を持つ制限を除いた、接頭辞自由なヒルベルト空間の一般化。
• より一般的な設定、任意の接頭辞自由なヒルベルト空間に対して、クラフト不等式の量子版を証明すること。
• これらの構造が損失なし量子圧縮にどのように関連するかを確立すること。

提案手法

• 本稿は、すべてのn-qubit空間の直和として定義されるストリング空間 ℋ_{\{0,1\}^*} を導入し、長さが異なるものの重ね合わせを許容する。
• 長さ観測値 Λ を、基底ベクトルに対して Λ|s⟩ = ℓ(s)|s⟩ と作用させる非有界作用素として定義する。
• 量子ビットストリングの接頭辞は、古典的ストリングの初期部分に相当する部分空間への射影として定義される。
• 量子ビットストリングの連結は、古典的ストリング連結の線形拡張として定義され、最初のストリングが長さ固有状態である場合に限り、テンソル積に帰着する条件が提示される。
• 本稿は、連結された状態との内積が消えるという4つの同値条件を用いて、qubitストリングの接頭辞自由集合を定義する。
• ヒルベルト部分空間が接頭辞自由であるための必要十分条件として、接頭辞自由な正規直交基底が存在することを証明し、このような空間に対して量子クラフト不等式を確立する。

実験結果

リサーチクエスチョン

• RQ1 長さ固有状態の基底を仮定しないで、量子接頭辞符号を定義できるか？
• RQ2 長さが変動するqubitストリングの重ね合わせ上で、連結や接頭辞抽出といった演算をどのように厳密に定義できるか？
• RQ3 長さ固有状態の基底が存在しない状況下で、古典的クラフト不等式の量子版は何か？
• RQ4 接頭辞自由なヒルベルト空間は、損失なし量子圧縮とどのように関係するか？
• RQ5 これらの演算や定義を支える数学的構造、すなわち ℋ_{\{0,1\}^*} のストリング空間の本質的性質は何か？

主な発見

• 本稿は、任意の接頭辞自由なヒルベルト空間に対して、古典的結果を超えて長さ固有状態の基底を仮定しない一般化された量子クラフト不等式を確立した。
• ヒルベルト部分空間 ℋ ⊂ ℋ_{\{0,1\}^*} が接頭辞自由であるための必要十分条件は、接頭辞自由な正規直交基底が存在することであり、そのような部分空間のすべての正規直交基底は接頭辞自由であることを証明した。
• 2つの量子ビットストリング |ψ⟩ と |φ⟩ の連結が、|ψ⟩ が長さ固有状態である場合に限り、テンソル積 |ψ⟩⊗|φ⟩ に等しくなることを示した。
• 本フレームワークにより、ℋ_{\{0,1\}^*} の要素としての不定長qubitストリングを自然に取り扱い、不自然なゼロ拡張を回避できる。
• qubitストリングの集合が接頭辞自由であるための必要十分条件として、すべての空でない古典的ストリング s に対して内積 ⟨φ|ψ∘s⟩ が消えることが示され、厳密な操作的基準が得られた。
• 本研究の結果は、長さ固有状態の基底を必要としないより広いクラスのヒルベルト空間へと量子接頭辞符号を一般化することで、損失なし量子圧縮の基盤を提供する。