---
title: Physically Realizable Quantum Controller
url: https://www.emergentmind.com/topics/physically-realizable-quantum-controller
type: topic
---

# Physically Realizable Quantum Controller

A physically realizable quantum controller is a controller specification that can be instantiated as an actual quantum dynamical system or as an experimentally executable control law without violating the structural constraints of quantum mechanics. In quantum systems theory, this means that a stochastic or state-space model arises from a bona fide open quantum model and preserves canonical or Pauli commutation relations under unitary or Markovian evolution [1208.3256][1304.6815][1501.05044]. In finite-dimensional and many-body control, the same phrase denotes controllers whose Hamiltonians, pulse policies, feedback interconnections, and readout-actuation interfaces obey hard physical constraints such as bounded amplitudes, finite bandwidth and slew rate, discrete sampling, dissipation, calibration offsets, locality of access, and platform-specific hardware limits [1701.00216][2501.14372][2209.09869].

## 1. Formal meaning and scope

The term spans several adjacent control-theoretic regimes. For open quantum systems driven by Bosonic fields, the controller is often modeled by a quantum stochastic differential equation (QSDE) in the Heisenberg picture, with an underlying Hudson–Parthasarathy evolution generated by a scattering operator $S$, a coupling operator $L$, and a Hamiltonian $H$. For finite-dimensional qubit or spin systems, the controller is typically a Hamiltonian law of the form
$$
H(t)=H_0+\sum_j u_j(t)H_j,
$$
with $u_j(t)$ restricted by actuator physics. In learning-based formulations, the controller is a policy $u(t)=\pi(o(t),\theta)$ whose output must already satisfy amplitude, bandwidth, quantization, and noise constraints rather than being post-processed afterward [1208.3256][2501.14372].

Across these settings, physical realizability is not merely implementability in a loose engineering sense. It is a structural compatibility condition between the controller model and the kinematics of the controlled quantum system. For linear and bilinear quantum stochastic models, this compatibility is encoded algebraically in CCR- or SU(2)-preserving identities. For coherent feedback, it requires that the controller itself be an open quantum system, not an arbitrary matrix realization. For pulse-level control, it requires that the synthesized waveform or switching schedule be admissible for the actual control stack, including DAC resolution, AWG timing, cryogenic switching, or field-delivery bandwidth [1304.6815][1010.3125][2209.09869].

A further broadening appears in many-body control architectures. Gateway control on spin networks and global-pulse control on analog simulators treat limited accessibility itself as part of the realizability condition: only a small subset of spins, or only spatially uniform fields, may be actuated, and controllability must then be certified under those access restrictions rather than under arbitrary local control assumptions [1701.00216][2508.19075].

## 2. Algebraic and stochastic criteria

For linear quantum stochastic systems in real quadratures, the standard model is
$$
dx(t)=Ax(t)\,dt+B\,dW(t),\qquad dy(t)=Cx(t)\,dt+D\,dW(t),
$$
with canonical commutation matrix $\Theta$. Physical realizability requires the state evolution to preserve the CCR and the input-output map to correspond to an open quantum harmonic oscillator. In quadrature form this yields the familiar constraints
$$
A\Theta+\Theta A^T + BJB^T = 0,\qquad \Theta C^T = -BJD^T\Theta,\qquad DJD^T=J,
$$
together with equivalent annihilation/creation-form relations such as $A^\cal + A^{\cal\flat} + B^\cal B^{\cal\flat}=0$ and $B^\cal=-C^{\cal\flat}D^\cal$ [1501.05044][2604.06574].

