Papers
Topics
Authors
Recent
Search
2000 character limit reached

Kicked Field Ising Model Overview

Updated 4 July 2026
  • The kicked field Ising model is a periodically driven spin system featuring alternating Ising interactions and magnetic-field kicks that define its Floquet dynamics.
  • It serves as a paradigmatic framework for exploring quantum chaos, duality, localization, and entanglement production through analytically tractable regimes.
  • The model's versatile structure enables efficient simulation on both quantum hardware and classical platforms, offering insights into spectral statistics, decoherence, and quantum battery protocols.

The kicked field Ising model denotes a family of periodically driven Ising spin systems in which Ising interactions and magnetic-field rotations are applied in separate stroboscopic layers. In its standard spin-12\tfrac12 one-dimensional form, the dynamics is generated by a time-dependent Hamiltonian H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau), so that the one-period Floquet operator factorizes into an interaction layer and a kick layer (Osipov et al., 11 Jun 2026). Closely related formulations appear as the kicked Ising chain, the transverse-field kicked Ising chain, the kicked transverse-field Ising model, and dual-unitary kicked chains; the common structure is a Floquet unitary built from noncommuting Ising and field terms (Akila et al., 2016). Across these formulations, the model functions as a paradigmatic setting for quantum chaos, duality, light-cone correlation dynamics, entanglement production, localization diagnostics, and hardware-level quantum simulation (Gupta et al., 18 Jun 2025).

1. Canonical formulations and model families

In the standard nearest-neighbor chain, the interaction and kick terms are

HI=Jn=1Nσnzσn+1z+hzn=1Nσnz,HK=hxn=1Nσnx,H_I = J \sum_{n=1}^N \sigma_n^z \sigma_{n+1}^z + h_z \sum_{n=1}^N \sigma_n^z,\qquad H_K = h_x \sum_{n=1}^N \sigma_n^x,

with periodic boundary conditions in the canonical ring geometry (Osipov et al., 11 Jun 2026). Other papers use the equivalent Floquet decomposition

UN=UI(J)UK(b,ϕ),U_N = U_I(J)U_K(b,\phi),

where

UI(J)=exp ⁣(iJi=1Nσizσi+1z),UK(b,ϕ)=exp ⁣(ii=1N[bxσix+bzσiz]),U_I(J)=\exp\!\left(-iJ\sum_{i=1}^N \sigma_i^z\sigma_{i+1}^z\right),\qquad U_K(b,\phi)=\exp\!\left(-i\sum_{i=1}^N[b^x\sigma_i^x+b^z\sigma_i^z]\right),

with bx=bsinϕb^x=b\sin\phi and bz=bcosϕb^z=b\cos\phi (Akila et al., 2016). The order convention varies across the literature: some works write U=UKUIU=U_KU_I, others U=UIUKU=U_IU_K, reflecting different stroboscopic conventions rather than a different physical content (Osipov et al., 11 Jun 2026, Gutkin et al., 2020).

The same Floquet architecture extends beyond the nearest-neighbor ring. Two-dimensional square-lattice and heavy-hex versions use commuting ZZZZ gates on graph edges followed by uniform or site-dependent H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)0-rotations (Pineda et al., 2014, Liao et al., 2023). Long-range dual-unitary chains replace the nearest-neighbor Ising term by a distance-H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)1 coupling together with local functions on the H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)2 intermediate sites (Osipov et al., 11 Jun 2026). Fully connected collective models provide an all-to-all generalization: the kicked H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)3-spin family has

H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)4

and reduces to the quantum kicked top at H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)5 (Muñoz-Arias et al., 2021).

Setting Representative Floquet structure Salient feature
1D nearest-neighbor chain H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)6 canonical KIC/KFIM (Akila et al., 2016)
Long-range dual-unitary chain H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)7 exact dual-unitarity for range H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)8 (Osipov et al., 11 Jun 2026)
Heavy-hex kicked TFIM H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)9 IBM-oriented 2D Floquet circuit (Liao et al., 2023)
Collective kicked HI=Jn=1Nσnzσn+1z+hzn=1Nσnz,HK=hxn=1Nσnx,H_I = J \sum_{n=1}^N \sigma_n^z \sigma_{n+1}^z + h_z \sum_{n=1}^N \sigma_n^z,\qquad H_K = h_x \sum_{n=1}^N \sigma_n^x,0-spin HI=Jn=1Nσnzσn+1z+hzn=1Nσnz,HK=hxn=1Nσnx,H_I = J \sum_{n=1}^N \sigma_n^z \sigma_{n+1}^z + h_z \sum_{n=1}^N \sigma_n^z,\qquad H_K = h_x \sum_{n=1}^N \sigma_n^x,1 all-to-all transverse Ising-like extension (Muñoz-Arias et al., 2021)

