Forward and Backward Constrained Bisimulations for Quantum Circuits
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science(2023)
摘要
Efficient methods for the simulation of quantum circuits on classic computers
are crucial for their analysis due to the exponential growth of the problem
size with the number of qubits. Here we study lumping methods based on
bisimulation, an established class of techniques that has been proven
successful for (classic) stochastic and deterministic systems such as Markov
chains and ordinary differential equations. Forward constrained bisimulation
yields a lower-dimensional model which exactly preserves quantum measurements
projected on a linear subspace of interest. Backward constrained bisimulation
gives a reduction that is valid on a subspace containing the circuit input,
from which the circuit result can be fully recovered. We provide an algorithm
to compute the constraint bisimulations yielding coarsest reductions in both
cases, using a duality result relating the two notions. As applications, we
provide theoretical bounds on the size of the reduced state space for
well-known quantum algorithms for search, optimization, and factorization.
Using a prototype implementation, we report significant reductions on a set of
benchmarks. Furthermore, we show that constraint bisimulation complements
state-of-the-art methods for the simulation of quantum circuits based on
decision diagrams.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要