A central consequence is that an arbitrary synthesized LTI controller is generally not quantum-mechanically admissible as written. If additional vacuum inputs are allowed, however, any given linear model can be made physically realizable. The exact minimal number of additional quantum noise quadratures is determined by the rank of the residual PR-violation matrix. In the formulation using signal input $B_u$, this matrix is
$$
\tilde S=\Theta B_u \Theta_{n_u} B_u^T \Theta - \Theta A - A^T\Theta - C^T\Theta_{n_y}C,
$$
and the minimum added noise dimension is $n_{v_2}=\operatorname{rank}(\tilde S)$, so the total number of introduced vacuum quadratures is $n_v=n_u+\operatorname{rank}(\tilde S)$ [1501.05044]. In the closely related formulation of linear time-invariant quantum implementation, the same minimality statement appears as the exact necessity-and-sufficiency result $n_v=n_u+r$ with $r=\operatorname{rank}(\tilde S)$ [1304.6815].

For open two-level systems, the situation is intrinsically bilinear rather than linear because the system variables are Pauli operators. With $x=(\sigma_1,\sigma_2,\sigma_3)^T$, Hamiltonian $H=ax$, coupling $L=Ax$, and the SU(2) structure map $\Theta(\beta)$, the bilinear QSDE
$$
dx = F_0\,dt + Fx\,dt + G_1x\,dW_1 + G_2x\,dW_2
$$
is physically realizable if and only if there exist $a\in\mathbb R^3$ and $A\in\mathbb C^3$ such that
$$
F_0 = \tfrac12 (G_1-iG_2)(H_1+iH_2)^\dagger,\quad
G_1=\Theta(H_2),\quad
G_2=-\Theta(H_1),
$$
and
$$
F+F^T+G_1G_1^T+G_2G_2^T=0.
$$
These conditions are equivalent to the existence of a genuine Markovian qubit model and imply preservation of the Pauli commutation relations throughout the stochastic evolution [1208.3256].

The system-theoretic significance of these results is twofold. First, physical realizability turns controller synthesis into a constrained algebraic problem rather than a purely numerical optimization. Second, the constraints are constructive: once the realizability identities hold, one can recover the controller Hamiltonian and coupling operators explicitly, or determine the minimal extra noise ports needed to embed an otherwise nonphysical linear controller into a valid quantum implementation [1208.3256][1304.6815].

## 3. Coherent-feedback synthesis and performance limits

In coherent feedback, the controller is itself a quantum system interconnected with the plant without intermediate measurement. For coherent quantum LQG control, the controller QSDE has the form
$$
d\xi_t = a\xi_t\,dt + b_1\,d\omega_t + b_2\,dy_t,\qquad
d\eta_t = c\xi_t\,dt + d\omega_t,
$$
and physical realizability imposes
$$
aJ_0 + J_0 a^T + bJb^T = 0,\qquad b_1 = J_0 c^T J_2.
$$
A Hamiltonian parametrization then writes
$$
a = J_0R + bJb^T J_0/2,\qquad c = J_2 \Upsilon^T b^T J_0,
$$
with $R$ symmetric. This parametrization is the basis of the quasi-separation principle and Newton-like iterative scheme developed for coherent quantum LQG synthesis: the optimization is carried out over $(R,b)$ rather than over arbitrary state-space matrices, so physical realizability is enforced by construction [1010.3125].

For coherent $H^\infty$ control of quantum linear systems, the same structural constraint persists, but the recent synthesis methodology emphasizes computational simplification. Instead of solving two coupled algebraic Riccati equations, a physically realizable coherent-feedback $H^\infty$ controller can be obtained by solving at most four Lyapunov equations in the general case. In the passive case, a necessary-and-sufficient condition is given in terms of two uncoupled pairs of Lyapunov equations. This reduction relies on the quantum structural symmetry $A_y=-A_x^\sharp$ and yields stabilizing controllers with guaranteed disturbance attenuation and PR-compliant auxiliary ports [2604.06574].

