On the separation principle of quantum control

TL;DR

This paper develops a theoretical framework for quantum control with feedback, proving a separation theorem that simplifies optimal control design by linking it to quantum filtering.

Contribution

It introduces controlled quantum flows with feedback, and proves a separation theorem for quantum control, extending classical control principles to the quantum domain.

Findings

Proves a separation theorem for quantum control with feedback.

Establishes existence and uniqueness of solutions for controlled quantum filtering.

Provides results on the quantum innovations problem.

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.