Remarks on matter-gravity entanglement, entropy, information loss and events

I recall my 'matter-gravity entanglement hypothesis' and briefly review the evidence for it, based partly on its seeming ability to resolve a number of puzzles related to quantum black holes including the black hole information loss puzzle. I point out that, according to this hypothesis, there is a quantity, i.e. the universe's 'matter-gravity entanglement entropy' -- which deserves to be considered the 'entropy of the universe' and which, with suitable initial conditions, will plausibly increase monotonically with cosmological time. In the last section, which is more tentative and raises a number of further puzzles and open questions, I discuss the prospects for a notion of 'events' which 'happen' whose statistical properties are described by this entropy of the universe. It is hoped that such a theory of events may be a step on the way towards explaining how initial quantum fluctuations convert themselves into inhomogeneities in a seemingly classical universe.Comment: 17 pages, 7 figures. Invited contribution to the proceedings of the conference "Progress and Visions in Quantum Theory in View of Gravity", Leipzig, Germany, October 2018, based on part of a talk at the workshop "The Mysterious Universe: Dark Matter -- Dark Energy -- Cosmic Magnetic Fields" MITP, Mainz, Germany, June 4, 2019. (v2 No change) v3: References added v4: typos etc. correcte

Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones

In this study, we elucidate the roles of the winged-helix transcription factor Foxa2 in ventral CNS development in zebrafish. Through cloning of monorail (mol), which we find encodes the transcription factor Foxa2, and phenotypic analysis of mol(-/-) embryos, we show that floorplate is induced in the absence of Foxa2 function but fails to further differentiate. In mol(-/-) mutants, expression of Foxa and Hh family genes is not maintained in floorplate cells and lateral expansion of the floorplate fails to occur. Our results suggest that this is due to defects both in the regulation of Hh activity in medial floorplate cells as well as cell-autonomous requirements for Foxa2 in the prospective laterally positioned floorplate cells themselves. Foxa2 is also required for induction and/or patterning of several distinct cell types in the ventral CNS. Serotonergic neurones of the raphe nucleus and the trochlear motor nucleus are absent in mol(-/-) embryos, and oculomotor and facial motoneurones ectopically occupy ventral CNS midline positions in the midbrain and hindbrain. There is also a severe reduction of prospective oligodendrocytes in the midbrain and hindbrain. Finally, in the absence of Foxa2, at least two likely Hh pathway target genes are ectopically expressed in more dorsal regions of the midbrain and hindbrain ventricular neuroepithelium, raising the possibility that Foxa2 activity may normally be required to limit the range of action of secreted Hh proteins

Hit-and-run trophallaxis of small hive beetles

Some parasites of social insects are able to exploit the exchange of food between nestmates via trophallaxis, because they are chemically disguised as nestmates. However, a few parasites succeed in trophallactic solicitation although they are attacked by workers. The underlying mechanisms are not well understood. The small hive beetle (=SHB), Aethina tumida, is such a parasite of honey bee, Apis mellifera, colonies and is able to induce trophallaxis. Here, we investigate whether SHB trophallactic solicitation is innate and affected by sex and experience. We quantified characteristics of the trophallactic solicitation in SHBs from laboratory-reared individuals that were either bee-naïve or had 5 days experience. The data clearly show that SHB trophallactic solicitation is innate and further suggest that it can be influenced by both experience and sex. Inexperienced SHB males begged more often than any of the other groups had longer breaks than their experienced counterparts and a longer soliciting duration than both experienced SHB males and females, suggesting that they start rather slowly and gain more from experience. Successful experienced females and males were not significantly different from each other in relation to successful trophallactic interactions, but had a significantly shorter soliciting duration compared to all other groups, except successful inexperienced females. Trophallactic solicitation success, feeding duration and begging duration were not significantly affected by either SHB sex or experience, supporting the notion that these behaviors are important for survival in host colonies. Overall, success seems to be governed by quality rather than quantity of interactions, thereby probably limiting both SHB energy investment and chance of injury (<1%). Trophallactic solicitation by SHBs is a singular example for an alternative strategy to exploit insect societies without requiring chemical disguise. Hit-and-run trophallaxis is an attractive test system to get an insight into trophallaxis in the social insects

Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process

The root causes of many security vulnerabilities include a pernicious combination of two problems, often regarded as inescapable aspects of computing. First, the protection mechanisms provided by the mainstream processor architecture and C/C++ language abstractions, dating back to the 1970s and before, provide only coarse-grain virtual-memory-based protection. Second, mainstream system engineering relies almost exclusively on test-and-debug methods, with (at best) prose specifications. These methods have historically sufficed commercially for much of the computer industry, but they fail to prevent large numbers of exploitable bugs, and the security problems that this causes are becoming ever more acute. In this paper we show how more rigorous engineering methods can be applied to the development of a new security-enhanced processor architecture, with its accompanying hardware implementation and software stack. We use formal models of the complete instruction-set architecture (ISA) at the heart of the design and engineering process, both in lightweight ways that support and improve normal engineering practice -- as documentation, in emulators used as a test oracle for hardware and for running software, and for test generation -- and for formal verification. We formalise key intended security properties of the design, and establish that these hold with mechanised proof. This is for the same complete ISA models (complete enough to boot operating systems), without idealisation. We do this for CHERI, an architecture with \emph{hardware capabilities} that supports fine-grained memory protection and scalable secure compartmentalisation, while offering a smooth adoption path for existing software. CHERI is a maturing research architecture, developed since 2010, with work now underway on an Arm industrial prototype to explore its possible adoption in mass-market commercial processors. The rigorous engineering work described here has been an integral part of its development to date, enabling more rapid and confident experimentation, and boosting confidence in the design.This work was supported by EPSRC programme grant EP/K008528/1 (REMS: Rigorous Engineering for Mainstream Systems). This work was supported by a Gates studentship (Nienhuis). This project has received funding from the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme (grant agreement 789108, ELVER). This work was supported by the Defense Advanced Research Projects Agency (DARPA) and the Air Force Research Laboratory (AFRL), under contracts FA8750-10-C-0237 (CTSRD), HR0011-18-C-0016 (ECATS), and FA8650-18-C-7809 (CIFV)