Performance limits for quantum controllers can also be stated kinematically. When a plant $S$ is coupled coherently to an auxiliary quantum controller $C$, the observable yield
$$
J = \operatorname{Tr}\!\big[U(t_f) P U^\dagger(t_f)\Theta\big]
$$
lies between the classical kinematic bound (CKB), attainable with classical control only, and the quantum kinematic bound (QKB), attainable with a quantum controller. Surpassing the upper CKB is possible if and only if the controller spectral bandwidth satisfies
$$
B_c > \min_{1\le i<r} g_{\mu_i},
$$
and exact attainment of the QKB requires the rank–degeneracy condition
$$
(N_s-N_{s0})(N_c-N_{c0}) \le n_r N_c.
$$
These conditions quantify how controller entropy capacity, controller dimension, and objective degeneracy limit or enable coherent quantum feedback performance [1412.5287].

Taken together, these results establish a distinctive systems-theoretic notion of a physically realizable controller: it is not enough for a controller to stabilize or optimize an abstract model; its state-space realization must be compatible with an oscillator or spin implementation, with the necessary ancillary vacuum channels, Hamiltonian parametrization, and field commutation structure built into the synthesis procedure itself [1010.3125][2604.06574].

## 4. Access-limited controllability in many-body systems

In large spin networks, physical realizability is often constrained by limited access rather than by stochastic state-space structure. Gateway schemes formalize this setting by restricting actuation and measurement to a small accessible subset $\mathcal G\subset V$ of spins while using the intrinsic drift Hamiltonian to propagate control through the network. For Heisenberg/XYZ couplings on a graph $G=(V,E)$, the key controllability theorem states that if the coupling is algebraically propagating and the gateway set $C$ infects $V$ under the zero-forcing rule, then
$$
\langle iH_V,\mathcal L(C)\rangle = \mathcal L(V)=su(2^N).
$$
Heisenberg-like couplings satisfy the algebraic propagation condition, so any Heisenberg/XYZ network with an infecting gateway is controllable; in particular, chains with arbitrary couplings are controllable from one end spin. For XX chains, control by a single local field $B_1(t)$ on spin 1 yields transport unitaries in the Jordan–Wigner picture, with numerically observed swap time scaling $T_N\propto N^2/J$ and gate fidelities greater than $1-10^{-4}$ up to $N=40$ [1701.00216].

A related but more restrictive architecture appears in globally controlled analog simulators. For a qubit chain with only global fields
$$
H_X=\sum_j X_j,\qquad H_Z=\sum_j Z_j,\qquad H_{ZZ}=\sum_{\langle i,j\rangle} Z_iZ_j,
$$
the dynamical Lie algebra equals $su(2^N)$ if and only if at least one additional global control field breaks lattice reflection symmetry. This gives a necessary-and-sufficient universality criterion for global-pulse control: reflection symmetry is the obstruction, and any globally addressable symmetry-breaking field removes it. The same work extends the criterion to fermionic and bosonic superlattices, where alternating global hoppings and chemical potentials generate all nearest-neighbor hopping and onsite terms, and combined with a Hubbard interaction yield universal dynamics on fixed-particle-number sectors [2508.19075].

The practical importance of these controllability theorems is that they bridge abstract Lie closure and hardware-constrained control synthesis. In the gateway setting, control acts only on a physically accessible subset and must respect amplitude, bandwidth, and slew-rate bounds. In the global-control setting, the actuation is spatially uniform by design, and the controller is realized as a short, smooth pulse pair optimized directly under experimental bounds. On a QuEra Rydberg array outside blockade, direct quantum optimal control with the constraints $0<\Omega<2.41$ MHz, $-19.9<\Delta<19.9$ MHz, $|\delta\Omega/\delta t|<39.7$ MHz/$\mu$s, $|\delta\Delta/\delta t|<397$ MHz/$\mu$s, and $\delta t\ge 0.05\,\mu$s synthesized effective ZXZ dynamics. Two pulse families were reported: a short pulse with $T=1.2\,\mu$s and unitary fidelity $\approx 89.4\%$ on 3 atoms, and a longer pulse with $T=3.6\,\mu$s and unitary fidelity $\approx 94.5\%$, with the shorter pulse giving better experimental signatures because decoherence accumulated less strongly [2508.19075].

