Bell's theorem proves that quantum theory is inconsistent with local physical models. It has
propelled research in the foundations of quantum theory and quantum information science …

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 …

We develop Markov categories as a framework for synthetic probability and statistics,
following work of Golubtsov as well as Cho and Jacobs. This means that we treat the …

We derive quantum theory from purely informational principles. Five elementary axioms—
causality, perfect distinguishability, ideal compression, local distinguishability, and pure …

We introduce the framework of general probabilistic theories (GPTs for short). GPTs are a
class of operational theories that generalize both finite-dimensional classical and quantum …

Causal modelling provides a powerful set of tools for identifying causal structure from
observed correlations. It is well known that such techniques fail for quantum systems, unless …

Reichenbach's principle asserts that if two observed variables are found to be correlated,
then there should be a causal explanation of these correlations. Furthermore, if the …

Quantum theory (QT) is usually formulated in terms of abstract mathematical postulates
involving Hilbert spaces, state vectors and unitary operators. In this paper, we show that the …

Our common understanding of the physical world deeply relies on the notion that events are
ordered with respect to some time parameter, with past events serving as causes for future …

In the context of a physical theory, two devices, A and B, described by the theory are called
incompatible if the theory does not allow the existence of a third device C that would have …