---
title: Instantaneous Quantum Polytime (IQP)
url: https://www.emergentmind.com/topics/instantaneous-quantum-polytime-iqp
type: topic
---

# Instantaneous Quantum Polytime (IQP)

Instantaneous Quantum Polynomial Time (IQP) refers to a sub-universal model of quantum computation in which the non-Clifford gates are all diagonal in a fixed basis and commute with each other, allowing them to be applied "instantaneously." Despite its restricted structure, the IQP model is central in quantum complexity theory due to its strong conjectured classical intractability, particularly for certain average-case sampling and decision problems. IQP circuits are a focus for near-term quantum advantage proposals, serve as a touchstone for hardness-of-sampling arguments, and interface deeply with topics in statistical mechanics and coding theory.

## 1. Definition of IQP Circuits

An $n$-qubit IQP circuit $C$ is a depth-3 quantum circuit described by:
- **Preparation**: Initialize the state $|0\rangle^{\otimes n}$.
- **First Hadamard Layer**: Apply $H^{\otimes n}$ so $|0\rangle^{\otimes n} \mapsto |+\rangle^{\otimes n}$.
- **Diagonal Layer**: Apply a sequence of $m$ commuting unitaries of the form $U_k = \exp(i\,\theta_k\,P_k)$, where $P_k$ is a Pauli-Z string $P_k = Z_{i_1}Z_{i_2}\cdots Z_{i_{w_k}}$ and $\theta_k \in \mathbb{R}$. All $U_k$ commute, so the layer may be regarded as "instantaneous."
- **Second Hadamard Layer**: Apply $H^{\otimes n}$.
- **Measurement**: Measure all qubits in the computational ($Z$) basis. The probability of observing bitstring $x$ is $P_C[x] = |\langle x|C|0\rangle^{\otimes n}|^2$.

IQP circuits are equivalently written as $C = H^{\otimes n}\,\widetilde{C}\,H^{\otimes n}$, where $\widetilde{C}$ is diagonal in the $Z$ basis. By virtue of the commutativity, the full diagonal layer can be applied in a single circuit depth.

## 2. Complexity-Theoretic Hardness and the Average-Case Conjectures

Sampling the output of IQP circuits is deeply linked to average-case and worst-case #P-hard problems. Two key conjectures underlie the belief in classical intractability:

- **Conjecture 1 (Ising-average-case hardness):** Consider random instances of the Ising partition function at complex temperature $\omega = e^{i\pi/8}$ with random edge ($w_{ij}$) and vertex ($v_k$) weights. It is #P-hard to approximate $|Z_R|^2$ up to multiplicative error $1/4 + o(1)$ for at least $1/24$ of these random choices.

- **Conjecture 2 (Degree-3 polynomial gap-average-case hardness):** Let $f: \{0,1\}^n \to \{0,1\}$ be a uniformly random degree-3 polynomial over $\mathbb{F}_2$, and define the normalized gap $\mathrm{ngap}(f) = (|x: f(x)=0| - |x: f(x)=1|)/2^n$. It is #P-hard to approximate $\mathrm{ngap}(f)^2$ up to multiplicative error $1/4+o(1)$ for at least a $1/24$ fraction of $f$.

These conjectures each have corresponding IQP constructions whose amplitudes are directly proportional to the quantities above. Both are known to hold in the worst case; the conjecture is that the hardness extends to a constant fraction of average-case instances [1504.07999].

## 3. Implications for Classical Simulation

Suppose a classical (probabilistic polynomial-time) algorithm $A$ could sample from every $n$-qubit IQP circuit $C$ to $l_1$-distance error at most $\epsilon < 1/192$. Then, via Stockmeyer counting and obfuscation (random gadget insertions and circuit hiding), one can show that $A$ enables multiplicative-error approximation of amplitudes that are #P-hard to compute (as above), which would imply $\#\text{P} \subseteq \text{FBPP}^{\text{NP}}$ and therefore cause the collapse of the Polynomial Hierarchy (PH) to its third level—widely considered implausible.

The hardness argument leverages:
- **Obfuscation lemma**: Randomly obfuscated IQP circuits allow approximation of individual output probabilities in $\mathrm{FBPP}^{\mathrm{NP}}$ to small additive error.
- **Anticoncentration (via Paley–Zygmund inequality)**: For both random Ising and degree-3 circuits, the output distribution is sufficiently "spread" (anticoncentrated) that large enough probabilities $p=\Omega(2^{-n})$ occur on a constant fraction of instances.

