1 citations · 1 across the 7 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
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
Quantum SAT Problems with Finite Sets of Projectors are Complete for a Plethora of Classes
Ricardo Rivera Cardoso, Alex Meiburg, Daniel Nagaj
Previously, all known variants of the Quantum Satisfiability (QSAT) problem, i.e. deciding whether a -local (-body) Hamiltonian is frustration-free, could be classified as be…