Ising Interaction Gate in Quantum Circuits

• The Ising interaction gate is a two-qubit operation defined by ZZ coupling that generates a conditional phase essential for controlled-phase and CNOT-like gates.
• It is implemented via direct Hamiltonian evolution in platforms such as NMR, magnetic dipole-dipole interactions, and fixed ZZ architectures, illustrating its versatility.
• Composite constructions using multiple Ising gates improve robustness and error compensation, enhancing gate fidelity in complex quantum computing circuits.

An Ising interaction gate is a two-qubit entangling operation generated by an interaction diagonal in the computational basis, typically proportional to $Z\otimes Z$ or $\sigma_z\otimes\sigma_z$. Representative forms are $U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4}Z\otimes Z}$ and, in NMR notation, $$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4)$$; these are locally equivalent to controlled-phase gates and supply the entangling core of CNOT-family constructions (Kanaar et al., 2023, Ichikawa et al., 2012). In the literature, however, the same phrase also covers exact encoded realizations of Ising dynamics from magnetic dipole-dipole coupling, Bell-basis gate primitives of anisotropic Heisenberg–Ising models, always-on $ZZ$ architectures, and even programmable pairwise couplings in classical Ising hardware, so the term is context-dependent (Yun et al., 2014, Delgado, 2014, Yun et al., 2023).

1. Canonical gate form and circuit-theoretic role

In the strict circuit-model sense, the Ising interaction gate is the unitary obtained by evolving for a prescribed time under a Hamiltonian whose nonlocal part is proportional to $Z\otimes Z$. The two most explicit notations in the cited literature are

$U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4} Z\otimes Z}$

and

$$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4).$$

The first appears as the entangling primitive in fixed-$ZZ$ array control, while the second is the elementary two-qubit gate in composite-pulse constructions with Ising-type interaction (Kanaar et al., 2023, Ichikawa et al., 2012).

The gate is valuable because its action is purely diagonal: it generates a conditional phase without transverse exchange. In the array-local language of fixed-coupling architectures, the $\pi/2$ $\sigma_z\otimes\sigma_z$0 rotation is “the usual Ising phase gate” and is locally equivalent to controlled-phase; together with $\sigma_z\otimes\sigma_z$1-gates and arbitrary-angle virtual-$\sigma_z\otimes\sigma_z$2 rotations it forms a universal set (Kanaar et al., 2023). In the NMR-oriented composite-gate setting, $\sigma_z\otimes\sigma_z$3 is the entangling kernel locally equivalent to the nonlocal core needed for CNOT (Ichikawa et al., 2012).

A recurring distinction in the literature is between a gate that is natively $\sigma_z\otimes\sigma_z$4-diagonal and a gate sequence that merely uses a non-Ising interaction to approximate a CNOT. That distinction is operationally important. One weak-coupling CNOT construction depends on the transverse coefficients

$\sigma_z\otimes\sigma_z$5

with entangling duration

$\sigma_z\otimes\sigma_z$6

Because pure Ising coupling implies $\sigma_z\otimes\sigma_z$7, that particular protocol becomes ill-suited in the Ising limit; the paper explicitly recommends a $\sigma_z\otimes\sigma_z$8-axis entangler instead of forcing an exchange-based sequence onto a $\sigma_z\otimes\sigma_z$9-native interaction (Ghosh et al., 2010).

2. Exact Ising gating from magnetic dipole-dipole interaction

A particularly sharp realization is the exact reduction of magnetic dipole-dipole coupling to an Ising interaction by encoding each qubit in two highest-magnetic-quantum-number states,

$U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4}Z\otimes Z}$0

with $U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4}Z\otimes Z}$1 and $U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4}Z\otimes Z}$2. For two dipoles placed on the quantization axis and with $U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4}Z\otimes Z}$3, the interaction is

$U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4}Z\otimes Z}$4

Because $U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4}Z\otimes Z}$5 annihilates every highest-$U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4}Z\otimes Z}$6 state, the exchange term vanishes exactly within the computational subspace, leaving

$U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4}Z\otimes Z}$7

The reduction is exact: there is no approximation, secular truncation, or perturbative averaging (Yun et al., 2014).

