arXiv subjects

Álvaro M. Alhambra

Publications and source records attributed to Álvaro M. Alhambra.

At least 37 records · Page 2Linked to original sources

arXiv2022

Mixing and localisation in random time-periodic quantum circuits of Clifford unitaries

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.

quant-ph↗

arXiv2022

Relaxation of non-integrable systems and correlation functions

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.

quant-ph↗

arXiv2021

Locally accurate tensor networks for thermal states and time evolution

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.

quant-ph↗

arXiv2021

Computable Rényi mutual information: Area laws and correlations

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.

quant-ph↗

arXiv2021

Optimal Quantum Thermometry with Coarse-grained Measurements

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.

quant-ph↗

arXiv2021

Improved thermal area law and quasi-linear time algorithm for quantum Gibbs states

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.

quant-ph↗

arXiv2020

Revivals imply quantum many-body scars

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.

quant-ph↗

arXiv2020

Time evolution of correlation functions in quantum many-body systems

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.

quant-ph↗

arXiv2020

Continuous groups of transversal gates for quantum error correcting codes from finite clock reference frames

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.

quant-ph↗

arXiv2019

Heat-Bath Algorithmic Cooling with optimal thermalization strategies

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.

quant-ph↗

arXiv2019

Fundamental limitations to local energy extraction in quantum systems

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.

quant-ph↗

arXiv2019

Work distributions on quantum fields

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.

quant-ph↗

arXiv2019

Entanglement fluctuation theorems

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.

quant-ph↗

arXiv2019

Mixing of quantum states under Markovian dissipation and coherent control

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 σ$.

quant-ph↗

arXiv2018

Work and reversibility in quantum thermodynamics

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.

quant-ph↗

arXiv2018

Elementary Thermal Operations

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.

quant-ph↗

arXiv2017

Dynamical maps, quantum detailed balance and Petz recovery map

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.

quant-ph↗

arXiv2017

Finite-bath corrections to the second law of thermodynamics

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.

quant-ph↗