Kicked rotator

The kicked rotator, also spelled as kicked rotor, is a paradigmatic model for both Hamiltonian chaos (the study of chaos in Hamiltonian systems) and quantum chaos. It describes a free rotating stick (with moment of inertia $I$) in an inhomogeneous "gravitation like" field that is periodically switched on in short pulses. The model is described by the Hamiltonian

Phase portraits (p vs. x) of the classical kicked rotor at different kicking strengths. The top row shows, from left to right, K = 0.5, 0.971635, 1.3. The bottom row shows, from left to right, K = 2.1, 5.0, 10.0. The phase portrait at the chaotic boundary is the upper middle plot, with K_C = 0.971635. At and above K_C, regions of uniform, grainy-coloured, quasi-random trajectories appear and eventually consume the entire plot, indicating chaos.

${\mathcal {H}}(\theta ,p_{\theta },t)={\frac {p_{\theta }^{2}}{2I}}+K\cos \theta \sum _{n=-\infty }^{\infty }\delta \left({\frac {t}{T}}-n\right)$,

where $\theta \in [0,2\pi ]$ is the angular position of the stick ($\theta =\pi$ corresponds to the position of the rotator at rest), $p_{\theta }$ is the conjugated momentum of $\theta$, $\textstyle K$ is the kicking strength, $T$ is the kicking period and $\textstyle \delta$ is the Dirac delta function.

Classical properties

Stroboscopic dynamics

The equations of motion of the kicked rotator write$${\frac {\mathrm {d} \theta }{\mathrm {d} t}}={\frac {\partial {\mathcal {H}}}{\partial p}}={\frac {p}{I}}\quad {\text{and}}\quad {\frac {\mathrm {d} p}{\mathrm {d} t}}=-{\frac {\partial {\mathcal {H}}}{\partial \theta }}=K\sin \theta \sum _{n=-\infty }^{\infty }\delta \left({\frac {t}{T}}-n\right)$$Theses equations show that between two consecutive kicks, the rotator simply moves freely: the momentum $p$ is conserved and the angular position growths linearly in time. On the other hand, during each kick the momentum abruptly jumps by a quantity $KT\sin \theta$, where $\theta$ is the angular position near the kick. The kicked rotator dynamics can thus be described by the discrete map$$p_{n+1}=p_{n}+KT\sin \theta _{n}\quad {\text{and}}\quad \theta _{n+1}=\theta _{n}+{\frac {T}{I}}p_{n+1}$$where $\theta _{n}$ and $p_{n}$ are the canonical coordinates at time $t=nT^{-}$, just before the $n$-th kick. It is usually more convenient to introduce dimensionless momentum ${\textstyle p\rightarrow p/{\frac {I}{T}}}$, time ${\textstyle t\rightarrow t/T}$ and kicking strength ${\textstyle K\rightarrow K/{\frac {I}{T^{2}}}}$ to reduce the dynamics to the single parameter map$$p_{n+1}=p_{n}+K\sin \theta _{n}\quad {\text{and}}\quad \theta _{n+1}=\theta _{n}+p_{n+1}$$known as Chirikov standard map, with the caveat that $p_{n}$is not periodic as in the standard map. However, one can directly see that two rotators with same initial angular position $\theta _{0}$ but shifted dimensionless momentum $p_{0}$ and ${\textstyle p_{0}+2\pi l}$ (with $l$ an arbitrary integer) will have the same exact stroboscopic dynamics, but with dimensionless momentum shifted at any time by ${\textstyle 2\pi l}$ (this is why stroboscopic phase portraits of the kicked rotator are usually displayed in a single momentum cell ${\textstyle p\in [-\pi ,\pi ]}$).

Transition from integrability to chaos

