[Paper Review] Analysis and synthesis of attractive quantum Markovian dynamics

Francesco Ticozzi, Lorenza Viola|arXiv (Cornell University)|Sep 3, 2008

Quantum Information and Cryptography31 references4 citations

TL;DR

This paper presents a general framework for analyzing and synthesizing attractive quantum Markovian dynamics using invariant and attractive quantum subsystems. By applying Krasowskii-LaSalle invariance principles and Lyapunov stability theory, it provides an algebraic characterization of stabilizable pure states and subspaces, enabling constructive design of open-loop Hamiltonian and output-feedback controllers for Markovian stabilization in finite-dimensional systems.

ABSTRACT

We propose a general framework for investigating a large class of stabilization problems in Markovian quantum systems. Building on the notions of invariant and attractive quantum subsystem, we characterize attractive subspaces by exploring the structure of the invariant sets for the dynamics. Our general analysis results are exploited to assess the ability of open-loop Hamiltonian and output-feedback control strategies to synthesize Markovian generators which stabilize a target subsystem, subspace, or pure-state. In particular, we provide an algebraic characterization of the manifold of stabilizable pure states in arbitrary finite-dimensional Markovian systems, that leads to a constructive strategy for designing the relevant controllers. Implications for stabilization of entangled pure states are addressed by example.

Motivation & Objective

• To develop a general system-theoretic framework for analyzing and synthesizing Markovian quantum dynamics that stabilize target quantum states or subspaces.
• To characterize the conditions under which a quantum subsystem is invariant and attractive under Markovian evolution, particularly focusing on pure states and entangled states.
• To provide constructive control strategies—using open-loop Hamiltonians and output-feedback—capable of stabilizing desired quantum states via dissipative dynamics.
• To extend existing results on noiseless and attractive subsystems to a broader class of finite-dimensional Markovian generators.
• To demonstrate the feasibility of stabilizing entangled pure states, such as Bell states, using collective measurements and engineered feedback Hamiltonians.

Proposed method

• Utilizes the Hille-Yoshida generator form of quantum dynamical semigroups to model Markovian evolution as a Lindblad master equation: $ \dot{\rho} = -\frac{i}{\hbar}[H,\rho] + \sum_k \gamma_k \mathcal{D}(L_k, \rho) $.
• Applies Krasowskii-LaSalle invariance principle to characterize the largest invariant set within a subspace, enabling identification of attractive subspaces.
• Introduces a linear-algebraic approach to analyze the structure of the generator's action on the Hilbert space, identifying conditions for attractivity of pure states.
• Employs Lyapunov stability theory to derive explicit conditions for attractivity of a target state, using a Lyapunov function based on the distance to the target state.
• Develops a constructive method for designing feedback Hamiltonians and measurement operators such that the target state becomes the unique attractive state in a given subspace.
• Transforms the problem into a basis where the target state is diagonal and applies symmetry considerations (e.g., spin-SU(2) invariance) to simplify controller design.

Experimental results

Research questions

• RQ1 Which pure states and subspaces in finite-dimensional quantum systems can be made attractive under Markovian dynamics?
• RQ2 What are the necessary and sufficient conditions for a quantum subsystem to be both invariant and attractive under a given Markovian generator?
• RQ3 How can open-loop Hamiltonian and output-feedback control strategies be systematically designed to stabilize a target pure state via dissipative dynamics?
• RQ4 Can entangled pure states, such as Bell states, be stabilized using collective measurements and engineered feedback Hamiltonians in a Markovian setting?
• RQ5 What is the role of symmetry and invariance in the design of stabilizing controllers for multi-qubit systems?

Key findings

• The paper provides a complete algebraic characterization of the manifold of stabilizable pure states in arbitrary finite-dimensional Markovian systems, enabling systematic controller synthesis.
• It establishes that a target pure state is attractive if and only if the largest invariant subset in its orthogonal complement is trivial, which can be tested via spectral analysis of the generator.
• For the two-qubit triplet subspace, the maximally entangled Bell state $ \rho_d = \frac{1}{2}(|01\rangle + |10\rangle)(\langle 01| + \langle 10|) $ can be made the unique attractive state using a feedback Hamiltonian $ F' $ and measurement operator $ M' = J_x $ in a transformed basis.
• The constructed controller, with $ H_c' = J_z $, $ M' = J_x $, and $ F' = \frac{1}{\hbar}(J_z J_y + J_y J_z) $, ensures that $ \rho_d $ is the unique attractive state in the $ J=1 $ subspace.
• The attractivity of $ \rho_d $ is confirmed by showing that the only invariant state in the orthogonal subspace $ \mathcal{H}_{R'} = \text{span}\{ \frac{1}{\sqrt{2}}(|00\rangle - |11\rangle) \} $ is not an eigenstate of $ J_z $, thus breaking invariance.
• The results imply that unique attractive states depend continuously on model parameters, supporting robustness under small perturbations, though full feedback robustness under finite bandwidth and detection efficiency remains an open problem.