---
title: Certified Fidelity Interval
url: https://www.emergentmind.com/topics/certified-fidelity-interval
type: topic
---

# Certified Fidelity Interval

A certified fidelity interval is a rigorously justified interval that contains a target quantity and whose endpoints are obtained from sound propagation, exact endpoint optimization, or a posterior construction rather than from an uncontrolled heuristic. In the most literal usage, it is an interval for a quantum-state fidelity. In closely related usages, it is an interval for the exact output range of a function over a region, for the optimum of an optimization problem, or for the suboptimality gap of an optimizer. Across these settings, the common structure is that the reported interval is accompanied by a guarantee that the true quantity lies inside it, together with an explicit notion of tightness or fidelity of the interval to the underlying object [1909.13846] [2605.29820] [2409.19282] [2511.15624] [2308.00978].

## 1. General form of the concept

Across the cited works, a certified fidelity interval has three components: a target quantity, a feasible or reachable set consistent with the available information, and an interval whose containment properties are mathematically guaranteed. In interval-certified approximation, the target quantity is the exact image of a continuous function on an input box. In stabilizer-state certification, it is the overlap \(F(\rho,\psi)=\langle\psi|\rho|\psi\rangle\). In general-noise entanglement estimation, it is the average fidelity of unsampled pairs. In optimization settings, it is either the optimum itself or the optimization error of a recommended point [1909.13846] [2605.29820] [2409.19282] [2511.15624] [2308.00978].

A useful unifying pattern is that certification is expressed as a worst-case or posterior-valid enclosure. Representative forms appearing in the literature are
\[
[l+\delta,u-\delta]\subseteq I_{\mathrm{cert}}\subseteq [l-\delta,u+\delta],
\]
\[
[F_{\min},F_{\max}]
=
\left[
\min_{p\in\mathcal F} p(\boldsymbol 0),
\max_{p\in\mathcal F} p(\boldsymbol 0)
\right],
\]
\[
\Pr[\bar F\in \mathcal C\mid \mathbf r]\ge \alpha,
\]
and
\[
f(x^\star)-f(x_t^\star)\le \xi_t.
\]
These are not interchangeable definitions, but they encode the same structural idea: the interval is certified because it is valid for every admissible function, state, or environment compatible with the assumptions and observations [1909.13846] [2605.29820] [2409.19282] [2308.00978].

| Setting | Certified object | Certification form |
|---|---|---|
| Interval-certified ReLU approximation | True range of \(f\) on a box \(B\) | \(n^\sharp(B)\) lies within \(\delta\) of \([\min f(B),\max f(B)]\) |
| Stabilizer-state certification | Fidelity \(F(\rho,\psi)\) | Exact LP endpoints \([F_{\min},F_{\max}]\) |
| Entangled-state estimation under general noise | Average fidelity of unsampled pairs | Credible interval \(\mathcal C^{(T)}\) with posterior probability at least \(\alpha\) |
| SC-DCOPF bounding | Optimal objective value or violations | Certified lower/upper bounds enclosing the true optimum |
| Multi-fidelity zeroth-order optimization | Global suboptimality gap | One-sided certified bound \(\xi_t\) |

The central distinction from an ordinary estimate is that the interval is itself an object of proof. A narrow interval is useful only insofar as its soundness is preserved; conversely, a sound but loose interval may be operationally limited. Much of the technical work in the cited literature is devoted to tightening certified intervals without losing validity.

## 2. Interval-certified approximation and the \(\delta\)-accurate range enclosure

In "Universal Approximation with Certified Networks" [1909.13846], the relevant object is the interval produced by interval bound propagation (IBP) for a ReLU network on an input box \(B=[a,b]\subseteq \Gamma\). For a continuous target function \(f:\Gamma\subseteq \mathbb R^m\to\mathbb R^d\), the paper asks whether there exists a ReLU network \(n\) such that \(n\) approximates \(f\) uniformly and, simultaneously, \(n^\sharp(B)\) is arbitrarily close to the exact output range of \(f\) on every box \(B\in\mathcal B(\Gamma)\). The scalar guarantee is
\[
[l+\delta,u-\delta]\subseteq n^\sharp([a,b])\subseteq [l-\delta,u+\delta],
\]
where \(l=\min f([a,b])\) and \(u=\max f([a,b])\). In vector form, the same statement holds coordinate-wise. This is the paper’s formal notion of interval-certified fidelity [1909.13846].

