REVIEW 3 major objections 8 minor 1 cited by
Effective Hamiltonians for Predictive Quantum Control
T0 review · 3 major / 8 minor · reviewed 2026-07-30 · grok-4.5
Pith's one-line read Correction pulses that work inside the Duffing model can fail when the drive is the real dressed charge operator of a transmon.
desk verdict Clean hybrid-transfer result: Duffing corrections that look great in-model can fail on a diag-calibrated baseline, with the main caveat that H_diag is still an idealized proxy. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Hybrid transfer test: Duffing-derived correction envelopes and detuning are combined with a baseline pulse calibrated only in the diagonalized-transmon model (via its own n0,1), then evaluated under the diagonalized-transmon Hamiltonian at fixed physical gate time. The test isolates multilevel model mismatch from trivial Rabi-rate mismatch.
What would settle it
On a device with known EJ/EC, apply the hybrid protocol (Duffing-derived corrections on a device-calibrated baseline) at short dimensionless gate times and compare measured average gate error to both the uncorrected baseline and a self-consistent correction designed in the diagonalized model; if the hybrid systematically improves as much as the self-consistent pulse, the claimed dynamical mismatch is not operative.
Extended reading notes
Core claim
Using identical Magnus-based correction construction, Duffing-derived correction quadratures and constant detuning substantially reduce average gate error inside the Duffing model, but when added to an independently calibrated diagonalized-transmon baseline they remain far less effective and, in the fast-gate regime, can fail to improve—or can increase—error relative to the uncorrected diagonalized-transmon baseline.
Load-bearing premise
That a four-level, rotating-wave, distortion-free diagonalized-transmon Hamiltonian is faithful enough to the real driven device that hybrid failure under this model means Duffing-based predictive design would fail in practice.
Editorial extensions
If this is right
- Pulse libraries designed only in the Duffing approximation cannot be assumed to transfer to hardware without re-deriving multilevel corrections in a dressed-charge model.
- Model selection for control must be judged by driven error generators (e.g., AC Stark phase), not only static spectra or matrix elements.
- Hilbert-space truncation is part of control design: too few levels can make a linear correction strategy look sufficient when a fuller model shows it is not.
- The same physical controls (two quadratures plus constant detuning) can reach a distinct, better solution once higher-order channels are kept and a nonlinear Magnus strategy is used.
- As EJ/EC decreases, the cost of using the Duffing model for fast-gate design rises.
Reading between the lines
- Closed-loop or data-driven recalibration may partly mask the hybrid failure, so the practical risk is largest for purely open-loop or first-shot pulse deployment.
- The same compounding of small spectrum and matrix-element errors should appear in other weakly anharmonic platforms whenever the control operator is replaced by a harmonic proxy.
- Including measured transfer functions or decoherence would likely widen, not close, the gap between Duffing-designed and dressed-charge-designed corrections.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies how the choice of effective Hamiltonian affects open-loop, model-based pulse design for single-qubit gates in a capacitively driven transmon. Two four-level models are compared: a Hamiltonian obtained by diagonalizing the static transmon and expressing the charge drive in the dressed eigenbasis, and the standard Duffing (Kerr-oscillator) approximation. The same Magnus-based constrained-control construction (from the authors' prior work) is applied to both models, with the baseline pulse calibrated model-specifically through n0,1 to remove the trivial Rabi-rate mismatch. The central result (Fig. 4) is a hybrid test: Duffing-derived correction quadratures and constant detuning, added to an independently calibrated diagonalized-transmon baseline and evaluated at fixed physical gate time, underperform the self-consistent correction and at short gate times can increase the error over the uncorrected baseline. A relative mismatch in the accumulated AC Stark phase (Fig. 5), growing as EJ/EC decreases and tf shortens, is presented as an illustrative diagnostic. A sequential-transition estimate (Eq. 21, App. A, validated in Fig. 9) plus four- vs ten-level checks (Figs. 2, 6) support the truncation. Finally, three- vs four-level truncations change which correction strategy appears sufficient (Fig. 7), and a nonlinear construction yields a distinct, improved control solution (Fig. 8).
Significance. If the results hold, the paper makes a useful, quantitatively documented point for the superconducting-circuit control community: accuracy of an effective Hamiltonian for static low-energy quantities does not certify its predictions for driven error generators, and the discrepancy becomes acute precisely in the fast-gate regime the field is pursuing. The comparison design is careful and worth explicit credit: identical correction machinery in both models, model-specific n0,1 calibration that removes a trivial confound, and hybrid evaluation at fixed physical tf rather than fixed |α2|tf. The analytic truncation criterion (Eq. 21) is validated against direct propagation (Fig. 9), and the EJ/EC and gate-time trends in Figs. 4–5 constitute falsifiable predictions. The Sec. V–VI demonstration that Hilbert-space truncation determines which correction framework appears sufficient — and that a nonlinear construction finds a genuinely distinct pulse with the same controls — is a constructive methodological contribution beyond the headline negative result.
major comments (3)
- [§II.A.1 (RWA paragraph after Eq. (10)) and Fig. 4(b)] The RWA justification compares counter-rotating amplitudes (~1/(ωd tf)) to the *uncorrected* leakage error (~1/(|α2| tf)). But the paper's central quantity in Fig. 4(b) is the corrected error floor, ~10^-5–10^-7, and both models share the RWA and the adjacent-only charge-matrix-element truncation, so the convergence tests of Figs. 2 and 6 are blind to these common-mode omissions by construction. A contribution negligible against uncorrected leakage need not be negligible against the corrected floor, and it could in principle reorder baseline/hybrid/self-consistent curves at short tf. Concrete test: at the shortest |α2| tf and EJ/EC=30, propagate Eq. (6) in the lab frame (or a rotating frame retaining counter-rotating and nonadjacent terms, N=8–10) for the baseline, self-consistent, and hybrid protocols, and report whether the ordering and floors survive. Alternatively, provide perturbati
- [§III.A, Eq. (36) and surrounding text] The hybrid construction recalibrates n0,1 on the evaluation model but transfers Δ_Duff 'without further adjustment.' Calibrating the drive frequency against the (dressed) qubit transition is as routine experimentally as the amplitude calibration the paper does allow, so the asymmetry needs justification. This matters quantitatively: Fig. 5 identifies an accumulated-phase mismatch as a contributor, and a single-scalar Δ recalibration could absorb part of it, potentially changing the fast-gate regime where the hybrid 'can fail to improve... and can even increase' error. Please either (a) show the hybrid curve with Δ recalibrated by one scalar parameter on H_diag, demonstrating the fast-gate failure persists, or (b) argue explicitly why frequency recalibration falls outside the paper's definition of predictive design while amplitude calibration does not.
- [§V–VI, Figs. 7(b) and 8(a)] The nonlinear framework is motivated by the short-gate-time saturation of the linear strategy (Fig. 7(b): 'especially at short gate times'), yet Fig. 8(a) shows the fourth-order nonlinear advantage (~1 order of magnitude) only for |α2| tf ≳ 7, with linear and nonlinear errors 'comparable' at shorter times. The claimed 'systematic route' to the shortest-time regime via higher-order nonlinear corrections is an expectation, not a demonstrated result. Please reconcile: either include a higher-order (e.g., sixth-order) nonlinear data point at short tf, or revise the §V framing so the demonstrated regime and the anticipated regime are clearly distinguished. This is load-bearing for the paper's second result, not the first.
minor comments (8)
- [Figs. 4, 7, 8 captions] Neither caption states EJ/EC for the plotted traces (Fig. 5 varies it; these figures presumably fix one value). Also give the physical tf range in ns for context.
- [§II and Fig. 4] Report absolute device parameters (ωT/2π, EC/h, and the drive frequency). The RWA hierarchy |α2|/ωd ≪ 1 invoked in §II.A.1 cannot be checked from the dimensionless quantities alone, and experimental relevance (which tf in ns corresponds to |α2| tf = 5.74) requires them.
- [§III, after Eq. (35)] State the Fourier basis size and number of free coefficients used for gx, gy, and comment on conditioning/solution selection for the algebraic system from Eq. (35) (uniqueness, minimal-norm choice if underdetermined). A code/data availability statement would substantially strengthen reproducibility of the 10^-7-scale error floors.
- [Eq. (37)] The second matrix element is written ⟨0|Σ Ω(tf)|0⟩ with the Magnus-order subscript l missing on Ω. Also state which order m is used for the Fig. 5 curves ('up to fourth order' — is m=4 for all traces?).
- [Eq. (15)] Check the parenthesization of the n1,2 sector: as typeset, the grouping of the cos[θ/2](...) + sin[θ/2](...) terms is ambiguous about which σx/σy factors belong to which trigonometric prefactor.
- [Fig. 8(d)] §III restricts the detuning to be constant, and §VI states the nonlinear scheme uses 'the same constant detuning control,' yet panel (d) plots Δ/ωC against time. If each trace is a constant, say so in the caption; if the nonlinear construction relaxes the constant-detuning constraint, reconcile with §III.
- [§I or §III.A] The hybrid failure is closely related to the known model sensitivity of DRAG coefficients and optimal detunings in transmons (e.g., higher-derivative and FAST DRAG calibrations in Ref. [6]). A short paragraph connecting the present mechanism to that literature would help experimental readers place the result.
- [Eq. (23), 'complex Hadamard gate'] Consider noting explicitly that this is the √X-type gate used as the benchmark in Refs. [21, 25], to orient readers before Eq. (22)–(23).
Circularity Check
No load-bearing circularity: hybrid Duffing-vs-diagonalized failure is an independent numerical outcome, not forced by the Magnus framework or by baseline calibration.
-
self citation load bearing
[Sec. III, opening; Refs. [21, 25]]
"Rather than developing a new control protocol, we use the Magnus-based constrained-control framework introduced in Refs. [21, 25] and apply it separately to the two effective Hamiltonians derived above. This allows us to isolate how the choice of effective Hamiltonian affects the pulse predicted by an otherwise fixed control strategy."
The correction construction is taken from prior papers with overlapping authorship (Ribeiro). This is ordinary methodological self-citation and is not load-bearing for the central scientific claim: the hybrid transfer failure and AC Stark mismatch are numerical comparisons between two Hamiltonians under that fixed recipe, not consequences forced by the cited framework’s definitions or uniqueness results. Flagged only as minor self-citation, not as a reduction of the result to its inputs.
full rationale
The paper’s central claim—that Duffing-derived correction fields can fail when transferred onto an independently calibrated diagonalized-transmon baseline—is established by direct numerical propagation of two different effective Hamiltonians under a fixed control construction (Fig. 4 hybrid protocol; AC Stark diagnostic in Fig. 5). Model-specific normalization of the baseline envelope by each model’s n0,1 is an intentional isolation step that removes only the trivial computational-subspace Rabi mismatch; residual hybrid error is then a free dynamical outcome, not an algebraic identity. Hilbert-space truncation is justified by a sequential-transition Magnus estimate and checked against multi-level Schrödinger evolution (Figs. 2, 6, 9), not assumed by definition. The only self-citation is adoption of the Magnus constrained-control method from the authors’ prior work [21, 25]; that method supplies the pulse-construction tool but does not force the model-dependence result, which would be meaningful under any shared correction recipe. No fitted parameter is renamed a prediction, no uniqueness theorem is imported to forbid alternatives, and no static approximation is smuggled in as a dynamical identity. Score 1 reflects only that minor methodological self-citation; the derivation chain is otherwise self-contained.
Assumptions & free parameters
free parameters (5)
- EJ/EC ratio set {30, 40, 50} =
30, 40, 50
- Dimensionless gate-time window |α2|tf (e.g. down to ~5.74) =
approximately 5.7–20 (figures)
- Baseline envelope shape fx(t) ∝ 1−cos(2πt/tf) =
Eq. (16) form
- Magnus cancellation order m and Fourier basis size for gx, gy =
m=2 primary; higher orders in Secs. V–VI
- Constant-detuning restriction Δ =
constant Δ during gate
assumptions (8)
- domain assumption Rotating-wave approximation: counter-rotating terms at ~2ωd are negligible versus leakage ~1/(|α2|tf) for the parameters studied.
- domain assumption Only adjacent charge matrix elements need be retained; non-adjacent symmetry-allowed elements are negligible.
- domain assumption Ideal, distortion-free map from specified envelopes to port voltage V(t); no decoherence, drift, or transfer-function uncertainty.
- domain assumption Four-level truncation captures relevant uncorrected and corrected dynamics over the studied gate times (sequential-transition η4/η3 ≪ 1 plus numerical checks).
- domain assumption Diagonalized-transmon eigenbasis plus dressed n_k,l is the more faithful low-energy model of the cosine circuit Hamiltonian under the same RWA/truncation.
- domain assumption Magnus-based constrained cancellation conditions of Refs. [21,25] define a valid open-loop correction when residual Magnus terms through order m are set to zero.
- standard math Standard Mathieu/charge-basis spectrum and circuit Hamiltonian of the Cooper-pair box / transmon (Koch et al.).
- standard math Average gate fidelity error formula of Pedersen et al. on the computational subspace projector.
invented entities (2)
-
Hybrid correction protocol (Duffing g_x,g_y,Δ on diag-calibrated baseline)
-
Sequential-transition leakage estimate η_k
Cite this review
Pith. "Pith review of Effective Hamiltonians for Predictive Quantum Control." pith.science (2026). https://pith.science/paper/M43U4EU2
@misc{pith2026260727111,
author = {Pith},
title = {Pith review of: Effective Hamiltonians for Predictive Quantum Control},
year = {2026},
howpublished = {\url{https://pith.science/paper/M43U4EU2}},
note = {Machine review of arXiv:2607.27111}
}
read the original abstract
High-fidelity quantum control relies on accurate models of driven dynamics. We examine this re- quirement for single-qubit gates in superconducting transmons by comparing control pulses derived from the standard Duffing approximation and from a Hamiltonian constructed by diagonalizing the transmon eigenbasis. Using the same correction-pulse construction for both models, we show that correction fields derived from the Duffing approximation can substantially reduce the gate error pre- dicted by that model while remaining less effective when combined with an independently calibrated baseline pulse in the diagonalized-transmon model. In the fast-gate regime, such transferred correc- tions can even fail to improve over the uncorrected diagonalized-transmon baseline. We show that small model-dependent differences in both the energy spectrum and the representation of the drive operator can compound during driven evolution, resulting in different predicted error generators and correction pulses. A mismatch in the accumulated AC Stark phase provides one illustrative di- agnostic of this dynamical model dependence. We further demonstrate that the model Hamiltonian informs the choice of control framework: Omitting relevant leakage pathways or higher-order error channels can lead to an overly restricted correction strategy. Including these channels motivates an extended correction framework that improves the gate performance using the same physical control resources.
Figures
Figures from the paper (6 more)
Forward citations
Cited by 1 Pith paper
-
Error-Generator-Level Compression for Fast Quantum Gates
A three-parameter Magnus-based pulse, chosen by minimizing a spectral penalty on the projected error generator, suppresses fast transmon-gate errors and beats grid-optimized leading-order DRAG in simulation.
Reference graph
Works this paper leans on
-
[1]
( 6) to a frame rotating at the drive frequency
Rotating Frame and Interaction Picture We first transform Eq. ( 6) to a frame rotating at the drive frequency. The unitary change-of-frame operator is ˆSrot(t) = exp " −iωdt ∞X k=0 k|k⟩ ⟨k| # = ∞X k=0 e−ikωdt|k⟩ ⟨k|. (7) Using this transformation, the Hamiltonian in the rotat- ing frame is ˆHrot(t) = ˆS† rot(t) ˆHdiag(t) ˆSrot(t) −i ˆS† rot(t)∂t ˆSrot(t) ...
-
[2]
sequential
Magnus Expansion and Transition Probabilities to Leakage States We now use Eq. ( 15) to estimate which leakage levels must be retained in the effective Hilbert space. The time- 6 evolution operator generated by ˆVI(t) can be written as ˆUI(t) = exp[ ˆΩ(t)], (17) where ˆΩ(t) = P∞ l=1 ˆΩl(t) is the Magnus expansion [ 22, 23]. The first two terms are ˆΩ1(t) ...
-
[3]
J. Koch, T. M. Yu, J. Gambetta, A. A. Houck, D. I. Schuster, J. Majer, A. Blais, M. H. Devoret, S. M. Girvin, and R. J. Schoelkopf, Charge-insensitive qubit design de- rived from the cooper pair box, Phys. Rev. A 76, 042319 (2007)
2007
-
[4]
J. A. Schreier, A. A. Houck, J. Koch, D. I. Schuster, B. R. Johnson, J. M. Chow, J. M. Gambetta, J. Majer, L. Frun- zio, M. H. Devoret, S. M. Girvin, and R. J. Schoelkopf, Suppressing charge noise decoherence in superconducting charge qubits, Phys. Rev. B 77, 180502 (2008)
2008
-
[5]
Blais, A
A. Blais, A. L. Grimsmo, S. M. Girvin, and A. Wallraff, Circuit quantum electrodynamics, Rev. Mod. Phys. 93, 025005 (2021)
2021
-
[6]
Motzoi, J
F. Motzoi, J. M. Gambetta, P. Rebentrost, and F. K. Wilhelm, Simple pulses for elimination of leakage in weakly nonlinear qubits, Phys. Rev. Lett. 103, 110501 (2009)
2009
-
[7]
J. M. Gambetta, F. Motzoi, S. T. Merkel, and F. K. Wil- helm, Analytic control methods for high-fidelity unitary operations in a weakly nonlinear oscillator, Phys. Rev. A 83, 012308 (2011)
2011
-
[8]
Hyyppä, A
E. Hyyppä, A. Vepsäläinen, M. Papič, C. F. Chan, S. Inel, A. Landra, W. Liu, J. Luus, F. Marxer, C. Ockeloen-Korppi, S. Orbell, B. Tarasinski, and J. Heinsoo, Reducing leakage of single-qubit gates for su- perconducting quantum processors using analytical con- trol pulse envelopes, PRX Quantum 5, 030353 (2024)
2024
Show all 27 references
-
[9]
Khaneja, T
N. Khaneja, T. Reiss, C. Kehlet, T. Schulte-Herbrüggen, and S. J. Glaser, Optimal control of coupled spin dy- namics: design of nmr pulse sequences by gradient as- cent algorithms, Journal of magnetic resonance 172, 296 (2005)
2005
-
[10]
V. F. Krotov and I. Feldman, An iterative method for solving optimal control problems, Eng. Cybern 21, 123 (1983)
1983
-
[11]
Doria, T
P. Doria, T. Calarco, and S. Montangero, Optimal control technique for many-body quantum dynamics, Physical review letters 106, 190501 (2011)
2011
-
[12]
Machnes, E
S. Machnes, E. Assémat, D. Tannor, and F. K. Wilhelm, Tunable, flexible, and efficient optimization of control pulses for practical qubits, Physical review letters 120, 150401 (2018)
2018
-
[13]
S. J. Glaser, U. Boscain, T. Calarco, C. P. Koch, W. Köckenberger, R. Kosloff, I. Kuprov, B. Luy, S. Schirmer, T. Schulte-Herbrüggen, et al. , Training schrödinger’s cat: Quantum optimal control: Strategic report on current status, visions and goals for research in europe, The...
2015
-
[14]
Werschnik and E
J. Werschnik and E. Gross, Quantum optimal control theory, Journal of Physics B: Atomic, Molecular and Op- tical Physics 40, R175 (2007)
2007
-
[15]
Genois, N
É. Genois, N. J. Stevenson, N. Goss, I. Siddiqi, and A. Blais, Quantum optimal control of superconducting qubits based on machine-learning characterization, Phys. Rev. Applied 24, 034073 (2025)
2025
-
[16]
R. Malarchick, When does numerical pulse optimiza- tion actually help? error budgets, robustness trade- offs, and calibration guidance for transmon single-qubit gates, arXiv preprint 10.48550/arXiv.2511.12799 (2025), arXiv:2511.12799 [quant-ph]
2025 doi
-
[17]
Makhlin, G
Y. Makhlin, G. Schön, and A. Shnirman, Quantum-state engineering with josephson-junction devices, Rev. Mod. Phys. 73, 357 (2001)
2001
-
[18]
D. I. Schuster, A. Wallraff, A. Blais, L. Frunzio, R.-S. Huang, J. Majer, S. M. Girvin, and R. J. Schoelkopf, AC Stark shift and dephasing of a superconducting qubit strongly coupled to a cavity field, Phys. Rev. Lett. 94, 123602 (2005)
2005
-
[19]
D. Sank, Z. Chen, M. Khezri, J. Kelly, R. Barends, B. Campbell, Y. Chen, B. Chiaro, A. Dunsworth, A. Fowler, E. Jeffrey, E. Lucero, A. Megrant, J. Mu- tus, M. Neeley, C. Neill, P. J. J. O’Malley, C. Quin- tana, P. Roushan, A. Vainsencher, T. White, J. Wen- ner, A. N. Korotkov,...
2016
-
[20]
W. Dai, S. Hazra, D. K. Weiss, P. D. Kurilovich, T. Con- nolly, H. K. Babla, S. Singh, V. R. Joshi, A. Z. Ding, P. D. Parakh, J. Venkatraman, X. Xiao, L. Frunzio, and M. H. Devoret, Characterization of drive-induced unwanted state transitions in superconducting circuits, Phys....
2026
-
[21]
Groszkowski and J
P. Groszkowski and J. Koch, scqubits: a Python package for superconducting qubits, Quantum 5, 583 (2021)
2021
-
[22]
Larssen, I
F. Larssen, I. Peng, and S. Markidis, Which supercon- ducting qubit model is good enough? from effective two- level to circuit-based hamiltonians for pulse-level simula- tion (2026), arXiv:2605.23034 [quant-ph]
2026 arXiv
-
[23]
Figueiredo Roque, A
T. Figueiredo Roque, A. A. Clerk, and H. Ribeiro, Engineering fast high-fidelity quantum operations with constrained interactions, npj Quantum Information 7, 10.1038/s41534-020-00349-z (2021)
2021 doi
-
[24]
Magnus, On the exponential solution of differential equations for a linear operator, Communications on pure and applied mathematics 7, 649 (1954)
W. Magnus, On the exponential solution of differential equations for a linear operator, Communications on pure and applied mathematics 7, 649 (1954). 18
1954
-
[25]
Blanes, F
S. Blanes, F. Casas, J.-A. Oteo, and J. Ros, The magnus expansion and some of its applications, Physics reports 470, 151 (2009)
2009
-
[26]
L. H. Pedersen, N. M. Møller, and K. Mølmer, Fidelity of quantum operations, Physics Letters A 367, 47 (2007)
2007
-
[27]
Ribeiro, A
H. Ribeiro, A. Baksic, and A. A. Clerk, Systematic magnus-based approach for suppressing leakage and nonadiabatic errors in quantum dynamics, Phys. Rev. X 7, 011021 (2017)
2017
Reviewed July 30, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.