Physical realizability in many-body control therefore has a topological aspect as well as a hardware aspect. Infection, symmetry breaking, degeneracy lifting, and localization length determine whether control can propagate through the many-body Hilbert space at all, while actuator limits determine whether the resulting controllable trajectories are executable on the platform [1701.00216][2508.19075].

## 5. Hardware-constrained pulse synthesis and physical-layer control

A hardware-constrained controller is physically realizable only if its action space is already matched to laboratory electronics. In reinforcement-learning-based quantum control, this requirement is made explicit by constraining the policy output to bounded amplitudes, finite bandwidth and slew rate, discrete sampling and DAC quantization, realistic noise and dissipation, and calibration imperfections. The policy therefore searches only over experimentally admissible signals. In the reported implementation, actions are filtered by Gaussian convolution as a hardware bandwidth proxy, endpoints of amplitude pulses are forced to zero, and a hard cap on the maximum number of ODE solver steps $N^{\max}_{\mathrm{Sim}}$ biases the search toward adiabatic-like trajectories while reducing solver stiffness. Using PPO in PureJAXRL, with Qiskit-Dynamics and Diffrax and up to 1024 policies in parallel on a single GPU, the method reached fidelities exceeding $0.999$ across a multilevel $\Lambda$ system, a neutral-atom Rydberg two-qubit gate, and a superconducting transmon reset, with specific results including $\overline{\mathcal F}\approx 0.999\pm 0.0003$ for the $\Lambda$ system, $\mathcal F=0.9993$ for a two-photon Rydberg C–Z gate at $0.25\,\mu$s, and $\mathcal F=0.9997$ for a transmon reset at $T_1=500\,\mu$s [2501.14372].

A complementary route eliminates arbitrary waveform generators altogether. In the on/off or few-level switching protocol, each control channel is restricted to a finite alphabet such as $\{0,\pm \xi_k\}$, and optimization is performed over switching instants rather than over arbitrary amplitudes. Because the Hamiltonian at any moment belongs to a finite set, each allowed Hamiltonian can be pre-diagonalized once, reducing the cost of repeated matrix exponentials. The method preserves controllability under the usual Lie-rank conditions and produced superconducting-circuit examples with a 10 ns NOT gate at fidelity $0.9999$, a 20 ns CNOT at fidelity $0.9999$, and a 30 ns CCZ at fidelity $0.9999$. In the same examples, naively converted staircase AWG waveforms performed worse, with reported fidelities $0.9997$, $0.9848$, and $0.9195$ respectively [2209.09869].

At the physical-layer controller interface, Walsh-function hardware offers a deterministic low-latency classical companion to quantum control. An FPGA-based Walsh controller generated all first $n$ Walsh functions concurrently, with total trigger-to-output latency of 4.5 clock cycles at a 100 MHz clock, i.e. 45 ns. Full programming required only 345 bits, LUT utilization for the first 8 Paley orders was under 5% on a Xilinx Zynq-7010, and Walsh-sequence calculation was reported as about $8{,}000\times$ faster than on a microcontroller. The same architecture synthesized Walsh timing signals and Walsh-based AM, $\Phi$M, and QAM waveforms for dynamic error suppression and signal reconstruction, providing a physically scalable classical-quantum interface [1608.02607].

These approaches share a common design principle: experimental feasibility must be embedded into controller synthesis, not imposed afterward as a heuristic correction. In that sense, bounded action parameterizations, few-level switching alphabets, deterministic FPGA timing, solver-step caps, and filter-function-compatible waveforms are all realizability constraints of the controller itself [2501.14372][2209.09869][1608.02607].

## 6. Specialized controller architectures and realizability limits

