Structural $f$-divergence: Tight universal bounds for cost function moments and gradients in parameterized quantum circuits

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Nishiyama, Tomohiro, Hasegawa, Yoshihiko
Format: Preprint
Published: 2026
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866910232005836800
author Nishiyama, Tomohiro
Hasegawa, Yoshihiko
author_facet Nishiyama, Tomohiro
Hasegawa, Yoshihiko
contents The barren plateau phenomenon, in which cost-function gradients of variational quantum algorithms vanish exponentially, remains a central obstacle for near-term quantum computing. Existing analyses typically depend on t-design or Haar-random assumptions and bound quantities at the level of unitary distributions, offering limited insight for designing probability measures on the parameter space of parameterized quantum circuits. In this paper, we introduce the structural $f$-divergence, a symmetric $f$-divergence-based measure between probability distributions on the parameter space. We establish analytically trade-off inequalities that bound the discrepancies in the expected gradient magnitude and in the cost-function moments between a distribution on PQC and a reference distribution; equality is attained by a minimal one-qubit, one-layer ansatz. As applications, we derive necessary conditions on probability measures for avoiding BPs and cost concentration, and sufficient conditions that suppress noise-induced deviations.
format Preprint
id arxiv_https___arxiv_org_abs_2605_18051
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Structural $f$-divergence: Tight universal bounds for cost function moments and gradients in parameterized quantum circuits
Nishiyama, Tomohiro
Hasegawa, Yoshihiko
Quantum Physics
The barren plateau phenomenon, in which cost-function gradients of variational quantum algorithms vanish exponentially, remains a central obstacle for near-term quantum computing. Existing analyses typically depend on t-design or Haar-random assumptions and bound quantities at the level of unitary distributions, offering limited insight for designing probability measures on the parameter space of parameterized quantum circuits. In this paper, we introduce the structural $f$-divergence, a symmetric $f$-divergence-based measure between probability distributions on the parameter space. We establish analytically trade-off inequalities that bound the discrepancies in the expected gradient magnitude and in the cost-function moments between a distribution on PQC and a reference distribution; equality is attained by a minimal one-qubit, one-layer ansatz. As applications, we derive necessary conditions on probability measures for avoiding BPs and cost concentration, and sufficient conditions that suppress noise-induced deviations.
title Structural $f$-divergence: Tight universal bounds for cost function moments and gradients in parameterized quantum circuits
topic Quantum Physics
url https://arxiv.org/abs/2605.18051