REVIEW 1 major objections 4 minor 1 cited by
Power-optimized amplitude modulation for robust trapped-ion entangling gates: a study of gate-timing errors
T0 review · 1 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read This paper establishes that amplitude-modulated Mølmer–Sørensen gates can reduce leading-order gate-timing error from quadratic to sixth- or tenth-order scaling with only linear constraints on the Fourier coefficients and near-constant…
desk verdict Solid analytical derivation of timing-error robustness for Fourier-AM MS gates, with a power-optimality claim that needs tightening but is probably correct. 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
The machinery is the Fourier amplitude envelope $\Omega(t)=a_0/2+\sum_{n=1}^N [a_n\cos(n\xi_0 t)+b_n\sin(n\xi_0 t)]$ together with exact integral expressions for the phase-space couplings $F(t)$ and $G(t)$. Because every derivative $F^{(i)}(T)$ and $G^{(i)}(T)$ becomes a sum over $n^i$ times the Fourier coefficients, the robustness conditions are linear moment constraints on those coefficients. Average laser power and geometric phase are both quadratic forms in the coefficients, so after projecting out the linear constraints the minimum-power pulse is the eigenvector of $P^{-1/2}AP^{-1/2}$ with the largest absolute eigenvalue, with $A(T)$ fixed to $\pi/2$ by rescaling.
What would settle it
Run the same constrained power optimization with $b_n$ allowed to be nonzero for a fixed $N$ (say $N=10$), subject to the same one- or two-constraint system, and compare the maximum attainable geometric phase per unit power with the $b_n=0$ result; any strictly larger ratio would disprove the claim that cosine-only pulses are power-optimal. Experimentally, one could measure infidelity versus gate-time offset for an $N=5$ or $N=10$ pulse and check whether the predicted $\Delta t^6$ or $\Delta t^{10}$ plateau appears over the claimed stability window.
Extended reading notes
Core claim
The central claim is that a Fourier-expanded amplitude envelope for the MS gate converts robustness to gate-timing errors into a short list of homogeneous linear equations in the Fourier coefficients, and that the minimal-power solution to those equations is found by diagonalizing one matrix. The paper derives closed-form amplitude-modulated trajectories $F(t)$ and $G(t)$, and shows that $F^{(i)}(T)=0$ and $G^{(i)}(T)=0$ collapse to the moment conditions $\sum_n a_n n^{i-1}=0$ for odd $i$ and $\sum_n b_n n^{i-1}=0$ for even $i$, with $a_1=b_1=0$ enforced by closure. Enforcing one constraint makes $1-F_{\rm MS}$ scale as $\Delta t^6$; enforcing two makes it scale as $\Delta t^{10}$. The power-optimized pulses use only cosine coefficients ($b_n=0$), reducing the constrained optimization to the Rayleigh quotient of a pair of quadratic forms, and numerical results for $N$ up to 100 show the power overhead falling to $0.51\%$ for one constraint and $1.2\%$ for two.
Load-bearing premise
The load-bearing assumption is that zeroing the sine Fourier coefficients $b_n$ sacrifices no optimality in the ratio of geometric phase to average laser power; if a nonzero-$b_n$ solution under the same constraints beats the $b_n=0$ one, the reported power costs would be underestimates and the power-optimal claim would be unsupported.
Editorial extensions
If this is right
- One added linear constraint changes the leading infidelity from timing error from $O(\Delta t^2)$ to $O(\Delta t^6)$; two constraints change it to $O(\Delta t^{10})$.
- The linear constraints are homogeneous and can in principle be extended to arbitrarily high order, since each additional constraint removes four powers of $\Delta t$ from the leading error.
- The additional average laser power is small and shrinks with $N$: $0.51\%$ overhead at $N=100$ for one constraint and $1.2\%$ for two.
- The amplitude-modulated pulses develop a soft start, which leaves smaller residual phase-space displacement and a wider region of near-unit fidelity around the nominal gate time.
- The same strategy of expanding fidelity in a control parameter and imposing linear coefficient constraints can be applied to other error sources such as laser frequency fluctuations.
Reading between the lines
- If the $b_n=0$ ansatz is wrong, the reported power overheads are optimistic; a numerical search over the full coefficient space for fixed $N$ would settle this without new physics.
- The two-ion single-mode model omits carrier transitions and higher Lamb-Dicke terms that the paper itself estimates contribute coherent errors near $10^{-4}$, so the asymptotic scaling may not dominate in a full multi-mode device.
- An experimental test only needs an arbitrary waveform generator and a two-ion chain; measuring the width of the flat infidelity region for increasing $N$ would directly check whether the stability region narrows as predicted.
- Because the method only reshapes the amplitude envelope, it can likely be stacked with frequency or phase modulation and with standard error-mitigation techniques, though the paper does not demonstrate such combinations.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper analyzes amplitude-modulated Mølmer-Sørensen gates for two trapped ions, expanding the laser amplitude envelope in a Fourier series. It derives closed-form expressions for the phase-space trajectory, converts the requirement of vanishing low-order derivatives of F and G at the gate time into linear constraints on the Fourier coefficients, and selects pulses by maximizing the geometric phase per unit average power subject to those constraints via a generalized eigenvalue problem. Numerical results show infidelity scaling O(Δt^6) with one constraint and O(Δt^10) with two constraints, with laser-power overhead that decreases as the number of Fourier components increases.
Significance. The central scaling result is an analytical, parameter-free prediction within the stated single-mode model: the constraints are linear, the optimization is a Rayleigh quotient, and the asymptotic improvements in Δt are verified numerically rather than inferred from fits. This is a useful and clean demonstration that amplitude-modulated MS gates can suppress gate-timing errors with vanishing power overhead as N grows. The main limitation is that the 'power-optimized' claim is proved only for the cosine-only subspace; the global optimality over all Fourier coefficients is asserted rather than proven. With that point repaired or appropriately qualified, the paper would be a solid contribution to pulse-shaping methods for trapped-ion gates.
major comments (1)
- [Section III.D and Appendix D] The claim that the optimized pulse is 'minimum-power' (abstract and Section III.D) is not established for the full Fourier space. Appendix D argues that b_n should be zero because nonzero b_n add positive contributions to both P and A, and because a b-only solution has |A|/P ≤ 1/3. This is heuristic: it does not rule out a mixed a_n,b_n solution with larger |A|/P, and the '≤1/3' bound is not compared with the actual optimized a-only ratio for each N reported in Fig. 8. The missing step is a convexity argument: for the optimized a-only solution with negative A_a, any nonzero b vector adds A_b>0 and P_b>0, which strictly lowers |A_a|/P_a; if such a proof is supplied (or an explicit check that the chosen eigenvector has A_a<0 for the relevant N), the restriction is justified. Without it, the wording should be softened to 'optimal within the cosine-only subspace,' and the overhead percentages in Fig. 8 are upper bounds rather than minima.
minor comments (4)
- [Eq. (14) and Appendix A] Equation (14) is inconsistent with Appendix A: using periodicity of F and g, A(T+Δt)=A(T)+A(Δt)=π/2+A(Δt), so ΔA=A(Δt), not A(Δt)-π/2. Appendix A in fact uses the correct relation. Please correct Eq. (14) and the sentence that refers to it.
- [Appendix A, Eq. (A1)] The coefficient 1/128 on the dropped term in Eq. (A1) does not follow from the expansion of Eq. (11) as displayed, and the accompanying statement 'A=O(Δt²)' is not correct for the MS pulse (one finds ΔA=O(Δt³) for the constant-amplitude case). Please recompute the dropped term and its order; the leading-order term in Eq. (15) is unaffected.
- [Section III.C and abstract] The phrase 'one linear constraint' should be qualified. If the b_n are retained, the reduced system for the first nontrivial order contains both a0/2+Σ a_n=0 and Σ b_n n=0; the latter is automatic only in the cosine-only subspace. Please make the counting explicit.
- [Fig. 8] The caption should state the normalization of the plotted power (apparently P=1 for the unmodulated MS pulse) and define 'additional power' as (P-1)×100%.
Circularity Check
No significant circularity: the scaling and power-optimization results are derived analytically from the MS Hamiltonian and an external fidelity formula, with no fitted parameter defining the central prediction.
full rationale
The paper's central claims are not circular. The O(Δt^6) and O(Δt^10) scalings are obtained by imposing explicit linear constraints on Fourier coefficients, derived from the analytic derivative formulas in Eqs. (24)-(25) and reduced to Eqs. (28)-(29). These constraints set specific derivatives of F and G to zero at the gate time; the fidelity scaling then follows from the known external fidelity expansion of Ref. [22], Eq. (11), and the Taylor argument in Section III. The numerical fidelity curves in Figure 7 are independent evaluations of that fidelity expression using the solved pulse coefficients, not fits to the curves. The power optimization is a standard Rayleigh-quotient problem on analytically constructed matrices, and the reported power values in Figure 8 are computed, not assumed. The only notable weakness is the b_n = 0 restriction in Appendix D, which is explicitly labeled an ansatz and justified only heuristically; this is a model assumption that could affect the global power-optimality claim, but it is not a circular reduction of the central scaling result. There are no load-bearing self-citations and no fitted inputs renamed as predictions.
Assumptions & free parameters
assumptions (4)
- domain assumption The two-ion MS gate is described by the interaction Hamiltonian in Eq. (1), restricted to the center-of-mass mode, with carrier and fast-rotating terms neglected.
- standard math The gate infidelity is dominated by the leading-order term 1-F ≈ (n̄+1/2)(F²+G²)/2, with higher-order corrections from the geometric-phase deviation being negligible.
- ad hoc to paper The sine Fourier coefficients b_n can be set to zero without losing power-optimality.
- domain assumption Truncating the Fourier series at order N and numerically diagonalizing the matrix P'^{-1/2}A'P'^{-1/2} yields the claimed minimal-power pulses.
Cite this review
Pith. "Pith review of Power-optimized amplitude modulation for robust trapped-ion entangling gates: a study of gate-timing errors." pith.science (2026). https://pith.science/paper/W5BCYF36
@misc{pith2026241217789,
author = {Pith},
title = {Pith review of: Power-optimized amplitude modulation for robust trapped-ion entangling gates: a study of gate-timing errors},
year = {2026},
howpublished = {\url{https://pith.science/paper/W5BCYF36}},
note = {Machine review of arXiv:2412.17789}
}
abstract
Trapped-ion systems are a promising route toward the realization of both near-term and universal quantum computers. However, one of the pressing challenges is improving the fidelity of two-qubit entangling gates. These operations are often implemented by addressing individual ions with laser pulses using the Molmer-Sorensen (MS) protocol. Amplitude modulation (AM) is a well-studied extension of this protocol, where the amplitude of the laser pulses is controlled as a function of time. We present an analytical study of AM, using a Fourier series expansion to maintain the generality of the laser amplitude's functional form. We then apply this general AM method to gate-timing errors by imposing conditions on these Fourier coefficients, producing trade-offs between the laser power and fidelity at a fixed gate time. The conditions derived here are linear and can be used, in principle, to achieve arbitrarily high orders of insensitivity to gate-timing errors. Numerical optimization is then employed to identify the minimum-power pulse satisfying these constraints. Our central result is that the leading order dependence on gate timing errors is improved from $\mathcal{O}(\Delta t^2)$ to $\mathcal{O}(\Delta t^6)$ with the addition of one linear constraint on the Fourier coefficients and to $\mathcal{O}(\Delta t^{10})$ with two linear constraints without a significant increase in the average laser power. The increase approaches zero as more Fourier coefficients are included. In further studies, this protocol can be applied to other error sources and used in conjunction with other error-mitigation techniques to improve two-qubit gates.
Figures
Figures from the paper (4 more)
Forward citations
Cited by 1 Pith paper
-
Quantum Optimal Control with Geodesic Pulse Engineering
A new quantum optimal control algorithm that follows the geodesic on SU(2^n) converges to high-fidelity multi-qubit gates in far fewer iterations than GRAPE, including 5- and 6-qubit quantum Fourier transforms on Rydb...
Reference graph
Works this paper leans on
-
[1]
C. D. Bruzewicz, J. Chiaverini, R. McConnell, and J. M. Sage, Trapped-ion quantum computing: Progress and challenges, Applied Physics Reviews 6, 021314 (2019)
2019
-
[2]
T. P. Harty, D. T. C. Allcock, C. J. Ballance, L. Guidoni, H. A. Janacek, N. M. Linke, D. N. Stacey, and D. M. Lu- cas, High-fidelity preparation, gates, memory, and read- 11 out of a trapped-ion quantum bit, Phys. Rev. Lett. 113, 220501 (2014)
work page 2014
-
[3]
C. J. Ballance, T. P. Harty, N. M. Linke, M. A. Sepiol, and D. M. Lucas, High-fidelity quantum logic gates us- ing trapped-ion hyperfine qubits, Phys. Rev. Lett. 117, 060504 (2016)
2016
-
[4]
J. P. Gaebler, T. R. Tan, Y. Lin, Y. Wan, R. Bowler, A. C. Keith, S. Glancy, K. Coakley, E. Knill, D. Leibfried, and D. J. Wineland, High-fidelity universal gate set for 9Be + ion qubits, Phys. Rev. Lett. 117, 060505 (2016)
2016
-
[5]
C. R. Clark, H. N. Tinkey, B. C. Sawyer, A. M. Meier, K. A. Burkhardt, C. M. Seck, C. M. Shappert, N. D. Guise, C. E. Volin, S. D. Fallek, H. T. Hayden, W. G. Rel- lergert, and K. R. Brown, High-fidelity bell-state prepa- ration with 40Ca+ optical qubits, Phys. Rev. Lett. 127, 130505 (2021)
2021
-
[6]
Raussendorf and J
R. Raussendorf and J. Harrington, Fault-tolerant quan- tum computation with high threshold in two dimensions, Phys. Rev. Lett. 98, 190504 (2007)
2007
-
[7]
Sørensen and K
A. Sørensen and K. Mølmer, Entanglement and quantum computation with ions in thermal motion, Phys. Rev. A 62, 022311 (2000)
2000
-
[8]
Sørensen and K
A. Sørensen and K. Mølmer, Quantum computation with ions in thermal motion, Phys. Rev. Lett. 82, 1971 (1999)
1999
Show all 37 references
-
[9]
Hayes, S
D. Hayes, S. M. Clark, S. Debnath, D. Hucul, I. V. Inlek, K. W. Lee, Q. Quraishi, and C. Monroe, Coherent error suppression in multiqubit entangling gates, Phys. Rev. Lett. 109, 020503 (2012)
2012
-
[10]
T. Choi, S. Debnath, T. A. Manning, C. Figgatt, Z.- X. Gong, L.-M. Duan, and C. Monroe, Optimal quan- tum control of multimode couplings between trapped ion qubits for scalable entanglement, Phys. Rev. Lett. 112, 190502 (2014)
2014
-
[11]
Zarantonello, H
G. Zarantonello, H. Hahn, J. Morgner, M. Schulte, A. Bautista-Salvador, R. F. Werner, K. Hammerer, and C. Ospelkaus, Robust and resource-efficient microwave near-field entangling 9Be+ gate, Phys. Rev. Lett. 123, 260503 (2019)
2019
-
[12]
Bl¨ umel, N
R. Bl¨ umel, N. Grzesiak, N. H. Nguyen, A. M. Green, M. Li, A. Maksymov, N. M. Linke, and Y. Nam, Effi- cient stabilized two-qubit gates on a trapped-ion quan- tum computer, Phys. Rev. Lett. 126, 220503 (2021)
2021
-
[13]
Bl¨ umel, N
R. Bl¨ umel, N. Grzesiak, N. Pisenti, K. Wright, and Y. Nam, Power-optimal, stabilized entangling gate be- tween trapped-ion qubits, npj Quantum Information 7, 147 (2021)
2021
-
[14]
Z. Jia, S. Huang, M. Kang, K. Sun, R. F. Spivey, J. Kim, and K. R. Brown, Angle-robust two-qubit gates in a lin- ear ion crystal, Phys. Rev. A 107, 032617 (2023)
2023
-
[15]
M. Duwe, G. Zarantonello, N. Pulido-Mateo, H. Mend- para, L. Krinner, A. Bautista-Salvador, N. V. Vi- tanov, K. Hammerer, R. F. Werner, and C. Ospelkaus, Numerical optimization of amplitude-modulated pulses in microwave-driven entanglement generation, Quantum Science and Techn...
2022
-
[16]
B. P. Ruzic, M. N. Chow, A. D. Burch, D. S. Lobser, M. C. Revelle, J. M. Wilson, C. G. Yale, and S. M. Clark, Leveraging motional-mode balancing and simply parametrized waveforms to perform frequency-robust en- tangling gates, Phys. Rev. Appl. 22, 014007 (2024)
2024
-
[17]
P. H. Leung, K. A. Landsman, C. Figgatt, N. M. Linke, C. Monroe, and K. R. Brown, Robust 2-qubit gates in a linear ion crystal using a frequency-modulated driving force, Phys. Rev. Lett. 120, 020501 (2018)
2018
-
[18]
M. Kang, Q. Liang, B. Zhang, S. Huang, Y. Wang, C. Fang, J. Kim, and K. R. Brown, Batch optimization of frequency-modulated pulses for robust two-qubit gates in ion chains, Phys. Rev. Appl. 16, 024039 (2021)
2021
-
[19]
M. Kang, Y. Wang, C. Fang, B. Zhang, O. Khosra- vani, J. Kim, and K. R. Brown, Designing filter functions of frequency-modulated pulses for high-fidelity two-qubit gates in ion chains, Phys. Rev. Appl. 19, 014014 (2023)
2023
-
[20]
T. J. Green and M. J. Biercuk, Phase-modulated decou- pling and error suppression in qubit-oscillator systems, Phys. Rev. Lett. 114, 120502 (2015)
2015
-
[21]
A. R. Milne, C. L. Edmunds, C. Hempel, F. Roy, S. Mavadia, and M. J. Biercuk, Phase-modulated entan- gling gates robust to static and time-varying errors, Phys. Rev. Appl. 13, 024022 (2020)
2020
-
[22]
Shapira, R
Y. Shapira, R. Shaniv, T. Manovitz, N. Akerman, and R. Ozeri, Robust entanglement gates for trapped-ion qubits, Phys. Rev. Lett. 121, 180502 (2018)
2018
-
[23]
A. E. Webb, S. C. Webster, S. Collingbourne, D. Bre- taud, A. M. Lawrence, S. Weidt, F. Mintert, and W. K. Hensinger, Resilient entangling gates for trapped ions, Phys. Rev. Lett. 121, 180501 (2018)
2018
-
[24]
R. T. Sutherland, R. Srinivas, S. C. Burd, H. M. Knaack, A. C. Wilson, D. J. Wineland, D. Leibfried, D. T. C. All- cock, D. H. Slichter, and S. B. Libby, Laser-free trapped- ion entangling gates with simultaneous insensitivity to qubit and motional decoherence, Phys. Rev. A 10...
2020
-
[25]
Lishman and F
J. Lishman and F. Mintert, Trapped-ion entangling gates robust against qubit frequency errors, Phys. Rev. Res. 2, 033117 (2020)
2020
-
[26]
Barenco, C
A. Barenco, C. H. Bennett, R. Cleve, D. P. DiVincenzo, N. Margolus, P. Shor, T. Sleator, J. A. Smolin, and H. Weinfurter, Elementary gates for quantum computa- tion, Phys. Rev. A 52, 3457 (1995)
1995
-
[27]
Lechner, C
R. Lechner, C. Maier, C. Hempel, P. Jurcevic, B. P. Lanyon, T. Monz, M. Brownnutt, R. Blatt, and C. F. Roos, Electromagnetically-induced-transparency ground-state cooling of long ion strings, Phys. Rev. A 93, 053401 (2016)
2016
-
[28]
G. H. Golub and R. Underwood, Stationary values of the ratio of quadratic forms subject to linear con- straints, Zeitschrift f¨ ur angewandte Mathematik und Physik ZAMP 21, 318 (1970)
1970
-
[29]
Hence, in practice, the min- imum eigenvalue of A with respect to P was found
We anticipated (and confirmed) that the a0 term would be the dominant contribution to the geometric phase and thus that A will be negative. Hence, in practice, the min- imum eigenvalue of A with respect to P was found
-
[30]
Then, only the (N − k/2) × (N − k/2) submatrices which act on the nonzero entries need to be considered
The strategy, used in [28], is to choose vectors with N entries where the last k/2 are zeros. Then, only the (N − k/2) × (N − k/2) submatrices which act on the nonzero entries need to be considered
-
[31]
We use the analytic expressions for the population given in [7] and the probability distribution of a thermal state from [36] to produce these plots
-
[32]
Bowler, U
R. Bowler, U. Warring, J. W. Britton, B. C. Sawyer, and J. Amini, Arbitrary waveform generator for quan- tum information processing with trapped ions, Review of Scientific Instruments 84, 033108 (2013)
2013
-
[33]
S. C. Burd, R. Srinivas, H. M. Knaack, W. Ge, A. C. Wilson, D. J. Wineland, D. Leibfried, J. J. Bollinger, D. T. C. Allcock, and D. H. Slichter, Quantum ampli- fication of boson-mediated interactions, Nature Physics 12 17, 898 (2021)
2021
-
[34]
N. H. Le, M. Orozco-Ruiz, S. A. Kulmiya, J. G. Urquhart, S. J. Hile, W. K. Hensinger, and F. Mintert, Amplitude-noise-resilient entangling gates for trapped ions (2024), arXiv:2407.03047 [quant-ph]
2024 arXiv
-
[35]
Bl¨ umel, A
R. Bl¨ umel, A. Maksymov, and M. Li, Toward a Mølmer-Sørensen gate with .9999 fidelity (2023), arXiv:2311.15958 [quant-ph]
2023 arXiv
-
[36]
M. O. Scully and M. S. Zubairy, Quantum Optics (Cam- bridge University Press, 1997). Appendix A: Expansion of the Gate Fidelity - Details The leading order change of the function FM Sis in the first order of F 2 + G2. We notice this quantity is nothing but the distance squared...
1997
-
[37]
Thus, the reduced matrix, P′, will have entries [ P′]ij = 1 + (1/2)δij, with i, j ∈ [2, N] ⊂ Z
while the second term is the diagonal matrix 1 2 11N −1, where 11N −1 is the identity matrix of dimension N − 1. Thus, the reduced matrix, P′, will have entries [ P′]ij = 1 + (1/2)δij, with i, j ∈ [2, N] ⊂ Z. By substitution of equation (E1) into equation (31), the entries of ...
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.