10:45
11:45

In recent years, quantum technologies have experienced rapid
growth and maturation. As quantum devices become capable of specific
tasks, ensuring their proper functioning is crucial, necessitating
reliable certification techniques. Certification became one of the most
important topics in the field as it addresses concerns related to noise
and decoherence, ensuring that devices align effectively with
blueprints. In this talk I will discuss possible answers to the
question: How can certification methods, which rely on the robustness
of quantum correlations, be applied to quantum computing platforms?
Self-testing as the most important primitive for device-independent
certification is constructed within the framework of the Bell scenario,
which entails two or more spatially separated parties. While this
setup is advantageous for demonstrating foundational proofs of
quantumness, its application to computing platforms poses challenges due
to the inherent integrality of such platforms, making them incompatible
with Bell-type scenarios. I will describe two approaches to dealing with
this problem. In the first one I give some answers stemming from using
quantum homomorphic encryption to bypass the locality requirement. In
the second one I describe plethora of self-testing results that can be
proven in the case when some amount of communication is allowed among
the parties.

https://combalgo.labri.fr/pmwiki.php/Groupe/Info-Quantique

Room 178