Quantum Mechanics Is Compatible with Counterfactual Definiteness.

Counterfactual definiteness (CFD) means that if some property is measured in some context, then the outcome of the measurement would have been the same had this property been measured in a different context. A context includes all other measurements made together with the one in question, and the spatiotemporal relations among them. The proviso for CFD is non-disturbance: any physical influence of the contexts on the property being measured is excluded by the laws of nature, so that no one measuring this property has a way of ascertaining its context. It is usually claimed that in quantum mechanics CFD does not hold, because if one assigns the same value to a property in all contexts it is measured in, one runs into a logical contradiction, or at least contravenes quantum theory and experimental evidence. We show that this claim is not substantiated if one takes into account that only one of the possible contexts can be a factual context, all other contexts being counterfactual. With this in mind, any system of random variables can be viewed as satisfying CFD. The concept of CFD is closely related to but distinct from that of noncontextuality, and it is the latter property that may or may not hold for a system, in particular being contravened by some quantum systems.

Contextuality with Disturbance and without: Neither Can Violate Substantive Requirements the Other Satisfies.

Contextuality was originally defined only for consistently connected systems of random variables (those without disturbance/signaling). Contextuality-by-Default theory (CbD) offers an extension of the notion of contextuality to inconsistently connected systems (those with disturbance) by defining it in terms of the systems' couplings subject to certain constraints. Such extensions are sometimes met with skepticism. We pose the question of whether it is possible to develop a set of substantive requirements (i.e., those addressing a notion itself rather than its presentation form) such that (1) for any consistently connected system, these requirements are satisfied, but (2) they are violated for some inconsistently connected systems. We show that no such set of requirements is possible, not only for CbD but for all possible CbD-like extensions of contextuality. This follows from the fact that any extended contextuality theory T is contextually equivalent to a theory T' in which all systems are consistently connected. The contextual equivalence means the following: there is a bijective correspondence between the systems in T and T' such that the corresponding systems in T and T' are, in a well-defined sense, mere reformulations of each other, and they are contextual or noncontextual together.

Contextuality and Informational Redundancy.

A noncontextual system of random variables may become contextual if one adds to it a set of new variables, even if each of them is obtained by the same context-wise function of the old variables. This fact follows from the definition of contextuality, and its demonstration is trivial for inconsistently connected systems (i.e., systems with disturbance). However, it also holds for consistently connected (and even strongly consistently connected) systems, provided one acknowledges that if a given property was not measured in a given context, this information can be used in defining functions among the random variables. Moreover, every inconsistently connected system can be presented as a (strongly) consistently connected system with essentially the same contextuality characteristics.

Measures of contextuality and non-contextuality.

We discuss three measures of the degree of contextuality in contextual systems of dichotomous random variables. These measures are developed within the framework of the Contextuality-by-Default (CbD) theory, and apply to inconsistently connected systems (those with 'disturbance' allowed). For one of these measures of contextuality, presented here for the first time, we construct a corresponding measure of the degree of non-contextuality in non-contextual systems. The other two CbD-based measures do not suggest ways in which degree of non-contextuality of a non-contextual system can be quantified. We find the same to be true for the contextual fraction measure developed by Abramsky, Barbosa and Mansfield. This measure of contextuality is confined to consistently connected systems, but CbD allows one to generalize it to arbitrary systems. This article is part of the theme issue 'Contextuality and probability in quantum mechanics and beyond'.

Contextuality Analysis of the Double Slit Experiment (with a Glimpse into Three Slits).

The Contextuality-by-Default theory is illustrated on contextuality analysis of the idealized double-slit experiment. The experiment is described by a system of contextually labeled binary random variables each of which answers the question: Has the particle hit the detector, having passed through a given slit (left or right) in a given state (open or closed)? This system of random variables is a cyclic system of rank 4, formally the same as the system describing the Einsten-Podolsky-Rosen-Bell paradigm with signaling. Unlike the latter, however, the system describing the double-slit experiment is always noncontextual, i.e., the context-dependence in it is entirely explainable in terms of direct influences of contexts (closed-open arrangements of the slits) upon the marginal distributions of the random variables involved. The analysis presented is entirely within the framework of abstract classical probability theory (with contextually labeled random variables). The only physical constraint used in the analysis is that a particle cannot pass through a closed slit. The noncontextuality of the double-slit system does not generalize to systems describing experiments with more than two slits: in an abstract triple-slit system, almost any set of observable detection probabilities is compatible with both a contextual scenario and a noncontextual scenario of the particle passing though various combinations of open and closed slits (although the issue of physical realizability of these scenarios remains open).

