‘pbc’ Dialect

A dialect for Pauli-based computation and error correction.

This PBC 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
• pbc.fabricate (::catalyst::pbc::FabricateOp)
• pbc.layer (::catalyst::pbc::LayerOp)
• pbc.ppm (::catalyst::pbc::PPMeasurementOp)
• pbc.ppr (::catalyst::pbc::PPRotationOp)
• pbc.prepare (::catalyst::pbc::PrepareStateOp)
• pbc.select.ppm (::catalyst::pbc::SelectPPMeasurementOp)
• pbc.yield (::catalyst::pbc::YieldOp)

Passes

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

code/dialects/pbc

 

Download Python script

 

Download Notebook

 

View on GitHub