Microscopic diagonal entropy, heat, and laws of thermodynamics Anatoli Polkovnikov, Boston University AFOSR R. Barankov, C. De Grandi – BU V. Gritsev – Fribourg, ITAMP, 01/26/2009

Phase Diagram of One-Dimensional Bosons in Disordered Potential. E. Altman, Y. Kafri, A.P., G. Refael, PRL 2004, 2008 Coarse-grain the system Coarse-grain the system Effective U decreases: Remaining J decrease, distribution of becomes wide Two possible scenarios: 1.U flows to zero faster than J: superfluid phase, does not matter 2.J flows to zero faster than U: insulating phase, distribution of determines the properties of the insulating phase Critical properties are the same for all possible filling factors!

Plan of the talk 1.Thermalization in isolated systems. 2.Connection of quantum and thermodynamic adiabatic theorems. 3.Microscopic expressions for the heat and the diagonal entropy. Laws of thermodynamics and reversibility.

Thermalization in Quantum systems. Consider the time average of a certain observable A in an isolated system after a quench. Eignestate thermalization hypothesis (M. Rigol, V. Dunjko & M. Olshanii, Nature 452, 854, 2008.): A n,n ~ const (n) so there is no dependence on density matrix as long as it is sufficiently narrow. Necessary assumption: Information about equilibrium is fully contained in diagonal elements of the density matrix.