The result is presented as a universal approximation theorem for interval-certified ReLU networks. Classical universal approximation is recovered by taking degenerate boxes \(a=b=x\), in which case the interval statement reduces to pointwise approximation. The novelty is that the theorem concerns not only values \(f(x)\) but also exact min-max behavior of \(f\) over every box, as seen through the IBP transformer \(n^\sharp\) [1909.13846].

The proof is constructive. A scalar continuous function is decomposed into an \(N\)-slicing \(\{f_k\}_{0\le k<N}\), where each slice has height \(\delta/2\). For each slice \(f_k\), the authors construct a ReLU network \(n_k\) with tightly controlled interval behavior: if \(f(B)\) lies sufficiently below the slice threshold then \(n_k^\sharp(B)=[0,0]\); if it lies sufficiently above then \(n_k^\sharp(B)=[1,1]\); and in all cases \(n_k^\sharp(B)\subseteq [0,1]\). The final network is
\[
n(x)=\xi_0+\tfrac{\delta}{2}\sum_{k=0}^{N-1} n_k(x).
\]
Only a bounded number of slices can contribute partial uncertainty under IBP, which yields the \(\pm\delta\) enclosure [1909.13846].

A distinctive feature of the construction is the use of local bumps \(\phi_c\) over a fine grid \(G\). Each bump is exactly \(1\) on \(\mathrm{conv}(c)\), exactly \(0\) outside \(\mathrm{conv}(\mathcal N(c))\), and has controlled linear transition in between. Their interval transformers satisfy
\[
\phi_c^\sharp(B)=[1,1]\quad\text{if }B\subseteq \mathrm{conv}(c),
\]
\[
\phi_c^\sharp(B)=[0,0]\quad\text{if }B\subseteq \Gamma\setminus \mathrm{conv}(\mathcal N(c)),
\]
with \(\phi_c^\sharp(B)\subseteq [0,1]\) in general. This exactness away from transition regions is what makes IBP tight in the final network [1909.13846].

The paper’s Figure 1 isolates a common misconception: function equality does not imply equal certifiability. Two ReLU networks \(n_1\) and \(n_2\) represent exactly the same scalar function on \([0,1]\), but
\[
n_1^\sharp([0,1])=[0,3/2],\qquad n_2^\sharp([0,1])=[0,1].
\]
Thus, certified fidelity depends on representation, not only on the realized function. The paper proves existence of accurate, interval-certified representations, but it is explicit that the result is existential and does not provide a practical training algorithm or detailed depth/width complexity bounds [1909.13846].

## 3. Exact fidelity intervals for stabilizer states

In "Adaptive Stabilizer State Fidelity Certification" [2605.29820], the term certified fidelity interval is used literally. For a prepared \(n\)-qubit state \(\rho\) and a target stabilizer state \(|\psi\rangle\), fidelity is taken in the linear form
\[
F(\rho,\psi):=\langle\psi|\rho|\psi\rangle.
\]
Using a stabilizer generator gauge, one measures expectation values of \(n\) generators at a time and retains only those generator expectations. The resulting information constrains the syndrome distribution \(p_\rho\) to a feasible polytope \(\mathcal F\). The certified fidelity interval is then
\[
[F_{\min},F_{\max}]
=
\left[
\min_{p\in\mathcal F} p(\boldsymbol 0),
\max_{p\in\mathcal F} p(\boldsymbol 0)
\right],
\]
because \(p_\rho(\boldsymbol 0)=F(\rho,\psi)\) [2605.29820].

For a single gauge \(A\), the paper gives analytic formulas for both endpoints. The KKL lower bound is
\[
F_{\min}(A;\rho)
=
\max\left\{0,\;1-\frac12\sum_{i=1}^n\bigl(1-\mu_\rho(a_i)\bigr)\right\},
\]
and the new matching worst-case upper bound is
\[
F_{\max}(A;\rho)
=
\frac12+\frac12\min_{i\in[n]}\mu_\rho(a_i)
=
\min_{i\in[n]} a_i.
\]
Accordingly, a one-gauge certified fidelity interval is
\[
\left[
\max\left\{0,\;1-\frac12\sum_{i=1}^n(1-\mu_\rho(a_i))\right\},
\;
\frac12+\frac12\min_{i\in[n]}\mu_\rho(a_i)
\right].
\]
These endpoints are optimal worst-case bounds relative to the retained one-gauge data [2605.29820].

