[論文レビュー] Entropy and Algorithmic Complexity in Quantum Information Theory: a Quantum Brudno's Theorem

Fabio Benatti, Tyll Krueger+3 more|arXiv (Cornell University)|Jun 10, 2005

Computability, Logic, AI Algorithms参考文献 23被引用数 1

ひとこと要約

この論文は、量子系のフォン・ノイマンエントロピー率が、ユニバーサル量子チューリングマシンによって出力可能なqubit列の最小記述長として定義される2つの量子アルゴリズム的複雑性の概念と結びつく、ブルドノの定理の量子版を確立する。主な貢献は、古典的エントロピー・複雑性双対性のきめ細やかな量子拡張であり、適切な条件下で、1量子ビットあたりの量子アルゴリズム的複雑性がフォン・ノイマンエントロピー率に収束することを示している。

ABSTRACT

In classical information theory, entropy rate and algorithmic complexity per symbol are related by a theorem of Brudno. In this paper, we prove a quantum version of this theorem, connecting the von Neumann entropy rate and two notions of quantum algorithmic complexity, both based on the shortest qubit descriptions of qubit strings that, run by a universal quantum Turing machine, reproduce them as outputs.

研究の動機と目的

• 古典的ブルドノの定理（エントロピーとアルゴリズム的複雑性の関係）を量子系に拡張すること。
• ユニバーサル量子チューリングマシンによって生成可能な最短のqubit記述に基づいて、量子アルゴリズム的複雑性を定義すること。
• 漸近的極限におけるフォン・ノイマンエントロピー率と量子アルゴリズム的複雑性の間の形式的関係を確立すること。
• 基礎的な量子複雑性-エントロピー双対性を通じて、量子情報理論と量子アルゴリズム的情報理論を統合すること。

提案手法

• ユニバーサル量子チューリングマシン上で実行された最短の量子プログラムの長さとして、量子アルゴリズム的複雑性を定義する。このプログラムは、与えられたqubit列を出力する。
• フォン・ノイマンエントロピー率を、量子状態の系列における1量子ビットあたりの漸近的平均エントロピーとして形式化する。
• ユニバーサル量子チューリングマシンのモデルを用いて量子計算をシミュレートし、量子文字列の最小記述長を導出する。
• 長大な系列の極限において、1量子ビットあたりの量子アルゴリズム的複雑性がフォン・ノイマンエントロピー率に収束することを確立する。
• 量子情報理論的道具（特に量子典型性と漸近的等確率性の原理）を用いて、量子ブルドノの定理を証明する。
• 典型的な量子系列に対して、1量子ビットあたりの量子アルゴリズム的複雑性がほとんど確実にフォン・ノイマンエントロピー率に等しくなることを証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的ブルドノの定理（エントロピーとアルゴリズム的複雑性の関係）を量子系に拡張できるか？
• RQ2 量子計算とユニバーサル量子チューリングマシンを用いて、量子アルゴリズム的複雑性をどのように定義すべきか？
• RQ3 フォン・ノイマンエントロピー率と1量子ビットあたりの量子アルゴリズム的複雑性の間の漸近的関係は何か？
• RQ4 典型的な量子系列に対して、量子アルゴリズム的複雑性はフォン・ノイマンエントロピー率に収束するか？
• RQ5 この量子双対性が、量子情報理論および複雑性理論に与える意味は何か？

主な発見

• 典型的な量子系列に対して、1量子ビットあたりの量子アルゴリズム的複雑性はほとんど確実にフォン・ノイマンエントロピー率に収束する。
• 最小量子プログラム長に基づく2つの異なる量子アルゴリズム的複雑性の概念が、いずれも漸近的極限で同じエントロピー率に収束する。
• 量子ブルドノの定理は、量子系における情報含量（エントロピー）とアルゴリズム的複雑性の間の双対性を確立する。
• 任意の量子計算を有界誤差でシミュレート可能なユニバーサル量子チューリングマシンの存在を仮定することで、この結果が成り立つ。
• 収束性は、量子典型性と漸近的等確率性の原理を用いて証明され、大規模な量子文字列に対して堅牢であることが保証される。
• この定理は、古典的アルゴリズム的情報理論を量子領域に一般化し、量子エントロピーと量子計算複雑性の間の基礎的リンクを提供する。