Nonperturbative Floquet-Magnus Framework

• The nonperturbative Floquet-Magnus framework is a layered approach that distinguishes exact Floquet structure from asymptotic expansions and finite-time dynamical control.
• It employs optimally truncated or resummed series to yield effective Hamiltonians with rigorous error bounds even when the full expansion diverges.
• Extensions of the framework address reducibility in quasi-periodic systems, dressed transformations, and nonperturbative control in both many-body and open system contexts.

Searching arXiv for the cited Floquet-Magnus and related framework papers to ground the article. The nonperturbative Floquet-Magnus framework denotes a family of constructions for periodically or quasi-periodically driven systems in which the central Floquet object—the monodromy operator, an effective time-independent generator, or an enlarged-space block-diagonal form—is treated as structurally exact, while the practical computation of that object is carried out by asymptotic, optimally truncated, or resummed expansions. In the periodic case, the strongest rigorous results show that truncated Floquet-Magnus Hamiltonians can control exact stroboscopic dynamics for exponentially long times even when the full series is not convergent (Kuwahara et al., 2015), and that the usual Floquet-Magnus truncations can be recovered together with explicit propagator error bounds that do not require convergence of the full series (Dey et al., 29 Apr 2025). In the quasi-periodic case, by contrast, the central issue is reducibility of $H(t)-i\partial_t$, not an automatic Floquet theorem, so the framework is exact in formulation only when reducibility holds (Verdeny et al., 2016).

1. Conceptual scope and meanings of “nonperturbative”

The literature uses the expression in more than one sense. One meaning is nonperturbative in formulation: if a driven problem admits an exact Floquet decomposition, block diagonalization in Sambe/Floquet space, or an exact enlarged-space monodromy operator, then the defining statement is not itself perturbative. Another meaning is nonperturbative in control: the effective Hamiltonian may be constructed from a divergent or asymptotic series, yet still approximate the exact dynamics over a rigorously controlled time window. A third meaning is nonperturbative in selected couplings or frequencies: a strong longitudinal drive, memory kernel, or static field may be resummed exactly before any residual high-frequency expansion is applied (Verdeny et al., 2016).

This distinction is essential because the same framework can be exact at one level and perturbative at another. Quasi-periodic Floquet theory is formulated through reducibility and extended-space block diagonalization, but its generalized Floquet-Magnus series is still a formal expansion in $|\boldsymbol{\omega}|^{-1}$ (Verdeny et al., 2016). Periodically driven many-body systems admit rigorous exponentially long prethermal control from an optimally truncated Floquet-Magnus Hamiltonian, even though the infinite Floquet-Magnus series is generically not convergent in the thermodynamic limit (Kuwahara et al., 2015). For bounded periodic Hamiltonians, an iterated integration-by-parts construction produces the same Floquet-Magnus truncations together with explicit norm bounds on $\|U(t)-e^{-iH_{\mathrm{eff},L}t}\|$, again without requiring convergence of the full series (Dey et al., 29 Apr 2025).

Layer	Representative object	Status
Structural Floquet statement	$U(t)=P(t)e^{-iH_F t}$ or $U_Q^\dagger(t)e^{-iH_Q t}$	Exact if theorem or reducibility applies
Asymptotic effective theory	Truncated Floquet-Magnus or van Vleck Hamiltonian	Perturbative in construction
Rigorous dynamical control	Error bounds or exponentially long validity windows	Nonperturbative in the approximation statement

A persistent misconception is that “nonperturbative Floquet-Magnus” must mean a universally convergent all-orders expansion. The literature does not support that equation. Instead, it supports a layered picture in which exact Floquet structure, asymptotic expansion, and finite-time control are logically distinct (Kuwahara et al., 2015).

2. Exact structural formulations beyond the standard one-frequency theorem

For periodic driving, the exact object is the one-period propagator $U(T)$, with $U(T)=e^{-iH_FT}$. In quasi-periodic driving,

$H(t)=\sum_n H_n e^{in\cdot\boldsymbol{\omega} t},$

with incommensurate $\boldsymbol{\omega}=(\omega_1,\dots,\omega_d)$, the analogous question is whether

$U(t)\stackrel{?}{=}U_Q^\dagger(t)e^{-iH_Q t},$

with $|\boldsymbol{\omega}|^{-1}$0 quasi-periodic with the same frequency vector. The relevant operator is

$|\boldsymbol{\omega}|^{-1}$1

or in extended space,

$|\boldsymbol{\omega}|^{-1}$2

The exact quasi-periodic Floquet statement is the reducibility condition

$|\boldsymbol{\omega}|^{-1}$3

which is the quasi-periodic analogue of ordinary Floquet block diagonalization. The crucial point is that, unlike the periodic case, reducibility is not automatic (Verdeny et al., 2016).

