A Loschmidt echo asks a simple question with a deep answer: if a system evolves, receives a small disturbance, and is then reversed, how much of the original signal returns?
The Operator Loschmidt Echo asks that question about an observable rather than a complete wavefunction. In the released tracker convention, the quantity is
\[f_\delta(O)=\frac{1}{2^n}\operatorname{Tr}\!\left(
UOU^\dagger V_\delta^\dagger UOU^\dagger V_\delta
\right),
\qquad V_\delta=e^{-i\delta G}.
\]
Here U is the scrambling circuit, O is the measured Pauli observable, and V_delta is a small perturbation generated by G.
The physical picture
Imagine starting with a local label written into a quantum system. Evolution under U spreads the influence of that label through the interacting qubits. The perturbation is then applied, and the echo circuit asks whether the chosen observable still behaves as if the evolution could be cleanly reversed.
If the evolved observable has little overlap with the perturbation, they almost commute and the echo changes only slightly. If the observable has spread into the perturbation region, the commutator grows and the echo becomes more sensitive.
For small delta, the tracker description gives the approximate relation
f_\delta(O)\approx 1-\frac{\delta^2}{2}\frac{1}{2^n}
\operatorname{Tr}\!\left([G,U^\dagger O U][G,U^\dagger O U]^\dagger\right).
\]
This is the bridge to operator growth and out-of-time-order correlators. It is not merely poetic language. Yan, Cincio, and Zurek showed that OTOCs can be expressed as thermal averages of Loschmidt-echo signals.
Why random basis states appear
The trace contains all 2^80 computational basis states. Iterating through them is impossible in a direct experiment. The tracker estimator uses an identity that turns the trace into an average over basis states |z> weighted by the input parity
\sigma_z=\langle z|O|z\rangle\in\{-1,+1\}.
\]
Uniform random samples then estimate the full trace:
\[f_\delta(O)\approx\frac{1}{N_{\mathrm{init}}}
\sum_{i=1}^{N_{\mathrm{init}}}\sigma_{z_i}f_\delta^{z_i}(O).
\]
Our run used eight fixed, uniformly sampled bitstrings. Each bitstring produced a perturbed circuit and a matched delta-zero control.
Why divide by the delta-zero control?
On ideal hardware, the control provides a reference for the same deep echo construction without the physical perturbation. On real hardware, both routes suffer from gate errors, decoherence, layout effects, and readout error.
The ratio does not magically remove every error. It does make the reported quantity less dependent on an overall loss of contrast shared by the paired circuits. That is why the project reports the numerator, denominator, and ratio separately rather than hiding everything inside one number.
The circuit family
The unitary uses an Ising-like heavy-hex evolution with three non-overlapping edge-color layers. Sites are divided into fixed and secondary sets with different single-qubit rotation angles. The perturbation acts on the released 24-site support, while the observable remains the released three-site ZZZ operator.
The Q80 extension preserves that core and adds ten connected Kingston sites according to a deterministic frontier rule. This is enough continuity to call the construction tracker-compatible, but not enough to call Q80 an official released tracker instance.
The next article follows this mathematical object through compilation, Fire Opal, IBM Kingston, and mitigated readout.