5 citations · 9 across the 3 of their papers we have counts for
5 papers
On the Lambek embedding and the category of product-preserving presheaves
Peng Fu, Kohei Kishida, Neil J. Ross +1
It is well-known that the category of presheaf functors is complete and cocomplete, and that the Yoneda embedding into the presheaf category preserves products. However, the Yoneda…
Generators and Relations for Real Stabilizer Operators
Justin Makary, Neil J. Ross, Peter Selinger
Real stabilizer operators, which are also known as real Clifford operators, are generated, through composition and tensor product, by the Hadamard gate, the Pauli Z gate, and the c…
Generators and Relations for the Group On(Z[1/2])
Sarah Meng Li, Neil J. Ross, Peter Selinger
We give a finite presentation by generators and relations for the group O_n(Z[1/2]) of n-dimensional orthogonal matrices with entries in Z[1/2]. We then obtain a similar presentati…
The phase/state duality in reversible circuit design
Matthew Amy, Neil J. Ross
The reversible implementation of classical functions accounts for the bulk of most known quantum algorithms. As a result, a number of reversible circuit constructions over the Clif…
Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits
Matthew Amy, Andrew N. Glaudell, Neil J. Ross
Kliuchnikov, Maslov, and Mosca proved in 2012 that a unitary matrix can be exactly represented by a single-qubit Clifford+ circuit if and only if the entries of…