Pith. sign in

REVIEW 5 major objections 3 minor 9 references

End-to-End Fidelity Analysis of Quantum Circuit Optimization: From Gate-Level Transformations to Pulse-Level Control

T0 review · 5 major / 3 minor · reviewed 2026-08-03 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Total pulse duration is the strongest fidelity predictor in compiled quantum circuits, and gate cancellation is the most effective optimizer pass.

desk verdict The headline pulse-duration result is written into the model; the abstract describes analyses the body doesn't include. read the letter →

arxiv 2601.20871 v3 pith:BPDUS4AO submitted 2026-01-17 quant-ph

Rylan Malarchick This is my paper
classification quant-ph
keywords quantumcircuitoptimizationprocessfidelityLindbladmasterequationpulse-levelcontrolgatecancellationcompilerpassesNISQhardwarevalidationdecoherencemodeling
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper tries to establish which stage of quantum compilation actually matters for near-term hardware fidelity. It connects a gate-level circuit optimizer to a Lindblad-based pulse-level noise simulation and runs 371 benchmark circuits through the pipeline. Its central findings: gate cancellation is the dominant optimization pass (removing roughly 14,000 gates and improving most circuits), and total pulse duration is the strongest negative predictor of process fidelity (R²≈0.55), ahead of gate count, depth, and qubit count. Because it also runs a small set of circuits on a real 20-qubit processor, it claims the model preserves relative difficulty ordering, though it overestimates absolute fidelity by about 0.49. A sympathetic reader would take away that compiler design should target execution time and cancellation, not just gate-count reduction.

What carries the argument

The load-bearing tool is a per-gate Lindblad master-equation fidelity model: each gate is executed as a control pulse with decoherence rates set by T1 and T2 times, and process fidelity is computed from the simulated density matrix. This lets the paper translate gate-level transformations into predicted process fidelity before hardware runs. The four optimizer passes—gate cancellation, commutation, rotation merging, and identity elimination—are the independent variables; cancellation is the workhorse, while commutation creates cancellation opportunities without removing gates itself.

What would settle it

Run the same logical circuit on real hardware with two pulse schedules that have identical gate counts and depths but different total durations, for example by inserting calibrated idle time. If the longer schedule does not show lower fidelity, the pulse-duration claim fails. Alternatively, measure fidelity under simultaneous-gate crosstalk: if crosstalk cancels or reverses the duration effect, the exponential-decay model is incomplete.

Watch

Extended reading notes

Core claim

The paper's central claim is that end-to-end compiled-circuit fidelity is controlled less by how many gates remain and more by how long the whole pulse sequence takes, with gate cancellation as the dominant way to shorten it. In simulation over 371 circuits, cancellation alone removed about 14,000 gates and improved 68–72% of circuits, while pulse duration correlated with process fidelity at r≈−0.74, giving R²≈0.55; the next strongest predictor, input gate count, gave R²≈0.37. The paper also reports that pass ordering among cancellation, commutation, rotation merging, and identity elimination has no significant effect on two-qubit gate reduction, and that on a real 20-qubit processor the sim

Load-bearing premise

The fidelity model assumes decoherence follows exponential decay with fixed T1 and T2 times; under that assumption longer pulses mathematically must hurt fidelity, so the central pulse-duration correlation is substantially built into the model rather than independently observed.

Editorial extensions

If this is right

  • Compiler pipelines should run gate cancellation early and repeatedly; it is cheap and yields the largest fidelity gains.
  • Minimizing total pulse duration—through gate reduction and parallel scheduling—should be a primary NISQ optimization objective.
  • Since pass ordering does not significantly change two-qubit gate reduction, simple fixed orderings such as cancellation→commutation→rotation merging are sufficient.
  • Benchmarking should report two-qubit gate count and pulse duration, not just total gate count, because single-qubit consolidation can dominate total-gate metrics without hardware benefit.
  • The model can be used to rank circuits by difficulty even though its absolute fidelity predictions are consistently about 0.49 too high.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The pulse-duration result is partly guaranteed by the exponential-decay Lindblad model, so the headline R² is not purely empirical; a hardware test that varies only pulse timing would separate model built-in from real effect.
  • Cancellation's dominance may not generalize to circuits that are already near-minimal, such as GHZ preparations; the gains concentrate in rotation-heavy circuits like QFT and QAOA.
  • The consistent 0.49 model-hardware gap suggests absolute fidelity is dominated by unmodeled noise sources; incorporating crosstalk, leakage, or calibration drift could close the gap.
  • If pulse duration is confirmed as the bottleneck, then optimizing routing to shorten execution time may matter more than minimizing swap count itself.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

