Final-State Fidelity in Quantum Systems

• Final-State Fidelity (FSF) is defined as the overlap between a realized final state and a designated reference state, serving as an operational diagnostic across varied contexts.
• In black-hole physics, FSF measures how well quantum information is retrieved from Hawking radiation, highlighting the effects of interior scrambling on information loss.
• In quantum control and stabilizer-state certification, FSF acts as a performance index and benchmark for state transfer fidelity and process optimization.

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 (Li et al., 2024). 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 (Wang, 28 May 2026). In optimal quantum control, it is the terminal Uhlmann-Jozsa fidelity between an evolved density operator and a target state (Dehaghani et al., 2022). In out-of-equilibrium free-fermion dynamics, it is the reduced fidelity between a subsystem state at time $t$ and its stationary reduced state (Parez et al., 1 Sep 2025). Over a Noetherian ring, by contrast, FSF refers to a module admitting a finitely generated submodule with finite-support quotient (Bahmanpour et al., 2011).

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	(Li et al., 2024)
Stabilizer certification	Overlap with target stabilizer state	(Wang, 28 May 2026)
Quantum control	Terminal Uhlmann-Jozsa fidelity	(Dehaghani et al., 2022)
Nonequilibrium many-body dynamics	Reduced fidelity to the stationary state	(Parez et al., 1 Sep 2025)
Commutative algebra	Finitely supported factor-module property	(Bahmanpour et al., 2011)

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 (Li et al., 2024).

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,

$M$0

and that the Haar-averaged direct FSF is

$M$1

Since $M$2, 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 (Li et al., 2024).

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 $M$3 to $M$4 and the ancilla, and then post-selects onto the final state. The decoding probability is

$M$5

with Haar average

$M$6

for large $M$7. The decoding fidelity is

$M$8

and the averaged product satisfies

$M$9

Because $R_{in}$0, the large-$R_{in}$1 estimate is $R_{in}$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 (Li et al., 2024).

This conclusion aligns with the critique developed in "Almost certain loss from black holes: critical comments on the black hole final state proposal" (Lee et al., 2020). That paper argues that Lloyd’s optimistic average fidelity relies on a unitary correction $R_{in}$3 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 $R_{in}$4 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 $R_{in}$5, while entanglement fidelity is also approximately $R_{in}$6, although entanglement can survive the evaporation process (Ahn, 2010).

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 (Ho, 2021). 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 $R_{in}$7-qubit stabilizer target $R_{in}$8 with syndrome projectors $R_{in}$9, "Adaptive Stabilizer State Fidelity Certification" defines

$R_{out}$0

so certifying FSF is equivalent to certifying the probability mass at the zero syndrome (Wang, 28 May 2026). The paper works in a generator-gauge data model: in one round, one chooses a gauge $R_{out}$1 and measures only the $R_{out}$2 generator expectations $R_{out}$3. For one fixed gauge, the prior Kalev–Kyrillidis–Linke lower certificate is

$R_{out}$4

and the paper derives the complementary upper endpoint

$R_{out}$5

Thus a single gauge yields a full certified interval. After multiple rounds, the feasible syndrome polytope $R_{out}$6 defines exact endpoint linear programs

$R_{out}$7

The paper proves monotonic tightening, exact recovery once all nontrivial stabilizers are queried, and worst-case necessity of querying all $R_{out}$8 nontrivial stabilizers, i.e. at least $R_{out}$9 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" (Wu, 2020). There the target is a Bell-type state $M\otimes R_{in}$0, the fidelity is

$M\otimes R_{in}$1

and the method proceeds by first measuring computational-basis statistics $M\otimes R_{in}$2, then choosing local POVM configurations adapted to those statistics. The verifier operators are constructed so that $M\otimes R_{in}$3, and a diagonal error operator is used to produce refined lower and upper bounds. For prime $M\otimes R_{in}$4 and the full measurement set $M\otimes R_{in}$5, the paper gives the exact formula

$M\otimes R_{in}$6

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,

$M\otimes R_{in}$7

subject to Liouville-von Neumann dynamics (Dehaghani et al., 2022). The fidelity is

$M\otimes R_{in}$8

with the usual symmetry, bounds, pure-state reduction, and unitary invariance. The Pontryagin Maximum Principle supplies the Pontryagin-Hamilton function

$M\otimes R_{in}$9

the maximum condition

$U$0

and the terminal transversality relation

$U$1

The paper then implements a time-discretized shooting algorithm for a spin-$U$2 system transferring $U$3 to $U$4.

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" (Fiurasek et al., 2014). There the relevant quantity is the output-state fidelity

$U$5

measured for $U$6 pure probe states. For two-qubit gates, the paper derives the analytic lower bound

$U$7

where $U$8 is the average fidelity over the computational basis and $U$9 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 $M\otimes R_{in}$0 and receiver output $M\otimes R_{in}$1,

$M\otimes R_{in}$2

and then studies the full probability distribution $M\otimes R_{in}$3 induced by the input-state ensemble (Lorenzo et al., 2024). Perfect transfer gives $M\otimes R_{in}$4, 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

$M\otimes R_{in}$5

where $M\otimes R_{in}$6 is the maximal average fidelity achievable in the standard protocol with local unitaries and $M\otimes R_{in}$7 is the standard deviation of fidelity over all pure inputs (Ghosal et al., 2019). The exact formula

$M\otimes R_{in}$8

shows that usefulness and universality are distinct. For useful states, the necessary and sufficient universality condition is

$M\otimes R_{in}$9

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" (Zhang et al., 2015). That paper studies

$\rho_\Phi$0

and the corresponding minimum $\rho_\Phi$1, reducing both to semidefinite programs. For two pure bipartite states, $\rho_\Phi$2 is the sum of square roots of products of Schmidt-spectrum eigenvalues and $\rho_\Phi$3. 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 $\rho_\Phi$4,

$\rho_\Phi$5

This compares the local state at time $\rho_\Phi$6 with its stationary reduced state rather than with the initial state (Parez et al., 1 Sep 2025). 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 $\rho_\Phi$7 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 $\rho_\Phi$8-module $\rho_\Phi$9 for which there exists a finitely generated submodule $$f=\mathrm{Tr}\!\left(|\psi\rangle_M\langle\psi|\,\rho_\Phi\right).$$0 such that $$f=\mathrm{Tr}\!\left(|\psi\rangle_M\langle\psi|\,\rho_\Phi\right).$$1 is finite (Bahmanpour et al., 2011). Over a Noetherian ring, the paper proves the equivalence

$$f=\mathrm{Tr}\!\left(|\psi\rangle_M\langle\psi|\,\rho_\Phi\right).$$2

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 (Cui et al., 2020). 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.