Certified bounds on optimization problems in quantum theory
Dit artikel introduceert een raamwerk voor het extraheren van rigoureuze, gecertificeerde grenzen uit inexacte numerieke oplossingen van semidefiniete relaxaties, waardoor rationele post-processing wordt gevestigd als een praktische methode om betrouwbare certificering van niet-commutatieve optimalisatieproblemen in de kwantuminformatietheorie te waarborgen.