arXiv subjects

Jens Eisert

Publications and source records attributed to Jens Eisert.

At least 217 records · Page 12Linked to original sources

arXiv2020

Dynamical structure factors of dynamical quantum simulators

The dynamical structure factor is one of the experimental quantities crucial in scrutinizing the validity of the microscopic description of strongly correlated systems. However, despite its long-standing importance, it is exceedingly difficult in generic cases to numerically calculate it, ensuring that the necessary approximations involved yield a correct result. Acknowledging this practical difficulty, we discuss in what way results on the hardness of classically tracking time evolution under local Hamiltonians are precisely inherited by dynamical structure factors; and hence offer in the same way the potential computational capabilities that dynamical quantum simulators do: We argue that practically accessible variants of the dynamical structure factors are BQP-hard for general local Hamiltonians. Complementing these conceptual insights, we improve upon a novel, readily available, measurement setup allowing for the determination of the dynamical structure factor in different architectures, including arrays of ultra-cold atoms, trapped ions, Rydberg atoms, and superconducting qubits. Our results suggest that quantum simulations employing near-term noisy intermediate scale quantum devices should allow for the observation of features of dynamical structure factors of correlated quantum matter in the presence of experimental imperfections, for larger system sizes than what is achievable by classical simulation.

cond-mat.str-el↗

arXiv2020

Entanglement-ergodic quantum systems equilibrate exponentially well

One of the outstanding problems in non-equilibrium physics is to precisely understand when and how physically relevant observables in many-body systems equilibrate under unitary time evolution. General equilibration results show that equilibration is generic provided that the initial state has overlap with sufficiently many energy levels. But results not referring to typicality which show that natural initial states actually fulfill this condition are lacking. In this work, we present stringent results for equilibration for systems in which Renyi entanglement entropies in energy eigenstates with finite energy density are extensive for at least some, not necessarily connected, sub-system. Our results reverse the logic of common arguments, in that we derive equilibration from a weak condition akin to the eigenstate thermalization hypothesis, which is usually attributed to thermalization in systems that are assumed to equilibrate in the first place. We put the findings into the context of studies of many-body localization and many-body scars.

quant-ph↗

arXiv2020

By-passing fluctuation theorems

Fluctuation theorems impose constraints on possible work extraction probabilities in thermodynamical processes. These constraints are stronger than the usual second law, which is concerned only with average values. Here, we show that such constraints, expressed in the form of the Jarzysnki equality, can be bypassed if one allows for the use of catalysts - additional degrees of freedom that may become correlated with the system from which work is extracted, but whose reduced state remains unchanged so that they can be re-used. This violation can be achieved both for small systems but also for macroscopic many-body systems and leads to positive work extraction per particle with finite probability from macroscopic states in equilibrium. In addition to studying such violations for a single system, we also discuss the scenario in which many parties use the same catalyst to induce local transitions. We show that there exist catalytic processes that lead to highly correlated work distributions, expected to have implications for stochastic and quantum thermodynamics.

quant-ph↗

arXiv2019

Expressive power of tensor-network factorizations for probabilistic modeling, with applications from hidden Markov models to quantum machine learning

Tensor-network techniques have enjoyed outstanding success in physics, and have recently attracted attention in machine learning, both as a tool for the formulation of new learning algorithms and for enhancing the mathematical understanding of existing methods. Inspired by these developments, and the natural correspondence between tensor networks and probabilistic graphical models, we provide a rigorous analysis of the expressive power of various tensor-network factorizations of discrete multivariate probability distributions. These factorizations include non-negative tensor-trains/MPS, which are in correspondence with hidden Markov models, and Born machines, which are naturally related to local quantum circuits. When used to model probability distributions, they exhibit tractable likelihoods and admit efficient learning algorithms. Interestingly, we prove that there exist probability distributions for which there are unbounded separations between the resource requirements of some of these tensor-network factorizations. Particularly surprising is the fact that using complex instead of real tensors can lead to an arbitrarily large reduction in the number of parameters of the network. Additionally, we introduce locally purified states (LPS), a new factorization inspired by techniques for the simulation of quantum systems, with provably better expressive power than all other representations considered. The ramifications of this result are explored through numerical experiments. Our findings imply that LPS should be considered over hidden Markov models, and furthermore provide guidelines for the design of local quantum circuits for probabilistic modeling.

