We construct a sheaf-theoretic representation of quantum observables algebras over a base category equipped with a Grothendieck topology, consisting of epimorphic families of commutative observables algebras, playing the role of local arithmetics in measurement situations. This construction makes possible the adaptation of the methodology of Abstract Differential Geometry (ADG), à la Mallios, in a topos-theoretic environment, and hence, the extension of the “mechanism of differentials” in the quantum regime. The process of gluing information, within diagrams of commutative algebraic (...) localizations, generates dynamics, involving the transition from the classical to the quantum regime, formulated cohomologically in terms of a functorial quantum connection, and subsequently, detected via the associated curvature of that connection. (shrink)

We define a complete measurement of a quantum observable (POVM) as a measurement of the maximally refined (rank-1) version of the POVM. Complete measurements give information on the multiplicities of the measurement outcomes and can be viewed as state preparation procedures. We show that any POVM can be measured completely by using sequential measurements or maximally refinable instruments. Moreover, the ancillary space of a complete measurement can be chosen to be minimal.

This is a comment on J. A. Barrett's article 'The Preferred-Basis Problem and the Quantum Mechanics of Everything' ([2005]), which concerns theories postulating that certain quantum observables have determinate values, corresponding to additional (often called 'hidden') variables. I point out that it is far from clear, for most observables, what such a postulate is supposed to mean, unless the postulated additional variable is related to a clear ontology in space-time, such as particle world lines, string world sheets, or (...) fields. (shrink)

We describe a particular class of pairs of quantum observables which are extremal in the convex set of all pairs of compatible quantum observables. The pairs in this class are constructed as uniformly noisy versions of two mutually unbiased bases with possibly different noise intensities affecting each basis. We show that not all pairs of MUB can be used in this construction, and we provide a criterion for determining those MUB that actually do yield extremal compatible observables. We (...) apply our criterion to all pairs of Fourier conjugate MUB, and we prove that in this case extremality is achieved if and only if the quantum system Hilbert space is odd-dimensional. Remarkably, this fact is no longer true for general non-Fourier conjugate MUB, as we show in an example. Therefore, the presence or the absence of extremality is a concrete geometric manifestation of MUB inequivalence, that already materializes by comparing sets of no more than two bases at a time. (shrink)

A probabilistic propositional logic, endowed with a constructor for asserting compatibility of diagonalisable and bounded observables, is presented and illustrated for reasoning about the random results of projective measurements made on a given quantum state. Simultaneous measurements are assumed to imply that the underlying observables are compatible. A sound and weakly complete axiomatisation is provided relying on the decidable first-order theory of real closed ordered fields. The proposed logic is proved to be a conservative extension of classical propositional logic.

For sharp quantum observables the following facts hold: (i) if we have a collection of sharp observables and each pair of them is jointly measurable, then they are jointly measurable all together; (ii) if two sharp observables are jointly measurable, then their joint observable is unique and it gives the greatest lower bound for the effects corresponding to the observables; (iii) if we have two sharp observables and their every possible two outcome partitionings are jointly measurable, then the observables (...) themselves are jointly measurable. We show that, in general, these properties do not hold. Also some possible candidates which would accompany joint measurability and generalize these apparently useful properties are discussed. (shrink)

We start from the assumption that the real valued observables of a quantum system form a Jordan algebra which is equipped with a compatible Lie product characterizing infinitesimal symmetries, and ask whether two such systems can be considered as independent subsystems of a larger system. We show that this is possible if and only if the associator of the Jordan product is a fixed multiple of the associator of the Lie product. In this case it is known that the (...) two products can be combined to an associative product in the Jordan algebra or its complexification, depending on the sign of the multiple. (shrink)

