Arjun Mirani

We study a counterintuitive property of ‘conditioning’ on the result of measuring a subsystem of a quantum state: such conditioning can boost design quality, at the cost of increased system size. We work in the setting of deep thermalization from many-body physics: starting from a bipartite state on a global system (A,B) drawn from a k-design, we measure subsystem B in the computational basis, keep the outcome and examine the state that remains in subsystem A, approximating the overall ensemble (the ‘projected ensemble') by a k’-design. We ask: how does the design quality change due to this procedure, or how does k’ compare to k? We give the first rigorous example of unitary dynamics generating a state such that, projection at very early (constant) times can boost design randomness. These dynamics are those of quantum chaos, modeled by the evolution of a Hamiltonian drawn from the Gaussian Unitary Ensemble (GUE). We show that, even though a state generated by such dynamics at constant time only forms a k=O(1) design, the projected ensemble is Haar-random (or a k' = infinity design) in the thermodynamic limit (i.e. when the size of subsystem B is infinite). This phenomenon persists even with weaker and more physically realistic assumptions; our results can be appropriately applied to non-GUE Hamiltonians that nevertheless show likely chaotic signatures in their eigenbases. Finally, we show that if the global state is a k-design, with no assumption on how it was generated, the projected ensemble on subsystem A is a k/2 design. This improves upon best prior results on the deep thermalization of designs. Together, our contributions argue for design boosting as a result of chaos and showcase a novel mechanism to generate good designs.