1. Research
  2. Publications

Publications

2023
J. Kirchenbauer, Geiping, J., Wen, Y., Katz, J., Miers, I., and Goldstein, T., “A Watermark for Large Language Models”, 2023.
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. Antonio Ma Guzmán, Erker, P., Gasparinetti, S., Huber, M., and Halpern, N. Yunger, “DiVincenzo-like criteria for autonomous quantum machines”, 2023.
W. Gong, Kharkov, Y., Tran, M. C., Bienias, P., and Gorshkov, A. V., “Improved Digital Quantum Simulation by Non-Unitary Channels”, 2023.
M. Ringbauer, Hinsche, M., Feldker, T., Faehrmann, P. K., Bermejo-Vega, J., Edmunds, C., Postler, L., Stricker, R., Marciniak, C. D., Meth, M., Pogorelov, I., Blatt, R., Schindler, P., Eisert, J., Monz, T., and Hangleiter, D., “Verifiable measurement-based quantum random sampling with trapped ions”, 2023.
R. Abbott, Detmold, W., Romero-López, F., Davoudi, Z., Illa, M., Parreño, A., Perry, R. J., Shanahan, P. E., and Wagman, M. L., “Lattice quantum chromodynamics at large isospin density: 6144 pions in a box”, 2023.
R. Belyansky, Whitsitt, S., Mueller, N., Fahimniya, A., Bennewitz, E. R., Davoudi, Z., and Gorshkov, A. V., “High-Energy Collision of Quarks and Hadrons in the Schwinger Model: From Tensor Networks to Circuit QED”, 2023.
S. Majidy, Agrawal, U., Gopalakrishnan, S., Potter, A. C., Vasseur, R., and Halpern, N. Yunger, “Critical phase and spin sharpening in SU(2)-symmetric monitored quantum circuits”, Physical Review B, vol. 108, 2023.
O. Shtanko, Liu, Y. - J., Lieu, S., Gorshkov, A. V., and Albert, V. V., “Bounds on Autonomous Quantum Error Correction”, 2023.
M. Barbosa, Barthe, G., Doczkal, C., Don, J., Fehr, S., Grégoire, B., Huang, Y. - H., Hülsing, A., Lee, Y., and Wu, X., “Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium”, in Advances in Cryptology – CRYPTO 2023, Cham, 2023.
C. J. Cao, Gullans, M., Lackey, B., and Wang, Z., “Quantum Lego Expansion Pack: Enumerators from Tensor Networks”, 2023.
A. Fahimniya, Dehghani, H., Bharti, K., Mathew, S., Kollár, A. J., Gorshkov, A. V., and Gullans, M., “Fault-tolerant hyperbolic Floquet quantum error correcting codes”, 2023.
A. De, Cook, P., Collins, K., Morong, W., Paz, D., Titum, P., Pagano, G., Gorshkov, A. V., Maghrebi, M., and Monroe, C., “Non-equilibrium critical scaling and universality in a quantum simulator”, 2023.
N. Berthusen and Gottesman, D., “Partial Syndrome Measurement for Hypergraph Product Codes”, 2023.
A. M. Childs, Fu, H., Leung, D., Li, Z., Ozols, M., and Vyas, V., “Streaming quantum state purification”, 2023.
A. Ehrenberg, Bringewatt, J., and Gorshkov, A. V., “Minimum-entanglement protocols for function estimation”, Physical Review Research, vol. 5, 2023.
S. Majidy, Braasch, W. F., Lasek, A., Upadhyaya, T., Kalev, A., and Halpern, N. Yunger, “Noncommuting conserved charges in quantum thermodynamics and beyond”, Nature Reviews Physics, 2023.
2024
J. Leng, Li, J., Peng, Y., and Wu, X., “Expanding Hardware-Efficiently Manipulable Hilbert Space via Hamiltonian Embedding”, 2024.
L. Pedro García-Pintos, Bharti, K., Bringewatt, J., Dehghani, H., Ehrenberg, A., Halpern, N. Yunger, and Gorshkov, A. V., “Estimation of Hamiltonian parameters from thermal states”, 2024.
J. Katz and Sela, B., “A Quantum "Lifting Theorem" for Constructions of Pseudorandom Generators from Random Oracles”, 2024.
Y. Peng, Young, J., Liu, P., and Wu, X., “SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation”, Proceedings of the ACM on Programming Languages, vol. 8, pp. 2425–2455, 2024.
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.
Z. Davoudi, Hsieh, C. - C., and Kadam, S. V., “Scattering wave packets of hadrons in gauge theories: Preparation on a quantum computer”, 2024.
M. Mudassar, Chien, R. W., and Gottesman, D., “Encoding Majorana codes”, 2024.
A. Y. Guo, Young, J. T., Belyansky, R., Bienias, P., and Gorshkov, A. V., “Experimental roadmap for optimal state transfer and entanglement generation in power-law systems”, 2024.