Student Seminar Featuring Sam Winnick

Clifford gates are ubiquitous in quantum computing. We consider the multiqudit analog for arbitrary d>1, which for example, includes the qudit Fourier transform. In this talk, we discuss the structure of the multiqudit projective Clifford group and give a high-level overview of a Clifford-based functional programming language whose underlying type system incorporates the resulting encoding scheme for projective Cliffords. This is joint work with Jennifer Paykin.