[논문 리뷰] Geometric and algebraic origins of additive uncertainty relations

Konrad M. Szymanski, Karol Życzkowski|arXiv (Cornell University)|2018. 04. 17.

Quantum Mechanics and Applications인용 수 1

한 줄 요약

이 논문은 두 양자 관측량의 분산 합에 대한 상태에 독립적이고 반분석적인 불확도 관계를 유도하기 위한 기하학적 및 대수적 프레임워크를 제시한다. 연관된 수치 범위와 다항식 근 구하기 문제로 변환된 분산 최소화 문제를 활용하여, 저차원 시스템에서 정확한 결과를 얻는 날카운, 오차가 제한된 경계를 도출한다. 이는 전체 운동량 양자수 j가 임의일 때도 각운동량 연산자에 대해 분석적 결과를 제공한다.

ABSTRACT

Constructive techniques to establish state-independent uncertainty relations for the sum of variances of arbitrary two observables are presented. We investigate the range of simultaneously attainable pairs of variances, which can be applied to a wide variety of problems including finding exact bound for the sum of variances of two components of angular momentum operator for any total angular momentum quantum number $j$ and detection of quantum entanglement. Resulting uncertainty relations are state-independent, semianalytical, bounded-error and can be made arbitrarily tight. The advocated approach, based on the notion of joint numerical range of a number of observables and uncertainty range, allows us to improve earlier numerical works and to derive semianalytical tight bounds for the uncertainty relation for the sum of variances expressed as roots of a polynomial of a single real variable.

연구 동기 및 목표

• 분산 합에 기반한 상태에 독립적 불확도 관계를 위한 기하학적 및 대수적 접근법을 개발한다.
• 임의의 날카움을 갖는 반분석적이고 오차가 제한된 경계를 제공함으로써 이전의 수치적 방법을 향상시킨다.
• 임의의 총 각운동량 양자수 j에 대해 각운동량 연산자 JX와 JY의 최소 분산 합에 대한 정확한 분석적 표현을 유도한다.
• 관측량의 공동 수치 범위에서 유도된 단일변수 다항식의 근으로서 날카운 불확도 경계를 계산하는 체계적인 절차를 수립한다.

제안 방법

• 분산 합을 기대값의 함수로 기술한다: Δ²X + Δ²Y = ⟨X² + Y²⟩ − ⟨X⟩² − ⟨Y⟩².
• 공동 수치 범위(JNR) W(F₁, F₂, ..., Fₖ)를 혼합 양자 상태를 전역으로 고려할 때 가능한 모든 k개의 기대값 튜플의 집합으로 정의한다.
• 분산 합의 최소화 문제를 Rᵏ 내의 볼록 집합인 JNR 위의 제약 조건 최적화 문제로 환원한다.
• 대수기하학과 다항식 근 구하기 기법을 활용하여, JNR 경계에서 유도된 단일변수 다항식의 최소 근으로서 최소 분산 합을 결정한다.
• 이 방법을 큐비트 시스템과 각운동량 연산자에 적용하여, 정확한 경계를 제공하는 명시적 다항식을 도출한다.
• j = 1, 2, 3, 4, 5, 7에 대해 기존의 수치 결과를 복원하고 확장함으로써 접근법을 검증한다.

실험 결과

연구 질문

• RQ1 분산 합에 대한 상태에 독립적 불확도 관계를 임의의 날카움을 갖는 반분석적이고 오차가 제한된 방식으로 도출할 수 있는가?
• RQ2 두 관측량에 대한 공동 수치 범위의 기하학적 구조는 무엇이며, 이는 최소 분산 합을 어떻게 제약하는가?
• RQ3 임의의 j에 대해 각운동량 성분의 최소 분산 합에 대한 정확한 분석적 경계를 도출할 수 있는가?
• RQ4 최소 분산 합은 공동 수치 범위에서 유도된 단일변수 다항식의 근으로 어떻게 계산할 수 있는가?
• RQ5 다양한 j 값에 대해 최소 분산 경계를 정의하는 다항식에서 나타나는 대수적 패턴은 무엇인가?

주요 결과

• j = 1, 2, 3, 4, 5, 7에 대해 JX와 JY의 최소 분산 합이 다항식의 근으로서 정확히 분석적으로 유도되었으며, 차수 1에서 13까지의 다항식의 근으로 주어진다.
• 큐비트 시스템의 경우, 최소 분산 합은 이차 다항식의 근을 포함하는 닫힌 형태 식으로 주어진다: C = ½(a² + |b|² + 1 − √[(a² + |b|² + 1)² − 4|b|²]).
• 이 방법은 이전의 수치 근사보다 더 날카운 경계를 제공하며, 오차가 제한된 상태에 독립적인 성질을 갖는다.
• j > 4에 대해 최소 분산 경계를 정의하는 다항식은 명백한 패턴을 따르며, 이는 OEIS에서 A243099로 식별된다.
• 큐비트의 관측량 X, Y, X² + Y²의 공동 수치 범위는 평면 타원이며, 분산 최소값은 이 경계 위에 위치한다.
• 이 방법은 임의의 유한차원 시스템으로 일반화되며, 다항식 근 구하기를 통한 알고리즘적이고 체계적인 날카운 불확도 경계 생성 방식을 제공한다.