[논문 리뷰] The gap persistence theorem for quantum multiparameter estimation

Lorcán O. Conlon, Jun Suzuki외 2명|arXiv (Cornell University)|2022. 08. 15.

Quantum Computing Algorithms and Architecture인용 수 6

한 줄 요약

이 논문은 양자 다중파rameter 추정에서 갭 지속성 정리(gap persistence theorem)를 수립하며, 만약 양자 프로브 상태의 한 장기에서 Holevo Cramér-Rao 경계(HCRB)를 달성할 수 없다면, 어떤 유한한 수의 복사본에서도 이를 달성할 수 없다는 것을 증명한다. 이 작업은 분리 측정과 집합 측정 하에서 대칭 로그미분 Cramér-Rao 경계(SLDCRB)를 달성하는 데 필요한 필수 및 필요조건을 도출하며, 비가환적인 최적 측정이 유한한 복사본에서 HCRB 및 SLDCRB의 달성을 방해한다는 것을 보여줌으로써, 양자 미세측정 분야에서 오랫동안 남아있던 열린 문제를 해결한다.

ABSTRACT

One key aspect of quantum metrology, measurement incompatibility, is evident only through the simultaneous estimation of multiple parameters. The symmetric logarithmic derivative Cramér-Rao bound (SLDCRB), gives the attainable precision, if the optimal measurements for estimating each individual parameter commute. When the optimal measurements do not commute, the SLDCRB is not necessarily attainable. In this regard, the Holevo Cramér-Rao bound (HCRB) plays a fundamental role, providing the ultimate attainable precisions when one allows simultaneous measurements on infinitely many copies of a quantum state. For practical purposes, the Nagaoka Cramér-Rao bound (NCRB) is more relevant, applying when restricted to measuring quantum states individually. The interplay between these three bounds dictates how rapidly the ultimate metrological precisions can be approached through collective measurements on finite copies of the probe state. We first consider two parameter estimation and prove that if the HCRB cannot be saturated with a single copy of the probe state, then it cannot be saturated for any finite number of copies of the probe state. With this, we show that it is impossible to saturate the HCRB for several physically motivated problems. For estimating any number of parameters, we provide necessary and sufficient conditions for the attainability of the SLDCRB with separable measurements. We further prove that if the SLDCRB cannot be reached with a single copy of the probe state, it cannot be reached with collective measurements on any finite number of copies of the probe state. These results together provide necessary and sufficient conditions for the attainability of the SLDCRB for any finite number of copies of the probe state. This solves a significant generalisation of one of the five problems recently highlighted by [P.Horodecki et al, Phys. Rev. X Quantum 3, 010101 (2022)].

연구 동기 및 목표

• 유한한 복사본에서의 양자 다중파arameter 추정에서 대칭 로그미분 Cramér-Rao 경계(SLDCRB)의 달성 가능성 문제를 해결하는 것.
• 유한한 수의 프로브 상태 복사본을 사용할 때 Holevo Cramér-Rao 경계(HCRB)가 달성 가능한 조건을 수립하는 것.
• Horodecki 등(2022)이 제기한 문제를 일반화하여, 집합 측정 하에서 양자 Cramér-Rao 경계의 비달성 가능성 문제를 확장하는 것.
• 유한 복사본 대비 무한 복사본 측정 조건에서 SLDCRB, HCRB, Nagaoka Cramér-Rao 경계(NCRB) 간의 상호작용을 명확히 하는 것.
• 분리 측정과 집합 측정 하에서 SLDCRB 달성에 필요한 필수 및 필요조건을 제시하여, 양자 미세측정 분야의 핵심 열린 문제를 해결하는 것.

제안 방법

• 이중파arameter 추정에서 헤르미트 연산자에 대한 동치 관계 하에서 HCRB 해의 유일성을 증명한다.
• HCRB 해의 유일성을 이용하여 갭 지속성 정리를 수립한다: HCRB가 한 장기에서 달성 가능하지 않다면, 어떤 유한한 수의 복사본에서도 달성 불가능하다.
• 단일 복사본에 대한 분리 측정을 이용해 SLDCRB 달성에 필요한 필수 및 필요조건을 유도한다.
• SLDCRB 달성 조건을 M개의 복사본에 대한 집합 측정으로 확장하여, M의 크기에 관계없이 동일한 조건이 적용됨을 증명한다.
• 유한한 M에 대해 NCRB와 HCRB를 분석하며, HCRB가 𝒞_H,M = 𝒞_H / M 의 비율로 스케일링됨을 보이고, 커mutator의 노름을 이용해 NCRB의 하한을 유도한다.
• δ → 0 근처의 명백한 특이성을 재매개변수화를 통해 해결하여, 모델이 기울기가 0이 되는 항을 제거하도록 재정의하면 HCRB와 NCRB가 동일한 값으로 수렴함을 보여준다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 양자 프로브 상태의 유한한 수의 복사본을 사용할 때 Holevo Cramér-Rao 경계(HCRB)를 달성할 수 있는가?
• RQ2 단일 복사본의 프로브 상태에 대해 분리 측정을 사용할 때 대칭 로그미분 Cramér-Rao 경계(SLDCRB)를 달성할 수 있는가, 그리고 어떤 조건에서 가능한가?
• RQ3 단일 복사본 수준에서 HCRB가 달성 불가능하다면, 어떤 유한한 수의 복사본에서도 달성 불가능한가?
• RQ4 큰 M의 극한에서 Nagaoka Cramér-Rao 경계(NCRB)가 HCRB에 수렴할 수 있는가, 그리고 이는 프로브 상태의 매개변수화 방식에 어떻게 의존하는가?
• RQ5 매개변수화의 선택이 HCRB와 NCRB의 특이점, 예를 들어 δ → 0 근처에서의 행동에 어떻게 영향을 미치는가?

주요 결과

• HCRB가 한 장기에서 달성 가능하지 않다면, 어떤 유한한 수의 복사본에서도 달성 불가능하며, 이는 갭 지속성 정리를 수립한다.
• 이중파arameter 추정에서, 헤르미트 연산자에 대한 적절한 동치 관계 하에서 HCRB의 해는 유일하게 정의된다.
• SLDCRB는 단일 복사본에서의 분리 측정과 동일한 조건 하에서, 어떤 유한한 수의 복사본에 대해서도 집합 측정으로는 달성 불가능하다.
• NCRB는 최적 연산자 간 커mutator의 핵노름을 포함하는 표현으로 하한이 존재하며, 이는 복사본 수 M과 함께 증가한다.
• δ → 0 근처에서 HCRB와 NCRB의 명백한 차이가 재매개변수화를 통해 해결되며, 모델이 기울기가 0이 되는 항을 제거하도록 재정의하면 두 경계가 동일한 값으로 수렴함을 보여준다.
• 논문은 단일 복사본에서의 분리 측정과 M개 복사본에서의 집합 측정에 대해 SLDCRB 달성 조건이 동일함을 증명하여, Horodecki 등(2022)이 제기한 문제의 일반화된 형태를 해결한다.