In the computational basis, the Hamiltonian is diagonal, with the conditional phase

$U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4}Z\otimes Z}$8

so a controlled-$U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4}Z\otimes Z}$9 gate is obtained by setting $$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4)$$0, giving

$$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4)$$1

This formulation isolates the genuinely entangling content as the diagonal two-qubit phase, while single-qubit $$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4)$$2-type shifts are removable by local operations (Yun et al., 2014).

The proposal was evaluated for three concrete platforms.

Platform	Encoding and spacing	Reported performance
Rotational states of $$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4)$$3	$$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4)$$4, $$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4)$$5; $$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4)$$6	$$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4)$$7
$$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4)$$8 hyperfine states	$$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4)$$9, $ZZ$0	$ZZ$1 at $ZZ$2; $ZZ$3 at $ZZ$4
NV centers in diamond	$ZZ$5, $ZZ$6; $ZZ$7	$ZZ$8, but lifetime $ZZ$9

Among these examples, the paper identifies $Z\otimes Z$0 hyperfine qubits as the most promising compromise, while emphasizing the importance of geometry, $Z\otimes Z$1 scaling, and the requirement that the two qubit states come from different $Z\otimes Z$2 or $Z\otimes Z$3 manifolds (Yun et al., 2014).

3. Composite, robust, and Ising-native gate constructions

When the native entangling resource is

$Z\otimes Z$4

systematic coupling-strength inaccuracy can be modeled as

$Z\otimes Z$5

with $Z\otimes Z$6. In this setting, the minimal nontrivial robust entangling composite gate requires exactly three elementary Ising gates. Two elementary Ising gates cannot realize a nontrivial robust entangler, and a robust SWAP-equivalent gate cannot be achieved with $Z\otimes Z$7; it requires $Z\otimes Z$8 elementary Ising gates (Ichikawa et al., 2012).

The $Z\otimes Z$9 construction is locally equivalent to an ideal Ising entangler $U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4} Z\otimes Z}$0, and choosing $U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4} Z\otimes Z}$1 yields $U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4} Z\otimes Z}$2, which is the robust CNOT-type entangling core. A notable structural result is that all minimal robust $U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4} Z\otimes Z}$3 solutions map to one-qubit composite pulses robust against pulse-length error; the simplest symmetric case corresponds to the SCROFULOUS family (Ichikawa et al., 2012).

This Ising-native viewpoint differs sharply from protocols whose entangling step depends on transverse interaction content. In the weakly coupled two-qubit CNOT analysis of “Controlled-NOT gate with weakly coupled qubits: Dependence of fidelity on the form of interaction” (Ghosh et al., 2010), the effective interaction is

$U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4} Z\otimes Z}$4

and the operational measure of “distance from Ising” is

$U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4} Z\otimes Z}$5

For Heisenberg and XY couplings, the reported intrinsic fidelities are very similar, with about $U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4} Z\otimes Z}$6 fidelity in less than $U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4} Z\otimes Z}$7 and about $U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4} Z\otimes Z}$8 in about $U_{ZZ}(\pi/2)=e^{-i\frac{\pi}{4} Z\otimes Z}$9. For Ising-like couplings with small $$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4).$$0, the same sequence is “not useful”; the paper explicitly argues that one should instead construct a $$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4).$$1-axis entangler, i.e. a more standard $$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4).$$2/controlled-phase style gate (Ghosh et al., 2010).

4. Bell-basis gate primitives in anisotropic Heisenberg–Ising dynamics

A separate line of work treats the native Ising or Heisenberg–Ising evolution itself as the gate, but in a nonlocal Bell basis rather than the computational basis. For the driven bipartite Heisenberg–Ising model

$$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4).$$3

the evolution operator takes a direct-sum form

$$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4).$$4

so the full $$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4).$$5 dynamics decomposes into two $$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4).$$6 sectors acting on Bell-state pairs (Delgado, 2016).

This sector structure is exploited in several ways. In “Universal quantum gates for Quantum Computation on magnetic systems ruled by Heisenberg-Ising interactions” (Delgado, 2016), a Bell-basis universal set is proposed, including Bell-basis phase gates, Hadamard-like gates, and controlled-NOT-like gates. The translator

