-
Rapid thermalization of dissipative many-body dynamics of commuting Hamiltonians
Authors:
Jan Kochanowski,
Alvaro M. Alhambra,
Angela Capel,
Cambyse Rouzé
Abstract:
Quantum systems typically reach thermal equilibrium rather quickly when coupled to a thermal environment. The usual way of bounding the speed of this process is by estimating the spectral gap of the dissipative generator. However the gap, by itself, does not always yield a reasonable estimate for the thermalization time in many-body systems: without further structure, a uniform lower bound on it o…
▽ More
Quantum systems typically reach thermal equilibrium rather quickly when coupled to a thermal environment. The usual way of bounding the speed of this process is by estimating the spectral gap of the dissipative generator. However the gap, by itself, does not always yield a reasonable estimate for the thermalization time in many-body systems: without further structure, a uniform lower bound on it only constrains the thermalization time to grow polynomially with system size.
Here, instead, we show that for a large class of geometrically-2-local models of Davies generators with commuting Hamiltonians, the thermalization time is much shorter than one would naïvely estimate from the gap: at most logarithmic in the system size. This yields the so-called rapid mixing of dissipative dynamics. The result is particularly relevant for 1D systems, for which we prove rapid thermalization with a system size independent decay rate only from a positive gap in the generator. We also prove that systems in hypercubic lattices of any dimension, and exponential graphs, such as trees, have rapid mixing at high enough temperatures. We do this by introducing a novel notion of clustering which we call "strong local indistinguishability" based on a max-relative entropy, and then proving that it implies a lower bound on the modified logarithmic Sobolev inequality (MLSI) for nearest neighbour commuting models.
This has consequences for the rate of thermalization towards Gibbs states, and also for their relevant Wasserstein distances and transportation cost inequalities. Along the way, we show that several measures of decay of correlations on Gibbs states of commuting Hamiltonians are equivalent, a result of independent interest. At the technical level, we also show a direct relation between properties of Davies and Schmidt dynamics, that allows to transfer results of thermalization between both.
△ Less
Submitted 25 April, 2024;
originally announced April 2024.
-
Efficient thermalization and universal quantum computing with quantum Gibbs samplers
Authors:
Cambyse Rouzé,
Daniel Stilck França,
Álvaro M. Alhambra
Abstract:
The preparation of thermal states of matter is a crucial task in quantum simulation. In this work, we prove that a recently introduced, efficiently implementable dissipative evolution thermalizes to the Gibbs state in time scaling polynomially with system size at high enough temperatures, and for any Hamiltonian that satisfies a Lieb-Robinson bound, such as local Hamiltonians on a lattice. Further…
▽ More
The preparation of thermal states of matter is a crucial task in quantum simulation. In this work, we prove that a recently introduced, efficiently implementable dissipative evolution thermalizes to the Gibbs state in time scaling polynomially with system size at high enough temperatures, and for any Hamiltonian that satisfies a Lieb-Robinson bound, such as local Hamiltonians on a lattice. Furthermore, we show the efficient adiabatic preparation of the associated purifications or ``thermofield double'' states. To the best of our knowledge, these are the first results rigorously establishing the efficient preparation of high-temperature Gibbs states and their purifications. In the low-temperature regime, we show that implementing this family of dissipative evolutions for inverse temperatures logarithmic in the system's size is polynomially equivalent to standard quantum computation. On a technical level, for high temperatures, our proof makes use of the map** of the generator of the evolution into a Hamiltonian, and then analysing it as perturbation of the Hamiltonian corresponding to infinite temperature. For low temperature, we instead perform a perturbation at zero temperature of the Laplace transform of the energy observable at fixed runtime, and resort to circuit-to-Hamiltonian map**s akin to the proof of universality of quantum adiabatic computing. Taken together, our results show that a family of quasi-local dissipative evolutions efficiently prepares a large class of quantum many-body states of interest, and has the potential to mirror the success of classical Monte Carlo methods for quantum many-body systems.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
Conditional Independence of 1D Gibbs States with Applications to Efficient Learning
Authors:
Paul Gondolf,
Samuel O. Scalet,
Alberto Ruiz-de-Alarcon,
Alvaro M. Alhambra,
Angela Capel
Abstract:
We show that spin chains in thermal equilibrium have a correlation structure in which individual regions are strongly correlated at most with their near vicinity. We quantify this with alternative notions of the conditional mutual information defined through the so-called Belavkin-Staszewski relative entropy. We prove that these measures decay superexponentially at every positive temperature, unde…
▽ More
We show that spin chains in thermal equilibrium have a correlation structure in which individual regions are strongly correlated at most with their near vicinity. We quantify this with alternative notions of the conditional mutual information defined through the so-called Belavkin-Staszewski relative entropy. We prove that these measures decay superexponentially at every positive temperature, under the assumption that the spin chain Hamiltonian is translation-invariant. Using a recovery map associated with these measures, we sequentially construct tensor network approximations in terms of marginals of small (sublogarithmic) size. As a main application, we show that classical representations of the states can be learned efficiently from local measurements with a polynomial sample complexity. We also prove an approximate factorization condition for the purity of the entire Gibbs state, which implies that it can be efficiently estimated to a small multiplicative error from a small number of local measurements. The results extend from strictly local to exponentially-decaying interactions above a threshold temperature, albeit only with exponential decay rates. As a technical step of independent interest, we show an upper bound to the decay of the Belavkin-Staszewski relative entropy upon the application of a conditional expectation.
△ Less
Submitted 28 May, 2024; v1 submitted 28 February, 2024;
originally announced February 2024.
-
Matrix product state approximations to quantum states of low energy variance
Authors:
Kshiti Sneh Rai,
J. Ignacio Cirac,
Álvaro M. Alhambra
Abstract:
We show how to efficiently simulate pure quantum states in one dimensional systems that have both finite energy density and vanishingly small energy fluctuations. We do so by studying the performance of a tensor network algorithm that produces matrix product states whose energy variance decreases as the bond dimension increases. Our results imply that variances as small as $\propto 1/\log N$ can b…
▽ More
We show how to efficiently simulate pure quantum states in one dimensional systems that have both finite energy density and vanishingly small energy fluctuations. We do so by studying the performance of a tensor network algorithm that produces matrix product states whose energy variance decreases as the bond dimension increases. Our results imply that variances as small as $\propto 1/\log N$ can be achieved with polynomial bond dimension. With this, we prove that there exist states with a very narrow support in the bulk of the spectrum that still have moderate entanglement entropy, in contrast with typical eigenstates that display a volume law. Our main technical tool is the Berry-Esseen theorem for spin systems, a strengthening of the central limit theorem for the energy distribution of product states. We also give a simpler proof of that theorem, together with slight improvements in the error scaling, which should be of independent interest.
△ Less
Submitted 3 July, 2024; v1 submitted 11 July, 2023;
originally announced July 2023.
-
Classical simulation of short-time quantum dynamics
Authors:
Dominik S. Wild,
Álvaro M. Alhambra
Abstract:
Recent progress in the development of quantum technologies has enabled the direct investigation of dynamics of increasingly complex quantum many-body systems. This motivates the study of the complexity of classical algorithms for this problem in order to benchmark quantum simulators and to delineate the regime of quantum advantage. Here we present classical algorithms for approximating the dynamic…
▽ More
Recent progress in the development of quantum technologies has enabled the direct investigation of dynamics of increasingly complex quantum many-body systems. This motivates the study of the complexity of classical algorithms for this problem in order to benchmark quantum simulators and to delineate the regime of quantum advantage. Here we present classical algorithms for approximating the dynamics of local observables and nonlocal quantities such as the Loschmidt echo, where the evolution is governed by a local Hamiltonian. For short times, their computational cost scales polynomially with the system size and the inverse of the approximation error. In the case of local observables, the proposed algorithm has a better dependence on the approximation error than algorithms based on the Lieb-Robinson bound. Our results use cluster expansion techniques adapted to the dynamical setting, for which we give a novel proof of their convergence. This has important physical consequences besides our efficient algorithms. In particular, we establish a novel quantum speed limit, a bound on dynamical phase transitions, and a concentration bound for product states evolved for short times.
△ Less
Submitted 11 July, 2023; v1 submitted 20 October, 2022;
originally announced October 2022.
-
Concentration of quantum equilibration and an estimate of the recurrence time
Authors:
Jonathon Riddell,
Nathan Pagliaroli,
Álvaro M. Alhambra
Abstract:
We show that the dynamics of generic quantum systems concentrate around their equilibrium value when measuring at arbitrary times. This means that the probability of finding them away from equilibrium is exponentially suppressed, with a decay rate given by the effective dimension. Our result allows us to place a lower bound on the recurrence time of quantum systems, since recurrences corresponds t…
▽ More
We show that the dynamics of generic quantum systems concentrate around their equilibrium value when measuring at arbitrary times. This means that the probability of finding them away from equilibrium is exponentially suppressed, with a decay rate given by the effective dimension. Our result allows us to place a lower bound on the recurrence time of quantum systems, since recurrences corresponds to the rare events of finding a state away from equilibrium. In many-body systems, this bound is doubly exponential in system size. We also show corresponding results for free fermions, which display a weaker concentration and earlier recurrences.
△ Less
Submitted 2 November, 2023; v1 submitted 15 June, 2022;
originally announced June 2022.
-
Quantum many-body systems in thermal equilibrium
Authors:
Álvaro M. Alhambra
Abstract:
The thermal or equilibrium ensemble is one of the most ubiquitous states of matter. For models comprised of many locally interacting quantum particles, it describes a wide range of physical situations, relevant to condensed matter physics, high energy physics, quantum chemistry and quantum computing, among others. We give a pedagogical overview of some of the most important universal features abou…
▽ More
The thermal or equilibrium ensemble is one of the most ubiquitous states of matter. For models comprised of many locally interacting quantum particles, it describes a wide range of physical situations, relevant to condensed matter physics, high energy physics, quantum chemistry and quantum computing, among others. We give a pedagogical overview of some of the most important universal features about the physics and complexity of these states, which have the locality of the Hamiltonian at its core. We focus on mathematically rigorous statements, many of them inspired by ideas and tools from quantum information theory. These include bounds on their correlations, the form of the subsystems, various statistical properties, and the performance of classical and quantum algorithms. We also include a summary of a few of the most important technical tools, as well as some self-contained proofs.
△ Less
Submitted 21 July, 2023; v1 submitted 18 April, 2022;
originally announced April 2022.
-
Relaxation of non-integrable systems and correlation functions
Authors:
Jonathon Riddell,
Luis Pedro García-Pintos,
Álvaro M. Alhambra
Abstract:
We investigate early-time equilibration rates of observables in closed many-body quantum systems and compare them to those of two correlation functions, first introduced by Kubo and Srednicki. We explore whether these different rates coincide at a universal value that sets the timescales of processes at a finite energy density. We find evidence for this coincidence when the initial conditions are…
▽ More
We investigate early-time equilibration rates of observables in closed many-body quantum systems and compare them to those of two correlation functions, first introduced by Kubo and Srednicki. We explore whether these different rates coincide at a universal value that sets the timescales of processes at a finite energy density. We find evidence for this coincidence when the initial conditions are sufficiently generic, or typical. We quantify this with the effective dimension of the state and with a state-observable effective dimension, which estimate the number of energy levels that participate in the dynamics. Our findings are confirmed by proving that these different timescales coincide for dynamics generated by Haar-random Hamiltonians. This also allows to quantitatively understand the scope of previous theoretical results on equilibration timescales and on random matrix formalisms. We approach this problem with exact, full spectrum diagonalization. The numerics are carried out in a non-integrable Heisenberg-like Hamiltonian, and the dynamics are investigated for several pairs of observables and states.
△ Less
Submitted 10 January, 2022; v1 submitted 17 December, 2021;
originally announced December 2021.
-
Eigenstate entanglement in integrable collective spin models
Authors:
Meenu Kumari,
Álvaro M. Alhambra
Abstract:
The average entanglement entropy (EE) of the energy eigenstates in non-vanishing partitions has been recently proposed as a diagnostic of integrability in quantum many-body systems. For it to be a faithful characterization of quantum integrability, it should distinguish quantum systems with a well-defined classical limit in the same way as the unequivocal classical integrability criteria. We exami…
▽ More
The average entanglement entropy (EE) of the energy eigenstates in non-vanishing partitions has been recently proposed as a diagnostic of integrability in quantum many-body systems. For it to be a faithful characterization of quantum integrability, it should distinguish quantum systems with a well-defined classical limit in the same way as the unequivocal classical integrability criteria. We examine the proposed diagnostic in the class of collective spin models characterized by permutation symmetry in the spins. The well-known Lipkin-Meshov-Glick (LMG) model is a paradigmatic integrable system in this class with a well-defined classical limit. Thus, this model is an excellent testbed for examining quantum integrability diagnostics. First, we calculate analytically the average EE of the Dicke basis $\{|j,m\rangle \}_{m=-j}^j$ in any non-vanishing bipartition, and show that in the thermodynamic limit, it converges to $1/2$ of the maximal EE in the corresponding bipartition. Using finite-size scaling, we numerically demonstrate that the aforementioned average EE in the thermodynamic limit is universal for all parameter values of the LMG model. Our analysis illustrates how a value of the average EE far away from the maximal in the thermodynamic limit could be a signature of integrability.
△ Less
Submitted 25 April, 2022; v1 submitted 22 August, 2021;
originally announced August 2021.
-
Locally accurate tensor networks for thermal states and time evolution
Authors:
Álvaro M. Alhambra,
J. Ignacio Cirac
Abstract:
Tensor network methods are routinely used in approximating various equilibrium and non-equilibrium scenarios, with the algorithms requiring a small bond dimension at low enough time or inverse temperature. These approaches so far lacked a rigorous mathematical justification, since existing approximations to thermal states and time evolution demand a bond dimension growing with system size. To addr…
▽ More
Tensor network methods are routinely used in approximating various equilibrium and non-equilibrium scenarios, with the algorithms requiring a small bond dimension at low enough time or inverse temperature. These approaches so far lacked a rigorous mathematical justification, since existing approximations to thermal states and time evolution demand a bond dimension growing with system size. To address this problem, we construct PEPOs that approximate, for all local observables, $i)$ their thermal expectation values and $ii)$ their Heisenberg time evolution. The bond dimension required does not depend on system size, but only on the temperature or time. We also show how these can be used to approximate thermal correlation functions and expectation values in quantum quenches.
△ Less
Submitted 15 November, 2021; v1 submitted 1 June, 2021;
originally announced June 2021.
-
Computable Rényi mutual information: Area laws and correlations
Authors:
Samuel O. Scalet,
Álvaro M. Alhambra,
Georgios Styliaris,
J. Ignacio Cirac
Abstract:
The mutual information is a measure of classical and quantum correlations of great interest in quantum information. It is also relevant in quantum many-body physics, by virtue of satisfying an area law for thermal states and bounding all correlation functions. However, calculating it exactly or approximately is often challenging in practice. Here, we consider alternative definitions based on Rényi…
▽ More
The mutual information is a measure of classical and quantum correlations of great interest in quantum information. It is also relevant in quantum many-body physics, by virtue of satisfying an area law for thermal states and bounding all correlation functions. However, calculating it exactly or approximately is often challenging in practice. Here, we consider alternative definitions based on Rényi divergences. Their main advantage over their von Neumann counterpart is that they can be expressed as a variational problem whose cost function can be efficiently evaluated for families of states like matrix product operators while preserving all desirable properties of a measure of correlations. In particular, we show that they obey a thermal area law in great generality, and that they upper bound all correlation functions. We also investigate their behavior on certain tensor network states and on classical thermal distributions.
△ Less
Submitted 4 September, 2021; v1 submitted 2 March, 2021;
originally announced March 2021.
-
Optimal Quantum Thermometry with Coarse-grained Measurements
Authors:
Karen V. Hovhannisyan,
Mathias R. Jørgensen,
Gabriel T. Landi,
Álvaro M. Alhambra,
Jonatan B. Brask,
Martí Perarnau-Llobet
Abstract:
Precise thermometry for quantum systems is important to the development of new technology, and understanding the ultimate limits to precision presents a fundamental challenge. It is well known that optimal thermometry requires projective measurements of the total energy of the sample. However, this is infeasible in even moderately-sized systems, where realistic energy measurements will necessarily…
▽ More
Precise thermometry for quantum systems is important to the development of new technology, and understanding the ultimate limits to precision presents a fundamental challenge. It is well known that optimal thermometry requires projective measurements of the total energy of the sample. However, this is infeasible in even moderately-sized systems, where realistic energy measurements will necessarily involve some coarse graining. Here, we explore the precision limits for temperature estimation when only coarse-grained measurements are available. Utilizing tools from signal processing, we derive the structure of optimal coarse-grained measurements and find that good temperature estimates can generally be attained even with a small number of outcomes. We apply our results to many-body systems and nonequilibrium thermometry. For the former, we focus on interacting spin lattices, both at and away from criticality, and find that the Fisher-information scaling with system size is unchanged after coarse-graining. For the latter, we consider a probe of given dimension interacting with the sample, followed by a measurement of the probe. We derive an upper bound on arbitrary, nonequilibrium strategies for such probe-based thermometry and illustrate it for thermometry on a Bose-Einstein condensate using an atomic quantum-dot probe.
△ Less
Submitted 20 May, 2021; v1 submitted 20 November, 2020;
originally announced November 2020.
-
Improved thermal area law and quasi-linear time algorithm for quantum Gibbs states
Authors:
Tomotaka Kuwahara,
Álvaro M. Alhambra,
Anurag Anshu
Abstract:
One of the most fundamental problems in quantum many-body physics is the characterization of correlations among thermal states. Of particular relevance is the thermal area law, which justifies the tensor network approximations to thermal states with a bond dimension growing polynomially with the system size. In the regime of sufficiently low temperatures, which is particularly important for practi…
▽ More
One of the most fundamental problems in quantum many-body physics is the characterization of correlations among thermal states. Of particular relevance is the thermal area law, which justifies the tensor network approximations to thermal states with a bond dimension growing polynomially with the system size. In the regime of sufficiently low temperatures, which is particularly important for practical applications, the existing techniques do not yield optimal bounds. Here, we propose a new thermal area law that holds for generic many-body systems on lattices. We improve the temperature dependence from the original $\mathcal{O}(β)$ to $\tilde{\mathcal{O}}(β^{2/3})$, thereby suggesting diffusive propagation of entanglement by imaginary time evolution. This qualitatively differs from the real-time evolution which usually induces linear growth of entanglement. We also prove analogous bounds for the Rényi entanglement of purification and the entanglement of formation. Our analysis is based on a polynomial approximation to the exponential function which provides a relationship between the imaginary-time evolution and random walks. Moreover, for one-dimensional (1D) systems with $n$ spins, we prove that the Gibbs state is well-approximated by a matrix product operator with a sublinear bond dimension of $e^{\sqrt{\tilde{\mathcal{O}}(β\log(n))}}$. This proof allows us to rigorously establish, for the first time, a quasi-linear time classical algorithm for constructing an MPS representation of 1D quantum Gibbs states at arbitrary temperatures of $β= o(\log(n))$. Our new technical ingredient is a block decomposition of the Gibbs state, that bears resemblance to the decomposition of real-time evolution given by Haah et al., FOCS'18.
△ Less
Submitted 11 March, 2021; v1 submitted 21 July, 2020;
originally announced July 2020.
-
Mixing and localisation in random time-periodic quantum circuits of Clifford unitaries
Authors:
Tom Farshi,
Daniele Toniolo,
Carlos E. González-Guillén,
Álvaro M. Alhambra,
Lluis Masanes
Abstract:
How much does local and time-periodic dynamics resemble a random unitary? In the present work we address this question by using the Clifford formalism from quantum computation. We analyse a Floquet model with disorder, characterised by a family of local, time-periodic, random quantum circuits in one spatial dimension. We observe that the evolution operator enjoys an extra symmetry at times that ar…
▽ More
How much does local and time-periodic dynamics resemble a random unitary? In the present work we address this question by using the Clifford formalism from quantum computation. We analyse a Floquet model with disorder, characterised by a family of local, time-periodic, random quantum circuits in one spatial dimension. We observe that the evolution operator enjoys an extra symmetry at times that are a half-integer multiple of the period. With this we prove that after the scrambling time, namely when any initial perturbation has propagated throughout the system, the evolution operator cannot be distinguished from a (Haar) random unitary when all qubits are measured with Pauli operators. This indistinguishability decreases as time goes on, which is in high contrast to the more studied case of (time-dependent) random circuits. We also prove that the evolution of Pauli operators displays a form of mixing. These results require the dimension of the local subsystem to be large. In the opposite regime our system displays a novel form of localisation, produced by the appearance of effective one-sided walls, which prevent perturbations from crossing the wall in one direction but not the other.
△ Less
Submitted 17 January, 2022; v1 submitted 7 July, 2020;
originally announced July 2020.
-
Revivals imply quantum many-body scars
Authors:
Álvaro M. Alhambra,
Anurag Anshu,
Henrik Wilming
Abstract:
We derive general results relating revivals in the dynamics of quantum many-body systems to the entanglement properties of energy eigenstates. For a D-dimensional lattice system of N sites initialized in a low-entangled and short-range correlated state, our results show that a perfect revival of the state after a time at most poly(N) implies the existence of "quantum many-body scars", whose number…
▽ More
We derive general results relating revivals in the dynamics of quantum many-body systems to the entanglement properties of energy eigenstates. For a D-dimensional lattice system of N sites initialized in a low-entangled and short-range correlated state, our results show that a perfect revival of the state after a time at most poly(N) implies the existence of "quantum many-body scars", whose number grows at least as the square root of N up to poly-logarithmic factors. These are energy eigenstates with energies placed in an equally-spaced ladder and with Rényi entanglement entropy scaling as log(N) plus an area law term for any region of the lattice. This shows that quantum many-body scars are a necessary condition for revivals, independent of particularities of the Hamiltonian leading to them. We also present results for approximate revivals, for revivals of expectation values of observables and prove that the duration of revivals of states has to become vanishingly short with increasing system size.
△ Less
Submitted 8 May, 2020; v1 submitted 13 November, 2019;
originally announced November 2019.
-
Time evolution of correlation functions in quantum many-body systems
Authors:
Álvaro M. Alhambra,
Jonathon Riddell,
Luis Pedro García-Pintos
Abstract:
We give rigorous analytical results on the temporal behavior of two-point correlation functions --also known as dynamical response functions or Green's functions-- in closed many-body quantum systems. We show that in a large class of translation-invariant models the correlation functions factorize at late times $\langle A(t) B\rangle_β\rightarrow \langle A \rangle_β\langle B \rangle_β$, thus provi…
▽ More
We give rigorous analytical results on the temporal behavior of two-point correlation functions --also known as dynamical response functions or Green's functions-- in closed many-body quantum systems. We show that in a large class of translation-invariant models the correlation functions factorize at late times $\langle A(t) B\rangle_β\rightarrow \langle A \rangle_β\langle B \rangle_β$, thus proving that dissipation emerges out of the unitary dynamics of the system. We also show that for systems with a generic spectrum the fluctuations around this late-time value are bounded by the purity of the thermal ensemble, which generally decays exponentially with system size. For auto-correlation functions we provide an upper bound on the timescale at which they reach the factorized late time value. Remarkably, this bound is only a function of local expectation values, and does not increase with system size. We give numerical examples that show that this bound is a good estimate in non-integrable models, and argue that the timescale that appears can be understood in terms of an emergent fluctuation-dissipation theorem. Our study extends to further classes of two point functions such as the symmetrized ones and the Kubo function that appears in linear response theory, for which we give analogous results.
△ Less
Submitted 19 March, 2020; v1 submitted 26 June, 2019;
originally announced June 2019.
-
Continuous groups of transversal gates for quantum error correcting codes from finite clock reference frames
Authors:
Mischa P. Woods,
Álvaro M. Alhambra
Abstract:
Following the introduction of the task of reference frame error correction, we show how, by using reference frame alignment with clocks, one can add a continuous Abelian group of transversal logical gates to any error-correcting code. With this we further explore a way of circumventing the no-go theorem of Eastin and Knill, which states that if local errors are correctable, the group of transversa…
▽ More
Following the introduction of the task of reference frame error correction, we show how, by using reference frame alignment with clocks, one can add a continuous Abelian group of transversal logical gates to any error-correcting code. With this we further explore a way of circumventing the no-go theorem of Eastin and Knill, which states that if local errors are correctable, the group of transversal gates must be of finite order. We are able to do this by introducing a small error on the decoding procedure that decreases with the dimension of the frames used. Furthermore, we show that there is a direct relationship between how small this error can be and how accurate quantum clocks can be: the more accurate the clock, the smaller the error; and the no-go theorem would be violated if time could be measured perfectly in quantum mechanics. The asymptotic scaling of the error is studied under a number of scenarios of reference frames and error models. The scheme is also extended to errors at unknown locations, and we show how to achieve this by simple majority voting related error correction schemes on the reference frames. In the Outlook, we discuss our results in relation to the AdS/CFT correspondence and the Page-Wooters mechanism.
△ Less
Submitted 19 March, 2020; v1 submitted 20 February, 2019;
originally announced February 2019.
-
Work distributions on quantum fields
Authors:
Alvaro Ortega,
Emma McKay,
Álvaro M. Alhambra,
Eduardo Martin-Martinez
Abstract:
We study the work cost of processes in quantum fields without the need of projective measurements, which are always ill defined in quantum field theory. Inspired by interferometry schemes, we propose a work distribution that generalizes the two-point measurement scheme employed in quantum thermodynamics to the case of quantum fields and avoids the use of projective measurements. The distribution i…
▽ More
We study the work cost of processes in quantum fields without the need of projective measurements, which are always ill defined in quantum field theory. Inspired by interferometry schemes, we propose a work distribution that generalizes the two-point measurement scheme employed in quantum thermodynamics to the case of quantum fields and avoids the use of projective measurements. The distribution is calculated for local unitary processes performed on Kubo-Martin-Schwinger (thermal) states of scalar fields. Crooks theorem and the Jarzynski equality are shown to be satisfied for a family of spatio-temporally localized unitaries, and some features of the resulting distributions are studied as functions of temperature and the degree of localization of the unitary operation. We show how the work fluctuations become much larger than the average as the process becomes more localized in both time and space.
△ Less
Submitted 9 October, 2019; v1 submitted 8 February, 2019;
originally announced February 2019.
-
Fundamental limitations to local energy extraction in quantum systems
Authors:
Álvaro M. Alhambra,
Georgios Styliaris,
Nayeli A. Rodriguez-Briones,
Jamie Sikora,
Eduardo Martin-Martinez
Abstract:
We examine when it is possible to locally extract energy from a bipartite quantum system in the presence of strong coupling and entanglement, a task which is expected to be restricted by entanglement in the low-energy eigenstates. We fully characterize this distinct notion of "passivity" by finding necessary and sufficient conditions for such extraction to be impossible, using techniques from semi…
▽ More
We examine when it is possible to locally extract energy from a bipartite quantum system in the presence of strong coupling and entanglement, a task which is expected to be restricted by entanglement in the low-energy eigenstates. We fully characterize this distinct notion of "passivity" by finding necessary and sufficient conditions for such extraction to be impossible, using techniques from semidefinite programming. This is the first time in which such techniques are used in the context of energy extraction, which opens a way of exploring further kinds of passivity in quantum thermodynamics. We also significantly strengthen a previous result of Frey et al., by showing a physically relevant quantitative bound on the threshold temperature at which this passivity appears. Furthermore, we show how this no-go result also holds for thermal states in the thermodynamic limit, provided that the spatial correlations decay sufficiently fast, and we give numerical examples.
△ Less
Submitted 6 November, 2019; v1 submitted 6 February, 2019;
originally announced February 2019.
-
Mixing of quantum states under Markovian dissipation and coherent control
Authors:
Georgios Styliaris,
Álvaro M. Alhambra,
Paolo Zanardi
Abstract:
Given any two quantum states $ρ$ and $σ$ in Hilbert spaces of equal dimension satisfying the majorization condition $ρ\succ σ$, it is always possible to transform $ρ\mapsto σ$ by a unital quantum map. In fact, any such transformation can be achieved just by means of noisy operations, i.e., by access to maximally mixed ancillary states and unitary transformations that act jointly in the system-anci…
▽ More
Given any two quantum states $ρ$ and $σ$ in Hilbert spaces of equal dimension satisfying the majorization condition $ρ\succ σ$, it is always possible to transform $ρ\mapsto σ$ by a unital quantum map. In fact, any such transformation can be achieved just by means of noisy operations, i.e., by access to maximally mixed ancillary states and unitary transformations that act jointly in the system-ancilla space. Here, we investigate the possible transitions between states (i.e., the induced preorder of states) when one restricts the unitary control to the quantum system alone and replaces the maximally mixed ancillas with a Markovian master equation, represented by a unital Lindbladian. As a main result, we find necessary and sufficient conditions for the Lindbladian dissipation to have the same converting power as that of noisy operations, i.e., any transformation $ρ\mapsto σ$ is possible if and only if $ρ\succ σ$.
△ Less
Submitted 25 April, 2019; v1 submitted 15 November, 2018;
originally announced November 2018.
-
Heat-Bath Algorithmic Cooling with optimal thermalization strategies
Authors:
Álvaro M. Alhambra,
Matteo Lostaglio,
Christopher Perry
Abstract:
Heat-Bath Algorithmic Cooling is a set of techniques for producing highly pure quantum systems by utilizing a surrounding heat-bath and unitary interactions. These techniques originally used the thermal environment only to fully thermalize ancillas at the environment temperature. Here we extend HBAC protocols by optimizing over the thermalization strategy. We find, for any $d$-dimensional system i…
▽ More
Heat-Bath Algorithmic Cooling is a set of techniques for producing highly pure quantum systems by utilizing a surrounding heat-bath and unitary interactions. These techniques originally used the thermal environment only to fully thermalize ancillas at the environment temperature. Here we extend HBAC protocols by optimizing over the thermalization strategy. We find, for any $d$-dimensional system in an arbitrary initial state, provably optimal cooling protocols with surprisingly simple structure and exponential convergence to the ground state. Compared to the standard ones, these schemes can use fewer or no ancillas and exploit memory effects to enhance cooling. We verify that the optimal protocols are robusts to various deviations from the ideal scenario. For a single target qubit, the optimal protocol can be well approximated with a Jaynes-Cummings interaction between the system and a single thermal bosonic mode for a wide range of environmental temperatures. This admits an experimental implementation close to the setup of a micromaser, with a performance competitive with leading proposals in the literature. The proposed protocol provides an experimental setup that illustrates how non-Markovianity can be harnessed to improve cooling. On the technical side we 1. introduce a new class of states called maximally active states and discuss their thermodynamic significance in terms of optimal unitary control, 2. introduce a new set of thermodynamic processes, called $β$-permutations, whose access is sufficient to simulate a generic thermalization process, 3. show how to use abstract toolbox developed within the resource theory approach to thermodynamics to perform challenging optimizations, while combining it with open quantum system dynamics tools to approximate optimal solutions within physically realistic setups.
△ Less
Submitted 11 November, 2019; v1 submitted 20 July, 2018;
originally announced July 2018.
-
Entanglement fluctuation theorems
Authors:
Álvaro M. Alhambra,
Lluis Masanes,
Jonathan Oppenheim,
Christopher Perry
Abstract:
Pure state entanglement transformations have been thought of as irreversible, with reversible transformations generally only possible in the limit of many copies. Here, we show that reversible entanglement transformations do not require processing on the many copy level, but can instead be undertaken on individual systems, provided the amount of entanglement which is produced or consumed is allowe…
▽ More
Pure state entanglement transformations have been thought of as irreversible, with reversible transformations generally only possible in the limit of many copies. Here, we show that reversible entanglement transformations do not require processing on the many copy level, but can instead be undertaken on individual systems, provided the amount of entanglement which is produced or consumed is allowed to fluctuate. We derive necessary and sufficient conditions for entanglement manipulations in this case. As a corollary, we derive an equation which quantifies the fluctuations of entanglement, which is formally identical to the Jarzynski fluctuation equality found in thermodynamics. One can also relate a forward entanglement transformation to its reverse process in terms of the entanglement cost of such a transformation, in a manner equivalent to the Crooks relation. We show that a strong converse theorem for entanglement transformations is formally related to the second law of thermodynamics, while the fact that the Schmidt rank of an entangled state cannot increase is related to the third law of thermodynamics. Achievability of the protocols is done by introducing an entanglement battery, a device which stores entanglement and uses an amount of entanglement that is allowed to fluctuate but with an average cost which is still optimal. This allows us to also solve the problem of partial entanglement recovery, and in fact, we show that entanglement is fully recovered. Allowing the amount of consumed entanglement to fluctuate also leads to improved and optimal entanglement dilution protocols.
△ Less
Submitted 19 July, 2019; v1 submitted 18 September, 2017;
originally announced September 2017.
-
Finite-bath corrections to the second law of thermodynamics
Authors:
Jonathan G. Richens,
Álvaro M. Alhambra,
Lluis Masanes
Abstract:
The second law of thermodynamics states that a system in contact with a heat bath can undergo a transformation if and only if its free energy decreases. However, the "if" part of this statement is only true when the effective heat bath is infinite. In this article we remove this idealization and derive corrections to the second law in the case where the bath has a finite size, or equivalently fini…
▽ More
The second law of thermodynamics states that a system in contact with a heat bath can undergo a transformation if and only if its free energy decreases. However, the "if" part of this statement is only true when the effective heat bath is infinite. In this article we remove this idealization and derive corrections to the second law in the case where the bath has a finite size, or equivalently finite heat capacity. This can also be translated to processes lasting a finite time, and we show that thermodynamical reversibility is lost in this regime. We do so in full generality, that is without assuming any particular model for the bath, the only parameters defining the bath are its temperature and heat capacity. We find connections with second order Shannon information theory, in particular in the case of Landauer erasure. We also consider the case of non-fluctuating work, and derive finite-bath corrections to the min and max free energies employed in single-shot thermodynamics.
△ Less
Submitted 10 April, 2017; v1 submitted 10 February, 2017;
originally announced February 2017.
-
Dynamical maps, quantum detailed balance and Petz recovery map
Authors:
Álvaro M. Alhambra,
Mischa P. Woods
Abstract:
Markovian master equations (formally known as quantum dynamical semigroups) can be used to describe the evolution of a quantum state $ρ$ when in contact with a memoryless thermal bath. This approach has had much success in describing the dynamics of real-life open quantum systems in the lab. Such dynamics increase the entropy of the state $ρ$ and the bath until both systems reach thermal equilibri…
▽ More
Markovian master equations (formally known as quantum dynamical semigroups) can be used to describe the evolution of a quantum state $ρ$ when in contact with a memoryless thermal bath. This approach has had much success in describing the dynamics of real-life open quantum systems in the lab. Such dynamics increase the entropy of the state $ρ$ and the bath until both systems reach thermal equilibrium, at which point entropy production stops. Our main result is to show that the entropy production at time $t$ is bounded by the relative entropy between the original state and the state at time $2t$. The bound puts strong constraints on how quickly a state can thermalise, and we prove that the factor of $2$ is tight. The proof makes use of a key physically relevant property of these dynamical semigroups -- detailed balance, showing that this property is intimately connected with the field of recovery maps from quantum information theory. We envisage that the connections made here between the two fields will have further applications. We also use this connection to show that a similar relation can be derived when the fixed point is not thermal.
△ Less
Submitted 17 August, 2017; v1 submitted 23 September, 2016;
originally announced September 2016.
-
Elementary Thermal Operations
Authors:
Matteo Lostaglio,
Álvaro M. Alhambra,
Christopher Perry
Abstract:
To what extent do thermodynamic resource theories capture physically relevant constraints? Inspired by quantum computation, we define a set of elementary thermodynamic gates that only act on 2 energy levels of a system at a time. We show that this theory is well reproduced by a Jaynes-Cummings interaction in rotating wave approximation and draw a connection to standard descriptions of thermalisati…
▽ More
To what extent do thermodynamic resource theories capture physically relevant constraints? Inspired by quantum computation, we define a set of elementary thermodynamic gates that only act on 2 energy levels of a system at a time. We show that this theory is well reproduced by a Jaynes-Cummings interaction in rotating wave approximation and draw a connection to standard descriptions of thermalisation. We then prove that elementary thermal operations present tighter constraints on the allowed transformations than thermal operations. Mathematically, this illustrates the failure at finite temperature of fundamental theorems by Birkhoff and Muirhead-Hardy-Littlewood-Polya concerning stochastic maps. Physically, this implies that stronger constraints than those imposed by single-shot quantities can be given if we tailor a thermodynamic resource theory to the relevant experimental scenario. We provide new tools to do so, including necessary and sufficient conditions for a given change of the population to be possible. As an example, we describe the resource theory of the Jaynes-Cummings model. Finally, we initiate an investigation into how our resource theories can be applied to Heat Bath Algorithmic Cooling protocols.
△ Less
Submitted 2 February, 2018; v1 submitted 1 July, 2016;
originally announced July 2016.
-
The second law of quantum thermodynamics as an equality
Authors:
Álvaro M. Alhambra,
Lluis Masanes,
Jonathan Oppenheim,
Christopher Perry
Abstract:
We investigate the connection between recent results in quantum thermodynamics and fluctuation relations by adopting a fully quantum mechanical description of thermodynamics. By including a work system whose energy is allowed to fluctuate, we derive a set of equalities which all thermodynamical transitions have to satisfy. This extends the condition for maps to be Gibbs-preserving to the case of f…
▽ More
We investigate the connection between recent results in quantum thermodynamics and fluctuation relations by adopting a fully quantum mechanical description of thermodynamics. By including a work system whose energy is allowed to fluctuate, we derive a set of equalities which all thermodynamical transitions have to satisfy. This extends the condition for maps to be Gibbs-preserving to the case of fluctuating work, providing a more general characterisation of maps commonly used in the information theoretic approach to thermodynamics. For final states, block diagonal in the energy basis, this set of equalities are necessary and sufficient conditions for a thermodynamical state transition to be possible. The conditions serves as a parent equation which can be used to derive a number of results. These include writing the second law of thermodynamics as an equality featuring a fine-grained notion of the free energy. It also yields a generalisation of the Jarzynski fluctuation theorem which holds for arbitrary initial states, and under the most general manipulations allowed by the laws of quantum mechanics. Furthermore, we show that each of these relations can be seen as the quasi-classical limit of three fully quantum identities. This allows us to consider the free energy as an operator, and allows one to obtain more general and fully quantum fluctuation relations from the information theoretic approach to quantum thermodynamics.
△ Less
Submitted 24 March, 2017; v1 submitted 21 January, 2016;
originally announced January 2016.
-
Work and reversibility in quantum thermodynamics
Authors:
Álvaro M. Alhambra,
Stephanie Wehner,
Mark M. Wilde,
Mischa P. Woods
Abstract:
It is a central question in quantum thermodynamics to determine how irreversible is a process that transforms an initial state $ρ$ to a final state $σ$, and whether such irreversibility can be thought of as a useful resource. For example, we might ask how much work can be obtained by thermalizing $ρ$ to a thermal state $σ$ at temperature $T$ of an ambient heat bath. Here, we show that, for differe…
▽ More
It is a central question in quantum thermodynamics to determine how irreversible is a process that transforms an initial state $ρ$ to a final state $σ$, and whether such irreversibility can be thought of as a useful resource. For example, we might ask how much work can be obtained by thermalizing $ρ$ to a thermal state $σ$ at temperature $T$ of an ambient heat bath. Here, we show that, for different sets of resource-theoretic thermodynamic operations, the amount of entropy produced along a transition is characterized by how reversible the process is. More specifically, this entropy production depends on how well we can return the state $σ$ to its original form $ρ$ without investing any work. At the same time, the entropy production can be linked to the work that can be extracted along a given transition, and we explore the consequences that this fact has for our results. We also exhibit an explicit reversal operation in terms of the Petz recovery channel coming from quantum information theory. Our result establishes a quantitative link between the reversibility of thermodynamical processes and the corresponding work gain.
△ Less
Submitted 15 June, 2018; v1 submitted 26 June, 2015;
originally announced June 2015.
-
What is the probability of a thermodynamical transition?
Authors:
Álvaro M. Alhambra,
Jonathan Oppenheim,
Christopher Perry
Abstract:
If the second law of thermodynamics forbids a transition from one state to another, then it is still possible to make the transition happen by using a sufficient amount of work. But if we do not have access to this amount of work, can the transition happen probabilistically? In the thermodynamic limit, this probability tends to zero, but here we find that for finite-sized systems, it can be finite…
▽ More
If the second law of thermodynamics forbids a transition from one state to another, then it is still possible to make the transition happen by using a sufficient amount of work. But if we do not have access to this amount of work, can the transition happen probabilistically? In the thermodynamic limit, this probability tends to zero, but here we find that for finite-sized systems, it can be finite. We compute the maximum probability of a transition or a thermodynamical fluctuation from any initial state to any final state, and show that this maximum can be achieved for any final state which is block-diagonal in the energy eigenbasis. We also find upper and lower bounds on this transition probability, in terms of the work of transition. As a bi-product, we introduce a finite set of thermodynamical monotones related to the thermo-majorization criteria which governs state transitions, and compute the work of transition in terms of them. The trade-off between the probability of a transition, and any partial work added to aid in that transition is also considered. Our results have applications in entanglement theory, and we find the amount of entanglement required (or gained) when transforming one pure entangled state into any other.
△ Less
Submitted 16 February, 2016; v1 submitted 31 March, 2015;
originally announced April 2015.
-
Casimir forces on atoms in optical cavities
Authors:
Alvaro M. Alhambra,
Achim Kempf,
Eduardo Martin-Martinez
Abstract:
Casimir-type forces, such as those between two neutral conducting plates, or between a sphere, atom or molecule and a plate have been widely studied and are becoming of increasing significance, for example, in nanotechnology. A key challenge is to better understand, from a fundamental microscopic approach, why the Casimir force is in some circumstances attractive and in others repulsive. Here, we…
▽ More
Casimir-type forces, such as those between two neutral conducting plates, or between a sphere, atom or molecule and a plate have been widely studied and are becoming of increasing significance, for example, in nanotechnology. A key challenge is to better understand, from a fundamental microscopic approach, why the Casimir force is in some circumstances attractive and in others repulsive. Here, we study the Casimir-Polder forces experienced by small quantum systems such as atoms or molecules in an optical cavity. In order to make the problem more tractable, we work in a 1+1 dimensional setting, we take into account only the ground state and first excited state of the atom and we model the electromagnetic field as a scalar field with Dirichlet or Neumann boundary conditions. This allows us to determine the conditions for the Casimir force to be attractive or repulsive for individual atoms, namely through the interplay of paramagnetic and diamagnetic vacuum effects. We also study the microscopic-macroscopic transition, finding that as the number of atoms in the cavity is increased, the atoms start to affect the Casimir force exerted on the cavity walls similarly to a dielectric medium.
△ Less
Submitted 21 March, 2014; v1 submitted 29 November, 2013;
originally announced November 2013.