In this article I deal with the notion of observation, from a phenomenologically motivated point of view, and its representation mainly by means of the formal language of quantum mechanics. In doing so, I have taken the notion of observation in two diverse contexts. In one context as a notion related with objects of a logical-mathematical theory taken as registered facts of phenomenological perception ( Wahrnehmung ) inasmuch as this phenomenological idea can also be linked with a process of (...) measurement on the quantum-mechanical level. In another context I have taken it as connected with a notion of temporal constitution basically as it is described in E. Husserl’s texts on the phenomenology of temporal consciousness. Given that mathematical objects as formal-ontological objects can be thought of as abstractions of perceptual objects by means of categorial intuition, the question is whether and under what theoretical assumptions we can, in principle, include quantum objects in abstraction in the class of formal-ontological objects and thus inquire on the limits of their description within a formal-axiomatical theory. On the one hand, I derive an irreducibility on the level of individuals taken in formal representation as syntactical atoms-substrates without any further content and on the other hand a transcendental subjectivity of consciousness objectified as a self-constituted temporal unity upon which it is ultimately grounded the possibility of generation of an abstract predicative universe of discourse. (shrink)

In this paper we present two families of probability logics (denoted _QLP_ and \(QLP^{ORT}\) ) suitable for reasoning about quantum observations. Assume that \(\alpha \) means “O = a”. The notion of measuring of an observable _O_ can be expressed using formulas of the form \(\square \lozenge \alpha \) which intuitively means “if we measure _O_ we obtain \(\alpha \) ”. In that way, instead of non-distributive structures (i.e., non-distributive lattices), it is possible to relay on classical logic extended (...) with the corresponding modal laws for the modal logic \({\textbf{B}}\). We consider probability formulas of the form \(CS_{z_{1},\rho _{1}; \ldots ; z_{m},\rho _{m}} \square \lozenge \alpha \) related to an observable _O_ and a possible world (vector) _w_: if _a_ is an eigenvalue of _O_, \(w_{1}\),..., \(w_{m}\) form a base of a closed subspace of the considered Hilbert space which corresponds to eigenvalue _a_, and if _w_ is a linear combination of the basis vectors such that \(w=c_{1}\cdot w_{1}+ \cdots + c_{m}\cdot w_{m}\) for some \(c_{i}\in {\mathbb {C}}\), then \(\Vert c_{1}-z_{1}\Vert \le \rho _{1}\),..., \(\Vert c_{m}-z_{m}\Vert \le \rho _{m}\), and the probability of obtaining _a_ while measuring _O_ in the state _w_ is equal to \(\Sigma _{i=1}^{m}\Vert c_{i}\Vert ^{2}\). Formulas are interpreted in reflexive and symmetric Kripke models equipped with probability distributions over families of subsets of possible worlds that are orthocomplemented lattices, while for \(QLP^{ORT}\) also satisfy ortomodularity. We give infinitary axiomatizations, prove the corresponding soundness and strong completeness theorems, and also decidability for _QLP_-logics. (shrink)

A situated observer is an observer as modeled within the world characterized by one’s physical theory. A physical theory arguably only makes empirical predictions if it makes predictions for the records of a situated observer. In this spirit, one has a satisfactory solution to the measurement problem only if one has a formulation of quantum mechanics that makes the right empirical predictions for the records of a situated observer. Bohmian mechanics addresses the measurement problem by (...) explaining what measurement records are, how a situated observer might produce them, and why a situated observer should expect the standard quantum predictions. The notion of an effective wave function is crucial in understanding how the theory makes empirical predictions. (shrink)

We develop a relativistic perspective on structures of quantum observables, in terms of localization systems of Boolean coordinatizing charts. This perspective implies that the quantum world is comprehended via Boolean reference frames for measurement of observables, pasted together along their overlaps. The scheme is formalized categorically, as an instance of the adjunction concept. The latter is used as a framework for the specification of a categorical equivalence signifying an invariance in the translational code of communication between Boolean localizing (...) contexts and quantum systems. Aspects of the scheme semantics are discussed in relation to logic. The interpretation of coordinatizing localization systems, as structure sheaves, provides the basis for the development of an algebraic differential geometric machinery suited to the quantum regime. (shrink)