The kicked rotator is a prototype model used to illustrate the transition from integrability to chaos in Hamiltonian systems and in particular the Kolmogorov–Arnold–Moser theorem. In the limit $K=0$, the system describes the free motion of the rotator, the momentum is conserved (the system is integrable) and the corresponding trajectories are straight lines in the $(\theta ,p)$ plane (phase space), that is tori. For small, but non-vanishing perturbation $K$, instabilities and chaos starts to develop. Only quasi-periodic orbits (represented by invariant tori in phase space) remain stable, while other orbits become unstable. For larger $K$, invariant tori are eventually destroyed by the perturbation. For the value $K=K_{c}\approx 0.971635\dots$, the last invariant tori connecting $\theta =-\pi$ and $\theta =\pi$ in phase space is destroyed.

Kicker Rotor Phase Portrait Animation

Diffusion in momentum direction

For $K>K_{c}$, chaotic unstable orbits are no longer constraints by invariant tori in the momentum direction and can explore the full phase space. For $K\gg K_{c}$, the particle after each kicks typically moved over a large distance, which strongly modifies the amplitude and sign of the following kick. At long time enough, the particle as thus been submitted to a series of kicks with quasi-random amplitudes. This quasi-random walk is responsible for a diffusion process in the momentum direction $\langle (\Delta p_{n})^{2}\rangle =2D_{\text{cl}}n$ (where the average runs over different initial conditions).

More precisely, after $n$ kicks, the momentum $p_{n}$ of a particle with initial momentum $p_{0}$ writes ${\textstyle p_{n}=p_{0}+K\sum _{i=0}^{n-1}\sin \theta _{i}}$ (obtained by iterating $n$ times the standard map). Assuming that kicks are randoms and uncorrelated in time, the spreading of the momentum distribution writes$$\left\langle {(\Delta p)}^{2}\right\rangle =\left\langle {(p_{n}-p_{0})}^{2}\right\rangle =K^{2}\sum _{i=0}^{n-1}\left\langle {\sin }^{2}\theta _{i}\right\rangle +K^{2}\sum _{i\neq j}^{}\left\langle \sin \theta _{i}\sin \theta _{j}\right\rangle \approx K^{2}\sum _{i=0}^{n-1}\left\langle {\sin }^{2}\theta _{i}\right\rangle ={\frac {1}{2}}K^{2}n$$The classical diffusion coefficient in momentum direction is then given in first approximation by ${\textstyle D_{\text{cl}}={\frac {K^{2}}{4}}}$. Corrections coming from neglected correlation terms can actually be taken into account, leading to the improved expression$$D_{\text{cl}}={\frac {K^{2}}{4}}[1-2J_{2}(K)+2J_{2}^{2}(K)]$$where ${\textstyle J_{2}}$ is the Bessel function of first kind.

The quantum kicked rotator

Stroboscopic dynamics

The dynamics of the quantum kicked rotator (with wave function $|\psi (t)\rangle$) is governed by the time dependent Schrödinger's equation

$i\hbar {\frac {\partial }{\partial t}}|\psi (t)\rangle =\left[{\frac {{\hat {p}}^{2}}{2I}}+K\cos {\hat {\theta }}\sum _{n=-\infty }^{\infty }\delta \left({\frac {t}{T}}-n\right)\right]|\psi (t)\rangle$

with $[{\hat {\theta }},{\hat {p}}]=i\hbar$ (or equivalently ${\textstyle \langle \theta |{\hat {p}}|\psi \rangle =i\hbar {\frac {\partial \psi }{\partial \theta }}}$).

As for classical dynamics, a stroboscopic point of view can be adopted by introducing the time propagator over a kicking period ${\hat {U}}$ (that is the Floquet operator) so that $|\psi (t+T)\rangle ={\hat {U}}|\psi (t)\rangle$. After a careful integration of the time-dependent Schrödinger's equation, one finds that ${\hat {U}}$ can be written as the product of two operators$${\hat {U}}=\exp \left[-i{\frac {{\hat {p}}^{2}T}{2I\hbar }}\right]\exp \left[-i{\frac {KT}{\hbar }}\cos {\hat {\theta }}\right]$$We recover the classical interpretation: the dynamics of the quantum kicked rotor between two kicks is the succession of a free propagation during a time $T$ followed by a short kick. This simple expression of the Floquet operator ${\hat {U}}$ (a product of two operators, one diagonal in momentum basis, the other one diagonal in angular position basis) allows to easily numerically solve the evolution of a given wave function using split-step method.

