Past exam of the mathematics course of the University of Cambridge / 2010 / iii / Paper 50 / 1 / d / Solution

A quantum optimal control problem specifies a terminal task, admissible fields and resource costs. Pure-state transfer can minimize $1-|⟨{\psi }_d|\psi (T)⟩{|}^2$; mixed-state transfer on an accessible spectral orbit can minimize $\Vert \rho (T)-{\rho }_d{\Vert }_{\mathrm{HS}}^2/2$; preparing an observable value can minimize $-\mathrm{Tr}(O\rho (T))$. A gate task can minimize $1-|\mathrm{Tr}(U_d^{†}U(T)){|}^2/n^2$ for an $n$-dimensional Hilbert space, which is insensitive to an overall phase. These different terminal functions encode different tasks even when the dynamics are the same. Fluence penalties, amplitude bounds, bandwidth limits, or the total duration can be added to express experimental requirements.

For example, minimizesubject to $\dot{\rho }={\mathcal{L}}_f(\rho )$ and a specified $\rho (0)$. For a closed system, ${\mathcal{L}}_f(\rho )=-i[H_0+{\sum }_m{f}_m{H}_m,\rho ]$; for an open system add the known Lindblad equation dissipator. Introducing a Hermitian costate $\Lambda$ and taking the Hilbert-Schmidt inner product gives the forward and backward equations and functional gradientFor Hamiltonian controls the second term is $\mathrm{Tr}(\Lambda [-i{H}_m,\rho ])$. The adjoint is defined by the Hilbert-Schmidt inner product; in particular, the closed-system costate equation is $\dot{\Lambda }=-i[H,\Lambda ]$, integrated backward from its terminal condition. An unconstrained interior optimum has zero gradient; amplitude constraints replace this by the corresponding constrained first-order conditions.

Numerically, represent the fields by piecewise constant amplitudes $f_{m,j}$ on slices, or by a finite basis $f_m(t)={\sum }_j{a}_{mj}{b}_j(t)$ such as splines or Fourier modes. For piecewise constant closed-system dynamics, $U_j=e^{-i{H}_j\Delta t}$ and $U(T)=U_K\cdots U_1$. Forward products and backward costates provide all slice derivatives in one pair of propagations. In gradient ascent pulse engineering, update these amplitudes to improve the chosen objective, with projection onto amplitude bounds if needed. The exact slice derivative is the derivative of the matrix exponentialReplacing it by $-i\Delta t{H}_m{U}_j$ is only a short-slice approximation when $H_j$ and $H_m$ do not commute. Other gradient descent or nonlinear optimization methods can optimize the same finite parameter set; direct-adjoint looping avoids a separate dynamical simulation for each control coefficient.

A pulse is accepted after propagation with the actual constrained waveform confirms its terminal error and resource use. Sampling model uncertainties in the objective can favor robust pulses. Nonconvexity means a numerical stationary point need not be a global optimum, so initial guesses, convergence tolerances and a sufficiently resolved time grid matter.