Sign in
← Atlas
Exact & formalGatesTwo-qubit gate

RZZ (ZZ interaction) gate

A parametrized two-qubit gate implementing evolution under the Ising ZZ coupling, the entangling primitive most directly native to superconducting and trapped-ion hardware built from always-on or tunable ZZ interactions.

ising interactiontwo qubitrotationhardware native

Atlas stars stay in the public catalog. Saving this entry to your workspace starts an unstarred private copy.

RZZ matters because ZZ coupling is often the physical interaction a device actually has: rather than compiling a target algorithm's entangling step down to CNOT, many Hamiltonian-simulation and QAOA compilers target RZZ directly since it matches the hardware's native two-body term.

Circuit & simulation
|00⟩, |11⟩ phase e^{-iθ/2}100%
|01⟩, |10⟩ phase e^{iθ/2}100%
What this takes and returns
Takes2 qubitsWhat joins here

Takes a 2-qubit register and states no assumption about what is on it. That is the whole condition: anything returning 2 qubits can feed it.

16 entries meet this end. Named below.

Returns2 qubitsWhat joins here

Returns a 2-qubit register a next stage can take. This is the end that joins.

11 entries meet this end. Named below.

A unitary. The same register goes in and comes out, and this entry states no assumption about what is on it — which is what lets anything of the same width feed it. See all 29 →

How it works

Definition

RZZ(θ)=eiθ(ZZ)/2=(eiθ/20000eiθ/20000eiθ/20000eiθ/2)\mathrm{RZZ}(\theta) = e^{-i\theta (Z\otimes Z)/2} = \begin{pmatrix} e^{-i\theta/2}&0&0&0\\0&e^{i\theta/2}&0&0\\0&0&e^{i\theta/2}&0\\0&0&0&e^{-i\theta/2} \end{pmatrix}

Since (ZZ)2=II(Z\otimes Z)^2 = I\otimes I, the exponential splits exactly as cos(θ/2)IIisin(θ/2)ZZ\cos(\theta/2)\,I\otimes I - i\sin(\theta/2)\,Z\otimes Z, and because ZZZ\otimes Z is diagonal with eigenvalues ±1\pm1, the result is diagonal.

Action on basis states

RZZ(θ)00=eiθ/200,RZZ(θ)01=eiθ/201,RZZ(θ)10=eiθ/210,RZZ(θ)11=eiθ/211\mathrm{RZZ}(\theta)|00\rangle = e^{-i\theta/2}|00\rangle, \quad \mathrm{RZZ}(\theta)|01\rangle = e^{i\theta/2}|01\rangle, \quad \mathrm{RZZ}(\theta)|10\rangle = e^{i\theta/2}|10\rangle, \quad \mathrm{RZZ}(\theta)|11\rangle = e^{-i\theta/2}|11\rangle

No population moves between basis states; only the relative phase between same-parity and opposite-parity computational states changes, which is exactly the interference resource used by QAOA cost-Hamiltonian layers.

Decomposition

RZZ(θ)=CX  (IRZ(θ))  CX\mathrm{RZZ}(\theta) = \mathrm{CX}\;(I\otimes R_Z(\theta))\;\mathrm{CX}

The first CNOT maps the target qubit onto the parity tct\oplus c; a single-qubit RZ(θ)R_Z(\theta) there attaches eiθsign(tc)/2e^{i\theta\,\mathrm{sign}(t\oplus c)/2}, and the second CNOT restores the target to tt while leaving the accumulated phase in place — direct basis-state tracking confirms this phase equals the RZZ(θ)\mathrm{RZZ}(\theta) diagonal entry exactly for all four (c,t)(c,t) inputs.

Key identities

  • RZZ(π/2)\mathrm{RZZ}(\pi/2) is Clifford: numerically, eiπ/4RZZ(π/2)=(SS)CZe^{i\pi/4}\mathrm{RZZ}(\pi/2) = (S\otimes S)\cdot\mathrm{CZ} (both sides equal diag(1,i,i,1)\mathrm{diag}(1,i,i,1)), so at this special angle RZZ\mathrm{RZZ} reduces to a product of Clifford gates; for generic θ\theta it is not Clifford.
  • RZZ(θ1)RZZ(θ2)=RZZ(θ1+θ2)\mathrm{RZZ}(\theta_1)\,\mathrm{RZZ}(\theta_2) = \mathrm{RZZ}(\theta_1+\theta_2): successive ZZ-interaction pulses on the same pair compose additively, matching real continuous-time evolution under a fixed coupling.
  • RXX(θ)=(HH)RZZ(θ)(HH)\mathrm{RXX}(\theta) = (H\otimes H)\,\mathrm{RZZ}(\theta)\,(H\otimes H): conjugating by Hadamards on both qubits rotates the interaction axis from ZZZ\otimes Z to XXX\otimes X.
  • RZZ(θ)\mathrm{RZZ}(\theta) is the two-qubit workhorse of Trotterized Hamiltonian simulation for Ising-type models and of the cost-Hamiltonian layer in QAOA for Max-Cut-style problems.
Implementation
Native
rzz-interaction.qasm
OPENQASM 3.0;
include "stdgates.inc";
qubit[2] q;
rzz(pi/2) q[0], q[1];
Quantum vs classical

Classical baseline

Use a classical state-vector or matrix simulation at the same width, precision, and measurement objective.

Quantum claim

The quantum record demonstrates a state or operator behavior; it does not make classical simulation or communication costs disappear.

How to compare

Compare fidelity, samples, gate depth, noise, memory, and the cost of preparing and reading the state.

Declared gaps

Nobody has reviewed this record for gaps yet.

Literature & references
Quantum Computation and Quantum Information: 10th Anniversary Edition2010 · Michael A. Nielsen and Isaac L. Chuang

Standard reference for gate matrices, the Clifford/non-Clifford distinction, and controlled-gate constructions used throughout this record.

doi.org/10.1017/cbo9780511976667
OpenQASM 3: A broader and deeper quantum assembly language2021 · Andrew W. Cross, Ali Javadi-Abhari, Thomas Alexander, Niel de Beaudrap, Lev S. Bishop, Steven Heidel, Colm A. Ryan, Prasahnt Sivarajah, John Smolin, Jay M. Gambetta, Blake R. Johnson

Defines the standard gate library (id, sdg, tdg, cy, crz, rxx, rzz, ccx, cx…) used natively by the code snippets on this record.

arxiv.org/abs/2104.14722