근사 유니터리 k 디자인의 얕은 회로 구현

초록

본 논문은 통신량이 시스템 규모와 무관하게 O(1)인 얕은 양자 회로를 이용해 상대오차(상대적) 근사 유니터리 k‑디자인을 구성한다. 교차 트윌링과 스왑‑트윌링 프로토콜을 번갈아 적용하고, 교대 투영법과 von Neumann 서브알제브라 지수를 활용해 2‑노름 수렴을 상대오차로 변환한다. 최종적으로 로그 규모 깊이 O((log m+log 1/ε+k log k)·k·polylog k) 로 m‑큐빗 시스템에 상대오차 k‑디자인을 얻으며, 생성된 얽힘은 면적법칙을 따른다.

상세 분석

이 연구는 양자 회로 설계에서 두 가지 핵심 질문에 답한다. 첫째, 근사 유니터리 k‑디자인을 만들기 위해 필요한 양자 통신량은 실제 시스템 차원에 비례하지 않을 수 있는가? 둘째, 이러한 디자인을 얕은(서브선형) 깊이의 회로로 구현할 수 있는가? 저자들은 “트윌‑스왑‑트윌”과 “트윌‑크로스‑트윌”이라는 두 기본 프로토콜을 제시한다. 트윌‑스왑‑트윌은 두 부분 시스템 A, B에 각각 k‑디자인 유니터리를 적용한 뒤, 일정 수 ℓ의 큐빗을 교환하고 다시 동일한 로컬 k‑디자인을 적용한다. ℓ=O(k log k+log 1/ε)이면 전체 연산이 상대오차 ε‑근사 k‑디자인이 된다. 여기서 ℓ는 시스템 크기와 무관하게 상수 수준이다. 트윌‑크로스‑트윔은 다중 파티션 A₁,…,A_P에 로컬 k‑디자인을 적용하고, 각 파티션에서 ℓ개의 큐빗을 모아 공동 k‑디자인을 수행한다. 이때 ℓ는 k와 P에 대한 로그 항으로만 성장한다. 두 프로토콜 모두 교대 투영법(Alternating Projection)과 Schur‑Weyl 이중성을 이용해 2→2 노름(즉, 텐서 프로덕트 확장자, TPE) 수준의 수렴을 보인다. 중요한 기술적 전진은 2‑노름 수렴을 von Neumann 서브알제브라 지수(index)를 사용해 상대오차(complete positivity 순서)로 변환하는 과정이다. 일반적으로는 차원 의존적인 상수가 발생하지만, 서브알제브라의 유효 차원을 이용하면 이러한 상수를 없앨 수 있다.

이러한 기본 블록을 바탕으로 저자들은 “두 단계 크로스‑트윌” 프로토콜을 설계한다. 먼저 격자형 연결성을 갖는 m‑큐빗 시스템을 여러 레이어로 나누어, 각 레이어에서 겹치는 로컬 트윌을 수행한다. 각 레이어는 앞서 정의한 트윌‑크로스‑트윌을 적용해 점진적으로 전체 시스템에 대한 k‑디자인을 구축한다. 깊이 분석 결과, 전체 회로 깊이는 O(k·(k log k+log m+log 1/ε)·polylog k) 로, 시스템 크기 m에 대해 로그 수준만큼 증가한다. 또한, 임의의 연속된 영역 S에 대해 필요한 양자 통신량은 경계 면적 #(∂S)·ℓ에 비례하고, 생성된 얽힘 역시 면적법칙을 따르며 로그 보정만 존재한다.

이 논문의 결과는 Harrow‑Mehraban 2023이 제시한 두 개의 열린 질문에 직접적인 해답을 제공한다. 첫 번째 질문(서브선형 깊이 설계 가능 여부)와 일곱 번째 질문(격자 직경보다 얕은 회로로 디자인 가능 여부)에 모두 긍정적인 답을 제시한다. 또한, 2‑디자인이 로그 깊이 회로로 형성될 수 있음을 보임으로써, 근거리 양자 디코플링, 양자 오류 정정, 그리고 양자 통신 프로토콜 등에 실용적인 영향을 미친다. 마지막으로, 설계 과정에서 발생하는 얽힘이 상대적으로 적어, 현재의 노이즈가 큰 NISQ 디바이스에서도 구현 가능성을 높인다.