The free energy principle induces intracellular compartmentalization.

Living systems at all scales are compartmentalized into interacting subsystems. This paper reviews a mechanism that drives compartmentalization in generic systems at any scale. It first discusses three symmetries of generic physical interactions in a quantum-theoretic description. It then shows that if one of these, a permutation symmetry on the inter-system boundary, is spontaneously broken, the symmetry breaking is amplified by the Free Energy Principle (FEP). It thus shows how compartmentalization generically results from permutation symmetry breaking under the FEP. It finally notes that the FEP asymptotically restores the broken symmetry, showing that the FEP can be regarded as a theory of fluctuations away from a permutation-symmetric boundary, and hence from an entangled joint state of the interacting systems.

Combining contextuality and causality: a game semantics approach.

We develop an approach to combining contextuality with causality, which is general enough to cover causal background structure, adaptive measurement-based quantum computation and causal networks. The key idea is to view contextuality as arising from a game played between Experimenter and Nature, allowing for causal dependencies in the actions of both the Experimenter (choice of measurements) and Nature (choice of outcomes). This article is part of the theme issue 'Quantum contextuality, causality and freedom of choice'.

The quantum maxima for the basic graphs of exclusivity are not reachable in Bell scenarios.

A necessary condition for the probabilities of a set of events to exhibit Bell non-locality or Kochen-Specker contextuality is that the graph of exclusivity of the events contains induced odd cycles with five or more vertices, called odd holes, or their complements, called odd antiholes. From this perspective, events whose graph of exclusivity are odd holes or antiholes are the building blocks of contextuality. For any odd hole or antihole, any assignment of probabilities allowed by quantum theory can be achieved in specific contextuality scenarios. However, here we prove that, for any odd hole, the probabilities that attain the quantum maxima cannot be achieved in Bell scenarios. We also prove it for the simplest odd antiholes. This leads us to the conjecture that the quantum maxima for any of the building blocks cannot be achieved in Bell scenarios. This result sheds light on why the problem of whether a probability assignment is quantum is decidable, while whether a probability assignment within a given Bell scenario is quantum is, in general, undecidable. This also helps to understand why identifying principles for quantum correlations is simpler when we start by identifying principles for quantum sets of probabilities defined with no reference to specific scenarios. This article is part of the theme issue 'Quantum contextuality, causality and freedom of choice'.

On geometrical aspects of the graph approach to contextuality.

The connection between contextuality and graph theory has paved the way for numerous advancements in the field. One notable development is the realization that sets of probability distributions in many contextuality scenarios can be effectively described using well-established convex sets from graph theory. This geometric approach allows for a beautiful characterization of these sets. The application of geometry is not limited to the description of contextuality sets alone; it also plays a crucial role in defining contextuality quantifiers based on geometric distances. These quantifiers are particularly significant in the context of the resource theory of contextuality, which emerged following the recognition of contextuality as a valuable resource for quantum computation. In this paper, we provide a comprehensive review of the geometric aspects of contextuality. Additionally, we use this geometry to define several quantifiers, offering the advantage of applicability to other approaches to contextuality where previously defined quantifiers may not be suitable. This article is part of the theme issue 'Quantum contextuality, causality and freedom of choice'.

Measures of contextuality in cyclic systems and the negative probabilities measure CNT3.

Several principled measures of contextuality have been proposed for general systems of random variables (i.e. inconsistently connected systems). One such measure is based on quasi-couplings using negative probabilities (here denoted by [Formula: see text], Dzhafarov & Kujala, 2016 Quantum interaction). Dzhafarov & Kujala (Dzhafarov & Kujala 2019 Phil. Trans. R. Soc. A 377, 20190149. (doi:10.1098/rsta.2019.0149)) introduced a measure of contextuality, [Formula: see text], that naturally generalizes to a measure of non-contextuality. Dzhafarov & Kujala (Dzhafarov & Kujala 2019 Phil. Trans. R. Soc. A 377, 20190149. (doi:10.1098/rsta.2019.0149)) additionally conjectured that in the class of cyclic systems these two measures are proportional. Here we prove that conjecture is correct. Recently, Cervantes (Cervantes 2023 J. Math. Psychol. 112, 102726. (doi:10.1016/j.jmp.2022.102726)) showed the proportionality of [Formula: see text] and the Contextual Fraction measure introduced by Abramsky & Brandenburger (Abramsky & Brandenburger 2011 New J. Phys. 13, 113036. (doi:10.1088/1367-2630/13/11/113036)). The present proof completes the description of the interrelations of all contextuality measures proposed within or translated into the Contextuality-by-Default framework so far as they pertain to cyclic systems. This article is part of the theme issue 'Quantum contextuality, causality and freedom of choice'.

