Fig. 1: Hayden-Preskill decoupling as a general set-up where R and A form a maximally entangled pair and Ψ is a generic density matrix in \(\bar{A}\) which is purified with the memory register MEM.
From: SU(d)-symmetric random unitaries: quantum scrambling, error correction, and machine learning

In the case that Ψ itself is a pure state, we omit the MEM register for the case of SU(d)-covariant codes.