Contextuality in canonical systems of random variables.

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 content (that which it measures) and its context (the conditions under which it is recorded). Two random variables are jointly distributed if and only if they share a context. In a canonical representation of a system, all random variables are binary, and every content-sharing pair of random variables has a unique maximal coupling (the joint distribution imposed on them so that they coincide with maximal possible probability). The system is contextual if these maximal couplings are incompatible with the joint distributions of the context-sharing random variables. We propose to represent any system of measurements in a canonical form and to consider the system contextual if and only if its canonical representation is contextual. As an illustration, we establish a criterion for contextuality of the canonical system consisting of all dichotomizations of a single pair of content-sharing categorical random variables.This article is part of the themed issue 'Second quantum revolution: foundational questions'.

On contextuality in behavioural data.

Dzhafarovet al.(Dzhafarovet al.2016Phil. Trans. R. Soc. A374, 20150099. (doi:10.1098/rsta.2015.0099)) reviewed several behavioural datasets imitating the formal design of the quantum-mechanical contextuality experiments. The conclusion was that none of these datasets exhibited contextuality if understood in the generalized sense proposed by Dzhafarovet al.(2015Found. Phys.7, 762-782. (doi:10.1007/s10701-015-9882-9)), while the traditional definition of contextuality does not apply to these data because they violate the condition of consistent connectedness (also known as marginal selectivity, no-signalling condition, no-disturbance principle, etc.). In this paper, we clarify the relationship between (in)consistent connectedness and (non)contextuality, as well as between the traditional and extended definitions of (non)contextuality, using as an example the Clauser-Horn-Shimony-Holt inequalities originally designed for detecting contextuality in entangled particles.

Necessary and Sufficient Conditions for an Extended Noncontextuality in a Broad Class of Quantum Mechanical Systems.

The notion of (non)contextuality pertains to sets of properties measured one subset (context) at a time. We extend this notion to include so-called inconsistently connected systems, in which the measurements of a given property in different contexts may have different distributions, due to contextual biases in experimental design or physical interactions (signaling): a system of measurements has a maximally noncontextual description if they can be imposed a joint distribution on in which the measurements of any one property in different contexts are equal to each other with the maximal probability allowed by their different distributions. We derive necessary and sufficient conditions for the existence of such a description in a broad class of systems including Klyachko-Can-Binicioglu-Shumvosky-type (KCBS), EPR-Bell-type, and Leggett-Garg-type systems. Because these conditions allow for inconsistent connectedness, they are applicable to real experiments. We illustrate this by analyzing an experiment by Lapkiewicz and colleagues aimed at testing contextuality in a KCBS-type system.

Embedding quantum into classical: contextualization vs conditionalization.

We compare two approaches to embedding joint distributions of random variables recorded under different conditions (such as spins of entangled particles for different settings) into the framework of classical, Kolmogorovian probability theory. In the contextualization approach each random variable is "automatically" labeled by all conditions under which it is recorded, and the random variables across a set of mutually exclusive conditions are probabilistically coupled (imposed a joint distribution upon). Analysis of all possible probabilistic couplings for a given set of random variables allows one to characterize various relations between their separate distributions (such as Bell-type inequalities or quantum-mechanical constraints). In the conditionalization approach one considers the conditions under which the random variables are recorded as if they were values of another random variable, so that the observed distributions are interpreted as conditional ones. This approach is uninformative with respect to relations between the distributions observed under different conditions because any set of such distributions is compatible with any distribution assigned to the conditions.

On selective influences, marginal selectivity, and bell/CHSH inequalities.

The Bell/CHSH inequalities of quantum physics are identical with the inequalities derived in mathematical psychology for the problem of selective influences in cases involving two binary experimental factors and two binary random variables recorded in response to them. The following points are made regarding cognitive science applications: (1) compliance of data with these inequalities is informative only if the data satisfy the requirement known as marginal selectivity; (2) both violations of marginal selectivity and violations of the Bell/CHSH inequalities are interpretable as indicating that at least one of the two responses is influenced by both experimental factors.