Corrected Bell and non-contextuality inequalities for realistic experiments.

Contextuality is a feature of quantum correlations. It is crucial from a foundational perspective as a non-classical phenomenon, and from an applied perspective as a resource for quantum advantage. It is commonly defined in terms of hidden variables, for which it forces a contradiction with the assumptions of parameter-independence and determinism. The former can be justified by the empirical property of non-signalling or non-disturbance, and the latter by the empirical property of measurement sharpness. However, in realistic experiments neither empirical property holds exactly, which leads to possible objections to contextuality as a form of non-classicality, and potential vulnerabilities for supposed quantum advantages. We introduce measures to quantify both properties, and introduce quantified relaxations of the corresponding assumptions. We prove the continuity of a known measure of contextuality, the contextual fraction, which ensures its robustness to noise. We then bound the extent to which these relaxations can account for contextuality, via corrections terms to the contextual fraction (or to any non-contextuality inequality), culminating in a notion of genuine contextuality, which is robust to experimental imperfections. We then show that our result is general enough to apply or relate to a variety of established results and experimental set-ups. This article is part of the theme issue 'Quantum contextuality, causality and freedom of choice'.

Hidden variables, free choice, context-independence and all that.

This paper provides a systematic account of the hidden variable models (HVMs) formulated to describe systems of random variables with mutually exclusive contexts. Any such system can be described either by a model with free choice but generally context-dependent mapping of the hidden variables into observable ones, or by a model with context-independent mapping but generally compromised free choice. These two types of HVMs are equivalent, one can always be translated into another. They are also unfalsifiable, applicable to all possible systems. These facts, the equivalence and unfalsifiability, imply that freedom of choice and context-independent mapping are no assumptions at all, and they tell us nothing about freedom of choice or physical influences exerted by contexts as these notions would be understood in science and philosophy. The conjunction of these two notions, however, defines a falsifiable HVM that describes non-contextuality when applied to systems with no disturbance or to consistifications of arbitrary systems. This HVM is most adequately captured by the term 'context-irrelevance', meaning that no distribution in the model changes with context. This article is part of the theme issue 'Quantum contextuality, causality and freedom of choice'.

Causality and signalling of garden-path sentences.

Sheaves are mathematical objects that describe the globally compatible data associated with open sets of a topological space. Original examples of sheaves were continuous functions; later they also became powerful tools in algebraic geometry, as well as logic and set theory. More recently, sheaves have been applied to the theory of contextuality in quantum mechanics. Whenever the local data are not necessarily compatible, sheaves are replaced by the simpler setting of presheaves. In previous work, we used presheaves to model lexically ambiguous phrases in natural language and identified the order of their disambiguation. In the work presented here, we model syntactic ambiguities and study a phenomenon in human parsing called garden-pathing. It has been shown that the information-theoretic quantity known as 'surprisal' correlates with human reading times in natural language but fails to do so in garden-path sentences. We compute the degree of signalling in our presheaves using probabilities from the large language model BERT and evaluate predictions on two psycholinguistic datasets. Our degree of signalling outperforms surprisal in two ways: (i) it distinguishes between hard and easy garden-path sentences (with a [Formula: see text]-value [Formula: see text]), whereas existing work could not, (ii) its garden-path effect is larger in one of the datasets (32 ms versus 8.75 ms per word), leading to better prediction accuracies. This article is part of the theme issue 'Quantum contextuality, causality and freedom of choice'.

Statistical Signatures of Quantum Contextuality.

Quantum contextuality describes situations where the statistics observed in different measurement contexts cannot be explained by a measurement of the independent reality of the system. The most simple case is observed in a three-dimensional Hilbert space, with five different measurement contexts related to each other by shared measurement outcomes. The quantum formalism defines the relations between these contexts in terms of well-defined relations between operators, and these relations can be used to reconstruct an unknown quantum state from a finite set of measurement results. Here, I introduce a reconstruction method based on the relations between the five measurement contexts that can violate the bounds of non-contextual statistics. A complete description of an arbitrary quantum state requires only five of the eight elements of a Kirkwood-Dirac quasiprobability, but only an overcomplete set of eleven elements provides an unbiased description of all five contexts. A set of five fundamental relations between the eleven elements reveals a deterministic structure that links the five contexts. As illustrated by a number of examples, these relations provide a consistent description of contextual realities for the measurement outcomes of all five contexts.

