---
title: Local 2-Design Circuit Blocks
url: https://www.emergentmind.com/topics/local-2-design-circuit-blocks
type: topic
---

# Local 2-Design Circuit Blocks

A local 2-design circuit block is a fundamental component for generating ensembles of quantum circuits whose second moments replicate those of the full Haar (or Haar-symmetric) measure, but are constructed using locality-constrained, often symmetric, k-qudit gates. Such blocks are critical in randomized benchmarking, quantum chaos diagnostics, and simulating typical open quantum system dynamics. Formally, a unitary 2-design is a distribution over unitaries whose second moment operator replicates the second moment over the Haar ensemble, potentially restricted by symmetry. Local 2-design circuit blocks are circuit layers or sequences built from gates acting on small, spatially localized subsystems and, when iterated, suffice (either exactly or approximately) to generate global 2-design ensembles.

## 1. Definitions: Unitary and Diagonal-Unitary 2-Designs

A unitary 2-design is a distribution over $U \in U(d^n)$ such that, for all operators,
$$
M_{2, \nu} := \int U^{\otimes 2} \otimes (U^*)^{\otimes 2} d\nu(U)
$$
satisfies $\| M_{2,\nu} - M_{2, \text{Haar}} \|_\infty \leq \epsilon$ for some $\epsilon$, with equality for an exact design. In the diagonal-unity case, $U_\phi = \sum_n e^{i\phi_n} |n\rangle \langle n|$, where $(\phi_1,...,\phi_d)$ are i.i.d. and uniform in $[0,2\pi)$. The corresponding moment operator is:
$$
\mathcal{D}^{(2)}(\rho) = \int d^N \phi\, U_\phi^{\otimes 2} \rho (U_\phi^\dagger)^{\otimes 2}.
$$
A diagonal-unitary 2-design is achieved when the ensemble reproduces the Haar-diagonal second moment channel exactly ($\| \mathcal{D}^{(2)}_{\text{design}} - \mathcal{D}^{(2)} \|_\diamond = 0$), or up to $\epsilon$ in operator norm for an approximate 2-design [1206.4451].

## 2. Circuit Architectures for Local 2-Designs

Two primary architectures implement local 2-design circuit blocks: (i) parallel layers of two-qubit diagonal gates for diagonal-unitary 2-designs, and (ii) block-brickwork schemes for generic k-local, possibly symmetric, designs.

### Diagonal-Unitary Construction

- **Controlled-phase (CP) circuit:** For $N$ qubits, the exact diagonal-unitary 2-design uses a parallel layer of $N(N-1)/2$ gates, each acting on a distinct unordered qubit pair $(i,j)$:
  $$
  W^{CP}_{ij}(\alpha_{ij}, \beta_{ij}, \gamma_{ij}) = [\mathrm{diag}(1, e^{i\alpha_{ij}}) \otimes \mathrm{diag}(1, e^{i\beta_{ij}})] \cdot \mathrm{diag}(1,1,1,e^{i\gamma_{ij}})
  $$
  with $\alpha_{ij}, \beta_{ij} \in \{0, 2\pi/3, 4\pi/3\}$ and $\gamma_{ij} \in \{0,\pi\}$. All gates commute, allowing full parallelization [1206.4451].

- **CZ-randomized sequential circuit:** Using only controlled-Z gates with random $Z$-rotations as $W^{CZ}_{ij}(\alpha, \beta)$, an $\epsilon$-approximate 2-design is achieved after $T = O(N^2[N + \log(1/\epsilon)])$ random pairwise applications.

### Generic Symmetric Local Circuits

- **Symmetric k-local brickwork block:** For a group symmetry $G$ (e.g., $\mathbb{Z}_2$, U(1), SU(2)), $n$ qudits, and $k \geq 2$, each block consists of two layers:
  - *Layer 1:* Apply independent Haar random unitaries (symmetric under $G$) on all "odd" $k$-tuples.
  - *Layer 2:* Repeat on "even" $k$-tuples, shifted by one site.
  Iterating this block $D$ times achieves exponential convergence to the $G$-symmetric 2-design, with $D=O(\log(1/\epsilon))$ for $\epsilon$-approximation [2408.13472].

## 3. Criteria for 2-Design Formation: Integer-Optimization Characterization

In the presence of symmetries and locality constraints, the existence of a 2-design is governed by an integer-optimization criterion. Using irreducible sector multiplicities $m = (m_\lambda)_\lambda$ and character maps $f(A)$ applied to local symmetric operators, one defines a "mode-decoupling" bound [2408.13472]:

$$
t < \min_{x \in \mathcal{C}^\perp \cap \mathbb{Z}^\Lambda \setminus \{0\}} \langle m, x^+ \rangle,
$$

