Publications

Journal Article
A. M. Childs and Chuang, I. L., Universal quantum computation with two-level trapped ions, Physical Review A, vol. 63, no. 1, 2000.
Y. Wang, Gullans, M., Na, X., Whitsitt, S., and Gorshkov, A. V., Universal scattering with general dispersion relations, Phys. Rev. Research, vol. 4, 2022.
C. Miller and Shi, Y., Universal Security for Randomness Expansion from the Spot-Checking Protocol, SIAM Journal on Computing, vol. 46, no. 4, 2017.
M. A. Nielsen, Bremner, M. J., Dodd, J. L., Childs, A. M., and Dawson, C. M., Universal simulation of Hamiltonian dynamics for qudits, Physical Review A, vol. 66, no. 2, 2002.
D. Bacon, Childs, A. M., Chuang, I. L., Kempe, J., Leung, D. W., and Zhou, X., Universal simulation of Markovian quantum dynamics, Physical Review A, vol. 64, no. 6, 2001.
L. Chen, Chen, J., Djokovic, D. Z., and Zeng, B., Universal Subspaces for Local Unitary Groups of Fermionic Systems, Communications in Mathematical Physics, vol. 333, no. 2, pp. 541 - 563, 2015.
Y. Wang, Gullans, M., Na, X., and Gorshkov, A. V., Universality in one-dimensional scattering with general dispersion relations, Phys. Rev. Res., vol. 4, 2022.
Ä. Baumeler, Gilani, A. Shiraz, and Rashid, J., Unlimited non-causal correlations and their relation to non-locality, Quantum, vol. 6, p. 673, 2022.
C. Yen- Yu Lin and Lin, H. - H., Upper bounds on quantum query complexity inspired by the Elitzur-Vaidman bomb tester, Theory of Computing, vol. 12, no. 18, pp. 1-35, 2016.
D. Maslov and Nam, Y., Use of global interactions in efficient quantum circuit constructions, New Journal of Physics, 2017.
D. Carney, Müller, H., and Taylor, J. M., Using an Atom Interferometer to Infer Gravitational Entanglement Generation, PRX Quantum, vol. 2, no. 030330, 2021.
A. Kalev and Kyrillidis, A., Validating and Certifying Stabilizer States, Phys. Rev. A , vol. 99, no. 042337, 2019.
J. K. Perron, Gullans, M., Taylor, J. M., Stewart, Jr., M. D., and Zimmerman, N. M., Valley Blockade in a Silicon Double Quantum Dot, Physical Review B, vol. 96, no. 20, p. 205302, 2017.
O. Higgott, Wang, D., and Brierley, S., Variational Quantum Computation of Excited States, Quantum , vol. 3, no. 156, 2019.
R. Rand, Verification Logics for Quantum Programs, 2019.
L. Li, Voichick, F., Hietala, K., Peng, Y., Wu, X., and Hicks, M., Verified Compilation of Quantum Oracles, 2021.
K. Hietala, Rand, R., Hung, S. - H., Wu, X., and Hicks, M., Verified Optimization in a Quantum Intermediate Representation, 2019.
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.
K. A. Landsman, Figgatt, C., Schuster, T., Linke, N. M., Yoshida, B., Yao, N. Y., and Monroe, C., Verified Quantum Information Scrambling, 2018.
J. Bub, Von Neumann's 'No Hidden Variables' Proof: A Re-Appraisal, Foundations of Physics, vol. 40, no. 9-10, pp. 1333 - 1340, 2010.
S. Paul and Tiesinga, E., Wannier functions using a discrete variable representation for optical lattices, Physical Review A, vol. 94, no. 3, p. 033606, 2016.
A. M. Childs, Harrow, A. W., and Wocjan, P., Weak Fourier-Schur sampling, the hidden subgroup problem, and the quantum collision problem , 2006.
H. Fu, Leung, D., and Mancinska, L., When the asymptotic limit offers no advantage in the local-operations-and-classical-communication paradigm, Phys. Rev. A , vol. 89, no. 052310, 2014.
Y. Alnawakhtha and Miller, C., Where we are with quantum, Nature Physics, 2022.
J. Bub, Zeilinger, A., and Bertlmann, R., Whose Information? Information About What?, Quantum [Un]Speakables II: 50 Years of Bell’s Theorem, 2016.