Best pass(es) for optimization? about pytket-docs HOT 2 CLOSED

Hi,

Thank you for your question.

FullPeepholeOptimise applies a combination of passes which are mentioned in the Compilation section of the user manual under "predefined sequences"

You can also define passes of your own using SequencePass.
If you are not concerned about routing then perhaps a good sequence of passes to apply is the following.

seq_pass=SequencePass([FullPeepholeOptimise(), RemoveRedundancies(), my_Rebase])

Here my_Rebase can be a user defined rebase which you can define using RebaseCustom

Depending on the structure of your circuits you may also see improved results by including OptimisePhaseGadgets and PauliSimp at the beginning of your sequence. However these compilation passes are application specific and may not be the way to go if you want to define a generic optimisation pass.

After FullPeepholeOptimise is applied the circuit will be in the {TK1,CX} gate set. Performing a rebase after this optimisation will introduce new gates as the TK1 gates need to be decomposed into {Rz,X,H}.

If your Rebase is the last pass in your sequence it should be applied to the optimised circuit. The RebaseCustom pass itself should automatically apply some light optimisations post conversion to remove some redundant gates.

I hope this helps. If anything I said is unclear then please let me know.

from pytket-docs.

Thanks!

from pytket-docs.