cs.LG↗

arXiv2019

Closing gaps of a quantum advantage with short-time Hamiltonian dynamics

Demonstrating a quantum computational speedup is a crucial milestone for near-term quantum technology. Recently, quantum simulation architectures have been proposed that have the potential to show such a quantum advantage, based on commonly made assumptions. The key challenge in the theoretical analysis of this scheme - as of other comparable schemes such as boson sampling - is to lessen the assumptions and close the theoretical loopholes, replacing them by rigorous arguments. In this work, we prove two open conjectures for these architectures for Hamiltonian quantum simulators: Anticoncentration of the generated probability distributions and average-case hardness of exactly evaluating those probabilities. The latter is proven building upon recently developed techniques for random circuit sampling. For the former, we develop new techniques that exploit the insight that approximate 2-designs for the unitary group admit anticoncentration. We prove that the 2D translation-invariant, constant depth architectures of quantum simulation form approximate 2-designs in a specific sense, thus obtaining a significantly stronger result. Our work provides the strongest evidence to date that Hamiltonian quantum simulation architectures are classically intractable.

quant-ph↗

arXiv2019

Majorana dimers and holographic quantum error-correcting codes

Holographic quantum error-correcting codes have been proposed as toy models that describe key aspects of the AdS/CFT correspondence. In this work, we introduce a versatile framework of Majorana dimers capturing the intersection of stabilizer and Gaussian Majorana states. This picture allows for an efficient contraction with a simple diagrammatic interpretation and is amenable to analytical study of holographic quantum error-correcting codes. Equipped with this framework, we revisit the recently proposed hyperbolic pentagon code (HyPeC). Relating its logical code basis to Majorana dimers, we efficiently compute boundary state properties even for the non-Gaussian case of generic logical input. The dimers characterizing these boundary states coincide with discrete bulk geodesics, leading to a geometric picture from which properties of entanglement, quantum error correction, and bulk/boundary operator mapping immediately follow. We also elaborate upon the emergence of the Ryu-Takayanagi formula from our model, which realizes many of the properties of the recent bit thread proposal. Our work thus elucidates the connection between bulk geometry, entanglement, and quantum error correction in AdS/CFT, and lays the foundation for new models of holography.

hep-th↗

arXiv2019

Harnessing symmetry-protected topological order for quantum memories

Spin chains with symmetry-protected edge modes are promising candidates to realize intrinsically robust physical qubits that can be used for the storage and processing of quantum information. In any experimental realization of such physical systems, weak perturbations in the form of induced interactions and disorder are unavoidable and can be detrimental to the stored information. At the same time, the latter may in fact be beneficial; for instance by deliberately inducing disorder which causes the system to localize. In this work, we explore the potential of using an $XZX$ cluster Hamiltonian to encode quantum information into the local edge modes and comprehensively investigate the influence of both many-body interactions and disorder on their stability over time, adding substance to the narrative that many-body localization may stabilize quantum information. We recover the edge state at each time step, allowing us to reconstruct the quantum channel that captures the locally constrained out of equilibrium time evolution. With this representation in hand, we analyze how well classical and quantum information are preserved over time as a function of disorder and interactions. We find that the performance of the edge qubits varies dramatically between disorder realizations. Whereas some show a smooth decoherence over time, a sizeable fraction are rapidly rendered unusable as memories. We also find that the stability of the classical information -- a precursor for the usefulness of the chain as a quantum memory -- depends strongly on the direction in which the bit is encoded. When employing the chain as a genuine quantum memory, encoded qubits are most faithfully recovered for low interaction and high disorder.

