- Open Access
General, Efficient, and Robust Hamiltonian Engineering
PRX Quantum 6, 040346 – Published 26 November, 2025
DOI: https://doi.org/10.1103/9yxv-tdqr
Abstract
Implementing the time evolution under a desired target Hamiltonian is critical for various applications in quantum science. Due to the exponential increase of parameters in the system size and due to experimental imperfections, this task can be challenging in quantum many-body settings. We introduce an efficient and robust scheme to engineer arbitrary local many-body Hamiltonians. To this end, our scheme applies single-qubit or pulses to an always-on system Hamiltonian, which we assume to be native to a given platform. These sequences are constructed by efficiently solving a linear program (LP) which minimizes the total evolution time. In this way, we can engineer target Hamiltonians that are only limited by the locality of the interactions in the system Hamiltonian. Based on average Hamiltonian theory and by using robust composite pulses, we make our schemes robust against errors, including finite-pulse-time errors and various control errors. To demonstrate the performance of our scheme, we provide numerical simulations. In particular, we solve the Hamiltonian-engineering problem on a laptop for arbitrary two-local Hamiltonians on a two-dimensional square lattice with 196 qubits in only 60 s. Moreover, we simulate the engineering of general Heisenberg Hamiltonians from Ising Hamiltonians with imperfect single-qubit pulses for smaller system sizes, and achieve a fidelity larger than 99.9%, which is orders of magnitude better than nonrobust implementations.
Physics Subject Headings (PhySH)
Popular Summary
A central challenge in quantum science is the precise control of quantum dynamics. Every quantum device comes with its own built-in interactions its “native Hamiltonian”—but scientists often need to change these interactions to mimic entirely different physical systems or to perform complex computations. Doing this accurately and efficiently, especially on large and noisy quantum devices, is notoriously difficult.
In this work, we introduce a general and practical framework that allows researchers to reprogram the natural interacting dynamics of a given quantum system using only simple, local operations. Our method applies carefully chosen sequences of single-qubit pulses to redirect the evolution of the system toward a desired Hamiltonian. We cast this task as a linear-optimization problem that can be solved quickly, even for systems with hundreds of qubits. The result is an engineered quantum evolution that is fast, precise, and tolerant to experimental imperfections such as control errors or finite-duration pulses.
Because our approach works efficiently for essentially any type of local interactions, it unifies and extends many existing Hamiltonian-engineering techniques. It turns the challenge of designing pulse sequences into a straightforward, programmable task. This capability could enable faster and more reliable quantum simulations, help realize complex models in quantum chemistry, and enhance gate-based computation on near-term devices. Looking ahead, we envision this framework as a cornerstone for flexible, digital-analog quantum platforms that can be “reprogrammed” on demand to explore new realms of quantum dynamics.
Article Text
References (84)
- R. Somma, G. Ortiz, J. E. Gubernatis, E. Knill, and R. Laflamme, Simulating physical phenomena by quantum networks, Phys. Rev. A 65, 042323 (2002).
- R. Blatt and C. F. Roos, Quantum simulations with trapped ions, Nat. Phys. 8, 277 (2012).
- D. Wecker, M. B. Hastings, N. Wiebe, B. K. Clark, C. Nayak, and M. Troyer, Solving strongly correlated electron models on a quantum computer, Phys. Rev. A 92, 062318 (2015).
- H. Bernien, S. Schwartz, A. Keesling, H. Levine, A. Omran, H. Pichler, S. Choi, A. S. Zibrov, M. Endres, M. Greiner, V. Vuletić, and M. D. Lukin, Probing many-body dynamics on a 51-atom quantum simulator, Nature 551, 579 (2017).
- J. Zhang, G. Pagano, P. W. Hess, A. Kyprianidis, P. Becker, H. Kaplan, A. V. Gorshkov, Z.-X. Gong, and C. Monroe, Observation of a many-body dynamical phase transition with a 53-qubit quantum simulator, Nature 551, 601 (2017).
- N. Defenu, A. Lerose, and S. Pappalardi, Out-of-equilibrium dynamics of quantum many-body systems with long-range interactions, Phys. Rep. 1074, 1 (2024).
- I. Kassal, J. D. Whitfield, A. Perdomo-Ortiz, M.-H. Yung, and A. Aspuru-Guzik, Simulating chemistry using quantum computers, Annu. Rev. Phys. Chem. 62, 185 (2011).
- D. Wecker, B. Bauer, B. K. Clark, M. B. Hastings, and M. Troyer, Gate-count estimates for performing quantum chemistry on small quantum computers, Phys. Rev. A 90, 022305 (2014).
- J. Olson, Y. Cao, J. Romero, P. Johnson, P.-L. Dallaire-Demers, N. Sawaya, P. Narang, I. Kivlichan, M. Wasielewski, and A. Aspuru-Guzik, Quantum information and computation for chemistry, ArXiv:1706.05413.
- A. M. Childs, D. Maslov, Y. Nam, N. J. Ross, and Y. Su, Toward the first quantum simulation with quantum speedup, Proc. Natl. Acad. Sci. 115, 9456 (2018).
- A. J. Daley, I. Bloch, C. Kokail, S. Flannigan, N. Pearson, M. Troyer, and P. Zoller, Practical quantum advantage in quantum simulation, Nature 607, 667 (2022).
- J. Preskill, Quantum computing in the NISQ era and beyond, Quantum 2, 79 (2018).
- R. Trivedi, A. Franco Rubio, and J. I. Cirac, Quantum advantage and stability to errors in analogue quantum simulators, Nat. Commun. 15, 6507 (2024).
- D. W. Leung, I. L. Chuang, F. Yamaguchi, and Y. Yamamoto, Efficient implementation of coupled logic gates for quantum computation, Phys. Rev. A 61, 042310 (2000).
- D. Leung, Simulation and reversal of -qubit Hamiltonians using Hadamard matrices, J. Mod. Opt. 49, 1199 (2002).
- J. L. Dodd, M. A. Nielsen, M. J. Bremner, and R. T. Thew, Universal quantum computation and simulation using any entangling Hamiltonian and local unitaries, Phys. Rev. A 65, 040301(R) (2002).
- M. A. Nielsen, M. J. Bremner, J. L. Dodd, A. M. Childs, and C. M. Dawson, Universal simulation of Hamiltonian dynamics for quantum systems with finite-dimensional state spaces, Phys. Rev. A 66, 022317 (2002).
- M. Votto, J. Zeiher, and B. Vermersch, Universal quantum processors in spin systems via robust local pulse sequences, Quantum 8, 1513 (2024).
- J. Choi, H. Zhou, H. S. Knowles, R. Landig, S. Choi, and M. D. Lukin, Robust dynamic Hamiltonian engineering of many-body spin systems, Phys. Rev. X 10, 031002 (2020).
- S. Choi, N. Y. Yao, and M. D. Lukin, Dynamical engineering of interactions in qudit ensembles, Phys. Rev. Lett. 119, 183603 (2017).
- H. Zhou, H. Gao, N. T. Leitao, O. Makarova, I. Cong, A. M. Douglas, L. S. Martin, and M. D. Lukin, Robust Hamiltonian engineering for interacting qudit systems, Phys. Rev. X 14, 031017 (2024).
- S. Geier, N. Thaicharoen, C. Hainaut, T. Franz, A. Salzinger, A. Tebben, D. Grimshandl, G. Zürn, and M. Weidemüller, Floquet Hamiltonian engineering of an isolated many-body spin system, Science 374, 1149 (2021).
- H. Zhou, J. Choi, S. Choi, R. Landig, A. M. Douglas, J. Isoya, F. Jelezko, S. Onoda, H. Sumiya, P. Cappellaro, H. S. Knowles, H. Park, and M. D. Lukin, Quantum metrology with strongly interacting spin systems, Phys. Rev. X 10, 031003 (2020).
- P. Scholl, H. J. Williams, G. Bornet, F. Wallner, D. Barredo, L. Henriet, A. Signoles, C. Hainaut, T. Franz, S. Geier, A. Tebben, A. Salzinger, G. Zürn, T. Lahaye, M. Weidemüller, and A. Browaeys, Microwave engineering of programmable Hamiltonians in arrays of Rydberg atoms, PRX Quantum 3, 020303 (2022).
- D. Barredo, H. Labuhn, S. Ravets, T. Lahaye, A. Browaeys, and C. S. Adams, Coherent excitation transfer in a spin chain of three Rydberg atoms, Phys. Rev. Lett. 114, 113002 (2015).
- D. Bluvstein, H. Levine, G. Semeghini, T. T. Wang, S. Ebadi, M. Kalinowski, A. Keesling, N. Maskara, H. Pichler, M. Greiner, V. Vuletić, and M. D. Lukin, A quantum processor based on coherent transport of entangled atom arrays, Nature 604, 451 (2022).
- D. Bluvstein, et al., Logical quantum processor based on reconfigurable atom arrays, Nature 626, 58 (2023).
- M. Garcia-de-Andoin, A. Saiz, P. Pérez-Fernández, L. Lamata, I. Oregi, and M. Sanz, Digital-analog quantum computation with arbitrary two-body Hamiltonians, Phys. Rev. Res. 6, 013280 (2024).
- D. Hayes, S. T. Flammia, and M. J. Biercuk, Programmable quantum simulation by dynamic Hamiltonian engineering, New J. Phys. 16, 083027 (2014).
- C. Figgatt, A. Ostrander, N. M. Linke, K. A. Landsman, D. Zhu, D. Maslov, and C. Monroe, Parallel entangling operations on a universal ion-trap quantum computer, Nature 572, 368 (2019).
- Y. Lu, S. Zhang, K. Zhang, W. Chen, Y. Shen, J. Zhang, J.-N. Zhang, and K. Kim, Global entangling gates on arbitrary ion qubits, Nature 572, 363 (2019).
- N. Grzesiak, R. Blümel, K. Wright, K. M. Beck, N. C. Pisenti, M. Li, V. Chaplin, J. M. Amini, S. Debnath, J.-S. Chen, and Y. Nam, Efficient arbitrary simultaneously entangling gates on a trapped-ion quantum computer, Nat. Commun. 11, 2963 (2020).
- J. K. Pachos and M. B. Plenio, Three-spin interactions in optical lattices and criticality in cluster Hamiltonians, Phys. Rev. Lett. 93, 056402 (2004).
- H. P. Büchler, A. Micheli, and P. Zoller, Three-body interactions with cold polar molecules, Nat. Phys. 3, 726 (2007).
- X. Peng, J. Zhang, J. Du, and D. Suter, Quantum simulation of a system with competing two- and three-body interactions, Phys. Rev. Lett. 103, 140501 (2009).
- K. Zhang, H. Li, P. Zhang, J. Yuan, J. Chen, W. Ren, Z. Wang, C. Song, D.-W. Wang, H. Wang, S. Zhu, G. S. Agarwal, and M. O. Scully, Synthesizing five-body interaction in a superconducting quantum circuit, Phys. Rev. Lett. 128, 190502 (2022).
- H.-Y. Huang, Y. Tong, D. Fang, and Y. Su, Learning many-body Hamiltonians with Heisenberg-limited scaling, Phys. Rev. Lett. 130, 200403 (2023).
- M. Ma, S. T. Flammia, J. Preskill, and Y. Tong, Learning -body Hamiltonians via compressed sensing, ArXiv:2410.18928.
- H.-Y. Hu, M. Ma, W. Gong, Q. Ye, Y. Tong, S. T. Flammia, and S. F. Yelin, Ansatz-free Hamiltonian learning with Heisenberg-limited scaling, PRX Quantum 6, 040315 (2025).
- E. Bach and S. Huiberts, Optimal smoothed analysis of the simplex method, ArXiv:2504.04197.
- P. Baßler, M. Zipper, C. Cedzich, M. Heinrich, P. H. Huber, M. Johanning, and M. Kliesch, Synthesis of and compilation with time-optimal multi-qubit gates, Quantum 7, 984 (2023).
- P. Baßler, M. Heinrich, and M. Kliesch, Time-optimal multi-qubit gates: Complexity, efficient heuristic and gate-time bounds, Quantum 8, 1279 (2024).
- G. Bhole, T. Tsunoda, P. J. Leek, and J. A. Jones, Rescaling interactions for quantum control, Phys. Rev. Appl. 13, 034002 (2020).
- T. Tsunoda, G. Bhole, S. A. Jones, J. A. Jones, and P. J. Leek, Efficient Hamiltonian programming in qubit arrays with nearest-neighbor couplings, Phys. Rev. A 102, 032405 (2020).
- A. D. Leu, M. F. Gely, M. A. Weber, M. C. Smith, D. P. Nadlinger, and D. M. Lucas, Fast, high-fidelity addressed single-qubit gates using efficient composite pulse sequences, Phys. Rev. Lett. 131, 120601 (2023).
- S. P. Boyd and L. Vandenberghe, Convex Optimization (Cambridge University Press, Cambridge, United Kingdom, 2004).
- I. Bárány, A generalization of Carathéodory’s theorem, Discrete Math. 40, 141 (1982).
- D. A. Spielman and S.-H. Teng, Smoothed analysis of algorithms: Why the simplex algorithm usually takes polynomial time, J. ACM 51, 385 (2004).
- M. Bando, T. Ichikawa, Y. Kondo, and M. Nakahara, Concatenated composite pulses compensating simultaneous systematic errors, J. Phys. Soc. Jpn. 82, 014004 (2013).
- S. Kukita, H. Kiya, and Y. Kondo, Short composite quantum gate robust against two common systematic errors, J. Phys. Soc. Jpn. 91, 104001 (2022).
- A. Agrawal, R. Verschueren, S. Diamond, and S. Boyd, A rewriting system for convex optimization problems, J. Control Decis. 5, 42 (2018).
- S. Diamond and S. Boyd, cvxpy: A python-embedded modeling language for convex optimization, J. Mach. Learn. Res. 17, 1 (2016).
- MOSEK ApS, mosek Optimizer API for python 9.3.14 (2022), https://docs.mosek.com/latest/pythonapi/index.html.
- P. Baßler, Source code for “Efficient Hamiltonian engineering,” https://github.com/paba92/EffHamEng, 2024.
- F. Arute, et al., Quantum supremacy using a programmable superconducting processor, Nature 574, 505 (2019).
- L. Schmid, D. F. Locher, M. Rispler, S. Blatt, J. Zeiher, M. Müller, and R. Wille, Computational capabilities and compiler development for neutral atom quantum processors—connecting tool developers and hardware experts, Quantum Sci. Technol. 9, 033001 (2024).
- L. Henriet, L. Beguin, A. Signoles, T. Lahaye, A. Browaeys, G.-O. Reymond, and C. Jurczak, Quantum computing with neutral atoms, Quantum 4, 327 (2020).
- H. K. Cummins, G. Llewellyn, and J. A. Jones, Tackling systematic errors in quantum logic gates with composite rotations, Phys. Rev. A 67, 042308 (2003).
- C. Piltz, T. Sriarunothai, S. S. Ivanov, S. Wölk, and C. Wunderlich, Versatile microwave-driven trapped ion spin system for quantum information processing, Sci. Adv. 2, e1600093 (2016).
- J. Farkas, Theorie der einfachen Ungleichungen, J. Reine Angew. Math. 124, 1 (1902).
- E. Stiemke, Über positive Lösungen homogener linearer Gleichungen, Math. Ann. 76, 340 (1915).
- S. Hayakawa, T. Lyons, and H. Oberhauser, Estimating the probability that a given vector is in the convex hull of a random sample, Probab. Theory Relat. Fields 185, 705 (2023).
- J. G. Wendel, A problem in geometric probability, Math. Scand. 11, 109 (1962).
- U. Wagner and E. Welzl, A continuous analogue of the upper bound theorem, Discrete Comput. Geom. 26, 205 (2001).
- V. P. Canelles, M. G. Algaba, H. Heimonen, M. Papič, M. Ponce, J. Rönkkö, M. J. Thapa, I. de Vega, and A. Auer, Benchmarking digital-analog quantum computation, ArXiv:2307.07335.
- U. Haeberlen and J. S. Waugh, Coherent averaging effects in magnetic resonance, Phys. Rev. 175, 453 (1968).
- U. Haeberlen, High Resolution NMR in Solids (Academic Press, New York, San Francisco, London, 1976).
- W. Magnus, On the exponential solution of differential equations for a linear operator, Commun. Pure Appl. Math. 7, 649 (1954).
- B. T. Torosov and N. V. Vitanov, Composite pulses with errant phases, Phys. Rev. A 100, 023410 (2019).
- G. T. Genov, D. Schraft, T. Halfmann, and N. V. Vitanov, Correction of arbitrary field errors in population inversion of quantum systems by universal composite pulses, Phys. Rev. Lett. 113, 043001 (2014).
- G. T. Genov, M. Hain, N. V. Vitanov, and T. Halfmann, Universal composite pulses for efficient population inversion with an arbitrary excitation profile, Phys. Rev. A 101, 013827 (2020).
- H.-N. Wu, C. Zhang, J. Song, Y. Xia, and Z.-C. Shi, Composite pulses for optimal robust control in two-level systems, Phys. Rev. A 107, 023103 (2023).
- C. Kabytayev, T. J. Green, K. Khodjasteh, M. J. Biercuk, L. Viola, and K. R. Brown, Robustness of composite pulses to time-dependent control noise, Phys. Rev. A 90, 012316 (2014).
- B. T. Torosov, S. S. Ivanov, and N. V. Vitanov, Narrowband and passband composite pulses for variable rotations, Phys. Rev. A 102, 013105 (2020).
- P. García-Molina, A. Martin, M. Garcia de Andoin, and M. Salz, Mitigating noise in digital and digital–analog quantum computation, Commun. Phys. 7, 321 (2024).
- M. E. S. Morales, P. C. S. Costa, G. Pantaleoni, D. K. Burgarth, Y. R. Sanders, and D. W. Berry, Selection and improvement of product formulae for best performance of quantum simulation, Quantum Inf. Comput. 25, 1 (2025).
- H. F. Trotter, On the product of semi-groups of operators, Proc. Am. Math. Soc. 10, 545 (1959).
- M. Suzuki, General theory of fractal path integrals with applications to many-body theories and statistical physics, J. Math. Phys. 32, 400 (1991).
- A. M. Childs, Y. Su, M. C. Tran, N. Wiebe, and S. Zhu, Theory of Trotter error with commutator scaling, Phys. Rev. X 11, 011020 (2021).
- P. C. Moan and J. Niesen, Convergence of the Magnus series, Found. Comput. Math. 8, 291 (2008).
- A. Brinkmann, Introduction to average Hamiltonian theory. I. Basics, Concepts Magn. Reson. Part A 45A, e21414 (2016).
- K. Sharma and M. C. Tran, Hamiltonian simulation in the interaction picture using the Magnus expansion, ArXiv:2404.02966.
- N. B. Karahanoğlu, H. Erdoğan, and Ş. İ. Birbil, in 2013 IEEE International Conference on Acoustics, Speech and Signal Processing (IEEE, Piscataway, NJ, USA, 2013), p. 5870.
- A. Arnal, F. Casas, and C. Chiralt, A general formula for the Magnus expansion in terms of iterated integrals of right-nested commutators, J. Phys. Commun. 2, 035024 (2018).
