H. Deng, Tao, R., Peng, Y., and Wu, X.,
“A Case for Synthesis of Recursive Quantum Unitary Programs”,
Proceedings of the ACM on Programming Languages, vol. 8, pp. 1759–1788, 2024.
A. M. Childs, Gosset, D., and Webb, Z.,
“The Bose-Hubbard model is QMA-complete”,
Proceedings of the 41st International Colloquium on Automata, Languages, and Programming (ICALP 2014), vol. 8572, pp. 308-319, 2014.
A. Maria Rey, Burnett, K., Roth, R., Edwards, M., Williams, C. J., and Clark, C. W.,
“Bogoliubov approach to superfluidity of atoms in an optical lattice”,
Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 36, no. 5, pp. 825 - 841, 2003.