---
title: Parameterized Quantum Circuits (PQCs)
url: https://www.emergentmind.com/topics/parameterized-quantum-circuits-pqcs
type: topic
---

# Parameterized Quantum Circuits (PQCs)

A parameterized quantum circuit (PQC) is a quantum circuit composed of both fixed and parameter-dependent gates, forming a family of unitaries $U(\theta)$ acting on an $n$-qubit state. These circuits underpin the majority of variational quantum algorithms (VQAs)—notably for quantum machine learning, combinatorial optimization, and quantum chemistry—where their tunable parameters $\theta$ are optimized by a classical outer loop to extremize an objective defined as an expectation value or classifier loss. The design, expressibility, trainability, and robustness to noise of PQCs have been the subject of extensive research and rigorous quantitative analysis.


## 1. Mathematical Structure and Variational Role

A PQC on $n$ qubits is defined by
$$
U(\theta) = U_L(\theta_L) \cdots U_2(\theta_2)U_1(\theta_1)
$$
where each $U_j(\theta_j)$ is either a single-qubit rotation $\exp(-i\theta_j \sigma_\alpha/2)$ (for $\alpha \in \{x, y, z\}$), or a multi-qubit entangling gate (e.g., CNOT, CZ), with $\theta = (\theta_1,\dots,\theta_m)$ the set of trainable parameters. A typical PQC instance prepares a state $|\psi(\theta)\rangle = U(\theta)|0^{\otimes n}\rangle$ and measures an observable $M$ to yield the cost function $C(\theta) = \langle\psi(\theta)|M|\psi(\theta)\rangle$ [1906.07682, 2309.06975, 2404.11253].

In hybrid quantum-classical algorithms (e.g., VQE, QAOA, quantum classifiers, and QCBM), the classical optimizer proposes updates to $\theta$ based on observed or estimated losses, closing the feedback loop. The PQC thus acts as the variational ansatz, whose expressive power determines the reachable hypothesis space and ultimately the performance on learning or optimization tasks [1906.07682].

Commonly, the circuit is organized in a layered fashion, with each layer consisting of a parallel block of parameterized single-qubit rotations and entangling gates, repeated $L$ times for expressibility control. Modular design allows arbitrary feature encoding (e.g., amplitude or angle encoding) to precede the parameterized block, as is standard in quantum machine learning [2507.08183, 2404.11253].


## 2. Expressibility, Entangling Capability, and Descriptors

**Expressibility** measures the circuit's ability to generate a diverse state ensemble spanning Hilbert space, compared to the Haar measure. Formally, for $|\psi(\theta)\rangle$ drawn uniformly at random over the parameter domain, sample the squared overlap $F=|\langle\psi(\theta)|\psi(\theta')\rangle|^2$, gather its empirical distribution $P_\mathrm{PQC}(F)$, and compare to the analytic Haar distribution
$$
P_\mathrm{Haar}(F) = (2^n - 1)(1 - F)^{2^n - 2}.
$$
The scalar expressibility metric is the Kullback–Leibler divergence:
$$
\mathrm{Expr} = D_\mathrm{KL}[P_\mathrm{PQC}(F)\,\|\,P_\mathrm{Haar}(F)] = \int_0^1 P_\mathrm{PQC}(F)\log\frac{P_\mathrm{PQC}(F)}{P_\mathrm{Haar}(F)}\,dF
$$
with $\mathrm{Expr}\to0$ indicating near–Haar randomness [1905.10876, 2309.06975, 2408.01036, 2205.02095]. Expressibility can also be characterized by frame potentials $\mathcal{F}^{(t)}$:
$$
\mathcal{A}^{(t)}(C) = \mathcal{F}^{(t)}_C - \mathcal{F}^{(t)}_\mathrm{Haar}
$$
where $C$ is the PQC and $\mathcal{F}^{(t)}$ is computed as the $t$-th moment of the state overlap [2408.01036].

**Entangling capability** is quantified by the Meyer–Wallach measure:
$$
Q(|\psi\rangle) = \frac{2}{n} \sum_{j=1}^n (1 - \mathrm{Tr}\,\rho_j^2)
$$
where $\rho_j = \mathrm{Tr}_{\neq j}[|\psi\rangle\langle\psi|]$. The empirical average over sampled $\theta$ yields a global entangling capability score [1905.10876, 2205.02095].

Empirical studies demonstrate that expressibility and entangling capability "saturate" with increased circuit depth or two-qubit gate count, with additional layers yielding diminishing improvements [1905.10876, 2408.01036]. Circuit topology (e.g., all-to-all, block-ring, ring, line) and entangling gate type (CRX vs. CRZ) systematically affect both expressibility and entanglement [2308.10791, 1905.10876, 2408.01036].


## 3. Circuit Design Principles and Topological Optimization

