[논문 리뷰] On the separation principle of quantum control

Luc Bouten, Ramon van Handel|ArXiv.org|2005. 11. 05.

Quantum Mechanics and Applications참고 문헌 22인용 수 33

한 줄 요약

이 논문은 확률적 제어에서의 분리 원리에 대한 양자 버전을 수립하며, 관련 벨먼 방정식이 충분히 규칙적인 해를 가지는 조건 하에 최적 피드백 제어를 비메모리 성질을 가진 비선형 필터의 함수로 설계할 수 있음을 증명한다. 이 틀은 제어된 양자 스토크래스틱 미분 방정식을 사용하며, 양자 필터링과 마코프 반군을 통해 고전적 동적 프로그래밍을 양자 설정으로 확장한다.

ABSTRACT

It is well known that quantum continuous observations and nonlinear filtering can be developed within the framework of the quantum stochastic calculus of Hudson-Parthasarathy. The addition of real-time feedback control has been discussed by many authors, but the foundations of the theory still appear to be relatively undeveloped. Here we introduce the notion of a controlled quantum flow, where feedback is taken into account by allowing the coefficients of the quantum stochastic differential equation to be adapted processes in the observation algebra. We then prove a separation theorem for quantum control: the admissible control that minimizes a given cost function is a memoryless function of the filter, provided that the associated Bellman equation has a sufficiently regular solution. Along the way we obtain results on existence and uniqueness of the solutions of controlled quantum filtering equations and on the innovations problem in the quantum setting.

연구 동기 및 목표

• 고전적 분리 정리들을 양자 영역으로 확장하여 양자 피드백 제어에 대한 엄밀한 기초를 마련하는 것.
• 양자 시스템에서 피드백 제어가 필터링과 분리될 수 있는지 여부라는 근본적인 질문을 해결하는 것.
• 적절한 규칙성 조건 하에 최적 제어 전략이 양자 필터의 비메모리 함수임을 증명하는 것.
• 제어된 양자 역학적 동역학과 관련된 필터링 방정식 간의 수학적 일致성을 확보하는 것.
• 정밀 기술 분야에서의 실용적 양자 제어를 위한 기초를 마련하기 위해 필터링 이론과 제어 이론을 통합하는 것.

제안 방법

• 관측 대칭대수 내의 적응 과정으로서 제어 계수를 갖는 제어된 양자 흐름의 개념을 도입한다.
• 연속 시간 측정을 수반하는 제어된 양자 시스템을 모델링하기 위해 양자 스토크래스틱 미분 계산 프레임워크를 개발한다.
• 제어된 양자 필터링 방정식을 유도하며, 이는 관측 이력과 제어 입력에만 의존함을 보여준다.
• 가치 함수에 이토의 변수변환 공식을 적용하여 양자 설정에서의 동적 프로그래밍 원리를 검증한다.
• 혁신 문제의 해를 통해 피드백 제어 하에서 필터링 과정의 타당성을 보장한다.
• 벨먼 방정식의 규칙성 조건 하에 최적 제어가 필터 자체의 함수임을 증명함으로써 분리 정리를 수립한다.

실험 결과

연구 질문

• RQ1 고전적 제어 이론에서와 마찬가지로 양자 시스템에서 피드백 제어를 필터링 과정에서 분리할 수 있는가?
• RQ2 최적 제어가 전체 시스템 상태 대신 양자 필터에만 의존하는 조건은 무엇인가?
• RQ3 해결책의 존재성과 규칙성을 보장하기 위해 벨먼 방정식을 양자 설정에 어떻게 적응시킬 수 있는가?
• RQ4 피드백이 적용되었을 때 제어된 양자 시스템의 필터링 방정식은 개방 루프 필터와 동일한가?
• RQ5 동적 프로그래밍 원리는 양자 스토크래스틱 제어 문제에 엄밀하게 확장될 수 있는가?

주요 결과

• 벨먼 방정식이 충분히 규칙적인 해를 가지는 조건 하에, 양자 시스템의 최적 제어 전략은 양자 필터의 비메모리 함수이다.
• 표준 가정 하에 제어된 양자 필터링 방정식은 수학적으로 일致하고 유일하게 해를 갖는다.
• 양자 시스템에서의 혁신 문제는 해결되어 피드백 제어 하에서 필터링 과정의 타당성이 보장된다.
• 최적 제어 문제의 가치 함수는 양자 동적 프로그래밍 방정식을 만족하며, 가치 함수의 조건부 기대값은 실제 가치와 일치한다.
• 이토 공식에서의 확률적 적분이 기대값에서 0이 되기 때문에 분리 정리는 성립하며, 이는 필터가 최적 제어를 완전히 결정함을 의미한다.
• 이 틀은 양자 영역에서의 무한 시간, 평균 비용, 정지 시간 제어 문제로도 확장 가능하다.