Non-escape of mass for arithmetic quantum limits on hyperbolic 4-manifolds

We make progress on the quantum unique ergodicity (QUE) conjecture for Hecke-Maass forms on a congruence quotient of hyperbolic 4-space, eliminating the possibility of "escape of mass" for these forms.