Femtosecond nonlinear ultrasonics in gold probed with ultrashort surface plasmons

Fundamental interactions induced by lattice vibrations on ultrafast time scales become increasingly important for modern nanoscience and technology. Experimental access to the physical properties of acoustic phonons in the THz frequency range and over the entire Brillouin zone is crucial for understanding electric and thermal transport in solids and their compounds. Here, we report on the generation and nonlinear propagation of giant (1 percent) acoustic strain pulses in hybrid gold/cobalt bilayer structures probed with ultrafast surface plasmon interferometry. This new technique allows for unambiguous characterization of arbitrary ultrafast acoustic transients. The giant acoustic pulses experience substantial nonlinear reshaping already after a propagation distance of 100 nm in a crystalline gold layer. Excellent agreement with the Korteveg-de Vries model points to future quantitative nonlinear femtosecond THz-ultrasonics at the nano-scale in metals at room temperature

The incidence of scarring on the dorsum of the hand

When undertaking image comparison of the hand between accused and perpetrator, it is not unusual for scars to be identified on the back of the hand. To investigate the occurrence of scarring in a discreet sample, a database of 238 individuals was examined, and the dorsum of the right and left hands was gridded for each individual. The position, size and type of scar were recorded within each grid. It was found that, in general, males exhibited a higher incidence of scarring than females. However, males were more likely to show scarring on their left hand whereas females were more likely to exhibit scarring on their right hand. Contrary to the literature, scarring was not most prevalent along the borders of the hand but occurred more frequently in association with the index and middle finger corridor regions. Surgical scars were rare as were large scars whereas linear scars smaller than 6 mm were the most frequently identified. Close to half of the sample did not exhibit scarring on one hand. The importance of understanding the pattern of scarring on the back of the hand is discussed in the light of forensic image comparison analysis

Yes, I Am Ready Now: Differential Effects of Paced versus Unpaced Mating on Anxiety and Central Oxytocin Release in Female Rats

Sexual activity and partner intimacy results in several positive consequences in the context of stress-coping, both in males and females, such as reduced state anxiety in male rats after successful mating. However, in female rats, mating is a rewarding experience only when the estrous female is able to control sexual interactions, i.e., under paced-mating conditions. Here, we demonstrate that sex-steroid priming required for female mating is anxiolytic; subsequent sexual activity under paced mating conditions did not disrupt this anxiolytic priming effect, whereas mating under unpaced conditions increased anxiety-related behavior. In primed females, the release of the neuropeptide oxytocin (OT) within the hypothalamic paraventricular nucleus was found to be elevated and to further increase during paced, but not unpaced mating. Central administration of an OT receptor antagonist partly prevented priming/mating-induced anxiolysis indicating the involvement of brain OT in the anxiolysis triggered by priming and/or sexual activity

Computer aided synthesis: a game theoretic approach

In this invited contribution, we propose a comprehensive introduction to game theory applied in computer aided synthesis. In this context, we give some classical results on two-player zero-sum games and then on multi-player non zero-sum games. The simple case of one-player games is strongly related to automata theory on infinite words. All along the article, we focus on general approaches to solve the studied problems, and we provide several illustrative examples as well as intuitions on the proofs.Comment: Invitation contribution for conference "Developments in Language Theory" (DLT 2017

Antagonism between Gdf6a and retinoic acid pathways controls timing of retinal neurogenesis and growth of the eye in zebrafish.

Maintaining neurogenesis in growing tissues requires a tight balance between progenitor cell proliferation and differentiation. In the zebrafish retina, neuronal differentiation proceeds in two stages with embryonic retinal progenitor cells (RPCs) of the central retina accounting for the first rounds of differentiation, and stem cells from the ciliary marginal zone (CMZ) being responsible for late neurogenesis and growth of the eye. In this study, we analyse two mutants with small eyes that display defects during both early and late phases of retinal neurogenesis. These mutants carry lesions in gdf6a, a gene encoding a BMP family member previously implicated in dorsoventral patterning of the eye. We show that gdf6a mutant eyes exhibit expanded retinoic acid (RA) signalling and demonstrate that exogenous activation of this pathway in wild-type eyes inhibits retinal growth, generating small eyes with a reduced CMZ and fewer proliferating progenitors, similar to gdf6a mutants. We provide evidence that RA regulates the timing of RPC differentiation by promoting cell cycle exit. Furthermore, reducing RA signalling in gdf6a mutants re-establishes appropriate timing of embryonic retinal neurogenesis and restores putative stem and progenitor cell populations in the CMZ. Together, our results support a model in which dorsally expressed gdf6a limits RA pathway activity to control the transition from proliferation to differentiation in the growing eye