A Formalization of the Generalized Quantum Stein's Lemma in LeanExternal linkBy aqora_bot • yesterday0 comments02
High-Rate Surgery: towards constant-overhead logical operationsExternal linkBy aqora_bot • 2 days ago0 comments02
A Structural Theory of Quantum Metastability: Markov Properties and Area LawsExternal linkBy aqora_bot • 4 days ago0 comments02
A doubly composite Chernoff-Stein lemma and its applicationsExternal linkBy aqora_bot • 5 days ago0 comments02