Expectation Propagation with Factorizing Distributions: A Gaussian Approximation and Performance Results for Simple Models

We discuss the expectation propagation (EP) algorithm for approximate Bayesian inference using a factorizing posterior approximation. For neural network models, we use a central limit theorem argument to make EP tractable when the number of parameters is large. For two types of models, we show that EP can achieve optimal generalization performance when data are drawn from a simple distribution.

Experience-induced preference for oviposition repellents derived from a non-host plant by a specialist herbivore

Foraging adults of phytophagous insects are attracted by host-plant volatiles and supposedly repelled by volatiles from non-host plants. In behavioural control of pest insects, chemicals derived from non-host plants applied to crops are expected to repel searching adults and thereby reduce egg laying. How experience by searching adults of non-host volatiles affects their subsequent searching and oviposition behaviour has been rarely tested. In laboratory experiments, we examined the effect of experience of a non-host-plant extract on the oviposition behaviour of the diamondback moth (DBM), Plutella xylostella, a specialist herbivore of cruciferous plants. Naive ovipositing DBM females were repelled by an extract of dried leaves of Chrysanthemum morifolium, a non-host plant of DBM, but experienced females were not repelled. Instead they were attracted by host plants treated with the non-host-plant extract and laid a higher proportion of eggs on treated than on untreated host plants. Such behavioural changes induced by experience could lead to host-plant range expansion in phytophagous insects and play an important role in determining outcome for pest management of some behavioural manipulation methods.

Ferromagnetism, paramagnetism, and a Curie-Weiss metal in an electron-doped Hubbard model on a triangular lattice

Motivated by the unconventional properties and rich phase diagram of NaxCoO2 we consider the electronic and magnetic properties of a two-dimensional Hubbard model on an isotropic triangular lattice doped with electrons away from half-filling. Dynamical mean-field theory (DMFT) calculations predict that for negative intersite hopping amplitudes (t < 0) and an on-site Coulomb repulsion, U, comparable to the bandwidth, the system displays properties typical of a weakly correlated metal. In contrast, for t > 0 a large enhancement of the effective mass, itinerant ferromagnetism, and a metallic phase with a Curie-Weiss magnetic susceptibility are found in a broad electron doping range. The different behavior encountered is a consequence of the larger noninteracting density of states (DOS) at the Fermi level for t > 0 than for t < 0, which effectively enhances the mass and the scattering amplitude of the quasiparticles. The shape of the DOS is crucial for the occurrence of ferromagnetism as for t > 0 the energy cost of polarizing the system is much smaller than for t < 0. Our observation of Nagaoka ferromagnetism is consistent with the A-type antiferromagnetism (i.e., ferromagnetic layers stacked antiferromagnetically) observed in neutron scattering experiments on NaxCoO2. The transport and magnetic properties measured in NaxCoO2 are consistent with DMFT predictions of a metal close to the Mott insulator and we discuss the role of Na ordering in driving the system towards the Mott transition. We propose that the Curie-Weiss metal phase observed in NaxCoO2 is a consequence of the crossover from a bad metal with incoherent quasiparticles at temperatures T > T-* and Fermi liquid behavior with enhanced parameters below T-*, where T-* is a low energy coherence scale induced by strong local Coulomb electron correlations. Our analysis also shows that the one band Hubbard model on a triangular lattice is not enough to describe the unusual properties of NaxCoO2 and is used to identify the simplest relevant model that captures the essential physics in NaxCoO2. We propose a model which allows for the Na ordering phenomena observed in the system which, we propose, drives the system close to the Mott insulating phase even at large dopings.

Macroscopic test of quantum mechanics versus stochastic electrodynamics

We identify a test of quantum mechanics versus macroscopic local realism in the form of stochastic electrodynamics. The test uses the steady-state triple quadrature correlations of a parametric oscillator below threshold.

Supporting contexts in program refinement

