results for au:Eisert_J in:quant-ph

- May 17 2018 quant-ph arXiv:1805.06422v1For a quantum system to be captured by a stationary statistical ensemble, as is common in thermodynamics and statistical mechanics, it is necessary that it reaches some apparently stationary state in the first place. In this book chapter, we discuss the problem of equilibration and specifically provide insights into how long it takes to reach equilibrium in closed quantum systems. We first briefly discuss the connection of this problem with recent experiments and forthcoming quantum simulators. Then we provide a comprehensive discussion of equilibration from a heuristic point of view, with a focus on providing an intuitive understanding and connecting the problem with general properties of interacting many-body systems. Finally, we provide a concise review of the rigorous results on equilibration times that are known in the literature.
- May 15 2018 quant-ph arXiv:1805.04559v1Quantum communication between distant parties is based on suitable instances of shared entanglement. For efficiency reasons, in an anticipated quantum network beyond point-to-point communication, it is preferable that many parties can communicate simultaneously over the underlying infrastructure; however, bottlenecks in the network may cause delays. Sharing of multi-partite entangled states between parties offers a solution, allowing for parallel quantum communication. Specifically for the two-pair problem, the butterfly network provides the first instance of such an advantage in a bottleneck scenario. The underlying method differs from standard repeater network approaches in that it uses a graph state instead of maximally entangled pairs to achieve long-distance simultaneous communication. We will demonstrate how graph theoretic tools, and specifically local complementation, help decrease the number of required measurements compared to usual methods applied in repeater schemes. We will examine other examples of network architectures, where deploying local complementation techniques provides an advantage. We will finally consider the problem of extracting graph states for quantum communication via local Clifford operations and Pauli measurements, and discuss that while the hardness of the general problem is not known, interestingly, for specific classes of structured resources, polynomial time algorithms can be identified.
- Apr 27 2018 quant-ph arXiv:1804.09962v2The work performed on or extracted from a non-autonomous quantum system described by means of a two-point projective-measurement approach takes the form of a stochastic variable. We show that the cumulant generating function of work can be recast in the form of quantum Renyi divergences, and by exploiting convexity of this cumulant generating function, derive a single-parameter family of bounds for the first moment of work. Higher order moments of work can also be obtained from this result. In this way, we establish a link between quantum work statistics in stochastic approaches on the one hand and resource theories for quantum thermodynamics on the other hand, a theory in which Renyi divergences take a central role. To explore this connection further, we consider an extended framework involving a control switch and an auxiliary battery, which is instrumental to reconstruct the work statistics of the system. We compare and discuss our bounds on the work distribution to findings on deterministic work studied in resource theoretic settings.
- Apr 10 2018 quant-ph arXiv:1804.03027v1Randomness is a defining element of mixing processes in nature and an essential ingredient to many protocols in quantum information. In this work, we investigate how much randomness is required to transform a given quantum state into another one. Specifically, we ask whether there is a gap between the power of a classical source of randomness compared to that of a quantum one. We provide a complete answer to these questions, by identifying provably optimal protocols for both classical and quantum sources of randomness, based on a dephasing construction. We find that in order to implement any noisy transition on a $d$-dimensional quantum system it is necessary and sufficient to have a quantum source of randomness of dimension $\sqrt{d}$ or a classical one of dimension $d$. Interestingly, coherences provided by quantum states in a source of randomness offer a quadratic advantage. The process we construct has the additional features to be robust and catalytic, i.e., the source of randomness can be re-used. Building upon this formal framework, we illustrate that this dephasing construction can serve as a useful primitive in both equilibration and quantum information theory: We discuss applications describing the smallest measurement device, capturing the smallest equilibrating environment allowed by quantum mechanics, or forming the basis for a cryptographic private quantum channel. We complement the exact analysis with a discussion of approximate protocols based on quantum expanders deriving from discrete Weyl systems. This gives rise to equilibrating environments of remarkably small dimension. Our results highlight the curious feature of randomness that residual correlations and dimension can be traded against each other.
- Characterising quantum processes is a key task in and constitutes a challenge for the development of quantum technologies, especially at the noisy intermediate scale of today's devices. One method for characterising processes is randomised benchmarking, which is robust against state preparation and measurement (SPAM) errors, and can be used to benchmark Clifford gates. A complementing approach asks for full tomographic knowledge. Compressed sensing techniques achieve full tomography of quantum channels essentially at optimal resource efficiency. So far, guarantees for compressed sensing protocols rely on unstructured random measurements and can not be applied to the data acquired from randomised benchmarking experiments. It has been an open question whether or not the favourable features of both worlds can be combined. In this work, we give a positive answer to this question. For the important case of characterising multi-qubit unitary gates, we provide a rigorously guaranteed and practical reconstruction method that works with an essentially optimal number of average gate fidelities measured respect to random Clifford unitaries. Moreover, for general unital quantum channels we provide an explicit expansion into a unitary 2-design, allowing for a practical and guaranteed reconstruction also in that case. As a side result, we obtain a new statistical interpretation of the unitarity -- a figure of merit that characterises the coherence of a process. In our proofs we exploit recent representation theoretic insights on the Clifford group, develop a version of Collins' calculus with Weingarten functions for integration over the Clifford group, and combine this with proof techniques from compressed sensing.
- Feb 07 2018 quant-ph cond-mat.stat-mech arXiv:1802.02052v1One 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. While general equilibration results have been proven that show that equilibration is generic provided that the initial state has overlap with sufficiently many energy levels, at the same time results showing that natural initial states fulfill this condition are lacking. In this work, we present stringent results for equilibration for ergodic systems in which the amount of entanglement in energy eigenstates with finite energy density grows volume-like with the system size. Concretely, we carefully formalize notions of entanglement-ergodicity in terms of Rényi entropies, from which we derive that such systems equilibrate exponentially well. Our proof uses insights about Rényi entropies and combines them with recent results about the probability distribution of energy in lattice systems with initial states that are weakly correlated.
- Dec 12 2017 quant-ph arXiv:1712.03773v2Within the last two decades, Quantum Technologies (QT) have made tremendous progress, moving from Noble Prize award-winning experiments on quantum physics into a cross-disciplinary field of applied research. Technologies are being developed now that explicitly address individual quantum states and make use of the 'strange' quantum properties, such as superposition and entanglement. The field comprises four domains: Quantum Communication, Quantum Simulation, Quantum Computation, and Quantum Sensing and Metrology. One success factor for the rapid advancement of QT is a well-aligned global research community with a common understanding of the challenges and goals. In Europe, this community has profited from several coordination projects, which have orchestrated the creation of a 150-page QT Roadmap. This article presents an updated summary of this roadmap. Besides sections on the four domains of QT, we have included sections on Quantum Theory and Software, and on Quantum Control, as both are important areas of research that cut across all four domains. Each section, after a short introduction to the domain, gives an overview on its current status and main challenges and then describes the advances in science and technology foreseen for the next ten years and beyond.
- Nov 28 2017 quant-ph cond-mat.stat-mech arXiv:1711.09832v1Numerous works have shown that under mild assumptions unitary dynamics inevitably leads to equilibration of physical expectation values if many energy eigenstates contribute to the initial state. Here, we consider systems driven by arbitrary time-dependent Hamiltonians as a protocol to prepare systems that do not equilibrate. We introduce a measure of the resilience against equilibration of such states and show, under natural assumptions, that in order to increase the resilience against equilibration of a given system, one needs to possess a resource system which itself has a large resilience. In this way, we establish a new link between the theory of equilibration and resource theories by quantifying the resilience against equilibration and the resources that are needed to produce it. We connect these findings with insights into local quantum quenches and investigate the (im-)possibility of formulating a second law of equilibration, by studying how resilience can be either only redistributed among subsystems, if these remain completely uncorrelated, or in turn created in a catalytic process if subsystems are allowed to build up some correlations.
- The AdS/CFT correspondence conjectures a holographic duality between gravity in a bulk space and a critical quantum field theory on its boundary. Tensor networks have come to provide toy models to understand such bulk-boundary correspondences, shedding light on connections between geometry and entanglement. We introduce a versatile and efficient framework for studying tensor networks, extending previous tools for Gaussian matchgate tensors in 1+1 dimensions. Using regular bulk tilings, we show that the critical Ising theory can be realized on the boundary of both flat and hyperbolic bulk lattices. Within our framework, we also produce translation-invariant critical states by an efficiently contractible network dual to the multi-scale entanglement renormalization ansatz. Furthermore, we explore the correlation structure of states emerging in holographic quantum error correction. We hope that our work will stimulate a comprehensive study of tensor-network models capturing bulk-boundary correspondences.
- Sep 29 2017 quant-ph arXiv:1709.09693v1The theory of the asymptotic manipulation of pure bipartite quantum systems can be considered completely understood: The rates at which bipartite entangled states can be asymptotically transformed into each other are fully determined by a single number each, the respective entanglement entropy. In the multi-partite setting, similar questions of the optimally achievable rates of transforming one pure state into another are notoriously open. This seems particularly unfortunate in the light of the revived interest in such questions due to the perspective of experimentally realizing multi-partite quantum networks. In this work, we report substantial progress by deriving surprisingly simple upper and lower bounds on the rates that can be achieved in asymptotic multi-partite entanglement transformations. These bounds are based on and develop ideas of entanglement combing, state merging, and assisted entanglement distillation. We identify cases where the bounds coincide and hence provide the exact rates. As an example, we bound rates at which resource states for the cryptographic scheme of quantum secret sharing can be distilled from arbitrary pure tri-partite quantum states, providing further scope for quantum internet applications beyond point-to-point.
- Quantum versions of de Finetti's theorem are powerful tools, yielding conceptually important insights into the security of key distribution protocols or tomography schemes and allowing to bound the error made by mean-field approaches. Such theorems link the symmetry of a quantum state under the exchange of subsystems to negligible quantum correlations and are well understood and established in the context of distinguishable particles. In this work, we derive a de Finetti theorem for finite sized Majorana fermionic systems. It is shown, much reflecting the spirit of other quantum de Finetti theorems, that a state which is invariant under certain permutations of modes loses most of its anti-symmetric character and is locally well described by a mode separable state. We discuss the structure of the resulting mode separable states and establish in specific instances a quantitative link to the quality of Hartree-Fock approximation of quantum systems. We hint at a link to generalized Pauli principles for one-body reduced density operators. Finally, building upon the obtained de Finetti theorem, we generalize and extend the applicability of Hudson's fermionic central limit theorem.
- Jul 27 2017 quant-ph arXiv:1707.08218v1Maximum-entropy ensembles are key primitives in statistical mechanics from which thermodynamic properties can be derived. Over the decades, several approaches have been put forward in order to justify from minimal assumptions the use of these ensembles in statistical descriptions. However, there is still no full consensus on the precise reasoning justifying the use of such ensembles. In this work, we provide a new approach to derive maximum-entropy ensembles taking a strictly operational perspective. We investigate the set of possible transitions that a system can undergo together with an environment, when one only has partial information about both the system and its environment. The set of all these allowed transitions encodes thermodynamic laws and limitations on thermodynamic tasks as particular cases. Our main result is that the set of allowed transitions coincides with the one possible if both system and environment were assigned the maximum entropy state compatible with the partial information. This justifies the overwhelming success of such ensembles and provides a derivation without relying on considerations of typicality or information-theoretic measures.
- One of the defining features of many-body localization is the presence of extensively many quasi-local conserved quantities. These constants of motion constitute a corner-stone to an intuitive understanding of much of the phenomenology of many-body localized systems arising from effective Hamiltonians. They may be seen as local magnetization operators smeared out by a quasi-local unitary. However, accurately identifying such constants of motion remains a challenging problem. Current numerical constructions often capture the conserved operators only approximately restricting a conclusive understanding of many-body localization. In this work, we use methods from the theory of quantum many-body systems out of equilibrium to establish a new approach for finding a complete set of exact constants of motion which are in addition guaranteed to represent Pauli-$z$ operators. By this we are able to construct and investigate the proposed effective Hamiltonian using exact diagonalization. Hence, our work provides an important tool expected to further boost inquiries into the breakdown of transport due to quenched disorder.
- One of the main milestones in quantum information science is to realise quantum devices that exhibit an exponential computational advantage over classical ones without being universal quantum computers, a state of affairs dubbed quantum speedup, or sometimes "quantum computational supremacy". The known schemes heavily rely on mathematical assumptions that are plausible but unproven, prominently results on anticoncentration of random prescriptions. In this work, we aim at closing the gap by proving two anticoncentration theorems and accompanying hardness results, one for circuit-based schemes, the other for quantum quench-type schemes for quantum simulations. Compared to the few other known such results, these results give rise to a number of comparably simple, physically meaningful and resource-economical schemes showing a quantum speedup in one and two spatial dimensions. At the heart of the analysis are tools of unitary designs and random circuits that allow us to conclude that universal random circuits anticoncentrate as well as an embedding of known circuit-based schemes in a 2D translation-invariant architecture.
- May 12 2017 quant-ph arXiv:1705.04189v3Quantum coherence is an essential feature of quantum mechanics which is responsible for the departure between classical and quantum world. The recently established resource theory of quantum coherence studies possible quantum technological applications of quantum coherence, and limitations which arise if one is lacking the ability to establish superpositions. An important open problem in this context is a simple characterization for incoherent operations, constituted by all possible transformations allowed within the resource theory of coherence. In this work, we contribute to such a characterization by proving several upper bounds on the maximum number of incoherent Kraus operators in a general incoherent operation. For a single qubit, we show that the number of incoherent Kraus operators is not more than 5, and it remains an open question if this number can be reduced to 4. The presented results are also relevant for quantum thermodynamics, as we demonstrate by introducing the class of Gibbs-preserving strictly incoherent operations, and solving the corresponding mixed-state conversion problem for a single qubit.
- Apr 24 2017 quant-ph cond-mat.stat-mech arXiv:1704.06291v1One of the main questions of research on quantum many-body systems following unitary out of equilibrium dynamics is to find out how local expectation values equilibrate in time. For non-interacting models, this question is rather well understood. However, the best known bounds for general quantum systems are vastly crude, scaling unfavorable with the system size. Nevertheless, empirical and numerical evidence suggests that for generic interacting many-body systems, generic local observables, and sufficiently well-behaved states, the equilibration time does not depend strongly on the system size, but only the precision with which this occurs does. In this discussion paper, we aim at giving very simple and plausible arguments for why this happens. While our discussion does not yield rigorous results about equilibration time scales, we believe that it helps to clarify the essential underlying mechanisms, the intuition and important figure of merits behind equilibration. We then connect our arguments to common assumptions and numerical results in the field of equilibration and thermalization of closed quantum systems, such as the eigenstate thermalization hypothesis as well as rigorous results on interacting quantum many-body systems. Finally, we complement our discussions with numerical results - both in the case of examples and counter-examples of equilibrating systems.
- Apr 21 2017 quant-ph cond-mat.other arXiv:1704.05864v2Quantum systems strongly coupled to many-body systems equilibrate to the reduced state of a global thermal state, deviating from the local thermal state of the system as it occurs in the weak-coupling limit. Taking this insight as a starting point, we study the thermodynamics of systems strongly coupled to thermal baths. First, we provide strong-coupling corrections to the second law applicable to general systems in three of its different readings: As a statement of maximal extractable work, on heat dissipation, and bound to the Carnot efficiency. These corrections become relevant for small quantum systems and always vanish in first order in the interaction strength. We then move to the question of power of heat engines, obtaining a bound on the power enhancement due to strong coupling. Our results are exemplified on the paradigmatic situation of non-Markovian quantum Brownian motion.
- Apr 12 2017 cond-mat.str-el quant-ph arXiv:1704.02992v1Strongly correlated quantum many-body systems at low dimension exhibit a wealth of phenomena, ranging from features of geometric frustration to signatures of symmetry-protected topological order. In suitable descriptions of such systems, it can be helpful to resort to effective models which focus on the essential degrees of freedom of the given model. In this work, we analyze how to determine the validity of an effective model by demanding it to be in the same phase as the original model. We focus our study on one-dimensional spin-1/2 systems and explain how non-trivial symmetry protected topologically ordered (SPT) phases of an effective spin 1 model can arise depending on the couplings in the original Hamiltonian. In this analysis, tensor network methods feature in two ways: On the one hand, we make use of recent techniques for the classification of SPT phases using matrix product states in order to identify the phases in the effective model with those in the underlying physical system, employing Kuenneth's theorem for cohomology. As an intuitive paradigmatic model we exemplify the developed methodology by investigating the bi-layered delta-chain. For strong ferromagnetic inter-layer couplings, we find the system to transit into exactly the same phase as an effective spin 1 model. However, for weak but finite coupling strength, we identify a symmetry broken phase differing from this effective spin-1 description. On the other hand, we underpin our argument with a numerical analysis making use of matrix product states.
- Apr 07 2017 cond-mat.mes-hall quant-ph arXiv:1704.01589v2We present a scalable architecture for fault-tolerant topological quantum computation using networks of voltage-controlled Majorana Cooper pair boxes, and topological color codes for error correction. Color codes have a set of transversal gates which coincides with the set of topologically protected gates in Majorana-based systems, namely the Clifford gates. In this way, we establish color codes as providing a natural setting in which advantages offered by topological hardware can be combined with those arising from topological error-correcting software for full-fledged fault-tolerant quantum computing. We provide a complete description of our architecture including the underlying physical ingredients. We start by showing that in topological superconductor networks, hexagonal cells can be employed to serve as physical qubits for universal quantum computation, and present protocols for realizing topologically protected Clifford gates. These hexagonal cell qubits allow for a direct implementation of open-boundary color codes with ancilla-free syndrome readout and logical $T$-gates via magic state distillation. For concreteness, we describe how the necessary operations can be implemented using networks of Majorana Cooper pair boxes, and give a feasibility estimate for error correction in this architecture. Our approach is motivated by nanowire-based networks of topological superconductors, but could also be realized in alternative settings such as quantum Hall-superconductor hybrids.
- Mar 10 2017 quant-ph cond-mat.other arXiv:1703.03152v2The experimental interest and developments in quantum spin-1/2-chains has increased uninterruptedly over the last decade. In many instances, the target quantum simulation belongs to the broader class of non-interacting fermionic models, constituting an important benchmark. In spite of this class being analytically efficiently tractable, no direct certification tool has yet been reported for it. In fact, in experiments, certification has almost exclusively relied on notions of quantum state tomography scaling very unfavorably with the system size. Here, we develop experimentally-friendly fidelity witnesses for all pure fermionic Gaussian target states. Their expectation value yields a tight lower bound to the fidelity and can be measured efficiently. We derive witnesses in full generality in the Majorana-fermion representation and apply them to experimentally relevant spin-1/2 chains. Among others, we show how to efficiently certify strongly out-of-equilibrium dynamics in critical Ising chains. At the heart of the measurement scheme is a variant of importance sampling specially tailored to overlaps between covariance matrices. The method is shown to be robust against finite experimental-state infidelities.
- Mar 03 2017 quant-ph cond-mat.other arXiv:1703.00466v3One of the main aims in the field of quantum simulation is to achieve a quantum speedup, often referred to as "quantum computational supremacy", referring to the experimental realization of a quantum device that computationally outperforms classical computers. In this work, we show that one can devise versatile and feasible schemes of two-dimensional dynamical quantum simulators showing such a quantum speedup, building on intermediate problems involving non-adaptive measurement-based quantum computation. In each of the schemes, an initial product state is prepared, potentially involving an element of randomness as in disordered models, followed by a short-time evolution under a basic translationally invariant Hamiltonian with simple nearest-neighbor interactions and a mere sampling measurement in a fixed basis. The correctness of the final state preparation in each scheme is fully efficiently certifiable. We discuss experimental necessities and possible physical architectures, inspired by platforms of cold atoms in optical lattices and a number of others, as well as specific assumptions that enter the complexity-theoretic arguments. This work shows that benchmark settings exhibiting a quantum speedup may require little control in contrast to universal quantum computing. Thus, our proposal puts a convincing experimental demonstration of a quantum speedup within reach in the near term.
- Building upon work by Matsumoto, we show that the quantum relative entropy with full-rank second argument is determined by four simple axioms: i) Continuity in the first argument, ii) the validity of the data-processing inequality, iii) additivity under tensor products, and iv) super-additivity. This observation has immediate implications for quantum thermodynamics, which we discuss. Specifically, we demonstrate that, under reasonable restrictions, the free energy is singled out as a measure of athermality. In particular, we consider an extended class of Gibbs-preserving maps as free operations in a resource-theoretic framework, in which a catalyst is allowed to build up correlations with the system at hand. The free energy is the only extensive and continuous function that is monotonic under such free operations.
- 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.
- We examine and propose a solution to the problem of recovering a block sparse signal with sparse blocks from linear measurements. Such problems naturally emerge in the context of mobile communication, in settings motivated by desiderata of a 5G framework. We introduce a new variant of the Hard Thresholding Pursuit (HTP) algorithm referred to as HiHTP. For the specific class of sparsity structures, HiHTP performs significantly better in numerical experiments compared to HTP. We provide both a proof of convergence and a recovery guarantee for noisy Gaussian measurements that exhibit an improved asymptotic scaling in terms of the sampling complexity in comparison with the usual HTP algorithm.
- We give an introduction to the theory of multi-partite entanglement. We begin by describing the "coordinate system" of the field: Are we dealing with pure or mixed states, with single or multiple copies, what notion of "locality" is being used, do we aim to classify states according to their "type of entanglement" or to quantify it? Building on the general theory of multi-partite entanglement - to the extent that it has been achieved - we turn to explaining important classes of multi-partite entangled states, including matrix product states, stabilizer and graph states, bosonic and fermionic Gaussian states, addressing applications in condensed matter theory. We end with a brief discussion of various applications that rely on multi-partite entangled states: quantum networks, measurement-based quantum computing, non-locality, and quantum metrology.
- Dec 02 2016 quant-ph arXiv:1612.00029v1We investigate the limitations that emerge in thermodynamic tasks as a result of having local control only over the components of a thermal machine. These limitations are particularly relevant for devices composed of interacting many-body systems. Specifically, we study protocols of work extraction that employ a many-body system as a working medium whose evolution can be driven by tuning the on-site Hamiltonian terms. This provides a restricted set of thermodynamic operations, giving rise to novel bounds for the performance of engines. Our findings show that those limitations in control render it in general impossible to reach Carnot efficiency; in its extreme ramification it can even forbid to reach a finite efficiency of work per particle. We focus on the 1D Ising model in the thermodynamic limit as a case study. We show that in the limit of strong interactions the ferromagnetic case becomes useless for work extraction, while the anti-ferromagnetic improves its performance with the strength of the couplings, reaching Carnot in the limit of arbitrary strong interactions. Our results provide a promising connection between the study of quantum control and thermodynamics and introduce a more realistic set of physical operations well suited to capture current experimental scenarios.
- Nov 28 2016 quant-ph cond-mat.other arXiv:1611.08007v1The entanglement negativity is a versatile measure of entanglement that has numerous applications in quantum information and in condensed matter theory. It can not only efficiently be computed in the Hilbert space dimension, but for non-interacting bosonic systems, one can compute the negativity efficiently in the number of modes. However, such an efficient computation does not carry over to the fermionic realm, the ultimate reason for this being that the partial transpose of a fermionic Gaussian state is no longer Gaussian. To provide a remedy for this state of affairs, in this work we introduce efficiently computable and rigorous upper and lower bounds to the negativity, making use of techniques of semi-definite programming, building upon the Lagrangian formulation of fermionic linear optics, and exploiting suitable products of Gaussian operators. We discuss examples in quantum many-body theory and hint at applications in the study of topological properties at finite temperature.
- While originally motivated by quantum computation, quantum error correction (QEC) is currently providing valuable insights into many-body quantum physics such as topological phases of matter. Furthermore, mounting evidence originating from holography research (AdS/CFT), indicates that QEC should also be pertinent for conformal field theories. With this motivation in mind, we introduce quantum source-channel codes, which combine features of lossy-compression and approximate quantum error correction, both of which are predicted in holography. Through a recent construction for approximate recovery maps, we derive guarantees on its erasure decoding performance from calculations of an entropic quantity called conditional mutual information. As an example, we consider Gibbs states of the transverse field Ising model at criticality and provide evidence that they exhibit non-trivial protection from local erasure. This gives rise to the first concrete interpretation of a bona fide conformal field theory as a quantum error correcting code. We argue that quantum source-channel codes are of independent interest beyond holography.
- Nov 07 2016 quant-ph arXiv:1611.01189v2In the light of the progress in quantum technologies, the task of verifying the correct functioning of processes and obtaining accurate tomographic information about quantum states becomes increasingly important. Compressed sensing, a machinery derived from the theory of signal processing, has emerged as a feasible tool to perform robust and significantly more resource-economical quantum state tomography for intermediate-sized quantum systems. In this work, we provide a comprehensive analysis of compressed sensing tomography in the regime in which tomographically complete data is available with reliable statistics from experimental observations of a multi-mode photonic architecture. Due to the fact that the data is known with high statistical significance, we are in a position to systematically explore the quality of reconstruction depending on the number of employed measurement settings, randomly selected from the complete set of data, and on different model assumptions. We present and test a complete prescription to perform efficient compressed sensing and are able to reliably use notions of model selection and cross-validation to account for experimental imperfections and finite counting statistics. Thus, we establish compressed sensing as an effective tool for quantum state tomography, specifically suited for photonic systems.
- Sep 28 2016 quant-ph arXiv:1609.08170v1We develop an efficient quantum implementation of an important signal processing algorithm for line spectral estimation: the matrix pencil method, which determines the frequencies and damping factors of signals consisting of finite sums of exponentially damped sinusoids. Our algorithm provides a quantum speedup in a natural regime where the sampling rate is much higher than the number of sinusoid components. Along the way, we develop techniques that are expected to be useful for other quantum algorithms as well - consecutive phase estimations to efficiently make products of asymmetric low rank matrices classically accessible and an alternative method to efficiently exponentiate non-Hermitian matrices. Our algorithm features an efficient quantum-classical division of labor: The time-critical steps are implemented in quantum superposition, while an interjacent step, requiring only exponentially few parameters, can operate classically. We show that frequencies and damping factors can be obtained in time logarithmic in the number of sampling points, exponentially faster than known classical algorithms.
- Tensor network states, and in particular projected entangled pair states, play an important role in the description of strongly correlated quantum lattice systems. They do not only serve as variational states in numerical simulation methods, but also provide a framework for classifying phases of quantum matter and capture notions of topological order in a stringent and rigorous language. The rapid development in this field for spin models and bosonic systems has not yet been mirrored by an analogous development for fermionic models. In this work, we introduce a framework of tensor networks having a fermionic component capable of capturing notions of topological order. At the heart of the formalism are axioms of fermionic matrix product operator injectivity, stable under concatenation. Building upon that, we formulate a Grassmann number tensor network ansatz for the ground state of fermionic twisted quantum double models. A specific focus is put on the paradigmatic example of the fermionic toric code. This work shows that the program of describing topologically ordered systems using tensor networks carries over to fermionic models.
- Aug 09 2016 quant-ph arXiv:1608.02263v1Well-controlled quantum devices with their increasing system size face a new roadblock hindering further development of quantum technologies: The effort of quantum tomography---the characterization of processes and states within a quantum device---scales unfavorably to the point that state-of-the-art systems can no longer be treated. Quantum compressed sensing mitigates this problem by reconstructing the state from an incomplete set of observables. In this work, we present an experimental implementation of compressed tomography of a seven qubit system---the largest-scale realization to date---and we introduce new numerical methods in order to scale the reconstruction to this dimension. Originally, compressed sensing has been advocated for density matrices with few non-zero eigenvalues. Here, we argue that the low-rank estimates provided by compressed sensing can be appropriate even in the general case. The reason is that statistical noise often allows only for the leading eigenvectors to be reliably reconstructed: We find that the remaining eigenvectors behave in a way consistent with a random matrix model that carries no information about the true state. We report a reconstruction of quantum states from a topological color code of seven qubits, prepared in a trapped ion architecture, based on tomographically incomplete data involving 127 Pauli basis measurement settings only, repeated 100 times each.
- We numerically investigate the distribution of Drude weights $D$ of many-body states in disordered one-dimensional interacting electron systems across the transition to a many-body localized phase. Drude weights are proportional to the spectral curvatures induced by magnetic fluxes in mesoscopic rings. They offer a method to relate the transition to the many-body localized phase to transport properties. In the delocalized regime, we find that the Drude weight distribution at a fixed disorder configuration agrees well with the random-matrix-theory prediction $P(D) \propto (\gamma^2+D^2)^{-3/2}$, although the distribution width $\gamma$ strongly fluctuates between disorder realizations. A crossover is observed towards a distribution with different large-$D$ asymptotics deep in the many-body localized phase, which however differs from the commonly expected Cauchy distribution. We show that the average distribution width $\langle \gamma\rangle $, rescaled by $L\Delta$, $\Delta$ being the average level spacing in the middle of the spectrum and $L$ the systems size, is an efficient probe of the many-body localization transition, as it increases/vanishes exponentially in the delocalized/localized phase.
- Jun 22 2016 quant-ph cond-mat.str-el arXiv:1606.06301v2Tensor network states are for good reasons believed to capture ground states of gapped local Hamiltonians arising in the condensed matter context, states which are in turn expected to satisfy an entanglement area law. However, the computational hardness of contracting projected entangled pair states in two and higher dimensional systems is often seen as a significant obstacle when devising higher-dimensional variants of the density-matrix renormalisation group method. In this work, we show that for those projected entangled pair states that are expected to provide good approximations of such ground states of local Hamiltonians, one can compute local expectation values in quasi-polynomial time. We therefore provide a complexity-theoretic justification of why state-of-the-art numerical tools work so well in practice. We comment on how the transfer operators of such projected entangled pair states have a gap and discuss notions of local topological quantum order. We finally turn to the computation of local expectation values on quantum computers, providing a meaningful application for a small-scale quantum computer.
- Jun 08 2016 cond-mat.quant-gas quant-ph arXiv:1606.01913v1Ultra-cold atoms in optical lattices provide one of the most promising platforms for analog quantum simulations of complex quantum many-body systems. Large-size systems can now routinely be reached and are already used to probe a large variety of different physical situations, ranging from quantum phase transitions to artificial gauge theories. At the same time, measurement techniques are still limited and full tomography for these systems seems out of reach. Motivated by this observation, we present a method to directly detect and quantify to what extent a quantum state deviates from a local Gaussian description, based on available noise correlation measurements from in-situ and time-of-flight measurements. This is an indicator of the significance of strong correlations in ground and thermal states, as Gaussian states are precisely the ground and thermal states of non-interacting models. We connect our findings, augmented by numerical tensor network simulations, to notions of equilibration, disordered systems and the suppression of transport in Anderson insulators.
- Random quantum processes play a central role both in the study of fundamental mixing processes in quantum mechanics related to equilibration, thermalisation and fast scrambling by black holes, as well as in quantum process design and quantum information theory. In this work, we present a framework describing the mixing properties of continuous-time unitary evolutions originating from local Hamiltonians having time-fluctuating terms, reflecting a Brownian motion on the unitary group. The induced stochastic time evolution is shown to converge to a unitary design. As a first main result, we present bounds to the mixing time. By developing tools in representation theory, we analytically derive an expression for a local k-th moment operator that is entirely independent of k, giving rise to approximate unitary k-designs and quantum tensor product expanders. As a second main result, we introduce tools for proving bounds on the rate of decoupling from an environment with random quantum processes. By tying the mathematical description closely with the more established one of random quantum circuits, we present a unified picture for analysing local random quantum and classes of Markovian dissipative processes, for which we also discuss applications.
- A cornerstone of the theory of phase transitions is the observation that many-body systems exhibiting a spontaneous symmetry breaking in the thermodynamic limit generally show extensive fluctuations of an order parameter in large but finite systems. In this work, we introduce the dynamical analogue of such a theory. Specifically, we consider local dissipative dynamics preparing a steady-state of quantum spins on a lattice exhibiting a discrete or continuous symmetry but with extensive fluctuations in a local order parameter. We show that for all such processes satisfying detailed balance, there exist metastable symmetry-breaking states, i.e., states that become stationary in the thermodynamic limit and give a finite value to the order parameter. We give results both for discrete and continuous symmetries and explicitly show how to construct the symmetry-breaking states. Our results show in a simple way that, in large systems, local dissipative dynamics satisfying detailed balance cannot uniquely and efficiently prepare states with extensive fluctuations with respect to local operators. We discuss the implications of our results for quantum simulators and dissipative state preparation.
- Feb 03 2016 quant-ph cond-mat.quant-gas arXiv:1602.00703v4One of the main challenges in the field of quantum simulation and computation is to identify ways to certify the correct functioning of a device when a classical efficient simulation is not available. Important cases are situations in which one cannot classically calculate local expectation values of state preparations efficiently. In this work, we develop weak-membership formulations of the certification of ground state preparations. We provide a non-interactive protocol for certifying ground states of frustration-free Hamiltonians based on simple energy measurements of local Hamiltonian terms. This certification protocol can be applied to classically intractable analog quantum simulations: For example, using Feynman-Kitaev Hamiltonians, one can encode universal quantum computation in such ground states. Moreover, our certification protocol is applicable to ground states encodings of IQP circuits demonstration of quantum supremacy. These can be certified efficiently when the error is polynomially bounded.
- The phenomenon of many-body localised (MBL) systems has attracted significant interest in recent years, for its intriguing implications from a perspective of both condensed-matter and statistical physics: they are insulators even at non-zero temperature and fail to thermalise, violating expectations from quantum statistical mechanics. What is more, recent seminal experimental developments with ultra-cold atoms in optical lattices constituting analog quantum simulators have pushed many-body localised systems into the realm of physical systems that can be measured with high accuracy. In this work, we introduce experimentally accessible witnesses that directly probe distinct features of MBL, distinguishing it from its Anderson counterpart. We insist on building our toolbox from techniques available in the laboratory, including on-site addressing, super-lattices, and time-of-flight measurements, identifying witnesses based on fluctuations, density-density correlators, densities, and entanglement. We build upon the theory of out of equilibrium quantum systems, in conjunction with tensor network and exact simulations, showing the effectiveness of the tools for realistic models.
- In this work, we present a result on the non-equilibrium dynamics causing equilibration and Gaussification of quadratic non-interacting fermionic Hamiltonians. Specifically, based on two basic assumptions - clustering of correlations in the initial state and the Hamiltonian exhibiting delocalizing transport - we prove that non-Gaussian initial states become locally indistinguishable from fermionic Gaussian states after a short and well controlled time. This relaxation dynamics is governed by a power-law independent of the system size. Our argument is general enough to allow for pure and mixed initial states, including thermal and ground states of interacting Hamiltonians on and large classes of lattices as well as certain spin systems. The argument gives rise to rigorously proven instances of a convergence to a generalized Gibbs ensemble. Our results allow to develop an intuition of equilibration that is expected to be more generally valid and relates to current experiments of cold atoms in optical lattices.
- Recent years have seen an enormously revived interest in the study of thermodynamic notions in the quantum regime. This applies both to the study of notions of work extraction in thermal machines in the quantum regime, as well as to questions of equilibration and thermalisation of interacting quantum many-body systems as such. In this work we bring together these two lines of research by studying work extraction in a closed system that undergoes a sequence of quenches and equilibration steps concomitant with free evolutions. In this way, we incorporate an important insight from the study of the dynamics of quantum many body systems: the evolution of closed systems is expected to be well described, for relevant observables and most times, by a suitable equilibrium state. We will consider three kinds of equilibration, namely to (i) the time averaged state, (ii) the Gibbs ensemble and (iii) the generalised Gibbs ensemble (GGE), reflecting further constants of motion in integrable models. For each effective description, we investigate notions of entropy production, the validity of the minimal work principle and properties of optimal work extraction protocols. While we keep the discussion general, much room is dedicated to the discussion of paradigmatic non-interacting fermionic quantum many-body systems, for which we identify significant differences with respect to the role of the minimal work principle. Our work not only has implications for experiments with cold atoms, but also can be viewed as suggesting a mindset for quantum thermodynamics where the role of the external heat baths is instead played by the system itself, with its internal degrees of freedom bringing coarse-grained observables to equilibrium.
- Nov 19 2015 quant-ph cond-mat.stat-mech arXiv:1511.05579v3Active error decoding and correction of topological quantum codes - in particular the toric code - remains one of the most viable routes to large scale quantum information processing. In contrast, passive error correction relies on the natural physical dynamics of a system to protect encoded quantum information. However, the search is ongoing for a completely satisfactory passive scheme applicable to locally-interacting two-dimensional systems. Here, we investigate dynamical decoders that provide passive error correction by embedding the decoding process into local dynamics. We propose a specific discrete time cellular-automaton decoder in the fault tolerant setting and provide numerical evidence showing that the logical qubit has a survival time extended by several orders of magnitude over that of a bare unencoded qubit. We stress that (asynchronous) dynamical decoding gives rise to a Markovian dissipative process. We hence equate cellular-automaton decoding to a fully dissipative topological quantum memory, which removes errors continuously. In this sense, uncontrolled and unwanted local noise can be corrected for by a controlled local dissipative process. We analyze the required resources, commenting on additional polylogarithmic factors beyond those incurred by an ideal constant resource dynamical decoder.
- Nov 17 2015 cond-mat.str-el quant-ph arXiv:1511.04459v2Topological phases of matter possess intricate correlation patterns typically probed by entanglement entropies or entanglement spectra. In this work, we propose an alternative approach to assessing topologically induced edge states in free and interacting fermionic systems. We do so by focussing on the fermionic covariance matrix. This matrix is often tractable either analytically or numerically and it precisely captures the relevant correlations of the system. By invoking the concept of monogamy of entanglement we show that highly entangled states supported across a system bi-partition are largely disentangled from the rest of the system, thus appearing usually as gapless edge states. We then define an entanglement qualifier that identifies the presence of topological edge states based purely on correlations present in the ground states. We demonstrate the versatility of this qualifier by applying it to various free and interacting fermionic topological systems.
- In low-rank matrix recovery, one aims to reconstruct a low-rank matrix from a minimal number of linear measurements. Within the paradigm of compressed sensing, this is made computationally efficient by minimizing the nuclear norm as a convex surrogate for rank. In this work, we identify an improved regularizer based on the so-called diamond norm, a concept imported from quantum information theory. We show that -for a class of matrices saturating a certain norm inequality- the descent cone of the diamond norm is contained in that of the nuclear norm. This suggests superior reconstruction properties for these matrices. We explicitly characterize this set of matrices. Moreover, we demonstrate numerically that the diamond norm indeed outperforms the nuclear norm in a number of relevant applications: These include signal analysis tasks such as blind matrix deconvolution or the retrieval of certain unitary basis changes, as well as the quantum information problem of process tomography with random measurements. The diamond norm is defined for matrices that can be interpreted as order-4 tensors and it turns out that the above condition depends crucially on that tensorial structure. In this sense, this work touches on an aspect of the notoriously difficult tensor completion problem.
- Jun 01 2015 quant-ph cond-mat.mes-hall cond-mat.supr-con physics.atom-ph physics.optics arXiv:1505.07831v1Quantum teleportation is one of the most important protocols in quantum information. By exploiting the physical resource of entanglement, quantum teleportation serves as a key primitive in a variety of quantum information tasks and represents an important building block for quantum technologies, with a pivotal role in the continuing progress of quantum communication, quantum computing and quantum networks. Here we review the basic theoretical ideas behind quantum teleportation and its variant protocols. We focus on the main experiments, together with the technical advantages and disadvantages associated with the use of the various technologies, from photonic qubits and optical modes to atomic ensembles, trapped atoms, and solid-state systems. Analysing the current state-of-the-art, we finish by discussing open issues, challenges and potential future implementations.
- Apr 28 2015 cond-mat.dis-nn quant-ph arXiv:1504.06872v5The intriguing phenomenon of many-body localization (MBL) has attracted significant interest recently, but a complete characterization is still lacking. In this work, we introduce the total correlations, a concept from quantum information theory capturing multi-partite correlations, to the study of this phenomenon. We demonstrate that the total correlations of the diagonal ensemble provides a meaningful diagnostic tool to pin-down, probe, and better understand the MBL transition and ergodicity breaking in quantum systems. In particular, we show that the total correlations has sub-linear dependence on the system size in delocalized, ergodic phases, whereas we find that it scales extensively in the localized phase developing a pronounced peak at the transition. We exemplify the power of our approach by means of an exact diagonalization study of a Heisenberg spin chain in a disordered field.
- In recent years we have witnessed a concentrated effort to make sense of thermodynamics for small-scale systems. One of the main difficulties is to capture a suitable notion of work that models realistically the purpose of quantum machines, in an analogous way to the role played, for macroscopic machines, by the energy stored in the idealisation of a lifted weight. Despite of several attempts to resolve this issue by putting forward specific models, these are far from capturing realistically the transitions that a quantum machine is expected to perform. In this work, we adopt a novel strategy by considering arbitrary kinds of systems that one can attach to a quantum thermal machine and seeking for work quantifiers. These are functions that measure the value of a transition and generalise the concept of work beyond the model of a lifted weight. We do so by imposing simple operational axioms that any reasonable work quantifier must fulfil and by deriving from them stringent mathematical condition with a clear physical interpretation. Our approach allows us to derive much of the structure of the theory of thermodynamics without taking as a primitive the definition of work. We can derive, for any work quantifier, a quantitative second law in the sense of bounding the work that can be performed using some non-equilibrium resource by the work that is needed to create it. We also discuss in detail the role of reversibility and correlations in connection with the second law. Furthermore, we recover the usual identification of work with energy in degrees of freedom with vanishing entropy as a particular case of our formalism. Our mathematical results can be formulated abstractly and are general enough to carry over to other resource theories than quantum thermodynamics.
- Apr 17 2015 quant-ph cond-mat.mes-hall arXiv:1504.04194v1In recent years, a close connection between the description of open quantum systems, the input-output formalism of quantum optics, and continuous matrix product states in quantum field theory has been established. So far, however, this connection has not been extended to the condensed-matter context. In this work, we substantially develop further and apply a machinery of continuous matrix product states (cMPS) to perform tomography of transport experiments. We first present an extension of the tomographic possibilities of cMPS by showing that reconstruction schemes do not need to be based on low-order correlation functions only, but also on low-order counting probabilities. We show that fermionic quantum transport settings can be formulated within the cMPS framework. This allows us to present a reconstruction scheme based on the measurement of low-order correlation functions that provides access to quantities that are not directly measurable with present technology. Emblematic examples are high-order correlations functions and waiting times distributions (WTD). The latter are of particular interest since they offer insights into short-time scale physics. We demonstrate the functioning of the method with actual data, opening up the way to accessing WTD within the quantum regime.
- We construct minimax optimal non-asymptotic confidence sets for low rank matrix recovery algorithms such as the Matrix Lasso or Dantzig selector. These are employed to devise adaptive sequential sampling procedures that guarantee recovery of the true matrix in Frobenius norm after a data-driven stopping time $\hat n$ for the number of measurements that have to be taken. With high probability, this stopping time is minimax optimal. We detail applications to quantum tomography problems where measurements arise from Pauli observables. We also give a theoretical construction of a confidence set for the density matrix of a quantum state that has optimal diameter in nuclear norm. The non-asymptotic properties of our confidence sets are further investigated in a simulation study.
- Tensor network states and specifically matrix-product states have proven to be a powerful tool for simulating ground states of strongly correlated spin models. Recently, they have also been applied to interacting fermionic problems, specifically in the context of quantum chemistry. A new freedom arising in such non-local fermionic systems is the choice of orbitals, it being far from clear what choice of fermionic orbitals to make. In this work, we propose a way to overcome this challenge. We suggest a method intertwining the optimisation over matrix product states with suitable fermionic Gaussian mode transformations. The described algorithm generalises basis changes in the spirit of the Hartree-Fock method to matrix-product states, and provides a black box tool for basis optimisation in tensor network methods.
- We review selected advances in the theoretical understanding of complex quantum many-body systems with regard to emergent notions of quantum statistical mechanics. We cover topics such as equilibration and thermalisation in pure state statistical mechanics, the eigenstate thermalisation hypothesis, the equivalence of ensembles, non-equilibration dynamics following global and local quenches as well as ramps. We also address initial state independence, absence of thermalisation, and many-body localisation. We elucidate the role played by key concepts for these phenomena, such as Lieb-Robinson bounds, entanglement growth, typicality arguments, quantum maximum entropy principles and the generalised Gibbs ensembles, and quantum (non-)integrability. We put emphasis on rigorous approaches and present the most important results in a unified language.
- Mar 18 2015 quant-ph arXiv:1503.04822v1Entanglement distillation refers to the task of transforming a collection of weakly entangled pairs into fewer highly entangled ones. It is a core ingredient in quantum repeater protocols, needed to transmit entanglement over arbitrary distances in order to realise quantum key distribution schemes. Usually, it is assumed that the initial entangled pairs are i.i.d. distributed and uncorrelated with each other, an assumption that might not be reasonable at all in any entanglement generation process involving memory channels. Here, we introduce a framework that captures entanglement distillation in the presence of natural correlations arising from memory channels. Conceptually, we bring together ideas from condensed-matter physics - that of renormalisation and of matrix-product states and operators - with those of local entanglement manipulation, Markov chain mixing, and quantum error correction. We identify meaningful parameter regions for which we prove convergence to maximally entangled states, arising as the fixed points of a matrix-product operator renormalisation flow.
- Interacting quantum many-body systems are usually expected to thermalise, in the sense that the evolution of local expectation values approach a stationary value resembling a thermal ensemble. This intuition is notably contradicted in systems exhibiting many-body localisation, a phenomenon receiving significant recent attention. One of its most intriguing features is that, in stark contrast to the non-interacting case, entanglement of states grows without limit over time, albeit slowly. In this work, we establish a novel link between quantum information theory and notions of condensed matter, capturing the phenomenon in the Heisenberg picture. We show that the existence of local constants of motion, often taken as the defining property of many-body localisation, together with a generic spectrum, is sufficient to rigorously prove information propagation: These systems can be used to send a signal over arbitrary distances, in that the impact of a local perturbation can be detected arbitrarily far away. We perform a detailed perturbation analysis of quasi-local constants of motion and also show that they indeed can be used to construct efficient spectral tensor networks, as recently suggested. Our results provide a detailed and model-independent picture of information propagation in many-body localised systems.
- Open many-body quantum systems play an important role in quantum optics and condensed-matter physics, and capture phenomena like transport, interplay between Hamiltonian and incoherent dynamics, and topological order generated by dissipation. We introduce a versatile and practical method to numerically simulate one-dimensional open quantum many-body dynamics using tensor networks. It is based on representing mixed quantum states in a locally purified form, which guarantees that positivity is preserved at all times. Moreover, the approximation error is controlled with respect to the trace norm. Hence, this scheme overcomes various obstacles of the known numerical open-system evolution schemes. To exemplify the functioning of the approach, we study both stationary states and transient dissipative behaviour, for various open quantum systems ranging from few to many bodies.
- Nov 17 2014 quant-ph cond-mat.stat-mech arXiv:1411.3754v3The second law of thermodynamics, formulated as an ultimate bound on the maximum extractable work, has been rigorously derived in multiple scenarios. However, the unavoidable limitations that emerge due to the lack of control on small systems are often disregarded when deriving such bounds, which is specifically important in the context of quantum thermodynamics. Here, we study the maximum extractable work with limited control over the working system and its interaction with the heat bath. We derive a general second law when the set of accessible Hamiltonians of the working-system is arbitrarily restricted. We then apply our bound to particular scenarios that are important in realistic implementations: limitations on the maximum energy gap and local control over many-body systems. We hence demonstrate in what precise way the lack of control affects the second law. In particular, contrary to the unrestricted case, we show that the optimal work extraction is not achieved by simple thermal contacts. Our results do not only generalize the second law to scenarios of practical relevance, but also take first steps in the direction of local thermodynamics.
- It is commonly believed that area laws for entanglement entropies imply that a quantum many-body state can be faithfully represented by efficient tensor network states - a conjecture frequently stated in the context of numerical simulations and analytical considerations. In this work, we show that this is in general not the case, except in one dimension. We prove that the set of quantum many-body states that satisfy an area law for all Renyi entropies contains a subspace of exponential dimension. Establishing a novel link between quantum many-body theory and the theory of communication complexity, we then show that there are states satisfying area laws for all Renyi entropies but cannot be approximated by states with a classical description of small Kolmogorov complexity, including polynomial projected entangled pair states (PEPS) or states of multi-scale entanglement renormalisation (MERA). Not even a quantum computer with post-selection can efficiently prepare all quantum states fulfilling an area law, and we show that not all area law states can be eigenstates of local Hamiltonians. We also prove translationally invariant and isotropic instances of these results, and show a variation with decaying correlations using quantum error-correcting codes.
- The phenomenon of many-body localisation received a lot of attention recently, both for its implications in condensed-matter physics of allowing systems to be an insulator even at non-zero temperature as well as in the context of the foundations of quantum statistical mechanics, providing examples of systems showing the absence of thermalisation following out-of-equilibrium dynamics. In this work, we establish a novel link between dynamical properties - the absence of a group velocity and transport - with entanglement properties of individual eigenvectors. Using Lieb-Robinson bounds and filter functions, we prove rigorously under simple assumptions on the spectrum that if a system shows strong dynamical localisation, all of its many-body eigenvectors have clustering correlations. In one dimension this implies directly an entanglement area law, hence the eigenvectors can be approximated by matrix-product states. We also show this statement for parts of the spectrum, allowing for the existence of a mobility edge above which transport is possible.
- Closed quantum many-body systems out of equilibrium pose several long-standing problems in physics. Recent years have seen a tremendous progress in approaching these questions, not least due to experiments with cold atoms and trapped ions in instances of quantum simulations. This article provides an overview on the progress in understanding dynamical equilibration and thermalisation of closed quantum many-body systems out of equilibrium due to quenches, ramps and periodic driving. It also addresses topics such as the eigenstate thermalisation hypothesis, typicality, transport, many-body localisation, universality near phase transitions, and prospects for quantum simulations.
- Jul 21 2014 quant-ph arXiv:1407.4817v2A major roadblock for large-scale photonic quantum technologies is the lack of practical reliable certification tools. We introduce an experimentally friendly - yet mathematically rigorous - certification test for experimental preparations of arbitrary m-mode pure Gaussian states, pure non-Gaussian states generated by linear-optical circuits with n-boson Fock-basis states as inputs, and states of these two classes subsequently post-selected with local measurements on ancillary modes. The protocol is efficient in m and the inverse post-selection success probability for all Gaussian states and all mentioned non-Gaussian states with constant n. We follow the mindset of an untrusted prover, who prepares the state, and a skeptic certifier, with classical computing and single-mode homodyne-detection capabilities only. No assumptions are made on the type of noise or capabilities of the prover. Our technique exploits an extremality-based fidelity bound whose estimation relies on non-Gaussian state nullifiers, which we introduce on the way as a byproduct result. The certification of many-mode photonic networks, as those used for photonic quantum simulations, boson samplers, and quantum metrology, is now within reach.
- The experimental realisation of large scale many-body systems has seen immense progress in recent years, rendering full tomography tools for state identification inefficient, especially for continuous systems. In order to work with these emerging physical platforms, new technologies for state identification are required. In this work, we present first steps towards efficient experimental quantum field tomography. We employ our procedure to capture ultracold atomic systems using atom chips, a setup that allows for the quantum simulation of static and dynamical properties of interacting quantum fields. Our procedure is based on cMPS, the continuous analogues of matrix product states (MPS), ubiquitous in condensed-matter theory. These states naturally incorporate the locality present in realistic physical settings and are thus prime candidates for describing the physics of locally interacting quantum fields. The reconstruction procedure is based on two- and four-point correlation functions, from which we predict higher-order correlation functions, thus validating our reconstruction for the experimental situation at hand. We apply our procedure to quenched prethermalisation experiments for quasi-condensates. In this setting, we can use the quality of our tomographic reconstruction as a probe for the non-equilibrium nature of the involved physical processes. We discuss the potential of such methods in the context of partial verification of analogue quantum simulators.
- Jun 17 2014 quant-ph cond-mat.quant-gas arXiv:1406.3631v2We introduce the concept of quantum field tomography, the efficient and reliable reconstruction of unknown quantum fields based on data of correlation functions. At the basis of the analysis is the concept of continuous matrix product states, a complete set of variational states grasping states in quantum field theory. We innovate a practical method, making use of and developing tools in estimation theory used in the context of compressed sensing such as Prony methods and matrix pencils, allowing us to faithfully reconstruct quantum field states based on low-order correlation functions. In the absence of a phase reference, we highlight how specific higher order correlation functions can still be predicted. We exemplify the functioning of the approach by reconstructing randomised continuous matrix product states from their correlation data and study the robustness of the reconstruction for different noise models. We also apply the method to data generated by simulations based on continuous matrix product states and using the time-dependent variational principle. The presented approach is expected to open up a new window into experimentally studying continuous quantum systems, such as encountered in experiments with ultra-cold atoms on top of atom chips. By virtue of the analogy with the input-output formalism in quantum optics, it also allows for studying open quantum systems.
- We introduce a new framework for constructing topological quantum memories, by recasting error recovery as a dynamical process on a field generating cellular automaton. We envisage quantum systems controlled by a classical hardware composed of small local memories, communicating with neighbours, and repeatedly performing identical simple update rules. This approach does not require any global operations or complex decoding algorithms. Our cellular automata draw inspiration from classical field theories, with a Coulomb-like potential naturally emerging from the local dynamics. For a 3D automaton coupled to a 2D toric code, we present evidence of an error correction threshold above 6.1% for uncorrelated noise. A 2D automaton equipped with a more complex update rule yields a threshold above 8.2%. Our framework provides decisive new tools in the quest for realising a passive dissipative quantum memory.
- May 27 2014 cond-mat.mes-hall quant-ph arXiv:1405.6641v3We investigate the interplay of band structure topology and localization properties of Wannier functions. To this end, we extend a recently proposed compressed sensing based paradigm for the search for maximally localized Wannier functions [Ozolins et al., PNAS 110, 18368 (2013)]. We develop a practical toolbox that enables the search for maximally localized Wannier functions which exactly obey the underlying physical symmetries of a translationally invariant quantum lattice system under investigation. Most saliently, this allows us to systematically identify the most localized representative of a topological equivalence class of band structures, i.e., the most localized set of Wannier functions that is adiabatically connected to a generic initial representative. We also elaborate on the compressed sensing scheme and find a particularly simple and efficient implementation in which each step of the iteration is an $O(N \log N)$ algorithm in the number of lattice sites $N$. We present benchmark results on one-dimensional topological superconductors demonstrating the power of these tools. Furthermore, we employ our method to address the open question whether compact Wannier functions can exist for symmetry protected topological states like topological insulators in two dimensions. The existence of such functions would imply exact flat band models with strictly finite range hopping. Here, we find numerical evidence for the absence of such functions. We briefly discuss applications in dissipative state preparation and in devising variational sets of states for tensor network methods.
- May 14 2014 quant-ph cond-mat.stat-mech arXiv:1405.3039v1Quantum thermodynamics is a research field that aims at fleshing out the ultimate limits of thermodynamic processes in the deep quantum regime. A complete picture of quantum thermodynamics allows for catalysts, i.e., systems facilitating state transformations while remaining essentially intact in their state, very much reminding of catalysts in chemical reactions. In this work, we present a comprehensive analysis of the power and limitation of such thermal catalysis. Specifically, we provide a family of optimal catalysts that can be returned with minimal trace distance error after facilitating a state transformation process. To incorporate the genuine physical role of a catalyst, we identify very significant restrictions on arbitrary state transformations under dimension or mean energy bounds, using methods of convex relaxations. We discuss the implication of these findings on possible thermodynamic state transformations in the quantum regime.
- Tensor network states constitute an important variational set of quantum states for numerical studies of strongly correlated systems in condensed-matter physics, as well as in mathematical physics. This is specifically true for finitely correlated states or matrix-product operators, designed to capture mixed states of one-dimensional quantum systems. It is a well-known open problem to find an efficient algorithm that decides whether a given matrix-product operator actually represents a physical state that in particular has no negative eigenvalues. We address and answer this question by showing that the problem is provably undecidable in the thermodynamic limit and that the bounded version of the problem is NP-hard in the system size. Furthermore, we discuss numerous connections between tensor network methods and (seemingly) different concepts treated before in the literature, such as hidden Markov models and tensor trains.
- The dynamics of quantum phase transitions poses one of the most challenging problems in modern many-body physics. Here, we study a prototypical example in a clean and well-controlled ultracold atom setup by observing the emergence of coherence when crossing the Mott insulator to superfluid quantum phase transition. In the one-dimensional Bose-Hubbard model, we find perfect agreement between experimental observations and numerical simulations for the resulting coherence length. We thereby perform a largely certified analogue quantum simulation of this strongly correlated system reaching beyond the regime of free quasiparticles. Experimentally, we additionally explore the emergence of coherence in higher dimensions where no classical simulations are available, as well as for negative temperatures. For intermediate quench velocities, we observe a power-law behaviour of the coherence length, reminiscent of the Kibble-Zurek mechanism. However, we find exponents that strongly depend on the final interaction strength and thus lie outside the scope of this mechanism.
- Matrix models play an important role in studies of quantum gravity, being candidates for a formulation of M-theory, but are notoriously difficult to solve. In this work, we present a fresh approach by introducing a novel exact model provably equivalent with low-dimensional bosonic matrix models. In this equivalent model significant local structure becomes apparent and it can serve as a simple toy model for analytical and precise numerical study. We derive a substantial part of the low energy spectrum, find a conserved charge, and are able to derive numerically the Regge trajectories. To exemplify the usefulness of the approach, we address questions of equilibration starting from a non-equilibrium situation, building upon an intuition from quantum information. We finally discuss possible generalizations of the approach.
- Nov 15 2013 quant-ph cond-mat.str-el arXiv:1311.3309v4We elucidate how Chern and topological insulators fulfill an area law for the entanglement entropy. By explicit construction of a family of lattice Hamiltonians, we are able to demonstrate that the area law contribution can be tuned to an arbitrarily small value, but is topologically protected from vanishing exactly. We prove this by introducing novel methods to bound entanglement entropies from correlations using perturbation bounds, drawing intuition from ideas of quantum information theory. This rigorous approach is complemented by an intuitive understanding in terms of entanglement edge states. These insights have a number of important consequences: The area law has no universal component, no matter how small, and the entanglement scaling cannot be used as a faithful diagnostic of topological insulators. This holds for all Renyi entropies which uniquely determine the entanglement spectrum which is hence also non-universal. The existence of arbitrarily weakly entangled topological insulators furthermore opens up possibilities of devising correlated topological phases in which the entanglement entropy is small and which are thereby numerically tractable, specifically in tensor network approaches.
- Nov 01 2013 quant-ph arXiv:1310.8349v2How much work can be extracted from a heat bath using a thermal machine? The study of this question has a very long tradition in statistical physics in the weak-coupling limit, applied to macroscopic systems. However, the assumption that thermal heat baths remain uncorrelated with physical systems at hand is less reasonable on the nano-scale and in the quantum setting. In this work, we establish a framework of work extraction in the presence of quantum correlations. We show in a mathematically rigorous and quantitative fashion that quantum correlations and entanglement emerge as a limitation to work extraction compared to what would be allowed by the second law of thermodynamics. At the heart of the approach are operations that capture naturally non-equilibrium dynamics encountered when putting physical systems into contact with each other. We discuss various limits that relate to known results and put our work into context of approaches to finite-time quantum thermodynamics.
- Sep 10 2013 quant-ph cond-mat.other arXiv:1309.2308v4We study the non-equilibrium dynamics of correlations in quantum lattice models in the presence of long-range interactions decaying asymptotically as a power law. For exponents larger than the lattice dimensionality, a Lieb-Robinson-type bound effectively restricts the spreading of correlations to a causal region, but allows supersonic propagation. We show that this decay is not only sufficient but also necessary. Using tools of quantum metrology, for any exponents smaller than the lattice dimension, we construct Hamiltonians giving rise to quantum channels with capacities not restricted to a causal region. An analytical analysis of long-range Ising models illustrates the disappearance of the causal region and the creation of correlations becoming distance-independent. Numerical results obtained using matrix product state methods for the XXZ spin chain reveal the presence of a sound cone for large exponents, and supersonic propagation for small ones. In all models we analyzed the fast spreading of correlations follows a power law, but not the exponential increase of the long-range Lieb-Robinson bound.