Stabilisers as a design tool for new forms of Lechner-Hauke-Zoller Annealer

Abstract

In a recent paper Lechner, Hauke and Zoller (LHZ) described a means to translate a Hamiltonian of $N$ spin-$\frac{1}{2}$ particles with 'all-to-all' interactions into a larger physical lattice with only on-site energies and local parity constraints. LHZ used this mapping to propose a novel form of quantum annealing. Here we provide a stabiliser-based formulation within which we can describe both this prior approach and a wide variety of variants. Examples include a triangular array supporting all-to-all connectivity, and moreover arrangements requiring only $2N$ or $N\log N$ spins but providing interesting bespoke connectivities. Further examples show that arbitrarily high order logical terms can be efficiently realised, even in a strictly 2D layout. Our stabilisers can correspond to either even-parity constraints, as in the LHZ proposal, or as odd-parity constraints. Considering the latter option applied to the original LHZ layout, we note it may simplify the physical realisation since the required ancillas are only spin-$\frac{1}{2}$ systems (i.e. qubits, rather than qutrits) and moreover the interactions are very simple. We make a preliminary assessment of the impact of this design choices by simulating small (few-qubit) systems; we find some indications that the new variant may maintain a larger minimum energy gap during the annealing process.

A dramatically expanded revision: we now show how to use our stabiliser formulation to construct a wide variety of new physical layouts, including ones with fewer than Order N^2 spins but custom connectivities, and a means to achieve higher order coupling even in 2D

References in corpus (4)

• Minor-embedding in adiabatic quantum computation: II. Minor-universal graph design
• A practical heuristic for finding graph minors
• Energy gaps in quantum first-order mean-field-like transitions: The problems that quantum annealing cannot solve
• A Direct Mapping of Max k-SAT and High Order Parity Checks to a Chimera Graph

Cited by in corpus (31)

• Perspectives of quantum annealing: Methods and implementations
• $XY$-mixers: analytical and numerical results for QAOA
• Quantum Computation Based on Quantum Adiabatic Bifurcations of Kerr-Nonlinear Parametric Oscillators
• A Coherent Quantum Annealer with Rydberg Atoms
• Domain wall encoding of discrete variables for quantum annealing and QAOA
• A Direct Mapping of Max k-SAT and High Order Parity Checks to a Chimera Graph
• Programmable Quantum Annealing Architectures with Ising Quantum Wires
• Quantum optimization via four-body Rydberg gates
• High-accuracy Ising machine using Kerr-nonlinear parametric oscillators with local four-body interactions
• Two-photon driven Kerr resonator for quantum annealing with three-dimensional circuit QED
• An energetic perspective on rapid quenches in quantum annealing
• Understanding domain-wall encoding theoretically and experimentally
• Universal Parity Quantum Computing
• Programmable Superpositions of Ising Configurations
• Modular Parity Quantum Approximate Optimization
• Continuous quantum error correction for evolution under time-dependent Hamiltonians
• A Quantum N-Queens Solver
• Quadratization in discrete optimization and quantum mechanics
• Towards Prediction of Financial Crashes with a D-Wave Quantum Computer
• Applications of Universal Parity Quantum Computation
• Polynomial Reduction Methods and their Impact on QAOA Circuits
• Designing ground states of Hopfield networks for quantum state preparation
• Quantum optimization with linear Ising penalty functions for customer data science
• Constant Depth Code Deformations in the Parity Architecture
• Decoding quantum error correction with Ising model hardware
• A scalable 2-local architecture for quantum annealing of Ising models with arbitrary dimensions
• A measurement driven analog of adiabatic quantum computation for frustration-free Hamiltonians
• Performance of Domain-Wall Encoding for Quantum Annealing
• Four-body coupler for superconducting qubits based on Josephson parametric oscillators
• Practical hybrid decoding scheme for parity-encoded spin systems
• Improving success probability in the LHZ parity embedding by computing with quantum walks