[论文解读] Optimal lower bounds for quantum automata and random access codes

Ashwin Nayak|ArXiv.org|Apr 27, 1999

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

一句话总结

本文通過基於熵的論證（根植於Holevo定理）建立了對一維量子有限自動機（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$ 個量子比特，其性能與經典極限漸近匹配。
• 提出Holevo定理的更緊緻、更清晰的替代形式，推導出解碼成功的機率內邊界，避免使用熵的間接轉換。
• 證明在隨機存取碼背景下，量子編碼並無漸近優勢於經典編碼，從而解決先前研究中的一個關鍵問題。

提出的方法

• 利用量子自動機演化過程中馮諾伊曼熵的非減性（即使在中間測量下依然成立）進行熵論證。
• 應用Holevo定理來限制量子態中可獲取的資訊量，並與量子比特數量（進而與自動機的狀態數量）關聯。
• 引入一種新的機率內解碼成功邊界，其緊緻性優於Holevo定理，且避免間接的熵轉換。
• 基於碼空間維度構造解碼總機率的機率上界，進而導出 $P(X, 2^m)$ 的形式，即前 $2^m$ 個最大機率之和。
• 利用命題 $\sum_x \|P_x|\phi_x\rangle\|^2 \leq 2^m$ 來限制解碼的總成功機率，其中 $m$ 為量子比特數。
• 將所得邊界應用於隨機存取碼與通信複雜度，證明要實現 $\delta$-成功率解碼 $n$ 個位元，需滿足 $m \geq n - \log(1/\delta)$，優於基於Holevo定理的邊界。

实验结果

研究问题

• RQ1 即使允許中間測量，一維量子有限自動機對某些正則語言是否仍需比經典有限自動機多指數級的狀態？
• RQ2 要實現指定解碼保真度，量子隨機存取碼所需的最少量子比特數為何？量子編碼是否在漸近意義上優於經典編碼？
• RQ3 Holevo定理能否被更緊緻、更直觀的邊界取代，以應用於涉及解碼機率的量子資訊任務？
• 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$ 個量子比特，其性能與經典上界僅相差對數加法項，顯示無漸近優勢。
• 本文提出一種新的機率內解碼成功邊界，其緊緻性優於Holevo定理，且可直接限制所需量子比特數，無需經過熵轉換。
• 針對 $n$-位元字串編碼為 $n+1$ 個正交態的特定情形，新邊界正確得出需 $n$ 個量子比特，而Holevo定理僅能給出至少 2 個量子比特的下界。
• 在通信複雜度中，新邊界表明要以 $\delta$ 成功率傳輸 $n$ 個位元，需滿足 $m \geq n - \log(1/\delta)$，優於Holevo與Fano所給出的 $m \geq \delta n - H(\delta)$。