This variety of realizations explains why the term “kicked field Ising model” is used both narrowly for the one-dimensional ring and more broadly for a Floquet Ising class defined by alternating Ising evolution and field kicks.

2. Self-duality, particle–time duality, and dual-unitarity

A central structural feature of the kicked Ising chain is particle–time duality. For the homogeneous ring, the trace of the HI=Jn=1Nσnzσn+1z+hzn=1Nσnz,HK=hxn=1Nσnx,H_I = J \sum_{n=1}^N \sigma_n^z \sigma_{n+1}^z + h_z \sum_{n=1}^N \sigma_n^z,\qquad H_K = h_x \sum_{n=1}^N \sigma_n^x,2-step Floquet evolution on HI=Jn=1Nσnzσn+1z+hzn=1Nσnz,HK=hxn=1Nσnx,H_I = J \sum_{n=1}^N \sigma_n^z \sigma_{n+1}^z + h_z \sum_{n=1}^N \sigma_n^z,\qquad H_K = h_x \sum_{n=1}^N \sigma_n^x,3 spins can be rewritten as

HI=Jn=1Nσnzσn+1z+hzn=1Nσnz,HK=hxn=1Nσnx,H_I = J \sum_{n=1}^N \sigma_n^z \sigma_{n+1}^z + h_z \sum_{n=1}^N \sigma_n^z,\qquad H_K = h_x \sum_{n=1}^N \sigma_n^x,4

where HI=Jn=1Nσnzσn+1z+hzn=1Nσnz,HK=hxn=1Nσnx,H_I = J \sum_{n=1}^N \sigma_n^z \sigma_{n+1}^z + h_z \sum_{n=1}^N \sigma_n^z,\qquad H_K = h_x \sum_{n=1}^N \sigma_n^x,5 acts on HI=Jn=1Nσnzσn+1z+hzn=1Nσnz,HK=hxn=1Nσnx,H_I = J \sum_{n=1}^N \sigma_n^z \sigma_{n+1}^z + h_z \sum_{n=1}^N \sigma_n^z,\qquad H_K = h_x \sum_{n=1}^N \sigma_n^x,6 spins and is generically nonunitary (Akila et al., 2016). This identity converts a HI=Jn=1Nσnzσn+1z+hzn=1Nσnz,HK=hxn=1Nσnx,H_I = J \sum_{n=1}^N \sigma_n^z \sigma_{n+1}^z + h_z \sum_{n=1}^N \sigma_n^z,\qquad H_K = h_x \sum_{n=1}^N \sigma_n^x,7 trace problem into a HI=Jn=1Nσnzσn+1z+hzn=1Nσnz,HK=hxn=1Nσnx,H_I = J \sum_{n=1}^N \sigma_n^z \sigma_{n+1}^z + h_z \sum_{n=1}^N \sigma_n^z,\qquad H_K = h_x \sum_{n=1}^N \sigma_n^x,8 transfer problem, which is especially effective at fixed small HI=Jn=1Nσnzσn+1z+hzn=1Nσnz,HK=hxn=1Nσnx,H_I = J \sum_{n=1}^N \sigma_n^z \sigma_{n+1}^z + h_z \sum_{n=1}^N \sigma_n^z,\qquad H_K = h_x \sum_{n=1}^N \sigma_n^x,9 and large UN=UI(J)UK(b,ϕ),U_N = U_I(J)U_K(b,\phi),0 (Akila et al., 2016).

The minimal UN=UI(J)UK(b,ϕ),U_N = U_I(J)U_K(b,\phi),1 dual-unitary realization is the kicked Ising chain at the self-dual line

UN=UI(J)UK(b,ϕ),U_N = U_I(J)U_K(b,\phi),2

with arbitrary longitudinal field UN=UI(J)UK(b,ϕ),U_N = U_I(J)U_K(b,\phi),3 (Gutkin et al., 2020). At this point the model becomes dual-unitary: evolution is unitary both in time and in the dual spatial direction (Gutkin et al., 2020). In standard nearest-neighbor KIC this property is tied to exact space–time symmetry, but that symmetry is highly restrictive and permits only nearest-neighbor interactions (Osipov et al., 11 Jun 2026).