where $\mathcal{C}$ is the linear span of character images over all $k$-local symmetric operators and $x^+_\lambda = (|x_\lambda| + x_\lambda)/2$. The circuit forms an asymptotic $t$-design if and only if $t$ is below this threshold. For $k\geq2$, all physically relevant symmetries (Z$_2$, U(1), SU(2)) yield minimal $\langle m, x^+ \rangle \geq 3$ for $n \geq k+1$, thus guaranteeing 2-design formation.

## 4. Explicit Local 2-Design Block Constructions

### Diagonal-Unitary Blocks

**Exact CP phase-random circuit**: For $N$ qubits:

| Step                    | Action                                                                                                               | Parameters                         |
|-------------------------|----------------------------------------------------------------------------------------------------------------------|------------------------------------|
| For all $i<j$ (in $\mathcal{O}(N^2)$ parallel) | Draw $\alpha_{ij}, \beta_{ij} \in \{0, 2\pi/3, 4\pi/3\}$, $\gamma_{ij} \in \{0, \pi\}$. Apply $W^{CP}_{ij}(\alpha_{ij}, \beta_{ij}, \gamma_{ij})$ | $N(N-1)/2$ gates                   |

This achieves an exact diagonal-unitary 2-design, as confirmed by tracing Pauli basis coefficients and matching Haar moment formulas.

**Approximate CZ phase-random circuit**: Sequentially apply
- Draw $(i,j)$ uniformly from unordered pairs.
- Draw $\alpha_t, \beta_t \in \{0, 2\pi/3, 4\pi/3\}$ (or $[0,2\pi)$).
- Apply $W^{CZ}_{ij}(\alpha_t, \beta_t)$.

After $T = O(N^2[N+\log(1/\epsilon)])$ gates, the circuit achieves $\| \mathcal{D}_T^{(2)} - \mathcal{D}_\text{ideal}^{(2)} \|_\diamond \leq \epsilon$.

### Symmetric k-Local Brickwork Block

For arbitrary $k \geq 2$:

| Layer    | Set                     | Gate Ensemble                                 |
|----------|-------------------------|-----------------------------------------------|
| 1        | Odd $k$-tuples          | Haar-random from $\mathcal{U}_{\gamma,G}$     |
| 2        | Even $k$-tuples (shift) | Haar-random from $\mathcal{U}_{\gamma,G}$     |

$\mathcal{U}_{\gamma,G}$ consists of operators acting nontrivially on $\gamma$ and commuting with the symmetry $R_\gamma(g)$. For Z$_2$, each $k$-block samples independently in even and odd parity sectors; for U(1), one samples blocks within fixed Hamming weight subspaces; for SU(2), one samples by total spin sectors.

## 5. Scaling and Convergence Analysis

The convergence of local 2-design blocks is governed by spectral properties of the moment Markov operator. The key lemma establishes that if for all nonzero integer vectors $x$ orthogonal to all local character images, $\langle m, x^+ \rangle \geq 3$, then all undesired second-moment modes decay exponentially under block iteration. As a result, $D = O(\log(1/\epsilon))$ brickwork blocks suffice for $\epsilon$-approximation in operator norm on second moment space, for generic connected circuit patterns and $k \geq 2$. In the diagonal-unitary setting, parallel realization requires $N(N-1)/2$ two-qubit gates for the exact 2-design, while the approximate CZ circuit requires $O(N^2 [N + \log(1/\epsilon)])$ gates [1206.4451, 2408.13472].

## 6. Applications and Extensions

Local 2-design circuit blocks underpin randomized benchmarking, decoupling, state $t$-designs, and simulation of quantum thermalization processes. A direct application is the generation of an exact complex-projective 2-design of states: by choosing with probability $1/(2^N+1)$ a basis state $|n\rangle$, or otherwise applying a local diagonal-unitary 2-design to $|+\rangle^{\otimes N}$ and outputting $U|+\rangle^{\otimes N}$, exact Haar-randomness for state 2-designs is synthesized with only $O(N)$ random bits and $O(N^2)$ gates [1206.4451]. Symmetry-respecting blocks additionally enable the analysis and simulation of physical systems subject to conservation laws or collective quantum number constraints [2408.13472].

## 7. Representative Examples and Practical Recipes

**U(1)-symmetric 2-block for $n$ qubits, $k=2$**: Each block acts on two qubits and is block-diagonal by Hamming weight. The integer-optimization has minimal solution $t<2(n-1)$, so 2-designs are achieved for $n \geq 3$.

**SU(2)-symmetric 3-block for $n$ qubits, $k=3$**: Acting on three qubits, the solution $t<3(n-1)(n-3)/2$ demonstrates sufficiency for 2-designs for $n\geq4$.

These construction recipes are general: arranging $n$ qubits in a 1D chain, alternating $k$-local blocks in odd/even patterns, and iterating logarithmically many times, achieves certified 2-designs for all physically relevant on-site symmetries, provided $k\geq2$ and the block pattern is connected [2408.13472].

Source: https://www.emergentmind.com/topics/local-2-design-circuit-blocks