A program can be refined either by transforming the whole program or by refining one of its components. The refinement of a component is, for the main part, independent of the remainder of the program. However, refinement of a component can depend on the context of the component for information about the variables that are in scope and what their types are. The refinement can also take advantage of additional information, such as any precondition the component can assume. The aim of this paper is to introduce a technique, which we call program window inference, to handle such contextual information during derivations in the refinement calculus. The idea is borrowed from a technique, called window inference, for handling context in theorem proving. Window inference is the primary proof paradigm of the Ergo proof editor. This tool has been extended to mechanize refinement using program window inference. (C) 1997 Elsevier Science B.V.

A defense of backwards in time causation models in quantum mechanics

This paper offers a defense of backwards in time causation models in quantum mechanics. Particular attention is given to Cramer's transactional account, which is shown to have the threefold virtue of solving the Bell problem, explaining the complex conjugate aspect of the quantum mechanical formalism, and explaining various quantum mysteries such as Schrodinger's cat. The question is therefore asked, why has this model not received more attention from physicists and philosophers? One objection given by physicists in assessing Cramer's theory was that it is not testable. This paper seeks to answer this concern by utilizing an argument that backwards causation models entail a fork theory of causal direction. From the backwards causation model together with the fork theory one can deduce empirical predictions. Finally, the objection that this strategy is questionable because of its appeal to philosophy is deflected.

Star factorizations of graph products

A k-star is the graph K-1,K-k. We prove a general theorem about k-star factorizations of Cayley graphs. This is used to give necessary and sufficient conditions for the existence of k-star factorizations of any power (K-q)(S) of a complete graph with prime power order q, products C-r1 x C-r2 x ... x C-rk of k cycles of arbitrary lengths, and any power (C-r)(S) of a cycle of arbitrary length. (C) 2001 John Wiley & Sons, Inc.

Natural selection and quantitative genetics of life-history traits in Western women: A twin study

Whether contemporary human populations are still evolving as a result of natural selection has been hotly debated. For natural selection to cause evolutionary change in a trait, variation in the trait must be correlated with fitness and be genetically heritable and there must be no genetic constraints to evolution. These conditions have rarely been tested in human populations. In this study, data from a large twin cohort were used to assess whether selection Will cause a change among women in contemporary Western population for three life-history traits: age at menarche, age at first reproduction, and age at menopause. We control for temporal variation in fecundity (the baby boom phenomenon) and differences between women in educational background and religious affiliation. University-educated women have 35% lower fitness than those with less than seven years education, and Roman Catholic women have about 20% higher fitness than those of other religions. Although these differences were significant, education and religion only accounted for 2% and 1% of variance in fitness, respectively. Using structural equation modeling, we reveal significant genetic influences for all three life-history traits, with heritability estimates of 0.50, 0.23, and 0.45, respectively. However, strong genetic covariation with reproductive fitness could only be demonstrated for age at first reproduction, with much weaker covariation for age at menopause and no significant covariation for age at menarche. Selection may, therefore, lead to the evolution of earlier age at first reproduction in this population. We also estimate substantial heritable variation in fitness itself, with approximately 39% of the variance attributable to additive genetic effects, the remainder consisting of unique environmental effects and small effects from education and religion. We discuss mechanisms that could be maintaining such a high heritability for fitness. Most likely is that selection is now acting on different traits from which it did in pre-industrial human populations.

Genomic organization of the CC chemokine MIP-3 alpha/CCL20/LARC/EXODUS/SCYA20, showing gene structure, splice variants, and chromosome localization