The paper also gives a finite-shot upper certificate. If each generator is measured at least
\[
m_i\ge \left\lceil \frac{\log(2n/\delta)}{2\varepsilon^2}\right\rceil
\]
times, then with probability at least \(1-\delta\),
\[
|\widehat U_A-F_{\max}(A;\rho)|\le \varepsilon,
\]
and therefore
\[
F(\rho,\psi)\le \widehat U_A+\varepsilon.
\]
This produces a finite-sample certified upper endpoint that is linear in \(n\) up to logarithmic factors [2605.29820].

A major structural result is gauge dependence. For any \(A\in GL(n,2)\) and any \(n\ge 2\), there exist syndrome distributions with identical measured generator expectations in that gauge but different fidelities. Hence no single gauge determines the fidelity exactly in general. The 3-qubit example in the paper shows this concretely: a canonical gauge yields the exact lower endpoint \(1/4\) and a loose upper endpoint \(3/4\), whereas a parity gauge yields a vacuous lower endpoint \(0\) and the exact upper endpoint \(1/4\) for the same state. This is why the interval is best viewed as data-relative rather than intrinsic to the state alone [2605.29820].

The adaptive contribution of the paper is to exploit gauge freedom to tighten the interval. After \(t\) rounds, the feasible set is
\[
\mathcal F_t=\{p\in\Delta(\mathbb F_2^n): \widehat p(u)=\mu_\rho(u)\ \forall u\in Q_t\},
\]
with endpoints
\[
L_t=\min_{p\in\mathcal F_t} p(\boldsymbol 0),\qquad
U_t=\max_{p\in\mathcal F_t} p(\boldsymbol 0).
\]
Using endpoint witnesses \(p_t^-\) and \(p_t^+\), the paper defines disagreement scores
\[
d_t(u)=|\widehat p_t^+(u)-\widehat p_t^-(u)|
\]
and selects the next gauge by a witness elimination policy maximizing the total disagreement over the gauge columns. The interval tightens monotonically because \(\mathcal F_{t+1}\subseteq \mathcal F_t\), and exact recovery occurs once all nontrivial stabilizers are covered. In the worst case, full coverage is necessary, requiring at least \(\lceil(2^n-1)/n\rceil\) full-gauge rounds [2605.29820].

## 4. Credible intervals for entangled-state fidelity under general noise

"Reliable Interval Estimation for the Fidelity of Entangled States in Scenarios with General Noise" [2409.19282] studies a different notion of fidelity interval: a Bayesian credible interval for the average fidelity of unsampled entangled pairs that remains valid under arbitrarily general noise. Two remote nodes share \(N\) entangled qubit pairs, randomly sample \(M<N\) pairs, measure each sampled pair in a uniformly random basis \(A_n\in\{x,y,z\}\), and record \(r_n\in\{0,1\}\). The quantity of interest is the average fidelity of the unsampled pairs,
\[
\bar f=\frac{1}{N-M}\sum_{n\in \mathcal N\backslash \mathcal M}
\langle \Psi^-|\rho_n^{(\mathbf r)}|\Psi^-\rangle.
\]
The paper treats \(\bar f\) as a random variable \(\bar F\) and seeks an interval \(\mathcal C\subset[0,1]\) such that
\[
\Pr[\bar F\in\mathcal C\mid \mathbf r]\ge \alpha
\]
without any i.i.d. assumption on the noise [2409.19282].

The resulting interval is
\[
\mathcal C^{(T)}=[\tilde f-\delta^{(T)},\tilde f+\delta^{(T)}],
\]
where \(T\) is an even positive integer, the center is
\[
\tilde f
=
1-\frac32\left(\varepsilon_{\mathcal M}
+
\frac{\frac12-\varepsilon_{\mathcal M}}{M+1}\right),
\]
and the radius is
\[
\delta^{(T)}
=
\min_{t\in\{1,\dots,T/2\}}
\left\{
\frac32
\left(
\frac{\mathbb M_{\mathrm c}^{(2t)}[\mathcal E_{\mathcal U}\mid \varepsilon_{\mathcal M}]}
{1-\alpha}
\right)^{1/(2t)}
\right\}.
\]
The theorem states that in cases with general noise, the average fidelity \(\bar F\) lies in this interval with probability at least \(\alpha\) conditioned on the observed sample QBER \(\varepsilon_{\mathcal M}\) [2409.19282].