An analogous shift of viewpoint appears in open non-Markovian systems. For the driven spin-boson model, Magazzù, Denisov, and Hänggi recast a time-nonlocal generalized master equation into a periodic time-local system in an enlarged space by representing the memory kernel as a finite sum of exponentials and introducing auxiliary variables. The enlarged system obeys

$|\boldsymbol{\omega}|^{-1}$4

with $|\boldsymbol{\omega}|^{-1}$5 periodic, so ordinary Floquet theory applies to the monodromy operator

$|\boldsymbol{\omega}|^{-1}$6

The asymptotic Floquet state is then the invariant vector satisfying

$|\boldsymbol{\omega}|^{-1}$7

whose physical projection yields the asymptotic periodic state of the open system (Magazzù et al., 2018).

A different exact structural route appears for a static electric field in a lattice. When the field is commensurate with a reciprocal lattice vector, Bloch acceleration makes the Bloch Hamiltonian effectively periodic in time, with Bloch period

$|\boldsymbol{\omega}|^{-1}$8

The corresponding Floquet-Bloch Hamiltonian is

$|\boldsymbol{\omega}|^{-1}$9

which yields the Wannier-Stark ladder with interband couplings included to all orders (Beule et al., 2024). This suggests that the nonperturbative core of Floquet theory is often the existence of an exact periodic generator in an enlarged representation, even when the original formulation does not look like a standard ac-driven problem.

3. Rigorous asymptotic control in periodic many-body systems

The modern rigorous core of the periodic framework is the reinterpretation of the Floquet-Magnus series as an asymptotic expansion with optimal truncation, rather than as a convergent definition of the exact Floquet Hamiltonian. For a few-body lattice Hamiltonian

$\|U(t)-e^{-iH_{\mathrm{eff},L}t}\|$0

the Floquet-Magnus expansion is written as

$\|U(t)-e^{-iH_{\mathrm{eff},L}t}\|$1

For bounded local energy scale $\|U(t)-e^{-iH_{\mathrm{eff},L}t}\|$2, locality range $\|U(t)-e^{-iH_{\mathrm{eff},L}t}\|$3, and $\|U(t)-e^{-iH_{\mathrm{eff},L}t}\|$4, a central estimate is

$\|U(t)-e^{-iH_{\mathrm{eff},L}t}\|$5

The factorial growth makes the asymptotic character explicit. If

$\|U(t)-e^{-iH_{\mathrm{eff},L}t}\|$6

then

$\|U(t)-e^{-iH_{\mathrm{eff},L}t}\|$7

Hence the truncated Floquet Hamiltonian controls exact stroboscopic evolution up to exponentially long times $\|U(t)-e^{-iH_{\mathrm{eff},L}t}\|$8, with $\|U(t)-e^{-iH_{\mathrm{eff},L}t}\|$9 (Kuwahara et al., 2015).

The same paper derives local thermodynamic-limit bounds using Lieb-Robinson control. For a region $U(t)=P(t)e^{-iH_F t}$0,

$U(t)=P(t)e^{-iH_F t}$1

with

$U(t)=P(t)e^{-iH_F t}$2

This establishes exponentially long local prethermal dynamics even when global operator-norm estimates are spoiled by extensive driving (Kuwahara et al., 2015).

A complementary rigorous development derives effective Hamiltonians of arbitrary order by an exact iterated integration-by-parts identity. For bounded $U(t)=P(t)e^{-iH_F t}$3-periodic Hamiltonians, one constructs

$U(t)=P(t)e^{-iH_F t}$4

together with recursive integral actions $U(t)=P(t)e^{-iH_F t}$5, and proves that the resulting $U(t)=P(t)e^{-iH_F t}$6 coincides order by order with the usual Floquet-Magnus truncation while satisfying explicit propagator bounds. In particular,

$U(t)=P(t)e^{-iH_F t}$7

and at one period

$U(t)=P(t)e^{-iH_F t}$8

The construction is “nonperturbative” in the sense that these norm bounds do not depend on convergence of the full Floquet-Magnus series (Dey et al., 29 Apr 2025).

Taken together, these results define a precise sense in which a nonperturbative Floquet-Magnus framework exists for periodic local or bounded systems: not as an all-orders theorem of convergence, but as rigorous control of exact dynamics by optimally truncated or recursively constructed effective generators (Kuwahara et al., 2015).

4. Divergence, small divisors, and resonance proliferation

The main obstructions are now well separated. In quasi-periodic systems, the generalized Floquet-Magnus coefficients contain denominators such as

$U(t)=P(t)e^{-iH_F t}$9

so reducibility and perturbative control are governed by small divisors, strong nonresonance of the frequencies, and regularity assumptions. The generalized decomposition can be approximated with any desired accuracy for $U_Q^\dagger(t)e^{-iH_Q t}$0 sufficiently small, provided it exists, but convergence of the quasi-periodic Floquet-Magnus expansion “is in general not guaranteed and requires further investigations” (Verdeny et al., 2016).

