분할 트리를 이용한 그래프 상태 효율적 준비

초록

본 논문은 로컬 컴플리멘트(LC) 등가성을 활용해 그래프 상태의 준비 비용을 최소화하는 새로운 방법을 제시한다. 강분할 트리와 그 확장인 QASST(Quotient‑Augmented Strong Split Tree)를 이용해 거리‑유전(DH) 그래프들의 LC 궤도를 구조적으로 분석하고, 선형 규모의 CZ 게이트와 회로 깊이로 그래프 상태를 생성하는 split‑fuse 프로토콜을 설계한다. 또한 일반 그래프에 대한 확장 전략과 삼각형 열거 기반의 탐욕적 휴리스틱을 제안한다.

상세 분석

이 연구는 그래프 상태 준비의 두 핵심 비용인 얽힘 게이트(CZ) 수와 회로 깊이를 최소화하기 위해 LC 등가 클래스 내에서 최적 대표 그래프를 찾는 문제에 구조적 접근을 시도한다. 기존 방법은 LC 궤도를 전부 열거하는 전면 탐색에 의존했으며, 이는 정점 수가 늘어날수록 급격히 복잡도가 증가해 실용적이지 않았다. 저자들은 이러한 한계를 극복하기 위해 그래프 이론의 ‘분할(split) 분해’와 그 강화 형태인 QASST를 도입한다. QASST는 그래프를 강분할 트리와 각 트리 정점에 대응하는 ‘quotient graph’들로 압축 표현한다. 중요한 점은 강분할은 LC 변환에 불변(invariant)하므로, 같은 QASST를 공유하는 모든 그래프는 동일한 LC 궤도에 속한다는 사실이다. 따라서 전체 궤도를 탐색할 필요 없이, 각 quotient graph의 LC 등가성을 분석하면 전체 그래프의 최적 대표를 찾을 수 있다.

특히 거리‑유전(DH) 그래프는 모든 강분할이 별(star) 혹은 완전(complete) 형태의 quotient graph만을 생성한다는 특성을 갖는다. 이는 QASST가 매우 단순해짐을 의미하며, 저자들은 K_{n,m} (완전 이분 그래프), K_{n1,…,nk} (완전 다분 그래프), clique‑star, repeater와 같은 DH 그래프군에 대해 LC 궤도를 완전 분석한다. 이 과정에서 CZ 게이트 수를 최소화하거나 최대 정점 차수를 최소화(즉, 회로 깊이 하한)하는 대표 그래프를 명시적으로 도출한다. 예를 들어, K_{n,m}의 경우 별 형태의 LC 대표가 CZ 수를 O(n+m)으로 줄이며, 동시에 최대 차수는 min(n,m) 이하가 된다.

DH 그래프에 대한 일반적인 준비 방법으로 제시된 ‘split‑fuse’ 프로토콜은 QASST를 따라 quotient graph들을 차례로 초기화하고, 인접한 split‑node 사이에 Type‑II fusion 연산을 적용해 전체 그래프 상태를 조합한다. 각 quotient graph는 별 형태로 초기화할 수 있기 때문에, 전체 준비 과정은 CZ 게이트 수, 시간 단계, 보조 큐비트 모두에 대해 선형(O(N)) 규모를 달성한다. 이는 기존 직접 구현이 O(N^2) 혹은 그 이상으로 확장되는 경우에 비해 현저히 효율적이다.

DH 외의 일반 그래프에 대해서는 prime quotient graph가 등장해 별·완전 형태만으로는 완전한 분석이 불가능하다. 저자들은 이를 두 단계 전략으로 처리한다. 첫째, 별·완전 quotient는 기존 최적화 기법을 그대로 적용하고, 둘째, prime quotient에 대해서는 (i) 직접 CZ 기반 구현 혹은 (ii) 삼각형 열거 기반의 탐욕적 LC 변환을 이용해 에지 수를 감소시키는 휴리스틱을 적용한다. 삼각형 열거는 그래프의 클러스터링 구조를 활용해 로컬 컴플리멘트를 선택함으로써 에지 수를 급격히 줄이는 데 효과적이며, 전역 최적화는 아니지만 실용적인 규모에서는 충분히 좋은 결과를 제공한다.

실험적 평가에서는 무작위로 생성한 대규모 그래프(수천 정점)와 실제 통신 네트워크 토폴로지를 대상으로 직접 구현과 제안된 방법을 비교하였다. 결과는 CZ 게이트 수와 회로 깊이 모두에서 30%~70% 정도의 절감 효과를 보였으며, 특히 DH 그래프에서는 이론적으로 증명된 최적성에 근접한 성능을 확인했다. 또한, QASST 기반 분석이 LC 궤도 크기 추정에도 활용될 수 있음을 시사한다. 전체적으로 이 논문은 그래프 상태 준비 문제를 그래프 이론의 구조적 도구와 양자 회로 설계 기법을 결합해 스케일러블하게 해결한 중요한 기여라 할 수 있다.