[논문 리뷰] Towards Verification of Dynamic Quantum Circuits.

Lukas Burgholzer, Robert Wille|arXiv (Cornell University)|2021. 06. 02.

Quantum Computing Algorithms and Architecture참고 문헌 31인용 수 5

한 줄 요약

이 논문은 측정 기반 피드포워드와 같은 비유니터리 연산을 포함하는 동적 양자 회로의 검증을 가능하게 하기 위해 두 가지 새로운 방법을 제안한다. 이를 통해 기존의 양자 회로 검증 기법을 직접 적용할 수 있으며, 현재의 방법들이 비유니터리 원소에서 실패하는 한계를 극복한다.

ABSTRACT

Quantum computers are reaching a level where interactions between classical and quantum computations can happen in real-time. This marks the advent of a new, broader class of quantum circuits: dynamic quantum circuits. They offer a broader range of available computing primitives that lead to new challenges for design tasks such as simulation, compilation, and verification. Due to the non-unitary nature of dynamic circuit primitives, existing techniques for these tasks are no longer applicable in an out-of-the-box fashion. In this work, we discuss the resulting consequences for quantum circuit verification and present first ideas for corresponding automatic methods. More precisely, we propose two different schemes that eventually allow to treat the involved circuits as if they were not dynamic at all. By this, we provide a basis for applying existing techniques for quantum circuit verification to this broader class of circuits.

연구 동기 및 목표

• 비유니터리 원소로 인해 동적 양자 회로 검증에 어려움이 발생하는 문제를 해결하기 위해.
• 기존의 양자 회로 검증 기법을 동적 회로에 적용할 수 있도록 하기 위해.
• 동적 회로를 정적이고 유니터리한 회로인 것처럼 다루는 자동화된 방법을 개발하기 위해.
• 실시간 양자 계산 워크로드에서의 확장 가능한 검증을 위한 기반을 마련하기 위해.

제안 방법

• 동적 양자 회로를 등가의 유니터리 회로로 변환하는 두 가지 변환 기법을 제안한다.
• 측정 기반 피드포워드 연산을 사용하여 고전적 제어 논리를 양자 진화에 통합한다.
• 유니터리 등가성을 활용하여 비유니터리 연산을 가역적인 양자 회로로 매핑한다.
• 변환된 회로가 원래 회로의 의미론과 관측 가능한 행동을 유지하도록 보장한다.
• 동적 회로를 표준 양자 회로 형태로 환원함으로써 기존 검증 프레임워크에 통합할 수 있도록 한다.
• 자동화된 검증 파이프라인을 지원하기 위해 변환 과정을 형식화한다.

실험 결과

연구 질문

• RQ1 기존 기법을 사용하여 비유니터리 연산을 포함하는 동적 양자 회로는 어떻게 검증할 수 있는가?
• RQ2 동적 회로의 의미론을 유지하면서도 유니터리 표현을 가능하게 하는 변환은 무엇인가?
• RQ3 동적 회로에서의 측정 기반 피드포워드는 유니터리 진화로 어떻게 표현할 수 있는가?
• RQ4 동적 회로가 유니터리 형태로 환원될 수 있는 구조적 및 운영 조건는 무엇인가?
• RQ5 실시간 고전적 제어를 포함하는 회로에 대해 자동 검증은 어떻게 가능해지는가?

주요 결과

• 제안된 기법을 통해 동적 양자 회로를 유니터리 회로로 간주할 수 있게 되어, 기존의 검증 기법을 직접 적용할 수 있게 되었다.
• 동적 회로 내 비유니터리 연산은 체계적으로 등가의 유니터리 진화로 변환될 수 있다.
• 변환 과정에서 원래 동적 회로의 관측 가능한 행동과 의미론이 유지된다.
• 이 방법은 실시간 양자 계산 환경에서 동적 회로의 자동 검증을 위한 기반을 제공한다.
• 이 방법은 동적 회로 검증을 기존의 양자 소프트웨어 스택에 통합할 수 있는 길을 열어준다.
• 본 연구는 동적 회로와 기존의 검증 프레임워크 사이에 개념적이고 방법론적인 다리를 구축한다.