Because of the periodic boundary conditions at $\theta =\pm \pi$, any wave function $|\psi \rangle$ can be expanded in a discrete momentum basis ${\textstyle |l\rangle }$ (with $p=l\hbar$, $l$ integer) see Bloch theorem), so that

$\langle \theta |\psi \rangle =\sum _{l=-\infty }^{\infty }\langle l|\psi \rangle \mathrm {e} ^{il\theta }\Leftrightarrow \langle l|\psi \rangle =\int _{-\pi }^{\pi }{\frac {\mathrm {d} x}{2\pi }}\langle \theta |\psi \rangle \mathrm {e} ^{-il\theta }$

Using this relation with the above expression of ${\hat {U}}$, we find the recursion relation$$\langle l|\psi (t+T)\rangle =\exp \left(-i{\frac {l^{2}\hbar T}{2}}\right)\sum _{m=-\infty }^{\infty }(-i)^{m-l}J_{m-l}\left({\frac {KT}{\hbar }}\right)\langle m|\psi (t)\rangle$$where $\textstyle {J}_{n}$ is a Bessel function of first kind.

Demonstration

Indeed, we have$$\langle l|\psi (t+T)\rangle =\langle l|{\hat {U}}|\psi (t)\rangle =\exp \left(-i{\frac {l^{2}\hbar T}{2I}}\right)\langle l|\exp \left(-i{\frac {KT\cos {\hat {\theta }}}{\hbar }}\right)|\psi (t)\rangle$$$$\langle l|\psi (t+T)\rangle =\exp \left(-i{\frac {l^{2}\hbar T}{2I}}\right)\int _{-\pi }^{\pi }{\frac {\mathrm {d} \theta }{2\pi }}\mathrm {e} ^{-il\theta }\exp \left(-i{\frac {KT\cos {\hat {\theta }}}{\hbar }}\right)\langle \theta |\psi (t)\rangle$$$$\langle l|\psi (t+T)\rangle =\exp \left(-i{\frac {l^{2}\hbar T}{2I}}\right)\int _{-\pi }^{\pi }{\frac {\mathrm {d} \theta }{2\pi }}\mathrm {e} ^{-il\theta }\sum _{n=-\infty }^{\infty }(-i)^{n}J_{n}\left({\frac {KT}{\hbar }}\right)\mathrm {e} ^{-in\theta }\sum _{m=-\infty }^{\infty }\mathrm {e} ^{im\theta }\langle m|\psi (t)\rangle$$$$\langle l|\psi (t+T)\rangle =\exp \left(-i{\frac {l^{2}\hbar T}{2I}}\right)\sum _{n,m=-\infty }^{\infty }(-i)^{n}J_{n}\left({\frac {KT}{\hbar }}\right)\left[\int _{-\pi }^{\pi }{\frac {\mathrm {d} \theta }{2\pi }}\mathrm {e} ^{i(m-l-n)\theta }\right]\langle m|\psi (t)\rangle$$$$\langle l|\psi (t+T)\rangle =\exp \left(-i{\frac {l^{2}\hbar T}{2I}}\right)\sum _{n,m=-\infty }^{\infty }(-i)^{n}J_{n}\left({\frac {KT}{\hbar }}\right){\frac {\sin([m-l-n])\pi }{(m-l-n)\pi }}\langle m|\psi (t)\rangle$$So that we recover the result, keeping only non vanishing terms $m-l-n=0$ in the double sum.

Dynamical localization

It has been discovered that the classical diffusion is suppressed in the quantum kicked rotator. It was later understood that this is a manifestation of a quantum dynamical localization effect that parallels Anderson localization. There is a general argument that leads to the following estimate for the breaktime of the diffusive behavior

$t^{*}\ \approx \ D_{cl}/\hbar ^{2}$

