We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Quantum-circuit design for efficient simulations of many-body quantum dynamics

00:00

Formal Metadata

Title
Quantum-circuit design for efficient simulations of many-body quantum dynamics
Title of Series
Number of Parts
15
Author
License
CC Attribution - NonCommercial - ShareAlike 3.0 Unported:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal and non-commercial purpose as long as the work is attributed to the author in the manner specified by the author or licensor and the work or content is shared also in adapted form only under the conditions of this
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
We construct an efficient autonomous quantum-circuit design algorithm for creating efficient quantum circuits to simulate Hamiltonian many-body quantum dynamics for arbitrary input states. The resultant quantum circuits have optimal space complexity and employ a sequence of gates that is close to optimal with respect to time complexity. We also devise an algorithm that exploits commutativity to optimize the circuits for parallel execution. As examples, we show how our autonomous algorithm constructs circuits for simulating the dynamics of Kitaev's honeycomb model and the Bardeen–Cooper–Schrieffer model of superconductivity. Furthermore, we provide numerical evidence that the rigorously proven upper bounds for the simulation error here and in previous work may sometimes overestimate the error by orders of magnitude compared to the best achievable performance for some physics-inspired simulations.
Electric power distributionPlain bearingParticle physicsVideoComputer animation
Series and parallel circuitsLC circuitQuantum circuitMint-made errorsHull (watercraft)Order and disorder (physics)Apparent magnitudeStandard cellMint-made errorsCurrent densityNatürliche RadioaktivitätSeries and parallel circuitsScale (map)Separation processGate (airport)DayComputer animation
Fender (vehicle)Angeregter ZustandMapRail transport operationsShip classSchwache LokalisationController (control theory)Atmosphere of EarthBallpoint penRoll formingInitiator <Steuerungstechnik>Diagram
BauxitbergbauController (control theory)Gate (airport)Circuit diagramDiagram
ProzessleittechnikSeries and parallel circuitsMint-made errorsTolerance analysisMaterialString theoryGate (airport)Computer animation
Magnetic resonance imagingCircuit diagramSeries and parallel circuitsGroup delay and phase delayRail transport operationsHull (watercraft)Writing implementBasis (linear algebra)Prozessleittechnik
Series and parallel circuitsRail transport operationsSeries and parallel circuitsMovement (clockwork)Group delay and phase delayCircuit diagramHot workingHull (watercraft)Computer animationProgram flowchart
LC circuitHull (watercraft)Mint-made errorsMint-made errorsHot workingCircuit diagramHull (watercraft)Computer animation
Transcript: English(auto-generated)
Our main result is an efficient algorithm to design efficient quantum circuits to simulate quantum many-body Hamiltonians. This algorithm is optimal in number of qubits as well as in the scaling of number of gates.
Another advantage that we believe is essential for quantum simulation is that the user can specify the error of simulation. We also introduce a method to reduce the circuit depths. This is essential for parallel quantum computation. At the end we present numerical evidences which indicate that current upper
bounds for quantum simulation overestimate the simulation error by several orders of magnitude. The goal in Hamiltonian simulation algorithms is to emulate the action of dynamics generated by a Hamiltonian on an initial state. Such simulations are important because they are the only known methods for efficiently simulating broad classes of physically relevant quantum systems.
The first step in these algorithms is to find a mapping between the states in the original Hilbert space and a subspace of the simulator's Hilbert space. This mapping allows a quantum state to be prepared in the simulator that is logically equivalent to the initial state of the simulation. The simulator then performs a sequence of quantum operations to this input state, transforming it to a
state that is logically equivalent to one that is close to the evolved state of the simulated system. This simulated state is the output of the quantum algorithm. Although the resultant state can generally be learned efficiently, other quantities such as expectation values of local observables can be found efficiently by measuring the state yielded by the algorithm.
We take the simulator to be a quantum computer that can perform the Hadamard gate, the pi by 8 gate, and the controlled NOT gate. Our objective is to construct a classical algorithm that builds simulation circuits that use as few of these gates as possible.
The inputs to our algorithm are a bit of string representing the Hamiltonian, the error tolerance for the simulation, and the evolution time. And then in the outputs, a bit of string representing the final circuit that simulates the evolution under the input Hamiltonian up to the error tolerance.
The input Hamiltonian is promised to be a K-local Hamiltonian, and for the quantum simulator we use a quantum computer that can do a universal set of gates. This process is performed in three steps. First, the Hamiltonian is sorted into a sum of mutually commuting groups of operators to reduce the circuit depth.
Next, the Lee-Trouder Suzuki algorithm is applied to decompose the evolution into a sequence of exponentials of the Pauli operators. The final step involves designing circuits to implement each of the exponentials. The circuit implementation of them involves switching to the eigenbasis of the exponential, implementing the evolution in the eigenbasis, and then transforming back to the computational basis.
The resulting circuits are efficient because Pauli operators can be efficiently diagonalized. The idea behind reducing the circuit depths is to sort operations such that those that commute can be done at the same time. Our algorithm points all the commuting operations and groups them together.
As an example, consider the following circuit. Operation 1 and 4 commute, so our algorithm sorts the operations and groups 1 and 4 together, which reduces the circuit depths. In conclusion, our work provides an efficient algorithm for designing quantum simulation circuits for many-body Hamiltonians.
We introduce grouping techniques that optimize the depth of the resulting simulation circuits. We also provide numerical estimates of the typical errors that occur from using Trotter Suzuki formulas, and show that existing estimates can be far too loose.