TY - RPRT TI - A Sudakov--Fernique proof of Lehner-type edge bounds for matrix-valued GUE sums AU - Benoit Collins AU - Yuta Yamagishi PY - 2026 UR - https://arxiv.org/abs/2606.21137 ID - 2606.21137 ER -