MAINT: use the cythonized transition probability matrix lower bound