Description
Non-stabilizerness, or magic, is a key resource enabling quantum computers to outperform classical devices. Yet, characterizing and certifying this resource remains challenging due to the complex geometry of stabilizer polytopes and the lack of direct experimental witnesses. In this talk, we will discuss two complementary approaches connecting the resource theory of magic to operational frameworks rooted in quantum foundations. First, we will see how carefully constructed Bell inequalities can serve as witnesses of magic. Second, we will introduce a semi-device-independent framework for certifying nonstabilizer states in prepare-and-measure scenarios, relying only on assumptions about system dimension. Together, these results provide both conceptual and operational tools for probing the quantum resources that underlie computational advantages.