Patrick Aidan Heelan’s The Observable offers the reader a completely articulated development of his 1965 philosophy of quantum physics, Quantum Mechanics and Objectivity. In this previously unpublished study dating back more than a half a century, Heelan brings his background as both a physicist and a philosopher to his reflections on Werner Heisenberg’s physical philosophy. Including considerably broader connections to the contributions of Niels Bohr, Wolfgang Pauli, and Albert Einstein, this study also reflects Heelan’s experience in Eugene Wigner’s (...) laboratory at Princeton along with his reflections on working with Erwin Schrödinger dating from Heelan’s years at the Institute for Advanced Cosmology in Dublin. A contribution to continental philosophy of science, the phenomenological and hermeneutic resources applied in this book to the physical and ontological paradoxes of quantum physics, especially in connection with laboratory science and measurement, theory and model making, will enrich students of the history of science as well as those interested in different approaches to the historiography of science. University courses in the philosophy of physics will find this book indispensable as a resource and invaluable for courses in the history of science. (shrink)

Bohmian mechanics is arguably the most naively obvious embedding imaginable of Schr¨ odinger’s equation into a completely coherent physical theory. It describes a world in which particles move in a highly non-Newtonian sort of way, one which may at first appear to have little to do with the spectrum of predictions of quantum mechanics. It turns out, however, that as a consequence of the defining dynamical equations of Bohmian mechanics, when a system has wave function ψ its configuration is (...) typically random, with probability density ρ given by |ψ|2, the quantum equilibrium distribution. It also turns out that the entire quantum formalism, operators as observables and all the rest, naturally emerges in Bohmian mechanics from the analysis of “measurements.” This analysis reveals the status of operators as observables in the description of quantum phenomena, and facilitates a clear view of the range of applicability of the usual quantum mechanical formulas. (shrink)

In this brief paper, we argue about the conceptual relationship between the role of observer in quantum mechanics and the von Neumann Chain. -/- .

We attempt to clarify the main conceptual issues in approaches to ‘objectification’ or ‘measurement’ in quantum mechanics which are based on superselection rules. Such approaches venture to derive the emergence of classical ‘reality’ relative to a class of observers; those believing that the classical world exists intrinsically and absolutely are advised against reading this paper. The prototype approach (K. Hepp, Helv. Phys. Acta45 (1972), 237–248) where superselection sectors are assumed in the state space of the apparatus is shown to (...) be untenable. Instead, one should couple system and apparatus to an environment, and postulate superselection rules for the latter. These are motivated by the locality of any observer or other (actual or virtual) monitoring system. In this way ‘environmental’ solutions to the measurement problem (H.D. Zeh, Found. Phys.1 (1970), 69–76; W. H. Zurek, Phys. Rev.D26 (1982), 1862–1880 and Progr. Theor. Phys.89 (1993), 281–312) become consistent and acceptable, too. Points of contact with the modal interpretation are briefly discussed. We propose a minimal value attribution to observables in theories with superselection rules, in which only central observables have properties. In particular, the eigenvector-eigenvalue link is dropped. This is mainly motivated by Ockham's razor. (shrink)

A goal of most interpretations of quantum mechanics is to avoid the apparent intrusion of the observer into the measurement process. Such intrusion is usually seen to arise because observation somehow selects a single actuality from among the many possibilities represented by the wavefunction. The issue is typically treated in terms of the mathematical formulation of the quantum theory. We attempt to address a different manifestation of the quantum measurement problem in a theory-neutral manner. With a (...) version of the two-slit experiment, we demonstrate that an enigma arises directly from the results of experiments. Assuming that no observable physical phenomena exist beyond those predicted by the theory, we argue that no interpretation of the quantum theory can avoid a measurement problem involving the observer. (shrink)

