Abstract:Many routines that one might want to run on a quantum computer can benefit from adaptive circuits, relying on mid-circuit measurements and feed-forward operations. Any such measurement has to be compiled into a sequence of elementary gates involving only a small number of qubits. In this work, we formalize dynamical weight reduction (DWR) schemes in which a high-weight Pauli measurement is decomposed into a sequence of measurements of smaller weight at the cost of adding additional auxiliary qubits. We first present our main method, deforming a ZX diagram that represents the measurement we want to compile. We then construct a general recipe that constructs a DWR on a given connectivity whenever the underlying connectivity graph fulfills certain necessary conditions. Further, we construct a family of DWR schemes using a given number of auxiliary qubits with indications that the schemes we present are optimal in terms of spacetime resource overheads needed for a DWR. We highlight three examples that achieve a constant time or a constant space overhead, respectively. Finally, we discuss different trade-offs of space and time overhead and how they might be chosen differently on different levels of abstraction within a (fault-tolerant) quantum computation. This work showcases the flexibility in compiling a measurement circuit in terms of lower-weight measurements using deformations of ZX diagrams and can find applications in quantum error correction, quantum simulation as well as near-term quantum computing tasks where the quality of a computation highly depends on the physical implementation of a given logical operation.

Experimental Realization of Braunstein'S Weight-Decision Algorithm

Experimental Realization Of Quantum Algorithms For A Linear System Inspired By Adiabatic Quantum Computing

Experimental Realization of Single-shot Nonadiabatic Holonomic Gates in Nuclear Spins

Experimentally realizable scalable quantum computing using superconducting qubits

Implementation of a Quantum Algorithm Distinguishing Odd and Even Functions On a Homonuclear Spin System

Experimental implementation of a fixed-point duality quantum search algorithm in the nuclear magnetic resonance quantum system

"Spectral Implementation" for creating a labeled pseudo-pure state and the Bernstein-Vazirani's algorithm in a four-qubit nuclear magnetic resonance quantum processor

Quantum Weighted Model Counting

Implementation of a Deutsch-like quantum algorithm utilizing entanglement at the two-qubit level, on an NMR quantum information processor

A Quantum Adiabatic Algorithm for Factorization and Its Experimental Implementation

Experimentally Obtaining the Likeness of Two Unknown Qubits on A Nuclear-Magnetic-Resonance Quantum Information Processor

Experimental Demonstration of Deterministic One-Way Quantum Computation on a NMR Quantum Computer

A Programmable Two-Qubit Solid-State Quantum Processor under Ambient Conditions

Experimental Realization of Br\"{u}schweiler's exponentially fast search algorithm in a homo-nuclear system

Quantum Algorithms for Weighted Constrained Sampling and Weighted Model Counting

Experimental Simulation of Shift Operators in a Quantum Processor

Experimental Realization of Brüschweiler's Exponentially Fast Search Algorithm in a Homo-Nuclear System

Experimental Implementation of the Deutsch-Jozsa Algorithm for Three-Qubit Functions using Pure Coherent Molecular Superpositions

Dynamical weight reduction of Pauli measurements

Experimental Realization of Nonunitary Multiqubit Operations

Quantum Algorithms for Weighing Matrices and Quadratic Residues