Local 2-Design Circuit Blocks

• Local 2-design circuit blocks are ensembles that mimic the Haar second moment by using localized, symmetric k-qudit gates to generate quantum circuit ensembles.
• They employ architectures such as parallel layers of two-qubit diagonal gates and symmetric brickwork blocks to achieve exact or approximate unitary 2-designs with efficient gate counts.
• These circuit blocks are crucial for applications like randomized benchmarking, quantum chaos diagnostics, and simulating open quantum dynamics under conservation laws.

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 (Nakata et al., 2012).

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 $$M_{2, \nu} := \int U^{\otimes 2} \otimes (U^*)^{\otimes 2} d\nu(U)$$0 qubits, the exact diagonal-unitary 2-design uses a parallel layer of $$M_{2, \nu} := \int U^{\otimes 2} \otimes (U^*)^{\otimes 2} d\nu(U)$$1 gates, each acting on a distinct unordered qubit pair $$M_{2, \nu} := \int U^{\otimes 2} \otimes (U^*)^{\otimes 2} d\nu(U)$$2:

$$M_{2, \nu} := \int U^{\otimes 2} \otimes (U^*)^{\otimes 2} d\nu(U)$$3

with $$M_{2, \nu} := \int U^{\otimes 2} \otimes (U^*)^{\otimes 2} d\nu(U)$$4 and $$M_{2, \nu} := \int U^{\otimes 2} \otimes (U^*)^{\otimes 2} d\nu(U)$$5. All gates commute, allowing full parallelization (Nakata et al., 2012).

• CZ-randomized sequential circuit: Using only controlled-Z gates with random $$M_{2, \nu} := \int U^{\otimes 2} \otimes (U^*)^{\otimes 2} d\nu(U)$$6-rotations as $$M_{2, \nu} := \int U^{\otimes 2} \otimes (U^*)^{\otimes 2} d\nu(U)$$7, an $$M_{2, \nu} := \int U^{\otimes 2} \otimes (U^*)^{\otimes 2} d\nu(U)$$8-approximate 2-design is achieved after $$M_{2, \nu} := \int U^{\otimes 2} \otimes (U^*)^{\otimes 2} d\nu(U)$$9 random pairwise applications.

Generic Symmetric Local Circuits

• Symmetric k-local brickwork block: For a group symmetry $$\| M_{2,\nu} - M_{2, \text{Haar}} \|_\infty \leq \epsilon$$0 (e.g., $$\| M_{2,\nu} - M_{2, \text{Haar}} \|_\infty \leq \epsilon$$1, U(1), SU(2)), $$\| M_{2,\nu} - M_{2, \text{Haar}} \|_\infty \leq \epsilon$$2 qudits, and $$\| M_{2,\nu} - M_{2, \text{Haar}} \|_\infty \leq \epsilon$$3, each block consists of two layers:
  • Layer 1: Apply independent Haar random unitaries (symmetric under $$\| M_{2,\nu} - M_{2, \text{Haar}} \|_\infty \leq \epsilon$$4) on all "odd" $$\| M_{2,\nu} - M_{2, \text{Haar}} \|_\infty \leq \epsilon$$5-tuples.
  • Layer 2: Repeat on "even" $$\| M_{2,\nu} - M_{2, \text{Haar}} \|_\infty \leq \epsilon$$6-tuples, shifted by one site.
  • Iterating this block $$\| M_{2,\nu} - M_{2, \text{Haar}} \|_\infty \leq \epsilon$$7 times achieves exponential convergence to the $$\| M_{2,\nu} - M_{2, \text{Haar}} \|_\infty \leq \epsilon$$8-symmetric 2-design, with $$\| M_{2,\nu} - M_{2, \text{Haar}} \|_\infty \leq \epsilon$$9 for $\epsilon$0-approximation (Mitsuhashi et al., 2024).

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 $\epsilon$1 and character maps $\epsilon$2 applied to local symmetric operators, one defines a "mode-decoupling" bound (Mitsuhashi et al., 2024):

$\epsilon$3

where $\epsilon$4 is the linear span of character images over all $\epsilon$5-local symmetric operators and $\epsilon$6. The circuit forms an asymptotic $\epsilon$7-design if and only if $\epsilon$8 is below this threshold. For $\epsilon$9, all physically relevant symmetries (Z$U_\phi = \sum_n e^{i\phi_n} |n\rangle \langle n|$0, U(1), SU(2)) yield minimal $U_\phi = \sum_n e^{i\phi_n} |n\rangle \langle n|$1 for $U_\phi = \sum_n e^{i\phi_n} |n\rangle \langle n|$2, thus guaranteeing 2-design formation.

4. Explicit Local 2-Design Block Constructions

Diagonal-Unitary Blocks

Exact CP phase-random circuit: For $U_\phi = \sum_n e^{i\phi_n} |n\rangle \langle n|$3 qubits:

Step	Action	Parameters
For all $U_\phi = \sum_n e^{i\phi_n} |n\rangle \langle n|$4 (in $U_\phi = \sum_n e^{i\phi_n} |n\rangle \langle n|$5 parallel)	Draw $U_\phi = \sum_n e^{i\phi_n} |n\rangle \langle n|$6, $U_\phi = \sum_n e^{i\phi_n} |n\rangle \langle n|$7. Apply $U_\phi = \sum_n e^{i\phi_n} |n\rangle \langle n|$8	$U_\phi = \sum_n e^{i\phi_n} |n\rangle \langle n|$9 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 $(\phi_1,...,\phi_d)$0 uniformly from unordered pairs.
• Draw $(\phi_1,...,\phi_d)$1 (or $(\phi_1,...,\phi_d)$2).
• Apply $(\phi_1,...,\phi_d)$3.

