[논문 리뷰] Dense Quantum Coding and a Lower Bound for 1-way Quantum Automata

Andris Ambainis, Nayak, Ashwin외 2명|arXiv (Cornell University)|1998. 04. 18.

Quantum Computing Algorithms and Architecture인용 수 3

한 줄 요약

이 논문은 m개의 고전적 비트를 n < m 큐비트에 압축하여, 개별 비트를 양자 측정을 통해 높은 확률로 복원할 수 있도록 하는 밀도 있는 양자 코딩을 소개한다. 이에 따라 이러한 코딩에 필요한 큐비트 수에 대한 하한을 설정하고, 이를 바탕으로 특정 언어에 대해 1방향 양자 유한 오토마타의 크기에 대한 지수적 하한을 증명함으로써, 이 설정에서 고전적 오토마타에 비해 양자 오토마타가 가지는 근본적인 이점을 보여준다.

ABSTRACT

We consider the possibility of encoding m classical bits into much fewer n quantum bits so that an arbitrary bit from the original m bits can be recovered with a good probability, and we show that non-trivial quantum encodings exist that have no classical counterparts. On the other hand, we show that quantum encodings cannot be much more succint as compared to classical encodings, and we provide a lower bound on such quantum encodings. Finally, using this lower bound, we prove an exponential lower bound on the size of 1-way quantum finite automata for a family of languages accepted by linear sized deterministic finite automata.

연구 동기 및 목표

• 고전적 정보를 더 적은 양자 비트에 압축하는 것의 가능성과 한계를 조사하고, 개별 비트에 대한 액세스를 유지하는 것을 목표로 한다.
• 고전적 방법과 대비되는 양자적 이점이 있는 코딩 방식을 식별한다.
• 양자 무작위 액세스 코드에 필요한 큐비트 수의 이론적 하한을 설정한다.
• 이 하한을 활용하여 특정 언어 클래스에 대해 1방향 양자 유한 오토마타의 크기에 대한 하한을 유도한다.
• 특정 언어를 인식할 때 양자 및 고전적 유한 오토마타의 효율성을 비교한다.

제안 방법

• m개의 고전적 비트를 n큐비트에 압축하여, 임의의 단일 비트를 높은 정밀도로 복원할 수 있도록 하는 양자 무작위 액세스 코드(QRACs)의 개념을 도입한다.
• 코딩된 비트 수 m과 큐비트 수 n 사이의 상호 관계를 분석하고, 주어진 성공 확률을 달성하기 위해 필요한 최소한의 n에 대한 하한을 유도한다.
• 상태 구별 가능성과 신뢰도 하한과 같은 양자 정보 이론 기법을 사용하여 n에 대한 하한을 설정한다.
• QRACs에 대한 유도된 하한을 1방향 양자 유한 오토마타(1QFA) 모델에 적용하여, 특정 결정적 유한 오토마타를 시뮬레이션하기 위해 양자 모델에서 지수적으로 더 많은 상태가 필요하다는 것을 보여준다.
• 언어 인식 문제를 QRAC 문제로 환원하여 하한을 전이한다.
• 기존의 고전적 유한 오토마타 결과를 활용하여 1QFA가 선형 크기의 결정적 오토마타를 효율적으로 시뮬레이션할 수 없다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 m개의 고전적 비트를 m개 이하의 큐비트에 압축하여, 양자 측정을 통해 어떤 개별 비트라도 높은 확률로 복원할 수 있는가?
• RQ2 압축 성능이 뛰어나면서도 개별 비트 액세스를 유지하는 양자 코딩 기법은 고전적 기법보다 뛰어나게 작동하는가?
• RQ3 m개의 고전적 비트 집합에서 단일 비트를 복원할 때 주어진 성공 확률을 달성하기 위해 필요한 최소 큐비트 수는 얼마인가?
• RQ4 양자 무작위 액세스 코드에 대한 하한을 활용하여 1방향 양자 유한 오토마타의 크기에 대한 제약 조건을 유도할 수 있는가?
• RQ5 동일한 언어 계열에 대해 1방향 양자 유한 오토마타의 상태 복잡도는 고전적 결정적 유한 오토마타와 비교해 어떻게 되는가?

주요 결과

• 고전적 방법과 대비되는 비트리스의 양자 코딩이 존재하며, 이는 고전적으로 불가능한 더 효율적인 개별 비트 액세스를 가능하게 한다.
• 임의의 단일 비트를 고전적 비트 m개에서 고밀도로 복원할 수 있도록 하기 위해 필요한 큐비트 수는 m에 대해 로그적으로 증가하는 함수에 의해 하한이 제시된다.
• 1방향 양자 유한 오토마타의 크기에 대한 하한이 도출되었으며, 선형 크기의 결정적 유한 오토마타가 인식하는 언어 계열에 대해 1QFA는 지수적으로 더 많은 상태가 필요하다는 것을 보여준다.
• 양자 무작위 액세스 코드에 대한 하한은 양자 유한 오토마타가 특정 언어에 대해 고전적 유한 오토마타를 효율적으로 시뮬레이션할 수 없다는 것을 암시한다.
• 논문은 양자 코딩이 신뢰할 수 있는 비트 복원을 위해 필요한 큐비트 수 측면에서 고전적 코딩보다 현저히 더 압축되지 않음을 증명한다.
• 결과적으로, 특정 언어 계열에 대해 고전적 오토마타와 양자 오토마타 간의 상태 복잡도에 근본적인 차이가 있음을 보여준다.