$$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4).$$7

maps between Bell and computational bases. Phase and Hadamard-type Bell-basis gates are presented as direct natural evolutions, whereas the Bell-basis controlled-NOT-like gates are obtained asymptotically in a strong-field regime.

In “Generation of non-local evolution loops and exchange operations for quantum control in three dimensional anisotropic Ising model” (Delgado, 2014), the same block structure is used to program sectors into either diagonal forms $$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4).$$8, producing evolution loops, or antidiagonal forms $$S(\Theta)=\exp(-i\Theta\,\sigma_z\otimes\sigma_z/4).$$9 or $ZZ$0, producing Bell-state exchange operations. One pulse suffices for exact loops, while exchange operations are typically implemented with two pulses.

In “Factorization of unitary matrices induced by 3D anisotropic Ising interaction” (Delgado, 2014), arbitrary $ZZ$1 targets are factorized into embedded $ZZ$2 $ZZ$3-unitary factors compatible with the Bell-basis sector patterns of the anisotropic Ising propagators. One pulse is sufficient only in restricted cases; the generic construction uses two pulses per factor. This makes the “Ising interaction gate” a Hamiltonian-native Bell-sector operation from which broader two-qubit unitaries can be synthesized (Delgado, 2014).

5. Fixed-$ZZ$4 architectures, global control, and compiled Ising evolutions

In solid-state architectures with fixed nearest-neighbor $ZZ$5 coupling, the Ising interaction gate is not a special isolated pulse but an always-on resource. For a bipartite graph, driving only one sublattice causes the many-body Hamiltonian to split into commuting local pieces,

$ZZ$6

and each $ZZ$7 further decomposes into sectors labeled by neighboring $ZZ$8-eigenvalues. This commuting-$ZZ$9 structure permits robust synthesis of local $\pi/2$0-gates, echoed identity gates, and $\pi/2$1 $\pi/2$2-sum rotations. The paper explicitly states that “$\pi/2$3 $\pi/2$4 rotations, $\pi/2$5-gates, and arbitrary angle $\pi/2$6 rotations” form the universal set (Kanaar et al., 2023).

For two-, three-, and four-edge vertices, the reported $\pi/2$7-robust gate durations are $\pi/2$8, $\pi/2$9, and $\sigma_z\otimes\sigma_z$00, respectively. Reported noiseless infidelities are below $\sigma_z\otimes\sigma_z$01 for all gate types and all vertices, and under the assumed $\sigma_z\otimes\sigma_z$02 charge/flux noise model the estimated infidelities remain below $\sigma_z\otimes\sigma_z$03. In the leakage-robust transmon-style setting, optimized $\sigma_z\otimes\sigma_z$04-gates achieve infidelity below $\sigma_z\otimes\sigma_z$05, although an anharmonicity error of only $\sigma_z\otimes\sigma_z$06 raises the infidelity to around $\sigma_z\otimes\sigma_z$07 (Kanaar et al., 2023).

A more global formulation appears in the time-dependent transverse-field Ising model

$\sigma_z\otimes\sigma_z$08

Here the Ising term is the always-on conditional resource, while repeated global transverse-field pulses and waiting periods synthesize logical gates. In the blockade construction, the logical entangling operation is

$\sigma_z\otimes\sigma_z$09

which is equivalent up to local $\sigma_z\otimes\sigma_z$10 phases to a standard Ising-generated controlled-phase entangler. The resulting simulation of arbitrary quantum circuits has polynomial overhead, but the explicit overhead is very large and the paper identifies the result as rigorous rather than hardware-practical in its present form (Werner, 1 Jul 2026).

A compiled digital version of Ising interaction gating appears in the simulation of exchanging Ising chains on a digital quantum computer. There, the elementary nearest-neighbor interaction

$\sigma_z\otimes\sigma_z$11

