Testing axioms for quantum theory on probabilistic toy-theories
نویسندگان
چکیده
منابع مشابه
Testing axioms for quantum theory on probabilistic toy-theories
In D’Ariano in Philosophy of Quantum Information and Entanglement, Cambridge University Press, Cambridge, UK (2010), one of the authors proposed a set of operational postulates to be considered for axiomatizing Quantum Theory. The underlying idea is to derive Quantum Theory as the mathematical representation of a fair operational framework, i.e. a set of rules which allows the experimenter to m...
متن کاملQuantum Theory from Four of Hardy’s Axioms
In a recent paper [e-print quant-ph/0101012], Hardy has given a derivation of ‘‘quantum theory from five reasonable axioms.’’ Here we show that Hardy’s first axiom, which identifies probability with limiting frequency in an ensemble, is not necessary for his derivation. By reformulating Hardy’s assumptions, and modifying a part of his proof, in terms of Bayesian probabilities, we show that his ...
متن کاملQuantum Theory From Five Reasonable Axioms
The usual formulation of quantum theory is based on rather obscure axioms (employing complex Hilbert spaces, Hermitean operators, and the trace formula for calculating probabilities). In this paper it is shown that quantum theory can be derived from five very reasonable axioms. The first four of these axioms are obviously consistent with both quantum theory and classical probability theory. Axi...
متن کاملLimitations on testing quantum theory
How much of quantum theory can be experimentally tested? We investigate this question in an extreme scenario, where the experimenter cannot make any assumptions on the quantum description of a device or state. Instead, she can only directly manipulate and interpret classical information. We prove that in this scenario, there is almost nothing that she can ascertain about the internal state of a...
متن کاملEquational Axioms for Probabilistic Bisimilarity
This paper gives an equational axiomatization of probabilistic bisimulation equivalence for a class of finite-state agents previously studied by Stark and Smolka ((2000) Proof, Language, and Interaction: Essays in Honour of Robin Milner, pp. 571–595). The axiomatization is obtained by extending the general axioms of iteration theories (or iteration algebras), which characterize the equational p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Quantum Information Processing
سال: 2010
ISSN: 1570-0755,1573-1332
DOI: 10.1007/s11128-010-0172-3