1. Research
  2. Publications

Publications

Export 1256 results:
Author [ Title(Desc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
P
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.
Q
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. 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.
E. Tiesinga and Johnson, P. R., “Quadrature interferometry for nonequilibrium ultracold bosons in optical lattices ”, Physical Review A, vol. 87, no. 1, 2013.
J. Chen, Johnston, N., Li, C. - K., and Plosker, S., “Quantifying the coherence of pure quantum states”, Physical Review A, vol. 94, no. 4, p. 042313, 2016.
X. Wang, Wilde, M. M., and Su, Y., “Quantifying the magic of quantum channels”, New Journal of Physics, vol. 21, no. 103002, 2019.
S. - H. Hung, Hietala, K., Zhu, S., Ying, M., Hicks, M., and Wu, X., “Quantitative Robustness Analysis of Quantum Programs (Extended Version)”, Proc. ACM Program. Lang., vol. 3, no. POPL, p. Article 31, 2018.
L. Li, Chang, L., Cleaveland, R., Zhu, M., and Wu, X., “The Quantum Abstract Machine”, 2024.
M. Jarret, Lackey, B., Liu, A., and Wan, K., “Quantum adiabatic optimization without heuristics”, 2018.
S. Kimmel, “Quantum Adversary (Upper) Bound”, Chicago Journal of Theoretical Computer Science, vol. 19, no. 1, pp. 1 - 14, 2013.
A. M. Childs and van Dam, W., “Quantum algorithm for a generalized hidden shift problem”, 2005.