On the Dynamics of Periodically Perturbed Quantum Systemsย ยท On the dynamics of periodically...
Transcript of On the Dynamics of Periodically Perturbed Quantum Systemsย ยท On the dynamics of periodically...
On the dynamics of periodically perturbed quantum systems
Consider a system of n ODEs
๐
๐๐ก๐ ๐ก = ๐ด ๐ก ๐ ๐ก , ๐:โ โถ ๐๐ร1 โ
where ๐ด:โ โถ ๐๐ร๐ โ is a continuous, (๐ ร ๐) matrix-valued function of real
parameter t, periodic with period T,
โ ๐ก โ โ โ ๐ โ โค โถ ๐ด ๐ก + ๐๐ = ๐ด ๐ก .
Let ฮฆ ๐ก to be the fundamental matrix of this system, satisfying the following:
๐
๐๐กฮฆ ๐ก = ๐ด ๐ก ฮฆ ๐ก , detฮฆ ๐ก โ 0, ๐ ๐ก = ฮฆ ๐ก ๐
Wroลskian
Any general solution
(c = ๐๐๐๐ ๐ก.) of
system of ODEs
On the dynamics of periodically perturbed quantum systems
Proposition 1.
a) There exists some ๐ก0 โ โ such that ๐ ๐ก = ๐ธ ๐ก, ๐ก0 ๐ ๐ก0 where
๐ธ ๐ก, ๐ก0 โ ฮฆ ๐ก ฮฆ ๐ก0โ1 is called the resolvent matrix or state transition matrix.
b) Resolvent matrix is a fundamental matrix itself, i.e. it satisfies the same differential
equation
๐
๐๐ก๐ธ ๐ก, ๐ก0 = ๐ด ๐ก ๐ธ ๐ก, ๐ก0 .
Proposition 2. Resolvent matrix has some basic properties:
a) Divisibility: ๐ธ ๐ก, ๐ก0 = ๐=1๐ ๐ธ ๐ก๐+1, ๐ก๐ for any partition ๐ก๐ , ๐ก๐+1 of ๐ก0, ๐ก , iff ๐ก0, ๐ก =
๐=1๐ ๐ก๐ , ๐ก๐+1 , and ๐ก๐ , ๐ก๐+1 โฉ ๐ก๐โฒ , ๐ก๐โฒ+1 = โ for ๐ โ ๐โฒ
b) ๐ธ ๐ก, ๐ก0โ1 = ๐ธ ๐ก0, ๐ก
c) ๐ธ ๐ก0, ๐ก0 = ๐๐๐๐ โ .
On the dynamics of periodically perturbed quantum systems
Theorem 1 (Floquetโs).
If ฮฆ ๐ก is a fundamental matrix of a system of n ODEs and ๐ด ๐ก is a T-periodic function of
codomain in the ๐๐ โ linear space of n-by-n matrices, then a matrix ฮฆ ๐ก + ๐ is also a
fundamental matrix of this system.
Remark: If ฮฆ ๐ก + ๐ is a fundamental matrix then there exist two constant matrices ๐ถ and ๐ตsuch that
ฮฆ ๐ก + ๐ = ฮฆ ๐ก ๐ถ, ๐ถ = ๐๐ต๐ .
Assume a spectral decomposition ๐ต = ๐ ๐๐ ๐๐ , .โ ๐๐:
๐๐ต๐ =
๐
๐๐ ๐๐ , .โ ๐๐ , ๐๐ = ๐๐๐๐.
๐๐: โFloquet
exponentsโ
On the dynamics of periodically perturbed quantum systems
Let ๐ ๐ก to be a solution of a system of ODEs, i.e. let it fulfill๐
๐๐ก๐ ๐ก = ๐ด ๐ก ๐ ๐ก .
Define ๐๐ ๐ก โ ฮฆ ๐ก ๐๐ . Then it follows from Floquetโs theorem that
ฮฆ ๐ก + ๐ ๐๐ = ฮฆ ๐ก ๐๐ต๐๐๐ = ๐๐๐๐๐๐ ๐ก = ๐๐ ๐ก + ๐
Putting ๐๐ ๐ก = ๐๐ ๐ก ๐โ๐๐๐ก one gets a set of โbase solutionsโ of system of ODEs,
๐๐ ๐ก = ๐๐๐๐ก๐๐ ๐ก , ๐๐ ๐ก + ๐ = ๐๐ ๐ก .
T-periodic
On the dynamics of periodically perturbed quantum systems
Considering ๐๐ ๐ก0 + ๐ one obtains an eigenequation of ฮฆ ๐ก0 + ๐ ฮฆโ1 ๐ก0 :
๐๐ ๐ก0 + ๐ = ฮฆ ๐ก0 + ๐ ฮฆโ1 ๐ก0 ๐๐ ๐ก0 = ๐๐๐๐๐๐ ๐ก0
Floquetโs operator
๐น ๐ก0 โ ๐ธ ๐ก0 + ๐, ๐ก0
Floquetโs basis
{๐๐โ ๐๐ ๐ก0 }
๐ธ ๐ก0 + ๐, ๐ก0
On the dynamics of periodically perturbed quantum systems
โข ๐ด ๐ก = ๐ป ๐ก โ periodic, self-adjoint Hamiltonian of quantum-mechanical system
โข ODEs describe an evolution of wavefunction (state) ๐ ๐ก โ Schrรถdinger equation:
๐
๐๐ก๐ ๐ก = โ
๐
โ๐ป ๐ก ๐ ๐ก , ๐ป ๐ก + ๐ = ๐ป ๐ก .
โข Resolvent matrix โ unitary propagator ๐ผ ๐, ๐๐ :
๐ธ ๐ก, ๐ก0 = ๐ ๐ก, ๐ก0 = Texp โ๐
โ
๐ก0
๐ก
๐ป ๐กโฒ ๐๐กโฒ ,๐๐ ๐ก, ๐ก0
๐๐ก= โ
๐
โ๐ป ๐ก ๐ ๐ก, ๐ก0 .
โข Floquetโs operator ๐น ๐ก0 = ๐ ๐ก0 + ๐, ๐ก0 = ๐โ๐๐
โ ๐ป:
๐ญ ๐๐ ๐๐ ๐๐ = ๐โ๐๐ปโ๐๐๐๐ ๐๐ ,
๐๐ โ ๐๐ ๐ก0 โ Floquet basis, ๐๐ โ set of Bohr-Floquet quasienergies.
On the dynamics of periodically perturbed quantum systems
Floquet Hamiltonian:
๐ป๐น ๐, ๐ก = ๐ป ๐, ๐ก โ ๐โ๐
๐๐ก, ๐ป๐น๐ ๐, ๐ก = 0
Main analysis based on Schrรถdinger equation for states ๐๐ ๐, ๐ก = ๐๐ ๐, ๐ก + ๐ :
๐ป๐น๐๐ ๐, ๐ก = ๐๐๐๐ ๐, ๐ก
Solutions are not unique:
They generate the same physical state ๐๐ ๐, ๐ก
๐๐๐ ๐, ๐ก โ ๐๐ ๐, ๐ก ๐๐๐ฮฉ๐ก ๐ป๐น๐๐๐ ๐, ๐ก = ๐๐ + ๐โฮฉ ๐๐ ๐, ๐ก
๐๐๐Higher Floquet
modes
On the dynamics of periodically perturbed quantum systems
Extended Hilbert space โโถโโฒ = โโ๐ฏ (example: particle in free space)
๐ฏ = โ2 ๐๐1 , ๐๐ก = span ๐๐ ๐ก โ ๐๐๐ฮฉ๐ก
Space of square-integrable functions
with period T = 2๐/ฮฉ, defined over a
circle ๐1.
๐๐, ๐๐โฒ =1
๐ ๐1๐๐ ๐ก ๐๐โฒ ๐ก ๐๐ก = ๐ฟ๐๐โฒ
๐
๐๐โ โ ๐๐ = ๐๐๐ฏ
โ = โ2 โ3, ๐๐ = span ๐๐: โ3 โ โ
Space of square-integrable functions
defined over โ3.
๐๐ , ๐๐โฒ =
โ3
๐๐ ๐ ๐๐โฒ ๐ ๐๐ ๐ = ๐ฟ๐๐โฒ
๐
๐๐โ โ ๐๐ = ๐๐โ
โโ๐ฏ = span ๐๐๐ โ ๐๐ โ๐๐ , ๐๐๐ ๐, ๐ก = ๐๐ ๐ ๐๐๐ฮฉ๐ก
๐๐
๐๐๐โ โ ๐๐๐ = ๐๐โโ๐ฏ , ๐๐๐
โ ๐๐โฒ๐โฒ = ๐ฟ๐๐โฒ๐ฟ๐๐โฒ , ๐๐๐โ โ โ โ๐ฏ โ
On the dynamics of periodically perturbed quantum systems
Structure of Hamiltonian: ๐ป ๐, ๐ก = ๐ป0 ๐ + ๐ ๐, ๐ก , ๐ ๐, ๐ก + ๐ = ๐ ๐, ๐ก .
Idea: We are applying a transformation of variables:
๐ = ฮฉ๐ก, ๐ = ฮฉ
๐ป ๐, ๐, ๐ = ๐ป0 ๐ + ๐ ๐, ๐ + ๐๐๐
Canonical
quantization:
๐ โ ๐,
๐๐ โ โ๐โ๐
๐๐,
๐, ๐๐ = ๐โ
๐ป ๐, ๐, ๐ = ๐ป0 ๐ + ๐ ๐, ๐ โ ๐โฮฉ๐
๐๐, ๐ป ๐, ๐, ๐ ๐๐๐ ๐, ๐ = ๐๐๐๐๐๐ ๐, ๐
On the dynamics of periodically perturbed quantum systems
๐ป ๐, ๐, ๐ ๐๐๐ ๐, ๐ = ๐๐๐๐๐๐ ๐, ๐ , ๐๐๐ = ๐๐ + ๐โฮฉ
๐๐๐ โ โ โ๐ฏ, ๐ฏ = โ2 ๐2๐1 ,
1
ฮฉ๐๐
Square-integrable functions of period
2๐ over a unit circle ๐1 = ๐ = ๐บ๐ก
How to include multi-mode setting?
Ansatz: add a sufficient number of new ๐๐ variables, such that
๐ป ๐, ๐, ๐ = ๐ป0 ๐ + ๐ ๐, ๐1, โฆ , ๐๐ โ ๐โ
๐=1
๐
ฮฉ๐๐
๐๐๐, ฮฉ๐ =
2๐
๐๐
On the dynamics of periodically perturbed quantum systems
New Schrรถdinger equation:
๐ป ๐, ๐1, ๐2, โฆ , ๐๐ ๐๐๐1๐2โฆ๐๐ ๐, ๐1, ๐2, โฆ , ๐๐ = ๐๐๐1๐2โฆ๐๐๐๐๐1๐2โฆ๐๐ ๐, ๐1, ๐2, โฆ , ๐๐
Periodicity of ๐ functions:
๐๐๐1๐2โฆ๐๐ ๐, ๐1 + 2๐, ๐2 + 2๐,โฆ , ๐๐ + 2๐ = ๐๐๐1๐2โฆ๐๐ ๐, ๐1, ๐2, โฆ , ๐๐
Extension of Hilbert space of ๐ functions:
๐๐๐1๐2โฆ๐๐ โ โ โ๐ฏ1โ๐ฏ2โโฏโ๐ฏ๐, ๐ฏ๐ = โ2๐2 ๐1,
1
๐บ๐๐๐๐
๐=1
๐
โ2๐2 ๐1,
1
๐บ๐๐๐๐ โก โ2 ๐1 ร ๐1 รโฏร ๐1, ๐๐ = โ2 ๐๐, ๐๐ , ๐๐ =
๐=1
๐๐๐๐
๐บ๐
Product measure
On the dynamics of periodically perturbed quantum systems
Qpen problem:
How to incorporate the multi-mode Floquet theory into Open Quantum Systems
realm?
Possible answer for ๐ = 2 (2-dimensional torus)
(H. R. Jauslin and J. L. Lebowitz, Chaos 1, 114 (1991))
Generalized Floquet operator ๐น ๐1 : โ โ ๐ฏ1 โถโโ๐ฏ1,
๐น ๐1 = ๐ โ๐2 ๐ ๐2, 0 , ๐ โ๐2 ๐ ๐1 0 = ๐ ๐1 0 โ ๐2 .
On the dynamics of periodically perturbed quantum systems
Theorem 2.
If ๐ โ โโ๐ฏ1 is an eigenfunction of Floquet operator, ๐น๐ = ๐โ๐๐๐2๐, then the
function ๐ โ โโ๐ฏ1โ๐ฏ2 defined
๐ ๐1, ๐2 = ๐๐๐2๐๐ 0,โ๐2 ๐ ๐1 โ ๐2
is an eigenfunction of ๐ป ๐, ๐1, ๐2, ๐1, ๐2 with eigenvalue (quasienergy) ๐.
Proof in: H. R. Jauslin and J. L. Lebowitz, Chaos 1, 114 (1991)
Problem:
Spectrum of ๐ป may become very complex (p.p., a.c. or s.c.), even in finite
dimensional case.
On the dynamics of periodically perturbed quantum systems
๐, โ๐
๐ 1, โ๐ 1
๐ 2, โ๐ 2
๐ 3, โ๐ 3๐ 4, โ๐ 4
๐ ๐,
โ๐ ๐
โ = โ๐ โโ๐ 1 โโฏโโ๐ ๐
๐ป = ๐ป๐ +
๐=1
๐
๐ป๐ ๐ +
๐=1
๐
๐๐
๐ป๐ โก ๐ป๐ โ ๐ผ๐ 1 โโฏโ ๐ผ๐ ๐
๐ป๐ ๐ โก ๐ผ๐ โโฏโ๐ป๐ ๐ โโฏโ ๐ผ๐ ๐
๐๐ = ๐๐
๐ผ
๐๐,๐ผ โ๐ ๐,๐ผ
๐๐,๐ผ:โ๐ โถโ๐, ๐ ๐,๐ผ:โ๐ ๐ โถโ๐ ๐
๐1
๐2
๐3
๐4
๐๐
โ๐ ๐ก =๐๐ ๐ก
๐๐ก=
๐,๐
๐
๐โโค
๐บ๐๐๐ + ๐ฮฉ ๐๐,๐ ๐, ๐ ๐ ๐ก ๐๐,๐
โ ๐, ๐ โ1
2๐๐,๐โ ๐, ๐ ๐๐,๐ ๐, ๐ , ๐ ๐ก ,
๐บ๐๐๐ =
โโ
โ
๐๐๐๐ก ๐ ๐,๐ ๐ก ๐ ๐,๐ ๐๐ก , ๐บ โ๐ = ๐โโ๐๐๐ต๐๐บ ๐
On the dynamics of periodically perturbed quantum systems
KMS condition
(in equilibrium)
Floquet Theorem โฑ๐๐ = ๐โ๐โ๐๐๐๐๐
๐๐ quasienergies
๐๐ Floquet basis
Fourier transform of
๐๐,๐ ๐ก
Bohr frequencies
๐ =1
โ๐๐ โ ๐๐
๐ + ๐ฮฉ , ๐ โ โค
Bohr โ Floquet
quasifrequencies
๐๐ ๐ก = ๐โ ๐ก ๐๐๐ ๐ก = ๐๐
๐
๐๐,๐ ๐ก โ ๐ ๐,๐ ๐ก , ๐ ๐ก = ฮค exp โ๐
โ
0
๐ก
๐ป๐ ๐กโฒ ๐๐กโฒ
On the dynamics of periodically perturbed quantum systems
ฮ๐ก,๐ก0 = ฮคexp
๐ก0
๐ก
โ ๐กโฒ ๐๐กโฒ โก ๐ฐ ๐ก, ๐ก0 ๐๐กโ๐ก0 โ
Dynamical map reconstructed from its interaction picture:
๐ฐ ๐ก, ๐ก0 โ one-parameter unitary map defined on C*-algebra of operators ๐,
๐ฐ:๐ ร 0,โ โถ ๐ defined as ๐ฐ ๐ก ๐ด = ๐ ๐ก ๐ด๐โ ๐ก .
๐ ๐ก = ฮ๐ก ๐0 = ๐ ๐ก ๐๐กโ๐0 ๐โ ๐ก
๐ ๐ก in interaction
picture
๐ ๐ก in Schrรถdinger
picture
On the dynamics of periodically perturbed quantum systems
9 Floquet quasifrequencies: 0,ยฑฮฉ๐ , ยฑฮฉ,ยฑ ฮฉ โ ฮฉ๐ , ยฑ ฮฉ + ฮฉ๐
Interaction with molecular gas Interaction with
electromagnetic field
๐ ๐๐,
โ๐๐
๐ ๐, โ๐
Two-level system
โ๐ โก โ2
Bosonic heat bath
(EM field)
โฑ+ โ๐โ =
๐=0
โ1
๐!โ๐โ
โ๐
+
๐๐
laser, ฮฉ๐0
Dephasing bath
(molecular gas),
โ๐ โก โ2 โ3, ๐๐ ๐
๐๐
๐๐ = ๐3โ๐น๐
๐น๐:โ๐ โถโ๐
๐๐ = ๐1โ ๐โ ๐ + ๐ ๐
On the dynamics of periodically perturbed quantum systems
Markovian master equation
in interaction picture:
๐
๐๐ก๐ ๐ก = โ๐๐๐ ๐๐๐๐ + โ๐๐๐โ๐๐ ๐๐๐ ๐ ๐ก
๐๐11 ๐ก
๐๐ก= โ ๐ผ + ๐
โฮฉโฮฉ๐ ๐๐ ๐ฟโ + ๐ฟ+ ๐11 ๐ก + ๐
โฮฉ๐ ๐๐๐ผ + ๐ฟโ + ๐
โฮฉ+ฮฉ๐ ๐๐ ๐ฟ+ ๐22 ๐ก
๐พ =1
2๐ผ0 + ๐ผ 1 + ๐
โฮฉ๐ ๐๐ + ๐ฟ0 1 + ๐
โฮฉ๐๐ + ๐ฟโ 1 + ๐
โฮฉโฮฉ๐ ๐๐ + ๐ฟ+ 1 + ๐
โฮฉ+ฮฉ๐ ๐๐
๐๐22 ๐ก
๐๐ก= โ
๐๐11 ๐ก
๐๐ก,
๐๐21 ๐ก
๐๐ก= โ๐พ๐21 ๐ก ,
๐๐12 ๐ก
๐๐ก= โ๐พ๐12 ๐ก .
๐ฟยฑ =ฮฉ๐ ยฑ ฮ
2ฮฉ๐
2
๐บ๐ ฮฉ ยฑ ฮฉ๐ , ๐ผ0 =2ฮ
ฮฉ๐
2
๐บ๐ 0 , ๐ผ =2๐
ฮฉ๐
2
๐บ๐ ฮฉ๐ ,
On the dynamics of periodically perturbed quantum systems
1. U. Vogl, M. Weitz: โLaser cooling by collisional redistribution of radiationโ,
Nature 461, 70-73 (3 Sep. 2009).
2. R. Alicki, K. Lendi: โQuantum Dynamical Semigroups and Applicationsโ,
Lecture Notes in Physics; Springer 2006.
3. R. Alicki, D. Gelbwaser-Klimovsky, G. Kurizki: โPeriodically driven quantum
open systems: Tutorialโ, arXiv:1205.4552v1.
4. K. Szczygielski, D. Gelbwaser-Klimovsky, R. Alicki: โMarkovian master
equation and thermodynamics of a two-level system in a strong laser
fieldโ, Phys. Rev. E 87, 012120 (2013)
5. D. Gelbwaser-Klimovsky, K. Szczygielski, R. Alicki: โLaser cooling by
collisional redistribution of radiation: Theoretical modelโ (in preparation)
6. R. Alicki, D. A. Lidar, P. Zanardi: โInternal consistency of fault-tolerant
quantum error correction in light of rigorous derivations of the quantum
Markovian limitโ Phys. Rev. A 73, 052311 (2006)