1.6k citations · 2.2k across the 17 of their papers we have counts for
Showing quant-phShow all
2 papers · 1 filter
quant-ph2022★ 50 cited
Generalized Deep Thermalization for Free Fermions
Maxime Lucas, Lorenzo Piroli, Jacopo De Nardis +1
In non-interacting isolated quantum systems out of equilibrium, local subsystems typically relax to non-thermal stationary states. In the standard framework, information on the res…
quant-ph2013★ 43 cited
Verifying the Steane code with Quantomatic
Ross Duncan, Maxime Lucas
In this paper we give a partially mechanized proof of the correctness of Steane's 7-qubit error correcting code, using the tool Quantomatic. To the best of our knowledge, this repr…