ZXCalculus.jl
ZXCalculus.jl copied to clipboard
Potential factors which may cause higher T-counts in phase teleportation
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.
Rule p2 and p3 can be applied to boundary spiders theoretically. However, it is not supported in the current version.