Yipeng Huang, Rutgers University

Abstract

Stabilizer circuits are classically tractable quantum circuits that are widely used by architects and theorists to design and benchmark protocols at scale. Despite their attractive properties and a rich body of applications, there have been no qudit stabilizer simulators for 𝑑 > 2. We introduce the first realization of such a simulator modeled after CHP and stim. We validate its correctness and demonstrate its usefulness via a qudit randomized benchmarking case study that supports a physical experiment. This abstraction will be the indispensable tool for novel qudit error correction, as earlier stabilizer simulators have been for qubits.

Speaker bio: Yipeng Huang is an assistant professor of computer science at Rutgers. His research and teaching are in the software-hardware interface of computers, broadly defined: digital, analog, and quantum. He is interested abstractions that make programming these computers easier, and in building simulators and tools that allow for automated validation and characterization. His work has appeared at ACM and IEEE's conferences on computer architecture and has been named among the top picks on several occasions.