quant-ph↗

arXiv2019

Guaranteed recovery of quantum processes from few measurements

Quantum process tomography is the task of reconstructing unknown quantum channels from measured data. In this work, we introduce compressed sensing-based methods that facilitate the reconstruction of quantum channels of low Kraus rank. Our main contribution is the analysis of a natural measurement model for this task: We assume that data is obtained by sending pure states into the channel and measuring expectation values on the output. Neither ancillary systems nor coherent operations across multiple channel uses are required. Most previous results on compressed process reconstruction reduce the problem to quantum state tomography on the channel's Choi matrix. While this ansatz yields recovery guarantees from an essentially minimal number of measurements, physical implementations of such schemes would typically involve ancillary systems. A priori, it is unclear whether a measurement model tailored directly to quantum process tomography might require more measurements. We establish that this is not the case. Technically, we prove recovery guarantees for three different reconstruction algorithms. The reconstructions are based on a trace, diamond, and $\ell_2$-norm minimization, respectively. Our recovery guarantees are uniform in the sense that with one random choice of measurement settings all quantum channels can be recovered equally well. Moreover, stability against arbitrary measurement noise and robustness against violations of the low-rank assumption is guaranteed. Numerical studies demonstrate the feasibility of the approach.

quant-ph↗

arXiv2019

Equilibration towards generalized Gibbs ensembles in non-interacting theories

Even after almost a century, the foundations of quantum statistical mechanics are still not completely understood. In this work, we provide a precise account on these foundations for a class of systems of paradigmatic importance that appear frequently as mean-field models in condensed matter physics, namely non-interacting lattice models of fermions (with straightforward extension to bosons). We demonstrate that already the translation invariance of the Hamiltonian governing the dynamics and a finite correlation length of the possibly non-Gaussian initial state provide sufficient structure to make mathematically precise statements about the equilibration of the system towards a generalized Gibbs ensemble, even for highly non-translation invariant initial states far from ground states of non-interacting models. Whenever these are given, the system will equilibrate rapidly according to a power-law in time as long as there are no long-wavelength dislocations in the initial second moments that would render the system resilient to relaxation. Our proof technique is rooted in the machinery of Kusmin-Landau bounds. Subsequently, we numerically illustrate our analytical findings by discussing quench scenarios with an initial state corresponding to an Anderson insulator observing power-law equilibration. We discuss the implications of the results for the understanding of current quantum simulators, both in how one can understand the behaviour of equilibration in time, as well as concerning perspectives for realizing distinct instances of generalized Gibbs ensembles in optical lattice-based architectures.

quant-ph↗

arXiv2019

Lieb-Robinson bounds for open quantum systems with long-ranged interactions

We state and prove four types of Lieb-Robinson bounds valid for many-body open quantum systems with power law decaying interactions undergoing out of equilibrium dynamics. We also provide an introductory and self-contained discussion of the setting and tools necessary to prove these results. The results found here apply to physical systems in which both long-ranged interactions and dissipation are present, as commonly encountered in certain quantum simulators, such as Rydberg systems or Coulomb crystals formed by ions.

quant-ph↗

arXiv2019

Sample complexity of device-independently certified "quantum supremacy"

Results on the hardness of approximate sampling are seen as important stepping stones towards a convincing demonstration of the superior computational power of quantum devices. The most prominent suggestions for such experiments include boson sampling, IQP circuit sampling, and universal random circuit sampling. A key challenge for any such demonstration is to certify the correct implementation. For all these examples, and in fact for all sufficiently flat distributions, we show that any non-interactive certification from classical samples and a description of the target distribution requires exponentially many uses of the device. Our proofs rely on the same property that is a central ingredient for the approximate hardness results: namely, that the sampling distributions, as random variables depending on the random unitaries defining the problem instances, have small second moments.

quant-ph↗

arXiv2019

Single-shot holographic compression from the area law