The architecture of a PQC—choice of entanglers, gate axes, block structure, and two-qubit layout—directly determines its expressibility and trainability. Systematic studies have found:
- All-to-all entangling layouts maximize expressibility and entanglement but incur quadratic $O(n^2)$ two-qubit gate cost.
- Block-ring ("BR") topologies reduce gate count to $O(mn)$ (for tunable block size $m$) while achieving near–all-to-all performance in shallow circuits. This interpolation gives almost-maximal metrics after only two layers [2308.10791].
- Choosing CRX gates yields higher expressibility and entanglement than CRZ, due to non-commuting two-qubit interactions [1905.10876, 2308.10791].
- Parameterized rotations about arbitrary Bloch-sphere axes (Fraxis), or free quaternions (FQS), provide a richer search space and improved expressibility compared to fixed-axis schemes such as $R_y$ or discrete axis selection [2104.14875, 2507.07742].
- Expressibility increase from adding RX or RY gates saturates for normalized counts $\gtrsim10$–15 per qubit; excess CNOTs may reduce expressibility due to entangling–rotation imbalance. Practical design rules recommend $(\text{RX}+\text{RY})\!:\!\text{CNOT} \simeq 3\!:\!1$ for maximal coverage [2408.01036].

Hardware constraints, including connectivity, error rates, and native gate sets, require customized PQC designs for different physical platforms, often via hardware-aware architecture search (e.g., Bayesian optimization over topology and gate type) [2404.11253]. For combinatorial optimization, dynamically constructed PQCs that explicitly encode problem constraints into amplitude support greatly reduce search space and yield faster convergence compared to hardware-efficient, unconstrained ansätze [2006.05643].


## 4. Training, Optimization, and Information-Theoretic Aspects

PQC training is performed using measurement-based evaluation of the objective function, which may be the expectation of an observable (VQE), cross-entropy for classification (QML), or a statistical divergence for generative modeling. Updates of $\theta$ are made via:
- Gradient-based methods, using the parameter-shift rule:
$$
\frac{\partial C}{\partial\theta_k} = \frac{C(\theta_k+\pi/2) - C(\theta_k-\pi/2)}{2}
$$
provided $U(\theta_k)$ is generated by a reflection operator. These allow for classical optimizers (SGD, Adam, natural gradient), with update steps $\theta\leftarrow\theta-\alpha\nabla C(\theta)$ [2510.08142, 1906.07682, 2409.20044].
- Gatewise coordinate-descent optimizers:
  - Rotosolve: updates one angle at a time, fitting a trigonometric model for $C(\theta_d)$ [2510.08142, 2507.07742].
  - Free-Axis Selection (Fraxis): optimizes both axis and angle for each single-qubit rotation, efficiently via a 3×3 eigenproblem when $\theta=\pi$, achieving KL expressibility $\lesssim 0.01$ [2104.14875].
  - Free Quaternion Selection (FQS): upgrades the search to arbitrary SU(2) elements, further enlarging the search space [2510.08142].
- Hybrid optimization protocols: Rotosolve–FQS or Rotosolve–Fraxis hybrids, controlled by early stopping or cost-improvement thresholds, combine rapid initial descent with global expressibility for deeper convergence and improved noise robustness [2510.08142].

Information-theoretic analyses reveal that exact expectation-value queries are highly informative, while single-shot samples carry exponentially little information, setting sample complexity lower bounds for faithful training: $\Omega(2^n)$ shots are generally required to resolve "barren plateaus" and identify optimal regions, unless problem structure, prior information, or advanced measurement strategies (e.g., parameter-shift rule, grouped measurements, classical shadows) are exploited [1903.12611].

Gradient-vanishing and barren-plateau phenomena, where the objective gradient decays exponentially with system size or circuit depth, reliably appear for highly expressive or random ansätze. Strategies that restrict the variational subspace, increase locality, or adaptively extend the ansatz in response to stagnation (e.g., nested quantum-classical optimization with quantum-gradient feedback) have been shown to mitigate these effects and maintain trainability on polynomial resources [2409.20044, 2006.05643].


## 5. Noise Robustness and Error Mitigation

On realistic Noisy Intermediate-Scale Quantum (NISQ) devices, PQC performance is limited by decoherence, cumulative gate errors, and readout noise, which are exacerbated by deep and highly entangled circuits [2406.00843, 2507.08183].

- **Noise Accumulation:** Each PQC layer accumulates uncorrected physical noise, causing the output state to progressively resemble a maximally mixed state—a process directly analogous to classical diffusion toward complete noise [2406.00843].
- **Diffusion-Inspired Mitigation:** Mitigation algorithms interleave noise channels with learnable "denoiser" steps, training a forward–backward protocol that regularly inverts the effect of noise. This approach, by adding a round-trip divergence loss to the task loss, consistently delivers 1–2 percentage-point improvements in classification accuracy over previous state-of-the-art noise mitigation on standard quantum learning benchmarks [2406.00843].
- **Architecture Search Under Noise:** Bayesian circuit architecture search (BPQCO) in the noise-aware setting yields shallower, more robust PQCs that balance expressibility and complexity, with Pareto-frontiers between performance and gate-error-induced complexity. Multi-objective optimization of test accuracy and transpiled circuit complexity has been shown to yield the best noisy results [2404.11253].
- **Resource Optimization:** Gate-freezing methods, which track the magnitude of parameter updates and temporarily exclude converged gates from further optimization, reduce the number of circuit evaluations by up to an order of magnitude while maintaining or improving convergence and final performance, as empirically demonstrated on Heisenberg and Fermi–Hubbard models [2507.07742].


