Microscopic Side Information Controls Ordered Hayden--Preskill Recovery

In the Hayden--Preskill protocol, the decoder is usually assumed to know the microscopic identity of the collected output qubits. We study what happens when these labels are unavailable and only the relative order of the received qubits is preserved. The resulting order-preserving deletion channel maps an n-qubit scrambled register to a subsequence of length ell. For a diary of fixed size k, we prove that the optimal entanglement fidelity converges to the no-output value 4^-k when ell=o\(n^2/3\), uniformly over the scrambling unitary. For a Haar-random scrambling unitary, it converges to one when ell=ω\(n^2/3\) and ell=o(n). Monotonicity then gives the fixed-error recovery scale ell_rec=Θ\(n^2/3\). We also consider partial position information obtained by dividing the register into B consecutive blocks and revealing the block of origin of each received qubit. The recovery scale becomes ell_rec(n,B)asymp n^2/3B^-1/3 for Bleqsqrt n and ell_rec(n,B)asymp n/B for Bgeqsqrt n. The exponent 2/3 is traced to rank-aligned coincidences between random subsequences, which control both the converse and the recovery argument. Thus, even purely classical information about the origin of the received subsystems can change the amount of quantum output required for Hayden--Preskill recovery.