Reducing the Entanglement Cost of Distributed Bipartite Quantum Computation with Constant Qubit Overhead

기술 요약: 상수 큐비트 오버헤드를 통한 분산 이분형 양자 계산의 얽힘 비용 감소

문제 정의
분산 양자 계산(DQC)은 단일 장치의 용량을 초과하는 대규모 작업을 실행하기 위해 양자 통신을 통해 여러 양자 처리 장치(QPU)를 연결한다. DQC의 핵심 과제는 두 가지 상충하는 자원 제약 사이의 균형을 맞추는 것이다: 얽힘 비용(소비되는 공유 벨 쌍의 수)과 큐비트 오버 overhead(입력 상태 외에 필요한 보조 큐비트의 수).

기존 문헌은 이분형 유니터리(bipartite unitaries)의 정확한 결정론적 구현을 위해, 큐비트 오버헤드가 제한되지 않을 때 연산자 슈미트 랭크(operator Schmidt rank, $\text{OpSch}(U)$)가 얽힘 비용의 근본적인 하한선을 제공한다는 점을 확립했다. 구체적으로, 벨 쌍의 개수 $k$는 $k \ge \lceil \log_2 \text{OpSch}(U) \rceil$를 만족해야 한다. 이러한 방식은 게이트 텔레포테이션을 사용하는 클리포드(Clifford) 유니터리에 대해 달성 가능한 것으로 알려져 있으나, 일반적으로 유니터리의 초이 상태(Choi state)를 저장해야 하므로 시스템 크기에 비례하는 큐비트 오버헤드(예: $2n_A, 2n_B$)를 요구한다.

본 연구에서 다루는 핵심 문제는 큐비트 오버헤드를 상수(시스템 크기와 무관한)로 제한하면서도, 이 최적의 얽힘 하한선에 접근하거나 이를 달성할 수 있는지 여부이다. 기존 연구들은 큐비트 제약 조건 하에서 통신을 줄이기 위해 게이트 배치나 그룹화를 최적화했으나, 이러한 엄격한 상수 오버헤드 조건 하에서 얽s의 이론적 하한선이 도달 가능한지는 규명하지 못했다.

방법론
저자들은 비로컬 게이트가 공유된 벨 쌍에 의해 보조되는 국소 연산 및 고전적 통신(LOCC)을 통해 구현되는 얽힘 보조 모델 내에서 문제를 분석한다. 이 프로토콜은 중간 측정, 큐비트 리셋 및 보조 큐비트 재사용을 허용한다.

1. 클리포드 유니터리:
   저자들은 이분형 클리포드 유니터리 $U_c$를 "기초 블록(elementary blocks)"의 시퀀스로 분해하는 분해 보조정리(Lemma 2)를 도입한다. 기초 블록은 세 가지 핵심 연산 중 하나인 항등 연산($I_A \otimes I_B$), 비로컬 제어-Z($CZ_{AB}$), 또는 비로컬 SWAP($SWAP_{AB}$)을 둘러싼 로컬 클리포드 변환으로 정의된다.

• 저자들은 임의의 클리포드 유니터리에 대해, 블록들의 연산자 슈미트 랭크의 로그 합이 전체 유니터리의 연산자 슈미트 랭크의 로그와 같아지는 분해 $U_c = e^{i\theta} G_1 G_2 \dots G_N$가 존재함을 증명한다: $\sum \log_2 \text{OpSch}(G_j) = \log_2 \text{OpSch}(U_c)$.
• 또한 각 기초 블록을 각각 0, 1, 또는 2개의 벨 쌍(최소 얽힘)과 최대 (1, 2)의 상수 큐비트 오버헤드로 구현할 수 있음을 입증한다.
• 이 블록들을 순차적으로 구현하면서 단계 사이에 보조 큐비트를 리셋하고 재사용함으로써, 총 오버헤드는 상수로 유지된다.

2. 비-클리포드 유니터리 (Clifford+T):
   T-count가 $t$인 정확한 Clifford+T 분해로 명시된 유니터리에 대해, 저자들은 비-클리포드 성분을 격리하기 위해 클리포드 인자들을 교환(commute)하여 구현을 구성한다.

• 저자들은 비-클리포드 성분들이 단일 큐비트에 의해 제어되는 일련의 유니터리(또는 로컬 연산)로 변환될 수 있으며, 이는 각각 최대 하나의 벨 쌍과 상수 오버헤드로 구현 가능함을 보여준다.
• 총 얽힘 비용은 기저 클리포드 구조의 하한선에 T-count에 의존하는 초과 항을 더한 값으로 제한된다.

주요 기여 및 결과

• 클리포드 유니터리에 대한 하한선 달성 가능성:
  본 논문은 **정리 3(Theorem 3)**을 통해 모든 이분형 클리포드 유니터리는 정확히 $\lceil \log_2 \text{OpSch}(U_c) \rceil$개의 벨 쌍을 소비하면서(이론적 최소치), 각 당사자당 최대 2개의 보조 큐비트(큐비트 오버헤드 (2, 2))를 사용하는 정확한 결정론적 LOCC 구현이 가능함을 증명한다. 이 결과는 큐비트 오버헤드를 상수로 제한하는 것이 클리포드 연산의 최소 얽힘 비용을 높이지 않는다는 것을 확인시켜 준다.

• 비-클리포드 유니터리에 대한 상한선:
  본 논문은 T-count가 $t$인 Clifford+T 분해로 정의된 이분형 유니터리 $U$에 대해, 다음을 만족하는 $K$개의 벨 쌍을 소비하는 (2, 2) 큐비트 오버헤드의 구현이 존재한다는 **정리 4(Theorem 4)**를 제시한다:
  $$K \le \lfloor \log_2 \text{OpSch}(U) \rfloor + 2t$$
  이 상한선은 초과 얽힘 비용이 T-count에 선형적으로 비례하며, 회로 깊이나 총 게이트 수와는 독립적임을 나타낸다.

• 기존 방법과의 비교:
  저자들은 특정 4-큐비트 예시(그림 5)를 통해 자신들의 분해 방법이 3 ebits의 얽힘 비용을 달성함을 보여준다. 이는 동일한 고정 큐비트 할당 조건 하에서 하이퍼그래프 방법(Andrés-Martínez와 Heunen)이 요구한 5 ebits, 그리고 패킹 방법(Wu 등)이 요구한 4 ebits보다 엄격히 낮은 수치이다.

의의 및 주장
저자들은 본 연구가 연산자 슈미트 랭크 하한선이 상수 큐비트 오버헤드 하에서 달성 가능한지에 대한 미결 문제를 해결했다고 주장한다.

• 클리포드 유니터리의 경우, 답은 긍정적이다: 최적의 얽힘 비용은 단 2개의 보조 큐비트라는 상수 오버헤드로 달성 가능하다.
• 비-클리포드 유니터리의 경우, 본 연구는 "초과" 얽힘 비용에 대한 구체적인 상한선을 제공하며, 이 비용이 분해의 T-count에 의해서만 제한됨을 보여준다.

본 논문은 비-클리포드 유니터리에 대해 도출된 상한선이 반드시 타이트(tight)하지는 않으며, 큐비트 공간 제약 하에서의 정확한 최소 얽힘 비용은 여전히 미해결 문제임을 겸허히 인정한다. 그러나 본 결과는 상수 큐비트 오버헤드가 광범위한 양자 연산에 대해 얽힘 효율의 근본적 한계에 접근하는 데 충분하다는 것을 입증하며, 이는 더욱 자원 효율적인 분산 양자 컴퓨팅 아키텍처를 촉진할 것이다.