Topologically protected quantization of work
Bruno Mera, Krzysztof Sacha, Yasser Omar

TL;DR
This paper demonstrates a topological effect that quantizes the average work done on a particle in a periodically driven potential, linking it to a topological invariant called the first Chern number, thus ensuring robustness against perturbations.
Contribution
It introduces a topological mechanism for quantizing work in a driven system, connecting physical work to topological invariants in space-time.
Findings
The average work equals the first Chern number in a space-time lattice.
The quantization is topologically protected and robust.
Illustrated with an atom coupled to electromagnetic waves.
Abstract
The transport of a particle in the presence of a potential that changes periodically in space and in time can be characterized by the amount of work needed to shift a particle by a single spatial period of the potential. In general, this amount of work, when averaged over a single temporal period of the potential, can take any value in a continuous fashion. Here we present a topological effect inducing the quantization of the average work. We find that this work is equal to the first Chern number calculated in a unit cell of a space-time lattice. Hence, this quantization of the average work is topologically protected. We illustrate this phenomenon with the example of an atom whose center of mass motion is coupled to its internal degrees of freedom by electromagnetic waves.
| Work quantization | Thouless pumping | |||
|---|---|---|---|---|
| Parameter space topologically a torus | Space-time | Bloch momenta and time | ||
| Gapped Hamiltonian | (in the simplest scenario of a two-band system) | |||
| Wave-functions (sections) | Dressed states | Bloch states | ||
| Gauge field | acts as an effective external field | manifests through coupling to an external field | ||
| Field strength | ||||
| 1st Chern number | Average work performed by on the unit cell of space-time lattice | Shift of the center of mass of a system in one period of driving |
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Topologically protected quantization of work
Bruno Mera
Instituto de Telecomunicações, Lisboa
Instituto Superior Técnico, Universidade de Lisboa, Portugal
Krzysztof Sacha
Instytut Fizyki imienia Mariana Smoluchowskiego, Uniwersytet Jagielloński, ulica Profesora Stanisława Łojasiewicza 11, PL-30-348 Kraków, Poland
Yasser Omar
Instituto de Telecomunicações, Lisboa
Instituto Superior Técnico, Universidade de Lisboa, Portugal
Abstract
The transport of a particle in the presence of a potential that changes periodically in space and in time can be characterized by the amount of work needed to shift a particle by a single spatial period of the potential. In general, this amount of work, when averaged over a single temporal period of the potential, can take any value in a continuous fashion. Here we present a topological effect inducing the quantization of the average work. We find that this work is equal to the first Chern number calculated in a unit cell of a space-time lattice. Hence, this quantization of the average work is topologically protected. We illustrate this phenomenon with the example of an atom whose center of mass motion is coupled to its internal degrees of freedom by electromagnetic waves.
Topological phases of matter constitute a new paradigm in condensed matter physics. Remarkable examples are the Haldane anomalous insulator Haldane (1988), an instance of the more general Chern insulators, and, even more generally, topological insulators and superconductors Bernevig and Hughes (2013); Hasan and Kane (2010). The later are symmetry protected topological phases of free fermions. Unlike the conventional phases of matter described by the Landau-Ginzburg theory in terms of a local order parameter Anderson (1997), instead, topological insulators and superconductors are described by topological invariants, such as the holonomy of a flat connection, like the Zak phase Zak (1989); Berry (1984), or the Chern number of a vector bundle Nakahara (2003); Morita (2001); Steenrod (1999); Bott and Tu (2013) over a -torus or an arbitrary Riemann surface, like the Thouless-Kohmoto-Nightingale-den Nijs (TKNN) invariant Thouless et al. (1982). These topological invariants measure the non-trivial “twisting” of the wave-functions of the bulk, which are usually subject to certain generic symmetries like time-reversal, particle-hole or chiral symmetries. Topological insulators and superconductors were systematically classified, using K-theory Karoubi (2008), by Kitaev Kitaev (2009); and using homotopy groups and Anderson localization, by Schnyder, Ryu, Furusaki and Ludwig Schnyder et al. (2008, 2009). The resulting classification exhibits Bott-periodicity, -fold for the complex case and -fold for the real case, and is known as the periodic table of topological insulators and superconductors. Moreover, the bulk-to-boundary principle predicts that, when terminating the system to the vacuum, there will appear gapless modes living in the boundary of the system. These modes are topologically protected. One can understand the existence of these gapless modes by anomaly inflow arguments Ryu et al. (2012); Witten (2016).
Topological insulators and superconductors Hasan and Kane (2010); Qi and Zhang (2011); Bernevig and Hughes (2013) are very attractive from the experimental point of view due to their robustness to perturbations and also due to the many potential applications to photonics, spintronics, quantum computing, and, more generally, to the emergent field of quantum technologies Xu et al. (2014); Ornes (2016).
Experimentally, one can study topological insulators and superconductors in quantum simulators which are versatile systems that can mimic behavior of other systems difficult to control in the laboratory. Among the physical platforms for the quantum simulation of topological matter, ultracold atoms in optical lattices Goldman et al. (2014, 2016) and topological photonics Ozawa et al. (2019) offer the most promising realizations. Quantum simulators have allowed for the realization of the topological insulators in one-dimensional (1D) Cardano et al. (2017); Kitagawa et al. (2012); Meier et al. (2016); Atala et al. (2013); St-Jean et al. (2017); Meier et al. (2018), 2D Aidelsburger et al. (2015); Stuhl et al. (2015); Tarnowski et al. (2019) and even 4D space Lohse et al. (2018); Zilberberg et al. (2018) – the latter with the help of a synthetic dimension.
Thirty years ago Thouless proposed the idea of a topological charge pump where transport of charge, described by an adiabatically and periodically evolving Hamiltonian, was quantized and determined by the first Chern number calculated in the time-momentum space Thouless (1983). More concretely, if one has a one-dimensional translation invariant gapped system of free fermions on a lattice then, by adiabatically and periodically driving the system, the center of mass position is shifted, in one period of driving, by an integer multiple of the lattice constant. This integer is the first Chern number of the vector bundle of occupied states in the instantaneous ground states of the system, defined over the space of Bloch momenta and time – topologically, a torus. Direct observation of the Thouless quantum pump was demonstrated in a quantum simulator where bosonic ultra-cold atoms were prepared in the Mott insulator phase in an optical lattice whose tunneling amplitudes were periodically modulated in time Lohse et al. (2016); Nakajima Shuta et al. (2016).
In the present letter we consider a different phenomenon. Namely, we consider an atom constrained to move in D, with internal degrees of freedom subject to a space-time periodic potential coupling the internal states. In this case, it is possible, by preparing the system in a dressed state, that the atom experiences an effective synthetic electric field whose average work, in a period of driving and one wavelength, is quantized in units of the Planck constant . The quantization is topological in nature and robust against deformations of the system preserving the gap. In the following, we provide an explicit situation where this topological effect occurs and propose a way to experimentally realize it. The differences between this phenomenon and that of Thouless pumping are pointed out in Table 1.
Let us consider an atom where the ground state energy level is characterized by the total angular momentum and in the presence of an external magnetic field the energies , of the magnetic sublevels are split, . We denote the internal states by , and . If an atom is subjected to two counter-propagating circularly polarized electromagnetic waves of the frequency , the internal degrees of freedom of an atom and the electromagnetic fields can be described by the dressed-atom Hamiltonian which, within the rotating wave approximation, reads Goldman et al. (2014),
[TABLE]
where we assume that the detuning is oscillating in time due to the periodic modulation of the magnetic field, , with the frequency and . The Rabi frequency depends periodically on time and space, where denotes the wave number of the electromagnetic waves while and describe periodic modulations of the amplitudes of the waves, with the same frequency as the frequency of the magnetic field modulation, where is proportional to the dipole matrix element. The Hamiltonian is periodic both in space and in time with the periods and , respectively, and can be written in a more compact form, where , and
[TABLE]
When the atomic center of mass motion is coupled to its internal degrees of freedom certain geometric gauge fields arise Juzeliūnas and Öhberg (2004); Dalibard et al. (2011); Ruseckas et al. (2005); Goldman et al. (2014); Chruscinski and Jamiolkowski (2012). For simplicity, let us consider that the atomic motion is restricted to one spatial dimension. The full Hamiltonian of the system is given by
[TABLE]
where and are the atomic center of mass coordinate and momentum, is the mass. We can solve the eigenvalue problem for , yielding the eigenvalues , and and the corresponding eigenstates (dressed states of an atom) . The most general solution of the Schrödinger equation will be given by a linear combination . Writing the vector , we get the time-dependent Schrödinger equation corresponding to the Hamiltonian (6) in the form
[TABLE]
where and the matrices \mathcal{A}_{0}=\big{(}\langle\eta_{i}|\partial_{t}|\eta_{j}\rangle\big{)} and \mathcal{A}_{1}=\big{(}\langle\eta_{i}|\partial_{x}|\eta_{j}\rangle\big{)} are the components of the matrix-valued one-form \mathcal{A}=\big{(}\langle\eta_{i}|d|\eta_{j}\rangle\big{)}.
For the configuration of the electromagnetic waves and the detuning we have chosen, the eigenvalues are separated from each other by gaps for each . If we prepare an atom in, e.g., the positive energy dressed state,
[TABLE]
it will follow this state in the time evolution provided its kinetic energy is much smaller than the gap between the adjacent dressed state levels. Then, one can perform an adiabatic Born-Oppenheimer approximation and project the dynamics onto this state only Ruseckas et al. (2005); Dalibard et al. (2011); Goldman et al. (2014); Chruscinski and Jamiolkowski (2012). The resulting effective Schrödinger equation for the center of mass wave-function, , is that of a particle in the presence of an external gauge field, and , and an effective scalar potential ,
[TABLE]
with
[TABLE]
where is the th component of the quantum metric Chruscinski and Jamiolkowski (2012); Resta (2011); Kolodrubetz et al. (2017).
Since the atom is constrained to move in a single space dimension, the only relevant component of the field strength tensor is the synthetic electric field force acting on a particle of a unit charge
[TABLE]
Because is space-time periodic, one can define a Chern number associated to the positive energy dressed state which will be minus twice the winding number of the map , where denotes the unit sphere in , i.e. . In particular, with , using Eq. (5), we get a nontrivial Chern number for and for and trivial elsewhere Sup . Similar result holds for the negative energy dressed state but with the Chern number being the opposite. The zero energy dressed state always has trivial Chern number.
The quantization of the Chern number, proved in Sup , amounts to having, on the unit cell of the space-time lattice, a quantized value for the flux in units of . Now is, dimensionally, the amount of work, of the electric field force, under the displacement of a particle with a unit charge. The space-time lattice involved is simply . The interpretation of the quantized value of the Chern number is the following: the average over a period of the work performed by the electric field in the transport of a classical particle by a distance of a single space cell, i.e. , is quantized in units of Planck’s constant . If we consider the normalized average in time, to have proper units of work, we get , with the Chern number. We thus get quantization in units of the driving energy .
A possible way to experimentally observe quantization of the average work, in the example we consider, can be done indirectly as follows. Take the time interval and consider a number of instants , . For each instant , prepare an atom in the dressed state band with energy and described, at , by . We want the state of the center of mass degree of freedom of an atom to be strongly localized in a certain point (i.e. much better than the size of a single space cell which is not a problem if the experiment is performed in the RF range where the wavelength is of the order of the meter), so the dynamics for time is well described by the classical equations of motion:
[TABLE]
We then measure the position of the atoms in the period . With the resulting trajectories , , , we can then differentiate with respect to time twice obtaining the acceleration. With this procedure we will get a profile of the total force field in the unit cell of which we can compare to the theoretical predictions. Due to the localization of the center of mass of an atom, the observed profile should be the same and quantization of the time average of work of can be confirmed. In Fig. 1 we show how the sampling of the accelerations of trajectories allows us to have the force profile on the unit cell. Additionally, we show the profile of on the unit cell. The total force and the profile of are qualitatively similar. The reason is that all contributions to the total force increase with the decrease of the gap function .
We would like to remark that the phenomenon we describe is at the boundary between classical and quantum physics. Classical, since we want the states of the atoms to be strongly localized, so that the dynamics is classical. This is achieved by staying in the cold atom regime and not in the ultracold one. Quantum, since the atom will experience the effect of a synthetic force whose average work on the unit cell is quantized due to the quantum nature of the wave-function of the internal degrees of freedom of the atom. This is achieved by having a gap which is larger than the kinetic energy of the atom.
We stress that the topological effect of work quantization considered in this letter and that of Thouless pumping are physically different, although mathematically similar, cf. Table 1. Explicitly, in our case, it is the topology of quantum states over space-time and not of quantum states over Bloch momentum space that is involved. This topology is then reflected in the quantization of the average work of the synthetic electric field and not the quantization of the shift of the centre of mass of the system.
Finally, we would like to make contact with the very recent Ref. Kolodrubetz et al. (2018) where a topological energy pump in , in the context of a driven system was considered. There, a “work polarization” is quantized. We remark that the topological invariant there refers to the homotopy class of a map , describing the dynamics within each cycle, from a three-dimensional torus to the unitary group . The three-dimensional torus is parametrized by variables where is time, is a flux and is the one-dimensional momentum in the first Brillouin zone. As a consequence, although in both cases there is quantization of some type of work, just as the Thouless pumping is significantly different from the phenomenon considered here, see Table 1, so is this one.
In summary, we have presented an effect in which the transport of a particle in the presence of a space-time periodic potential is characterised by a quantized average, over a period of the potential, amount of work needed to shift a particle by a single spatial period of the potential. The quantization was understood in terms of the topological twist of the vector bundle of dressed states. Moreover, we have provided an experimental procedure to probe this phenomenon.
We are grateful to Tomasz Kawalec for a fruitful discussion concerning experimental aspects. B.M. and Y.O. thank the support from Fundação para a Ciência e a Tecnologia (Portugal), namely through programme POCH and projects UID/EEA/50008/2013, UID/EEA/50008/2019 and IT/QuNet, as well as from the JTF project NQuN (ID 60478) and from the EU H2020 Quantum Flagship projects QIA (820445) and QMiCS (820505). B.M. also acknowledges the support of H2020 project SPARTA, projects QuantMining POCI-01-0145-FEDER-031826, PREDICT PTDC/CCI-CIF/29877/2017 and QBigData PEst-OE/EEI/LA0008/2013, by FCT. The authors acknowledge the support from the project TheBlinQC supported by the EU H2020 QuantERA ERA-NET Cofund in Quantum Technologies and by FCT (QuantERA/0001/2017) and National Science Centre Poland No. 2017/25/Z/ST2/03027.
I Supplemental Material
In this Supplemental Material, we first consider the topological properties of a general system described by a Hamiltonian linear in the Pauli matrices, which satisfy the -Lie algebra relations. Then, we discuss a generalization to an arbitrary representation of group and, finally, we show that the presented results immediately apply to the system considered in the Letter.
I.1 Chern number and Dirac monopoles
Consider the two-level Hamiltonian
[TABLE]
where are the Pauli matrices and we have adopted the Einstein summation convention. The Pauli matrices satisfy the -Lie algebra relations
[TABLE]
together with the Clifford algebra relations
[TABLE]
where denotes the identity matrix. The relations of Eq. (15) imply that \big{(}H(x)\big{)}^{2}=I and, thus, the eigenvalues of are . We can then consider the eigenspaces
[TABLE]
For each , there exists , such that
[TABLE]
The first column of the matrix is just a choice of an element of , with , while the second column is . This second choice ensures that . We can write in the form . Another choice of is readily obtained by taking , and this corresponding to taking , which preserves Eq. (17). In fact, if we introduce the stereographic projection complex coordinate, with respect to the south pole of the sphere ,
[TABLE]
we can take
[TABLE]
as a smooth choice of , with , for every . One can introduce a complex coordinate , corresponding to stereographic projection with respect to the north pole . And then, whenever
[TABLE]
and now is a choice valid for . The difference between the two choices is, whenever both are defined, i.e., , the gauge transformation .
It is impossible to find a global smooth choice of , which means that the line bundle over ,
[TABLE]
with fiber at , is not isomorphic to the trivial bundle Morita (2001). This obstruction, topological in nature, is encoded in the gauge transformation . It is defined on , which is of the same homotopy type as the equator of , topologically a circle . Then, the transition map, seen as map from to , is nothing but the identity map, whose winding number is . The Chern number of the line bundle is nothing but , i.e., minus the winding number of this transition map. The Chern number, being an integral of a characteristic class of (see Refs. Nakahara (2003); Morita (2001)), measures the obstruction of being a trivial bundle. We can compute it by integrating the Berry curvature on the whole sphere . Since we have two gauges and related by a gauge transformation, we will have the corresponding local Berry gauge fields:
[TABLE]
On the overlap, they are related by
[TABLE]
By taking the sphere to be the union of the northern and southern hemispheres, we see that the Chern number of , is equal to, by Stokes’ theorem,
[TABLE]
If we use coordinates of the ambient space on which is embedded in,
[TABLE]
which can be extended to a -field strength over :
[TABLE]
Since this is times the area element of a sphere of radius , we see that this corresponds to the field strength of a Dirac monopole of topological charge sitting at the origin of , with the magnetic field given by
[TABLE]
and hence the flux over a sphere of radius , with unit normal , is
[TABLE]
where denotes the infinitesimal solid angle.
I.2 Irreducible representations of
Because of the -Lie algebra relations of Eq. (14), the construction presented in the previous section has an immediate generalization to an arbitrary representation of , cf. Chruscinski and Jamiolkowski (2012). Notice that the diagonal subgroup generated by , has the effect of gauge transformations. Indeed, given a local unitary gauge specified by , , we have seen that multiplication by on the right is equivalent to multiplication of by the gauge transformation . In general, given the -dimensional irreducible representation of of spin , with generators , we have the replacement
[TABLE]
This means that, if we write the Hamiltonian
[TABLE]
it will split the Hilbert space into orthogonal sectors, corresponding to the eigenspaces for the different eigenvalues , of . In fact, the local gauge in the spin- irreducible representation induces a local gauge in the spin- representation which is the image of under the representation map (). In the sector specified by (which is the diagonal form of ), a gauge transformation will induce a gauge transformation
[TABLE]
From this, we can read off the induced Chern numbers: simply for the sector with , . For example, for spin , we have three sectors, with Chern numbers , [math] and , respectively.
In two-dimensional translation invariant symmetry protected topological phases of free fermions, we often encounter single particle Hamiltonians of the form of Eq. (13), depending on the quasi-momenta k in the Brillouin zone B.Z. which topologically is a -torus, :
[TABLE]
The presence of gap means that for each k, the vector is non-vanishing. One can then smoothly deform the previous Hamiltonian, by an operation known as spectrum flattening, in such a way that . This means that we have a map . The eigenspace of positive energy for momentum k is simply , for every . This means that the eigenspaces of are completely determined by those of and the map : . All the geometric structures can then be “pulled back” using . In particular, the Berry curvature for the positive energy band has the form, see Eq. (30)
[TABLE]
yielding the formula for the Chern number
[TABLE]
which is minus the winding number of the map . From the previous arguments of representation theory, if we replace the spin- representation by spin-, then, on the sector with of the irreducible representation of spin- of , we will have a Chern number,
[TABLE]
i.e., times the winding number of the map .
I.3 The system considered in the Letter
In the main text, the field , for , defines a map from a torus (defined by its periodicity in time and space: and ) to the sphere. Moreover, the ’s appearing in the expression of the Hamiltonian define an irreducible representation of with spin , hence, we will have three energy sectors corresponding to with Chern numbers equal to , [math] and , where
[TABLE]
is the winding number of the induced map. Using Mathematica, we computed the winding number through the previous integral, with , obtaining
[TABLE]
Hence, the positive energy band will have the Chern numbers claimed in the main text. The average, in one period of time, of the work performed by the synthetic field , to transport a particle by one space lattice spacing, is proportional to the winding number given by Eq. (38). Thus, the quantization of the average work presented in the Letter is a consequence of the fact that the corresponding Chern number is always integral: namely, in our case, an integer times the winding number of a map from the torus to the sphere.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1Haldane (1988) F. D. M. Haldane, “Model for a Quantum Hall Effect without Landau Levels: Condensed-Matter Realization of the “Parity Anomaly”,” Phys. Rev. Lett. 61 , 2015–2018 (1988) . · doi ↗
- 2Bernevig and Hughes (2013) B Andrei Bernevig and Taylor L Hughes, Topological insulators and topological superconductors (Princeton university press, 2013).
- 3Hasan and Kane (2010) M. Z. Hasan and C. L. Kane, “Colloquium: Topological insulators,” Rev. Mod. Phys. 82 , 3045–3067 (2010) . · doi ↗
- 4Anderson (1997) PW Anderson, Basic Notions of Condensed Matter Physics (Westview Press, Boulder, CO, 1997).
- 5Zak (1989) J. Zak, “Berry’s phase for energy bands in solids,” Phys. Rev. Lett. 62 , 2747–2750 (1989) . · doi ↗
- 6Berry (1984) M. V. Berry, “Quantal phase factors accompanying adiabatic changes,” Proc. R. Soc. Lond. A 392 , 45–57 (1984).
- 7Nakahara (2003) Mikio Nakahara, Geometry, topology and physics (CRC Press, 2003).
- 8Morita (2001) Shigeyuki Morita, Geometry of differential forms , Vol. 201 (American Mathematical Soc., 2001).
