K. Hietala, Rand, R., Hung, S. - H., Wu, X., and Hicks, M.,
“A Verified Optimizer for Quantum Circuits”,
Proceedings of the ACM on Programming Languages, vol. 5, no. POPL, 2021.
G. Alagic and Russell, A.,
“Uncertainty principles for compact groups”,
Illinois J. Math. , vol. 52, no. 4, pp. 1315-1324, 2008.
A. M. Childs, Maslov, D., Nam, Y., Ross, N. J., and Su, Y.,
“Toward the first quantum simulation with quantum speedup”,
Proceedings of the National Academy of Sciences, vol. 115 , pp. 9456-9461, 2018.
S. Ragole, Xu, H., Lawall, J., and Taylor, J. M.,
“Thermodynamic limits for optomechanical systems with conservative potentials”,
Physical Review B, vol. 96, no. 18, p. 184106, 2017.