---
title: Final-State Fidelity in Quantum Systems
url: https://www.emergentmind.com/topics/final-state-fidelity-fsf
type: topic
---

# Final-State Fidelity in Quantum Systems

Final-State Fidelity (FSF) is a context-dependent term whose precise meaning is fixed by the physical or mathematical structure of a given problem rather than by a universal definition. In the black-hole final state model, FSF quantifies how well quantum information encoded in collapsing matter can be recovered from outgoing Hawking radiation once interior interactions are included [2406.09673]. In stabilizer-state certification, it is the overlap of a prepared state with a target stabilizer state, equivalently the probability mass in the trivial syndrome sector [2605.29820]. In optimal quantum control, it is the terminal Uhlmann-Jozsa fidelity between an evolved density operator and a target state [2203.04361]. In out-of-equilibrium free-fermion dynamics, it is the reduced fidelity between a subsystem state at time \(t\) and its stationary reduced state [2509.01608]. Over a Noetherian ring, by contrast, FSF refers to a module admitting a finitely generated submodule with finite-support quotient [1108.4564].

## 1. Semantic range and recurring structure

Across the cited literature, FSF always compares a realized “final” object with a designated reference, but the reference may be an initial matter state, a target resource state, an ideal channel output, a stationary reduced state, or a quotient module. The term therefore belongs to a family of terminal-overlap or terminal-classification concepts rather than to a single invariant.

| Domain | FSF meaning | Representative paper |
|---|---|---|
| Black-hole information | Recovery fidelity from outgoing Hawking radiation | [2406.09673] |
| Stabilizer certification | Overlap with target stabilizer state | [2605.29820] |
| Quantum control | Terminal Uhlmann-Jozsa fidelity | [2203.04361] |
| Nonequilibrium many-body dynamics | Reduced fidelity to the stationary state | [2509.01608] |
| Commutative algebra | Finitely supported factor-module property | [1108.4564] |

A common structural feature is the use of FSF as an operational diagnostic rather than as a purely formal label. In black-hole physics it probes recoverability and unitarity; in certification it supplies adversarially valid bounds; in control it becomes the terminal performance index; in transport it reveals reliability profiles beyond the mean; and in many-body relaxation it serves as a local thermalization diagnostic.

## 2. Final-state fidelity in black-hole evaporation

In the Horowitz–Maldacena black-hole final state model, the starting point is the standard evaporating black-hole picture: collapsing matter \(M\) forms the hole, Hawking pair creation produces an infalling mode \(R_{in}\) and an outgoing mode \(R_{out}\), and the pair is taken to be maximally entangled in the Unruh state. The final-state model imposes a post-selected boundary condition at the singularity, projecting \(M\otimes R_{in}\) onto a fixed maximally entangled final state. In the idealized model without extra interactions, this projection acts as a teleportation-like transfer of quantum information from the collapsing matter to the outgoing radiation, so that the outside observer can treat the result as a pure outgoing state [2406.09673].

The refinement introduced in "On the fidelity of information retrieval in the black hole final state model with scrambling interactions" is the insertion of a scrambling unitary \(U\) acting on the interior subsystem \(M\otimes R_{in}\) before final-state projection. The outgoing state is then described by a density matrix \(\rho_\Phi\), and the direct retrieval fidelity is defined by
\[
f=\mathrm{Tr}\!\left(|\psi\rangle_M\langle\psi|\,\rho_\Phi\right).
\]
Using the standard one-copy and two-copy Haar integrals with interior dimension \(d=N^2\), the paper shows that the outgoing density matrix is normalized on average,
\[
\int dU\, \mathrm{Tr}\,\rho_\Phi = 1,
\]
and that the Haar-averaged direct FSF is
\[
\overline{f}=\int dU\, f = \frac{1}{N}.
\]
Since \(N=e^S\), this average fidelity is exponentially small in the black-hole entropy, and the paper therefore concludes that the information is “almost lost” once scrambling interactions are included [2406.09673].

This black-hole usage of FSF is narrower than a generic state-overlap measure. It is specifically a recoverability metric for a post-selected channel whose ideal behavior resembles unitary teleportation but whose realistic behavior is strongly degraded by interior scrambling.

## 3. Scrambling, decoding, and the unitarity debate

