Abstract:In one-way quantum computation (1WQC) model, an initial highly entangled state called a graph state is used to perform universal quantum computations by a sequence of adaptive single-qubit measurements and post-measurement Pauli-X and Pauli-Z corrections. The needed computations are organized as measurement patterns, or simply patterns, in the 1WQC model. The entanglement operations in a pattern can be shown by a graph which together with the set of its input and output qubits is called the geometry of the pattern. Since a one-way quantum computation pattern is based on quantum measurements, which are fundamentally nondeterministic evolutions, there must be conditions over geometries to guarantee determinism. Causal flow is a sufficient and generalized flow (gflow) is a necessary and sufficient condition over geometries to identify a dependency structure for the measurement sequences in order to achieve determinism. Previously, three optimization methods have been proposed to simplify 1WQC patterns which are called standardization, signal shifting and Pauli simplification. These optimizations can be performed using measurement calculus formalism by rewriting rules. However, maintaining and searching these rules in the library can be complicated with respect to implementation. Moreover, serial execution of these rules is time consuming due to executing many ineffective commutation rules. To overcome this problem, in this paper, a new scheme is proposed to perform optimization techniques on patterns with flow or gflow only based on their geometries instead of using rewriting rules. Furthermore, the proposed scheme obtains the maximally delayed gflow order for geometries with flow. It is shown that the time complexity of the proposed approach is improved over the previous ones.

Geometry-Based Optimization of One-Way Quantum Computation Measurement Patterns

Optimization of One-Way Quantum Computation Measurement Patterns

Complete Flow-Preserving Rewrite Rules for MBQC Patterns with Pauli Measurements

Exploiting Geometric Degrees of Freedom in Topological Quantum Computing

Quantum landscape tomography for efficient single-gate optimization on quantum computers

Path-optimized nonadiabatic geometric quantum computation on superconducting qubits

Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation

Mapping quantum circuits to shallow-depth measurement patterns based on graph states

The geometry of quantum computing

Optimizing Quantum Circuits, Fast and Slow

Nonadiabatic geometric quantum gates with on-demand trajectories

Flexible Scheme for the Implementation of Nonadiabatic Geometric Quantum Computation

Quantifying Deviations from Shortest Geodesic Paths together with Waste of Energy Resources for Quantum Evolutions on the Bloch Sphere

QCIR: Pattern Matching Based Universal Quantum Circuit Rewriting Framework

Optimizing Measurements Sequences for Quantum State Verification

A Quantum Physical Design Flow Using ILP and Graph Drawing

GFlowNets for Hamiltonian decomposition in groups of compatible operators

Qutrit Circuits and Algebraic Relations: A Pathway to Efficient Spin-1 Hamiltonian Simulation