--- title: Transverse-Field Floquet Ising Model url: https://www.emergentmind.com/topics/transverse-field-floquet-ising-model type: topic --- # Transverse-Field Floquet Ising Model A transverse-field Floquet Ising model is a periodically driven Ising spin system in which an Ising interaction and a field transverse to its ordering axis enter in explicitly time-dependent, stroboscopic, or effectively Floquet-engineered form. In the minimal binary realization, one period is generated by alternating Ising and transverse-field evolution, while in platform-specific implementations the drive often serves as Hamiltonian engineering so that the small-step limit reproduces a static transverse-field Ising Hamiltonian rather than an intrinsically anomalous Floquet phase [2002.05986, 1910.13687]. The subject now spans exact free-fermion chains, fully connected ferromagnets, Rydberg-dressed atomic gases, superconducting-qubit simulators, quasiperiodic time crystals, nonunitary extensions, and defect-deformed or operator-Krylov reformulations [1804.10226, 1412.0202, 2306.07428, 2311.15116]. ## 1. Definition and scope The defining structure is an Ising interaction along one spin axis together with a transverse field along a noncommuting axis, but with the Hamiltonian periodic in time. In a direct kicked chain one commonly writes a one-period unitary such as \[ U=e^{-iH_{xx}\tau_1}e^{-iH_z\tau_0}, \] with \(H_{xx}=\sum_l \sigma_l^x\sigma_{l+1}^x\) and \(H_z=\sum_l \sigma_l^z\), so that the system is a genuinely driven transverse-field Ising chain rather than a static model viewed in a rotating frame [2002.05986]. A central taxonomic distinction concerns whether the periodicity is itself the source of new Floquet phases or whether it is primarily a control protocol used to approximate a static transverse-field Ising model. In the Rydberg-dressed cesium experiment, the Ising interaction and the transverse field are applied in alternating time steps, and the small-step limit yields an effective static long-range transverse-field Ising Hamiltonian; genuinely Floquet phenomena such as Floquet criticality, symmetry-protected phases, and time-crystalline behavior are identified there as future directions rather than present observations [1910.13687]. A closely related logic appears in superconducting-qubit proposals where a native \(XY\) interaction is reshaped by fast modulation into an effective transverse Ising Hamiltonian in the Floquet basis [1703.04827]. Not every stroboscopic transverse-field Ising construction is a periodically driven Floquet Ising model in the strict microscopic sense. A static long-range transverse-field Ising model in a large constant field can reproduce \(XY\) dynamics at selected stroboscopic times by a rotating-wave approximation, but that setting is best regarded as a Floquet-like effective description rather than a genuinely periodically driven Floquet Ising Hamiltonian [1711.04386]. This distinction is methodologically important because spectral topology, heating, and quasienergy structure depend on actual periodic driving. ## 2. Canonical Floquet constructions and effective Hamiltonians The main Floquet constructions differ in whether the drive alternates pre-existing Ising and field terms, modulates a native interaction into an effective Ising coupling, or engineers anisotropic transverse couplings whose tuned limit is Ising. | Setting | One-period construction | Outcome | |---|---|---| | Binary kicked chain | \(U=e^{-iH_{xx}\tau_1}e^{-iH_z\tau_0}\) [2002.05986] | Direct Floquet transverse-field Ising dynamics | | Rydberg-dressed cesium gas | alternating \(H_{ZZ}\) and \(H_X\) with \(H_{\mathrm{eff}}\propto \tau_R H_{ZZ}+\tau_X H_X\) [1910.13687] | Long-range ferromagnetic TFIM in stroboscopic form | | Periodically modulated transmons | strong even-sublattice \(x\)-drive with \(\mathcal J_0(2\lambda)=0\) [1703.04827] | Effective 1D TFIM in the Floquet basis | | Tunable-coupler transmons | simultaneous pairing and hopping sidebands, \(g^b=g^r\) [2410.10208] | Effective \(XX\) Ising chain with transverse \(Z\) field | In the Rydberg setting, the dressed Ising part is \[ H_{ZZ}=\sum_{i>j}J(r_{ij})\,s_i^z s_j^z, \] while the microwave transverse field is \[ H_X=-\sum_i h\,s_i^x. \] One Floquet cycle alternates these two pieces, and in the regime \(\chi\tau_R\ll1\) and \(h\tau_X\ll1\) the effective Hamiltonian becomes \[ H_{\mathrm{eff}}\propto \tau_R H_{ZZ}+\tau_X H_X. \] The corresponding dimensionless control parameter is \[ \Lambda=\frac{\chi\tau_R}{h\tau_X}, \] which organizes the mean-field bifurcation associated with the paramagnetic-to-ferromagnetic transition [1910.13687]. In superconducting transmons with native nearest-neighbor \(XY\) exchange, \[ \hat{\mathcal H}_0=J\sum_{j=1}^{N-1}(\sigma_j^x\sigma_{j+1}^x+\sigma_j^y\sigma_{j+1}^y), \] a fast modulation on the even sublattice can eliminate the time-averaged \(yy\) contribution. The explicit tuning condition is \[ \lambda=1.20241,\qquad \mathcal J_0(2\lambda)=0, \] and the resulting infinite-frequency Floquet Hamiltonian is \[ \hat{\mathcal H}_{\mathrm F}=J\sum_{j=1}^{N-1}\sigma_j^x\sigma_{j+1}^x+h^z\sum_{j=1}^{N}\sigma_j^z, \] namely a transverse-field Ising model with Ising axis \(x\) and transverse field \(z\) [1703.04827]. A later transmon implementation engineers not only number-conserving hopping, \[ \sigma_i^+\sigma_j^-+\sigma_i^-\sigma_j^+, \] but also pairing, \[ \sigma_i^+\sigma_j^++\sigma_i^-\sigma_j^-, \] by simultaneous red- and blue-sideband modulation of tunable couplers. The effective chain Hamiltonian is \[ \begin{aligned} H_{\mathrm{eff}}=\sum_{i=1}^N\frac{\Delta^b}{4}\sigma_i^z+\sum_{i=1}^{N-1}\Big( g_{i,i+1}^b e^{-i\phi_{i,i+1}^b}\sigma_i^+\sigma_{i+1}^+ +g_{i,i+1}^r e^{-i\phi_{i,i+1}^r}\sigma_i^+\sigma_{i+1}^-+\mathrm{h.c.}\Big), \end{aligned} \] and when \(g_{i,i+1}^b=g_{i,i+1}^r=J\) with aligned phases, it reduces to \[ H_{\text{Ising}}=\sum_{i=1}^{N-1}J\sigma_i^x\sigma_{i+1}^x+\sum_{i=1}^N B_z\sigma_i^z,\qquad B_z=\Delta^b/4, \] which is an effective Floquet transverse-field Ising chain [2410.10208]. ## 3. Integrable chains, quasienergies, and Floquet phase structure The integrable binary-driven chain is exactly solvable by Jordan–Wigner fermionization and Bogoliubov factorization. In momentum space, each \((q,-q)\) sector is governed by a quasienergy angle \(\gamma_q\) satisfying \[ \cos(\gamma_q)=\cos(t_0)\cos(t_1)-\cos(q)\sin(t_0)\sin\!\left(\frac{t_1}{2}\right), \] and the exact Heisenberg evolution of fermions is \[ c_q(n)=\Phi_q(n)^*c_q-\Psi_q(n)c_{-q}^\dagger. \] Within this integrable Floquet transverse Ising system, the long-time-averaged longitudinal-magnetization OTOC distinguishes four known regions of the Floquet phase diagram: \(0\)-paramagnetic, \(\pi\)-paramagnetic, \(0\)-ferromagnetic, and \(\pi\)-ferromagnetic; the longitudinal OTOC is nonzero in the ferromagnetic and \(\pi\)-ferromagnetic regions and vanishes in the paramagnetic and \(0\pi\)-paramagnetic regions [2002.05986]. An exact Floquet Hamiltonian is available for the periodically quenched \(XY\) chain and therefore, at anisotropy \(\gamma=1\), for the transverse-field Ising limit. In that framework the exact real-space Floquet Hamiltonian contains hopping and pairing amplitudes \(\mathcal A_\ell,\mathcal B_\ell\) whose decay is controlled by an unfolded quasienergy spectrum. The central result is an alternation between local and non-local Floquet regions produced by Floquet resonances. In the Ising limit the resonance lines reduce to \[ J+h_{av}=m\frac{\pi}{T},\qquad |J-h_{av}|=m\frac{\pi}{T}, \] and crossing them changes the exact Floquet Hamiltonian from effectively local to one with \(\ell^{-1}\) tails [1804.10226]. Spatial quasiperiodicity enriches the same free-fermion framework further. In a two-step driven Ising chain with quasiperiodically modulated couplings, \[ H(t)= \begin{cases} b\sum_j \sigma_j^z, & 0\le tj}J(\mathbf r_i-\mathbf r_j)\bigl(s_i^z+\tfrac12\bigr)\bigl(s_j^z+\tfrac12\bigr), \] whose Ising part is \[ H_{ZZ}=\sum_{i>j}J(r_{ij})\,s_i^z s_j^z. \] In the perturbative dressing regime, \[ J_0=\frac{\Omega^4}{|8\Delta^3|}, \] and for \(\Delta>0\) the interactions are ferromagnetic, \(J<0\). The experiment operates near a Förster resonance with defect \[ \Delta_F=2\pi\times 42~\mathrm{MHz}, \] giving a soft-core radius \(r_c\lesssim 5~\mu\mathrm m\). Ramsey spectroscopy yields a mean-field interaction strength \(\chi=2\pi\times 15(1)\,\mathrm{kHz}\), and the Floquet sequence uses, for example, \[ (\tau_R,\tau_X)=(10,1)\,\mu\mathrm s,\qquad h\tau_X=0.12(1)\ \text{to}\ 0.14(1). \] The observed dynamical hallmark is the mean-field bifurcation of fixed points: for \(\Lambda<1\) only \(\mathbf S=S\hat{\mathbf x}\) is stable, while for \(\Lambda>1\) two ferromagnetic fixed points appear at \[ \frac{\mathbf S}{S}=\left(\frac1\Lambda,0,\pm\sqrt{1-\frac1{\Lambda^2}}\right), \] with the effective critical condition shifted by contrast decay to \(\mathcal C\,\chi\tau_R=h\tau_X\) [1910.13687]. In superconducting hardware, a six-transmon chain with tunable couplers realizes the effective Hamiltonian \[ \begin{aligned} H_{\mathrm{eff}}=\sum_{i=1}^N\frac{\Delta^b}{4}\sigma_i^z+\sum_{i=1}^{N-1}\Big( g_{i,i+1}^b e^{-i\phi_{i,i+1}^b}\sigma_i^+\sigma_{i+1}^+ +g_{i,i+1}^r e^{-i\phi_{i,i+1}^r}\sigma_i^+\sigma_{i+1}^-+\mathrm{h.c.}\Big), \end{aligned} \] with red and blue sidebands calibrated through synthetic-space Aharonov–Bohm interference. For the two-qubit demonstration, \[ \omega_1/2\pi=4.336~\text{GHz},\qquad \omega_2/2\pi=3.907~\text{GHz}, \] so the red and blue sidebands are \[ \omega^r/2\pi=0.428~\text{GHz},\qquad \omega^b/2\pi=8.240~\text{GHz}. \] With \[ g_{i,i+1}^{b}=g_{i,i+1}^{r}=J=2\pi\times0.75~\text{MHz}, \qquad \phi_{i,i+1}^b=\phi_{i,i+1}^r=0, \] the chain reduces to \[ H_{\text{Ising}}=\sum_{i=1}^{N-1}J\sigma_i^x\sigma_{i+1}^x+\sum_{i=1}^NB_z\sigma_i^z,\qquad B_z=\Delta^b/4. \] The experiment studies a finite-size dynamical phase transition through the average-time correlation \[ \mathcal C_{zz}=\frac1T\int_0^T\sum_{i,j;i\neq j}\langle \sigma_i^z\sigma_j^z\rangle/N^2\,dt, \] with \(T=500\,\mathrm{ns}\), and through the Loschmidt echo \[ \mathcal L(t)=\left|\langle\psi(0)|e^{-iH_{\text{Ising}}t}|\psi(0)\rangle\right|^2 \] for \(|\psi(0)\rangle=|0\rangle^{\otimes N}\). For \(N\le6\), the crossover sharpens near \(B_z/J\approx1\) but remains finite-size rounded rather than singular [2410.10208]. ## 5. Nonequilibrium many-body phenomena beyond static emulation The fully connected periodically driven Ising ferromagnet provides a clean setting in which Floquet dynamics, thermalization, and classical chaos can be compared directly. The model \[ \hat H_p(t)= -\frac{NJ}{2}\hat m_z^p-N\Gamma(t)\hat m_x,\qquad \Gamma(t)=\Gamma_0+A\sin(\omega_0 t), \] reduces for \(p=2\) to a fully connected transverse-field Ising ferromagnet. When the corresponding \(N\to\infty\) classical dynamics is ergodic, the quasienergy statistics are Wigner–Dyson, Floquet states satisfy ETH, and local observables relax to the \(T=\infty\) value; when the classical dynamics is regular, quasienergy spacings are Poissonian and the long-time Floquet diagonal ensemble retains memory of the initial state [1412.0202]. Floquet perturbation theory can also produce constrained prethermal dynamics rather than heating. In a driven Ising chain with \[ H(t)=\Lambda(t)\left(-J_0\sum_{i=1}^{L_b}\sigma_i^z\sigma_{i+1}^z-h_0\sum_{i=1}^{L}\sigma_i^z\right)-g\sum_{i=1}^{L}\sigma_i^x, \] where \(\Lambda(t)\) flips sign halfway through the period, the first-order Floquet matrix elements acquire a sinc filter, \[ \bigl(H_F^{(1)}\bigr)_{nm}=(H_1)_{nm}\,\operatorname{sinc}\!\left(\frac{P_{nm}T}{4}\right)e^{-iP_{nm}T/4}. \] At \(h_0=2J_0\) and \(T=2\pi/J_0\), the surviving bulk dynamics is \[ H_F^{(1)}=-g\sum_{i=2}^{L-1}\pi_{i-1}\sigma_i^x\pi_{i+1}, \qquad \pi_i=\frac{\mathbb I-\sigma_i^z}{2}, \] namely a PXP-type constrained model; under periodic boundary conditions, the largest surviving fragment is exactly the PXP sector at leading order. At \(h_0=2nJ_0\) with \(n>1\), all first-order single-spin-flip channels are suppressed and \(H_F^{(1)}=0\), producing the regime termed Floquet freezing [2603.23493]. Periodic driving can also accelerate collective tunneling. In one and two dimensions, the driven ferromagnetic Ising model \[ H(t)= -J\sum_{\langle ij\rangle} Z_iZ_j-\kappa\sum_i X_i+\alpha\sin(\omega t)\sum_i Y_i \] shows three regimes as the drive strength increases: weak drive with exponentially decaying tunneling rates and robust magnetic order, an intermediate regime with polynomial decay of tunneling and vanishing magnetic order, and a strong-drive regime in which the tunneling rate becomes nearly size-independent while time-averaged magnetic order reappears. The static 1D splitting scales as \[ \Omega_0(N)\propto \frac{\kappa}{\sqrt N\left(\frac{\kappa}{J}\right)^{N-1}}, \] whereas in the weak-drive Floquet regime the finite-size fit is \[ \Omega_R(N)\propto N^{-c}e^{-\Upsilon N}. \] The strong-drive coexistence of rapid macroscopic tunneling and recovered order is explicitly identified as not captured by the average-Hamiltonian treatment alone [2311.17814]. A different use of periodic driving is to change the operator content of the effective Hamiltonian. For \[ H=\frac{J\cos(\Omega t)}{2}\sum_{mn} a_{mn}X_mX_n+g\sum_n Z_n, \] a rotating-frame transformation followed by the high-frequency approximation gives \[ H'=g\sum_n \mathcal J_0\!\left(\frac{2J}{\Omega}\sum_m a_{mn}X_m\right)Z_n. \] In a 1D nearest-neighbor chain this reduces to \[ H'=c_1\sum_{n=1}^N Z_n-c_3\Bigg(\sum_{n=2}^{N-1}X_{n-1}Z_nX_{n+1}+Z_1X_2+X_{N-1}Z_N\Bigg), \] with \[ c_1=\frac g2\left[1+\mathcal J_0\!\left(\frac{4J}{\Omega}\right)\right],\qquad c_3=\frac g2\left[1-\mathcal J_0\!\left(\frac{4J}{\Omega}\right)\right]. \] The resulting ordered phase is characterized by a nonlocal string order parameter rather than conventional magnetic order, and the transition occurs at \(\mathcal J_0(4J/\Omega)=0\) [1605.05738]. Transport control furnishes yet another Floquet-Ising use case. In a nearest-neighbor chain with \[ H(t)=\hbar g\sum_{j=1}^{L}\sigma_j^z+\hbar\sum_{j=1}^{L-1}J_j(t)\sigma_j^x\sigma_{j+1}^x, \] periodic modulation of a selected bond can suppress propagation across that location, giving an effective leading Floquet Hamiltonian consisting of two disconnected \(XY\) chains. For a locally modulated transverse field, \[ g_j(t)= \begin{cases} g+\varepsilon\cos(\nu t), & j=k,\\ g, & j\neq k, \end{cases} \] the two couplings adjacent to the driven site are renormalized to \[ \lambda_{\mathrm{eff}}=\lambda_0\mathcal J_0\!\left(\frac{2\varepsilon}{\nu}\right), \] so choosing \(\varepsilon=x_0\nu/2\) with \(x_0=2.4048\) makes \(\lambda_{\mathrm{eff}}=0\) and acts as a Floquet quantum switch [2501.07527]. ## 6. Diagnostics, extensions, and interpretive issues The Floquet transverse-field Ising model is diagnostically rich. Exact and numerical OTOCs distinguish ballistic operator spreading from phase sensitivity and from chaos or integrability. In the kicked quantum Ising Floquet system, transverse-magnetization and longitudinal-magnetization OTOCs exhibit a characteristic region, a dynamic region with power-law growth rather than clean exponential growth, and a near-saturation region where integrable and nonintegrable behavior separate clearly. The same work emphasizes that the kicked transverse-field Ising model has four Floquet phases and that the longitudinal-magnetization OTOC, not the transverse one, acts as the useful order parameter for ferromagnetic versus paramagnetic Floquet regions [2505.07550]. Allowing complex couplings yields a nonunitary Floquet TFIM, \[ U_F=e^{\,iJ\sum_j X_jX_{j+1}}e^{\,ih\sum_j Z_j},\qquad J=\alpha_J+i\beta_J,\quad h=\alpha_h+i\beta_h, \] with phases \((\varnothing)\), \((0)\), \((\pi)\), and \((0\pi)\) distinguished by real edge modes at quasienergy \(0\) and/or \(\pi\). The steady-state entanglement scaling is area law when there are no real quasiparticle modes, logarithmic when there are finitely many, and volume law when there is an extensive set. The volume-law critical lines at \(\beta_J=-\beta_h\) and \(\alpha_J=\alpha_h=\pi/4\) are tied to pseudo-Hermiticity [2306.07428]. The Floquet TFIM also appears as a universal canonical model for operator dynamics. The operator Krylov space of any Hermitian operator under any Floquet unitary can be mapped exactly to the Krylov space generated by the edge Majorana of a 1D inhomogeneous Floquet transverse-field Ising model with open boundaries. In that mapping, the Krylov angles play the role of local transverse fields and Ising couplings, and the four topological phases of the homogeneous Floquet TFIM provide the universal language for long-lived \(0\)- and \(\pi\)-type operator modes [2311.15116]. A complementary generalization inserts a Kramers–Wannier duality defect into a deformed Floquet TFIM; the undeformed defect Floquet unitary hosts an isolated defect zero mode, while a weak self-dual deformation causes its memory to decay, with finite-size plateaus interpreted as residual finite-size effects rather than asymptotic stability [2410.17317]. Two interpretive cautions recur across the literature. First, a periodically driven Ising-plus-transverse-field protocol need not realize an intrinsically nontrivial Floquet phase: in both the Rydberg-dressed cesium system and the modulated-transmon construction, the drive is used primarily to synthesize an effective static TFIM, not to demonstrate anomalous quasienergy topology or time-crystalline order [1910.13687, 1703.04827]. Second, exact free-fermion statements about quasienergy bands, edge modes, or OTOCs depend on integrability and specific drive protocols; once longitudinal fields, defect deformations, or non-Hermitian terms are added, the same terminology labels a wider class of near-integrable, nonintegrable, or nonunitary systems rather than a single solvable model [2306.07428, 2410.17317]. In aggregate, the transverse-field Floquet Ising model is less a single Hamiltonian than a structured family of periodically driven Ising problems. Its unifying content is the noncommuting interplay of Ising order, transverse spin rotation, and periodic time dependence; its technical diversity lies in whether that time dependence engineers an effective static TFIM, produces exact Floquet topological structure with \(0\) and \(\pi\) sectors, induces transport blocking or constrained dynamics, stabilizes nonunitary steady phases, or furnishes a universal representation of Floquet operator dynamics itself [2002.05986, 1804.10226, 2311.15116]. Source: https://www.emergentmind.com/topics/transverse-field-floquet-ising-model