5 major / 3 minor

Summary. The paper presents qco-integration, a modular framework connecting a C++ circuit optimizer to a Python pulse-level simulation, and claims an end-to-end fidelity analysis across 371 benchmark circuits (abstract says 4,452 experiment runs) on IQM Garnet parameters. The central claims are: gate cancellation is the dominant optimization pass (68% of circuits improved, 14,024 gates removed), pulse duration is the strongest negative predictor of process fidelity (r = -0.74, R² = 0.55 in the body; r = -0.73, R² = 0.53 in the abstract), the optimal pass ordering is cancel→commute→rotate, and hardware execution on IQM Resonance Garnet validates the model as a consistent upper bound with mean overestimate 0.49. The abstract also claims a Qiskit transpilation comparison and a formal pass-ordering ablation (Kruskal–Wallis p = 0.302) that do not appear in the body. The paper releases code and data as open source.

Significance. If the claims were supported, the paper would provide useful compiler guidance: prioritize cancellation and minimize pulse duration to improve NISQ fidelity. The open-source framework, actual IQM hardware executions, and per-pass statistics are concrete contributions. However, the headline empirical claims are undermined by internal inconsistencies and, more fundamentally, by the fact that the pulse-duration correlation is built into the fidelity model through the exponential-decay approximation. The claimed hardware validation and Qiskit comparison are not actually reported in the body. The significance of the paper therefore rests on claims that the presented evidence does not substantiate.

major comments (5)
  1. [Section VII.B and Eq. (1)] The central claim that pulse duration is the strongest negative predictor of process fidelity (Table IV, r = -0.74, R² = 0.55) is an artifact of the modeling assumption. Section VII.B states: 'The pulse simulation uses an exponential decay model approximating the full Lindblad dynamics.' Under exponential decay, process fidelity is a decreasing function of total evolution time by construction, so any regression of fidelity against pulse duration will produce a strong negative correlation regardless of actual noise structure. The paper provides no test with non-exponential errors (crosstalk, leakage, calibration drift, coherent per-gate errors), so the actionable conclusion 'minimize pulse duration' in Section VII.A is a restatement of the model, not an empirical result.
  2. [Abstract vs. body (Table II, Table III, Table IV)] The abstract and body report irreconcilable numbers for the same campaign: abstract says 4,452 experiment runs over 371 circuits while Section V.A/Table II say 'Total circuit runs 371'; gate-cancellation improvement is 72% in the abstract vs. 68% in Table III; pulse-duration correlation is r = -0.73, R² = 0.53 in the abstract vs. r = -0.74, R² = 0.55 in Table IV; input-gate correlation is r = -0.78 in the abstract but Table IV gives r = -0.606. These are not minor typos; they affect the headline numbers and prevent reproducibility assessment.
  3. [Abstract vs. body: missing Qiskit and pass-ordering analyses] The abstract claims: 'Comparing against Qiskit transpilation levels...' and 'A formal ablation study shows that pass ordering has no significant effect... Kruskal–Wallis p = 0.302.' Neither analysis appears in the body. Section V reports per-pass effectiveness and Figure 5 baseline vs. optimized, but no Qiskit comparison and no statistical test of pass ordering. These are load-bearing claims for the paper's stated contributions and must either be reported with data or removed.
  4. [Section VI and Table V] The hardware validation does not support the abstract's claim that the model is a 'consistent upper bound' with mean overestimate 0.49. That number is absent from the body. No process-fidelity estimator is described (e.g., randomized benchmarking, tomography, or readout correction), so it is unclear what Table V's 'Fidelity' numbers mean. Only 4 distinct circuits are reported with 160 shots each, and GHZ circuits show no optimization benefit; QFT shows 0.088 vs. 0.100, a difference that is not statistically assessed. This is insufficient to validate the upper-bound claim or the predictive strength of pulse duration.
  5. [Table IV] Even setting aside the exponential-decay artifact, Table IV reports only univariate correlations. Pulse duration, gate count, depth, and qubit count are strongly inter-correlated, so the claim that pulse duration has the 'strongest predictive power' requires a multivariate or partial-correlation analysis, or at least a demonstration that the R² difference is not confounded. Without such an analysis, Table IV does not establish that pulse duration is the dominant factor.
