[논문 리뷰] Simulating Arbitrary Pair-Interactions by a Given Hamiltonian: Graph-Theoretical Bounds on the Time Complexity

Paweł Wocjan, Dominik Janzing외 1명|ArXiv.org|2001. 06. 13.

Markov Chains and Monte Carlo Methods참고 문헌 8인용 수 4

한 줄 요약

이 논문은 주어진 순열 불변 $zz$-상호작용 해밀토니안을 사용하여 임의의 쌍-상호작용 해밀토니안을 시뮬레이션하는 데 필요한 시간 복잡도에 대해 그래프 이론적 경계를 수립한다. 상호작용을 그래프로 모델링하고 스펙트럼 이론 및 주조화 이론을 적용하여 색인 수와 고유값 스펙트럼을 사용해 시뮬레이션 오버헤드의 날카운 상한과 하한을 유도하며, 이는 이분 그래프 상호작용 그래프의 경우 시간 진동이 3 미만의 오버헤드로 반전 가능하다는 것을 보여준다.

ABSTRACT

We use an n-spin system with permutation symmetric zz-interaction for simulating arbitrary pair-interaction Hamiltonians. The calculation of the required time overhead is mathematically equivalent to a separability problem of n-qubit density matrices. We derive lower and upper bounds in terms of chromatic index and the spectrum of the interaction graph. The complexity measure defined by such a computational model is related to gate complexity and a continuous complexity measure introduced in a former paper. We use majorization of graph spectra for classifying Hamiltonians with respect to their computational power.

연구 동기 및 목표

• 임의의 두 큐비트 게이트에 의존하지 않고 고정된 순열 불변 $zz$-쌍 상호작용 해밀토니안만을 기반으로 한 양자 시뮬레이션 계산 모델을 수립하기 위해.
• 지정된 $zz$-상호작용을 유일하게 사용하고 국소 제어만을 통해 임의의 쌍-상호작용 해밀토니안을 시뮬레이션하기 위한 최소 시간 오버헤드를 결정하기 위해.
• 해밀토니안의 상호작용 구조의 그래프 이론적 성질을 기반으로 해당 해밀토니안의 계산 능력을 특성화하기 위해.
• 스펙트럼 이론과 그래프 인접행렬의 주조화를 사용하여 시뮬레이션 오버헤드의 엄밀한 하한과 상한을 도출하기 위해.
• 특히 완전 그래프와 이분 그래프 상호작용 그래프에 대해 시간 진동의 복잡도를 조사하기 위해.

제안 방법

• 시간 진동을 제어하는 드리프트 해밀토니안 $H_d = \sum_{k<l} \sigma_z^k \sigma_z^l$ 과 국소 유니터리 $K = SU(2)^{\otimes n}$ 로부터의 순차적 적용을 통해 연속 시간 알고리즘으로 양자 계산을 모델링한다.
• 상호작용 구조를 비제로 $zz$-결합에 해당하는 간선을 가진 그래프 $G$로 표현하고, 상호작용 행렬 $J$ 를 $G$ 의 인접행렬로 정의한다.
• 지정된 국소 유니터리 변환을 통한 공轭류 $\mathrm{Ad}_K(H_d)$ 를 이용해 효과적 해밀토니안을 생성함으로써, 이 모델 내에서 보편적 시뮬레이션을 가능하게 한다.
• Ky Fan의 최대 원리와 Weyl의 부등식을 적용하여 변환된 $J$ 행렬의 합에 대한 고유값 제약 조건을 도출하고, 이로부터 시뮬레이션 가능성을 위한 주조화 조건을 유도한다.
• 특히 정규 또는 완전 그래프에 대해, 색인 수 $\chi'(G)$ 를 시뮬레이션 시간 오버헤드의 상한으로 사용한다.
• 시뮬레이션 오버헤드 $\mu$ 를 사용해 $\tilde{H}$ 를 시뮬레이션하기 위한 필요 조건으로 스펙트럼 주조화 $\mathrm{Spec}(\tilde{J}) \prec \mu \cdot \mathrm{Spec}(J)$ 를 사용한다.

실험 결과

연구 질문

• RQ1 고정된 $zz$-상호작용 해밀토니안과 국소 유니터리만을 사용하여 임의의 쌍-상호작용 해밀토니안을 시뮬레이션하기 위해 필요한 최소 시간 오버헤드는 무엇인가?
• RQ2 상호작용 그래프의 그래프 이론적 성질, 예를 들어 색인 수와 고유값 스펙트럼이 시뮬레이션 오버헤드에 어떻게 제약을 가하는가?
• RQ3 시간 반전(즉, $-H_d$ 를 시뮬레이션)은 3 미만의 오버헤드로 달성될 수 있는가, 그리고 어떤 조건에서 가능한가?
• RQ4 스펙트럼 주조화는 한 해밀토니안을 다른 해밀토니안으로 시뮬레이션하는 가능성과 효율성에 어떤 역할을 하는가?
• RQ5 특히 이분 또는 완전 그래프일 경우 상호작용 그래프의 구조가 시뮬레이션의 복잡도에 어떻게 영향을 미치는가?

주요 결과

• 시뮬레이션 오버헤드 $\mu$ 는 상호작용 행렬 $J$ 의 최대 고유값 $r$ 과 최소 고유값 $q$ 를 사용해 $\frac{r}{-q}$ 로 하한이 제한되며, 이는 완전 그래프에서 날카로운 경계임이 입증되었다.
• 완전 그래프 $K_n$ 에서 시간 진동을 반전시키기 위한 오버헤드 하한은 $n-1$ 이며, 이는 가중 색인 수 $\chi'(K_n)$ 로부터 유도된 상한과 일치한다.
• 만약 상호작용 그래프가 이분 그래프이면, 한 분할의 모든 큐비트를 Pauli $X$, $Y$, 또는 $Z$ 게이트로 공轭함으로써 시간 진동을 오버헤드 3 미만으로 반전시킬 수 있다.
• 오버헤드 $\mu$ 를 사용해 $\tilde{H}$ 를 시뮬레이션하기 위한 필요 조건은 Ky Fan의 원리와 고유값 주조화로부터 도출된 $\mathrm{Spec}(\tilde{J}) \prec \mu \cdot \mathrm{Spec}(J)$ 이다.
• 주어진 $zz$-상호작용을 사용할 경우 이 모델은 보편적 양자 계산 능력을 확보하며, 무한소 근처에서 표준 두 큐비트 게이트 모델의 능력과 동일하거나 이를 초월한다.
• 시간 오버헤드를 기반으로 한 복잡도 측정법은 게이트 복잡도 및 연속 복잡도 측정법과 동치이며, 양자 계산 복잡도의 통합 프레임워크를 제공한다.