Therefore, under either average-case conjecture, efficient (additive-error) classical simulation of generic IQP circuits would collapse PH [1504.07999].

## 4. Connection to Spin-Based Boson Sampling and Avoidance of Permanent-Anticoncentration

Boson Sampling arguments rely on two conjectures about permanents of Gaussian random matrices (anticoncentration and hardness of approximate permanent computation). In contrast, IQP circuits, as "spin-based Boson Sampling," replace permanents with Ising or polynomial gap amplitudes. Crucially, anticoncentration can be established directly for IQP circuits via moment bounds and Paley–Zygmund, avoiding reliance on the permanent's anticoncentration properties.

Thus, IQP circuits avoid the "permanent-anticoncentration bottleneck" and rely on better-understood, directly-proved anticoncentration for commuting Hamiltonian amplitudes [1504.07999].

## 5. IQP Model Structure and Output Distribution

### Circuit Specification

| Step               | Description                                                               |
|--------------------|---------------------------------------------------------------------------|
| Input              | $|0\rangle^{\otimes n}$                                                   |
| Gates              | $m$ commuting $U_k = \exp(i\,\theta_k\,P_k)$                              |
| Circuit Expansion  | $U = \prod_{k=1}^m e^{i\,\theta_k\,P_k} = H^{\otimes n}\,\widetilde{C}\,H^{\otimes n}$|
| Output Measure     | All qubits in $Z$-basis, $P_C[x] = |\langle x|\,C\,|0\rangle^{\otimes n}|^2$  |

The commuting structure enforces that the non-Clifford part of the circuit has no timing dependencies: all diagonal gates can be implemented in parallel.

### Mapping to Statistical Invariants

- **Ising Partition Function:** For random $\sqrt{\text{CZ}}$ and $T$ gates, the $|0\rangle^{\otimes n} \to |0\rangle^{\otimes n}$ amplitude is proportional to the Ising partition function $Z_R$ for a complete-graph random instance at complex temperature.
- **Degree-3 Polynomial Gap:** For circuits built from $Z$, $CZ$, and $CCZ$ gates, the amplitude for $|0\rangle^{\otimes n} \to |0\rangle^{\otimes n}$ is the normalized gap of a random degree-3 polynomial over $\mathbb{F}_2$.

## 6. Complexity-Theory Hierarchy and Practical Implications

IQP demonstrates that non-universal, temporally flat (instantaneous) quantum circuits can have extreme classical sampling hardness, tightly linked to the structure of nontrivial partition and gap functions. The model is robust: PH-collapsing hardness holds for both "intermediate" and "fully random" circuit families, and the arguments generalize to related models, such as ancilla-driven IQP (ADIQP) and sparse IQP variants [1611.00510, 2307.10729].

Complexity-theoretic significance includes:
- **Sampling Hardness:** Under either average-case conjecture, classical simulation to constant $l_1$-distance is infeasible unless PH collapses [1504.07999].
- **Universality via Postselection:** IQP with postselection implements PP ($\mathrm{Post\text{-}IQP} = \mathrm{PP}$), yielding universality for certain decision problems [1412.4131].
- **Model-Specific Hardness:** Spin-based variants avoid fragile components (such as the permanent-anticoncentration conjecture) in hardness reductions.

## 7. Outlook and Experimental Relevance

Commuting-Hamiltonian (IQP) circuits thus emerge as a minimal model for quantum computational advantage in the absence of temporal order, with several experimentally favorable properties:
- Simplicity of implementation.
- Hardware naturalness for parallel execution.
- Direct correspondence between output statistics and complexity-theoretic hardness indicators.
- Direct anticoncentration proofs, especially for sampling tasks based on Ising or polynomial gap problems.
- Robustness against structural loopholes that affect other sub-universal models.

In summary, IQP circuits stand at the intersection of complexity theory, sampling hardness, and statistical mechanics. Under either of two plausible average-case #P-hardness conjectures, their output distributions remain classically intractable to sample up to constant additive error, unless foundational beliefs about the structure of the Polynomial Hierarchy are overturned [1504.07999].

Source: https://www.emergentmind.com/topics/instantaneous-quantum-polytime-iqp