Leonardo A. Lessa

Leonardo A. Lessa

About Me

PhD student in theoretical physics at the Perimeter Institute for Theoretical Physics and University of Waterloo.

I employ quantum information theory to study many-body quantum systems, focusing on relations between entanglement, symmetries and mixed states. For more details, see Research.

I am also part of the QFormal initiative. We formalize quantum information theory in the computer using Lean.

Latest Publications

A Formalization of the Generalized Quantum Stein's Lemma in Lean

Alex Meiburg, LAL, Rodolfo R. Soldati
October 2025
A Formalization of the Generalized Quantum Stein's Lemma in Lean

Symmetry enforces entanglement at high temperatures

Amir-Reza Negari*, LAL*, Subhayan Sahu
August 2025
Symmetry enforces entanglement at high temperatures

Mixed-state phases from local reversibility

Shengqi Sang*, LAL*, Roger S. K. Mong, Tarun Grover, Chong Wang, Timothy H. Hsieh
July 2025
Mixed-state phases from local reversibility

Higher-form anomaly and long-range entanglement of mixed states

LAL, Shengqi Sang, Tsung-Cheng Lu, Timothy H. Hsieh, Chong Wang
March 2025
Higher-form anomaly and long-range entanglement of mixed states

Strong-to-Weak Spontaneous Symmetry Breaking in Mixed Quantum States

LAL*, Ruochen Ma*, Jian-Hao Zhang*, Zhen Bi, Meng Cheng, Chong Wang
Cover article of PRX Quantum · March 2025
Strong-to-Weak Spontaneous Symmetry Breaking in Mixed Quantum States

Mixed-state quantum anomaly and multipartite entanglement

LAL, Meng Cheng, Chong Wang
PRX · March 2025
Mixed-state quantum anomaly and multipartite entanglement

Symmetry-Enforced Entanglement in Maximally Mixed States

Amin Moharramipour, LAL, Chong Wang, Timothy H. Hsieh, Subhayan Sahu
PRX Quantum · December 2024
Symmetry-Enforced Entanglement in Maximally Mixed States

Measurement as a Shortcut to Long-Range Entangled Quantum Matter

Tsung-Cheng Lu, LAL, Isaac H. Kim, Timothy H. Hsieh
PRX Quantum · December 2022
Measurement as a Shortcut to Long-Range Entangled Quantum Matter