Dissipative quantum Church-Turing theorem

Mapping Molecular Hamiltonians into Hamiltonians of Modular cQED Processors

We introduce a general method based on the operators of the Dyson-Masleev transformation to map the Hamiltonian of an arbitrary model system into the Hamiltonian of a circuit Quantum Electrodynamics (cQED) processor. Furthermore, we introduce a modular approach to programming a cQED processor with components corresponding to the mapping Hamiltonian. The method is illustrated as applied to quantum dynamics simulations of the Fenna-Matthews-Olson (FMO) complex and the spin-boson model of charge transfer. Beyond applications to molecular Hamiltonians, the mapping provides a general approach to implement any unitary operator in terms of a sequence of unitary transformations corresponding to powers of creation and annihilation operators of a single bosonic mode in a cQED processor.

Single-Qubit Error Mitigation by Simulating Non-Markovian Dynamics

Quantum simulation is a powerful tool to study the properties of quantum systems. The dynamics of open quantum systems are often described by completely positive (CP) maps, for which several quantum simulation schemes exist. Such maps, however, represent only a subset of a larger class of maps: the general dynamical maps which are linear, Hermitian preserving, and trace preserving but not necessarily positivity preserving. Here we present a simulation scheme for these general dynamical maps, which occur when the underlying system-reservoir model undergoes entangling (and thus non-Markovian) dynamics. Such maps also arise as the inverse of CP maps, which are commonly used in error mitigation. We illustrate our simulation scheme on an IBM quantum processor, demonstrating its ability to recover the initial state of a Lindblad evolution. This paves the way for a novel form of quantum error mitigation. Our scheme only requires one ancilla qubit as an overhead and a small number of one and two qubit gates. Consequently, we expect it to be of practical use in near-term quantum devices.

Quantum Simulation of the Radical Pair Dynamics of the Avian Compass

The simulation of open quantum dynamics on quantum circuits has attracted wide interests recently with a variety of quantum algorithms developed and demonstrated. Among these, one particular design of a unitary-dilation-based quantum algorithm is capable of simulating general and complex physical systems. In this paper, we apply this quantum algorithm to simulating the dynamics of the radical pair mechanism in the avian compass. This application is demonstrated on the IBM QASM quantum simulator. This work is the first application of any quantum algorithm to simulating the radical pair mechanism in the avian compass, which not only demonstrates the generality of the quantum algorithm but also opens new opportunities for studying the avian compass with quantum computing devices.

Quantum algorithms for quantum dynamics

Among the many computational challenges faced across different disciplines, quantum-mechanical systems pose some of the hardest ones and offer a natural playground for the growing field of quantum technologies. In this Perspective, we discuss quantum algorithmic solutions for quantum dynamics, reporting on the latest developments and offering a viewpoint on their potential and current limitations. We present some of the most promising areas of application and identify possible research directions for the coming years.

Experimental Simulation of Open Quantum System Dynamics via Trotterization

Digital quantum simulators provide a diversified tool for solving the evolution of quantum systems with complicated Hamiltonians and hold great potential for a wide range of applications. Although much attention is paid to the unitary evolution of closed quantum systems, dissipation and noise are vital in understanding the dynamics of practical quantum systems. In this work, we experimentally demonstrate a digital simulation of an open quantum system in a controllable Markovian environment with the assistance of a single ancillary qubit. By Trotterizing the quantum Liouvillians, the continuous evolution of an open quantum system is effectively realized, and its application in error mitigation is demonstrated by adjusting the simulated noise intensities. High-order Trotter for open quantum dynamics is also experimentally investigated and shows higher accuracy. Our results represent a significant step toward hardware-efficient simulation of open quantum systems and error mitigation in quantum algorithms in noisy intermediate-scale quantum systems.

Collision Models Can Efficiently Simulate Any Multipartite Markovian Quantum Dynamics

We introduce the multipartite collision model, defined in terms of elementary interactions between subsystems and ancillas, and show that it can simulate the Markovian dynamics of any multipartite open quantum system. We develop a method to estimate an analytical error bound for any repeated interactions model, and we use it to prove that the error of our scheme displays an optimal scaling. Finally, we provide a simple decomposition of the multipartite collision model into elementary quantum gates, and show that it is efficiently simulable on a quantum computer according to the dissipative quantum Church-Turing theorem, i.e., it requires a polynomial number of resources.

