270 research outputs found
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. <i>clv2</i> as well as <i>crn</i> null mutants are resistant to root-active CLE peptides, possibly because CLV2-CRN promotes expression of their cognate receptors. Here, we have identified the <i>CLE-RESISTANT RECEPTOR KINASE</i> ( <i>CLERK</i> ) 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, <i>CLERK</i> also acts genetically independently of <i>CLV2-CRN</i> 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
- …