[논문 리뷰] Defining Quantum Control Flow

Mingsheng Ying, Nengkun Yu외 1명|arXiv (Cornell University)|2012. 09. 19.

Quantum Computing Algorithms and Architecture참고 문헌 17인용 수 6

한 줄 요약

이 논문은 양자 프로그래밍 언어에서 양자 제어 흐름을 형식화하기 위해 양자 가드 커맨드, 양자 선택, 양자 재귀의 세 가지 새로운 양자 프로그램 구조를 도입한다. 양자 제어 흐름은 고전적 제어 흐름과 달리 측정 없이 유니터리 변환을 가능하게 하며, 기본적인 복잡성 차이를 드러낸다: 양자 제어를 가진 반복문은 고전적 제어 흐름과 달리 보존 없이 확률적 행동으로 수렴하게 되며, 국소화될 수 없다.

ABSTRACT

A remarkable difference between quantum and classical programs is that the control flow of the former can be either classical or quantum. One of the key issues in the theory of quantum programming languages is defining and understanding quantum control flow. A functional language with quantum control flow was defined by Altenkirch and Grattage [ extit{Proc. LICS'05}, pp. 249-258]. This paper extends their work, and we introduce a general quantum control structure by defining three new quantum program constructs, namely quantum guarded command, quantum choice and quantum recursion. We clarify the relation between quantum choices and probabilistic choices. An interesting difference between quantum recursions with classical control flows and with quantum control flows is revealed.

연구 동기 및 목표

• 양자 프로그램에서 고전적 제어 흐름을 초월하여 별개의 양자 제어 흐름 패러다임을 형식화하기 위해.
• 기존의 '양자 데이터, 고전적 제어'에 의존하는 양자 프로그래밍 언어의 한계를 해결하기 위해 진정으로 양자 제어를 지원하는 구조를 도입하기 위해.
• 양자 선택과 확률적 선택의 차이를 명확히 하여, 양자 제어가 측정 없이 유니터리 진화를 이끌어내는 방식을 보여주기 위해.
• 양자 재귀와 양자 제어를 가진 반복문을 정의하는 데서 발생하는 과제, 특히 보조 큐비트의 국소화 불가능성에 대해 조사하기 위해.
• 양자 제어 흐름의 완전한 이론을 구축하고, 양자 Floyd-Hoare 논리 및 프로그램 검증으로의 잠재적 확장을 포함하기 위해.

제안 방법

• 일반적인 양자 가드 커맨드 구조를 제안: $\square_{i=1}^{n}\ \overline{q},|i\rangle\rightarrow P_{i}$, 여기서 제어는 보조 레지스터 $\overline{q}$ 의 양자 상태에 의해 결정되며, 측정 없이 유니터리 분기 가능성을 제공한다.
• 양자 선택을 단위원자 코인 연산자 $C$ 를 사용한 프로그램 분기의 중첩으로 정의: $\mathbf{skip}_{C[q]}\oplus P$, 이는 대안적 프로그램 경로의 혼합 선택을 가능하게 한다.
• 양자 변수를 포함한 재귀 프로그램 구조 $\mu X.P$ 를 사용해 양자 재귀를 정의하며, 재귀 본문은 프로그램 이름 $X$ 와 공유 변수 집합을 매개변수로 한다.
• 양자 반복문을 양자 선택과 보조 큐비트 $q_1, ..., q_n$ 를 사용한 반복적 구성 $Q_n'$ 으로 모델링하며, 의미론은 증가하는 힐베르트 공간 $\mathcal{H}_{\overline{q}} \otimes \bigotimes_{i=1}^n \mathcal{H}_{q_i}$ 에 정의된다.
• 반복의 의미론을 반고전적 의미론 $\lceil Q_n' \rceil$ 을 통해 분석하여, $\lceil Q_n' \rceil(\epsilon)|\psi\rangle|0\rangle^n = \sum_{i=0}^{n-1}\frac{1}{\sqrt{2^{i+1}}}U^i|\psi\rangle|0\rangle^{n-i}|1\rangle^i$ 라는 식을 도출한다.
• 양자 반복문에서 보조 큐비트 $q_1, ..., q_n$ 를 국소화하면, 양자 간섭을 잃게 되는 열악한 확률적 의미론 $\llbracket Q_n'' \rrbracket(\rho) = \sum_{i=0}^{n-1}\frac{1}{2^{i+1}}U^i\rho(U^\dagger)^i$ 로 수렴함을 보여준다.

실험 결과

연구 질문

• RQ1 양자 중첩에 기반한 유니터리 제어 흐름을 지원하기 위해 양자 가드 커맨드를 어떻게 형식적으로 정의할 수 있는가? 측정 결과가 아닌 양자 상태에 의존하도록.
• RQ2 양자 선택과 확률적 선택의 형식적 차이는 무엇이며, 양자 선택이 프로그램 실행 중 유니터리성을 어떻게 유지하는가?
• RQ3 왜 양자 제어를 가진 양자 재귀는 고전적 제어 재귀와 본질적으로 다른 행동을 보이는가? 특히 상태 공간 진화 측면에서.
• RQ4 양자 제어를 가진 반복문을 유한 반복의 극한으로 정의할 수 있는가? 그러한 정의를 위한 장애 요소는 무엇인가?
• RQ5 양자 반복문에서 보조 큐비트의 국소화 불가능성이 양자 프로그램의 의미론과 검증에 미치는 영향은 무엇인가?

주요 결과

• 양자 가드 커맨드는 고전적 가드 커맨드를 보조 레지스터 $\overline{q}$ 의 양자 제어로 일반화하여, 측정 없이도 유니터리 분기를 가능하게 하며, 양자 산책과 QML의 $\mathbf{if}^\circ$ 에서 볼 수 있다.
• 단위원자 코인 연산자 $C$ 를 통해 정의된 양자 선택은 프로그램 분기의 중첩을 허용하여, 대안 간의 유니터리 진화를 이끌어내며, 확률적 선택과는 다르다.
• 양자 제어를 가진 반복문 $Q_n'$ 은 증가하는 힐베르트 공간 $\mathcal{H}_{\overline{q}} \otimes \bigotimes_{i=1}^n \mathcal{H}_{q_i}$ 에서 정의되며, 의미론은 $\lceil Q_n' \rceil(\epsilon)|\psi\rangle|0\rangle^n = \sum_{i=0}^{n-1}\frac{1}{\sqrt{2^{i+1}}}U^i|\psi\rangle|0\rangle^{n-i}|1\rangle^i$ 라는 식을 가진다.
• 보조 큐비트 $q_1, ..., q_n$ 를 $Q_n'$ 내에서 국소화하면, 확률적 의미론 $\llbracket Q_n'' \rrbracket(\rho) = \sum_{i=0}^{n-1}\frac{1}{2^{i+1}}U^i\rho(U^\dagger)^i$ 로 수렴하게 되며, 이는 양자 제어가 간섭을 유지하기 위해 국소화될 수 없음을 보여준다.
• 양자 제어를 가진 양자 재귀는 고전적 제어 재귀보다 본질적으로 더 복잡하며, 각 반복마다 상태 공간이 증가하고, 국소화를 통해 양자 행동을 유지할 수 없기 때문이다.
• 이 논문은 양자 제어를 가진 반복문이 유한 반복의 극한으로 정의될 수 없다는 것을 입증한다. 각 반복에서 힐베르트 공간 차원이 다르기 때문에, 이는 양자 프로그램 의미론에서의 핵심 과제임을 드러낸다.