For -dimensional unitaries, . The relative propagator is unitary, and its eigenvalues lie on the unit circle. The triangle inequality gives , with equality precisely when all eigenvalues have the same phase, or . Therefore the specified trace-overlap gate fidelity lies between zero and one, is insensitive to global phase, and equals one exactly when the implemented gate has the same physical action as the target. It compares propagators independently of any particular input state; it is not the identically defined quantity as average state or average gate fidelity.
For target and actual , the relative propagator is . Its trace is , so
The absolute value is unnecessary in a sufficiently small neighbourhood of zero error, but belongs in the exact expression.

Articles by others on the same topic (0)

There are currently no matching articles.