1. Research
  2. Publications

Publications

Journal Article
M. Vuffray, Coffrin, C., Kharkov, Y. A., and Lokhov, A. Y., “Programmable Quantum Annealers as Noisy Gibbs Samplers”, 2020.
C. Monroe, Campbell, W. C., Duan, L. - M., Gong, Z. - X., Gorshkov, A. V., Hess, P., Islam, R., Kim, K., Pagano, G., Richerme, P., Senko, C., and Yao, N. Y., “Programmable Quantum Simulations of Spin Systems with Trapped Ions”, 2019.
S. D. Alexander, Ross, N. J., Selinger, P., Smith, J. M., and Valiron, B., “Programming the Quantum Future”, Communications of the ACM, vol. 58, no. 8, pp. 52-61, 2015.
J. T. Iosue, Mooney, T. C., Ehrenberg, A., and Gorshkov, A. V., “Projective toric designs, difference sets, and quantum state designs”, 2023.
D. R. M. Arvidsson-Shukur, Braasch, Jr., W. F., De Bievre, S., Dressel, J., Jordan, A. N., Langrenez, C., Lostaglio, M., Lundeen, J. S., and Halpern, N. Yunger, “Properties and Applications of the Kirkwood-Dirac Distribution”, 2024.
D. Carney, Ghosh, S., Krnjaic, G., and Taylor, J. M., “Proposal for gravitational direct detection of dark matter”, Physical Review D, vol. 102, 2021.
E. Waks and Monroe, C., “Protocol for Hybrid Entanglement Between a Trapped Atom and a Semiconductor Quantum Dot ”, Physical Review A, vol. 80, no. 6, 2009.
J. Bringewatt, Boettcher, I., Niroula, P., Bienias, P., and Gorshkov, A. V., “Protocols for estimating multiple functions with quantum sensor networks: Geometry and performance”, Physical Review Research, vol. 3, 2021.
A. Kyrillidis, Kalev, A., Park, D., Bhojanapalli, S., Caramanis, C., and Sanghavi, S., “Provable quantum state tomography via non-convex methods”, 2017.
Y. Tong, Albert, V. V., McClean, J. R., Preskill, J., and Su, Y., “Provably accurate simulation of gauge theories and bosonic systems”, Quantum, vol. 6, p. 816, 2022.
E. Onorati, Rouzé, C., França, D. Stilck, and Watson, J. D., “Provably Efficient Learning of Phases of Matter via Dissipative Evolutions”, 2023.
H. - Y. Huang, Kueng, R., Torlai, G., Albert, V. V., and Preskill, J., “Provably efficient machine learning for quantum many-body problems”, Science, vol. 377, 2022.
K. Hietala, Rand, R., Hung, S. - H., Li, L., and Hicks, M., “Proving Quantum Programs Correct”, 12th International Conference on Interactive Theorem Proving (ITP 2021), vol. 193, pp. 21:1–21:19, 2021.
K. Hietala, Rand, R., Hung, S. - H., Li, L., and Hicks, M., “Proving Quantum Programs Correct”, Schloss Dagstuhl, 2021.
G. Pupillo, Rey, A. Maria, Williams, C. J., and Clark, C. W., “Pseudo-fermionization of 1-D bosons in optical lattices”, New Journal of Physics, vol. 8, no. 8, pp. 161 - 161, 2006.
B. Fefferman and Umans, C., “Pseudorandom generators and the BQP vs. PH problem”, 2010.
Z. Ji, Liu, Y. - K., and Song, F., “Pseudorandom States, Non-Cloning Theorems and Quantum Money”, In: Shacham H., Boldyreva A. (eds) Advances in Cryptology – CRYPTO 2018. CRYPTO 2018. Lecture Notes in Computer Science., vol. 10993, 2018.
X. Ma, Jackson, T., Zhou, H., Chen, J., Lu, D., Mazurek, M. D., Fisher, K. A. G., Peng, X., Kribs, D., Resch, K. J., Ji, Z., Zeng, B., and Laflamme, R., “Pure-state tomography with the expectation value of Pauli operators”, Physical Review A, vol. 93, no. 3, p. 032140, 2016.
L. Li, Zhu, M., Cleaveland, R., Nicolellis, A., Lee, Y., Chang, L., and Wu, X., “Qafny: A Quantum-Program Verifier”, 2024.
L. Li, Zhu, M., Cleaveland, R., Lee, Y., Chang, L., and Wu, X., “Qafny: Quantum Program Verification Through Type-guided Classical Separation Logic”, 2023.
J. P. Zwolak, Kalantre, S. S., Wu, X., Ragole, S., and Taylor, J. M., “QFlow lite dataset: A machine-learning approach to the charge states in quantum dot experiments”, PLOS ONE, vol. 13, no. 10, p. e0205844, 2018.
S. Kushnir, Leng, J., Peng, Y., Fan, L., and Wu, X., “QHDOPT: A Software for Nonlinear Optimization with Quantum Hamiltonian Descent”, 2024.
S. P. Jordan, Gosset, D., and Love, P. J., “QMA-complete problems for stoquastic Hamiltonians and Markov matrices”, Physical Review A, vol. 81, no. 3, 2010.
D. P. O'Leary and Bullock, S. S., “QR Factorizations Using a Restricted Set of Rotations”, Electronic Transactions on Numerical Analysis, vol. 21, pp. 20-27, 2005.
M. J. O'Hara and O'Leary, D. P., “Quadratic fermionic interactions yield effective Hamiltonians for adiabatic quantum computing ”, Physical Review A, vol. 79, no. 3, 2009.