기술 요약: 주변 유니터리(Ambient Unitaries)는 얕은 그룹 디자인을 가능하게 하지 않는다

문제 정의

양자 정보 이론에서 중심적인 목표는 다양한 부분군(subgroups)에 대한 근사적 유니터리 디자인을 구축하는 효율성을 규명하는 것이다. 전체 유니터리 군 $U(H)$에 대한 근사적 디자인은 로그 깊이($O(\log k \log \log nk/\varepsilon)$) 내에 실현될 수 있음이 확립되어 있는 반면, 최근 연구들은 특정 부분군에 대해 극명한 대조를 보여주었다. 구체적으로, 매치게이트(matchgate), 직교(orthogonal), 심플렉틱(symplectic) 군에 대한 국소 인접 이웃 회로(local nearest-neighbour circuits)의 아선형 깊이 앙상블은 모집합(parent groups)에 대한 근사 2-디자인을 형성할 수 없으며, 아선형 깊이의 클리포드(Clifford) 앙상블은 클리포드 4-디자인을 형성할 수 없음이 밝혀졌다.

그러나 이러한 이전 결과들에는 중요한 허점이 남아 있었다. 즉, 디자인이 해당 부분군 내부에서만 엄격하게 샘플링된다고 가정했다는 점이다. 랜덤화된 벤치마킹(randomized benchmarking)과 같은 실제 시나리오에서는, 부분군의 디자인 특성을 시뮬레이션하기 위해 "주변" 유니터리(시스템과 잠재적 안실라 큐비트에 작용하거나, 해당 부분군 외부에 존재하는 유니터리)를 사용할 수 있다. 주변 유니터리를 허용함으로써 이러한 특정 군들을 위한 얕은(아선형 깊이) 디자인 구축이 가능해질 것인가라는 질문이 열린 과제로 남았다.

방법론

저자들은 앙상블 $E$가 대상 그룹 $G$ 외부의 유니터리를 포함할 수 있는 경우로 "라이트콘(lightcone)" 논증(특히 문헌 [4]와 [5]에서 사용된 방식)을 일반화하여 이 문제를 다룬다.

1. 불변 프로브(Invariant Probes): 핵심 방법론은 그룹 작용 하에서 불변인 특정 상태 또는 연산자의 존재에 의존한다. 그룹 $G$에 대하여, 만약 텐서 곱 공간 $H^{\otimes k}$에 존재하는 상태 $|\Psi\rangle$(또는 투영 연산자 $Q$)가 모든 $U \in G$에 대해 $U^{\otimes k} |\Psi\rangle = |\Psi\rangle$를 만족한다면, 이 상태는 "프로브" 역할을 한다.
2. 얕은 회로의 이분법: 저자들은 임의의 얕은 회로 $U$(아선형 깊이)에 대해 두 가지 가능성이 있다고 주장한다.
   • 경우 A: 회로 $U$가 불변 상태 $|\Psi\rangle$를 근사적으로 안정화하는 데 실패하는 경우. 이 경우, 하르 측도(Haar measure)가 $|\Psi\rangle$를 보존하므로, 앙상상블은 하르 측도와 쉽게 구별된다.
   • 경우 B: 회로 $U$가 $|\Psi\rangle$를 근사적으로 안정화하는 경우. 저자들은 만약 얕은 회로가 해당 상태를 안정화한다면, 그 "라이트콘"(시스템에 영향을 미칠 수 있는 영역)이 제한적임을 보여준다. 결과적으로, 시스템에 가해진 국소 섭동 $V$는 전체 시스템으로 전파될 수 없다.
3. 정리 1 (일반 하한선): 논문은 임의의 앙상블 $\nu$와 하르 측도 $\mu_G$ 사이의 다이아몬드 거리(diamond distance)를 정량화하는 일반화된 정리(정리 1)를 도입한다. 이는 $\nu$가 얕은 유니터리로 구성되어 있더라도, 불변 부분 공간으로부터 구성된 특정 POVM의 "수용 확률(acceptance probability)"과 관련된 항에 의해 거리가 하한값으로 제한됨을 확립한다.
   • 결정적으로, 이 정리는 유니터리가 안실라에 작용하거나 더 큰 그룹에 속하더라도, 그것들이 얕은 국소 회로에 의해 구현된다면 이 정리가 성립함을 보여준다.
4. 특정 군에 대한 적용: 저자들은 이 프레임워크를 다음의 경우에 적용한다:
   • 매치게이트, 직교 및 심플렉틱 군: $k=2$와 최대 얽힘 불변 상태 $|\Psi\rangle$를 사용한다. 파울리 프로브(Pauli probes)에 대해 평균화된 시간-순서 외 상관 함수(Out-of-Time-Order Correlators, OTOCs)를 사용하여 거리를 제한한다.
   • 클리포드 군: $k=4$와 4차 교환자 투영 연산자 $Q = \frac{1}{d^2}\sum_{P \in P_n} P^{\otimes 4}$를 사용한다.