An electrophysiological study of print processing in kindergarten: the contribution of the visual n1 as a predictor of reading outcome.

Sensitivity to print is characterized by a left occipito-temporal negativity to words in the event-related potential N1. This sensitivity is modulated by reading skills and may thus represent a neural marker of reading competence. Here we studied the development of the N1 in regular and poor readers from preschool age to school age to test whether the amplitude of the N1 predicts children's reading outcomes. Our results suggest a predictive value of the print-sensitive negativity over the right hemisphere. Whether this N1 may serve as a biomarker to improve prognosis in preliterate children should be clarified in future studies.

All-possible-couplings approach to measuring probabilistic context.

From behavioral sciences to biology to quantum mechanics, one encounters situations where (i) a system outputs several random variables in response to several inputs, (ii) for each of these responses only some of the inputs may "directly" influence them, but (iii) other inputs provide a "context" for this response by influencing its probabilistic relations to other responses. These contextual influences are very different, say, in classical kinetic theory and in the entanglement paradigm of quantum mechanics, which are traditionally interpreted as representing different forms of physical determinism. One can mathematically construct systems with other types of contextuality, whether or not empirically realizable: those that form special cases of the classical type, those that fall between the classical and quantum ones, and those that violate the quantum type. We show how one can quantify and classify all logically possible contextual influences by studying various sets of probabilistic couplings, i.e., sets of joint distributions imposed on random outputs recorded at different (mutually incompatible) values of inputs.

Beyond quantum probability: another formalism shared by quantum physics and psychology.

There is another meeting place for quantum physics and psychology, both within and outside of cognitive modeling. In physics it is known as the issue of classical (probabilistic) determinism, and in psychology it is known as the issue of selective influences. The formalisms independently developed in the two areas for dealing with these issues turn out to be identical, opening ways for mutually beneficial interactions.

The joint distribution criterion and the distance tests for selective probabilistic causality.

A general definition and a criterion (a necessary and sufficient condition) are formulated for an arbitrary set of external factors to selectively influence a corresponding set of random entities (generalized random variables, with values in arbitrary observation spaces), jointly distributed at every treatment (a set of factor values containing precisely one value of each factor). The random entities are selectively influenced by the corresponding factors if and only if the following condition, called the joint distribution criterion, is satisfied: there is a jointly distributed set of random entities, one entity for every value of every factor, such that every subset of this set that corresponds to a treatment is distributed as the original variables at this treatment. The distance tests (necessary conditions) for selective influence previously formulated for two random variables in a two-by-two factorial design (Kujala and Dzhafarov, 2008, J. Math. Psychol. 52, 128-144) are extended to arbitrary sets of factors and random variables. The generalization turns out to be the simplest possible one: the distance tests should be applied to all two-by-two designs extractable from a given set of factors.

Adaptive design optimization: a mutual information-based approach to model discrimination in cognitive science.

Discriminating among competing statistical models is a pressing issue for many experimentalists in the field of cognitive science. Resolving this issue begins with designing maximally informative experiments. To this end, the problem to be solved in adaptive design optimization is identifying experimental designs under which one can infer the underlying model in the fewest possible steps. When the models under consideration are nonlinear, as is often the case in cognitive science, this problem can be impossible to solve analytically without simplifying assumptions. However, as we show in this letter, a full solution can be found numerically with the help of a Bayesian computational trick derived from the statistics literature, which recasts the problem as a probability density simulation in which the optimal design is the mode of the density. We use a utility function based on mutual information and give three intuitive interpretations of the utility function in terms of Bayesian posterior estimates. As a proof of concept, we offer a simple example application to an experiment on memory retention.

Solutions for certain number-conserving deterministic cellular automata.

We explain the unexpected behavior of the generalizations of cellular automation traffic models introduced in [H. Fuks and N. Boccara, Int. J. Mod. Phys. C 9, 1 (1998)]. We analyze the steady-state flow in R(m,k) as a function of the initial density; we show that these rules correspond to a system with an infinite number of different kinds of virtual particles interacting according to complex annihilation rules. From simple considerations, we are able to predict the unexpected cutoff of the average flow at unity observed by Fuks and Boccara. We present an efficient algorithm for determining the exact final flow from a given finite initial state. An analysis of this algorithm in the infinite limit using generating functions yields an exact polynomial equation between the flow and density for R(m,k), of maximally 2(m+k)th degree in both.