Formal concept analysis and structures underlying quantum logics

A Hilbert space $H$ induces a formal context, the Hilbert formal context $\overline H$, whose associated concept lattice is isomorphic to the lattice of closed subspaces of $H$. This set of closed subspaces, denoted $\mathcal C(H)$, is important in the development of quantum logic and, as an algebraic structure, corresponds to a so-called ``propositional system'', that is, a complete, atomistic, orthomodular lattice which satisfies the covering law. In this paper, we continue with our study of the Chu construction by introducing the Chu correspondences between Hilbert contexts, and showing that the category of Propositional Systems, PropSys, is equivalent to the category of $\text{ChuCors}_{\mathcal H}$ of Chu correspondences between Hilbert contextsUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Inactivation of pollen and other effects of genome-plastome incompatibility in Oenothera

A series of strains of the homozygous species Oenothera grandiflora (characterized by the genome BB and plastome III) were combined with plastome IV from O. parviflora (BC-IV) by means of appropriate crosses. An incompatibility between genome B and plastome IV is expressed in the haplo- and diplophase: (1) B-IV pollen, though normally developed, is largely inactive. The extent of the inactivation varies between different strains and shows a seasonal fluctuation as determined by seed set in outcrossing and selfing experiments. (2) In most of the strains lethality of BB-IV embryos is the rule, leading to empty seeds. This can be ameliorated by including another plastome in the zygotes and developing embryos on account of the biparental plastid transmission in Oenothera. It can best be demonstrated in crosses with a seed parent having normal green plastids of plastome IV and mutated chlorophyll deficient plastids from a different plastome in the pollen parent, leading to variegated progeny as well as a remainder of empty seeds. (3) In about one-half of the strains the BB-IV plants exhibit a temporary bleaching of the virescens type. The incompatibily between genome B and plastome IV does not support the earlier assumption that plastome IV is the ancestor of plastomes II, III, and V. Instead, a precursor plastome is postulated from which plastomes II, III, and IV are descended. While plastome I can be derived from II, only plastome V can be descended from plastome IV.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/41640/1/606_2004_Article_BF00984370.pd

In Memoriam, Academician Prof. Dr. Osor Shagdarsuren (1929-2010)

Academician, Professor Osor Shagdarsuren passed away due to apoplexy on Tuesday, February 2, 2010, at the age of 81. He was one of the most respected Mongolian ornithologists, biologists, and educators. The Mongolian scientific community has lost one of its greatest members, the premier Mongolian ornithologist

The Familial Clustering of Age at Menarche in Extended Twin Families

The timing of puberty is complex, possibly involving many genetic factors that may interact with environmental influences. Familial resemblance for age at menarche was studied in a sample of 4,995 female twins, 1,296 sisters, 2,946 mothers and 635 female spouses of male twins. They had indicated their age at menarche as part of a larger longitudinal survey. We assessed assortative mating for age at menarche, gene–environment interaction effects and estimated the heritability of individual differences in pubertal timing. There was significant evidence of gene–environment interaction, accounting for 1.5% of the variance. There was no indication of consistent mate assortment on age at menarche. Individual differences in age at menarche are highly heritable, with additive genetic factors explaining at least 70% of the true variation. An additional 1.5% of the variation can be explained by a genotype–environment interaction effect where environmental factors are more important in individuals genetically predisposed for late menarche

Phase transition in the collisionless regime for wave-particle interaction