주요 기여 및 결과

1. "주변(Ambient)" 허점의 폐쇄

주요 기여는 국소 인접 이웃 아선형 깊이의 유니터리 앙상블은, 주변 유니터리(안실라에 작용하는 것을 포함)를 사용하는 경우에도 매치게이트, 직교, 심플렉틱 또는 클리포드 그룹에 대한 근사 디자인을 실현할 수 없음을 증명한 것이다. 이는 전체 유니터리 디자인과 부분군 디자인 사이의 깊이 요구 사항에 대한 지수적 격차가 앙상블을 해당 부분군 자체로 제한하는 것에 의한 인위적인 결과가 아니라, 견고한 현상임을 확인해 준다.

2. 정량적 하한선

논문은 얕은 앙상블과 대상 하르 측도 사이의 다이아몬드 거리에 대한 명시적인 하한선을 도출한다:

• 매치게이트 군 (2-디자인): $n$ 큐비트와 깊이 $L \leq n/2 - 1$에 대해, 거리는 $\approx 3/4$보다 크다는 하한을 갖는다. 이는 임의의 $\varepsilon$-근사 매치게이트 2-디자인이 적어도 $n/2$의 깊이를 필요로 함을 의미한다.
• 직교 및 심플렉틱 군 (2-디자인): 깊이 $L \leq n-2$에 대해, 거리는 $\approx 3/4$보다 크다는 하한을 갖는다. 따라서 근사 디자인은 적어도 $n-1$의 깊이가 필요하다.
• 클리포드 군 (4-디자인): 깊이 $L \leq n-1$에 대해, 거리는 $1 - \frac{4^{L+1}-1}{4^n-1}$보다 크다. 구체적으로 $L \leq n-2$일 때, 거리는 적어도 $3/4$이다.

3. 선형 깊이 구축의 최적성

저자들은 알려진 디자인 구축법이 상수 배 차이 내에서 최적임을 언급한다. 예를 들어, 임의의 클리포드 게이트는 선형 깊이 내에서 합성될 수 있으며 [28], 이는 클리포드 사례에서 도출된 하한의 타이트함(tightness)을 입증한다. 매치게이트 군의 경우, 하르-무작위 매치게이트는 깊이 $3n$ 내에서 합성될 수 있으며 [24], 이는 근사 2-디자인이 불가능한 깊이와 하르 측도를 정확히 샘플링할 수 있는 깊이 사이의 상수 배 차이를 제공한다. 도출된 하한($\Omega(n)$)은 이러한 알려진 상한의 스케일링과 일치한다.

의의 및 시사점

본 논문은 이러한 결과가 특정 그룹에 의존하는 양자 프로토콜의 실용성에 중요한 함의를 갖는다고 주장한다:

• 토모그래피 및 벤치마킹: 클래식 섀도우(classical shadows)와 같은 양자 특성화 및 학습에 사용되는 많은 프로토콜은 이러한 특정 그룹으로부터 샘플링하는 것에 의존한다. 이 결과는 이러한 프로토콜이 전체 유니터리 그룹을 사용하는 유사한 프로토콜(로그 깊이 가능)에 비해 엄청난 회로 깊이 오버헤드(시스템 크기에 비례하는 선형 깊이)를 겪게 됨을 시사한다.
• 역설적인 복잡성: 이 발견은 양자 복잡성의 역설적인 측면을 강조한다. 즉, 부분군의 하르 측도는 전체 유니터리 군보다 "단순한" 객체(더 적은 파라미터)임에도 불구하고, 이를 얕은 회로로 근사하는 것은 전체 유니터리 군을 근사하는 것보다 지수적으로 더 어렵다는 것이다. 이는 부분군의 "단순함"이 국소성(locality)의 제약에 의해 가려지기 때문이다. 즉, 부분군을 정의하는 불변 구조들은 얕은 국소 섭동에 매우 취약하다.
• 표현 제약: 이 결과는 그룹의 동등한 표현 간의 매핑에 필요한 유니터리 변환의 깊이에 대한 제약을 부과한다. 만약 어떤 디자인을 한 표현에서 샘플링하기 어렵다면, 인터티너(intertwiner)의 깊이를 제외하고는 다른 어떤 표현에서도 여전히 어렵다.

요약하자면, 본 논문은 특정 부분군에 대한 얕은 디자인 구축의 어려움이 이전에 고려되었던 특정 앙상블 구성 방법의 한계가 아니라, 그룹의 불변 구조와 국소적 회로 사이의 상호작용에서 기인하는 본질적인 특성임을 입증한다.