[논문 리뷰] Quantum information science as an approach to complex quantum systems

Michael A. Nielsen|ArXiv.org|2002. 08. 13.

Quantum Computing Algorithms and Architecture참고 문헌 26인용 수 9

한 줄 요약

이 논문은 양자 동역학 복잡성의 척도로써 양자 연산 강도를 측정하는 방식을 통해 복잡한 양자 시스템을 이해하는 데 양자정보과학을 프레임워크로 제안한다. 논문은 논리적 깊이와 동적 강도 지표를 활용한 자원이론적 접근을 도입하여 양자 회로 복잡성의 하한을 도출하며, 초다항식 강도를 지닌 연산은 초다항식의 게이트 수가 필요하다는 점을 보여주어, 기본적인 복잡성 하한을 증명하는 길을 열어준다.

ABSTRACT

What makes quantum information science a science? These notes explore the idea that quantum information science may offer a powerful approach to the study of complex quantum systems. We discuss how to quantify complexity in quantum systems, and argue that there are two qualitatively different types of complex quantum system. We also explore ways of understanding complex quantum dynamics by quantifying the strength of a quantum dynamical operation as a physical resource. This is the text for a talk at the ``Sixth International Conference on Quantum Communication, Measurement and Computing'', held at MIT, July 2002. Viewgraphs for the talk may be found at http://www.qinfo.org/talks/.

연구 동기 및 목표

• 공 ingeneering적 응용을 넘어서 복잡한 양자 시스템을 이해하는 데 양자정보과학을 기본 과학적 접근으로 정립하기 위해.
• 특히 다체계 및 동역학적 설정에서 복잡성의 정량적 측정에 도전하는 것.
• 동적 강도를 물리적 자원으로 삼아 양자 연산에 기반한 자원이론적 프레임워크를 개발하기 위해.
• 유닛리 연산의 강도를 체계화함으로써 양자 회로 복잡성의 새로운 하한을 도출하기 위해.
• 양자정보 개념인 얽힘과 논리적 깊이가 다체계 양자물리학에서 나타나는 잠재적 복잡성 현상과 어떻게 연결되는지 이해하기 위해.

제안 방법

• 베넷의 논리적 깊이 개념을 도입하여, 양자 상태를 생성하는 근사 최적 프로그램의 실행 시간을 통해 복잡성을 정의함으로써 단순한 시스템과 복잡한 시스템을 구분한다.
• 유닛리 연산 $ U $ 에 대한 강도 측정치 $ K(U) $ 를 도입하며, 이는 세 가지 공리: 연결성, 안정성, 국소성 를 만족시킨다.
• 연결성 성질 $ K(UV) \leq K(U) + K(V) $ 를 사용하여 복합 연산의 강도를 근사한다.
• 안정성 성질 $ K(U \otimes I) = K(U) $ 를 적용하여, 큐비트 확장을 해도 강도가 변하지 않음을 보장함으로써 물리적 의미 유지.
• 국소성 공리 $ K(A \otimes B \otimes \cdots) = 0 $ 를 활용하여 국소 연산이 복잡성에 기여하지 않도록 제거한다.
• 제어-노트 게이트의 수 $ M \geq K(U)/K(\text{cnot}) $ 에 대한 하한을 유도하며, 높은 강도를 지닌 연산은 많은 게이트가 필요하다는 점을 보여준다.

실험 결과

연구 질문

• RQ1 양자정보과학은 공 ingeneering적 응용을 넘어서 복잡한 양자 시스템을 연구하는 데 과학적 프레임워크로 기능할 수 있는가?
• RQ2 특히 동적 연산 측면에서 복잡한 양자 시스템의 복잡성은 어떻게 정량적으로 측정할 수 있는가?
• RQ3 유효한 양자 동적 강도 측정치가 만족해야 할 기본 성질은 무엇인가?
• RQ4 동적 강도 측정치는 양자 회로 복잡성에 비어 있는 하한을 도출할 수 있는가?
• RQ5 논리적 깊이와 얽힘과 같은 개념은 다체계 양자 시스템에서 나타나는 잠재적 복잡성과 어떻게 관련되는가?

주요 결과

• 양자 시스템의 논리적 깊이는 간단한 규칙으로부터 생성되는 데 걸리는 시간을 측정함으로써 그 복잡성을 정량화하며, 무작위 또는 단순히 생성된 시스템과의 차이를 명확히 한다.
• 반복적인 애핀 변환에 의해 생성된 낙엽 모양의 안착점은 단순한 확률적 규칙으로 생성되지만 높은 논리적 깊이를 지닌 복잡한 시스템의 예시이다.
• 유닛리 연산에 대한 동적 강도 측정치 $ K(U) $ 는 연결성, 안정성, 국소성의 세 가지 핵심 공리를 만족하여 물리적으로 의미 있는 자원 측정치가 된다.
• 연결성 성질은 복합 연산 $ UV $ 의 강도가 개별 강도의 합 이하로 제한됨을 보장하며, 자원의 가산성을 반영한다.
• 안정성 성질은 여유 큐비트를 추가해도 연산의 강도가 변하지 않음을 보장하여, 시스템 확장을 고려할 때 일관성을 유지한다.
• 유도된 하한 $ M \geq K(U)/K(\text{cnot}) $ 는 초다항식 강도를 지닌 연산은 초다항식의 제어-노트 게이트가 필요하다는 점을 시사하며, 복잡성 하한을 증명하는 길을 열어준다.