[논문 리뷰] A BQP-complete problem related to the Ising model partition function via a new connection between quantum circuits and graphs

Joseph Geraci|arXiv (Cornell University)|2008. 01. 31.

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

한 줄 요약

이 논문은 양자 회로와 그래프 사이의 새로운 사상법을 제안하여, 초그래프 위에서 서명된 오일러 부분그래프의 생성함수 $E'(γ,\lambda)$에 대한 덧셈 근사화 문제를 BQP-완전성으로 보여준다. 이 함수를 이차적으로 서명된 가중치 카운터(QWGTs)와 연결함으로써 이는 이징 모델 분할함수와 직접 연결되며, 양자 컴퓨터가 고전적으로 일반적인 그래프에서 접근할 수 없는 이 함수를 효율적으로 근사할 수 있음을 보여준다.

ABSTRACT

We present a simple construction that maps quantum circuits to graphs and vice-versa. Inspired by the results of D.A. Lidar linking the Ising partition function with quadratically signed weight enumerators (QWGTs), we also present a BQP-complete problem for the additive approximation of a function over hypergraphs related to the generating function of Eulerian subgraphs for ordinary graphs. We discuss connections with the Ising partition function.

연구 동기 및 목표

• 인cidense 구조를 기반으로 한 양자 회로와 그래프 사이의 새로운 직접적 대응 관계 수립.
• 표준 생성함수를 일반화한 오일러 부분그래프의 서명된 생성함수 $E'(γ,\lambda)$ 정의.
• 초그래프 위에서 $E'(γ,\lambda)$의 덧셈 근사화 문제가 BQP-완전함을 증명.
• QWGTs를 통한 이 함수와 이징 모델 분할함수 간의 관계 탐색.
• 이 프레임워크를 활용해 비평면 그래프에 대해 이징 분할함수의 다항식 시간 덧셈 근사화 가능성 탐구.

제안 방법

• 큐비트를 정점으로, 두 큐비트 게이트를 간선으로 매핑하여 양자 회로의 인cidense 구조를 유지하는 방식으로 그래프 구축.
• 회로의 인cidense 행렬의 핵과 게이트 상호작용에서 유도된 이차형식을 사용하여 초그래프 위에서 서명된 생성함수 $E'(γ,\lambda)$ 정의.
• 양자 회로와 QWGTs 간의 연결성을 활용하여 $E'(γ,\lambda)$ 근사화가 BQP-완전함을 증명.
• 기존 결과를 활용하여 QWGTs와 오일러 부분그래프의 생성함수 간의 관계를 연결.
• 식 $Z(\beta) = 2^{|V|} \prod_{\{i,j\}\in E} \cosh(\beta J_{ij}) \cdot E(\Gamma, \tanh(\beta J_{ij}))$ 를 사용하여 새로운 함수를 이징 모델과 연결.
• 오일러 부분그래프의 기하학적 성질을 중심으로 $E'(\Gamma,\lambda) = E(\Gamma,\lambda)$ 가 성립하는 조건 분석, 특히 오일러 부분그래프의 기하학적 성질에 초점.

실험 결과

연구 질문

• RQ1 양자 회로가 인cidense 구조를 유지하는 방식으로 그래프로 체계적으로 매핑될 수 있는가? 이때 회로의 유니터리 진화가 그래프의 부분구조에 대한 조합적 함수로 대응되는가?
• RQ2 오일러 부분그래프의 서명된 생성함수 $E'(\Gamma,\lambda)$ 의 덧셈 근사화 문제가 고전 컴퓨터에게 계산적으로 어렵기는 한가?
• RQ3 $E'(\Gamma,\lambda)$ 와 이징 분할함수 $Z$ 사이의 관계는 무엇이며, 어떤 조건에서 $E'(\Gamma,\lambda)$ 가 $Z$ 를 근사하는 데 사용될 수 있는가?
• RQ4 특정 그래프 클래스에 대해 모든 $a \in \ker(CH)$ 에 대해 $a^T \text{lwtr}(H^T C H)a \equiv 0 \mod 2$ 가 사전에 만족될 수 있는가? 이를 통해 $E'(\Gamma,\lambda) = E(\Gamma,\lambda)$ 가 보장되는가?
• RQ5 이 프레임워크를 통해 특정 비평면 그래프에 대해 이징 분할함수의 BQP-완전 근사화가 가능한가?

주요 결과

• 인cidense 구조를 기반으로 한 양자 회로와 그래프 사이의 일대일 대응 관계 수립으로, 회로 요소를 그래프 구성요소로 직접 변환 가능.
• 초그래프 위에서 정의된 서명된 생성함수 $E'(\Gamma,\lambda)$ 는 덧셈 근사화 문제에서 BQP-완전함이 입증됨.
• $E'(\Gamma,\lambda)$ 는 기하학적으로 이차적으로 서명된 가중치 카운터(QWGTs)와 수학적으로 연결되며, QWGTs 가 BQP-완전임이 알려져 있음.
• 이징 분할함수 $Z$ 는 표준 생성함수 $E(\Gamma,\lambda)$ 로 표현 가능하며, 본 논문은 $E'(\Gamma,\lambda) = E(\Gamma,\lambda)$ 가 성립하는 조건을 규명함. 이는 $Z$ 의 양자 근사화 가능성을 열어줌.
• 모든 $a \in \ker(CH)$ 에 대해 $a^T \text{lwtr}(H^T C H)a \equiv 0 \mod 2$ 를 만족시키는 것이 $E'(\Gamma,\lambda) = E(\Gamma,\lambda)$ 를 보장하나, 일반적으로 이 조건을 검증하는 데는 지수 시간이 소요될 수 있음.
• 삼각형 격자(큐빅 격자)는 모든 오일러 부분그래프가 짝수 개의 간선을 가지는 클래스로 규명되어, 효율적인 회로 표현 및 따라서 효율적인 근사화 가능성 잠재력 제시.