Conformally rescaled spacetimes and Hawking radiation

We study various derivations of Hawking radiation in conformally rescaled metrics. We focus on two important properties, the location of the horizon under a conformal transformation and its associated temperature. We find that the production of Hawking radiation cannot be associated in all cases to the trapping horizon because its location is not invariant under a conformal transformation. We also find evidence that the temperature of the Hawking radiation should transform simply under a conformal transformation, being invariant for asymptotic observers in the limit that the conformal transformation factor is unity at their location.Comment: 22 pages, version submitted to journa

Satisfiability Checking and Symbolic Computation

Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these commonalities, the two communities are currently only weakly connected. We introduce a new project SC-square to build a joint community in this area, supported by a newly accepted EU (H2020-FETOPEN-CSA) project of the same name. We aim to strengthen the connection between these communities by creating common platforms, initiating interaction and exchange, identifying common challenges, and developing a common roadmap. This abstract and accompanying poster describes the motivation and aims for the project, and reports on the first activities.Comment: 3 page Extended Abstract to accompany an ISSAC 2016 poster. Poster available at http://www.sc-square.org/SC2-AnnouncementPoster.pd

A Novel Cre Recombinase Imaging System for Tracking Lymphotropic Virus Infection In Vivo

BACKGROUND:Detection, isolation, and identification of individual virus infected cells during long term infection are critical to advance our understanding of mechanisms of pathogenesis for latent/persistent viruses. However, current approaches to study these viruses in vivo have been hampered by low sensitivity and effects of cell-type on expression of viral encoded reporter genes. We have designed a novel Cre recombinase (Cre)-based murine system to overcome these problems, and thereby enable tracking and isolation of individual in vivo infected cells. METHODOLOGY/PRINCIPAL FINDINGS:Murine gammaherpesvirus 68 (MHV-68) was used as a prototypic persistent model virus. A Cre expressing recombinant virus was constructed and characterised. The virus is attenuated both in lytic virus replication, producing ten-fold lower lung virus titres than wild type virus, and in the establishment of latency. However, despite this limitation, when the sEGFP7 mouse line containing a Cre-activated enhanced green fluorescent protein (EGFP) was infected with the Cre expressing virus, sites of latent and persistent virus infection could be identified within B cells and macrophages of the lymphoid system on the basis of EGFP expression. Importantly, the use of the sEGFP7 mouse line which expresses high levels of EGFP allowed individual virus positive cells to be purified by FACSorting. Virus gene expression could be detected in these cells. Low numbers of EGFP positive cells could also be detected in the bone marrow. CONCLUSIONS/SIGNIFICANCE:The use of this novel Cre-based virus/mouse system allowed identification of individual latently infected cells in vivo and may be useful for the study and long-term monitoring of other latent/persistent virus infections

Food Searching Strategy of Amoeboid Cells by Starvation Induced Run Length Extension

Food searching strategies of animals are key to their success in heterogeneous environments. The optimal search strategy may include specialized random walks such as Levy walks with heavy power-law tail distributions, or persistent walks with preferred movement in a similar direction. We have investigated the movement of the soil amoebae Dictyostelium searching for food. Dictyostelium cells move by extending pseudopodia, either in the direction of the previous pseudopod (persistent step) or in a different direction (turn). The analysis of ∼4000 pseudopodia reveals that step and turn pseudopodia are drawn from a probability distribution that is determined by cGMP/PLA2 signaling pathways. Starvation activates these pathways thereby suppressing turns and inducing steps. As a consequence, starved cells make very long nearly straight runs and disperse over ∼30-fold larger areas, without extending more or larger pseudopodia than vegetative cells. This ‘win-stay/lose-shift’ strategy for food searching is called Starvation Induced Run-length Extension. The SIRE walk explains very well the observed differences in search behavior between fed and starving organisms such as bumble-bees, flower bug, hoverfly and zooplankton

Exceptionally Preserved Jellyfishes from the Middle Cambrian

Cnidarians represent an early diverging animal group and thus insight into their origin and diversification is key to understanding metazoan evolution. Further, cnidarian jellyfish comprise an important component of modern marine planktonic ecosystems. Here we report on exceptionally preserved cnidarian jellyfish fossils from the Middle Cambrian (∼505 million years old) Marjum Formation of Utah. These are the first described Cambrian jellyfish fossils to display exquisite preservation of soft part anatomy including detailed features of structures interpreted as trailing tentacles and subumbrellar and exumbrellar surfaces. If the interpretation of these preserved characters is correct, their presence is diagnostic of modern jellyfish taxa. These new discoveries may provide insight into the scope of cnidarian diversity shortly after the Cambrian radiation, and would reinforce the notion that important taxonomic components of the modern planktonic realm were in place by the Cambrian period

A sharp image or a sharp knife: norms for the modality-exclusivity of 774 concept-property items

According to recent embodied cognition theories, mental concepts are represented by modality-specific sensory-motor systems. Much of the evidence for modality-specificity in conceptual processing comes from the property-verification task. When applying this and other tasks, it is important to select items based on their modality-exclusivity. We collected modality ratings for a set of 387 properties, each of which was paired with two different concepts, yielding a total of 774 concept-property items. For each item, participants rated the degree to which the property could be experienced through five perceptual modalities (vision, audition, touch, smell, and taste). Based on these ratings, we computed a measure of modality exclusivity, the degree to which a property is perceived exclusively through one sensory modality. In this paper, we briefly sketch the theoretical background of conceptual knowledge, discuss the use of the property-verification task in cognitive research, provide our norms and statistics, and validate the norms in a memory experiment. We conclude that our norms are important for researchers studying modality-specific effects in conceptual processing