---
title: Quantum Kalman Decomposition
url: https://www.emergentmind.com/topics/quantum-kalman-decomposition
type: topic
---

# Quantum Kalman Decomposition

The quantum Kalman decomposition is a structural canonical form for linear quantum systems that partitions the system’s degrees of freedom in terms of controllability and observability, under the constraints imposed by quantum mechanics. Unlike the classical Kalman decomposition, the quantum variant requires coordinate transformations that are physically allowable—specifically, Bogoliubov transformations in the doubled-up (annihilation/creation) representation or real symplectic transformations in the real quadrature operator representation. This decomposition exposes the system’s fundamental subsystems: those that are controllable and observable, those that are only controllable or only observable, and those that are neither. Quantum Kalman decomposition thereby provides a unifying framework connecting classical linear systems theory with quantum information-theoretic resources such as decoherence-free subsystems and quantum-nondemolition variables [1606.05719, 1609.05982, 2312.16082].

## 1. Mathematical Formulation and Quantum Constraints

A general linear quantum system consisting of $n$ quantum harmonic oscillators coupled to $m$ input bosonic fields is described by quantum stochastic differential equations (QSDEs):

$$
\dot{\breve a}(t) = \mathbb{A} \, \breve a(t) + \mathbb{B}\, \breve b(t),\qquad \breve b_{\rm out}(t) = \mathbb{C}\, \breve a(t) + \mathbb{D}\, \breve b(t)
$$

