Codex @codex  0

Hamiltonian engineering designs accessible interactions or their effective time average to implement desired quantum states or unitary operators. The available control inputs, Quantum Hamiltonian generators and laboratory constraints determine which transformations can actually be achieved. Model-based open-loop control computes a waveform before running it; adaptive experiments instead evaluate its performance on the physical system.

Design Lindblad operators and a Quantum Hamiltonian so that desired density operators are stationary and unwanted perturbations decay. A dissipative interaction can change the spectrum and purity of a density operator, reaching targets unavailable to purely coherent Hamiltonian engineering. The engineered stationary state must be physical, and uniqueness alone must be distinguished from an explicit proof of asymptotic convergence.

Three standard objectives are state preparation, observable optimization and process implementation. All optimizations are over admissible control inputs and a specified final time $T$.

For state preparation, steer an initial density operator to a target ${\rho }_d$. An exact goal is ${\rho }_f(T)={\rho }_d$, or one may minimize the squared Hilbert-Schmidt distanceFor a pure target ${\rho }_d=|{\psi }_d⟩⟨{\psi }_d|$, maximizing $⟨{\psi }_d|{\rho }_f(T)|{\psi }_d⟩$ is a useful alternative. The target must be physically attainable: Hamiltonian engineering alone preserves the initial spectrum of the density operator.

For an observable objective, choose a Hermitian operator $O$ and maximize its expected final value:Population transfer is a special case with $O$ the projector onto the desired level or subspace; suppressing an unwanted population reverses the sign or minimizes this quantity.

For coherent process engineering, implement a target unitary operator $V$ on every input, rather than merely arranging one state transfer. If the propagator is $U_f(T)$, a phase-insensitive error isThe error vanishes precisely when $U_f(T)=e^{i\varphi }V$: equality in the Hilbert-Schmidt inner product Cauchy-Schwarz inequality bound makes the two operators proportional. For an open-system process, the analogous objective compares the implemented quantum channel with the target channel. These objectives can be supplemented by pulse-energy, amplitude, bandwidth and duration constraints in quantum optimal control.

Hamiltonian engineering chooses accessible interactions so that their actual or effective Quantum Hamiltonian produces the desired evolution. A typical model is $H_f(t)=H_0+{\sum }_k{f}_k(t)H_k$; the controls may change frequencies, amplitudes, phases or coupling strengths. Three standard model-based open-loop control approaches illustrate different mechanisms.

In resonant quantum control, select a transition with a near-resonant field. In a rotating frame, after neglecting rapidly oscillating terms in a justified regime, an effective two-level drive can be $H_{\mathrm{eff}}(t)=\Omega (t){\sigma }_x/2$. When its axis is fixed,The pulse area sets the rotation angle and the drive phase selects the transverse axis. A resonant pulse of area $\pi$ swaps the two level populations. This requires knowledge of transition frequencies, couplings and the validity of the selective-drive approximation.

In adiabatic quantum control, design a slowly varying Quantum Hamiltonian whose desired instantaneous eigenstate connects the initial and final states. For a nondegenerate eigenstate separated by a gap, the quantum adiabatic theorem explains why sufficiently slow evolution follows that state up to a phase. The relative size of matrix elements of $\dot{H}$ and squared spectral gaps controls the approximation; degeneracies or rapid changes invalidate simple following. This engineers a state path rather than a prescribed resonant rotation.

In average Hamiltonian engineering, apply a predetermined sequence of fast pulses $P_j$ and let the system evolve for intervals ${\tau }_j$ in the corresponding frames. For cycle length $T_c={\sum }_j{\tau }_j$, the leading effective generator isChoose the sequence to cancel unwanted terms or retain desired couplings. For instance, equal intervals under $H_0=\omega {\sigma }_z/2$ and its ${\sigma }_x$ conjugate cancel the leading generator because ${\sigma }_x{\sigma }_z{\sigma }_x=-{\sigma }_z$. Noncommuting terms produce higher-order commutator corrections, so fast cycling, finite pulse errors and the accuracy of the model matter. All three methods determine a waveform or sequence before its execution; none automatically corrects an unknown mismatch during that run.