The area law conjecture states that the entanglement entropy of a region of space in the ground state of a gapped, local Hamiltonian only grows like the surface area of the region. We show that, for any quantum state that fulfills an area law, the reduced quantum state of a region of space can be unitarily compressed into a thickened surface of the region. If the interior of the region is lost after this compression, the full quantum state can be recovered to high precision by a quantum channel only acting on the thickened surface. The thickness of the boundary scales inversely proportional to the error for arbitrary spin systems and logarithmically with the error for quasi-free bosonic systems. Our results can be interpreted as a single-shot operational interpretation of the area law. The result for spin systems follows from a simple inequality showing that probability distributions with low entropy can be approximated by distributions with small support, which we believe to be of independent interest. We also discuss an emergent approximate correspondence between bulk and boundary operators and the relation of our results to tensor network states.

quant-ph↗

arXiv2019

Edge mode locality in perturbed symmetry protected topological order

Spin chains with symmetry-protected edge zero modes can be seen as prototypical systems for exploring topological signatures in quantum systems. These are useful for robustly encoding quantum information. However in an experimental realization of such a system, spurious interactions may cause the edge zero modes to delocalize. To stabilize against this influence beyond simply increasing the bulk gap, it has been proposed to harness suitable notions of disorder. Equipped with numerical tools for constructing locally conserved operators that we introduce, we comprehensively explore the interplay of local interactions and disorder on localized edge modes in the XZX cluster Hamiltonian. This puts us in a position to challenge the narrative that disorder necessarily stabilizes topological order. Contrary to heuristic reasoning, we find that disorder has no effect on the edge modes in the Anderson localized regime. Moreover, disorder helps localize only a subset of edge modes in the many-body interacting regime. We identify one edge mode operator that behaves as if subjected to a non-interacting perturbation, i.e., shows no disorder dependence. This implies that in finite systems, edge mode operators effectively delocalize at distinct interaction strengths. In essence, our findings suggest that the ability to identify and control the best localized edge mode trumps any gains from introducing disorder.

cond-mat.dis-nn↗

arXiv2019

Subsystem symmetries, quantum cellular automata, and computational phases of quantum matter

Quantum phases of matter are resources for notions of quantum computation. In this work, we establish a new link between concepts of quantum information theory and condensed matter physics by presenting a unified understanding of symmetry-protected topological (SPT) order protected by subsystem symmetries and its relation to measurement-based quantum computation (MBQC). The key unifying ingredient is the concept of quantum cellular automata (QCA) which we use to define subsystem symmetries acting on rigid lower-dimensional lines or fractals on a 2D lattice. Notably, both types of symmetries are treated equivalently in our framework. We show that states within a non-trivial SPT phase protected by these symmetries are indicated by the presence of the same QCA in a tensor network representation of the state, thereby characterizing the structure of entanglement that is uniformly present throughout these phases. By also formulating schemes of MBQC based on these QCA, we are able to prove that most of the phases we construct are computationally universal phases of matter, in which every state is a resource for universal MBQC. Interestingly, our approach allows us to construct computational phases which have practical advantages over previous examples, including a computational speedup. The significance of the approach stems from constructing novel computationally universal phases of matter and showcasing the power of tensor networks and quantum information theory in classifying subsystem SPT order.

quant-ph↗

arXiv2019

Towards a mathematical formalism for classifying phases of matter