Gibbs statistical mechanics is derived for the Hamiltonian system coupling self-consistently a wave to N particles. This identifies Landau damping with a regime where a second order phase transition occurs. For nonequilibrium initial data with warm particles, a critical initial wave intensity is found: above it, thermodynamics predicts a finite wave amplitude in the limit of infinite N; below it, the equilibrium amplitude vanishes. Simulations support these predictions providing new insight on the long-time nonlinear fate of the wave due to Landau damping in plasmas.Comment: 12 pages (RevTeX), 2 figures (PostScript

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

Spacings of Quarkonium Levels with the Same Principal Quantum Number

The spacings between bound-state levels of the Schr\"odinger equation with the same principal quantum number $N$ but orbital angular momenta $\ell$ differing by unity are found to be nearly equal for a wide range of power potentials $V = \lambda r^\nu$, with $E_{N \ell} \approx F(\nu, N) - G(\nu,N) \ell$. Semiclassical approximations are in accord with this behavior. The result is applied to estimates of masses for quarkonium levels which have not yet been observed, including the 2P $c \bar c$ states and the 1D $b \bar b$ states.Comment: 20 pages, latex, 3 uuencoded figures submitted separately (process using psfig.sty

The first report of Aelurostrongylus falciformis in Norwegian badgers (Meles meles)

The first report of Aelurostrongylus falciformis (Schlegel 1933) in Fennoscandian badgers is described. Routine parasitological examination of nine Norwegian badgers, at the National Veterinary Institute during 2004 and 2005, identified A. falciformis in the terminal airways of five of the animals. The first stage larvae (L1) closely resembled, in size and morphology, those of Angiostrongylus vasorum (Baillet 1866). The diagnosis for both A. falciformis and A. vasorum is frequently based on the identification of L1 in faeces or sputum. The potential for misclassification of an A. falciformis infection as A. vasorum, where larval identification is the only diagnostic method used, is discussed

Function of the Diiron Cluster of Escherichia coli Class Ia Ribonucleotide Reductase in Proton-Coupled Electron Transfer

The class Ia ribonucleotide reductase (RNR) from Escherichia coli employs a free-radical mechanism, which involves bidirectional translocation of a radical equivalent or “hole” over a distance of ~35 Å from the stable diferric/tyrosyl-radical (Y[subscript 122]•) cofactor in the β subunit to cysteine 439 (C[subscript 439]) in the active site of the α subunit. This long-range, intersubunit electron transfer occurs by a multistep “hopping” mechanism via formation of transient amino acid radicals along a specific pathway and is thought to be conformationally gated and coupled to local proton transfers. Whereas constituent amino acids of the hopping pathway have been identified, details of the proton-transfer steps and conformational gating within the β sununit have remained obscure; specific proton couples have been proposed, but no direct evidence has been provided. In the key first step, the reduction of Y[subscript 122]• by the first residue in the hopping pathway, a water ligand to Fe[subscript 1] of the diferric cluster was suggested to donate a proton to yield the neutral Y[subscript 122]. Here we show that forward radical translocation is associated with perturbation of the Mössbauer spectrum of the diferric cluster, especially the quadrupole doublet associated with Fe[subscript 1]. Density functional theory (DFT) calculations verify the consistency of the experimentally observed perturbation with that expected for deprotonation of the Fe[subscript 1]-coordinated water ligand. The results thus provide the first evidence that the diiron cluster of this prototypical class Ia RNR functions not only in its well-known role as generator of the enzyme’s essential Y[subscript 122]•, but also directly in catalysis.National Institutes of Health (U.S.) (GM-29595

The Dutch Consumer Quality Index: an example of stakeholder involvement in indicator development

Background: Like in several other Western countries, in the Dutch health care system regulated competition has been introduced. In order to make this work, comparable information is required about the performance of health care providers in terms of effectiveness, safety and patient experiences. Without further coordination, external actors will all try to force health care providers to be transparent. For health care providers this might result in a situation in which they have to deliver data for several sets of indicators, defined by different actors. Therefore, in the Netherlands an effort is made to define national sets of performance indicators and related measuring instruments. In this article, the following questions are addressed, using patient experiences as an example: - When and how are stakeholders involved in the development of indicators and instruments that measure the patients' experiences with health care providers? - Does this involvement lead to indicators and instruments that match stakeholders' information needs? Discussion: The Dutch experiences show that it is possible to implement national indicator sets and to reach consensus about what needs to be measured. Preliminary evaluations show that for health care providers and health insurers the benefits of standardization outweigh the possible loss of tailor-made information. However, it has also become clear that particular attention should be given to the participation of patient/consumer organisations. Summary: Stakeholder involvement is complex and time-consuming. However, it is the only way to balance the information needs of all the parties that ask for and benefit from transparency, without frustrating the health care system.