One-shot quantum blurring lemma
Develop a one-shot (non-asymptotic) quantum blurring lemma for the blurring map \widebar{B}_{n,\delta}^\rho that appends \delta n copies of a state \rho, symmetrises over n+\delta n systems, and traces out \delta n systems. Specifically, establish a finite-n bound analogous to the asymptotic Lemma \ref{quantum_blurring_lemma}, providing explicit one-shot control that would enable corresponding one-shot bounds on hypothesis testing relative entropy in quantum resource testing.
References
This is not a coincidence: due to the structure of our argument and the presence of the bosonic lifting procedure, we have not yet been able to obtain a one-shot version of the quantum blurring lemma.
Winter bounded the dimension of subspace neighbourhoods generated by local operators, while posing probability amplification for classical--quantum outputs as a conjectureLemma~II.24 and Conjecture~II.25.