Dynamical and thermodynamical approaches to open quantum systems

The non-Markovian dynamics of open quantum systems is studied from two different points of view. The first one coincides with the traditional tracing out of the environmental degrees of freedom, presented in classical textbooks on open quantum systems. The second one is an approximation of the exact density operator with the knowledge of only several dynamical variables in the spirit of non-equilibrium thermodynamics. The approximation is based on the principle of maximal entropy. We discuss the information and the Renyi entropies, which lead to different approximations. The time-convolutionless master equation governs the dynamics of both traditional and approximated reduced density operator with a particular projection operator. Considering the example of two interacting qubits in a thermal environment, we compare the traditional and thermodynamical approaches.

Quantum Chemistry in the Age of Quantum Computing

Practical challenges in simulating quantum systems on classical computers have been widely recognized in the quantum physics and quantum chemistry communities over the past century. Although many approximation methods have been introduced, the complexity of quantum mechanics remains hard to appease. The advent of quantum computation brings new pathways to navigate this challenging and complex landscape. By manipulating quantum states of matter and taking advantage of their unique features such as superposition and entanglement, quantum computers promise to efficiently deliver accurate results for many important problems in quantum chemistry, such as the electronic structure of molecules. In the past two decades, significant advances have been made in developing algorithms and physical hardware for quantum computing, heralding a revolution in simulation of quantum systems. This Review provides an overview of the algorithms and results that are relevant for quantum chemistry. The intended audience is both quantum chemists who seek to learn more about quantum computing and quantum computing researchers who would like to explore applications in quantum chemistry.

Experimental repetitive quantum channel simulation

Universal control of quantum systems is a major goal to be achieved for quantum information processing, which demands thorough understanding of fundamental quantum mechanics and promises applications of quantum technologies. So far, most studies concentrate on ideally isolated quantum systems governed by unitary evolutions, while practical quantum systems are open and described by quantum channels due to their inevitable coupling to environment. Here, we experimentally simulate arbitrary quantum channels for an open quantum system, i.e. a single photonic qubit in a superconducting quantum circuit. The arbitrary channel simulation is achieved with minimum resource of only one ancilla qubit and measurement-based adaptive control. By repetitively implementing the quantum channel simulation, we realize an arbitrary Liouvillian for a continuous evolution of an open quantum system for the first time. Our experiment provides not only a testbed for understanding quantum noise and decoherence, but also a powerful tool for full control of practical open quantum systems.

Fundamental Limitations for Measurements in Quantum Many-Body Systems

Dynamical measurement schemes are an important tool for the investigation of quantum many-body systems, especially in the age of quantum simulation. Here, we address the question whether generic measurements can be implemented efficiently if we have access to a certain set of experimentally realizable measurements and can extend it through time evolution. For the latter, two scenarios are considered: (a) evolution according to unitary circuits and (b) evolution due to Hamiltonians that we can control in a time-dependent fashion. We find that the time needed to realize a certain measurement to a predefined accuracy scales in general exponentially with the system size-posing a fundamental limitation. The argument is based on the construction of ϵ-packings for manifolds of observables with identical spectra and a comparison of their cardinalities to those of ϵ-coverings for quantum circuits and unitary time-evolution operators. The former is related to the study of Grassmann manifolds.

Protected State Transfer via an Approximate Quantum Adder

We propose a decoherence protected protocol for sending single photon quantum states through depolarizing channels. This protocol is implemented via an approximate quantum adder engineered through spontaneous parametric down converters, and shows higher success probability than distilled quantum teleportation protocols for distances below a threshold depending on the properties of the channel.

Quantum Simulation of Generic Many-Body Open System Dynamics Using Classical Noise

We introduce a scheme for the quantum simulation of many-body decoherence based on the unitary evolution of a stochastic Hamiltonian. Modulating the strength of the interactions with stochastic processes, we show that the noise-averaged density matrix simulates an effectively open dynamics governed by k-body Lindblad operators. Markovian dynamics can be accessed with white-noise fluctuations; non-Markovian dynamics requires colored noise. The time scale governing the fidelity decay under many-body decoherence is shown to scale as N^{-2k} with the system size N. Our proposal can be readily implemented in a variety of quantum platforms including optical lattices, superconducting circuits, and trapped ions.

Positive Tensor Network Approach for Simulating Open Quantum Many-Body Systems