Quantum Nonlocality: How Does Nature Do It?

In his article in Science, Nicolas Gisin claimed that quantum correlations emerge from outside space-time. We explainthat they are due to space-time symmetries. This paper is a critical review of metaphysical conclusions found in many recent articles. It advocates the importance of contextuality, Einstein -causality and global symmetries. Bell tests allow only rejecting probabilistic coupling provided by a local hidden variable model, but they do not justify metaphysical speculations about quantum nonlocality and objects which know about each other's state, even when separated by large distances. The violation of Bell inequalities in physics and in cognitive science can be explained using the notion of Bohr- contextuality. If contextual variables, describing varying experimental contexts, are correctly incorporated into a probabilistic model, then the Bell-CHSH inequalities cannot be proven and nonlocal correlations may be explained in an intuitive way. We also elucidate the meaning of statistical independence assumption incorrectly called free choice, measurement independence or no- conspiracy. Since correlation does not imply causation, the violation of statistical independence should be called contextuality; it does not restrict the experimenter's freedom of choice. Therefore, contrary to what is believed, closing the freedom-of choice loophole does not close the contextuality loophole.

Contextuality and context-sensitivity in probabilistic models of cognition.

The context-sensitivity of cognition has been demonstrated across a wide range of cognitive functions such as perception, memory, judgement and decision making. A related term, 'contextuality', has appeared from the field of quantum cognition, with mounting empirical evidence demonstrating that cognitive phenomena are sometimes contextual. Contextuality is a subtle notion that influences how we must view the properties of the cognitive phenomenon being studied. This article addresses the questions: What does it mean for a cognitive phenomenon to be contextual? What are the implications of contextuality for probabilistic models of cognition? How does contextuality differ from context-sensitivity? Starting from George Boole's "conditions of possible experience", we argue that a probabilistic model of a cognitive phenomenon is necessarily subject to an assumption of realism. By this we mean that the phenomenon being studied is assumed to have cognitive properties with a definite value independent of observation. In contrast, quantum cognition holds that a cognitive property maybe indeterminate, i.e., its properties do not have well established values prior to observation. We argue that indeterminacy is sufficient for incompatibility between cognitive properties. In turn, incompatibility is necessary for their contextuality. The significance of this argument for cognitive psychology is the following:if a cognitive phenomenon is found to be contextual, then there is reason to believe it may be indeterminate. We illustrate by means of two crowdsourced experiments how context-sensitivity and contextuality of cognitive properties in the form of facial trait judgements can be characterized from empirical data. Finally, we conceptually and formally contrast contextuality with context-sensitivity. We propose that both involve a form of context dependence, with causality being the differentiating factor: the context dependence in context-sensitivity has a causal basis, whereas the context dependence in contextuality is acausal. The resulting implications for probabilistic models of cognition are discussed.

Non-Kochen-Specker Contextuality.

Quantum contextuality supports quantum computation and communication. One of its main vehicles is hypergraphs. The most elaborated are the Kochen-Specker ones, but there is also another class of contextual sets that are not of this kind. Their representation has been mostly operator-based and limited to special constructs in three- to six-dim spaces, a notable example of which is the Yu-Oh set. Previously, we showed that hypergraphs underlie all of them, and in this paper, we give general methods-whose complexity does not scale up with the dimension-for generating such non-Kochen-Specker hypergraphs in any dimension and give examples in up to 16-dim spaces. Our automated generation is probabilistic and random, but the statistics of accumulated data enable one to filter out sets with the required size and structure.

Generalized Bell Scenarios: Disturbing Consequences on Local-Hidden-Variable Models.

Bell nonlocality and Kochen-Specker contextuality are among the main topics in the foundations of quantum theory. Both of them are related to stronger-than-classical correlations, with the former usually referring to spatially separated systems, while the latter considers a single system. In recent works, a unified framework for these phenomena was presented. This article reviews, expands, and obtains new results regarding this framework. Contextual and disturbing features inside the local models are explored, which allows for the definition of different local sets with a non-trivial relation among them. The relations between the set of quantum correlations and these local sets are also considered, and post-quantum local behaviours are found. Moreover, examples of correlations that are both local and non-contextual but such that these two classical features cannot be expressed by the same hidden variable model are shown. Extensions of the Fine-Abramsky-Brandenburger theorem are also discussed.

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.

Postulating the Unicity of the Macroscopic Physical World.

