Private communication via zero-private-capacity quantum channels
Diese Arbeit löst ein langjähriges offenes Problem in der Quanteninformationstheorie, indem sie zeigt, dass zwei Quantenkanäle mit null privater Kapazität gemeinsam genutzt werden können, um Superaktivierung zu erreichen, was eine sichere private Kommunikation durch ein spezifisches Kodierungsschema ermöglicht, das ursprünglich mithilfe von großen Sprachmodellen identifiziert und in Lean 4 formal verifiziert wurde.