129 citations · 214 across the 5 of their papers we have counts for
5 papers
Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers
Tom Peham, Nina Brandl, Richard Kueng +2
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 fun…
Low rank matrix recovery from Clifford orbits
Richard Kueng, Huangjun Zhu, David Gross
We prove that low-rank matrices can be recovered efficiently from a small number of measurements that are sampled from orbits of a certain matrix group. As a special case, our theo…
Distinguishing quantum states using Clifford orbits
Richard Kueng, Huangjun Zhu, David Gross
It is a fundamental property of quantum mechanics that information is lost as a result of performing measurements. Indeed, with every quantum measurement one can associate a number…
The Clifford group fails gracefully to be a unitary 4-design
Huangjun Zhu, Richard Kueng, Markus Grassl +1
A unitary t-design is a set of unitaries that is "evenly distributed" in the sense that the average of any t-th order polynomial over the design equals the average over the entire…
A unifying framework for relaxations of the causal assumptions in Bell's theorem
Rafael Chaves, Richard Kueng, Jonatan Bohr Brask +1
Bell's Theorem shows that quantum mechanical correlations can violate the constraints that the causal structure of certain experiments impose on any classical explanation. It is th…