The construction relies on random sampling, a thought experiment, and Bayesian inference. The thought experiment imagines measuring all pairs first and only then designating a random sampled subset. Because measurements on different pairs commute, the order of measuring and sampling is irrelevant, which reduces the problem to a classical finite-population estimation problem. A hierarchical objective prior based on Jeffreys prior yields a beta-binomial posterior for the unsampled error count. The posterior mean of the unsampled QBER is
\[
\varepsilon_{\mathrm E}
=
\varepsilon_{\mathcal M}
+
\frac{\frac12-\varepsilon_{\mathcal M}}{M+1},
\]
and its variance is
\[
\mathbb V[\mathcal E_{\mathcal U}\mid \varepsilon_{\mathcal M}]
=
\frac{N+1}{(N-M)(M+2)}
\varepsilon_{\mathrm E}(1-\varepsilon_{\mathrm E}).
\]
The fidelity interval is then obtained by bounding even central moments of \(\bar F\) through those of \(\mathcal E_{\mathcal U}\) [2409.19282].

A distinctive feature of this work is the use of all even moments up to order \(T\), rather than variance alone. The generalized Chebyshev argument gives
\[
\Pr\big[|\bar F-\tilde f|\ge \delta\mid \varepsilon_{\mathcal M}\big]
\le
\left(\frac{3}{2\delta}\right)^{2t}
\mathbb M_{\mathrm c}^{(2t)}[\mathcal E_{\mathcal U}\mid \varepsilon_{\mathcal M}],
\]
and optimizing over \(t\) yields a sharper interval. The paper gives the rule
\[
T^\ast
=
2\left\lfloor\frac{-2\ln(1-\alpha)+0.8}{2}\right\rceil,
\]
with examples \(T^\ast=4\) for \(\alpha=0.8\), \(T^\ast=6\) for \(\alpha=0.9\) and \(0.95\), and \(T^\ast=10\) for \(\alpha=0.99\) [2409.19282].

The work also identifies a nontrivial measurement-ratio effect. Under general noise, increasing \(M\) reduces statistical noise but also makes the unsampled set smaller and potentially more atypical. For the second-moment interval, the radius becomes an increasing function of \(M\) when
\[
M\ge \left\lfloor \frac N2\right\rfloor.
\]
For the full \(\mathcal C^{(T^\ast)}\), the numerical evidence in the paper places the minimal radius near \(M/N\approx 0.5\) as long as \(\varepsilon_{\mathcal M}\gtrsim 0.01\). This directly contradicts the common intuition that more measurements must always reduce uncertainty [2409.19282].

## 5. Broader extensions: certified intervals for optimization and system objectives

Several recent works extend the same certification pattern from fidelity in the quantum-information sense to objective values, output ranges, and optimization errors. In "Fast and Certified Bounding of Security-Constrained DCOPF via Interval Bound Propagation" [2511.15624], the authors explicitly state that they use IBP to compute relaxed bounds for hard power grid optimization problems and refer to the resulting bounds as certified because they are guaranteed convex relaxations of the true solution bounds. For the soft-constrained SC-DCOPF objective \(f(\mathbf x)\), IBP yields numbers \(L_{\mathrm{IBP}}\) and \(U_{\mathrm{IBP}}\) such that
\[
L_{\mathrm{IBP}}\le \mathrm{OPT}\le U_{\mathrm{IBP}}.
\]
The paper defines the gap
\[
\mathrm{gap}
=
\frac{\mathrm{IBP}-\mathrm{Gurobi}}{\mathrm{Gurobi}},
\]
reports mean gap below \(3\%\) for all tested systems up to 617 buses, maximum gap \(6.53\%\), and scalability to systems up to 8,316 buses with a runtime of approximately \(0.07\) seconds. It also uses a negative IBP upper bound on the penalized objective as a certificate of infeasibility or negative welfare [2511.15624].

