Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2610.10763

Engineering Quantum Interactions: From Effective Models to Validated Physical Predictions

Sinara S. Dourado, Ciro Micheletti Diniz, Gabriel P. L. M. Fernandes, Rogério J. de Assis, G. D. de Moraes Neto, Celso J. Villas-Boas

quant-phphysics.ed-phSubmitted Oct 7, 2026• Announced Oct 9, 2026• 0 citations
arXivHTMLPDF

Abstract

Effective models make complex quantum dynamics tractable by retaining only the states, processes, and timescales relevant to a given physical question. Their predictive power, however, depends on treating the retained manifold, initial state, observables, micromotion, dissipative channels, and eliminated degrees of freedom consistently. We develop a unified framework for constructing and validating effective descriptions using projection methods, Schrieffer--Wolff transformations, Magnus expansions, adiabatic elimination, small rotations, time coarse graining, and Floquet theory. The quantum Rabi model and its dispersive limits serve as recurring benchmarks for identifying control parameters, virtual processes, spectral corrections, observable dressing, and breakdown. Higher-order resonances and applications to collective light--matter coupling, Raman processes, spin-chain buses, lossy mediators, and driven lattices illustrate how effective interactions can be interpreted and designed. A physical prediction is organized into three order-consistent steps: encoding into the retained description, evolution under the effective dynamics, and reconstruction of the physical observable. This viewpoint exposes failures caused by leakage, small denominators, neglected micromotion, inconsistent observables, memory effects, or incorrectly transformed dissipation, while linking derivation, physical interpretation, and mechanism-guided discovery. Companion notebooks provide QuTiP implementations, convergence tests, and microscopic-to-effective comparisons.

Related papers

The Floquet-Magnus expansion of unbounded operators

Daniel Burgarth, Robin Hillier, Davide Lonigro +1 more

The Floquet-Magnus expansion is a widely used tool to derive effective descriptions of time-periodic quantum systems by approximating their dynamics with a time-independent Hamiltonian. However, its standard formulation is, strictly speaking, restricted to bounded Hamiltonians. In this work, we extend its definition and analysis to a broad class of time-periodic unbounded Hamiltonians. Our approach is based on an a priori distinct nonperturbative framework for the construction of effective Hamiltonians, which we show to reproduce the Floquet-Magnus expansion. A particular strength of our framework is that it allows us to prove that the resulting effective dynamics approximates the original time evolution propagators to arbitrary order in the high-frequency limit without requiring convergence of the Floquet-Magnus expansion, a condition that is already highly restrictive even in the bounded setting. We illustrate the scope of the method on representative models: the quantum Rabi Hamiltonian in the interaction picture, and the periodically driven quantum harmonic oscillator.

math-phCross-listedarXiv:2605.23734•May 25, 2026

Optimal Effective Hamiltonian for Quantum Computing and Simulation

Hao-Yu Guan, Xiao-Long Zhu, Yu-Hang Dang +1 more

The effective Hamiltonian serves as the conceptual pivot of quantum engineering, transforming physical complexity into programmable logic; yet, its construction remains compromised by the mathematical non-uniqueness of block diagonalization, which introduces an intrinsic "gauge freedom" that standard methods fail to resolve. We address this by establishing the Least Action Unitary Transformation (LAUT) as the fundamental principle for effective models. By minimizing geometric action, LAUT guarantees dynamical fidelity and inherently enforces the preservation of symmetries--properties frequently violated by conventional Schrieffer-Wolff and Givens rotation techniques. We identify the Bloch-Brandow formalism as the natural perturbative counterpart to this principle, yielding analytic expansions that preserve symmetries to high order. We validate this framework against experimental data from superconducting quantum processors, demonstrating that LAUT quantitatively reproduces interaction rates in driven entangling gates where standard approximations diverge. Furthermore, in tunable coupler architectures, we demonstrate that the LAUT approach captures essential non-rotating-wave contributions that standard models neglect; this inclusion is critical for quantitatively reproducing interaction rates and revealing physical multi-body interactions such as $XZX+YZY$, which are verified to be physical rather than gauge artifacts. By reconciling variational optimality with analytical tractability, this work provides a systematic, experimentally validated route for high-precision system learning and Hamiltonian engineering.