is implemented by CNOT–$\sigma_z\otimes\sigma_z$12–CNOT blocks, while a three-spin coupler term is compiled from CNOT, Hadamard, and $\sigma_z\otimes\sigma_z$13 gates. The adiabatic protocol acts as a logical $\sigma_z\otimes\sigma_z$14 on the encoded ferromagnetic subspace. The reported optimum fidelity exceeds $\sigma_z\otimes\sigma_z$15 on systems of up to $\sigma_z\otimes\sigma_z$16 sites per Ising chain, but a single braiding-like operation with fidelity above $\sigma_z\otimes\sigma_z$17 requires circuit depth of order $\sigma_z\otimes\sigma_z$18 and individual gate errors below $\sigma_z\otimes\sigma_z$19, which the paper states is prohibited in current NISQ hardware (Elfeky et al., 2021).

6. Broader hardware meanings, microscopic criteria, and common misreadings

Outside the strict two-qubit unitary setting, “Ising interaction gate” can refer to a programmable edge interaction. In “Electrically programmable magnetic coupling in an Ising network exploiting solid-state ionic gating” (Yun et al., 2023), a $\sigma_z\otimes\sigma_z$20-wide gated magnetic bridge between two Ising-like perpendicular nanomagnets reversibly changes the sign of the effective coupling $\sigma_z\otimes\sigma_z$21. The microscopic control variable is the gate-region anisotropy $\sigma_z\otimes\sigma_z$22, tuned by solid-state ionic gating; the emergent computational parameter is the effective pairwise Ising interaction $\sigma_z\otimes\sigma_z$23. Experimentally, the inferred coupling switches from $\sigma_z\otimes\sigma_z$24 to $\sigma_z\otimes\sigma_z$25, the bias-field sign reverses, the sign switch is demonstrated over $\sigma_z\otimes\sigma_z$26 cycles, and the programmed state persists for $\sigma_z\otimes\sigma_z$27 hours. This is an interaction gate in the sense of a programmable graph edge, not a circuit-model unitary (Yun et al., 2023).

At the microscopic materials level, “Ising exchange interaction” is a specific limiting form of strongly anisotropic exchange after projection onto low-energy doublets. For lanthanides and actinides with unquenched orbital moments, the exact projected interaction is Ising only under restrictive conditions involving the doublet composition and the maximum tensor component supported by the exchange pathway. The paper derives two cases: a coaxial form

$\sigma_z\otimes\sigma_z$28

and a non-coaxial form in which one partner couples through a rotated axis. The key criterion is $\sigma_z\otimes\sigma_z$29 on enough sites; this narrows substantially the range of ions that can exhibit true Ising exchange (Chibotaru et al., 2015).

The term is also used in classical stochastic hardware. “Memristive Ising Circuits” (Dowling et al., 2022) realizes effective Ising-type interactions in periodically driven networks of stochastic binary memristors. The resulting steady-state statistics are described by

$\sigma_z\otimes\sigma_z$30

with both effective ferromagnetic and antiferromagnetic couplings obtainable by parameter choice. This is not a logic gate or a quantum entangling gate, but it is a reusable interaction primitive in an effective Ising sense.

Several papers explicitly show what the term does not mean. “Hybrid Gate-Based and Annealing Quantum Computing for Large-Size Ising Problems” (Liu et al., 2022) treats Ising Hamiltonians as optimization problems in a hybrid QAOA/VQE workflow and does not define a named gate such as $\sigma_z\otimes\sigma_z$31. “Gate-controlled anyon generation and detection in Kitaev spin liquids” (Halász, 2023) proposes electrostatic creation and interferometric detection of individual Ising anyons through gate-controlled electron number, but not an explicit logical gate between encoded anyonic qubits. These uses are related to Ising interactions or Ising anyons, but not to an Ising interaction gate in the narrow circuit-model sense.

Taken together, the literature supports a layered definition. In its narrowest and most standard meaning, the Ising interaction gate is the diagonal entangling unitary generated by $\sigma_z\otimes\sigma_z$32 evolution. In a broader Hamiltonian-native sense, it includes exact encoded gates derived from dipolar or anisotropic Ising dynamics, especially when those dynamics are most naturally expressed in Bell-space sectors. In hardware and materials contexts, the phrase can denote a programmable pairwise Ising coupling itself. The conceptual constant across these usages is the same: conditionality is carried by an interaction that is diagonal in an Ising basis, and the computational role of the “gate” is determined by how directly that interaction can be isolated, controlled, or encoded.