The same black-hole analysis then asks whether Yoshida–Kitaev decoding can compensate for the loss. In that protocol one prepares an ancillary EPR pair, applies \(U^*\) to \(R_{out}\) and the ancilla, and then post-selects onto the final state. The decoding probability is
\[
P=\mathrm{Tr}\!\left(|\psi\rangle_f\langle\psi|\,|\Psi_{in}\rangle\langle\Psi_{in}|\right),
\]
with Haar average
\[
\overline{P}=\int dU\,P=\frac{2}{N^2+1}\approx \frac{2}{N^2}
\]
for large \(N\). The decoding fidelity is
\[
F=\mathrm{Tr}\!\left(|\psi\rangle_M\langle\psi|\,|\Psi_{out}\rangle\langle\Psi_{out}|\right),
\]
and the averaged product satisfies
\[
\int dU\, PF = \frac{N+1}{N(N^2+1)}.
\]
Because \(\overline{P}\sim 2/N^2\), the large-\(N\) estimate is \(\overline{F}\sim 1/2\) for successful decoding. The resulting picture is that post-selection can produce a moderately faithful output only with extraordinarily small success probability, so the model does not restore unitarity in a deterministic or near-perfect sense [2406.09673].

This conclusion aligns with the critique developed in "Almost certain loss from black holes: critical comments on the black hole final state proposal" [2009.08565]. That paper argues that Lloyd’s optimistic average fidelity relies on a unitary correction \(T'\) that depends on the initial matter state through the final-state Schmidt basis, and therefore does not define a state-independent recovery map. When one instead considers a fixed unitary recovery, the fidelity scales as \(f\sim 1/N\) and approaches zero as the Hilbert-space dimension grows. In a related Horowitz–Maldacena analysis with a general interior unitary, "Entanglement and final state of a black hole under general unitary transformation" reports that the mean fidelity at evaporation is smaller than standard quantum teleportation by a factor \(1/N^2\), while entanglement fidelity is also approximately \(1/N^2\), although entanglement can survive the evaporation process [1006.1234].

A different line of thought appears in "Final-State Condition And Dissipative Quantum Mechanics," which does not define an overlap-based FSF but instead argues that unitarity requires a unique black-hole interior final state, motivated dynamically by a dissipation analogy in a UV theory with infinitely many fields [2103.04732]. This suggests a distinction between two notions that are sometimes conflated: overlap-based final-state fidelity and final-state uniqueness. The former asks how accurately information can be recovered; the latter asks whether the late interior state is input-independent.

## 4. Certification of target quantum states

In stabilizer-state certification, FSF becomes an explicitly certified overlap quantity. For an \(n\)-qubit stabilizer target \(\lvert\psi\rangle\) with syndrome projectors \(\Pi_s\), "Adaptive Stabilizer State Fidelity Certification" defines
\[
F(\rho,\psi)=\operatorname{Tr}[\rho\lvert\psi\rangle\langle\psi\rvert]=p_\rho(\mathbf 0),
\]
so certifying FSF is equivalent to certifying the probability mass at the zero syndrome [2605.29820]. The paper works in a generator-gauge data model: in one round, one chooses a gauge \(A\in GL(n,2)\) and measures only the \(n\) generator expectations \(\mu_\rho(a_i)\). For one fixed gauge, the prior Kalev–Kyrillidis–Linke lower certificate is
\[
F_{\min}(A;\rho) = \max\left\{0,\, 1-\frac12\sum_{i=1}^n\bigl(1-\mu_\rho(a_i)\bigr)\right\},
\]
and the paper derives the complementary upper endpoint
\[
F_{\max}(A;\rho)=\frac12+\frac12\min_{i\in[n]}\mu_\rho(a_i).
\]
Thus a single gauge yields a full certified interval. After multiple rounds, the feasible syndrome polytope \(\mathcal F_t\) defines exact endpoint linear programs
\[
L_t=\min_{p\in\mathcal F_t}p(\mathbf 0),\qquad U_t=\max_{p\in\mathcal F_t}p(\mathbf 0).
\]
The paper proves monotonic tightening, exact recovery once all nontrivial stabilizers are queried, and worst-case necessity of querying all \(2^n-1\) nontrivial stabilizers, i.e. at least \(\lceil(2^n-1)/n\rceil\) full gauge rounds. It also introduces a witness elimination policy that chooses new gauges by maximizing disagreement between current lower- and upper-endpoint witnesses.

A related adaptive fidelity-estimation framework for bipartite higher-dimensional entanglement appears in "Adaptive State Fidelity Estimation for Higher Dimensional Bipartite Entanglement" [2009.07741]. There the target is a Bell-type state \(\ket{\psi}\), the fidelity is
\[
F_{\psi}(\rho) := \braket{\psi|\widehat{\rho}|\psi},
\]
and the method proceeds by first measuring computational-basis statistics \(\mathbb{P}_e\), then choosing local POVM configurations adapted to those statistics. The verifier operators are constructed so that \(\widehat{V}_{j}\ket{\psi}=\ket{\psi}\), and a diagonal error operator is used to produce refined lower and upper bounds. For prime \(d\) and the full measurement set \(\mathbb{M}=\{0,\dots,d-1\}\), the paper gives the exact formula
\[
F_{\psi} = \braket{\widehat{V}_{\mathbb{M}(\vec{\chi}_{A},\vec{\chi}_{B})} - \frac{1}{d}\braket{\widehat{\mathcal{E}(\vec{\chi}_{A},\vec{\chi}_{B})}.
\]
The paper states that these adaptive bounds can be tighter than those of Bavaresco et al. when more than one additional local POVM configuration is used.

## 5. Optimal control and process benchmarks

In quantum control, FSF is the objective function that links a physical transfer task to an optimization problem. "High Fidelity Quantum State Transfer by Pontryagin Maximum Principle" formulates the task as minimizing the negative Uhlmann-Jozsa fidelity,
\[
\text{Minimize } -\mathcal{F}(\rho,\sigma),
\]
subject to Liouville-von Neumann dynamics [2203.04361]. The fidelity is
\[
\mathcal{F}\left( \rho ,\sigma  \right)={\left( \mathrm{tr}\sqrt{\sqrt{\rho }\sigma \sqrt{\rho } \right)}^{2},
\]
with the usual symmetry, bounds, pure-state reduction, and unitary invariance. The Pontryagin Maximum Principle supplies the Pontryagin-Hamilton function
\[
{\cal H}\left( \rho ,u,\pi \right)=\mathrm{tr}\left( \pi^\dagger F\left( \rho ,u \right) \right),
\]
the maximum condition
\[
{\cal H}\left( \rho^*(t), u, \pi(t) \right)\leq {\cal H}\left( \rho^*(t), u^*(t),\pi (t) \right),
\]
and the terminal transversality relation
\[
\pi^\dagger( 1)=\nabla_\rho\mathcal{F}( \rho^*(1) ,\sigma ( 1 )).
\]
The paper then implements a time-discretized shooting algorithm for a spin-\(\tfrac12\) system transferring \(\lvert 0\rangle\) to \(\lvert 1\rangle\).

A more economical benchmarking use of final-state fidelity appears in "Bounds on quantum process fidelity from minimum required number of quantum state fidelity measurements" [1401.5964]. There the relevant quantity is the output-state fidelity
\[
F_\psi = \langle \psi_{\mathrm{ideal}}| \rho_{\mathrm{out}} |\psi_{\mathrm{ideal}}\rangle,
\]
measured for \(d+1\) pure probe states. For two-qubit gates, the paper derives the analytic lower bound
\[
F_\chi \ge \tilde{F}_\chi = \left[(2F-1)\sqrt{G} -\sqrt{(4F-1)(1-F)}\sqrt{1-G}\right]^2,
\]
where \(F\) is the average fidelity over the computational basis and \(G\) is the fidelity of the balanced superposition probe state. This protocol uses the minimum number of pure probe states needed for unitary certification in the Reich et al. sense, but the resulting lower bound is generally weaker than Hofmann’s two-MUB bound.

## 6. State transfer, teleportation, and local relaxation

In quantum state transfer, FSF-like quantities are often used to describe not just mean performance but the entire reliability profile over input states. "Distribution of Fidelity in Quantum State Transfer Protocols" defines, for a pure sender state \(\ket{\psi_A}\) and receiver output \(\rho_B(t)\),
\[
F(t)=\bra{\psi_A}\rho_B(t)\ket{\psi_A},
\]
and then studies the full probability distribution \(pdf(F)\) induced by the input-state ensemble [2405.02721]. Perfect transfer gives \(pdf(F)=\delta(F-1)\), while realistic imperfections such as non-perfect read-out timing broaden and deform this delta-like peak. The paper emphasizes that protocols with the same average fidelity can have different fidelity distributions, different minimum fidelities, and different sensitivities to timing errors.

Teleportation theory sharpens this point by separating optimality from uniformity. "Fidelity deviation in quantum teleportation with a two-qubit state" characterizes a resource state by the pair
\[
(F_\rho,\;\Delta_\rho),
\]
where \(F_\rho\) is the maximal average fidelity achievable in the standard protocol with local unitaries and \(\Delta_\rho\) is the standard deviation of fidelity over all pure inputs [1906.01394]. The exact formula
\[
\Delta_\rho = \sqrt{ \frac{1}{3}\operatorname{Tr}(T^2) - \frac{1}{15}\big(\operatorname{Tr}T\big)^2 }
\]
shows that usefulness and universality are distinct. For useful states, the necessary and sufficient universality condition is
\[
|t_{11}|=|t_{22}|=|t_{33}|.
\]
This makes fidelity deviation a complement to average fidelity rather than a replacement for it.

A related local-unitary orbit perspective appears in "Fidelity between a bipartite state and another one undergoing local unitary dynamics" [1501.07742]. That paper studies
\[
\mathfrak G_{\max}(\rho,\sigma) := \max_{U_1,U_2} F\!\left(\rho,(U_1\otimes U_2)\sigma(U_1\otimes U_2)^\dagger\right),
\]
and the corresponding minimum \(\mathfrak G_{\min}\), reducing both to semidefinite programs. For two pure bipartite states, \(\mathfrak G_{\max}\) is the sum of square roots of products of Schmidt-spectrum eigenvalues and \(\mathfrak G_{\min}=0\). These optimizations connect fidelity to geometric entanglement, fully entangled fraction, and distillability-related questions.

In nonequilibrium many-body dynamics, FSF acquires a late-time meaning. "Reduced fidelities for free fermions out of equilibrium: From dynamical quantum phase transitions to Mpemba effect" defines, for a subsystem \(A\),
\[
\mathcal{F}_A^\infty(t) = \frac{\mathrm{Tr}\!\left(\rho_A^\infty \rho_A(t)\right)} {\sqrt{\mathrm{Tr}\!\left[(\rho_A^\infty)^2\right]\mathrm{Tr}\!\left[\rho_A(t)^2\right]} }.
\]
This compares the local state at time \(t\) with its stationary reduced state rather than with the initial state [2509.01608]. In the hydrodynamic regime the logarithmic FSF admits a quasiparticle-picture formula with a single lightcone and no DQPT-like cusp singularities. The paper further uses crossings of \(\Lambda_A^{\infty,\mathcal Q}(t)\) curves as a criterion for the quantum Mpemba effect.

## 7. Terminological caution and non-quantum usage

The acronym FSF is not restricted to fidelity in the quantum-information sense. In commutative algebra, "On the equivalence of fsf and weakly Laskerian classes" defines an FSF module as an \(R\)-module \(M\) for which there exists a finitely generated submodule \(N\subseteq M\) such that \(\operatorname{Supp}(M/N)\) is finite [1108.4564]. Over a Noetherian ring, the paper proves the equivalence
\[
\text{weakly Laskerian} \iff \text{FSF},
\]
and derives consequences for completion and finite integral extensions. This usage is terminologically unrelated to quantum-state overlap.

A nearby but distinct abbreviation occurs in dark-matter phenomenology, where FSS means “final state Sommerfeld effect” rather than fidelity [2009.14591]. The coexistence of FSF and FSS in adjacent literatures reinforces a practical rule: the meaning of “final-state” terminology must be inferred from the local formalism, not from the acronym alone.

Taken together, these literatures show that FSF is best understood as a family resemblance term. In each setting it identifies what is being compared at the end of a process, but the mathematical object of comparison, the operational question being asked, and the interpretation of a high or low value are determined by the surrounding theory rather than by the acronym itself.

Source: https://www.emergentmind.com/topics/final-state-fidelity-fsf