Qiskit / qiskit / 36003242370

88%

main: 88%

Build Type

push

github

Committed by web-flow

Commit Message

Add MCTS to default HLS synthesis plugin for PauliEvolution gates (#16879)

* Refactoring Clifford class

PauliList allows to store an arbitrary number of Paulis with associated phases
in a packed format that is optimized for vectorized conjugation by Clifford gates.

Clifford uses PauliList.

* The initial implementation. The rollout strategy is completely identical to the rollout
strategy in the python code (up to a small bug fix in the python code), ensuring that
this implementation and the original python code give similar results. In particular,
this is the reason why we are reversing the iterators when calling max_by_key -- to
ensure that the first candidate with the best score gets chosen, or why we are considering
the pair (j, i) directly after the pair (i, j).

* Replacing compare and identify methods by chunk-based computations from the
Rustiq paper. This changes the results, however on average the number of CX-gates
is about the same as before.

For efficiency, this uses table lookups instead of direct conjugation,
similarly to the implementation in Rustiq, which further improves the runtime by
2x on larger instances.

* implementing upto phase and clifford options

fixing global phase with all-identity paulis

cleanup

* Finalizing the plugin interface

Making pass over tests

Some cleanup

* improving PauliList::from_pauli_labels methods and adding error handling

* Also using Result for Rustiq's inner synthesis method

* performance optimization

When computing the score of applying a given Clifford circuit on a pair of qubits,
instead of iterating over all active Paulis and computing the score change for this
pair of qubits, it is faster to first count the number of pairs of each type and then
sum up the results. This gives up to 10x performance improvement for the larger circuits.
Interestingly, the idea for this optimization was suggested by Claude when I privately
asked it to make performance suggestions.

* Replacing unwrap for clif... (continued)

Coverage Stats

35 of 36 new or added lines in 5 files covered. (97.22%)

18 existing lines in 3 files now uncovered.

121626 of 138115 relevant lines covered (88.06%)

948291.57 hits per line