M.R. Narimani, K.R. Davis, and D.K. Molzahn, “Certifying the Nonexistence of Feasible Paths Between Power System Operating Points,” submitted, arXiv:2509.05935.