The Stochastic Gross-Pitaevskii Methodology

We review the stochastic Gross-Pitaevskii approach for non-equilibrium finite temperature Bose gases, focussing on the formulation of Stoof; this method provides a unified description of condensed and thermal atoms, and can thus describe the physics of the critical fluctuation regime. We discuss simplifications of the full theory, which facilitate straightforward numerical implementation, and how the results of such stochastic simulations can be interpreted, including the procedure for extracting phase-coherent (`condensate') and density-coherent (`quasi-condensate') fractions. The power of this methodology is demonstrated by successful ab initio modelling of several recent atom chip experiments, with the important information contained in each individual realisation highlighted by analysing dark soliton decay within a phase-fluctuating condensate.Comment: Unedited version of chapter to appear in Quantum Gases: Finite Temperature and Non-Equilibrium Dynamics (Vol. 1 Cold Atoms Series). N.P. Proukakis, S.A. Gardiner, M.J. Davis and M.H. Szymanska, eds. Imperial College Press, London (in press). See http://www.icpress.co.uk/physics/p817.htm

Addams Crater, Venus, Venus: outflow analogous with a submarine debris flow?

The extraordinary outflow length and morphology of Addams crater deposits are compared with the Saharan submarine debris flow off Northwest Africa. Vapor cloud modelling and comparison of sonar data with radar images suggest a possible similar origin for the Addams crater outflow deposits

Robust Computer Algebra, Theorem Proving, and Oracle AI

In the context of superintelligent AI systems, the term "oracle" has two meanings. One refers to modular systems queried for domain-specific tasks. Another usage, referring to a class of systems which may be useful for addressing the value alignment and AI control problems, is a superintelligent AI system that only answers questions. The aim of this manuscript is to survey contemporary research problems related to oracles which align with long-term research goals of AI safety. We examine existing question answering systems and argue that their high degree of architectural heterogeneity makes them poor candidates for rigorous analysis as oracles. On the other hand, we identify computer algebra systems (CASs) as being primitive examples of domain-specific oracles for mathematics and argue that efforts to integrate computer algebra systems with theorem provers, systems which have largely been developed independent of one another, provide a concrete set of problems related to the notion of provable safety that has emerged in the AI safety community. We review approaches to interfacing CASs with theorem provers, describe well-defined architectural deficiencies that have been identified with CASs, and suggest possible lines of research and practical software projects for scientists interested in AI safety.Comment: 15 pages, 3 figure

AI Safety and Reproducibility: Establishing Robust Foundations for the Neuropsychology of Human Values

We propose the creation of a systematic effort to identify and replicate key findings in neuropsychology and allied fields related to understanding human values. Our aim is to ensure that research underpinning the value alignment problem of artificial intelligence has been sufficiently validated to play a role in the design of AI systems.Comment: 5 page

Integrative Biological Simulation, Neuropsychology, and AI Safety

We describe a biologically-inspired research agenda with parallel tracks aimed at AI and AI safety. The bottom-up component consists of building a sequence of biophysically realistic simulations of simple organisms such as the nematode $Caenorhabditis$ $elegans$, the fruit fly $Drosophila$ $melanogaster$, and the zebrafish $Danio$ $rerio$ to serve as platforms for research into AI algorithms and system architectures. The top-down component consists of an approach to value alignment that grounds AI goal structures in neuropsychology, broadly considered. Our belief is that parallel pursuit of these tracks will inform the development of value-aligned AI systems that have been inspired by embodied organisms with sensorimotor integration. An important set of side benefits is that the research trajectories we describe here are grounded in long-standing intellectual traditions within existing research communities and funding structures. In addition, these research programs overlap with significant contemporary themes in the biological and psychological sciences such as data/model integration and reproducibility.Comment: 5 page