Despite its extraordinary predictive successes, quantum mechanics has, since its inception some seventy years ago, been plagued by conceptual di culties. The basic problem, plainly put, is this: It is not at all clear what quantum mechanics is about. What, in fact, does quantum mechanics describe?

Although quantum theory is applicable, in principle, to both the microscopic and macroscopic realms, the strategy of practically applying quantum theory by retaining a classical conception of the macroscopic world has had tremendous success. This has nevertheless rendered the task of interpretation daunting. We argue the need for recognizing and solving the ‘observation problem', namely constructing a ‘quantum-compatible’ view of the properties and states of macroscopic objects in everyday thinking to realistically interpret quantum theory consistently at (...) both the microscopic and macroscopic levels. Toward a solution to this problem, we point out a category of properties called ‘relational properties’ that we regularly associate with everyday objects. We see them as being potentially quantum-compatible. Some possible physical implications are discussed. We conclude by touching upon the nexus between the relational property view within quantum physics and some neurobiological issues underlying cognition. (shrink)

With the example of a Stern–Gerlach measurement on a spin-1/2 atom, we show that a superposition of both paths may be observed compatibly with properties attributed to state collapse—for example, the singleness (or mutual exclusivity) of outcomes. This is done by inserting a quantum two-state system (an ancilla) in each path, capable of responding to the passage of the atom, and thus acting as a virtual detector. We then consider real measurements on the compound system of atomic spin and (...) two ancillae. Nondestructive measurements of a set of compatible joint observables can be performed, one for a superposition and others for collapse properties. A novel perspective is given as to why, within unitary quantum theory, ordinary measurements are blind to such superpositions. Implications for the theory of measurement are discussed. (shrink)

This paper seeks to extend my recent work on quantum perception (Rosen, 2021) to the phenomenon of quantum entanglement. In the first section, I summarize the earlier work, noting how the conventional approach to observing photons is rooted in an objectivist philosophy that serves as an obstacle to probing the underlying quantum reality. In the summary provided, I bring out the intimate relationship between observer and observed in the quantum world, and the need for a (...) new, proprioceptive mode of observation linked to phenomenological philosophy. The second part of the paper builds on the earlier effort by applying the proprioceptive observation of photons to the phenomenon of entanglement. The basic proposition is that proprioceptive observers of entangled photons may become entangled with each other. I propose an experiment that tests this hypothesis. In concluding, I explore the possibility that a quantum internet of proprioceptively engaged participants could create an ontologically entangled society. (shrink)

A model for measurement in collapse-free nonrelativistic fermionic quantum field theory is presented. In addition to local propagation and effectively-local interactions, the model incorporates explicit representations of localized observers, thus extending an earlier model of entanglement generation in Everett quantum field theory (Rubin in Found. Phys. 32:1495–1523, 2002). Transformations of the field operators from the Heisenberg picture to the Deutsch-Hayden picture, involving fictitious auxiliary fields, establish the locality of the model. The model is applied to manifestly-local calculations of (...) the results of measurements, using a type of sudden approximation and in the limit of massive systems in narrow-wavepacket states. Detection of the presence of a spin-1/2 system in a given spin state by a freely-moving two-state observer illustrates the features of the model and the nonperturbative computational methodology. With the help of perturbation theory the model is applied to a calculation of the quintessential “nonlocal” quantum phenomenon, spin correlations in the Einstein-Podolsky-Rosen-Bohm experiment. (shrink)

Quantum mechanics is troubled by the problem of nonlocality inherent in the theory. In a series of papers we explore the possibility of an algebraic formulation of quantum mechanics based on local observables which would incorporate nonlocality when small distances are involved but would be separable at large distances. This paper reviews some of the basic ideas and theories developed recently. These include a unified localization scheme, the introduction of local comoving evolution, local comoving observables, and related conservation (...) laws. Technical considerations and mathematical jargon are kept to a minimum to avoid obscuring physical reasoning. (shrink)

