[논문 리뷰] Optimal lower bounds for quantum automata and random access codes

Ashwin Nayak|ArXiv.org|1999. 04. 27.

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.

연구 동기 및 목표

• 일방향 QFA가 중간 측정을 허용하더라도 언어 $L_n = \{w0 \mid |w| \leq n\}$를 인식하기 위해 최적의 $2^{\Omega(n)}$ 개의 상태가 필요하다는 것을 증명하여, 양자 오토마타의 하한에 대한 간극을 메운다.
• 양자 무작위 액세스 코드의 점 游적 효율성에 대한 열린 문제를 해결하기 위해, $1-H(p)$ 정밀도를 달성하기 위해 $n$ 큐비트가 필요하다는 것을 보여주며, 고전적 한계와 점 游적으로 일치함을 입증한다.
• 홀레보 정리의 보다 날카운, 더 투명한 대체 수단을 제공하기 위해, 엔트로피 기반 추론을 피하고 확률 기반의 복원 성공도에 대한 직접적인 하한을 유도한다.
• 무작위 액세스 코드의 맥락에서 양자 인코딩이 고전적 인코딩에 비해 점 游적 이점이 없음을 보여주며, 이는 이전 연구에서 제기된 핵심 질문을 해결한다.

제안 방법

• 중간 측정이 있더라도 QFA의 진화 도중 바르누이 엔트로피가 단조증가한다는 점을 이용한 엔트로피 기반 추론.
• 홀레보 정리를 적용하여 양자 상태에 포함된 가용 정보의 상한을 구하고, 이를 큐비트 수와 따라서 오토마타의 상태 수와 연결한다.
• 간접적인 엔트로피 변환을 피하기 위해, 복원 성공도에 대한 새로운 확률 기반 하한을 도입한다.
• 코드 공간의 차원을 이용하여 총 복원 확률에 대한 비율 기반 상한을 구성함으로써, $P(X, 2^m)$로 표현되는 상한을 도출한다. 여기서 $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)$ 하한보다 향상된 결과를 도출한다.