Open quantum many-body systems play an important role in quantum optics and condensed matter physics, and capture phenomena like transport, the 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 behavior, for various open quantum systems ranging from few to many bodies.

Quantum Simulation of Dissipative Processes without Reservoir Engineering

We present a quantum algorithm to simulate general finite dimensional Lindblad master equations without the requirement of engineering the system-environment interactions. The proposed method is able to simulate both Markovian and non-Markovian quantum dynamics. It consists in the quantum computation of the dissipative corrections to the unitary evolution of the system of interest, via the reconstruction of the response functions associated with the Lindblad operators. Our approach is equally applicable to dynamics generated by effectively non-Hermitian Hamiltonians. We confirm the quality of our method providing specific error bounds that quantify its accuracy.

Algebraic versus Exponential Decoherence in Dissipative Many-Particle Systems

The interplay between dissipation and internal interactions in quantum many-body systems gives rise to a wealth of novel phenomena. Here we investigate spin-1/2 chains with uniform local couplings to a Markovian environment using the time-dependent density matrix renormalization group. For the open XXZ model, we discover that the decoherence time diverges in the thermodynamic limit. The coherence decay is then algebraic instead of exponential. This is due to a vanishing gap in the spectrum of the corresponding Liouville superoperator and can be explained on the basis of a perturbative treatment. In contrast, decoherence in the open transverse-field Ising model is found to be always exponential. In this case, the internal interactions can both facilitate and impede the environment-induced decoherence.

Manipulating surface-related ferromagnetism in modulation-doped topological insulators

A new class of devices based on topological insulators (TI) can be achieved by the direct engineering of the time-reversal-symmetry (TRS) protected surface states. In the meantime, a variety of interesting phenomena are also expected when additional ferromagnetism is introduced to the original topological order. In this Letter, we report the magnetic responses from the magnetically modulation-doped (Bi(z)Sb(1-z))2Te3/Cr(x)(Bi(y)Sb(1-y))2Te3 bilayer films. By electrically tuning the Fermi level across the Dirac point, we show that the top TI surface carriers can effectively mediate the magnetic impurities and generate robust ferromagnetic order. More importantly, such surface magneto-electric effects can be either enhanced or suppressed, depending on the magnetic interaction range inside the TI heterostructures. The manipulation of surface-related ferromagnetism realized in our modulation-doped TI device is important for the realization of TRS-breaking topological physics, and it may also lead to new applications of TI-based multifunctional heterostructures.

Solovay-Kitaev decomposition strategy for single-qubit channels

Inspired by the Solovay-Kitaev decomposition for approximating unitary operations as a sequence of operations selected from a universal quantum computing gate set, we introduce a method for approximating any single-qubit channel using single-qubit gates and the controlled-not (cnot). Our approach uses the decomposition of the single-qubit channel into a convex combination of "quasiextreme" channels. Previous techniques for simulating general single-qubit channels would require as many as 20 cnot gates, whereas ours only needs one, bringing it within the range of current experiments.

Quasilocality and efficient simulation of markovian quantum dynamics

We consider open many-body systems governed by a time-dependent quantum master equation with short-range interactions. With a generalized Lieb-Robinson bound, we show that the evolution in this very generic framework is quasilocal; i.e., the evolution of observables can be approximated by implementing the dynamics only in a vicinity of the observables' support. The precision increases exponentially with the diameter of the considered subsystem. Hence, time evolution can be simulated on classical computers with a cost that is independent of the system size. Providing error bounds for Trotter decompositions, we conclude that the simulation on a quantum computer is additionally efficient in time. For experiments and simulations in the Schrödinger picture, our result can be used to rigorously bound finite-size effects.

Towards quantum simulations of biological information flow

Recent advances in the spectroscopy of biomolecules have highlighted the possibility of quantum coherence playing an active role in biological energy transport. The revelation that quantum coherence can survive in the hot and wet environment of biology has generated a lively debate across both the physics and biology communities. In particular, it remains unclear to what extent non-trivial quantum effects are used in biology and what advantage, if any, they afford. We propose an analogue quantum simulator, based on currently available techniques in ultra-cold atom physics, to study a model of energy and electron transport based on the Holstein Hamiltonian. By simulating the salient aspects of a biological system in a tunable laboratory set-up, we hope to gain insight into the validity of several theoretical models of biological quantum transport in a variety of relevant parameter regimes.