Gao–Isaev–McKay monotone coupling conjecture for random regular graphs
Gao–Isaev–McKay conjecture. There exists a coupling such that