Handling Non-Unitaries in Quantum Circuit Equivalence Checking
TimeWednesday, July 13th11:15am - 11:37am PDT
Location3005, Level 3
DescriptionQuantum computers are reaching a level where interactions between classical and quantum computations can happen in real-time. This marks the advent of dynamic quantum circuits. They offer a broader range of available computing primitives that lead to new challenges for simulation, compilation, and verification. Due to the non-unitary nature of dynamic circuit primitives, most existing techniques for these tasks
are no longer applicable in an out-of-the-box fashion. In this work, we discuss the resulting consequences for quantum circuit verification, and propose two schemes that eventually allow to treat the involved circuits as if they did not contain non-unitaries at all.