3 papers
quant-ph2025
A Formalization of the Generalized Quantum Stein's Lemma in Lean
Alex Meiburg, Leonardo A. Lessa, Rodolfo R. Soldati
The Generalized Quantum Stein's Lemma is a theorem in quantum hypothesis testing that provides an operational meaning to the relative entropy within the context of quantum resource…
quant-ph2025
Symmetry enforces entanglement at high temperatures
Amir-Reza Negari, Leonardo A. Lessa, Subhayan Sahu
Many-body quantum systems with local interactions undergo ``sudden death of entanglement" at high temperatures, whereby thermal states become classical mixtures of product states.…
quant-ph2025
Mixed-state phases from local reversibility
Shengqi Sang, Leonardo A. Lessa, Roger S. K. Mong +3
We propose a refined definition of mixed-state phase equivalence based on locally reversible channel circuits. We show that such circuits preserve topological degeneracy and the lo…