The Haar decoupling calculation

The preparation and access resemble the finite information task studied by Hayden and Preskill HaydenPreskill. The displayed moment is proved here. Hawk06-A is a predecessor comparison, not a substitute for this calculation Hawk06A.

The theorem does not certify every $U$, or guarantee a threshold before an arbitrary chosen cutoff. It applies only when its dimensional inequality is satisfied.