A quantum solution for efficient use of symmetries in the simulation of many-body systems

A many-body Hamiltonian can be block-diagonalized by expressing it in terms of symmetry-adapted basis states. Finding the group orbit representatives of these basis states and their corresponding symmetries is currently a memory/computational bottleneck on classical computers during exact diagonalization. We apply Grover’s search in the form of a minimization procedure to solve this problem. Our quantum solution provides an exponential reduction in memory, and a quadratic speedup in time over classical methods. We discuss explicitly the full circuit implementation of Grover minimization as applied to this problem, finding that the oracle only scales as polylog in the size of the group, which acts as the search space. Further, we design an error mitigation scheme that, with no additional qubits, reduces the impact of bit-flip errors on the computation, with the magnitude of mitigation directly correlated with the error rate, improving the utility of the algorithm in the Noisy Intermediate Scale Quantum era.

[1]  Michael R. Geller,et al.  Efficient error models for fault-tolerant architectures and the Pauli twirling approximation , 2013, 1305.2021.

[2]  Christoph Dürr,et al.  A Quantum Algorithm for Finding the Minimum , 1996, ArXiv.

[3]  Peter W. Shor,et al.  Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer , 1995, SIAM Rev..

[4]  A. Lauchli,et al.  Sublattice coding algorithm and distributed memory parallelization for large-scale exact diagonalizations of quantum many-body systems , 2018, Physical Review E.

[5]  A. Weisse Divide and conquer the Hilbert space of translation-symmetric spin systems. , 2012, Physical review. E, Statistical, nonlinear, and soft matter physics.

[6]  M. Tinkham Group Theory and Quantum Mechanics , 1964 .

[7]  K. B. Whaley,et al.  Effects of a random noisy oracle on search algorithm complexity , 2003, quant-ph/0304138.

[8]  E. Farhi,et al.  A Quantum Approximate Optimization Algorithm , 2014, 1411.4028.

[9]  L. DiCarlo,et al.  Density-matrix simulation of small surface codes under current and projected experimental noise , 2017, 1703.04136.

[10]  Lov K. Grover A fast quantum mechanical algorithm for database search , 1996, STOC '96.

[11]  Alán Aspuru-Guzik,et al.  qHiPSTER: The Quantum High Performance Software Testing Environment , 2016, ArXiv.

[12]  A. Läuchli,et al.  Ground-state energy and spin gap of spin-1/2 Kagome-Heisenberg antiferromagnetic clusters: Large-scale exact diagonalization results , 2011, 1103.1159.

[13]  C. Lanczos An iteration method for the solution of the eigenvalue problem of linear differential and integral operators , 1950 .

[14]  Thomas G. Draper,et al.  A new quantum ripple-carry addition circuit , 2004, quant-ph/0410184.

[15]  Barenco,et al.  Elementary gates for quantum computation. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[16]  John Preskill,et al.  Quantum Computing in the NISQ era and beyond , 2018, Quantum.

[17]  Liron Schiff,et al.  Impossibility of a Quantum Speed-Up with a Faulty Oracle , 2008, ICALP.

[18]  Isaac L. Chuang,et al.  Quantum Computation and Quantum Information (10th Anniversary edition) , 2011 .

[19]  Gilles Brassard,et al.  Tight bounds on quantum searching , 1996, quant-ph/9605034.

[20]  B. Terhal Quantum error correction for quantum memories , 2013, 1302.3428.