minor comments (3)
  1. [Throughout] The paper contains many small inconsistencies, e.g., 'SW AP' for 'SWAP' in Section III.A, and the abstract says 8 circuits while Section VI.A says 8 jobs with 4 distinct circuit types. Please standardize terminology and numbers.
  2. [Figure 2] The error bars in Figure 2 are described as standard deviation across the corpus, but the bar for 'CommutationPass' shows zero gates removed with no explanation of how a standard deviation is shown for a zero-variance quantity.
  3. [Section VII.B] The limitation that hardware validation and simulation use different circuit sets is appropriately acknowledged, but this limitation directly undermines the claim of 'consistency' between simulation and hardware. Please discuss the implications more fully.

Circularity Check

1 steps flagged · score 7.0 of 10

Pulse-duration fidelity correlation is forced by the exponential-decay model, not empirically established.

  1. self definitional [Table IV; Sec. VII.B Limitation; Sec. VII.A]
    "Pulse duration exhibits the strongest predictive power (R2 = 0.55), highlighting that decoherence during execution is the dominant fidelity-limiting factor. ... The pulse simulation uses an exponential decay model approximating the full Lindblad dynamics."

    With an exponential-decay (Lindblad) model, process fidelity is necessarily a decreasing function of total evolution time; a regression of simulated fidelity against pulse duration (r=-0.743, R²=0.553) therefore recovers the model's defining functional form. The paper presents this as an empirical finding and as actionable guidance ('Minimize pulse duration'), but no hardware data with varied pulse durations is used to test it: the 4-circuit IQM check only compares absolute simulated vs. measured fidelities and is not analyzed against duration. The correlation is thus true by construction of the model, not evidence about the real noise structure.

full rationale

Most of the paper is self-contained and non-circular: gate-cancellation dominance, pass-ordering statistics, and QFT/QAOA gate reductions are direct gate-count analyses from the simulation campaign. The problematic step is the headline pulse-duration correlation. Section VII.B explicitly admits the pulse simulation uses an exponential-decay model approximating full Lindblad dynamics; under such a model fidelity must decline with total evolution time, so Table IV's R²=0.55 is a restatement of the model rather than an empirical discovery. The hardware validation is too small (8 jobs, 4 circuits) and does not report a duration-fidelity relationship, so it cannot independently confirm the correlation; the abstract's upper-bound claim (mean overestimate 0.49) is also absent from Section VI, limiting its evidentiary weight. Because one central result reduces to the model's definition while the remaining optimization results retain independent content, a score of 7 is appropriate.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central claims rest on standard Lindblad/superconducting hardware assumptions plus a stated exponential-decay approximation. No nonstandard entities are introduced; the free-parameter count is zero because all noise values are taken from IQM's published calibration rather than fitted to the reported data.

assumptions (4)
  • domain assumption The fidelity of a gate sequence is governed by the Lindblad master equation with time-independent T1/T2 rates (Eq. 1).
    Invoked in Section III Stage 5 and Eq. (1); assumes Markovian decoherence and that gate errors are independent of control details. This is standard but not derived for this specific device.
  • ad hoc to paper Decoherence can be approximated by exponential decay over the pulse duration.
    Limitations state: 'The pulse simulation uses an exponential decay model approximating the full Lindblad dynamics.' This approximation is what guarantees that fidelity decreases monotonically with pulse duration and therefore produces the headline r = -0.74 correlation.
  • domain assumption SABRE routing inserted SWAPs preserves the logical unitary, so post-routing gate counts can be compared with pre-routing optimization.
    Stage 3 in Section III; standard routing assumption, but the paper does not verify unitary equivalence for the 371 circuits.
  • domain assumption Table I median hardware parameters (T1 = 37 µs, T2 = 9.6 µs, gate errors/durations) are representative for the executed jobs.
    Used to set the simulation and compare with hardware; the Limitations acknowledge calibration drift, so this is an unverified premise.

how reviews work

0 comments
Cite this review

Pith. "Pith review of End-to-End Fidelity Analysis of Quantum Circuit Optimization: From Gate-Level Transformations to Pulse-Level Control." pith.science (2026). https://pith.science/paper/BPDUS4AO

@misc{pith2026260120871,
  author       = {Pith},
  title        = {Pith review of: End-to-End Fidelity Analysis of Quantum Circuit Optimization: From Gate-Level Transformations to Pulse-Level Control},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BPDUS4AO}},
  note         = {Machine review of arXiv:2601.20871}
}
abstract

