Hardware-optimal quantum algorithms - Stefanie Muroya; Krishnendu Chatterjee; Thomas A. Henzinger (Proceedings of the National Academy of Sciences, 2025)