Beyond Orbital Rotations: Correlation-Rank Limits and Clifford-Accessible Measurement, from Algebra and Global Optimization

기술 요약: 궤도 회전을 넘어: 상관 계수-계수 한계와 클리포드 접근 가능 측정

문제 정의
양자 화학 알고리즘에서 분자 관측량(에너지, 쌍극자 모멘트, 결합 등)을 추정하려면 반복적인 상태 준비와 측정이 필요합니다. 비용은 파울리 항(Pauli terms)이 공동으로 측정 가능한 설정(jointly measurable settings)으로 어떻게 그룹화되는지와, 이러한 설정을 측정 기저로 회전시키기 위해 필요한 비-클리포드 자원(특히 $T$-게이트)에 의해 결정됩니다. 지배적인 패러다임은 입자 수 보존 궤도 회전(페르미온 가우시안 유니터리)을 사용하는데, 이는 화학적으로 동기 부여되었으나 관측량 조각(observable fragments)에 제한된 안사츠(ansatz)를 부과합니다. 본 연구가 다루는 핵심 질문은, 측정을 궤도 회전으로 제한하는 것이 모든 효율적인 결함 허용(fault-tolerant) 전략을 포착할 수 있는지, 아니면 궤도 회전이 도달할 수 없는 더 효율적인 클리포드 접근 가능 측정 계층이 존재하는지 여부입니다.

방법론
본 논문은 엄격한 대수적 증명과 전역 최적화를 결합한 이중 접근 방식을 채택합니다:

1. 대수적 분석: 저자들은 파울리 연산자의 심플렉틱 표현(symplectic representation)과 클리포드 군(Clifford group)의 성질을 활용하여 구조적 경계를 설정합니다. 이들은 "X-계수"(심플렉틱 벡터 표현에서의 X-서포트 행렬의 계수)와 "상관 계수"(고정된 입자 수 섹터에서의 2체 상관 행렬의 계수)를 정의합니다.
2. 전역 최적화: 본 논문은 RANGE 전역 최적화 도구를 다음 두 가지 모드로 활용합니다:
   • 연속 모드(Continuous Mode): 물리적 회전 각도에 대해 탐색하여 특이값 분해(SVD)로부터 유도된 대수적 트레이드오프 곡선을 수치적으로 확증합니다.
   • 이산 모드(Discrete Mode): 폐쇄형 해(closed-form solution)가 존재하지 않는 고-X-계수 교환 부분 집합(high-X-rank commuting subsets)의 위치를 찾는 조합 최적화 문제를 해결합니다.
3. 인증된 비용 프레임워크(Certified Cost Framework): 구조적 발견을 샘플링 비용으로 변환하기 위해, 저자들은 동반 인증 프레로그램(companion certificate framework)을 적용합니다. 이는 "인증된 범함수"(2차 원뿔 계획법, SOCP)를 평가하여 서로 다른 측정 사전(dictionary)에 대한 최적의 샷 할당 및 총 비-클리포드 비용을 결정합니다.

주요 기여

1. 클리포드 동시 대각화 (정리 1): 본 논문은 모든 상호 교환하는 파울리 연산자 가족은 클리포드 회로에 의해 동시에 대각화될 수 있음을 증명합니다. 결과적으로, 임의의 교환하는 가족에 대한 기저 변경 회로는 정확히 0개의 $T$-게이트를 필요로 합니다.
2. X-계수 패리티 천장 (정리 2): 스핀 보존 조던-위그너(Jordan–Wigner) 해밀토니안에 대해, 저자들은 임의의 파울리 부분 집합에 대한 타이트한 X-계수 패리티 천장을 증명합니다: $r_X \le 2(N-1)$, 여기서 $N$은 공간 궤도의 수입니다. 이는 가우시안 접근 불가능성을 증명하는 것이 아니라, 사용 가능한 파울리 구조의 진단입니다.
3. 엄격한 상관 계수 분리 (정리 3 & 4): 고정된 $(1,1)$-입자 섹터(두 개의 공간 궤도당 하나의 스핀)에서, 저자들은 단일 입자 수 보존 궤도 회전 컨텍스트가 최대 1의 계수를 갖는 2체 상관 블록을 기여함을 증명합니다.
   • 결과: 벨-대각(Bell-diagonal) 또는 하이젠베르크 유형의 관측량은 상관 계수가 3입니다. 이는 최소 3개의 궤도 회전 컨텍스트를 필요로 하지만, 단 1개의 클리포드 컨텍스트만으로 측정이 가능합니다.
   • 의의: 이는 고정된 페르미온 섹터에서 입자 수 보존 궤도 회전 측정과 클리포드 접근 가능 교환 측정 사이의 첫 번째 정확한 컨텍스트 복잡도 장애물을 보여주는 것입니다.
