[논문 리뷰] Quantum State Detector Design: Optimal Worst-Case a posteriori Performance

Robert L. Kosut, Ian A. Walmsley외 2명|ArXiv.org|2004. 03. 21.

Quantum Information and Cryptography참고 문헌 38인용 수 9

한 줄 요약

이 논문은 특정 양자 상태를 잘못 식별할 확률의 최악의 경우를 최대화하는 양자 상태 검출기 설계를 위한 볼록 최적화 프레임워크를 제안한다. 측정 연산자에 대한 준볼록 문제로 POVM 설계를 공식화함으로써 라그랑주 이중성에 의해 최적성 조건을 도출하여, 노이즈가 있거나 측정이 완벽하지 않은 조건에서도 전역 최적의 검출 전략을 가능하게 하며, 순수 상태 검출의 경우 명시적 해를 제공하고, 볼록 해소기기를 통한 수치적 구현 가능성을 확보한다.

ABSTRACT

The problem addressed is to design a detector which is maximally sensitive to specific quantum states. Here we concentrate on quantum state detection using the worst-case a posteriori probability of detection as the design criterion. This objective is equivalent to asking the question: if the detector declares that a specific state is present, what is the probability of that state actually being present? We show that maximizing this worst-case probability (maximizing the smallest possible value of this probability) is a quasiconvex optimization over the matrices of the POVM (positive operator valued measure) which characterize the measurement apparatus. We also show that with a given POVM, the optimization is quasiconvex in the matrix which characterizes the Kraus operator sum representation (OSR) in a fixed basis. We use Lagrange Duality Theory to establish the optimality conditions for both deterministic and randomized detection. We also examine the special case of detecting a single pure state. Numerical aspects of using convex optimization for quantum state detection are also discussed.

연구 동기 및 목표

• 최악의 사후 성능 기준 하에서 특정 타겟 양자 상태에 대해 최대 민감도를 갖는 양자 상태 검출기를 설계하기 위해.
• 검출기 설계 문제를 POVM 원소에 대한 준볼록 최적화 문제로 공식화하여 전역 최적성을 보장하기 위해.
• 정규화된 및 랜덤화된 검출 전략 모두에 대해 라그랑주 이중성을 활용한 최적성 조건을 수립하기 위해.
• 해당 문제의 특수한 경우인 단일 순수 상태 검출에 대해 명시적 닫힌 형식의 해를 분석하기 위해.
• 볼록 최적화 도구를 활용한 수치적 구현을 가능하게 하여 실험적으로 실현 가능한 측정에 대한 기준을 제공하기 위해.

제안 방법

• 문제는 측정 장치를 특징짓는 양성 연산자값 측정(POVM)에 대한 준볼록 최적화 문제로 공식화된다.
• POVM 원소의 추적 및 양성 조건을 포함한 제약 조건 하에 최악의 사후 검출 확률을 최대화하기 위해 제약 조건이 있는 최적화 문제를 해결한다.
• 정규화된 및 랜덤화된 검출 방법 모두에 대해 필요 및 충분한 최적성 조건을 유도하기 위해 라그랑주 이중성 이론을 적용한다.
• 단일 순수 상태의 경우, 행렬 $ \rho^{-1/2} \rho_k \rho^{-1/2} $ 의 스펙트럼 분해를 통해 최적의 검출 전략을 유도하며, 이로 인해 최적의 POVM 원소는 랭크-1 프로젝터가 된다.
• 노이즈 있는 측정의 경우, 이상적인 POVM을 그들의 노이즈 있는 표현식 $ O_i^{\text{noisy}} = \sum_j \nu_{ij} O_j $ 로 대체함으로써 볼록성을 유지한다.
• 이중 문제를 유도하고 강력 이중성(Strong duality)이 성립함을 보여주어 볼록 해소기를 통한 효율적 수치 해법이 가능함을 보장한다.

실험 결과

연구 질문

• RQ1 특정 양자 상태를 검출할 때 최악의 사후 확률을 최대화하는 최적의 POVM 설계는 무엇인가?
• RQ2 검출기 설계 문제는 어떻게 볼록 최적화 문제로 공식화되어 전역 최적성을 보장할 수 있는가?
• RQ3 정규화된 및 랜덤화된 검출 전략 모두에 대해 필요한 최적성 조건은 무엇인가?
• RQ4 단일 순수 상태만 검출해야 할 경우 최적의 검출 전략은 어떻게 변화하는가?
• RQ5 이 프레임워크는 볼록성과 수치적 실현 가능성을 유지하면서 노이즈 있는 측정으로까지 확장될 수 있는가?

주요 결과

• 최적의 최악의 사후 검출 확률은 $ \gamma = \min_i p_i \sigma_{\max}(\rho^{-1/2} \rho_i \rho^{-1/2}) $ 로 주어지며, 여기서 $ \sigma_{\max} $ 는 최대 특이값을 의미한다.
• 동일한 가중치를 가진 단일 순수 상태 검출의 경우, 최적의 POVM 원소는 $ \rho^{-1/2} \rho_k \rho^{-1/2} $ 의 최대 고유값에 대응하는 고유벡터로의 랭크-1 프로젝터이다.
• POVM 원소 $ O_k $ 가 $ A_k(\gamma) $ 의 영공간에 대한 프로젝터로 선택될 경우 최적성 조건이 만족된다. 여기서 $ A_k(\gamma) = \gamma \rho - p_k \rho_k $ 이다.
• 측정 채널의 크라우스 연산자 합 표현식(표현식)에서 문제의 준볼록성은 그대로 유지되어 양자 채널에 대한 최적화가 가능하다.
• 라그랑주 공식화에서 강력 이중성이 성립하여 이중 문제를 해결함으로써 전역 최적성을 검증할 수 있다.
• 볼록 최적화 도구를 활용한 수치적 구현이 가능하며, 실험적으로 실현 가능한 검출기 설계에 대한 기준을 제공한다.