ZXCalculus.jl icon indicating copy to clipboard operation
ZXCalculus.jl copied to clipboard

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

Open ChenZhao44 opened this issue 4 years ago • 1 comments

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 avatar Sep 10 '20 12:09 ChenZhao44

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

ChenZhao44 avatar Sep 11 '20 11:09 ChenZhao44