quant-pharXiv:2602.03618•Feb 4, 2026•0 citations

Modèles efficaces de systèmes quantiques ouverts bipartis

Angela Riva

This thesis develops model reduction methods for open quantum system dynamics, yielding efficient models for bipartite systems, with direct application to circuit QED and broader applicability beyond this platform. First, we consider dissipative dynamics characterized by timescale separation, which translates to a gap on the real axis of the spectrum of the Liouvillian generating it. This allows to compute the reduced evolution for a target subsystem by adiabatically eliminating fast-decaying degrees of freedom. A Sylvester equation integral representation yields closed forms for the reduced generators and explicit reconstruction maps to arbitrary order without a preliminary interaction-picture averaging step, providing a linear center manifold description that separates long-lived from fast-decaying modes by the real parts of the spectrum. The reduced dynamics takes place on the center manifold, that is, the spectral subspace associated with eigenvalues whose real parts are small (long-lived modes), while placing no restriction on imaginary parts, thus allowing for fast unitary dynamics on the target subsystem. We further demonstrate the equivalence of such a geometric approach to adiabatic elimination with the time-convolutionless master equation framework, by showing that the maps defining the reduced model satisfy the same invariance equation in both frameworks. The time-convolutionless formulation of adiabatic elimination extends to cases where the target system undergoes fast unitary dynamics and retains explicit time dependence in the reduced model, hence capturing initial transients that are neglected in time-independent geometric reductions. Second, we apply a unitary chain mapping of microscopic system–environment Hamiltonians to a nearest-neighbor form, enabling efficient time evolution exploiting tensor network time evolution algorithms based on the time dependent variational principle. Accuracy of the tensor network representation, and thus the size of the reduced model, is controlled by entanglement entropy growth, which we quantify numerically. While the methods are general and apply beyond the specific platform considered, we focus on dispersive readout in circuit QED (a qubit dipolarly coupled to a driven, lossy cavity). We quantify the dependence of the relaxation time $T_1$ of the qubit on intracavity photon number $\bar n$ (and thus on the drive amplitude) and on the spectral structure of the environment, and compute the emission spectrum directly from environmental observables. Simulations including a Purcell notch filter predict a decrease of $T_1$ with increasing drive power, a qualitatively different behavior with respect to Born–Markov–secular GKSL predictions but consistent with experimental trends, indicating that explicit filter modeling is required in this case. Together, the results specify when reduced Liouvillian models under a dissipative gap are reliable and when microscopic, non-perturbative simulations are required.

•Feb 2, 2026•0 citations

Engineering Higher-order Effective Hamiltonians

Jiahui Chen, David Cory

Advancing quantum technologies requires precise and robust coherent control of quantum systems. Robust higher-order Hamiltonian engineering is essential for high-precision control and for accessing effective dynamics absent at zeroth order. Here, we introduce a systematic methodology for achieving the precision, robustness, and complexity required for quantum control through the engineering of higher-order processes and effective Hamiltonians. We identify the minimal subspace of achievable effective Hamiltonian at each order and provide universal cost functions for achieving desired targets. Examples include robust sequences for decoupling, three-body interactions and detuning/interaction correlations.

quant-pharXiv:2603.11185•Mar 13, 2026•0 citations

Quantum Simulation of Three-Body Interactions in Weakly Driven Quantum Systems

Francesco Petiziol, Mahdi Sameti, Stefano Carretta +2 more

The realization of effective Hamiltonians featuring many-body interactions beyond pairwise coupling would enable the quantum simulation of central models underpinning topological physics and quantum computation. We overcome crucial limitations of perturbative Floquet engineering and discuss the highly accurate realization of a purely three-body Hamiltonian in superconducting circuits and molecular nanomagnets.

arXiv:2011.03399•Physical Review Letters•Jun 23, 2021•38 citations

Non-perturbative analytical diagonalization of Hamiltonians with application to ZZ-coupling suppression and enhancement.

Boxi Li, Tommaso Calarco, Felix Motzoi

