Abstract:The notion of probability plays an important role in almost all areas of science and technology. In modern mathematics, however, probability theory means nothing other than measure theory, and the operational characterization of the notion of probability is not established yet. In this paper, based on the toolkit of algorithmic randomness we present an operational characterization of the notion of probability, called an ensemble, for general discrete probability spaces whose sample space is countably infinite. Algorithmic randomness, also known as algorithmic information theory, is a field of mathematics which enables us to consider the randomness of an individual infinite sequence. We use an extension of Martin-Loef randomness with respect to a generalized Bernoulli measure over the Baire space, in order to present the operational characterization. In our former work [K. Tadaki, <a class="link-https" data-arxiv-id="1611.06201" href="https://arxiv.org/abs/1611.06201">arXiv:1611.06201</a>], we developed an operational characterization of the notion of probability for an arbitrary finite probability space, i.e., a probability space whose sample space is a finite set. We then gave a natural operational characterization of the notion of conditional probability in terms of ensemble for a finite probability space, and gave equivalent characterizations of the notion of independence between two events based on it. Furthermore, we gave equivalent characterizations of the notion of independence of an arbitrary number of events/random variables in terms of ensembles for finite probability spaces. In particular, we showed that the independence between events/random variables is equivalent to the independence in the sense of van Lambalgen's Theorem, in the case where the underlying finite probability space is computable. In this paper, we show that we can certainly extend these results over general discrete probability spaces whose sample space is countably infinite.

A refinement of the argument of local realism versus quantum mechanics by algorithmic randomness

Theory-Independent Realism

An operational characterization of the notion of probability by algorithmic randomness II: Discrete probability spaces

Quantum Probability via the Method of Arbitrary Functions

On reconciling quantum mechanics and local realism

On the conflict between local realism and classical physics

"In Mathematical Language": On Mathematical Foundations of Quantum Foundations

An experimental test of non-local realism

Experimental Refutation of Real-Valued Quantum Mechanics under Strict Locality Conditions

A review and reformulation of macroscopic realism: resolving its deficiencies using the framework of generalized probabilistic theories

Quantum mechanics as a macrorealistic theory

A Theory of Quantum Observation and the Emergence of the Born Rule

Quantum nonlocality does not demand all-out randomness in measurement choice

Reinterpreting Quantum Probabilities in a Realistic and Local Framework: The Modified BCHSH Inequalities

Real World Interpretations of Quantum Theory

Randomness in Classical Mechanics and Quantum Mechanics

Speakable in Quantum Mechanics

On the relation between quantum theory and probability

Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs

Quantum Mechanics in a New Light

More Detailed Descriptions of Locality and Realism