In periodic one-body systems, divergence need not signal heating or ergodicity. For the driven anharmonic oscillator,

$U_Q^\dagger(t)e^{-iH_Q t}$1

a matrix-element definition of the Floquet-Magnus radius of convergence is proposed,

$U_Q^\dagger(t)e^{-iH_Q t}$2

with $U_Q^\dagger(t)e^{-iH_Q t}$3. Numerically one finds $U_Q^\dagger(t)e^{-iH_Q t}$4 for any $U_Q^\dagger(t)e^{-iH_Q t}$5, even though Floquet eigenstates are localized in energy space, the long-time averaged energy remains finite, and the quasienergy level statistics approach Poisson rather than Wigner-Dyson (Haga, 2019). This directly refutes the common identification of Floquet-Magnus divergence with infinite-temperature heating.

A different failure mechanism appears in periodically driven quasiperiodic lattices. Exact Floquet numerics reveal a robust localization plateau centered near the fine-tuned ratio

$U_Q^\dagger(t)e^{-iH_Q t}$6

while van Vleck perturbation theory captures only a nonresonant skeleton of the phenomenon. The odd orders vanish because of the harmonic algebra, the leading nontrivial correction is second order, and the effective Hamiltonian becomes long-ranged and quasiperiodically modulated. Optimal-order truncation is chosen by a ratio test such as

$U_Q^\dagger(t)e^{-iH_Q t}$7

Yet the exact localization is still identified as nonperturbative because higher-order virtual processes encounter dense resonances satisfying $U_Q^\dagger(t)e^{-iH_Q t}$8, causing resonant hybridization and eventual breakdown of the superasymptotic expansion (Pakrashi et al., 14 Jan 2026).

These results imply that the central nonperturbative issue is not merely whether the Floquet-Magnus series converges. It is whether the exact Floquet problem is controlled by reducibility, locality, or nonresonant sectors, and how dense resonances reorganize the spectrum when those controls fail.

5. Resummed, dressed, and embedded extensions beyond standard high-frequency Floquet-Magnus

Several recent constructions move beyond a direct $U_Q^\dagger(t)e^{-iH_Q t}$9 expansion while remaining connected to the Floquet-Magnus idea of eliminating oscillatory structure.

The Floquet Schrieffer-Wolff transform organizes the perturbation theory in the drive amplitude $U(T)$0, not in inverse frequency, and solves operator-valued Sylvester equations such as

$U(T)$1

It is therefore nonperturbative in $U(T)$2 but perturbative in $U(T)$3. In the high-frequency limit it reduces to the usual Floquet-Magnus or van Vleck result, while away from that limit it can remain useful for nonresonant driving frequencies that are not the dominant scale (Wang et al., 2024).

A related dressed-frame construction is developed for polar two-level systems with both longitudinal and transverse periodic couplings. Starting from

$U(T)$4

one performs the exact longitudinal dressing

$U(T)$5

followed by a rotating-frame transformation, and only then applies a first-order van Vleck expansion. The resulting effective transverse coupling

$U(T)$6

is nonperturbative in $U(T)$7, while the residual perturbative parameter is $U(T)$8 (Novičenko et al., 17 Jun 2026).

Low-frequency control theory reaches a similar conclusion. In leakage-elimination-operator pulse design, the older Feshbach-$U(T)$9 control conditions are shown to be exactly the zeroth-order Magnus conditions

$U(T)=e^{-iH_FT}$0

and higher Magnus orders must be kept in the low-frequency regime. The generalized decoupling condition is formulated as the vanishing of off-diagonal matrix elements of

$U(T)=e^{-iH_FT}$1

order by order in the Magnus-expanded effective Hamiltonian (Yu et al., 29 Jun 2026).

The classical and nonlinear literature extends the framework in still different directions. Periodically driven classical equations, including nonlinear and stochastic ones, can be lifted to a time-periodic master equation and then treated by a Floquet-Magnus expansion of the Fokker-Planck generator (Higashikawa et al., 2018). Continuous changes of variables generated by a nonlinear vector field $U(T)=e^{-iH_FT}$2 yield generalized Magnus and Floquet-Magnus expansions for nonlinear differential equations, with autonomous $U(T)=e^{-iH_FT}$3 replacing the usual linear Floquet Hamiltonian (Casas et al., 2019). A more heuristic alternative replaces the linear Floquet ansatz by a multiharmonic nonlinear extended Floquet solution,

$U(T)=e^{-iH_FT}$4

