A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In
short, it states that quantum mechanics is in conflict with classical models in which the result …

Quantum computers promise considerable speedups with respect to their classical
counterparts. However, the identification of the innately quantum features that enable these …

This paper provides a systematic yet accessible presentation of the Contextuality-by-Default
theory. The consideration is confined to finite systems of categorical random variables …

Pebble games are a powerful tool in the study of finite model theory, constraint satisfaction
and database theory. Monads and comonads are basic notions of category theory which are …

On Graph Approaches to Contextuality and their Role in Quantum Theory Page 1 123 SPRINGER
BRIEFS IN MATHEMATICS Barbara Amaral · Marcelo Terra Cunha On Graph Approaches to …

Random variables representing measurements, broadly understood to include any
responses to any inputs, form a system in which each of them is uniquely identified by its …

We introduce a notion of contextuality for transformations in sequential contexts, distinct from
the Bell-Kochen-Specker and Spekkens notions of contextuality. Within a transformation …

We develop an approach to combining contextuality with causality, which is general enough
to cover causal background structure, adaptive measurement-based quantum computation …

It is shown that any theory that has certain properties has a measurement problem, in the
sense that it makes predictions that are incompatible with measurement outcomes being …

In this paper, we give an overview of some recent work on applying tools from category
theory in finite model theory, descriptive complexity, constraint satisfaction, and …