We describe the genomic organization of a recently identified CC chemokine, MIP3 alpha /CCL20 (HGMW-approved symbol SCYA20). The MIP-3 alpha /CCL20 gene was cloned and sequenced, revealing a four exon, three intron structure, and was localized by FISK analysis to 2q35-q36. Two distinct cDNAs were identified, encoding two forms of MIP-3 alpha /CCL20, Ala MLP-3 alpha /CCL20 and Ser MIP-3 alpha /CCL20, that differ by one amino acid at the predicted signal peptide cleavage site. Examination of the sequence around the boundary of intron 1 and exon 2 showed that use of alternative splice acceptor sites could give rise to Ata MIP-3 alpha /CCL20 or Ser MIP-3 alpha /CCL20. Both forms of MIP-3cr/CCL20 were chemically synthesized and tested for biological activity. Both flu antigen plus IL-a-activated CD4(+) and CD8(+) T lymphoblasts and cord blood-derived dendritic cells responded to Ser and Ala MIP-3 alpha /CCL20. T lymphocytes exposed only to IL-2 responded inconsistently, while no response was detected in naive T lymphocytes, monocytes, or neutrophils. The biological activity of Ser MIP-3 alpha /CCL20 and Ala MIP-3 alpha /CCL20 and the tissue-specific preference of different splice acceptor sites are not yet known. (C) 2001 Academic Press.

Optimal patch-leaving behaviour: a case study using the parasitoid Cotesia rubecular

1. Parasitoids are predicted to spend longer in patches with more hosts, but previous work on Cotesia rubecula (Marshall) has not upheld this prediction, Tests of theoretical predictions may be affected by the definition of patch leaving behaviour, which is often ambiguous. 2. In this study whole plants were considered as patches and assumed that wasps move within patches by means of walking or flying. Within-patch and between-patch flights were distinguished based on flight distance. The quality of this classification was tested statistically by examination of log-survivor curves of flight times. 3. Wasps remained longer in patches with higher host densities, which is consistent with predictions of the marginal value theorem (Charnov 1976). tinder the assumption that each flight indicates a patch departure, there is no relationship between host density and leaving tendency. 4. Oviposition influences the patch leaving behaviour of wasps in a count down fashion (Driessen et al. 1995), as predicted by an optimal foraging model (Tenhumberg, Keller & Possingham 2001). 5. Wasps spend significantly longer in the first patch encountered following release, resulting in an increased rate of superparasitism.

Laser cooling of a solid from ambient temperature

A 250 mum diameter fibre of ytterbium-doped ZBLAN was cooled by 13 K from room temperature. The cooling was performed in vacuum to limit the thermal load on the fibre. 0.85 W of laser light at 1015 nm was coupled into the fibre. The ytterbium ions absorbed this light, and the excited atoms thermalized phononically and on average emitted light at a wavelength of 996 nm. Since the quantum efficiency of the transition was high, this resulted in a net loss of energy from the glass, producing net bulk cooling.

Effect of quantum interference on a three-level atom driven by two laser fields

We study the effect of quantum interference on the population distribution and absorptive properties of a V-type three-level atom driven by two lasers of unequal intensities and different angular frequencies. Three coupling configurations of the lasers to the atom are analysed: (a) both lasers coupled to the same atomic transition, (b) each laser coupled to different atomic transition and (c) each laser coupled to both atomic transitions. Dressed stales for the three coupling configurations are identified, and the population distribution and absorptive properties of the weaker field are interpreted in terms of transition dipole moments and transition frequencies among these dressed states. In particular, we find that in the first two cases there is no population inversion between the bare atomic states, but the population can be trapped in a superposition of the dressed states induced by quantum interference and the stronger held. We show that the trapping of the population, which results from the cancellation of transition dipole moments, does not prevent the weaker field to be coupled to the cancelled (dark) transitions. As a result, the weaker field can be strongly amplified on transparent transitions. In the case of each laser coupled to both atomic transitions the population can be trapped in a linear superposition of the excited bare atomic states leaving the ground state unpopulated in the steady state. Moreover, we find that the absorption rate of the weaker field depends on the detuning of the strong field from the atomic resonances and the splitting between the atomic excited states. When the strong held is resonant to one of the atomic transitions a quasi-trapping effect appears in one of the dressed states. In the quasi-trapping situation all the transition dipole moments are different from zero, which allows the weaker field to be amplified on the inverted transitions. When the strong field is tuned halfway between the atomic excited states, the population is completely trapped in one of the dressed states and no amplification is found for the weaker field.