where $\breve a = (a, a^\#)^\top$ is the doubled-up vector of annihilation and creation operators, and

$$
\mathbb{A} = -i\,J_n\,\Omega - \frac12\,\mathbb{C}^\flat\,\mathbb{C}, \quad \mathbb{B} = -\mathbb{C}^\flat, \quad \mathbb{C}=\Delta(C_-, C_+), \quad \mathbb{D}=I_{2m}
$$

with $(\cdot)^\flat$ denoting the $J$-weighted adjoint. The admissible coordinate transformations $T$ on $\breve a$ are restricted to those preserving canonical commutation relations:

$$
T\,J_n\,T^\dagger = J_n.
$$

Such $T$ are called Bogoliubov transformations. In the real quadrature representation $x=(q,p)^\top$, only real symplectic transformations $S \in \mathbb{R}^{2n\times 2n}$ with $S \, \mathbb{J}\, S^\top = \mathbb{J}$ are permitted [1606.05719].

## 2. Invariant Subspace Structure: Fourfold Partition

Analogous to the classical case, the system’s state space decomposes into four invariant subspaces, determined by controllability and observability:

- $R_{co}$: controllable and observable
- $R_{c\bar o}$: controllable but unobservable
- $R_{\bar co}$: observable but uncontrollable
- $R_{\bar c\bar o}$: neither controllable nor observable

These subspaces are defined via the controllability and observability matrices (or their Gramian analogs):

- Controllability matrix: $\mathcal{C} = [\,B\,\, AB\,\,\dots\,\,A^{2n-1}B\,]$
- Observability matrix: $\mathcal{O} = \begin{pmatrix} C \\ C\,A \\ \vdots \\ C\,A^{2n-1} \end{pmatrix}$

The column space of $\mathcal{C}$ gives the controllable subspace; the kernel of $\mathcal{O}$ gives the unobservable subspace. The four subspaces are characterized by intersections and complements of these spaces, with quantum constraints requiring, for instance, that $c\bar o$ and $\bar co$ appear in conjugate pairs [1606.05719, 1609.05982, 2312.16082].

## 3. Canonical Kalman Form for Quantum Systems

A central result is that, for any linear quantum system, there exists a physically admissible (symplectic or Bogoliubov) transformation that block-diagonalizes the system matrices into Kalman canonical form:

For $x \in \mathbb{R}^{2n}$ in the real quadrature frame, the coordinate transformation $x \mapsto \hat{x} = Vx$ ($V$ symplectic) yields:

- $\hat{x}=(\hat{q}_a,\hat{q}_b,\hat{q}_c,\hat{p}_a,\hat{p}_b,\hat{p}_c)$, partitioned according to the dimensions of the respective subspaces.
- The system matrices $(A,B,C)$ acquire a block structure, with each block associated to one of the four subspaces. Explicitly, the modes with both controllability and observability couple to both input and output; those with only controllability or observability couple only in the corresponding direction; the uncontrollable-unobservable modes are dynamically isolated [1609.05982, 1606.05719, 2312.16082].

The canonical form of the $A$-matrix, for instance, is:

$$
\hat{A}=\begin{pmatrix}
A_{co,11} & A_{13,1} & 0 & A_{co,12} & 0 & 0 \\
0 & A_{\bar co} & 0 & 0 & 0 & 0 \\
0 & A_{43,1} & A_{\bar c\bar o,11} & 0 & 0 & A_{\bar c\bar o,12} \\
A_{co,21}& A_{13,2} & 0 & A_{co,22} & 0 & 0 \\
A_{21,1}& A_{23} & A_{24,1} & A_{21,2} & A_{c\bar o}&A_{24,2} \\
0 & A_{43,2} & A_{\bar c\bar o,21} & 0 & 0 & A_{\bar c\bar o,22}
\end{pmatrix}
$$

Off-diagonal and zero blocks clarify the selective coupling between subsystems [1609.05982].

## 4. Explicit Construction Methods

Three core methodologies for effecting the decomposition have been developed:

1. **One-Sided Symplectic SVD of the Observability Matrix:** Given a real quadrature LQSS, a one-sided symplectic SVD (Xu–Long–Pope 2003) is applied to the observability matrix $\mathcal{O} = Q E Z^{-1}$. The symplectic matrix $Z$ then yields the required change of coordinates $x \mapsto \hat{x} = Z^{-1} x$ [1609.05982].

2. **Direct Orthogonal-Symplectic Gramian Approach:** The controllability and observability Gramians, $W_c$ and $W_o$, are block-diagonalized using real orthogonal, block-symplectic matrices constructed from their image and kernel spaces. This method yields a concrete, algorithmic synthesis of the Kalman decomposition in quadrature coordinates [2312.16082].

3. **Gram–Schmidt Construction in the Doubling Picture:** For the doubled-up (Bogliubov) representation, the Kalman transformation matrix $T$ is constructed to ensure that its columns span bases of the four invariant subspaces, with $c\bar o$ and $\bar co$ paired as required by quantum constraints [1606.05719].

Each method yields the same canonical structure and is illustrated by explicit computation for prototype systems.

## 5. Quantum Resource Modes and Physical Implications

The decomposition transparently identifies quantum subsystems of operational significance:

- **Decoherence-Free Subsystems (DFS):** The $\bar c\bar o$ modes are decoupled both from control and observation, representing DFSs that evolve autonomously and do not couple to environmental noise or measurement [1606.05719, 1609.05982].

- **Quantum-Nondemolition (QND) Variables:** Each $\bar co$ mode, by its construction, commutes with itself at all times and can be measured without back-action disturbance on its conjugate partner. All $\bar co$ observables together form a quantum-mechanics-free subsystem (QMFS), useful in quantum metrology and measurement [1606.05719].

- **Back-Action-Evading (BAE) Measurements:** The structure of the canonical form reveals subsystems (notably $c\bar o$/$\bar co$ conjugate pairs) where BAE measurements are possible: certain input quadratures can be inferred from output without ever feeding back to disturb conjugate variables [1606.05719, 1609.05982].

These correspondences provide a systematic way to engineer and certify quantum resource subsystems in practical applications.

## 6. Illustrative Examples

Typical case studies include:

- **Three-Mode Optomechanical System:** For $n=3$, with Hamiltonian $H=\frac{\omega}{2}(q_3^2+p_3^2)+\lambda(q_1+q_2)q_3$ and coupling $L=(\gamma/\sqrt2)(q_3 + i p_3)$, the Kalman transformation identifies one co mode, one $c\bar o$/$\bar co$ conjugate pair, and one DFS ($\bar c\bar o$). The specific transformation yields
  $$
  \hat{q}_1=q_3,\quad \hat{p}_1=p_3,\quad \hat{q}_2=\frac{q_1+q_2}{\sqrt2},\quad \hat{p}_2=\frac{p_1+p_2}{\sqrt2},\quad \hat{q}_3=\frac{q_1-q_2}{\sqrt2},\quad \hat{p}_3=\frac{p_1-p_2}{\sqrt2}
  $$
  which directly reveal the system’s modal structure [1609.05982, 2312.16082].

- **Passive Two-Mode Optical System:** With $C_-=[1\,1]$ and $\Omega_-=I_2$, the passive system reduces to a DFS (dark mode) and a co mode, with the absence of $c\bar o$/$\bar co$ pairs [1606.05719].

Such explicit examples demonstrate the practical computation of the decomposition and the elucidation of quantum resource modes.

## 7. Significance and Extensions

The quantum Kalman decomposition offers a rigorous canonical analysis tool for quantum control, quantum measurement theory, and quantum information processing. Its ability to reveal DFSs, QND variables, QMFSs, and BAE structures unifies classical systems analysis with fundamental quantum resources. The framework is applicable to both passive and active systems and applies to physical implementations from circuit QED to optomechanics. The methodology has been extended from the original construction [1606.05719, 1609.05982] to recent Gramian-based algorithms [2312.16082], providing concrete paths for automated decomposition and resource certification in high-dimensional systems.

Source: https://www.emergentmind.com/topics/quantum-kalman-decomposition