We review the notion of complementarity of observables in quantum mechanics, as formulated and studied by Paul Busch and his colleagues over the years. In addition, we provide further clarification on the operational meaning of the concept, and present several characterisations of complementarity—some of which new—in a unified manner, as a consequence of a basic factorisation lemma for quantum effects. We work out several applications, including the canonical cases of position–momentum, position–energy, number–phase, as well as periodic observables relevant (...) to spatial interferometry. We close the paper with some considerations of complementarity in a noisy setting, focusing especially on the case of convolutions of position and momentum, which was a recurring topic in Paul’s work on operational formulation of quantum measurements and central to his philosophy of unsharp reality. (shrink)

The paradox of Wigner’s friend challenges the objectivity of quantum theory. A pragmatist interpretation can meet this challenge by judicious appeal to decoherence. Quantum theory provides situated agents with resources for predicting and explaining what happens in the physical world—not conscious observations of it. Even in bizarre Wigner’s friend scenarios, differently situated agents agree on the objective content of physical magnitude statements while, normally, quantum Darwinism permits agents equal observational access to their truth. Quantum theory has (...) nothing to say about conscious experiences. But it does prompt us to reexamine the significance of everyday claims about the physical world. (shrink)

The main question addressed in this essay is whether quarks have been observed in any sense and, if so, what might be meant by this use of the term, observation. In the first (or introductory) section of the paper, I explain that well-known researchers are divided on the answers to these important questions. In the second section, I investigate microphysical observation in general. Here I argue that Wilson's analogy between observation by means of high-energy accelerators and observation by means of (...) microscopes is misleading, for at least three reasons. Moreover, so long as high-energy observation is accomplished by means of spark or bubble chambers, then sentences about these observations do not meet Maxwell's criterion, that observation statements are quickly decidable. I argue, however, that this criterion is not a good norm for what is observable in high-energy physics, both because it would result in our describing a great many allegedly observed particle events as unobserved or theoretical, and because it fails to distinguish the reasons why some observation statements might not be quickly decidable. Most important, Maxwell's criterion fails because, contrary to Hanson's analysis, it presupposes that seeing does not involve both seeing as and seeing that.With this background concerning what is meant by general microphysical observation, in the third section of the essay, I discuss what might be meant by a more particular type of observation, that of the quark via scattering events. I employ Feinberg's distinction concerning observation of manifest, versus existent, particles and claim that the alleged indirect observation of quarks as existent particles is really based on a retroductive inference. I explain which premise in the retroductive argument appears most open to the charge of being theoretical (in a damaging sense) and less substantiated by observation. (shrink)

Observables have a dual nature in both classical and quantum kinematics: they are at the same time quantities, allowing to separate states by means of their numerical values, and generators of transformations, establishing relations between different states. In this work, we show how this twofold role of observables constitutes a key feature in the conceptual analysis of classical and quantum kinematics, shedding a new light on the distinguishing feature of the quantum at the kinematical level. We first (...) take a look at the algebraic description of both classical and quantum observables in terms of Jordan–Lie algebras and show how the two algebraic structures are the precise mathematical manifestation of the twofold role of observables. Then, we turn to the geometric reformulation of quantum kinematics in terms of Kähler manifolds. A key achievement of this reformulation is to show that the twofold role of observables is the constitutive ingredient defining what an observable is. Moreover, it points to the fact that, from the restricted point of view of the transformational role of observables, classical and quantum kinematics behave in exactly the same way. Finally, we present Landsman’s general framework of Poisson spaces with transition probability, which highlights with unmatched clarity that the crucial difference between the two kinematics lies in the way the two roles of observables are related to each other. (shrink)

