Computational Complexity of Model-Checking Quantum Pushdown Systems. - Deren Lin; Tianrong Lin (CoRR, 2025)