ZX-calculus is a graphical language that can characterize quantum circuits. It is a powerful tool that is usually used for quantum circuit simplification. ZXCalculus.jl will implement quantum circuit simplification algorithms based on ZX-calculus in pure Julia. Also, it will provide interfaces to import and export quantum circuits to the form of YaoIR, an intermediate representation for quantum programs in the Yao.jl. So that one can get quantum circuits with higher performance automatically when designing quantum programs with Yao.jl.

Organization

Student

Chen Zhao

Mentors

  • Roger
  • Jinguo Liu
close

2020