Growing-time trace fluctuations and self-averaging form factors of Grover walks on random lifts

We prove a functional central limit theorem for trace statistics of Grover walks on random $N$-lifts of a fixed finite connected simple $d$-regular graph, $d\geq3$. All observations are computed from the same random lift. The squared centred traces, divided by their observation times, have averages