‘qec’ Dialect

A dialect for Pauli-based computation and error correction.

This QEC dialect focuses on Pauli-based computation for the purposes of Surface code and related Quantum Error Correction techniques. Pauli-product rotations (PPRs) and Pauli-product measurements (PPMs) are represented, as well transformations on them. Error correction primitives like magic state fabrication are also represented.

A lot of the techniques in this dialect are based on Daniel Litinski’s work, including A Game of Surface Codes and Active Volume.

Operations

• OpInterface definitions
• qec.fabricate (::catalyst::qec::FabricateOp)
• qec.layer (::catalyst::qec::LayerOp)
• qec.ppm (::catalyst::qec::PPMeasurementOp)
• qec.ppr (::catalyst::qec::PPRotationOp)
• qec.prepare (::catalyst::qec::PrepareStateOp)
• qec.select.ppm (::catalyst::qec::SelectPPMeasurementOp)
• qec.yield (::catalyst::qec::YieldOp)

Passes

• -commute-ppr
• -decompose-clifford-ppr
• -decompose-non-clifford-ppr
• -merge-ppr-ppm
• -ppm-compilation
• -ppm-specs
• -to-ppr

code/dialects/qec

 

Download Python script

 

Download Notebook

 

View on GitHub