Table of Contents
Fetching ...

On the Mathematical Theory of Quantum Stochastic Filtering Equations for Mixed States

Vassili N Kolokoltsov

TL;DR

The paper develops a rigorous mathematical framework for quantum stochastic filtering equations governing mixed states in infinite-dimensional settings with unbounded coupling operators. It extends prior bounded-L results by adopting Mora-Rebolledo-type hypotheses, establishing well-posedness for both linear and nonlinear Belavkin equations in pure and mixed states, and formulating the linear theory within the Hilbert-Schmidt space before translating to normalized nonlinear dynamics. Key contributions include strong and weak solvability results for pure-state dynamics, a detailed analysis of linear stochastic master equations, and a robust normalization-based treatment of mixed-state filtering, supported by finite-dimensional approximation methods. The work lays a solid foundation for deriving quantum filtering equations from measurement limits and for connecting stochastic quantum filtering to quantum mean-field limits and feedback control in infinite dimensions.

Abstract

Quantum filtering equations for mixed states were developed in 80th of the last century. Since then the problem of building a rigorous mathematical theory for these equations in the basic infinite-dimensional settings has been a challenging open mathematical problem. In a previous paper, the author developed the theory of these equations in the case of bounded coupling operators, including a new version that arises as the law of large numbers for interacting particles under continuous observation and thus leading to the theory of quantum mean field games. In this paper, the main body of these results is extended to the basic cases of unbounded coupling operators.

On the Mathematical Theory of Quantum Stochastic Filtering Equations for Mixed States

TL;DR

The paper develops a rigorous mathematical framework for quantum stochastic filtering equations governing mixed states in infinite-dimensional settings with unbounded coupling operators. It extends prior bounded-L results by adopting Mora-Rebolledo-type hypotheses, establishing well-posedness for both linear and nonlinear Belavkin equations in pure and mixed states, and formulating the linear theory within the Hilbert-Schmidt space before translating to normalized nonlinear dynamics. Key contributions include strong and weak solvability results for pure-state dynamics, a detailed analysis of linear stochastic master equations, and a robust normalization-based treatment of mixed-state filtering, supported by finite-dimensional approximation methods. The work lays a solid foundation for deriving quantum filtering equations from measurement limits and for connecting stochastic quantum filtering to quantum mean-field limits and feedback control in infinite dimensions.

Abstract

Quantum filtering equations for mixed states were developed in 80th of the last century. Since then the problem of building a rigorous mathematical theory for these equations in the basic infinite-dimensional settings has been a challenging open mathematical problem. In a previous paper, the author developed the theory of these equations in the case of bounded coupling operators, including a new version that arises as the law of large numbers for interacting particles under continuous observation and thus leading to the theory of quantum mean field games. In this paper, the main body of these results is extended to the basic cases of unbounded coupling operators.

Paper Structure

This paper contains 11 sections, 14 theorems, 165 equations.

Key Result

Theorem 2.1

(Mora-Rebolledo) Under Hypothesis MR, for any $\chi_0\in Dom(C)$ there exists a unique $C$-strong solution $\chi(t)$ to equation eqqufiBlinint, and moreover, this solution satisfies the estimate and is conservative in the sense that $\mathbf{E} \|\chi(t)\|^2=\|\chi_0\|^2$, so that $\|\chi(t)\|^2$ is a positive martingale.

Theorems & Definitions (32)

  • Remark 1
  • Remark 2
  • Remark 3
  • Theorem 2.1
  • Remark 4
  • proof
  • Remark 5
  • Proposition 2.1
  • proof
  • Proposition 2.2
  • ...and 22 more