Matherne–Morales–Selover conjecture on unit interval orders and the zeta bijection
Let Un\mathcal U_nUn be the set of unit interval orders on nnn elements, and let Dn\mathcal D_nDn be the set of Dyck paths from (0,0)(0,0)(0,0) to (n,n)(n,n)(n,n). For U∈UnU\in\mathcal U_nU∈Un, let a(U)a(U)a(U) b…