49,837 research outputs found
Characterizing quantum theory in terms of information-theoretic constraints
We show that three fundamental information-theoretic constraints--the
impossibility of superluminal information transfer between two physical systems
by performing measurements on one of them, the impossibility of broadcasting
the information contained in an unknown physical state, and the impossibility
of unconditionally secure bit commitment--suffice to entail that the
observables and state space of a physical theory are quantum-mechanical. We
demonstrate the converse derivation in part, and consider the implications of
alternative answers to a remaining open question about nonlocality and bit
commitment.Comment: 25 pages, LaTe
Independence Logic and Abstract Independence Relations
We continue the work on the relations between independence logic and the
model-theoretic analysis of independence, generalizing the results of [15] and
[16] to the framework of abstract independence relations for an arbitrary AEC.
We give a model-theoretic interpretation of the independence atom and
characterize under which conditions we can prove a completeness result with
respect to the deductive system that axiomatizes independence in team semantics
and statistics
- …