Long-range dual-unitary chains circumvent that restriction by building the kick and interaction layers from a pair of complex Hadamard matrices. In the formulation of (Osipov et al., 11 Jun 2026), one defines

UN=UI(J)UK(b,ϕ),U_N = U_I(J)U_K(b,\phi),4

with UN=UI(J)UK(b,ϕ),U_N = U_I(J)U_K(b,\phi),5 a tensor product of on-site Hadamard matrices and UN=UI(J)UK(b,ϕ),U_N = U_I(J)U_K(b,\phi),6 diagonal in the computational basis. For spin-UN=UI(J)UK(b,ϕ),U_N = U_I(J)U_K(b,\phi),7, the choice

UN=UI(J)UK(b,ϕ),U_N = U_I(J)U_K(b,\phi),8

reproduces UN=UI(J)UK(b,ϕ),U_N = U_I(J)U_K(b,\phi),9, and for arbitrary local functions UI(J)=exp ⁣(iJi=1Nσizσi+1z),UK(b,ϕ)=exp ⁣(ii=1N[bxσix+bzσiz]),U_I(J)=\exp\!\left(-iJ\sum_{i=1}^N \sigma_i^z\sigma_{i+1}^z\right),\qquad U_K(b,\phi)=\exp\!\left(-i\sum_{i=1}^N[b^x\sigma_i^x+b^z\sigma_i^z]\right),0 and arbitrary UI(J)=exp ⁣(iJi=1Nσizσi+1z),UK(b,ϕ)=exp ⁣(ii=1N[bxσix+bzσiz]),U_I(J)=\exp\!\left(-iJ\sum_{i=1}^N \sigma_i^z\sigma_{i+1}^z\right),\qquad U_K(b,\phi)=\exp\!\left(-i\sum_{i=1}^N[b^x\sigma_i^x+b^z\sigma_i^z]\right),1 the resulting Floquet unitary remains dual-unitary even for interaction range UI(J)=exp ⁣(iJi=1Nσizσi+1z),UK(b,ϕ)=exp ⁣(ii=1N[bxσix+bzσiz]),U_I(J)=\exp\!\left(-iJ\sum_{i=1}^N \sigma_i^z\sigma_{i+1}^z\right),\qquad U_K(b,\phi)=\exp\!\left(-i\sum_{i=1}^N[b^x\sigma_i^x+b^z\sigma_i^z]\right),2 (Osipov et al., 11 Jun 2026). The corresponding trace duality becomes

UI(J)=exp ⁣(iJi=1Nσizσi+1z),UK(b,ϕ)=exp ⁣(ii=1N[bxσix+bzσiz]),U_I(J)=\exp\!\left(-iJ\sum_{i=1}^N \sigma_i^z\sigma_{i+1}^z\right),\qquad U_K(b,\phi)=\exp\!\left(-i\sum_{i=1}^N[b^x\sigma_i^x+b^z\sigma_i^z]\right),3

or UI(J)=exp ⁣(iJi=1Nσizσi+1z),UK(b,ϕ)=exp ⁣(ii=1N[bxσix+bzσiz]),U_I(J)=\exp\!\left(-iJ\sum_{i=1}^N \sigma_i^z\sigma_{i+1}^z\right),\qquad U_K(b,\phi)=\exp\!\left(-i\sum_{i=1}^N[b^x\sigma_i^x+b^z\sigma_i^z]\right),4 in the homogeneous case (Osipov et al., 11 Jun 2026).

A recurring misconception is that exact space–time symmetry and dual-unitarity are synonymous. The long-range construction shows otherwise: for UI(J)=exp ⁣(iJi=1Nσizσi+1z),UK(b,ϕ)=exp ⁣(ii=1N[bxσix+bzσiz]),U_I(J)=\exp\!\left(-iJ\sum_{i=1}^N \sigma_i^z\sigma_{i+1}^z\right),\qquad U_K(b,\phi)=\exp\!\left(-i\sum_{i=1}^N[b^x\sigma_i^x+b^z\sigma_i^z]\right),5, exact space–time symmetry is lost, but dual-unitarity is retained through the Hadamard constraints (Osipov et al., 11 Jun 2026).

3. Local correlations, transfer matrices, and light-cone edges