and solves a nonlinear algebraic harmonic-balance problem to engineer effective potentials beyond weak-drive and high-frequency assumptions (Taniguchi et al., 24 Feb 2025). This suggests that “nonperturbative Floquet-Magnus framework” is better understood as a spectrum of related constructions than as a single universal algorithm.

6. Representative physical regimes and neighboring nonperturbative Floquet formalisms

The framework is most mature in periodically driven effective-Hamiltonian problems, but neighboring nonperturbative Floquet response theories clarify the regimes where inverse-frequency methods are insufficient.

In resonantly driven graphene, one can first remove diagonal modulation exactly by a $U(T)=e^{-iH_FT}$5-rotation, resum the resulting coupling into Bessel harmonics, and then keep the zeroth-order Floquet-Magnus term at resonance $U(T)=e^{-iH_FT}$6. The effective two-level Hamiltonian depends on interference between $U(T)=e^{-iH_FT}$7 and $U(T)=e^{-iH_FT}$8, yielding an effective Rabi frequency

$U(T)=e^{-iH_FT}$9

In the weak-field regime, the zeroth-order Magnus approximation achieves

$H(t)=\sum_n H_n e^{in\cdot\boldsymbol{\omega} t},$0

over the compared driving windows (Ibarra-Sierra et al., 1 May 2026).

In strong-field optical response, the dominant physics may be intrinsically resonant rather than high-frequency. A nonperturbative Floquet-Keldysh theory of second-harmonic generation predicts two saturation crossovers,

$H(t)=\sum_n H_n e^{in\cdot\boldsymbol{\omega} t},$1

governed by one-photon and two-photon resonant Floquet sectors rather than by a Magnus-type effective static Hamiltonian (Kitayama et al., 7 Apr 2026). Similarly, in a driven Weyl semimetal the transition of the circular photogalvanic response from $H(t)=\sum_n H_n e^{in\cdot\boldsymbol{\omega} t},$2 to $H(t)=\sum_n H_n e^{in\cdot\boldsymbol{\omega} t},$3, together with the Hall response

$H(t)=\sum_n H_n e^{in\cdot\boldsymbol{\omega} t},$4

is interpreted through full photon-dressed Floquet-Bloch states, Weyl-node motion, and hybridization gaps rather than through a low-order Floquet-Magnus expansion (Day et al., 2024).

These neighboring formalisms do not themselves provide a Floquet-Magnus theorem. They instead identify the regime boundary: off-resonant or optimally truncated effective Hamiltonians organize slow dynamics, whereas strong resonant hybridization, dissipative steady states, or transport extraction often require exact Floquet-space or Floquet-Keldysh treatments.

7. Misconceptions, limitations, and open problems

Three misconceptions are repeatedly corrected in the literature. First, convergence of the Floquet-Magnus series is not equivalent to the existence of meaningful Floquet dynamics; exact Floquet structure can persist even when the series diverges (Haga, 2019). Second, divergence is not equivalent to heating or ergodicity; bounded energy growth and localized Floquet states can coexist with zero radius of convergence (Haga, 2019). Third, higher-order truncations do not automatically improve all aspects of the dynamics: in the semiclassical quantum Rabi model, the rotating-wave approximation can outperform the Bloch-Siegert Hamiltonian for continuous-time propagator accuracy, while the third-order approximation ultimately outperforms both (Dey et al., 29 Apr 2025).

The principal limitations are also consistent across the literature. Quasi-periodic theory has no general reducibility theorem, and small divisors remain intrinsic (Verdeny et al., 2016). Rigorous many-body results are high-frequency and locality-based, not all-regime statements (Kuwahara et al., 2015). Bounded-Hamiltonian error-bound constructions do not yet cover generic unbounded generators (Dey et al., 29 Apr 2025). Frequency-nonperturbative extensions such as the Floquet Schrieffer-Wolff transform still rely on nonresonance and perturbativity in other parameters (Wang et al., 2024). Dressed-frame van Vleck theories can be nonperturbative in one coupling and perturbative in another (Novičenko et al., 17 Jun 2026). Nonlinear and classical generalizations remain formal or asymptotic in most settings rather than theorem-level exact (Casas et al., 2019).

The most plausible synthesis is therefore qualified rather than absolute. A nonperturbative Floquet-Magnus framework exists as a program with several validated components: exact Floquet or reducibility formulations, rigorous finite-time control of truncated effective Hamiltonians, resummed and dressed expansions for selected strong couplings, and optimal-order asymptotics that remain meaningful beyond convergence. A universally valid all-frequency, all-amplitude, all-spectrum nonperturbative Floquet-Magnus theorem does not emerge from the current literature. The open problem is precisely the unification of these pieces: reducibility in quasi-periodic systems, resonance-aware effective theories, rigorous control for unbounded or open generators, and systematic bridges between exact Floquet-space methods and asymptotic effective Hamiltonians (Verdeny et al., 2016).