Where $D_{cl}$ is the classical diffusion coefficient. The associated localization scale in momentum is therefore $\textstyle {\sqrt {D_{cl}t^{*}}}$.

Link with Anderson tight-binding model

The quantum kicked rotor can actually formally be related to the Anderson tight-binding model a celebrated Hamiltonian that describes electrons in a disordered lattice with lattice site state $|n\rangle$, where Anderson localization takes place (in one dimension)$${\hat {H}}=\sum _{n}\varepsilon _{n}|n\rangle \langle n|+\sum _{n\neq m}t_{n-m}|n\rangle \langle m|$$where the $\varepsilon _{n}$ are random on-site energies, and the $t_{n-m}$ are the hoping amplitudes between sites $n$ and $m$.

In the quantum kicked rotator it can be shown, that the plane wave $|p\rangle$ with quantized momentum $p=n\hbar$ play the role of the lattice sites states. The full mapping to the Anderson tight-binding model goes as follow (for a given eigenstates of the Floquet operator, with quasi-energy $\omega$)$$t_{n}=-\int _{-\pi }^{\pi }{\frac {\mathrm {d} x}{2\pi }}\tan[K\cos(x)/2]\mathrm {e} ^{-ixn}\quad {\text{and}}\quad \varepsilon _{n}=\tan(\omega /2-n^{2}/4)$$Dynamical localization in the quantum kicked rotator then actually takes place in the momentum basis.

The effect of noise and dissipation

If noise is added to the system, the dynamical localization is destroyed, and diffusion is induced. This is somewhat similar to hopping conductance. The proper analysis requires to figure out how the dynamical correlations that are responsible for the localization effect are diminished.

Recall that the diffusion coefficient is $D_{cl}\approx K^{2}/2$, because the change $(p(t)-p(0))$ in the momentum is the sum of quasi-random kicks $K\sin(x(n))$. An exact expression for $D_{cl}$ is obtained by calculating the "area" of the correlation function $C(n)=\langle \sin(x(n))\sin(x(0))\rangle$, namely the sum $D=K^{2}\sum C(n)$. Note that $C(0)=1/2$. The same calculation recipe holds also in the quantum mechanical case, and also if noise is added.

In the quantum case, without the noise, the area under $C(n)$ is zero (due to long negative tails), while with the noise a practical approximation is $C(n)\mapsto C(n)e^{-t/t_{c}}$ where the coherence time $t_{c}$ is inversely proportional to the intensity of the noise. Consequently, the noise induced diffusion coefficient is

$D\approx D_{cl}t^{*}/t_{c}\quad [{\text{assuming }}t_{c}\gg t^{*}]$

Also the problem of quantum kicked rotator with dissipation (due to coupling to a thermal bath) has been considered. There is an issue here how to introduce an interaction that respects the angle periodicity of the position $x$ coordinate, and is still spatially homogeneous. In the first works a quantum-optic type interaction has been assumed that involves a momentum dependent coupling. Later a way to formulate a purely position dependent coupling, as in the Calderia-Leggett model, has been figured out, which can be regarded as the earlier version of the DLD model.

Experimental realization with cold atoms

The first experimental realizations of the quantum kicked rotator have been achieved by Mark G. Raizen group in 1995, later followed by the Auckland group, and have encouraged a renewed interest in the theoretical analysis. In this kind of experiment, a sample of cold atoms provided by a magneto-optical trap interacts with a pulsed standing wave of light. The light being detuned with respect to the atomic transitions, atoms undergo a space-periodic conservative force. Hence, the angular dependence is replaced by a dependence on position in the experimental approach. Sub-milliKelvin cooling is necessary to obtain quantum effects: because of the Heisenberg uncertainty principle, the de Broglie wavelength, i.e. the atomic wavelength, can become comparable to the light wavelength. For further information, see. Thanks to this technique, several phenomena have been investigated, including the noticeable:

• quantum Ratchets;
• the Anderson transition in 3D.

See also

• Circle map

External links

• Scholarpedia entry