The exact treatment of local correlations is one of the most distinctive analytical features of the kicked field Ising literature. In dual-unitary nearest-neighbor chains, strictly local traceless operators have vanishing two-point correlators for sufficiently long chains: UI(J)=exp ⁣(iJi=1Nσizσi+1z),UK(b,ϕ)=exp ⁣(ii=1N[bxσix+bzσiz]),U_I(J)=\exp\!\left(-iJ\sum_{i=1}^N \sigma_i^z\sigma_{i+1}^z\right),\qquad U_K(b,\phi)=\exp\!\left(-i\sum_{i=1}^N[b^x\sigma_i^x+b^z\sigma_i^z]\right),6 under UI(J)=exp ⁣(iJi=1Nσizσi+1z),UK(b,ϕ)=exp ⁣(ii=1N[bxσix+bzσiz]),U_I(J)=\exp\!\left(-iJ\sum_{i=1}^N \sigma_i^z\sigma_{i+1}^z\right),\qquad U_K(b,\phi)=\exp\!\left(-i\sum_{i=1}^N[b^x\sigma_i^x+b^z\sigma_i^z]\right),7 (Gutkin et al., 2020). Nontrivial signals survive for operators supported on adjacent pairs, and then only on the light-cone edge UI(J)=exp ⁣(iJi=1Nσizσi+1z),UK(b,ϕ)=exp ⁣(ii=1N[bxσix+bzσiz]),U_I(J)=\exp\!\left(-iJ\sum_{i=1}^N \sigma_i^z\sigma_{i+1}^z\right),\qquad U_K(b,\phi)=\exp\!\left(-i\sum_{i=1}^N[b^x\sigma_i^x+b^z\sigma_i^z]\right),8, where the correlator reduces to a finite-dimensional transfer-matrix expression,

UI(J)=exp ⁣(iJi=1Nσizσi+1z),UK(b,ϕ)=exp ⁣(ii=1N[bxσix+bzσiz]),U_I(J)=\exp\!\left(-iJ\sum_{i=1}^N \sigma_i^z\sigma_{i+1}^z\right),\qquad U_K(b,\phi)=\exp\!\left(-i\sum_{i=1}^N[b^x\sigma_i^x+b^z\sigma_i^z]\right),9

(Gutkin et al., 2020).

For the self-dual kicked Ising chain, the relevant transfer matrix has spectrum bx=bsinϕb^x=b\sin\phi0, leading to explicit edge correlators of the form

bx=bsinϕb^x=b\sin\phi1

for specific spin-component choices (Gutkin et al., 2020). This light-cone confinement is not limited to the exactly self-dual point. For the kicked Ising chain at bx=bsinϕb^x=b\sin\phi2 but arbitrary bx=bsinϕb^x=b\sin\phi3 and bx=bsinϕb^x=b\sin\phi4, exact edge correlators remain available beyond dual-unitarity: bx=bsinϕb^x=b\sin\phi5 on the edge bx=bsinϕb^x=b\sin\phi6, while near-edge strictly local correlators at bx=bsinϕb^x=b\sin\phi7 acquire an additional bx=bsinϕb^x=b\sin\phi8 factor (Gutkin et al., 2020). The analytical control survives because the light-cone edge still reduces to a small transfer matrix, even though correlations inside the cone need no longer vanish (Gutkin et al., 2020).

The long-range dual-unitary extension replaces the nearest-neighbor light cone by

bx=bsinϕb^x=b\sin\phi9

For interaction range bz=bcosϕb^z=b\cos\phi0, causality constrains correlations to bz=bcosϕb^z=b\cos\phi1, and dual-unitarity collapses traceless local two-point correlators to the cone edges bz=bcosϕb^z=b\cos\phi2 (Osipov et al., 11 Jun 2026). In the bz=bcosϕb^z=b\cos\phi3 construction, edge correlators take the form

bz=bcosϕb^z=b\cos\phi4

with bz=bcosϕb^z=b\cos\phi5 acting on a local bz=bcosϕb^z=b\cos\phi6 space (Osipov et al., 11 Jun 2026). For spin-bz=bcosϕb^z=b\cos\phi7, the subleading eigenvalues of bz=bcosϕb^z=b\cos\phi8 set the exponential decay: in the non-homogeneous case bz=bcosϕb^z=b\cos\phi9, U=UKUIU=U_KU_I0; in the homogeneous case U=UKUIU=U_KU_I1, U=UKUIU=U_KU_I2 (Osipov et al., 11 Jun 2026).