We present an analysis of quantum circuit fidelity across the full compilation stack, from high-level gate optimization through pulse-level control. We connect a C++ circuit optimizer to a per-gate Lindblad master-equation fidelity model whose decoherence channels are cross-validated against qiskit-dynamics and whose absolute predictions are benchmarked against execution on real hardware. Across a campaign of 4,452 experiment runs over 371 benchmark circuits, gate cancellation provides the dominant improvement ($d = 1.66$, 72% of circuits improved), while circuit size and pulse duration are the strongest negative predictors of process fidelity (input gates $r = -0.78$; pulse duration $r = -0.73$, $R^2 = 0.53$). A formal ablation study shows that pass ordering has no significant effect on two-qubit gate reduction (Kruskal--Wallis $p = 0.302$). Comparing against Qiskit transpilation levels, we show that two-qubit gate count, not total gate count, is the hardware-relevant metric: our optimizer attains superior two-qubit reduction on structured circuits (87.8% on QFT, 100% on QAOA) whereas Qiskit's larger total-gate reduction is dominated by single-qubit ($u_3$) consolidation. Finally, executing eight circuits on the IQM Resonance Garnet processor (8/8 jobs completed, job identifiers released) reveals that the model is a consistent upper bound: it preserves the relative difficulty ordering of circuits but overestimates absolute fidelity by a mean of 0.49, quantifying the error budget (crosstalk, leakage, readout) outside a $T_1$/$T_2$/depolarizing model. We release the framework, data, and scripts as open source.

Figures

Figures reproduced from arXiv: 2601.20871 by the authors.

Figure 1
Figure 1. FIG. 1. End-to-end pipeline architecture. Input circuits flow [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. FIG. 2. Optimization pass effectiveness measured by net gate [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 5
Figure 5. FIG. 5. Process fidelity comparison between baseline (no opti [PITH_FULL_IMAGE:figures/full_fig_p004_5.png] view at source ↗
Figures from the paper (2 more)
Figure 4
Figure 4. Figure 4: FIG. 4. Process fidelity versus qubit count, grouped by cir [PITH_FULL_IMAGE:figures/full_fig_p004_4.png]
Figure 6
Figure 6. Figure 6: FIG. 6. Real QPU validation on IQM Garnet. Left: Fidelity [PITH_FULL_IMAGE:figures/full_fig_p005_6.png]

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

9 extracted references · 2 linked inside Pith

  1. [1]

    Preskill, Quantum computing in the NISQ era and be- yond, Quantum2, 79 (2018)

    J. Preskill, Quantum computing in the NISQ era and be- yond, Quantum2, 79 (2018)

    2018

  2. [2]

    Y. Nam, N. J. Ross, Y. Su, A. M. Childs, and D. Maslov, Automated optimization of large quantum circuits with continuous parameters, npj Quantum Information4, 23 (2018)

    2018

  3. [3]

    Kissinger and J

    A. Kissinger and J. van de Wetering, Reducing the number of non-Clifford gates in quantum circuits, Physical Review A102, 022406 (2020)

    2020

  4. [4]

    Lubaschet al., Efficient quantum state preparation of multivariate functions using tensor networks, arXiv preprint arXiv:2511.15674 (2025)

    M. Lubaschet al., Efficient quantum state preparation of multivariate functions using tensor networks, arXiv preprint arXiv:2511.15674 (2025)

    arXiv 2025

  5. [5]

    Y. Shi, N. Leung, P. Gokhale, Z. Rosber, Y. Schiffer, A. V. Gorshkov, and F. T. Chong, Optimized compilation of aggregated instructions for realistic quantum computers, ACM SIGPLAN Notices54, 166 (2019)

    2019

  6. [6]

    IQM Finland Oy, Technology and performance bench- marks of IQM’s 20-qubit quantum computer, arXiv preprint arXiv:2408.12433 (2024)

    arXiv 2024

  7. [7]

    Lindblad, On the generators of quantum dynamical semigroups, Communications in Mathematical Physics48, 119 (1976)

    G. Lindblad, On the generators of quantum dynamical semigroups, Communications in Mathematical Physics48, 119 (1976)

    1976

  8. [8]

    G. Li, Y. Ding, and Y. Xie, Tackling the qubit mapping problem for NISQ-era quantum devices, inProceedings of the Twenty-Fourth International Conference on Architec- tural Support for Programming Languages and Operating Systems(2019) pp. 1001–1014

    2019

Show all 9 references
  1. [9]

    Cowtan, S

    A. Cowtan, S. Dilkes, R. Duncan, A. Krajenbrink, W. Simmons, and S. Sherlock, On the qubit routing prob- lem, arXiv preprint arXiv:1902.08091 (2019)

    1902 arXiv

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.