We argue that a clear view of quantum mechanics is obtained by considering that the unicity of the macroscopic world is a fundamental postulate of physics, rather than an issue that must be mathematically justified or demonstrated. This postulate allows for a framework in which quantum mechanics can be constructed in a complete mathematically consistent way. This is made possible by using general operator algebras to extend the mathematical description of the physical world toward macroscopic systems. Such an approach goes beyond the usual type-I operator algebras used in standard textbook quantum mechanics. This avoids a major pitfall, which is the temptation to make the usual type-I formalism 'universal'. This may also provide a meta-framework for both classical and quantum physics, shedding new light on ancient conceptual antagonisms and clarifying the status of quantum objects. Beyond exploring remote corners of quantum physics, we expect these ideas to be helpful to better understand and develop quantum technologies.

Topological Methods for Studying Contextuality: N-Cycle Scenarios and Beyond.

Simplicial distributions are combinatorial models describing distributions on spaces of measurements and outcomes that generalize nonsignaling distributions on contextuality scenarios. This paper studies simplicial distributions on two-dimensional measurement spaces by introducing new topological methods. Two key ingredients are a geometric interpretation of Fourier-Motzkin elimination and a technique based on the collapsing of measurement spaces. Using the first one, we provide a new proof of Fine's theorem characterizing noncontextual distributions in N-cycle scenarios. Our approach goes beyond these scenarios and can describe noncontextual distributions in scenarios obtained by gluing cycle scenarios of various sizes. The second technique is used for detecting contextual vertices and deriving new Bell inequalities. Combined with these methods, we explore a monoid structure on simplicial distributions.

Contextuality in Collective Intelligence: Not There Yet.

Type I contextuality or inconsistent connectedness is a fundamental feature of both the classical as well as the quantum realms. Type II contextuality (true contextuality or CHSH-type contextuality) is frequently asserted to be specific to the quantum realm. Nevertheless, evidence for Type II contextuality in classical settings is slowly emerging (at least in the psychological realm). Sign intransitivity can be observed in preference relations in the setting of decision making and so intransitivity in decision making may also yield examples of Type II contextuality. Previously, it was suggested that a fruitful setting in which to search for such contextuality is that of decision making by collective intelligence systems. An experiment was conducted by using a detailed simulation of nest emigration by workers of the ant Temnothorax albipennis. In spite of the intransitivity, these simulated colonies came close to but failed to violate Dzhafarov's inequality for a 4-cyclic system. Further research using more sophisticated simulations and experimental paradigms is required.

Broken Arrows: Hardy-Unruh Chains and Quantum Contextuality.

Hardy and Unruh constructed a family of non-maximally entangled states of pairs of particles giving rise to correlations that cannot be accounted for with a local hidden-variable theory. Rather than pointing to violations of some Bell inequality, however, they pointed to apparent clashes with the basic rules of logic. Specifically, they constructed these states and the associated measurement settings in such a way that the outcomes satisfy some conditionals but not an additional one entailed by them. Quantum mechanics avoids the broken 'if …then …' arrows in such Hardy-Unruh chains, as we call them, because it cannot simultaneously assign truth values to all conditionals involved. Measurements to determine the truth value of some preclude measurements to determine the truth value of others. Hardy-Unruh chains thus nicely illustrate quantum contextuality: which variables do and do not obtain definite values depends on what measurements we decide to perform. Using a framework inspired by Bub and Pitowsky and developed in our book Understanding Quantum Raffles (co-authored with Michael E. Cuffaro), we construct and analyze Hardy-Unruh chains in terms of fictitious bananas mimicking the behavior of spin-12 particles.

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 or Nonlocality: What Would John Bell Choose Today?

A violation of Bell-CHSH inequalities does not justify speculations about quantum non-locality, conspiracy and retro-causation. Such speculations are rooted in a belief that setting dependence of hidden variables in a probabilistic model (called a violation of measurement independence (MI)) would mean a violation of experimenters' freedom of choice. This belief is unfounded because it is based on a questionable use of Bayes Theorem and on incorrect causal interpretation of conditional probabilities. In Bell-local realistic model, hidden variables describe only photonic beams created by a source, thus they cannot depend on randomly chosen experimental settings. However, if hidden variables describing measuring instruments are correctly incorporated into a contextual probabilistic model a violation of inequalities and an apparent violation of no-signaling reported in Bell tests can be explained without evoking quantum non-locality. Therefore, for us, a violation of Bell-CHSH inequalities proves only that hidden variables have to depend on settings confirming contextual character of quantum observables and an active role played by measuring instruments. Bell thought that he had to choose between non-locality and the violation of experimenters' freedom of choice. From two bad choices he chose non-locality. Today he would probably choose the violation of MI understood as contextuality.