This suggests a broader interpretation of certified fidelity interval as a rigorously valid interval \([L,U]\) for a quantity of interest whose width measures the fidelity of the relaxation to the exact problem. The SC-DCOPF work makes this interpretation explicit for both objectives and constraint violations: if a residual \(g(x)\) has IBP interval \([\underline g,\overline g]\), then \(\overline g<0\) certifies strict satisfaction and \(\underline g>0\) certifies unavoidable violation over the whole input box [2511.15624].

An analogous one-sided version appears in "Certified Multi-Fidelity Zeroth-Order Optimization" [2308.00978]. There, a certified algorithm must output a recommendation \(x_t^\ast\) and an error certificate \(\xi_t\) such that for every \(L\)-Lipschitz \(f\), every admissible environment \(E\in\mathcal E(f)\), and every round \(t\),
\[
\xi_t\ge \max_{x\in\mathcal X} f(x)-f(x_t^\ast)=f(x^\star)-f(x_t^\ast).
\]
The certificate is therefore a one-sided interval on the global suboptimality gap. In the certified variant c.MF-DOO, the certificate is constructed as
\[
\xi_t
=
y_{h^\ast,i^\ast}+LR\delta^{h^\ast}+\alpha_{h^\ast,i^\ast}
-
(y_{\tilde t}-\alpha_{\tilde t}),
\]
combining a global upper bound on \(\max f\) with a lower bound on the value at the recommended point. The paper derives near-optimal cost complexity bounds for this certification problem and extends them to the stochastic setting, where the same inequality holds with high probability [2308.00978].

These optimization-oriented papers do not define fidelity as state overlap. Nonetheless, they instantiate the same formal template: a certified interval or bound encloses the true target quantity under worst-case or high-probability semantics, and its usefulness depends on the trade-off between soundness, tightness, and acquisition cost.

## 6. Assumptions, limitations, and recurring misconceptions

A first recurring limitation is existentiality. The interval-certified universal approximation theorem proves that for every continuous \(f\) and every \(\delta>0\), there exists a ReLU network whose IBP interval is within \(\delta\) of the exact range on every box. It does not provide a practical training algorithm, and the construction uses many slices, a fine grid, and many local bumps. The paper is explicit that difficulty in finding such networks in practice is an optimization or capacity issue rather than a proof of impossibility [1909.13846].

A second limitation is information insufficiency from restricted measurements. In stabilizer-state certification, one gauge is not enough in general: different syndrome distributions can agree on all generator expectations in a single gauge while having different fidelities. The interval therefore quantifies the information content of the measurement design, not merely experimental noise. The adaptive multi-gauge protocol addresses this, but the same paper proves a worst-case necessity result: exact certification requires querying all \(2^n-1\) nontrivial stabilizers in the worst case [2605.29820].

A third issue is that certification under general noise is not the same as i.i.d.-based uncertainty quantification. The entangled-state interval in [2409.19282] is valid for arbitrary joint states because it relies on random sampling and a beta-binomial posterior for the unsampled error count, not on an i.i.d. likelihood. This robustness comes with assumptions of its own: uniformly random sampling of the measured subset, uniformly random basis choice in \(\{x,y,z\}\), and an objective-prior construction. The same work shows that standard i.i.d. intervals can under-cover under heterogeneous or correlated noise, while excessive measurement can enlarge the certified interval when \(M/N\) becomes too large [2409.19282].

A fourth misconception is to equate certified bounds with direct solutions. In SC-DCOPF, IBP provides a mathematically sound bound on the optimal objective and can certify infeasibility drivers, but it does not directly produce a dispatch policy. In certified zeroth-order optimization, \(\xi_t\) certifies the recommendation’s global suboptimality gap, but it is one-sided rather than a symmetric confidence interval around the optimum. These are certified intervals in the sense of rigorous enclosure, not necessarily in the sense of full point estimation or solution recovery [2511.15624] [2308.00978].

Taken together, these works establish certified fidelity intervals as a general methodology for replacing informal uncertainty statements with provable enclosures. The exact mathematical form varies by domain—interval propagation, linear programs over feasible polytopes, Bayesian credible intervals, or worst-case optimization certificates—but the underlying aim is constant: to quantify, in a certified way, how closely a computed interval tracks the true quantity of interest.

Source: https://www.emergentmind.com/topics/certified-fidelity-interval