Deriving effective Hamiltonian models plays an essential role in quantum theory, with particular emphasis in recent years on control and engineering problems. In this work, we present two symbolic methods for computing effective Hamiltonian models: the Non-perturbative Analytical Diagonalization (NPAD) and the Recursive Schrieffer-Wolff Transformation (RSWT). NPAD makes use of the Jacobi iteration and works without the assumptions of perturbation theory while retaining convergence, allowing to treat a very wide range of models. In the perturbation regime, it reduces to RSWT, which takes advantage of an in-built recursive structure where remarkably the number of terms increases only linearly with perturbation order, exponentially decreasing the number of terms compared to the ubiquitous Schrieffer-Wolff method. Both methods consist of elementary algebra and can be easily automated to obtain closed-form expressions. To demonstrate the application of the methods, we study the ZZ interaction of superconducting qubits systems in two different parameter regimes. In the near-resonant regime, the method produces an analytical expression for the effective ZZ interaction strength, with an improvement of at least one order of magnitude compared to neglecting the comparably further detuned state. In the dispersive regime, we calculate perturbative corrections up to the 8th order and accurately identify a regime where ZZ interaction is suppressed in a simple model with only resonator-mediated coupling.

•Dec 1, 2021•0 citations
Effective models make complex quantum dynamics tractable by retaining only the states, processes, and timescales relevant to a given physical question. Their predictive power, however, depends on treating the retained manifold, initial state, observables, micromotion, dissipative channels, and eliminated degrees of freedom consistently. We develop a unified framework for constructing and validating effective descriptions using projection methods, Schrieffer--Wolff transformations, Magnus expansions, adiabatic elimination, small rotations, time coarse graining, and Floquet theory. The quantum Rabi model and its dispersive limits serve as recurring benchmarks for identifying control parameters, virtual processes, spectral corrections, observable dressing, and breakdown. Higher-order resonances and applications to collective light--matter coupling, Raman processes, spin-chain buses, lossy mediators, and driven lattices illustrate how effective interactions can be interpreted and designed. A physical prediction is organized into three order-consistent steps: encoding into the retained description, evolution under the effective dynamics, and reconstruction of the physical observable. This viewpoint exposes failures caused by leakage, small denominators, neglected micromotion, inconsistent observables, memory effects, or incorrectly transformed dissipation, while linking derivation, physical interpretation, and mechanism-guided discovery. Companion notebooks provide QuTiP implementations, convergence tests, and microscopic-to-effective comparisons.
The Floquet-Magnus expansion is a widely used tool to derive effective descriptions of time-periodic quantum systems by approximating their dynamics with a time-independent Hamiltonian. However, its standard formulation is, strictly speaking, restricted to bounded Hamiltonians. In this work, we extend its definition and analysis to a broad class of time-periodic unbounded Hamiltonians. Our approach is based on an a priori distinct nonperturbative framework for the construction of effective Hamiltonians, which we show to reproduce the Floquet-Magnus expansion. A particular strength of our framework is that it allows us to prove that the resulting effective dynamics approximates the original time evolution propagators to arbitrary order in the high-frequency limit without requiring convergence of the Floquet-Magnus expansion, a condition that is already highly restrictive even in the bounded setting. We illustrate the scope of the method on representative models: the quantum Rabi Hamiltonian in the interaction picture, and the periodically driven quantum harmonic oscillator.
The effective Hamiltonian serves as the conceptual pivot of quantum engineering, transforming physical complexity into programmable logic; yet, its construction remains compromised by the mathematical non-uniqueness of block diagonalization, which introduces an intrinsic "gauge freedom" that standard methods fail to resolve. We address this by establishing the Least Action Unitary Transformation (LAUT) as the fundamental principle for effective models. By minimizing geometric action, LAUT guarantees dynamical fidelity and inherently enforces the preservation of symmetries--properties frequently violated by conventional Schrieffer-Wolff and Givens rotation techniques. We identify the Bloch-Brandow formalism as the natural perturbative counterpart to this principle, yielding analytic expansions that preserve symmetries to high order. We validate this framework against experimental data from superconducting quantum processors, demonstrating that LAUT quantitatively reproduces interaction rates in driven entangling gates where standard approximations diverge. Furthermore, in tunable coupler architectures, we demonstrate that the LAUT approach captures essential non-rotating-wave contributions that standard models neglect; this inclusion is critical for quantitatively reproducing interaction rates and revealing physical multi-body interactions such as XZX+YZYXZX+YZYXZX+YZY, which are verified to be physical rather than gauge artifacts. By reconciling variational optimality with analytical tractability, this work provides a systematic, experimentally validated route for high-precision system learning and Hamiltonian engineering.
This thesis develops model reduction methods for open quantum system dynamics, yielding efficient models for bipartite systems, with direct application to circuit QED and broader applicability beyond this platform. First, we consider dissipative dynamics characterized by timescale separation, which translates to a gap on the real axis of the spectrum of the Liouvillian generating it. This allows to compute the reduced evolution for a target subsystem by adiabatically eliminating fast-decaying degrees of freedom. A Sylvester equation integral representation yields closed forms for the reduced generators and explicit reconstruction maps to arbitrary order without a preliminary interaction-picture averaging step, providing a linear center manifold description that separates long-lived from fast-decaying modes by the real parts of the spectrum. The reduced dynamics takes place on the center manifold, that is, the spectral subspace associated with eigenvalues whose real parts are small (long-lived modes), while placing no restriction on imaginary parts, thus allowing for fast unitary dynamics on the target subsystem. We further demonstrate the equivalence of such a geometric approach to adiabatic elimination with the time-convolutionless master equation framework, by showing that the maps defining the reduced model satisfy the same invariance equation in both frameworks. The time-convolutionless formulation of adiabatic elimination extends to cases where the target system undergoes fast unitary dynamics and retains explicit time dependence in the reduced model, hence capturing initial transients that are neglected in time-independent geometric reductions. Second, we apply a unitary chain mapping of microscopic system–environment Hamiltonians to a nearest-neighbor form, enabling efficient time evolution exploiting tensor network time evolution algorithms based on the time dependent variational principle. Accuracy of the tensor network representation, and thus the size of the reduced model, is controlled by entanglement entropy growth, which we quantify numerically. While the methods are general and apply beyond the specific platform considered, we focus on dispersive readout in circuit QED (a qubit dipolarly coupled to a driven, lossy cavity). We quantify the dependence of the relaxation time T1T_1T1​ of the qubit on intracavity photon number nˉ\bar nnˉ (and thus on the drive amplitude) and on the spectral structure of the environment, and compute the emission spectrum directly from environmental observables. Simulations including a Purcell notch filter predict a decrease of T1T_1T1​ with increasing drive power, a qualitatively different behavior with respect to Born–Markov–secular GKSL predictions but consistent with experimental trends, indicating that explicit filter modeling is required in this case. Together, the results specify when reduced Liouvillian models under a dissipative gap are reliable and when microscopic, non-perturbative simulations are required.
Advancing quantum technologies requires precise and robust coherent control of quantum systems. Robust higher-order Hamiltonian engineering is essential for high-precision control and for accessing effective dynamics absent at zeroth order. Here, we introduce a systematic methodology for achieving the precision, robustness, and complexity required for quantum control through the engineering of higher-order processes and effective Hamiltonians. We identify the minimal subspace of achievable effective Hamiltonian at each order and provide universal cost functions for achieving desired targets. Examples include robust sequences for decoupling, three-body interactions and detuning/interaction correlations.
Deriving effective Hamiltonian models plays an essential role in quantum theory, with particular emphasis in recent years on control and engineering problems. In this work, we present two symbolic methods for computing effective Hamiltonian models: the Non-perturbative Analytical Diagonalization (NPAD) and the Recursive Schrieffer-Wolff Transformation (RSWT). NPAD makes use of the Jacobi iteration and works without the assumptions of perturbation theory while retaining convergence, allowing to treat a very wide range of models. In the perturbation regime, it reduces to RSWT, which takes advantage of an in-built recursive structure where remarkably the number of terms increases only linearly with perturbation order, exponentially decreasing the number of terms compared to the ubiquitous Schrieffer-Wolff method. Both methods consist of elementary algebra and can be easily automated to obtain closed-form expressions. To demonstrate the application of the methods, we study the ZZ interaction of superconducting qubits systems in two different parameter regimes. In the near-resonant regime, the method produces an analytical expression for the effective ZZ interaction strength, with an improvement of at least one order of magnitude compared to neglecting the comparably further detuned state. In the dispersive regime, we calculate perturbative corrections up to the 8th order and accurately identify a regime where ZZ interaction is suppressed in a simple model with only resonator-mediated coupling.