Hilbert Lattice Equations

There are five known classes of lattice equations that hold in every infinite dimensional Hilbert space underlying quantum systems: generalised orthoarguesian, Mayet's E_A, Godowski, Mayet-Godowski, and Mayet's E equations. We obtain a result which opens a possibility that the first two classes coincide. We devise new algorithms to generate Mayet-Godowski equations that allow us to prove that the fourth class properly includes the third. An open problem related to the last class is answered. Finally, we show some new results on the Godowski lattices characterising the third class of equations.Comment: 24 pages, 3 figure

A quantum logical and geometrical approach to the study of improper mixtures

We study improper mixtures from a quantum logical and geometrical point of view. Taking into account the fact that improper mixtures do not admit an ignorance interpretation and must be considered as states in their own right, we do not follow the standard approach which considers improper mixtures as measures over the algebra of projections. Instead of it, we use the convex set of states in order to construct a new lattice whose atoms are all physical states: pure states and improper mixtures. This is done in order to overcome one of the problems which appear in the standard quantum logical formalism, namely, that for a subsystem of a larger system in an entangled state, the conjunction of all actual properties of the subsystem does not yield its actual state. In fact, its state is an improper mixture and cannot be represented in the von Neumann lattice as a minimal property which determines all other properties as is the case for pure states or classical systems. The new lattice also contains all propositions of the von Neumann lattice. We argue that this extension expresses in an algebraic form the fact that -alike the classical case- quantum interactions produce non trivial correlations between the systems. Finally, we study the maps which can be defined between the extended lattice of a compound system and the lattices of its subsystems.Comment: submitted to the Journal of Mathematical Physic

Type-Decomposition of a Pseudo-Effect Algebra

The theory of direct decomposition of a centrally orthocomplete effect algebra into direct summands of various types utilizes the notion of a type-determining (TD) set. A pseudo-effect algebra (PEA) is a (possibly) noncommutative version of an effect algebra. In this article we develop the basic theory of centrally orthocomplete PEAs, generalize the notion of a TD set to PEAs, and show that TD sets induce decompositions of centrally orthocomplete PEAs into direct summands.Comment: 18 page

Ground-State Spaces of Frustration-Free Hamiltonians

We study the ground-state space properties for frustration-free Hamiltonians. We introduce a concept of `reduced spaces' to characterize local structures of ground-state spaces. For a many-body system, we characterize mathematical structures for the set $\Theta_k$ of all the $k$-particle reduced spaces, which with a binary operation called join forms a semilattice that can be interpreted as an abstract convex structure. The smallest nonzero elements in $\Theta_k$, called atoms, are analogs of extreme points. We study the properties of atoms in $\Theta_k$ and discuss its relationship with ground states of $k$-local frustration-free Hamiltonians. For spin-1/2 systems, we show that all the atoms in $\Theta_2$ are unique ground states of some 2-local frustration-free Hamiltonians. Moreover, we show that the elements in $\Theta_k$ may not be the join of atoms, indicating a richer structure for $\Theta_k$ beyond the convex structure. Our study of $\Theta_k$ deepens the understanding of ground-state space properties for frustration-free Hamiltonians, from a new angle of reduced spaces.Comment: 23 pages, no figur

Detection and prevention of financial abuse against elders

This article is made available through the Brunel Open Access Publishing Fund. Copyright @ The Authors. This article is published under the Creative Commons Attribution (CC BY 3.0) licence. Anyone may reproduce, distribute, translate and create derivative works of this article (for both commercial and non-commercial purposes), subject to full attribution to the original publication and authors. The full terms of this licence may be seen at http://creativecommons.org/licences/ by/3.0/legalcode.Purpose – This paper reports on banking and finance professionals' decision making in the context of elder financial abuse. The aim was to identify the case features that influence when abuse is identified and when action is taken. Design/methodology/approach – Banking and finance professionals (n=70) were shown 35 financial abuse case scenarios and were asked to judge how certain they were that the older person was being abused and the likelihood of taking action. Findings – Three case features significantly influenced certainty of financial abuse: the nature of the financial problem presented, the older person's level of mental capacity and who was in charge of the client's money. In cases where the older person was more confused and forgetful, there was increased suspicion that financial abuse was taking place. Finance professionals were less certain that financial abuse was occurring if the older person was in charge of his or her own finances. Originality/value – The research findings have been used to develop freely available online training resources to promote professionals' decision making capacity (www.elderfinancialabuse.co.uk). The resources have been advocated for use by Building Societies Association as well as CIFAS, the UK's Fraud Prevention Service.The research reported here was funded by the UK cross council New Dynamicsof Ageing Programme, ESRC Reference No. RES-352-25-0026, with Mary L.M. Gilhooly asPrincipal Investigator. Web-based training tools, developed from the research findings, weresubsequently funded by the ESRC follow-on fund ES/J001155/1 with Priscilla A. Harries asPrincipal Investigator

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

Arabidopsis SABRE and CLASP interact to stabilize cell division plane orientation and planar polarity

The orientation of cell division and the coordination of cell polarity within the plane of the tissue layer (planar polarity) contribute to shape diverse multicellular organisms. The root of Arabidopsis thaliana displays regularly oriented cell divisions, cell elongation and planar polarity providing a plant model system to study these processes. Here we report that the SABRE protein, which shares similarity with proteins of unknown function throughout eukaryotes, has important roles in orienting cell division and planar polarity. SABRE localizes at the plasma membrane, endomembranes, mitotic spindle and cell plate. SABRE stabilizes the orientation of CLASP-labelled preprophase band microtubules predicting the cell division plane, and of cortical microtubules driving cell elongation. During planar polarity establishment, sabre is epistatic to clasp at directing polar membrane domains of Rho-of-plant GTPases. Our findings mechanistically link SABRE to CLASP-dependent microtubule organization, shedding new light on the function of SABRE-related proteins in eukaryotes

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