Observables have a dual nature in both classical and quantum kinematics: they are at the same time quantities, allowing to separate states by means of their numerical values, and generators of transformations, establishing relations between different states. In this work, we show how this twofold role of observables constitutes a key feature in the conceptual analysis of classical and quantum kinematics, shedding a new light on the distinguishing feature of the quantum at the kinematical level. We first (...) take a look at the algebraic description of both classical and quantum observables in terms of Jordan–Lie algebras and show how the two algebraic structures are the precise mathematical manifestation of the twofold role of observables. Then, we turn to the geometric reformulation of quantum kinematics in terms of Kähler manifolds. A key achievement of this reformulation is to show that the twofold role of observables is the constitutive ingredient defining what an observable is. Moreover, it points to the fact that, from the restricted point of view of the transformational role of observables, classical and quantum kinematics behave in exactly the same way. Finally, we present Landsman’s general framework of Poisson spaces with transition probability, which highlights with unmatched clarity that the crucial difference between the two kinematics lies in the way the two roles of observables are related to each other. (shrink)

Often it is assumed that a quantum state or a phase-space distribution must be normalizable. Here it is shown that even if it is not normalizable, one may be able to extract normalized observational probabilities from it.

Experimental situations in which we observe quantum effects that deviate from the intuitive expectations of the classical world call for an interdisciplinary discussion, and one fundamental issue to be considered is the compatibility between the description of phenomena and the assumption of an objective reality. This paper discusses the ontological interpretation of Bohmian quantum mechanics, focusing on the use of the term “trajectory” and the difficulties associated with its connection to a “real” (objective) trajectory. My conclusion is that (...) the intended realistic interpretation of Bohmian trajectories is highly questionable.Los contextos experimentales que permiten la observación de efectos cuánticos contrarios a los esperables según la intuición clásica son especialmente adecuados para una discusión multidisciplinar, en particular sobre la compatibilidad entre la descripción fenomenológica y una pretendida realidad subyacente. Este artículo discute la interpretación ontológica de la mecánica cuántica en la interpretación de Bohm, centrándose principalmente en su uso del término “trayectoria” y las dificultades inherentes a su conexión con un concepto “real” (objetivo) de la misma. La conclusión es que la pretendida interpretación realista de las trayectorias bohmianas es muy cuestionable. (shrink)

There is persistent heterodoxy in the physics literature concerning the proper treatment of those quantons that are unstable against decay. Following a brief litany of this heterodoxy, I develop some of the consequences of assuming that such quantons can exist, undecayed and isolated, at definite times and that their treatment can be carried out within a standard quantum theoretic state space. This assumption requires hyperplane dependence for the unstable quanton states and leads to clarification of some recent results concerning (...) deviations from relativistic time dilation of decay lifetimes. In the course of the discussion I make some observations on the relationship of unstable quantons to quantum fields. (shrink)

