Quantum memory advantage for quantum process tomography

기술 요약: 양자 프로세스 토모그래피를 위한 양자 메모리 이점

문제 정의
양자 프로세스 토모그래피(QPT)는 쿼리 접근을 통해 미지의 양자 채널 $\Phi: \mathcal{L}(A) \to \mathcal{L}(B)$를 학습하여, 다이아몬드 노름(diamond norm) 상에서 실제 채널에 근접한 고전적 기술을 출력하는 작업이다. 다이아몬드 노름은 두 프로세스의 최악의 경우 구별 가능성을 포착하며, 사용자가 임의의 입력 상태, 참조 시스템 및 측정을 선택할 수 있도록 한다.

본 연구에서 다루는 핵심적인 미해결 문제는, **비코히런트 프로토콜(incoherent protocols)**이 완전히 **적응형(adaptive)**일지라도, **양자 메모리(quantum memory)**가 **코히런트 프로토콜(coherent protocols)**에 비해 쿼리 복잡도 측면에서 이점을 제공하는가 하는 점이다.

• 코히런트 프로토콜은 여러 채널 사용에 걸쳐 양자 시스템을 보존하고, 보유된 시스템들에 대해 결합 측정(joint measurements)을 수행할 수 있다.
• 비코히런트 프로토콜은 각 채널 사용 직후에 즉시 측정해야 하며, 오직 고전적 기록(transcript)만을 저장한다. 그러나 이들은 이전의 모든 고전적 결과에 기반하여 미래의 입력, 측정 및 보조 시스템(ancilla systems)을 조정할 수 있으며, 무제한의 고전적 계산 능력을 갖는다.

상태(state) 토모그래피의 경우 코히런트 집단 측정이 $\Theta(d^2)$의 샘플 복잡도를 달성하는 반면 비코히런트 적응형 측정은 $\Theta(d^3)$를 요구한다는 사실은 알려져 있으나, 일반적인 프로세스 토모그래피(입력 차원 $d_{in}$ 및 출력 차원 $d_{out}$)에 대한 유사한 격차는 해결되지 않은 상태였다. 기존 연구는 코히런트 프로토콜이 $\Theta(d_{in}^2 d_{out}^2 / \varepsilon^2)$를 달성함을 입증했으나, 최선의 알려진 비코히런트 상한은 (로그 인자를 포함하여) $\tilde{O}(d_{in}^3 d_{out}^3 / \varepsilon^2)$였으며, 하한은 비적응형 비코히런트 전략에 대해서만 증명되어 있었다.

방법론
저자들은 적응형 비코히런트 프로토콜에 대한 엄밀한 하한과 비적응형 프로토콜에 대한 일치하는 상한을 확립한다.

1. 하한 구축 (적응형 비코코런트 프로토콜):

   • 테스터 형식론 (Tester Formalism): 저자들은 적응형 비코히런트 프로토콜의 임의의 단일 라운드를 채널의 정규화된 초이 연산자(Choi operator) $J_\Phi$에 작용하는 "단일 라운드 테스터"로 표현한다. 결과의 전체 기록에 따라 조건을 부여함으로써, 적응형 선택은 결정론적인 테스터 요소들의 시퀀스가 된다.
   • 어려운 채널 패밀리 (Hard Channel Family): 저자들은 완전 탈분극 채널(completely depolarizing channel)을 중심으로 하는 로컬 채널 패밀리를 구성한다. 이 채널들은 특정 부분 공간 분해 내의 오프-다이아고날 블록 $E(X)$를 사용하여 정규화된 초이 연산자를 섭동(perturbation)함으로써 생성된다. 이 구성은 섭동이 트레이스 보존(trace-preserving) 제약을 유지하면서도 고차원의 국소적으로 분리된 채널들을 생성하도록 보장한다.
   • 사전 분포 및 기하학: 섭동 행렬 $X$에 대해 절단된 복소 진브르 사전 분포(truncated complex Ginibre prior)가 배치된다. 저자들은 파라미터 공간 내 섀트겐 트레이스 볼(Schatten trace ball)의 국소 기하학을 분석하여, 정규화된 이웃의 부피가 작은 트레이스 볼보다 지수적으로 더 크다는 것을 보여준다.
   • 우도 기울기 및 반집중 (Likelihood Tilt and Anti-Concentration): 핵심적인 기술적 기여는 "트랜스크립트별 적응형 테스터 기울기 정리(transcript-wise adaptive tester tilt lemma)"이다. 이 정리는 고정된 트랜스크립트에 대한 국소 이웃 내의 평균 우도 비율을 제한한다. 증명 과정은 우도 손실이 $\exp(O(\eta^2 T / D))$ (여기서 $D = d_{in}d_{out}$)로 스케일링됨을 보여준다. 이를 파라미터 공간의 지수적 부피 성장($\exp(\Theta(D^2))$)과 균형을 맞춤으로써, 추정기가 충분한 쿼리 $T$ 없이 높은 정확도를 주장한다면 모순이 발생함을 증명한다. 이는 추정기가 작은 트레이스 볼 내에 집중할 수 없음을 의미하며, 결과적으로 적은 쿼리로 높은 정확도를 달성할 수 없음을 보여준다.

