README.md

ZXW-calculus in Julia

Advisor

Chen Zhao ([email protected])

Description

Adding a new spider type, the W-spider, into the current Julia package ZXCalculus.jl and makes it capible with the ZXW-calculus. More precisely, this will include the following features:

• Representing ZW-diagrams
• Implementing rules in the ZW-calculus
• Suppoting differentiation and integration of ZX-diagrams
• Efficient algorithms for contracting planar ZW-diagrams (matchgate tensor networks)

Requirements

• Basic knowledge of quantum information, the ZX-calculus, and tensor networks
• Basic knowledge in Julia programming language

Reference

• Related packages: ZXCalculus.jl, Multigraphs.jl
• The ZX-calculus
• Differentiation and integration in the ZX-calculus
• The ZW-calculus and matchgates