Newtonian and Scr{\"o}dinger dynamics can be formulated in a physically meaningful way within the same Hilbert space framework. This fact was recently used to discover an unexpected relation between classical and quantum motions that goes beyond the results provided by the Ehrenfest theorem. A formula relating the normal probability distribution and the Born rule was also found. Here the dynamical mechanism responsible for the latter formula is proposed and applied to measurements of macroscopic and microscopic systems. A relationship between (...) the classical Brownian motion and the diffusion of state on the space of states is discovered. The role of measuring devices in quantum theory is investigated in the new framework. It is shown that the so-called collapse of the wave function is not measurement specific and does not require a ``concentration" near the eigenstates of the measured observable. Instead, it is explained by the common diffusion of state over the space of states under interaction with the apparatus and the environment. This in turn provides us with a basic reason for the definite position of macroscopic bodies in space. (shrink)

The program of a physical concept of information is outlined in the framework of quantum theory. A proposal is made for how to avoid the intuitive introduction of observables. The conventional and the Everett interpretations in principle may lead to different dynamical consequences. An ensemble description occurs without the introduction of an abstract concept of information.

The classical mechanistic idea of nature that prevailed in science during the eighteenth and nineteenth centuries was an essentially mindless conception: the ...

_Experimental situations in which we observe quantum effects that deviate from the intuitive expectations of the classical world call for an interdisciplinary discussion, and one fundamental issue to be considered is the compatibility between the description of phenomena and the assumption of an objective reality. This paper discusses the ontological interpretation of Bohmian quantum mechanics, focusing on the use of the term “trajectory” and the difficulties associated with its connection to a “real” (objective) trajectory. __My conclusion is that (...) the intended realistic interpretation of Bohmian trajectories is highly doubtful.___. (shrink)

The incredible success of quantum theory as a mathematical model makes it especially frustrating that we cannot agree on a plausible philosophical or metaphysical description of it. Some philosophers of science have noticed certain parallels between quantum theory and the philosophy of Thomas Aquinas, and these parallels are deepened and strengthened if the “observer” of modern physics is associated with the “intellect” of scholastic ontology. In this case we are talking about a human observer. But this (...) type of observer has a unique quality that is not considered at all by either physics or scholastic philosophy—the human observer is mimetic and therefore “interdividual.” By taking this fundamental anthropological fact into account, it turns out that the critical gaps still separating Aquinas from modern physicists can be effectively closed, reconciling the realism of Aquinas with the empirical evidence of quantum mechanics. This book explores this new bridge between the physical and the human—a bridge essentially designed by scholastic theory, clarified by mimetic theory, and built by quantum theory—and the path it opens to that metaphysical understanding for which philosophers of modern science have been striving. It is an understanding, not merely of the physical but of physics in the fuller sense of what is real and what is true. Here the reader will find a physics that describes the natural world and our place as mimetic observers within it. (shrink)

This paper is devoted to clarification of the notion of entanglement through decoupling it from the tensor product structure and treating as a constraint posed by probabilistic dependence of quantum observable _A_ and _B_. In our framework, it is meaningless to speak about entanglement without pointing to the fixed observables _A_ and _B_, so this is _AB_-entanglement. Dependence of quantum observables is formalized as non-coincidence of conditional probabilities. Starting with this probabilistic definition, we achieve the Hilbert space characterization (...) of the _AB_-entangled states as amplitude non-factorisable states. In the tensor product case, _AB_-entanglement implies standard entanglement, but not vise verse. _AB_-entanglement for dichotomous observables is equivalent to their correlation, i.e., \(\langle AB\rangle _{\psi} \not = \langle A\rangle _{\psi} \langle B\rangle _{\psi}.\) We describe the class of quantum states that are \(A_{u} B_{u}\) -entangled for a family of unitary operators (_u_). Finally, observables entanglement is compared with dependence of random variables in classical probability theory. (shrink)

The centerpiece of Jeffrey Bub's book Interpreting the Quantum World is a theorem (Bub and Clifton 1996) which correlates each member of a large class of no-collapse interpretations with some 'privileged observable'. In particular, the Bub-Clifton theorem determines the unique maximal sublattice L(R,e) of propositions such that (a) elements of L(R,e) can be simultaneously determinate in state e, (b) L(R,e) contains the spectral projections of the privileged observable R, and (c) L(R,e) is picked out by R and e alone. (...) In this paper, we explore the issue of maximal determinate sets of observables using the tools provided by the algebraic approach to quantum theory; and we call the resulting algebras of determinate observables, "maximal *beable* subalgebras". The capstone of our exploration is a generalized version of Bub and Clifton's theorem that applies to arbitrary (i.e., both mixed and pure) quantum states, to Hilbert spaces of arbitrary (i.e., both finite and infinite) dimension, and to arbitrary observables (including those with a continuous spectrum). Moreover, in the special case covered by the original Bub-Clifton theorem, our theorem reproduces their result under strictly weaker assumptions. This added level of generality permits us to treat several topics that were beyond the reach of the original Bub-Clifton result. In particular: (a) We show explicitly that a (non-dynamical) version of the Bohm theory can be obtained by granting privileged status to the position observable. (b) We show that Clifton's (1995) characterization of the Kochen-Dieks modal interpretation is a corollary of our theorem in the special case when the density operator is taken as the privileged observable. (c) We show that the 'uniqueness' demonstrated by Bub and Clifton is only guaranteed in certain special cases -- viz., when the quantum state is pure, or if the privileged observable is compatible with the density operator. We also use our results to articulate a solid mathematical foundation for certain tenets of the orthodox Copenhagen interpretation of quantum theory. For example, the uncertainty principle asserts that there are strict limits on the precision with which we can know, simultaneously, the position and momentum of a quantum-mechanical particle. However, the Copenhagen interpretation of this fact is not simply that a precision momentum measurement necessarily and uncontrollably disturbs the value of position, and vice-versa; but that position and momentum can never in reality be thought of as simultaneously determinate. We provide warrant for this stronger 'indeterminacy principle' by showing that there is no quantum state that assigns a sharp value to both position and momentum; and, a fortiori, that it is mathematically impossible to construct a beable algebra that contains both the position observable and the momentum observable. We also prove a generalized version of the Bub-Clifton theorem that applies to "singular" states (i.e., states that arise from non-countably-additive probability measures, such as Dirac delta functions). This result allows us to provide a mathematically rigorous reconstruction of Bohr's response to the original EPR argument -- which makes use of a singular state. In particular, we show that if the position of the first particle is privileged (e.g., as Bohr would do in a position measuring context), the position of the second particle acquires a definite value by virtue of lying in the corresponding maximal beable subalgebra. But then (by the indeterminacy principle) the momentum of the second particle is not a beable; and EPR's argument for the simultaneous reality of both position and momentum is undercut. (shrink)

This article takes up a suggestion that the reason we cannot find certain hidden variable theories for quantum mechanics, as in Bell’s theorem, is that we require them to assign joint probability distributions on incompatible observables. These joint distributions are problematic because they are empirically meaningless on one standard interpretation of quantum mechanics. Some have proposed getting around this problem by using generalized probability spaces. I present a theorem to show a sense in which generalized probability spaces can’t (...) serve as hidden variable theories for quantum mechanics, so the proposal for getting around Bell’s theorem fails. 1 Introduction2 Bell’s Theorem and Classical Probability Spaces2.1 Bell’s derivation of the Bell inequalities2.2 Pitowsky’s derivation of the Bell inequalities3 Incompatible Observables4 Generalized Probability Spaces5 A ‘No-Go’ Theorem6 Conclusions. (shrink)

An observable on a quantum structure is any σ-homomorphism of quantum structures from the Borel σ-algebra of the real line into the quantum structure which is in our case a monotone σ-complete effect algebra with the Riesz Decomposition Property. We show that every observable is a smearing of a sharp observable which takes values from a Boolean σ-subalgebra of the effect algebra, and we prove that for every element of the effect algebra there corresponds a spectral measure.

Some seeming logical deficiencies in a recent paper are described. The author responds to the arguments of the work by de Muynck, De Baere, and Martens , who argue it is widely accepted today that some sort of nonlocal effect is needed to resolve the problems raised by the works of Einstein, Podolsky, and Rosen and John Bell. In MBM a variety of arguments are set forth that aim to invalidate the existing purported proofs of nonlocality and to provide, moreover, (...) a local solution to the problems uncovered by EPR and Bell. Much of the argumentation in MBM is based on the idea of introducing `nonideal` measurements, which, according to MBM, allow one to construct joint probability distributions for incompatible observables. The existence of a bona fide joint probability distribution for the incompatible observables occurring in the EPRB experiments would entail that Bell`s inequalities can be satisfied, and hence that the mathematical basis for the nonlocal effects would disappear. This relult would apparently allow one to eliminate the need for nonlocal effects by considering experiments of this new kind. (shrink)