After $(\phi_1,...,\phi_d)$4 gates, the circuit achieves $(\phi_1,...,\phi_d)$5.

Symmetric k-Local Brickwork Block

For arbitrary $(\phi_1,...,\phi_d)$6:

Layer	Set	Gate Ensemble
1	Odd $(\phi_1,...,\phi_d)$7-tuples	Haar-random from $(\phi_1,...,\phi_d)$8
2	Even $(\phi_1,...,\phi_d)$9-tuples (shift)	Haar-random from $[0,2\pi)$0

$[0,2\pi)$1 consists of operators acting nontrivially on $[0,2\pi)$2 and commuting with the symmetry $[0,2\pi)$3. For Z$[0,2\pi)$4, each $[0,2\pi)$5-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 $[0,2\pi)$6 orthogonal to all local character images, $[0,2\pi)$7, then all undesired second-moment modes decay exponentially under block iteration. As a result, $[0,2\pi)$8 brickwork blocks suffice for $[0,2\pi)$9-approximation in operator norm on second moment space, for generic connected circuit patterns and $$\mathcal{D}^{(2)}(\rho) = \int d^N \phi\, U_\phi^{\otimes 2} \rho (U_\phi^\dagger)^{\otimes 2}.$$0. In the diagonal-unitary setting, parallel realization requires $$\mathcal{D}^{(2)}(\rho) = \int d^N \phi\, U_\phi^{\otimes 2} \rho (U_\phi^\dagger)^{\otimes 2}.$$1 two-qubit gates for the exact 2-design, while the approximate CZ circuit requires $$\mathcal{D}^{(2)}(\rho) = \int d^N \phi\, U_\phi^{\otimes 2} \rho (U_\phi^\dagger)^{\otimes 2}.$$2 gates (Nakata et al., 2012, Mitsuhashi et al., 2024).

6. Applications and Extensions

Local 2-design circuit blocks underpin randomized benchmarking, decoupling, state $$\mathcal{D}^{(2)}(\rho) = \int d^N \phi\, U_\phi^{\otimes 2} \rho (U_\phi^\dagger)^{\otimes 2}.$$3-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 $$\mathcal{D}^{(2)}(\rho) = \int d^N \phi\, U_\phi^{\otimes 2} \rho (U_\phi^\dagger)^{\otimes 2}.$$4 a basis state $$\mathcal{D}^{(2)}(\rho) = \int d^N \phi\, U_\phi^{\otimes 2} \rho (U_\phi^\dagger)^{\otimes 2}.$$5, or otherwise applying a local diagonal-unitary 2-design to $$\mathcal{D}^{(2)}(\rho) = \int d^N \phi\, U_\phi^{\otimes 2} \rho (U_\phi^\dagger)^{\otimes 2}.$$6 and outputting $$\mathcal{D}^{(2)}(\rho) = \int d^N \phi\, U_\phi^{\otimes 2} \rho (U_\phi^\dagger)^{\otimes 2}.$$7, exact Haar-randomness for state 2-designs is synthesized with only $$\mathcal{D}^{(2)}(\rho) = \int d^N \phi\, U_\phi^{\otimes 2} \rho (U_\phi^\dagger)^{\otimes 2}.$$8 random bits and $$\mathcal{D}^{(2)}(\rho) = \int d^N \phi\, U_\phi^{\otimes 2} \rho (U_\phi^\dagger)^{\otimes 2}.$$9 gates (Nakata et al., 2012). Symmetry-respecting blocks additionally enable the analysis and simulation of physical systems subject to conservation laws or collective quantum number constraints (Mitsuhashi et al., 2024).

7. Representative Examples and Practical Recipes

U(1)-symmetric 2-block for $$\| \mathcal{D}^{(2)}_{\text{design}} - \mathcal{D}^{(2)} \|_\diamond = 0$$0 qubits, $$\| \mathcal{D}^{(2)}_{\text{design}} - \mathcal{D}^{(2)} \|_\diamond = 0$$1: Each block acts on two qubits and is block-diagonal by Hamming weight. The integer-optimization has minimal solution $$\| \mathcal{D}^{(2)}_{\text{design}} - \mathcal{D}^{(2)} \|_\diamond = 0$$2, so 2-designs are achieved for $$\| \mathcal{D}^{(2)}_{\text{design}} - \mathcal{D}^{(2)} \|_\diamond = 0$$3.

SU(2)-symmetric 3-block for $$\| \mathcal{D}^{(2)}_{\text{design}} - \mathcal{D}^{(2)} \|_\diamond = 0$$4 qubits, $$\| \mathcal{D}^{(2)}_{\text{design}} - \mathcal{D}^{(2)} \|_\diamond = 0$$5: Acting on three qubits, the solution $$\| \mathcal{D}^{(2)}_{\text{design}} - \mathcal{D}^{(2)} \|_\diamond = 0$$6 demonstrates sufficiency for 2-designs for $$\| \mathcal{D}^{(2)}_{\text{design}} - \mathcal{D}^{(2)} \|_\diamond = 0$$7.

These construction recipes are general: arranging $$\| \mathcal{D}^{(2)}_{\text{design}} - \mathcal{D}^{(2)} \|_\diamond = 0$$8 qubits in a 1D chain, alternating $$\| \mathcal{D}^{(2)}_{\text{design}} - \mathcal{D}^{(2)} \|_\diamond = 0$$9-local blocks in odd/even patterns, and iterating logarithmically many times, achieves certified 2-designs for all physically relevant on-site symmetries, provided $\epsilon$0 and the block pattern is connected (Mitsuhashi et al., 2024).