PIRSA:24050077

Circuit-to-Hamiltonian from tensor networks and fault tolerance

Nguyen, Q. (2024). Circuit-to-Hamiltonian from tensor networks and fault tolerance. Perimeter Institute. https://pirsa.org/24050077

Nguyen, Quynh. Circuit-to-Hamiltonian from tensor networks and fault tolerance. Perimeter Institute, May. 15, 2024, https://pirsa.org/24050077 

          @misc{ pirsa_PIRSA:24050077,
            doi = {10.48660/24050077},
            url = {https://pirsa.org/24050077},
            author = {Nguyen, Quynh},
            keywords = {Quantum Information},
            language = {en},
            title = {Circuit-to-Hamiltonian from tensor networks and fault tolerance},
            publisher = {Perimeter Institute},
            year = {2024},
            month = {may},
            note = {PIRSA:24050077 see, \url{https://pirsa.org}}
          }

Quynh Nguyen

Harvard University

Talk number
PIRSA:24050077
Collection
Talk Type
Subject
Abstract

We define a map from an arbitrary quantum circuit to a local Hamiltonian whose ground state encodes the quantum computation. All previous maps relied on the Feynman-Kitaev construction, which introduces an ancillary ‘clock register’ to track the computational steps. Our construction, on the other hand, relies on injective tensor networks with associated parent Hamiltonians, avoiding the introduction of a clock register. This comes at the cost of the ground state containing only a noisy version of the quantum computation, with independent stochastic noise. We can remedy this - making our construction robust - by using quantum fault tolerance. In addition to the stochastic noise, we show that any state with energy density exponentially small in the circuit depth encodes a noisy version of the quantum computation with adversarial noise. We also show that any ‘combinatorial state’ with energy density polynomially small in depth encodes the quantum computation with adversarial noise. This serves as evidence that any state with energy density polynomially small in depth has a similar property. As an application, we give a new proof of the QMA-completeness of the local Hamiltonian problem (with logarithmic locality) and show that contracting injective tensor networks to additive error is BQP- hard. We also discuss the implication of our construction to the quantum PCP conjecture, combining with an observation that QMA verification can be done in logarithmic depth. Based on joint work with Anurag Anshu and Nikolas P. Breuckmann. (https://arxiv.org/abs/2309.16475)

---

Zoom link