The Fanaroff-Riley Transition and the Optical Luminosity of the Host Elliptical Galaxy

We show that a model for radio source dynamics we had earlier proposed can readily reproduce the relationship between the radio power division separating the two Fanaroff-Riley classes of extragalactic radio sources and the optical luminosity of the host galaxy, as found by Owen and Ledlow (1994). In our scenario, when less powerful jets eventually slow down to the point that the advance of the working surface (i.e., hotspot) becomes subsonic with respect to the external gas, the jet's collimation is severely weakened. This criterion distinguishes the powerful and well collimated FR II sources from the weaker sources producing the less collimated FR I type morphologies.Comment: 6 pages, 1 figure; typo corrected; refs updated; now published in A&

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

Relaxing in foam

We investigate the mechanical response of an aqueous foam, and its relation to the microscopic rearrangement dynamics of the bubble-packing structure. At rest, even though the foam is coarsening, the rheology is demonstrated to be linear. Under flow, shear-induced rearrangements compete with coarsening-induced rearrangements. The macroscopic consequences are captured by a novel rheological method in which a step-strain is superposed on an otherwise steady flow

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

The Origin of X-shaped Radio Galaxies: Clues from the Z-symmetric Secondary Lobes

Existing radio images of a few X-shaped radio galaxies reveal Z-symmetric morphologies in their weaker secondary lobes which cannot be naturally explained by either the galactic merger or radio-lobe backflow scenarios, the two dominant models for these X-shaped radio sources. We show that the merger picture can explain these morphologies provided one takes into account that, prior to the coalescence of their supermassive black holes, the smaller galaxy releases significant amounts of gas into the ISM of the dominant active galaxy. This rotating gas, whose angular momentum axis will typically not be aligned with the original jets, is likely to provide sufficient ram pressure at a distance ~10 kpc from the nucleus to bend the extant jets emerging from the central engine, thus producing a Z-symmetry in the pair of radio lobes. Once the two black holes have coalesced some 10^7 yr later, a rapid reorientation of the jets along a direction close to that of the orbital angular momentum of the swallowed galaxy relative to the primary galaxy would create the younger primary lobes of the X-shaped radio galaxy. This picture naturally explains why such sources typically have powers close to the FR I/II break. We suggest that purely Z-symmetric radio sources are often en route to coalescence and the concomitant emission of substantial gravitational radiation, while X-shaped ones have already merged and radiated.Comment: 12 pages, 1 compressed figure; accepted for publication in ApJ Letter