This is true for all thermodynamic observables: energy, pressure, magnetization, …. (pick your favorite). They all are linear in . This is not true about von Neumann entropy! Off-diagonal elements do not average to zero. The usual way around: coarse-grain density matrix (remove by hand fast oscillating off-diagonal elements of . Problem: not a unique procedure, explicitly violates time reversibility and Hamiltonian dynamics.

Von Neumann entropy: always conserved in time (in isolated systems). More generally it is invariant under arbitrary unitary transfomations Thermodynamics: entropy is conserved only for adiabatic (slow, reversible) processes. Otherwise it increases. Quantum mechanics: for adiabatic processes there are no transitions between energy levels: If these two adiabatic theorems are related then the entropy should only depend on  nn.

Thermodynamic adiabatic theorem. General expectation: In a cyclic adiabatic process the energy of the system does not change: no work done on the system, no heating, and no entropy is generated. - is the rate of change of external parameter.

Adiabatic theorem in quantum mechanics Landau Zener process: In the limit  0 transitions between different energy levels are suppressed. This, for example, implies reversibility (no work done) in a cyclic process.

Adiabatic theorem in QM suggests adiabatic theorem in thermodynamics: Breakdown of Taylor expansion in low dimensions, especially near singularities (phase transitions). 1.Transitions are unavoidable in large gapless systems. 2.Phase space available for these transitions decreases with the rate  Hence expect Low dimensions: high density of low energy states, breakdown of mean-field approaches in equilibrium

Three regimes of response to the slow ramp: A.P. and V.Gritsev, Nature Physics 4, 477 (2008) A.Mean field (analytic) – high dimensions: B.Non-analytic – low dimensions C.Non-adiabatic – low dimensions, bosonic excitations In all three situations quantum and thermodynamic adiabatic theorem are smoothly connected. The adiabatic theorem in thermodynamics does follow from the adiabatic theorem in quantum mechanics.

Examples Ramping in generic gapless regime E E* Uniform system: Density of quasi-particles (entropy): Absorbed energy density (heating): High dimensions: all energy scales participate!

Adiabatic crossing quantum critical points. V   t,   0 How does the number of excitations (entropy, energy) scale with  ? How does the number of excitations (entropy, energy) scale with  ? A.P. 2003, Zurek, Dorner, Zoller 2005 Nontrivial power corresponds to nonlinear response! Relevant for adiabatic quantum computation, adiabatic preparation of correlated states. is analogous to the upper critical dimension.

Adiabatic nonlinear probes of 1D interacting bosons. ( C. De Grandi, R. Barankov, A.P., Phys. Rev. Lett. 101, , 2008 ) Relevant sine Gordon model: K – Luttinger liquid parameter

K=2 corresponds to a SF-IN transition in an infinitesimal lattice (H.P. Büchler, et.al. 2003)

Connection between two adiabatic theorems allows us to define heat ( A.P., Phys. Rev. Lett. 101, , 2008 ). Consider an arbitrary dynamical process and work in the instantaneous energy basis (adiabatic basis). Adiabatic energy is the function of the state.Adiabatic energy is the function of the state. Heat is the function of the process.Heat is the function of the process. Heat vanishes in the adiabatic limit. Now this is not the postulate, this is a consequence of the Hamiltonian dynamics!Heat vanishes in the adiabatic limit. Now this is not the postulate, this is a consequence of the Hamiltonian dynamics!

Isolated systems. Initial stationary state. Unitarity of the evolution gives Transition probabilities p m  n are non-negative numbers satisfying In general there is no detailed balance even for cyclic processes (but within the Fremi-Golden rule there is).

yields If there is a detailed balance then Heat is non-negative for cyclic processes if the initial density matrix is passive. Second law of thermodynamics in Thompson (Kelvin’s form). The statement is also true without the detailed balance but the proof is more complicated (Thirring, Quantum Mathematical Physics, Springer 1999).

What about entropy? Entropy should be related to heat (energy), which knows only about  nn.Entropy should be related to heat (energy), which knows only about  nn. Entropy does not change in the adiabatic limit, so it should depend only on  nn.Entropy does not change in the adiabatic limit, so it should depend only on  nn. Ergodic hypothesis requires that all thermodynamic quantities (including entropy) should depend only on  nn.Ergodic hypothesis requires that all thermodynamic quantities (including entropy) should depend only on  nn. In thermal equilibrium the statistical entropy should coincide with the von Neumann’s entropy:In thermal equilibrium the statistical entropy should coincide with the von Neumann’s entropy: Simple resolution: diagonal entropy the sum is taken in the instantaneous energy basis.

Properties of d-entropy ( R. Barankov, A. Polkovnikov, arXiv: ). Jensen’s inequality: Therefore if the initial density matrix is stationary (diagonal) then Now assume that the initial state is thermal equilibrium Let us consider an infinitesimal change of the system and compute energy and entropy change.

Recover the first law of thermodynamics. If stands for the volume the we find

Classical systems. probability to occupy an orbit with energy E. Instead of energy levels we have orbits. describes the motion on this orbits. Classical d-entropy The entropy “knows” only about conserved quantities, everything else is irrelevant for thermodynamics! S d satisfies laws of thermodynamics, unlike the usually defined

Classic example: freely expanding gas Suddenly remove the wall by Liouville theorem double number of occupied states result of Hamiltonian dynamics!

Example Cartoon BCS model: Mapping to spin model (Anderson, 1958) In the thermodynamic limit this model has a transition to superconductor (XY-ferromagnet) at g = 1.

Change g from g 1 to g 2. Work with large N.

Simulations: N=2000

Entropy and reversibility.  g =  g = 10 -5

Conclusions 1.Adiabatic theorems in quantum mechanics and thermodynamics are directly connected. 2.Diagonal entropy satisfies laws of thermodynamics from microscopics. Heat and entropy change result from the transitions between microscopic energy levels. 3.Maximum entropy state with  nn =const is the natural attractor of the Hamiltonian dynamics. 4.Exact time reversibility results in entropy decrease in time. But this decrease is very fragile and sensitive to tiny perturbations.

Probing quasi-particle statistics in nonlinear dynamical probes. (R. Barankov, C. De Grandi, V. Gritsev, A. Polkovnikov, work in progress.) K 0 1 massive bosons massive fermions (hard core bosons) T=0 T>0 More adiabatic Less adiabatic T bosonic-like fermionic-like transition?

Numerical verification (bosons on a lattice). Use the fact that quantum fluctuations are weak in the SF phase and expand dynamics in the effective Planck’s constant: Nonintegrable model in all spatial dimensions, expect thermalization.

T=0.02 Heat per site

2D, T=0.2 Heat per site