search

QuantumBFS / ZXCalculus.jl

An implementation of ZX-calculus in Julia
http://yaoquantum.org/ZXCalculus.jl/dev/
MIT License
47 stars 7 forks source link

Potential factors which may cause higher T-counts in phase teleportation #57

Open ChenZhao44 opened 3 years ago

ChenZhao44 commented 3 years ago

In the current implementation of rule p2 and p3, spiders without location information will be regarded as spiders in phase gadgets. However, it will cause incomplete simplification in phase teleportation.

ChenZhao44 commented 3 years ago

Rule p2 and p3 can be applied to boundary spiders theoretically. However, it is not supported in the current version.