[논문 리뷰] Weyl variations and local sufficiency of linear observers in the mean square optimal coherent quantum filtering problem

Igor G. Vladimirov|arXiv (Cornell University)|2015. 06. 25.

Quantum Information and Cryptography참고 문헌 15인용 수 5

한 줄 요약

이 논문은 선형 양자 식별자에 대한 평균 제곱 최적의 협응 양자 필터링(CQF) 문제의 1차 최적성 조건을 관측자 힘량과 결합 연산자의 Weyl 변형을 사용하여 도출한다. 만약 선형 양자 관측자가 선형 관측자 중에서 최적이라면, 비선형 Weyl 편미분에 대해서도 정적임을 증명하여, 선형 양자 식별자들이 선형 양자 식물에 대해 더 넓은 비선형 관측자 클래스 내에서 국소적으로 충분함을 확립한다.

ABSTRACT

This paper is concerned with the coherent quantum filtering (CQF) problem, where a quantum observer is cascaded in a measurement-free fashion with a linear quantum plant so as to minimize a mean square error of estimating the plant variables of interest. Both systems are governed by Markovian Hudson-Parthasarathy quantum stochastic differential equations driven by bosonic fields in vacuum state. These quantum dynamics are specified by the Hamiltonians and system-field coupling operators. We apply a recently proposed transverse Hamiltonian variational method to the development of first-order necessary conditions of optimality for the CQF problem in a larger class of observers. The latter is obtained by perturbing the Hamiltonian and system-field coupling operators of a linear coherent quantum observer along linear combinations of unitary Weyl operators, whose role here resembles that of the needle variations in the Pontryagin minimum principle. We show that if the observer is a stationary point of the performance functional in the class of linear observers, then it is also a stationary point with respect to the Weyl variations in the larger class of nonlinear observers.

연구 동기 및 목표

• 선형 관측자 외의 비선형 편미분을 포함하여 협응 양자 필터링의 최적성 분석을 확장하기 위해.
• 기존의 변분 방법이 선형 제어기로 제한되어 있어 비선형 설계에서의 잠재적 이득을 평가할 수 없는 한계를 해결하기 위해.
• 더 넓은 비선형 관측자 클래스를 고려할 때도 선형 관측자가 국소적으로 최적일 수 있는지 확인하기 위해.
• 횡방향 힘량 변분 방법을 적용하여 에너지 연산자의 더 넓은 클래스의 편미분에 대한 최적성의 필요 조건을 유도하기 위해.
• Weyl 연산자가 고전적 최적 제어에서의 바늘 변형에 대한 양자적 대응으로서의 역할을 조사하기 위해.

제안 방법

• 관측자 에너지 연산자의 편미분에 대해 성능 기능의 Gateaux 도함수를 계산하기 위해 횡방향 힘량 접근법을 사용한다.
• 단위 Weyl 연산자의 선형 조합인 Weyl 변형을 사용하여 관측자의 힘량과 시스템-장 결합 연산자를 편미분한다.
• 진공 상태 하에서 Weyl 연산자를 포함하는 기대값을 계산하기 위해 시스템 변수의 준다항식에 대한 가우시안 평균을 적용한다.
• Weyl 변형 방향에 따라 Gateaux 도함수가 0이 되는 것을 분석하여 1차 최적성 조건을 도출한다.
• 가우시안 상태 위에서 Weyl 양자화 적분에 대한 통분형 항등식을 이용하여 기대값 계산을 단순화한다.
• Hudson-Parthasarathy 양자 스토하스틱 미적분을 사용하여 마코프, 진공 구동 프레임워크 내에서 선형 양자 식물과 관측자의 역학을 모델링한다.

실험 결과

연구 질문

• RQ1 선형 양자 식물에 대해 평균 제곱 최적의 협응 양자 필터링 문제에서 비선형 양자 관측자가 선형 관측자보다 성능이 뛰어날 수 있는가?
• RQ2 선형 관측자가 선형 관측자뿐 아니라 더 넓은 비선형 관측자 클래스 내에서도 최적일 수 있는 조건은 무엇인가?
• RQ3 양자 제어에서 변분 방법을 어떻게 확장하여 관측자 에너지 연산자의 비선형 편미분을 포함할 수 있는가?
• RQ4 Weyl 연산자가 고전적 최적 제어에서의 바늘 변형과 유사한 편미분을 생성하는 데 어떤 역할을 하는가?
• RQ5 선형-제곱 편미분에 대해 정적이면 더 일반적인 Weyl 변형에 대해서도 정적일까?

주요 결과

• 만약 선형 협응 양자 관측자가 선형 관측자 중에서 평균 제곱 비용 기능의 정적점이라면, 에너지 연산자의 임의의 Weyl 변형에 대해서도 정적점이다.
• Weyl 변형을 통해 도출된 1차 필요 조건은 선형-제곱 편미분에 대한 정적 조건을 만족할 때에만 성립한다.
• 선형 관측자가 선형 관측자에 대한 최적성 조건을 만족할 경우, 성능 기능의 Gateaux 도함수는 모든 Weyl 변형 방향에서 0이 된다.
• 횡방향 힘량 방법은 비선형 관측자 설계를 명시적으로 필요로 하지 않고도 비선형 편미분에 대한 민감도 정보를 도출할 수 있게 한다.
• 결과적으로 선형 관측자가 Weyl 변형의 관점에서 국소적으로 충분함을 의미하며, 이는 인접한 비선형 관측자로의 향상이 불가능하다는 것을 의미한다.
• 분석은 진공 상태 위에서 Weyl 순서 다항식의 가우시안 평균과 기대값에 대한 통분형 항등식에 의존한다.