Interaction range Correlation front Exact edge structure
U=UKUIU=U_KU_I3 U=UKUIU=U_KU_I4 adjacent-pair correlators on light-cone edge (Gutkin et al., 2020)
generic U=UKUIU=U_KU_I5, U=UKUIU=U_KU_I6 edge U=UKUIU=U_KU_I7 exact beyond dual-unitarity (Gutkin et al., 2020)
U=UKUIU=U_KU_I8 dual-unitary U=UKUIU=U_KU_I9 edge-only propagation for traceless local operators (Osipov et al., 11 Jun 2026)

These results make the KFIM unusual among interacting Floquet systems: certain real-time correlation functions are not merely numerically accessible but analytically closed.

4. Spectral statistics, chaos, boundaries, and localization

The kicked Ising model is also a benchmark system for many-body spectral statistics. In chaotic regimes, the dual operator U=UIUKU=U_IU_K0 is generically nonunitary and its eigenvalues fill a region within the unit disk, whereas integrable limits display highly structured spectra, including collapse toward zero or concentric rings in the free-fermion transverse-field case (Akila et al., 2016). The dual formulation explains both the oscillatory density of states and anomalous short-time behavior of the spectral form factor through the largest-modulus eigenvalues of U=UIUKU=U_IU_K1 (Akila et al., 2016).

At the self-dual point, the spectral form factor admits exact thermodynamic-limit control. For periodic boundary conditions, the disorder-averaged second moment reproduces the linear ramp U=UIUKU=U_IU_K2, but higher moments do not belong to COE. Instead, the appropriate random-matrix description is a symmetric-space ensemble: U=UIUKU=U_IU_K3 for odd U=UIUKU=U_IU_K4 and U=UIUKU=U_IU_K5 for even U=UIUKU=U_IU_K6 (Flack et al., 2020). Equivalently, the trace behaves as a real Gaussian random variable at the self-dual point with periodic boundaries, not as a complex Gaussian (Gupta et al., 18 Jun 2025). With open boundaries, this changes: at the same self-dual point, the trace behaves as a complex Gaussian random variable, as expected from COE universality (Gupta et al., 18 Jun 2025). Boundary conditions therefore affect not only finite-size details but the universality class of global spectral observables.

Another important qualification comes from the two-dimensional kicked quantum Ising model on the square lattice. There, the level spacing distribution agrees with the Wigner surmise for almost all values of parameters except where the model is essentially noninteracting, even in regions where local observables are not ergodic or where the spectral density is non-flat (Pineda et al., 2014). This directly undermines the common identification of Wigner-Dyson level statistics with local ergodicity.

Localization diagnostics provide a complementary perspective. In the disordered one-dimensional kicked Ising chain with strong longitudinal disorder and U=UIUKU=U_IU_K7, the largest eigenvalue U=UIUKU=U_IU_K8 of the double dual operator distinguishes localized and ergodic behavior: U=UIUKU=U_IU_K9 with a gap indicates localization, while ZZZZ0 at large ZZZZ1 indicates ergodicity (Waltner et al., 2021). The same analysis identifies a critical ZZZZ2 and a Thouless time

ZZZZ3

for the spectral-form-factor diagnostic (Waltner et al., 2021). On heavy-hex hardware, a disordered Floquet kicked Ising model probed by late-time OTOCs yields an experimentally extracted many-body localization crossover at

ZZZZ4

on a 60-qubit device-compatible graph (Hayata et al., 2 Oct 2025).

5. Entanglement production, coherence control, and energy-storage protocols

At special kicking angles, the KFIM supports exact statements about multipartite entanglement. For the open-chain protocol with

ZZZZ5

the bipartite entropy between equal halves obeys

ZZZZ6

so one ebit is added per kick until saturation, followed by unraveling at the same rate (Mishra et al., 2014). For periodic chains,

ZZZZ7

corresponding to two ebits per kick until saturation (Mishra et al., 2014). These states are stabilizer or cluster-like states with extensive multipartite entanglement but vanishing pairwise concurrence in the periodic case (Mishra et al., 2014).

Time-dependent quench protocols reveal a different entanglement mechanism. In the kicked-field Ising chain with continuous longitudinal field and pulsed transverse field,

ZZZZ8

a quench from large transverse field to strong longitudinal field produces multipartite entanglement close to the random-state Page value away from resonance (Mishra et al., 2013). At the commensurate condition

ZZZZ9

