The aim of this article is to represent the general description of an entity by means of its states, contexts and properties. The entity that we want to describe does not necessarily have to be a physical entity, but can also be an entity of a more abstract nature, for example a concept, or a cultural artifact, or the mind of a person, etc..., which means that we aim at very general description. The effect that a context has on the state of the entity plays a fundamental role, which means that our approach is intrinsically contextual. The approach is inspired by the mathematical formalisms that have been developed in axiomatic quantum mechanics, where a specific type of quantum contextuality is modelled. However, because in general states also influence context -- which is not the case in quantum mechanics -- we need a more general setting than the one used there. Our focus on context as a fundamental concept makes it possible to unify `dynamical change' and `change under influence of measurement', which makes our approach also more general and more powerful than the traditional quantum axiomatic approaches. For this reason an experiment (or measurement) is introduced as a specific kind of context. Mathematically we introduce a state context property system as the structure to describe an entity by means of its states, contexts and properties. We also strive from the start to a categorical setting and derive the morphisms between state context property systems from a merological covariance principle. We introduce the category SCOP with as elements the state context property systems and as morphisms the ones that we derived from this merological covariance principle. We introduce property completeness and state completeness and study the operational foundation of the formalism
The aim of this article is to represent the general description of an entity by means of its states, contexts and properties. The entity that we want to describe does not necessarily have to be a physical entity, but can also be an entity of a more abstract nature, for example a concept, or a cultural artifact, or the mind of a person, etc..., which means that we aim at very general description. The effect that a context has on the state of the entity plays a fundamental role, which means that our approach is intrinsically contextual. The approach is inspired by the mathematical formalisms that have been developed in axiomatic quantum mechanics, where a specific type of quantum contextuality is modelled. However, because in general states also influence context -- which is not the case in quantum mechanics -- we need a more general setting than the one used there. Our focus on context as a fundamental concept makes it possible to unify dynamical change' and change under influence of measurement', which makes our approach also more general and more powerful than the traditional quantum axiomatic approaches. For this reason an experiment (or measurement) is introduced as a specific kind of context. Mathematically we introduce a state context property system as the structure to describe an entity by means of its states, contexts and properties. We also strive from the start to a categorical setting and derive the morphisms between state context property systems from a merological covariance principle. We introduce the category SCOP with as elements the state context property systems and as morphisms the ones that we derived from this merological covariance principle. We introduce property completeness and state completeness and study the operational foundation of the formalism
The aim of this article is to represent the general description of an entity by means of its states, contexts and properties. The entity that we want to describe does not necessarily have to be a physical entity, but can also be an entity of a more abstract nature, for example a concept, or a cultural artifact, or the mind of a person, etc..., which means that we aim at very general description. The effect that a context has on the state of the entity plays a fundamental role, which means that our approach is intrinsically contextual. The approach is inspired by the mathematical formalisms that have been developed in axiomatic quantum mechanics, where a specific type of quantum contextuality is modelled. However, because in general states also influence context -- which is not the case in quantum mechanics -- we need a more general setting than the one used there. Our focus on context as a fundamental concept makes it possible to unify `dynamical change' and `change under influence of measurement', which makes our approach also more general and more powerful than the traditional quantum axiomatic approaches. For this reason an experiment (or measurement) is introduced as a specific kind of context. Mathematically we introduce a state context property system as the structure to describe an entity by means of its states, contexts and properties. We also strive from the start to a categorical setting and derive the morphisms between state context property systems from a merological covariance principle. We introduce the category SCOP with as elements the state context property systems and as morphisms the ones that we derived from this merological covariance principle. We introduce property completeness and state completeness and study the operational foundation of the formalism
. A central theme in current work in quantum information and quantum foundations is to see quantum mechanics as occupying one point in a space of possible theories, and to use this perspective to understand the special features and properties which single it out, and the possibilities for alternative theories. Two formalisms which have been used in this context are operational theories , and categorical quantum mechanics . The aim of the present paper is to establish strong connections between these two formalisms. We show how models of categorical quantum mechanics have representations as operational theories. We then show how non-locality can be formulated at this level of generality, and study a number of examples from this point of view, including Hilbert spaces, sets and relations, and stochastic maps. The local, quantum, and no-signalling models are characterized in these terms. Introduction. A central theme in current work in quantum information and quantum foundations is to see quantum mechanics as occupying one point in a space of possible theories, and to use this perspective to understand the special features and properties which single it out, and the possibilities for alternative theories. Two formalisms which have been used in this context are operational theories [48, 41, 52, 47], and categorical quantum mechanics [6, 7]. • Operational theories allow general formulations of results in quantum foundations and quantum information [11, 12, 10]. They also play a prominent rôle in current work on axiomatizations of quantum mechanics [36, 19, 49, 25]. • Categorical quantum mechanics enables a high-level approach to quantum information and quantum foundations, which can be presented in terms of string-diagram representations of structures in monoidal categories [7]. This has proved very effective in providing a conceptually illuminating and technically powerful perspective on a range of topics, including quantum protocols [6], entanglement [24], measurement-based quantum computing [29], no-cloning [1], and non-locality [22]. The aim of the present paper is to establish strong connections between these two formalisms. We shall begin by reviewing operational theories. We then show how a proper formulation of compound systems within the operational framework leads to a view of operational theories as representations of monoidal categories of a particular form. We call these operational representations .
This chapter outlines some of the highlights of efforts undertaken by our group to describe the role of contextuality in the conceptualization of conscious experience using generalized formalisms from quantum mechanics. Conscious experience is filtered not just through innate categories to give rise to stimulusresponse reflexes, but also learned categories, including concepts such as ‘container’, ‘democracy’, ‘truth’ and ‘falsehood’. The meanings of these concepts are not rigid or static but shift fluidly depending on context, increasing dramatically our potential to both inform and be informed by the world. As Edelman and Tonini (2000, p. 101) put it: “Every act of perception is, to some extent, an act of creation, and every act of memory is, to some degree, an act of imagination.” Elements of conscious experience, such as perceived stimuli, retrieved memories, and concepts are considered entities of the personal cognitive sphere, referred to collectively as ‘conceptual entities’. These can be modelled by considering them as configurations of properties, which are consistently testable through personal and interpersonal cognitive processes such as perception, reflection, and social interactions. Specifically, we are concerned with the interface between the conceptual entity and its extraneous surroundings: the context. The interrelation and concatenation of concepts consciously experienced as a stream of thought is particularly affected by context, being influenced not only by the ever-fluctuating
The general view is that all fundamental physical laws should be formulated within the framework given by quantum mechanics (QM). In a sense, QM therefore has the character of a metaphysical theory. Consequently, if it is possible to derive QM from more basic principles, these principles should be of general, philosophical nature. Here, we derive the formalism of QM from well-motivated epistemic principles. A key assumption is that a physical theory that relies on entities or distinctions that are unknowable in principle gives rise to wrong predictions. First, an epistemic formalism is developed, using concepts like knowledge and potential knowledge, identifying a physical state S with the potential knowledge of the physical world. It is demonstrated that QM emerges from this formalism. However, Hilbert spaces, wave functions and probabilities are defined in certain well-defined observational contexts only. This means that the epistemic formalism is broader than QM. In the fundamental layer of description, the physical state S is a subset of a state space S={Z}, such that S always contains many elements Z. These elements correspond to unattainable states of complete knowledge of the world. The evolution of S cannot be determined in terms of the individual evolution of the elements Z, unlike the evolution of an ensemble in classical phase space. The evolution of S is described in terms of sequential time n∈N, which is updated according to n→n+1 each time an event occurs, each time potential knowledge changes. Sequential time n can be separated from relational time t, which describes distances between events in space-time. There is an entire space-time associated with each n, in which t represents the knowledge at sequential time n about the temporal relations between present and past events.
We derive the Hilbert space formalism of quantum mechanics from epistemic principles. A key assumption is that a physical theory that relies on entities or distinctions that are unknowable in principle gives rise to wrong predictions. An epistemic formalism is developed, where concepts like individual and collective knowledge are used, and knowledge may be actual or potential. The physical state S corresponds to the collective potential knowledge. The state S is a subset of a state space S={Z}, such that S always contains several elements Z, which correspond to unattainable states of complete potential knowledge of the world. The evolution of S cannot be determined in terms of the individual evolution of the elements Z, unlike the evolution of an ensemble in classical phase space. The evolution of S is described in terms of sequential time n∈N, which is updated according to n→n+1 each time potential knowledge changes. In certain experimental contexts C, there is initial knowledge at time n that a given series of properties P,P′,… will be observed within a given time frame, meaning that a series of values p,p′,… of these properties will become known. At time n, it is just known that these values belong to predefined, finite sets {p},{p′},…. In such a context C, it is possible to define a complex Hilbert space HC on top of S, in which the elements are contextual state vectors SˉC. Born's rule to calculate the probabilities to find the values p,p′,… is derived as the only generally applicable such rule. Also, we can associate a self-adjoint operator Pˉ with eigenvalues {p} to each property P observed within C. These operators obey [Pˉ,Pˉ′]=0 if and only if the precise values of P and P′ are simultaneoulsy knowable.
Formulations of quantum mechanics (QM) can be characterized as realistic, operationalist, or a combination of the two. In this paper a realistic theory is defined as describing a closed system entirely by means of entities and concepts pertaining to the system. An operationalist theory, on the other hand, requires in addition entities external to the system. A realistic formulation comprises an ontology, the set of (mathematical) entities that describe the system, and assertions, the set of correct statements (predictions) the theory makes about the objects in the ontology. Classical mechanics is the prime example of a realistic physical theory. A straightforward generalization of classical mechanics to QM is hampered by the inconsistency of quantum properties with classical logic, a circumstance that was noted many years ago by Birkhoff and von Neumann. The present realistic formulation of the histories approach originally introduced by Griffiths, which we call 'compatible quantum theory (CQT)', consists of a 'microscopic' part (MIQM), which applies to a closed quantum system of any size, and a 'macroscopic' part (MAQM), which requires the participation of a large (ideally, an infinite) system. The first (MIQM) can be fully formulated based solely on the assumption of a Hilbert space ontology and the noncontextuality of probability values, relying in an essential way on Gleason's theorem and on an application to dynamics due in large part to Nistico. Thus, the present formulation, in contrast to earlier ones, derives the Born probability formulas and the consistency (decoherence) conditions for frameworks. The microscopic theory does not, however, possess a unique corpus of assertions, but rather a multiplicity of contextual truths ('c-truths'), each one associated with a different framework. This circumstance leads us to consider the microscopic theory to be physically indeterminate and therefore incomplete, though logically coherent. The completion of the theory requires a macroscopic mechanism for selecting a physical framework, which is part of the macroscopic theory (MAQM). The selection of a physical framework involves the breaking of the microscopic 'framework symmetry', which can proceed either phenomenologically as in the standard quantum measurement theory, or more fundamentally by considering the quantum system under study to be a subsystem of a macroscopic quantum system. The decoherent histories formulation of Gell-Mann and Hartle, as well as that of Omnès, are theories of this fundamental type, where the physical framework is selected by a coarse-graining procedure in which the physical phenomenon of decoherence plays an essential role. Various well-known interpretations of QM are described from the perspective of CQT. Detailed definitions and proofs are presented in the appendices.