Richard Kueng

Qubit stabilizer states are complex projective 3-designs

2015 · arXiv (Cornell University)

A complex projective $t$-design is a configuration of vectors which is ``evenly distributed'' on a sphere in the sense that sampling uniformly from it reproduces the moments of Haar measure up to order $2t$. We …

As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation

2021

Quantum computers promise to solve important problems faster than conventional computers. However, unleashing this power has been challenging. In particular, design automation runs into (1) the probabilistic nature of quantum computation and (2) exponential requirements …

Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers

2023

Circuit synthesis is the task of decomposing a given logical functionality into a sequence of elementary gates. It is (depth-)optimal if it is impossible to achieve the desired functionality with even shorter circuits. Optimal synthesis …