[논문 리뷰] Circuit Extraction for ZX-Diagrams Can Be #P-Hard

Niel de Beaudrap, Aleks Kissinger외 1명|arXiv (Cornell University)|2022. 01. 01.

Formal Methods in Verification인용 수 5

한 줄 요약

이 논문은 유니터리 ZX다이어그램에서 회로 추출이 #P-어려움임을 증명하며, 표준 복잡도 가정 하에 임의의 ZX다이어그램을 등가의 양자 회로로 효율적으로 변환하는 것이 비가능함을 보여준다. 저자들은 #SAT 문제를 회로 추출로 감소시켜, 다항시간 내에 추출 알고리즘이 존재할 경우 P = NP가 성립함을 보였다.

ABSTRACT

The ZX-calculus is a graphical language for reasoning about quantum computation using ZX-diagrams, a certain flexible generalisation of quantum circuits that can be used to represent linear maps from $m$ to $n$ qubits for any $m,n \geq 0$. Some applications for the ZX-calculus, such as quantum circuit optimisation and synthesis, rely on being able to efficiently translate a ZX-diagram back into a quantum circuit of comparable size. While several sufficient conditions are known for describing families of ZX-diagrams that can be efficiently transformed back into circuits, it has previously been conjectured that the general problem of circuit extraction is hard. That is, that it should not be possible to efficiently convert an arbitrary ZX-diagram describing a unitary linear map into an equivalent quantum circuit. In this paper we prove this conjecture by showing that the circuit extraction problem is #P-hard, and so is itself at least as hard as strong simulation of quantum circuits. In addition to our main hardness result, which relies specifically on the circuit representation, we give a representation-agnostic hardness result. Namely, we show that any oracle that takes as input a ZX-diagram description of a unitary and produces samples of the output of the associated quantum computation enables efficient probabilistic solutions to NP-complete problems.

연구 동기 및 목표

• 유니터리 ZX다이어그램을 등가의 양자 회로로 변환하는 데 필요한 계산 복잡도를 조사하는 것.
• 임의의 ZX다이어그램에 대해 효율적인 회로 추출이 가능한지 여부를 규명하는 것.
• 기존의 효율적인 추출 방법이 제한적인 구조 조건에 의존하는지 여부를 확인하는 것.
• 회로 추출의 어려움이 양자 계산 및 시뮬레이션에 끼치는 영향을 탐색하는 것.

제안 방법

• 불리안 공식을 유니터리 ZX다이어그램에 인코딩하여 #SAT 문제를 회로 추출로 감소시켰다.
• 유니터리 ZX다이어그램을 구성하여 다항 크기의 회로를 추출하면 해당 #SAT 인스턴스를 해결할 수 있도록 하였다.
• 표현에 의존하지 않는 추론을 사용: 어떤 오라클이 유니터리 ZX다이어그램에서 샘플링할 수 있다면, NP-완전 문제를 확률적으로 해결할 수 있다.
• ZX계산법의 등식 이론과 완전성을 활용하여 인코딩의 의미적 정확성을 보장하였다.
• 유니터리에 비례하는 후선택된 회로가 비후선택된 회로로 변환하는 데 어려움이 있음을 입증하였다.
• 보조 큒비트, 고전적 제어, 근사 합성의 변형을 분석하여, 이들 역시 여전히 #P-어려움임을 보였다.

실험 결과

연구 질문

• RQ1 유니터리 ZX다이어그램에서의 회로 추출은 #P-어려운가?
• RQ2 플로우 또는 gflow와 같은 구조적 제약 조건 없이도 효율적인 회로 추출이 가능할 수 있는가?
• RQ3 양자 회로에 후선택이 존재하는 것이 유니터리 회로 추출에 본질적인 어려움을 초래하는가?
• RQ4 유니터리 ZX다이어그램에서 샘플링하는 고전적 오라클이 NP-완전 문제를 해결할 수 있는가?
• RQ5 회로 추출의 어려움은 후선택 때문이 아니라, 기본적인 유니터리 제약 조건 때문인가?

주요 결과

• 유니터리 ZX다이어그램에서의 회로 추출은 #P-어려움이며, 이는 P = NP가 성립하지 않는 한 다항시간 알고리즘이 존재하지 않음을 의미한다.
• 보조 큿비트, 고전적 제어, 또는 근사 합성을 允허할 경우에도 #P-어려움은 유지된다.
• 어떤 오라클이 유니터리 ZX다이어그램에서 샘플링할 수 있다면, NP-완전 문제를 확률적으로 해결할 수 있다.
• 어려움은 후선택 자체 때문이 아니라, 후선택 결과가 크기와 무관하게 유계 확률로 발생하기 때문이다.
• 이 결과는 효율적인 회로 추출을 위해서는 플로우 또는 gflow의 존재와 같은 구조적 약속이 필요하다는 것을 시사한다.
• 정규 측정 패tern을 고려할 경우에도 어려움은 유지되지만, 증명은 이러한 경우에 직접적으로 확장되지 않는다.