## 6. PQCs as Machine Learning Models and Universality

PQCs serve as flexible, physically motivated models for quantum machine learning tasks, ranging from regression and classification of classical or quantum data to generative modeling and unsupervised learning [1906.07682, 1810.11922, 2507.08183]. Notable theoretical results and architecture benchmarks include:
- **Approximation Universality:** PQCs can approximate any square-integrable, continuous, or Sobolev-class function given sufficient circuit depth and suitable data encoding, with formal $L^2$, $L^p$, $C^0$ and $H^k$ universal approximation theorems. Generalization bounds link empirical loss on samples and derivatives to target norm distances in function space, under appropriate normalization and parameter regularization [2307.14792].
- **Expressive Power Beyond Classical Models:** Multilayer PQCs (MPQCs) with $O(\mathrm{poly}(n))$ blocks exhibit greater expressive power than classical generative neural networks (e.g., RBMs, DBMs), unless the polynomial hierarchy collapses. Ancilla-driven and post-selection–enabled circuits (Bayesian Quantum Circuits, BQC) can efficiently simulate classically intractable distributions and implement Bayesian learning by encoding priors in ancillary degrees of freedom [1810.11922].
- **Application Benchmarks:** PQCs have been experimentally deployed for variational quantum classifiers (Iris/MNIST), quantum circuit Born machines for generative modeling, quantum autoencoders, and molecular regression in quantum chemistry. Empirical results demonstrate feasibility of chemically meaningful regression on NISQ devices using shallow PQCs with error mitigation, though challenges remain in scaling depth and qubit number simultaneously due to data–depth–noise trade-offs [2507.08183, 1906.07682].

Empirical benchmarks stress the importance of matching ansatz expressibility and structure to the specific data or Hamiltonian, balancing depth, entangling power, and noise tolerance [2507.08183].

  
## 7. Visualization, Diagnostics, and Design Tools

Advanced visualization and diagnostic tools for PQCs—such as qLEET—provide capabilities for:
- Quantifying expressibility and entangling power landscape over ansatz families.
- Visualizing high-dimensional loss landscapes and projective slices, revealing ridges, valleys, and barriers responsible for optimization bottlenecks.
- Mapping out training trajectories of the optimizer within parameter space, showing convergence dynamics and basin structure.
- Using the entanglement spectrum (eigenvalues of the reduced density matrix) to assess proximity to randomness (Marchenko–Pastur law) and to link ansatz structure to entropic properties [2205.02095].

Integrating such diagnostics with automated expressibility predictors (e.g., GNN regressors trained on circuit graphs [2309.06975]) enables rapid pruning of under-expressive designs, guiding the choice of hyperparameters, gate patterns, and circuit depth prior to resource-intensive quantum training. Empirical evidence supports the utility of these methods for practical PQC architecture selection under tight resource and noise constraints [2309.06975, 2205.02095].

---

**References**
- [1906.07682] Parameterized quantum circuits as machine learning models
- [1810.11922] The Expressive Power of Parameterized Quantum Circuits
- [2308.10791] A Block-Ring connected Topology of Parameterized Quantum Circuits
- [1905.10876] Expressibility and entangling capability of parameterized quantum circuits for hybrid quantum-classical algorithms
- [2408.01036] Analysis of Parameterized Quantum Circuits: on The Connection Between Expressibility and Types of Quantum Gates
- [2104.14875] Optimizing Parameterized Quantum Circuits with Free-Axis Selection
- [2507.07742] Gate Freezing Method for Gradient-Free Variational Quantum Algorithms in Circuit Optimization
- [2510.08142] Enhancing Hybrid Methods in Parameterized Quantum Circuit Optimization
- [2404.11253] Bayesian Parameterized Quantum Circuit Optimization (BPQCO): A task and hardware-dependent approach
- [2205.02095] qLEET: Visualizing Loss Landscapes, Expressibility, Entangling Power and Training Trajectories for Parameterized Quantum Circuits
- [2507.08183] Parametrized Quantum Circuit Learning for Quantum Chemical Applications
- [2309.06975] Predicting Expressibility of Parameterized Quantum Circuits using Graph Neural Network
- [2006.05643] Enhancing VQE Convergence for Optimization Problems with Problem-specific Parameterized Quantum Circuits
- [2406.00843] Diffusion-Inspired Quantum Noise Mitigation in Parameterized Quantum Circuits
- [1903.12611] Information content of queries in training Parameterized Quantum Circuits
- [2307.14792] Approximation and Generalization Capacities of Parametrized Quantum Circuits for Functions in Sobolev Spaces
- [2409.20044] Learning Parameterized Quantum Circuits with Quantum Gradient

Source: https://www.emergentmind.com/topics/parameterized-quantum-circuits-pqcs