[論文レビュー] Optimal lower bounds for quantum automata and random access codes

Ashwin Nayak|ArXiv.org|Apr 27, 1999

Quantum Computing Algorithms and Architecture参考文献 9被引用数 100

ひとこと要約

本稿は、ホーレボの定理に根ざしたエントロピーに基づく議論を用いて、片方向量子有限オートマトン（QFA）および量子ランダムアクセスコードの状態サイズに対する最適な指数的下界を確立する。中間測定を許容しても（可逆性制約を回避しても）、言語 $L_n = \{w0 \mid |w| \leq n\}$ を認識するQFAは $2^{\Omega(n)}$ 状態を必要とし、$1-H(p)$ の精度を達成するには量子ランダムアクセスコードが $n$ ビットの量子状態を必要とする。これは漸近的に古典的限界と一致する。

ABSTRACT

Consider the finite regular language L_n = {w0 : w \in {0,1}^*, |w| \le n}. It was shown by Ambainis, Nayak, Ta-Shma and Vazirani that while this language is accepted by a deterministic finite automaton of size O(n), any one-way quantum finite automaton (QFA) for it has size 2^{Omega(n/log n)}. This was based on the fact that the evolution of a QFA is required to be reversible. When arbitrary intermediate measurements are allowed, this intuition breaks down. Nonetheless, we show a 2^{Omega(n)} lower bound for such QFA for L_n, thus also improving the previous bound. The improved bound is obtained by simple entropy arguments based on Holevo's theorem. This method also allows us to obtain an asymptotically optimal (1-H(p))n bound for the dense quantum codes (random access codes) introduced by Ambainis et al. We then turn to Holevo's theorem, and show that in typical situations, it may be replaced by a tighter and more transparent in-probability bound.

研究の動機と目的

• 中間測定を許容しても、言語 $L_n = \{w0 \mid |w| \leq n\}$ を認識するためのQFAに $2^{\Omega(n)}$ 状態が必要であることを示し、量子オートマトンの下界のギャップを埋める。
• 量子ランダムアクセスコードの漸近的効率性に関する未解決問題を解き、$1-H(p)$ の精度を達成するには $n$ ビットの量子状態が必要であることを示し、古典的限界と一致することを示す。
• エントロピーに基づく推論を避けるために、復号成功確率に関する確率内境界を導出し、ホーレボの定理のより鋭い、より明確な代替手段を提供する。
• ランダムアクセスコードの文脈において、量子符号化が古典的符号化に比べて漸近的優位性を持たないことを示し、先行研究における重要な問いに答える。

提案手法

• 中間測定を許容しても、QFAの進化過程でフォン・ノイマンエントロピーが単調増加することに基づくエントロピー的議論を用いる。
• ホーレボの定理を適用して、量子状態に含まれる利用可能な情報量を制限し、それが量子ビット数、ひいてはオートマトンの状態数に関連することを示す。
• エントロピー変換を避けるために、復号成功確率に関する新たな確率内境界を導入し、ホーレボの定理よりも鋭い境界を提供する。
• コード空間の次元を用いて、合計復号確率に関する確率的上界を構築し、$P(X, 2^m)$ という形の境界（$2^m$ 個の最大確率の和）を得る。
• 「$\sum_x \|P_x|\phi_x\rangle\|^2 \leq 2^m$」という主張を用いて、復号の合計成功確率を境界づける。ここで $m$ は量子ビット数である。
• 導出した境界をランダムアクセスコードおよび通信複雑度に適用し、$n$ ビットの $\delta$-成功率復号には $m \geq n - \log(1/\delta)$ が必要であることを示し、ホーレボに基づく境界を改善する。

実験結果

リサーチクエスチョン

• RQ1 中間測定を許容する片方向量子有限オートマトンは、特定の正則言語に対して、古典的有限オートマトンよりも指数的に多くの状態を必要とするのか？
• RQ2 量子ランダムアクセスコードが所望の復号精度を達成するために必要な最適な量子ビット数は何か？ また、量子符号化は古典的符号化に比べて漸近的優位性を持つのか？
• RQ3 復号確率を扱う量子情報タスクにおいて、ホーレボの定理は、より鋭く明確な境界に置き換え可能か？
• RQ4 QFAにおける中間測定の存在が、可逆的QFAモデルで観察される指数的状態サイズギャップを解消するのか？
• RQ5 通信複雑度において、エントロピーに基づく推論を避けて確率内境界を用いることで、量子ビット使用量の下界を改善できるか？

主な発見

• 言語 $L_n = \{w0 \mid |w| \leq n\}$ は、中間測定を許容する片方向QFAでも $2^{\Omega(n)}$ 状態を必要とし、これはサイズ $O(n)$ の古典的DFAによって認識可能である。
• この下界はタイトで最適であり、先行研究で $2^{\Omega(n/\log n)}$ のみが示されていた未解決問題を解決する。
• 精度 $1-H(p)$ を達成する量子ランダムアクセスコードには $n$ ビットの量子状態が必要であり、これは古典的上界と対数的加法的項を除いて一致する。これは漸近的優位性がないことを示す。
• 本稿は、エントロピー変換を避けるために、復号成功確率に関する新たな確率内境界を提供し、エントロピーに基づく推論を避けて量子ビット数を直接境界づける。
• $n$ ビット文字列を $n+1$ 個の直交状態に符号化する特定の例において、新しい境界は $n$ ビットを正しく導き出すが、ホーレボの定理では最小でも 2 ビットの下界しか得られない。
• 通信複雑度において、新しい境界は $n$ ビットを $\delta$ の成功率で送信するには $m \geq n - \log(1/\delta)$ が必要であることを示し、ホーレボとファノの境界 $m \geq \delta n - H(\delta)$ よりも改善する。