4. 정확한 근사 트레이드오프 (정리 5): 본 논문은 $K$개의 궤도 회전 컨텍스트를 가진 관측량을 표현하는 정확한 근사 오차 곡선을 유도합니다. 잔여 오차는 상관 행수의 특이값 꼬리(Eckart–Young 정리)와 정확히 일치하며, 이는 continuous RANGE 탐색에 의해 독립적으로 확증되었습니다.
5. 제어된-파울리 삽입(Controlled-Pauli Insertions): 오프-대각 행렬 요소에 대한 하다마르 테스트(Hadamard tests)에 사용되는 제어된-파울리 삽입 역시 클리포드 연산임을 입증하였으며, 이는 측정 특유의 $T$-게이트 비용을 추가하지 않습니다.

결과

• 구조적 증거: 전역 탐색을 통해 작은 분자(최대 18 큐비트) 및 생산 규모의 $f$-원소 해밀토니안(최대 36 큐비트)에 걸쳐 고-X-계수 교환 가족을 식별했습니다.
  • $CH_4$ (STO-3G)의 경우, 이론적 천장을 충족하는($r_X = 16 = 2(9-1)$) 교환 부분 집합을 찾았습니다.
  • 생산용 연산자($CeO, NdO, UO_2^+, UO_2^{2+}$)의 경우, 발견된 최적의 가족들이 천장에 거의 근접했으며, $NdO$는 정확한 포화를 달성했습니다 ($r_X = 30$).
  • 경험적인 "섹터 분해 법칙(sector-decomposition law)"이 관찰되었습니다: 최적의 가족은 두 스핀 섹터 투영($r_X^\alpha = r_X^\beta = N-1$)을 모두 포화하며, 결핍은 오직 교차 섹터 의존성에서만 발생합니다.
• 비용 절감: 네 개의 생산 규모 $f$-원소 해밀토니안(29–35 큐비트)과 보정 인스턴스($CH_4$)에 인증된 비용 프레임워크를 적용한 결과, 측정 사전에 완전 교환(Fully Commuting, FC) 설정을 포함함으로써 표준 곱(QWC) 설정 대비 인증된 주요 샷 비용을 31%에서 70%까지 줄일 수 있음을 확인했습니다.
• 알고리즘 성능: 본 연구는 표준 그리디 클리크 커버(greedy clique-cover) 휴리스틱이 종종 성능이 떨어진다는 점을 강조했습니다. 고급 그래프 채색 알고리즘(DSATUR, TabuCol)은 측정 회로 수를 유의미하게 줄였으며(예: $NH_3$의 그룹 수를 절반 이상 감소), 이는 병목 현상이 개념적 문제가 아닌 알고리즘 문제임을 확인시켜 줍니다.

의의 및 주장

본 논문은 궤도 회전 컨텍스트와 클리포드 컨텍스트의 능력 사이에 "엄격한 분리"가 존재한다고 주장합니다. 궤도 회전은 화학적으로 자연스럽지만, 단일 클리포드 컨텍스트로 측정할 수 있는 특정 상관된 관측량(예: 하이젠베르크 교환)을 측정하기에는 증명 가능한 한계가 있습니다.

저자들은 다음과 같은 미묘한 결론을 강조합니다:

• 측정은 "공짜"가 아니다: 교환하는 가족의 기저 변경 회로는 클리포드이지만, 샘플링, 라우팅, 노이즈 및 상태 준비의 비용은 여전히 존재합니다.
• 하이브리드 이점: 궤도 회전과 클리포드 컨텍스트 클래스는 단일 컨텍스트 수준에서는 서로 비교 불가능합니다(어느 쪽도 다른 쪽을 포함하지 않음). 그러나 이들의 합집합은 단독으로 사용될 때보다 성능을 개선하거나 최소한 동일하게 유지하는 것이 보장됩니다.
• 인증된 절감: 보고된 31–70%의 샷 예산 절감은 사전(dictionary)을 Product (QWC)에서 Product + Fully Commuting (QWC+FC)으로 확장함에 따른 인증된 결과입니다. 이는 전체 생산 규모의 가우시안 사전을 클리포드 사전과 가격 비교하겠다는 것이 아니라, 가능한 곳에서 클리포드 접근 가능한 구조를 포함하는 것의 가치를 입증하는 것입니다.

본 연구는 대수적 장애물(상관 계수)과 전역 최적화(고-계수 교환 집합 탐색)가 전통적인 궤도 회전의 한계를 초월하는 측정 구조를 식별하기 위한 상호 보완적인 도구임을 확립합니다.