Many worlds and modality in the interpretation of quantum mechanics: an algebraic approach

Many worlds interpretations (MWI) of quantum mechanics avoid the measurement problem by considering every term in the quantum superposition as actual. A seemingly opposed solution is proposed by modal interpretations (MI) which state that quantum mechanics does not provide an account of what `actually is the case', but rather deals with what `might be the case', i.e. with possibilities. In this paper we provide an algebraic framework which allows us to analyze in depth the modal aspects of MWI. Within our general formal scheme we also provide a formal comparison between MWI and MI, in particular, we provide a formal understanding of why --even though both interpretations share the same formal structure-- MI fall pray of Kochen-Specker (KS) type contradictions while MWI escape them.Comment: submitted to the Journal of Mathematical Physic

CLERK is a novel receptor kinase required for sensing of root-active CLE peptides in <i>Arabidopsis</i>.

CLAVATA3/EMBRYO SURROUNDING REGION (CLE) peptides are secreted endogenous plant ligands that are sensed by receptor kinases (RKs) to convey environmental and developmental inputs. Typically, this involves an RK with narrow ligand specificity that signals together with a more promiscuous co-receptor. For most CLEs, biologically relevant (co-)receptors are unknown. The dimer of the receptor-like protein CLAVATA 2 (CLV2) and the pseudokinase CORYNE (CRN) conditions perception of so-called root-active CLE peptides, the exogenous application of which suppresses root growth by preventing protophloem formation in the meristem. &lt;i&gt;clv2&lt;/i&gt; as well as &lt;i&gt;crn&lt;/i&gt; null mutants are resistant to root-active CLE peptides, possibly because CLV2-CRN promotes expression of their cognate receptors. Here, we have identified the &lt;i&gt;CLE-RESISTANT RECEPTOR KINASE&lt;/i&gt; ( &lt;i&gt;CLERK&lt;/i&gt; ) gene, which is required for full sensing of root-active CLE peptides in early developing protophloem. CLERK protein can be replaced by its close homologs, SENESCENCE-ASSOCIATED RECEPTOR-LIKE KINASE (SARK) and NSP-INTERACTING KINASE 1 (NIK1). Yet neither CLERK nor NIK1 ectodomains interact biochemically with described CLE receptor ectodomains. Consistently, &lt;i&gt;CLERK&lt;/i&gt; also acts genetically independently of &lt;i&gt;CLV2-CRN&lt;/i&gt; We, thus, have discovered a novel hub for redundant CLE sensing in the root

Involutive Categories and Monoids, with a GNS-correspondence

This paper develops the basics of the theory of involutive categories and shows that such categories provide the natural setting in which to describe involutive monoids. It is shown how categories of Eilenberg-Moore algebras of involutive monads are involutive, with conjugation for modules and vector spaces as special case. The core of the so-called Gelfand-Naimark-Segal (GNS) construction is identified as a bijective correspondence between states on involutive monoids and inner products. This correspondence exists in arbritrary involutive categories

On the lattice structure of probability spaces in quantum mechanics

Let C be the set of all possible quantum states. We study the convex subsets of C with attention focused on the lattice theoretical structure of these convex subsets and, as a result, find a framework capable of unifying several aspects of quantum mechanics, including entanglement and Jaynes' Max-Ent principle. We also encounter links with entanglement witnesses, which leads to a new separability criteria expressed in lattice language. We also provide an extension of a separability criteria based on convex polytopes to the infinite dimensional case and show that it reveals interesting facets concerning the geometrical structure of the convex subsets. It is seen that the above mentioned framework is also capable of generalization to any statistical theory via the so-called convex operational models' approach. In particular, we show how to extend the geometrical structure underlying entanglement to any statistical model, an extension which may be useful for studying correlations in different generalizations of quantum mechanics.Comment: arXiv admin note: substantial text overlap with arXiv:1008.416

A topos for algebraic quantum theory

