1 citations · 1 across the 1 of their papers we have counts for
5 papers · 1 filter
Why cut-and-choose quantum state verification cannot be both efficient and secure
Fabian Wiesner, Ziad Chaoui, Diana Kessler +2
Quantum state verification plays a vital role in many quantum cryptographic protocols, as it allows the use of quantum states from untrusted sources. While some progress has been m…
Why quantum state verification cannot be both efficient and secure: a categorical approach
Fabian Wiesner, Ziad Chaoui, Diana Kessler +2
The advantage of quantum protocols lies in the inherent properties of the shared quantum states. These states are sometimes provided by sources that are not trusted, and therefore…
Neither Contextuality nor Nonlocality Admits Catalysts
Martti Karvonen
We show that the resource theory of contextuality does not admit catalysts, i.e., there are no correlations that can enable an otherwise impossible resource conversion and still be…
A comonadic view of simulation and quantum resources
Samson Abramsky, Rui Soares Barbosa, Martti Karvonen +1
We study simulation and quantum resources in the setting of the sheaf-theoretic approach to contextuality and non-locality. Resources are viewed behaviourally, as empirical models.…
Categories of Empirical Models
Martti Karvonen
A notion of morphism that is suitable for the sheaf-theoretic approach to contextuality is developed, resulting in a resource theory for contextuality. The key features involve usi…