Several physically realizable controller paradigms are neither purely linear-system-theoretic nor conventional pulse optimizers. One example is finite-time dissipative state preparation by a resettable ancilla qubit. With complete unitary control on an $N$-qubit target register, a single resettable ancilla qubit, and controlled-NOT gates between ancilla and target, one can build a sequence of $N$ control blocks based on splitting subspaces $S_k$ whose intersection is the desired pure state. Each block implements the CPTP map
$$
\mathcal E_S(\rho)=P_S\rho P_S + U_- P_{S^\perp}\rho P_{S^\perp}U_-^\dagger,
$$
so population in $S^\perp$ is deterministically pumped into $S$. The composition of $N$ such blocks prepares an arbitrary $N$-qubit pure state in exactly $N$ steps, providing a dead-beat coherent-feedback controller rather than an asymptotic dissipative one [1209.5568].

Another example is holonomic control in continuous-variable cat-code manifolds stabilized by engineered dissipation. For a single mode with annihilation operator $a$, the Lindblad jump operator
$$
F(t)=\prod_{\mu=0}^{d-1}\bigl(a-\alpha_\mu(t)\bigr)
$$
stabilizes a decoherence-free subspace spanned by coherent states $|\alpha_\mu\rangle$. Adiabatically moving one $\alpha_\mu$ around a closed loop yields a Berry phase
$$
\phi_B = \operatorname{Im}\oint \alpha^* d\alpha = 2A,
$$
where $A$ is the enclosed phase-space area. Together with the collision gate for merging coherent states and the two-mode “infinity” gate based on the jump operators $F_I=(a-\alpha)(a+\alpha)$ and $F_{II}=(ab-\mu^2)(ab+\mu^2)$, these holonomies form a universal set on cat-code encodings. The scheme was proposed as realizable by reservoir engineering in systems with tunable nonlinearities, notably trapped ions and circuit QED [1503.00194].

A third architecture stores the control program in a quantum state. For a spin-$j$ program system coupled coherently to a target qubit, the optimal program is a spin-coherent state $|j,j\rangle_{\mathbf n}$ encoding an unknown rotation axis $\mathbf n$, and the controller action is generated by an isotropic Heisenberg interaction
$$
U_\theta = \exp\!\left[-i\,f(\theta)\,\frac{\mathbf J\cdot \boldsymbol{\sigma}}{2j+1}\right].
$$
The resulting channel is physically realizable by a unitary on program and system alone. Its coherent performance strictly exceeds the best measure-and-operate benchmark for all $\theta$ and $j\ge 3/2$; at $\theta=\pi$ and $j=3/2$, the classical benchmark is at most $0.64$, whereas the coherent controller reaches approximately $0.71$ [1706.04128].

Realizability can also become a spectral or arithmetic constraint. In the quantum Zermelo problem with a fixed Hilbert–Schmidt resource bound $\operatorname{tr}(H_c^2)=k$, the optimal controller co-moves with the drift,
$$
H_c(t)=e^{-iH_0(t-t_i)}H_c(t_i)e^{iH_0(t-t_i)},
$$
and saturates the geometric energy–time relation
$$
\phi = \Delta T \sqrt{k/2}.
$$
For low-dimensional examples, however, physically realizable controls exist only for quantized energy resources. In the single-qubit oscillator example,
$$
k=\frac{\varepsilon_f^2}{2(n+1/2)^2},
$$
and in the Heisenberg spin dimer,
$$
k=\frac{(J_z-J_-)^2}{2(n+1/2)^2}.
$$
These quantization conditions arise because the optimal abstract control must also match the operator structure available in hardware, such as a dipole drive or a Zeeman term [2005.07304].

The aggregate picture is that physically realizable quantum controllers are bounded not only by controllability and optimization but also by representability: the controller must fit an admissible open-system model, an available actuator algebra, a realizable dissipation channel, or a programmable interaction architecture. This suggests a persistent research frontier at the intersection of algebraic realizability, controllability under restricted access, and hardware-level co-design, especially for large Hilbert spaces, strong disorder, model uncertainty, and platforms where verification remains limited by available measurements [1209.5568][1503.00194][1706.04128][2005.07304].

Source: https://www.emergentmind.com/topics/physically-realizable-quantum-controller