We propose a unified mathematical framework for classifying phases of matter. The framework is based on different types of combinatorial structures with a notion of locality called lattices. A tensor lattice is a local prescription that associates tensor networks to those lattices. Different lattices are related by local operations called moves. Those local operations define consistency conditions for the tensors of the tensor network, the solutions to which yield exactly solvable models for all kinds of phases. We implement the framework to obtain models for symmetry-breaking and topological phases in up to three space-time dimensions, their boundaries, defects, domain walls and symmetries, as well as their anyons for 2+1-dimensional systems. We also deliver ideas of how other kinds of phases, like SPT/SET, fermionic, free-fermionic, chiral, and critical phases, can be described within our framework. We also define another structure called contracted tensor lattices which generalize tensor lattices: The former associate tensors instead of tensor networks to lattices, and the consistency conditions for those tensors are defined by another kind of local operation called gluings. Using this generalization, our framework also covers mathematical structures like axiomatic (non-fully extended or defective) TQFTs, that do not directly describe phases on a microscopic physical level, but formalize certain aspects of potential phases, like the anyon statistics of 2+1-dimensional phases. We also introduce the very powerful concept of (contracted) tensor lattice mapping, unifying a lots of different operations, such as stacking, anyon fusion, anyon condensation, equivalence of different fixed point models, taking the Drinfel'd centre, trivial defects or interpreting a bosonic model as a fermionic model.

cond-mat.str-el↗

arXiv2019

Multidimensional approximation of nonlinear dynamical systems

A key task in the field of modeling and analyzing nonlinear dynamical systems is the recovery of unknown governing equations from measurement data only. There is a wide range of application areas for this important instance of system identification, ranging from industrial engineering and acoustic signal processing to stock market models. In order to find appropriate representations of underlying dynamical systems, various data-driven methods have been proposed by different communities. However, if the given data sets are high-dimensional, then these methods typically suffer from the curse of dimensionality. To significantly reduce the computational costs and storage consumption, we propose the method MANDy which combines data-driven methods with tensor network decompositions. The efficiency of the introduced approach will be illustrated with the aid of several high-dimensional nonlinear dynamical systems.

math.DS↗

arXiv2019

Complexity and entanglement for thermofield double states

Motivated by holographic complexity proposals as novel probes of black hole spacetimes, we explore circuit complexity for thermofield double (TFD) states in free scalar quantum field theories using the Nielsen approach. For TFD states at t = 0, we show that the complexity of formation is proportional to the thermodynamic entropy, in qualitative agreement with holographic complexity proposals. For TFD states at t > 0, we demonstrate that the complexity evolves in time and saturates after a time of the order of the inverse temperature. The latter feature, which is in contrast with the results of holographic proposals, is due to the Gaussian nature of the TFD state of the free bosonic QFT. A novel technical aspect of our work is framing complexity calculations in the language of covariance matrices and the associated symplectic transformations, which provide a natural language for dealing with Gaussian states. Furthermore, for free QFTs in 1+1 dimension, we compare the dynamics of circuit complexity with the time dependence of the entanglement entropy for simple bipartitions of TFDs. We relate our results for the entanglement entropy to previous studies on non-equilibrium entanglement evolution following quenches. We also present a new analytic derivation of a logarithmic contribution due to the zero momentum mode in the limit of vanishing mass for a subsystem containing a single degree of freedom on each side of the TFD and argue why a similar logarithmic growth should be present for larger subsystems.

hep-th↗

arXiv2019

Are many-body localized systems stable in the presence of a small bath?

When pushed out of equilibrium, generic interacting quantum systems equilibrate locally and are expected to evolve towards a locally thermal description despite their unitary time evolution. Systems in which disorder competes with interactions and transport can violate this expectation by exhibiting many-body localization. The strength of the disorder with respect to the other two parameters drives a transition from a thermalizing system towards a non-thermalizing one. The existence of this transition is well established both in experimental and numerical studies for finite systems. However, the stability of many-body localization in the thermodynamic limit is largely unclear. With increasing system size, a generic disordered system will contain with high probability areas of low disorder variation. If large and frequent enough, those areas constitute ergodic grains which can hybridize and thus compete with localization. While the details of this process are not yet settled, it is conceivable that if such regions appear sufficiently often, they might be powerful enough to restore thermalization. We set out to shed light on this problem by constructing potential landscapes with low disorder regions and numerically investigating their localization behavior in the Heisenberg model. Our findings suggest that many-body localization may be much more stable than anticipated in other recent theoretical works.

cond-mat.dis-nn↗