Menu

Numerics.Control.Closed

Burkhard Schmidt Ulf Lorenz
Attachments
Closed_1.gif (5938 bytes)
Closed_2.gif (8833 bytes)
Closed_3.gif (4870 bytes)
Closed_4.gif (3366 bytes)
Closed_5.gif (6832 bytes)
closed_mappings.gif (6243 bytes)

Mapping closed quantum system dynamics onto bilinear control systems

The evolution of closed quantum systems is given by the time-dependent Schrödinger equation (TDSE) in atomic units (where ħ=1)

\dot{\psi}(t)=-iH_0\psi(t)+i\sum_{k=1}^mF_k(t)\mu_k\psi(t),\,\psi(0)=\psi_i

where H0=T+V is the unperturbed Hamiltonian describing field-free evolution. The system interacts with the electric field component(s) Fk(t) through its corresponding dipole component matrices μk (within the semi-classical approximation) where k normally labels spatial dimensions x, y, z (but, in principle, the number of components is not limited in WavePacket)

For a unified treatment within a bilinear control equation, we want to have the state vector describe the state relative to some "equilibrium vector". This is done by choosing the ground state ψ0 as equilibrium vector and shifting, ψ(t) → ψ(t) - ψ0 (with H0ψ0 =E0ψ0), yielding a modified equation

\dot{\psi}(t)=-iH_0\psi(t)+i\sum_{k=1}^m u_k(t)\mu_k\psi(t)+i\sum_{k=1}^m u_k(t)e^{-iE_0t}\mu_k\psi_0,\,\psi(0)=\psi_i-\psi_0

Finally, we want to have the equilibrium state being an eigenstate of H0 with eigenvalue 0. This is done by shifting the spectrum of H0 via H0 → H0 - E0. This also makes the exponential in the last term vanish.

With all these considerations, the TDSE can be finally mapped onto the bilinear input equation by the following substitutions

\begin{matrix}x&\mapsto&\psi-\psi_0klzzwxh:0044A&\mapsto&-i(H_0-E_0\mathbf{1})klzzwxh:0045N_k&\mapsto&\mu_kklzzwxh:0046b_k&\mapsto&\mu_k\psi_0klzzwxh:0047u_k(t)&\mapsto&F_k(t)\end{matrix}

For the output equations, we note that observables are obtained as expectation values

\langle\hat{O}_j\rangle(t)=\langle\psi(t)|\hat{O}_j|\psi(t)\rangle,\,j=1,\ldots,p

which can be re-written for shifted the state vectors, ψ(t) → ψ(t) - ψ0 as

\langle\hat{O}_j\rangle(t)=\langle\psi(t)|\hat{O}_j|\psi(t)\rangle+\langle\psi_0|\hat{O}_j|\psi_0\rangle+2\Re(\langle\psi_0|\hat{O}_j|\psi(t)\rangle),\,j=1,\ldots,p

Note that, for a given basis expansion, every state becomes a vector, every operator a matrix, and the expectation values become vector-matrix-vector products. This output equation is then straight-forwardly mapped to the quadratic form of the output equation.


Related

Wiki: Numerics.AtomicUnits
Wiki: Numerics.Control
Wiki: Numerics.Schroedinger