2. 상한 구축 (비적응형 비코히런트 프로토콜):

   • 저자들은 공변 투영 최소제곱 추정(covariant projected least-squares estimation)에 기반한 비적응형, 보조 시스템 없는 프로토콜을 제시한다.
   • 로그 인자를 유발하는 직접적인 행렬 집중 경계(matrix concentration bounds)를 사용하는 기존 분석과 달리, 본 연구는 정교한 집중 분석을 사용한다. 각 고정된 이차 형식(quadratic form)을 스칼라 번스타인 집중(scalar Bernstein concentration)을 통해 제어한 후, 단위 구(unit sphere)에 대한 상수 반경 넷(net) 논법을 적용한다.
   • 이 접근 방식은 로그 인자를 제거하여, 타이트한 $O(d_{in}^3 d_{out}^3 / \varepsilon^2)$ 쿼리 복잡도를 달성한다.

주요 결과
본 논문은 코히런트 및 비코히런트 설정 모두에서 양자 프로세스 토모그래피의 최적 쿼리 복잡성을 확립한다:

• 비코히런트 하한: 임의의 적응형 비코히런트 프로토콜(임의의 새로운 보조 시스템 및 결과 의존적 측정을 포함하더라도)은 다이아몬드 노름에서 $\varepsilon$-정확도를 달성하기 위해 $\Omega(d_{in}^3 d_{out}^3 / \varepsilon^2)$의 쿼리가 필요하다.
• 비코히런트 상한: $O(d_{in}^3 d_{out}^3 / \varepsilon^2)$ 쿼리를 달성하는 비적응형, 보조 시스템 없는 비코히런트 프로토콜이 존재한다.
• 코히런트 상한: 양자 메모리를 사용하는 코히런트 프로토콜은 $\Theta(d_{in}^2 d_{out}^2 / \varepsilon^2)$ 쿼리를 달성한다.

결과적으로, 비코히런트 프로세스 토모그래피를 위한 최적 쿼리 복잡도는 $\Theta(d_{in}^3 d_{out}^3 / \varepsilon^2)$이다.

의의 및 주장
본 연구의 주요 기여는 양자 메모리의 유무에 따른 양자 프로세스 토모그래피의 **학습 격차(learning separation)**를 엄밀하게 확립한 것이다.

• 양자 메모리 이점: 결과는 양자 메모리가 임의의 완전 적응형 비코히런트 전략에 비해 $\Theta(d_{in}d_{out})$ 배의 다항식 쿼리 복잡도 이점을 제공함을 입증한다.
• 상태 토모그래피의 일반화: 본 결과는 단일 복사 상태 토모그래피의 알려진 최적 경계를 일반화한다. $d_{in}=1$인 특수한 경우(채널이 상태로 축소되는 경우), 이 경계는 비코히런트 프로토콜에 대해 $\Theta(d_{out}^3 / \varepsilon^2)$ 스케일링을, 코히런트 프로토콜에 대해 $\Theta(d_{out}^2 / \varepsilon^2)$ 스케일링을 회복한다.
• 적응성의 해결: 본 연구는 고전적 적응성이 코히런트와 비코히런트 프로토콜 사이의 간극을 메울 수 있는지에 대한 미해결 문제를 해결한다. 저자들은 고전적 적응성이 이를 할 수 없음을 증명한다. 즉, 이점은 엄밀히 말해 고전적 적응성에서 오는 것이 아니라, 여러 채널 사용에 걸쳐 양자 정보를 보존하고 공동으로 처리할 수 있는 능력에서 기인한다.

본 논문은 이러한 격차가 순수하게 양자 메모라는 자원 때문임을 결론지으며, 이를 일반적인 채널 학습에서 샘플 복잡도를 줄이는 데 있어 결정적인 요소로 고립시킨다.