The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr's idea that the empirical content of quantum physics is accessible only through classical physics, we show how a C*-algebra of observables A induces a topos T(A) in which the amalgamation of all of its commutative subalgebras comprises a single commutative C*-algebra. According to the constructive Gelfand duality theorem of Banaschewski and Mulvey, the latter has an internal spectrum S(A) in T(A), which in our approach plays the role of a quantum phase space of the system. Thus we associate a locale (which is the topos-theoretical notion of a space and which intrinsically carries the intuitionistic logical structure of a Heyting algebra) to a C*-algebra (which is the noncommutative notion of a space). In this setting, states on A become probability measures (more precisely, valuations) on S(A), and self-adjoint elements of A define continuous functions (more precisely, locale maps) from S(A) to Scott's interval domain. Noting that open subsets of S(A) correspond to propositions about the system, the pairing map that assigns a (generalized) truth value to a state and a proposition assumes an extremely simple categorical form. Formulated in this way, the quantum theory defined by A is essentially turned into a classical theory, internal to the topos T(A).Comment: 52 pages, final version, to appear in Communications in Mathematical Physic

Bohrification of operator algebras and quantum logic

Following Birkhoff and von Neumann, quantum logic has traditionally been based on the lattice of closed linear subspaces of some Hilbert space, or, more generally, on the lattice of projections in a von Neumann algebra A. Unfortunately, the logical interpretation of these lattices is impaired by their nondistributivity and by various other problems. We show that a possible resolution of these difficulties, suggested by the ideas of Bohr, emerges if instead of single projections one considers elementary propositions to be families of projections indexed by a partially ordered set C(A) of appropriate commutative subalgebras of A. In fact, to achieve both maximal generality and ease of use within topos theory, we assume that A is a so-called Rickart C*-algebra and that C(A) consists of all unital commutative Rickart C*-subalgebras of A. Such families of projections form a Heyting algebra in a natural way, so that the associated propositional logic is intuitionistic: distributivity is recovered at the expense of the law of the excluded middle. Subsequently, generalizing an earlier computation for n-by-n matrices, we prove that the Heyting algebra thus associated to A arises as a basis for the internal Gelfand spectrum (in the sense of Banaschewski-Mulvey) of the "Bohrification" of A, which is a commutative Rickart C*-algebra in the topos of functors from C(A) to the category of sets. We explain the relationship of this construction to partial Boolean algebras and Bruns-Lakser completions. Finally, we establish a connection between probability measure on the lattice of projections on a Hilbert space H and probability valuations on the internal Gelfand spectrum of A for A = B(H).Comment: 31 page

A geometrical origin for the covariant entropy bound

Causal diamond-shaped subsets of space-time are naturally associated with operator algebras in quantum field theory, and they are also related to the Bousso covariant entropy bound. In this work we argue that the net of these causal sets to which are assigned the local operator algebras of quantum theories should be taken to be non orthomodular if there is some lowest scale for the description of space-time as a manifold. This geometry can be related to a reduction in the degrees of freedom of the holographic type under certain natural conditions for the local algebras. A non orthomodular net of causal sets that implements the cutoff in a covariant manner is constructed. It gives an explanation, in a simple example, of the non positive expansion condition for light-sheet selection in the covariant entropy bound. It also suggests a different covariant formulation of entropy bound.Comment: 20 pages, 8 figures, final versio

Nonlinear self-action of light through biological suspensions

It is commonly thought that biological media cannot exhibit an appreciable nonlinear optical response. We demonstrate, for the first time to our knowledge, a tunable optical nonlinearity in suspensions of cyanobacteria that leads to robust propagation and strong self-action of a light beam. By deliberately altering the host environment of the marine bacteria, we show experimentally that nonlinear interaction can result in either deep penetration or enhanced scattering of light through the bacterial suspension, while the viability of the cells remains intact. A theoretical model is developed to show that a nonlocal nonlinearity mediated by optical forces (including both gradient and forward-scattering forces) acting on the bacteria explains our experimental observation