Qiskit / qiskit-fermions / 30200494738

98%

push

github

feat(transpiler): let MapperFnEvolutionSynthesis choose the product formula (#216)

The plugin previously emitted the PauliEvolutionGate without a `synthesis`
argument, so every mapped `Evolution` was forced onto the gate's default
first-order LieTrotter with a single repetition. Callers had no way to select
a higher-order Suzuki formula or additional repetitions, which are exactly what
Trotter-error-sensitive workloads (e.g. Krylov time evolution) want to trade
depth for accuracy.

Add an optional `product_formula` parameter, forwarded verbatim to
`PauliEvolutionGate(synthesis=...)`. It composes with the existing
F2QSynthesisConfig plumbing unchanged, e.g.
`("MapperFn", (jordan_wigner,), {"product_formula": SuzukiTrotter(2)})`.
Leaving it `None` preserves the previous default behavior.

Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>

5 of 5 new or added lines in 1 file covered. (100.0%)

10104 of 10312 relevant lines covered (97.98%)

321.35 hits per line