the interaction gate becomes a phase times the identity for periodic chains, and entanglement generation freezes (Mishra et al., 2013).

KFIM-based tripartite environments have been used to study decoherence control. In the nested-environment construction

H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)00

increasing the near–far coupling H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)01 slows decoherence of the central system, increases purity at fixed time, and delays entanglement sudden death (González-Gutiérrez et al., 2015). For multiple H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)02–H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)03 links, the empirical rescaling

H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)04

collapses purity and concurrence trajectories across different connectivities (González-Gutiérrez et al., 2015).

A more recent application is the kicked-Ising quantum battery. In the self-dual operator regime

H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)05

the injected energy can be computed exactly, and for the H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)06 charger it simplifies to

H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)07

(Romero et al., 21 Nov 2025). The charging pattern depends sharply on boundary conditions and parity. Under periodic boundaries, even-H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)08 H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)09 chains reach H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)10 at half-integer multiples of H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)11, whereas odd-H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)12 chains remain at H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)13 except at integer multiples H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)14, where they return to the ground state (Romero et al., 21 Nov 2025). Under H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)15 with open boundaries, GHZ-like states

H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)16

appear at specified kick numbers (Romero et al., 21 Nov 2025). This suggests a direct link between charging, delocalization, and kick-induced operator spreading.

6. Quantum hardware realizations and classical simulation

The heavy-hex kicked transverse-field Ising model has become a standard hardware-oriented realization. On the 127-qubit heavy-hex layout, one Floquet step is

H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)17

with the H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)18 angle fixed at H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)19 and the field angle H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)20 varied (Liao et al., 2023). The same logical structure underlies tensor-network simulations on the IBM Eagle heavy-hex experiment (Tindall et al., 2023). On this geometry, sparse connectivity and relatively long loops generate “tree-like correlations,” which sharply improve the accuracy of graph-aligned tensor-network methods (Tindall et al., 2023).

Two classical approaches have been especially prominent. A belief-propagation-assisted tensor network on the heavy-hex graph simulated the 127-qubit experiment with high precision; in the H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)21 regime, average magnetization was computed to approximately H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)22 absolute error in less than H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)23 seconds on a laptop, and a weight-17 observable at H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)24 was within H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)25 of exact values at bond dimension H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)26 (Tindall et al., 2023). A Heisenberg-picture PEPO method exploited the low-rank and near-Clifford structure of the same circuit; for the “5+1” circuit, PEPO with H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)27 produced exact results in H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)28 seconds on a single CPU, and H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)29 already matched or exceeded the accuracy of CPT with H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)30 and Heisenberg MPO with H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)31 (Liao et al., 2023).

The same heavy-hex Floquet model has also been emulated on D-Wave Pegasus hardware by matching the ratio of transverse and Ising energy scales. The key mapping condition is

H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)32

with pause durations chosen from the corresponding H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)33- and H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)34-angle matching conditions (Pelofske et al., 2023). This annealer-based emulation reproduced magnetization dynamics for H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)35, and up to H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)36 time steps, and yielded reasonable agreement with heavy-hex single-site magnetization at H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)37 steps (Pelofske et al., 2023).

Hardware studies have also pushed disordered kicked Ising dynamics beyond verification by exact diagonalization. On 60 qubits of ibm_fez, a heavy-hex disordered Floquet circuit with

H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)38

was used to measure OTOCs under operator renormalization and zero-noise extrapolation, locating the MBL crossover at H(t)=HI+HKτZδ(tτ)H(t)=H_I+H_K\sum_{\tau\in\mathbb Z}\delta(t-\tau)39 (Hayata et al., 2 Oct 2025). This establishes the KFIM not only as a theoretical benchmark but as a practical testbed for error mitigation, causal-cone circuit optimization, and large-scale nonequilibrium quantum simulation (Hayata et al., 2 Oct 2025).

Taken together, these developments place the kicked field Ising model at the intersection of exactly solvable Floquet many-body theory and hardware-constrained quantum dynamics. Its importance derives not from a single canonical Hamiltonian, but from a stable algebraic architecture—Ising entanglers plus field kicks—that remains analytically tractable in special regimes, physically rich away from them, and directly implementable across digital and analog quantum platforms.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (18)

Topic to Video (Beta)

No one has generated a video about this topic yet.

Whiteboard

No one has generated a whiteboard explanation for this topic yet.

Follow Topic

Get notified by email when new papers are published related to Kicked Field Ising Model.