[논문 리뷰] Simultaneous Estimation of Dimension, States and Measurements: Computation of representative density matrices and POVMs

Cyril Stark|arXiv (Cornell University)|2012. 10. 03.

Quantum Information and Cryptography참고 문헌 10인용 수 3

한 줄 요약

이 논문은 주어진 상태-측정 그람 행렬 $ G $ 에서 물리적으로 타당한 밀도 행렬과 POVM을 계산하기 위한 히우리스틱 알고리즘을 제시한다. 이 $ G $ 는 알려지지 않은 양자 상태와 POVM 원소 간의 힐버트-스미스 내적을 캡슐화한다. 이 방법은 반복 최적화와 유니터리 샘플링을 통해 양의 준정부호이자 정규화된 양자 연산자를 재구성하며, 모든 시험 케이스에서 타당한 양자 모델을 성공적으로 복원한다. 이는 동시에 차원, 상태, 측정을 추정하는 데 있어 원리적 검증을 완성한다.

ABSTRACT

This investigation continues a program aiming at obtaining effective quantum models to describe measurement statistics. In [Stark, arXiv:1209.5737 (2012)], we have described how the Gram matrix associated to the prepared states and the performed POVM elements can be estimated via convex relaxation of a rank minimization problem. This Gram matrix determines the density matrices and the POVM elements uniquely up to simultaneous rotations (with respect to the Hilbert-Schmidt inner product) in the vector space of Hermitian matrices. However, when the description of the experiment needs to be connected to textbook quantum mechanics, explicit expressions for the states and the POVM elements in terms of positive semidefinite matrices are required. In this paper, we describe a heuristic algorithm that takes the state-meaurement Gram matrix as input and searches explicit realizations of this Gram matrix in terms of quantum mechanically valid density matrices and POVM elements.

연구 동기 및 목표

• 모르는 양자 시스템에서 추상적인 그람 행렬 표현과 물리적으로 실현 가능한 양자 연산자(밀도 행렬과 POVM) 사이의 격차를 메우기 위해.
• 기존의 그람 행렬 $ G $ 의 분해 방식이 양의 준정부호 행렬을 도출하지 못해 양자역학적 조건을 위반하는 문제를 해결하기 위해.
• 그람 행렬 $ G $ 에 암묵적으로 포함된 힐버트-스미스 내적에 기반해, 단지 점차적 데이터에 기반해, 명시적이고 양자적으로 타당한 상태와 측정의 실현을 제공하기 위해.
• 알려지지 않은 준비 및 측정 장치를 가진 양자 실험에서 동시에 차원, 상태, 측정을 추정하는 데 있어 원리적 검증을 완성하기 위해.
• 이론적 모델이 부족하거나 알려지지 않은 상황에서도 실용적인 양자 모델링을 가능하게 하여, 양자 정보 분야에서 가짜 검증과 강건성 분석을 지원하기 위해.

제안 방법

• 알고리즘은 상태-측정 그람 행렬 $ G $ 를 입력으로 받으며, 이는 측정 통계에서 랭크 최소화 문제의 볼록 완화를 통해 추정된다.
• 히우리스틱 반복 절차를 사용하며, 세 가지 서브루틴인 PARTIAL(부분 분해), SELECTION_OF_FASTEST(유망한 후보자 선별), REGULAR(수렴을 위한 표준 최적화)를 통합한다.
• 상태는 균일하게 샘플링된 고유값을 가진 대각 행렬로 초기화된 후, 하르 분포를 가진 유니터리 행렬을 통해 회전되어 일반성과 편향 방지를 확보한다.
• POVM 원소는 대각 행렬로 구성되며 크로네커 델타 구조를 가진다('순수'), 더 높은 차원 공간에서의 랭크-1 프로젝터로 구성된다('정제된'), 또는 순수 상태의 혼합물로 구성된다('부분 혼합된').
• 수렴 여부는 조건 $ ext{max}_{ij} | ext{tr}( ho_i E_j) - G_{ij}|  10^{-2} $ 를 통해 모니터링되며, 입력 그람 행렬과의 일치성을 보장한다.
• 유니터리 행렬은 하르 측도에서 샘플링되어 통계적 균일성과 초기화 시 체계적 오차를 방지한다.

실험 결과

연구 질문

• RQ1 알려지지 않은 상태와 측정을 가진 상황에서, 주어진 그람 행렬 $ G $ 에서 물리적으로 타당한 밀도 행렬과 POVM을 체계적으로 재구성할 수 있는가?
• RQ2 기존의 분해 방식이 타당한 양자 상태를 도출하지 못함에도 불구하고, 히우리스틱 최적화 절차가 얼마나 잘 양의 준정부호이자 정규화된 양자 연산자를 $ G $ 에서 복원할 수 있는가?
• RQ3 다양한 시스템 차원에서 수렴에 성공하는 데 있어, 다양한 초기화 전략(순수, 부분 혼합, 정제된)의 효율성은 어떠한가?
• RQ4 알고리즘의 수렴 속도와 안정성은 다양한 시스템 크기와 구성에서 어떻게 행동하는가?
• RQ5 이상적 데이터 조건에서 알고리즘이 신뢰성 있게 양자 모델을 재구성할 수 있는가? 이는 동시에 차원, 상태, 측정을 추정하는 프로그램을 완성하는 데 기여한다.

주요 결과

• 모든 시험 케이스에서 100% 성공률로 유효한 밀도 행렬과 POVM을 재구성하였다. 이는 2-, 3-, 4차원 시스템에서 ‘순수’, ‘부분 혼합’, ‘정제된’ 케이스를 포함한 100회의 독립 실행 결과이다.
• 모든 실행이 정지 조건 $ ext{max}_{ij} | ext{tr}( ho_i E_j) - G_{ij}|  10^{-2} $ 를 충족하여 입력 그람 행렬과의 일치성을 확인하였다.
• 수렴 시간은 케이스에 따라 크게 달라졌으며, 그림 1–9의 진화도에서 이를 확인할 수 있었다.
• 보조 큐비트와의 유니터리 상호작용을 통해 POVM을 모델링하는 '정제된' 케이스는 뛰어난 성능을 보이며 모든 차원에서 일관되게 성공하였다.
• 이 방법은 그람 행렬 $ G $ 가 상태와 측정을 동시에 유니터리 변환에 대해 정의할 뿐이지만, 여전히 명시적이고 물리적으로 타당한 표현을 계산할 수 있음을 보여준다.
• 결과는 동시에 추정 프로그램의 실현 가능성을 검증하며, 측정 데이터에서 전체 양자 모델 재구성까지의 이론적이고 계산적인 파이프라인을 완성한다.