Showing 1–50 of 61 results for author: Walker, I

Assembly Theory and its Relationship with Computational Complexity

Authors: Christopher Kempes, Sara I. Walker, Michael Lachmann, Leroy Cronin

Abstract: Assembly theory (AT) quantifies selection using the assembly equation and identifies complex objects that occur in abundance based on two measurements, assembly index and copy number. The assembly index is determined by the minimal number of recursive joining operations necessary to construct an object from basic parts, and the copy number is how many of the given object(s) are observed. Together… ▽ More Assembly theory (AT) quantifies selection using the assembly equation and identifies complex objects that occur in abundance based on two measurements, assembly index and copy number. The assembly index is determined by the minimal number of recursive joining operations necessary to construct an object from basic parts, and the copy number is how many of the given object(s) are observed. Together these allow defining a quantity, called Assembly, which captures the amount of causation required to produce the observed objects in the sample. AT's focus on how selection generates complexity offers a distinct approach to that of computational complexity theory which focuses on minimum descriptions via compressibility. To explore formal differences between the two approaches, we show several simple and explicit mathematical examples demonstrating that the assembly index, itself only one piece of the theoretical framework of AT, is formally not equivalent to other commonly used complexity measures from computer science and information theory including Huffman encoding and Lempel-Ziv-Welch compression. △ Less

Submitted 17 June, 2024; originally announced June 2024.

Comments: 36 pages, 4 figures, 1 table, and 81 references

Experimental Measurement of Assembly Indices are Required to Determine The Threshold for Life

Authors: Sara I. Walker, Cole Mathis, Stuart Marshall, Leroy Cronin

Abstract: Assembly Theory (AT) was developed to help distinguish living from non-living systems. The theory is simple as it posits that the amount of selection or Assembly is a function of the number of complex objects where their complexity can be objectively determined using assembly indices. The assembly index of a given object relates to the number of recursive joining operations required to build that… ▽ More Assembly Theory (AT) was developed to help distinguish living from non-living systems. The theory is simple as it posits that the amount of selection or Assembly is a function of the number of complex objects where their complexity can be objectively determined using assembly indices. The assembly index of a given object relates to the number of recursive joining operations required to build that object and can be not only rigorously defined mathematically but can be experimentally measured. In pervious work we outlined the theoretical basis, but also extensive experimental measurements that demonstrated the predictive power of AT. These measurements showed that is a threshold in assembly indices for organic molecules whereby abiotic chemical systems could not randomly produce molecules with an assembly index greater or equal than 15. In a recent paper by Hazen et al [1] the authors not only confused the concept of AT with the algorithms used to calculate assembly indices, but also attempted to falsify AT by calculating theoretical assembly indices for objects made from inorganic building blocks. A fundamental misunderstanding made by the authors is that the threshold is a requirement of the theory, rather than experimental observation. This means that exploration of inorganic assembly indices similarly requires an experimental observation, correlated with the theoretical calculations. Then and only then can the exploration of complex inorganic molecules be done using AT and the threshold for living systems, as expressed with such building blocks, be determined. Since Hazen et al.[1] present no experimental measurements of assembly theory, their analysis is not falsifiable. △ Less

Submitted 10 June, 2024; originally announced June 2024.

Comments: 6 pages, 11 references

"Golden Ratio Yoshimura" for Meta-Stable and Massively Reconfigurable Deployment

Authors: Vishrut Deshpande, Yogesh Phalak, Ziyang Zhou, Ian Walker, Suyi Li

Abstract: Yoshimura origami is a classical folding pattern that has inspired many deployable structure designs. Its applications span from space exploration, kinetic architectures, and soft robots to even everyday household items. However, despite its wide usage, Yoshimura has been fixated on a set of design constraints to ensure its flat-foldability. Through extensive kinematic analysis and prototype tests… ▽ More Yoshimura origami is a classical folding pattern that has inspired many deployable structure designs. Its applications span from space exploration, kinetic architectures, and soft robots to even everyday household items. However, despite its wide usage, Yoshimura has been fixated on a set of design constraints to ensure its flat-foldability. Through extensive kinematic analysis and prototype tests, this study presents a new Yoshimura that intentionally defies these constraints. Remarkably, one can impart a unique meta-stability by using the Golden Ratio angle to define the triangular facets of a generalized Yoshimura. As a result, when its facets are strategically popped out, a ``Golden Ratio Yoshimura'' boom with $m$ modules can be theoretically reconfigured into $8^m$ geometrically unique and load-bearing shapes. This result not only challenges the existing design norms but also opens up a new avenue to create deployable and versatile structural systems. △ Less

Submitted 30 May, 2024; v1 submitted 28 May, 2024; originally announced May 2024.

A Complex Systems Approach to Exoplanet Atmospheric Chemistry: New Prospects for Ruling Out the Possibility of Alien Life-As-We-Know-It

Authors: Theresa Fisher, Estelle Janin, Sara Imari Walker

Abstract: The near-term capability to characterize terrestrial exoplanet atmospheres may bring us closer to discovering alien life through atmospheric data. However, remotely detectable candidate biosignature gases are subject to possible false positive signals as they can also be produced abiotically. To distinguish biological, abiotic and anomalous sources of these atmospheric gases, we take a complex sys… ▽ More The near-term capability to characterize terrestrial exoplanet atmospheres may bring us closer to discovering alien life through atmospheric data. However, remotely detectable candidate biosignature gases are subject to possible false positive signals as they can also be produced abiotically. To distinguish biological, abiotic and anomalous sources of these atmospheric gases, we take a complex systems approach using chemical reaction network analysis of planetary atmospheres. We simulated 30,000 terrestrial atmospheres, organized in two datasets: Archean Earth-like worlds and modern Earth-like worlds. For Archean Earth-like worlds we study cases where CH4 is produced abiotically via serpentinization, biologically via methanogenesis, or from anomalous sources. We also simulate modern Earth-like atmospheres with and without industrial CFC-12. Network properties like mean degree and average shortest path length effectively distinguish scenarios where CH4 is produced from methanogenesis and serpentinization, with biologically driven networks exhibiting higher connectivity and efficiency. Network analysis also distinguishes modern Earth atmospheres with CFC-12 from those without, with industrially polluted networks showing increased mean degree. Using Bayesian analysis, we demonstrate how atmospheric network property statistics can provide stronger confidence for ruling out biological explanations compared to gas abundance statistics alone. Our results confirm how a network theoretic approach allows distinguishing biological, abiotic and anomalous atmospheric drivers, including ruling out life-as-we-know-it as a possible explanation. Develo** statistical inference methods for spectral data that incorporate network properties could significantly strengthen future biosignature detection efforts. △ Less

Submitted 8 October, 2023; originally announced October 2023.

Comments: 22 pages (including references), 4 figures, 1 table

Prediction under Latent Subgroup Shifts with High-Dimensional Observations

Authors: William I. Walker, Arthur Gretton, Maneesh Sahani

Abstract: We introduce a new approach to prediction in graphical models with latent-shift adaptation, i.e., where source and target environments differ in the distribution of an unobserved confounding latent variable. Previous work has shown that as long as "concept" and "proxy" variables with appropriate dependence are observed in the source environment, the latent-associated distributional changes can be… ▽ More We introduce a new approach to prediction in graphical models with latent-shift adaptation, i.e., where source and target environments differ in the distribution of an unobserved confounding latent variable. Previous work has shown that as long as "concept" and "proxy" variables with appropriate dependence are observed in the source environment, the latent-associated distributional changes can be identified, and target predictions adapted accurately. However, practical estimation methods do not scale well when the observations are complex and high-dimensional, even if the confounding latent is categorical. Here we build upon a recently proposed probabilistic unsupervised learning framework, the recognition-parametrised model (RPM), to recover low-dimensional, discrete latents from image observations. Applied to the problem of latent shifts, our novel form of RPM identifies causal latent structure in the source environment, and adapts properly to predict in the target. We demonstrate results in settings where predictor and proxy are high-dimensional images, a context to which previous methods fail to scale. △ Less

Submitted 23 June, 2023; originally announced June 2023.

A Relational Macrostate Theory Guides Artificial Intelligence to Learn Macro and Design Micro

Authors: Yanbo Zhang, Sara Imari Walker

Abstract: The high-dimesionality, non-linearity and emergent properties of complex systems pose a challenge to identifying general laws in the same manner that has been so successful in simpler physical systems. In Anderson's seminal work on why "more is different" he pointed to how emergent, macroscale patterns break symmetries of the underlying microscale laws. Yet, less recognized is that these large-sca… ▽ More The high-dimesionality, non-linearity and emergent properties of complex systems pose a challenge to identifying general laws in the same manner that has been so successful in simpler physical systems. In Anderson's seminal work on why "more is different" he pointed to how emergent, macroscale patterns break symmetries of the underlying microscale laws. Yet, less recognized is that these large-scale, emergent patterns must also retain some symmetries of the microscale rules. Here we introduce a new, relational macrostate theory (RMT) that defines macrostates in terms of symmetries between two mutually predictive observations, and develop a machine learning architecture, MacroNet, that identifies macrostates. Using this framework, we show how macrostates can be identifed across systems ranging in complexity from the simplicity of the simple harmonic oscillator to the much more complex spatial patterning characteristic of Turing instabilities. Furthermore, we show how our framework can be used for the inverse design of microstates consistent with a given macroscopic property -- in Turing patterns this allows us to design underlying rule with a given specification of spatial patterning, and to identify which rule parameters most control these patterns. By demonstrating a general theory for how macroscopic properties emerge from conservation of symmetries in the map** between observations, we provide a machine learning framework that allows a unified approach to identifying macrostates in systems from the simple to complex, and allows the design of new examples consistent with a given macroscopic property. △ Less

Submitted 18 October, 2022; v1 submitted 13 October, 2022; originally announced October 2022.

Comments: 12 pages, 6 figures

Unsupervised representation learning with recognition-parametrised probabilistic models

Authors: William I. Walker, Hugo Soulat, Changmin Yu, Maneesh Sahani

Abstract: We introduce a new approach to probabilistic unsupervised learning based on the recognition-parametrised model (RPM): a normalised semi-parametric hypothesis class for joint distributions over observed and latent variables. Under the key assumption that observations are conditionally independent given latents, the RPM combines parametric prior and observation-conditioned latent distributions with… ▽ More We introduce a new approach to probabilistic unsupervised learning based on the recognition-parametrised model (RPM): a normalised semi-parametric hypothesis class for joint distributions over observed and latent variables. Under the key assumption that observations are conditionally independent given latents, the RPM combines parametric prior and observation-conditioned latent distributions with non-parametric observation marginals. This approach leads to a flexible learnt recognition model capturing latent dependence between observations, without the need for an explicit, parametric generative model. The RPM admits exact maximum-likelihood learning for discrete latents, even for powerful neural-network-based recognition. We develop effective approximations applicable in the continuous-latent case. Experiments demonstrate the effectiveness of the RPM on high-dimensional data, learning image classification from weak indirect supervision; direct image-level latent Dirichlet allocation; and recognition-parametrised Gaussian process factor analysis (RP-GPFA) applied to multi-factorial spatiotemporal datasets. The RPM provides a powerful framework to discover meaningful latent structure underlying observational data, a function critical to both animal and artificial intelligence. △ Less

Submitted 20 April, 2023; v1 submitted 12 September, 2022; originally announced September 2022.

A Failure Identification and Recovery Framework for a Planar Reconfigurable Cable Driven Parallel Robot

Authors: Adhiti Raman, Ian Walker, Venkat Krovi, Matthias Schmid

Abstract: In cable driven parallel robots (CDPRs), a single cable malfunction usually induces complete failure of the entire robot. However, the lost static workspace (due to failure) can often be recovered through reconfiguration of the cable attachment points on the frame. This capability is introduced by adding kinematic redundancies to the robot in the form of moving linear sliders that are manipulated… ▽ More In cable driven parallel robots (CDPRs), a single cable malfunction usually induces complete failure of the entire robot. However, the lost static workspace (due to failure) can often be recovered through reconfiguration of the cable attachment points on the frame. This capability is introduced by adding kinematic redundancies to the robot in the form of moving linear sliders that are manipulated in a real-time redundancy resolution controller. The presented work combines this controller with an online failure detection framework to develop a complete fault tolerant control scheme for automatic task recovery. This solution provides robustness by combining pose estimation of the end-effector with the failure detection through the application of an Interactive Multiple Model (IMM) algorithm relying only on end-effector information. The failure and pose estimation scheme is then tied into the redundancy resolution approach to produce a seamless automatic task (trajectory) recovery approach for cable failures. △ Less

Submitted 2 September, 2022; originally announced September 2022.

False positives and the challenge of testing the alien hypothesis

Authors: Searra Foote, Pritvik Sinhadc, Cole Mathis, Sara Imari Walker

Abstract: The origin of life and the detection of alien life have historically been treated as separate scientific research problems. However, they are not strictly independent. Here, we discuss the need for a better integration of the sciences of life detection and origins of life. Framing these dual problems within the formalism of Bayesian hypothesis testing, we show via simple examples how high confiden… ▽ More The origin of life and the detection of alien life have historically been treated as separate scientific research problems. However, they are not strictly independent. Here, we discuss the need for a better integration of the sciences of life detection and origins of life. Framing these dual problems within the formalism of Bayesian hypothesis testing, we show via simple examples how high confidence in life detection claims require either (1) a strong prior hypothesis about the existence of life in a particular alien environment, or conversely, (2) signatures of life that are not susceptible to false positives. As a case study, we discuss the role of priors and hypothesis testing in recent results reporting potential detection of life in the Venusian atmosphere and in the icy plumes of Enceladus. While many current leading biosignature candidates are subject to false positives because they are not definitive of life, our analyses demonstrate why it is necessary to shift focus to candidate signatures that are definitive. This indicates a necessity to develop methods that lack false positives, by using observables for life that rely on prior hypotheses with strong theoretical and empirical support in identifying defining features of life. Abstract theories developed in pursuit of understanding universal features of life are more likely to be definitive and to apply to life-as-we-don't-know-it. In the absence of alien examples these are best validated in origin of life experiments, substantiating the need for better integration between origins of life and biosignature science research communities. △ Less

Submitted 1 July, 2022; originally announced July 2022.

Assembly Theory Explains and Quantifies the Emergence of Selection and Evolution

Authors: Abhishek Sharma, Dániel Czégel, Michael Lachmann, Christopher P. Kempes, Sara I. Walker, Leroy Cronin

Abstract: Since the time of Darwin, scientists have struggled to reconcile the evolution of biological forms in a universe determined by fixed laws. These laws underpin the origin of life, evolution, human culture and technology, as set by the boundary conditions of the universe, however these laws cannot predict the emergence of these things. By contrast evolutionary theory works in the opposite direction,… ▽ More Since the time of Darwin, scientists have struggled to reconcile the evolution of biological forms in a universe determined by fixed laws. These laws underpin the origin of life, evolution, human culture and technology, as set by the boundary conditions of the universe, however these laws cannot predict the emergence of these things. By contrast evolutionary theory works in the opposite direction, indicating how selection can explain why some things exist and not others. To understand how open-ended forms can emerge in a forward-process from physics that does not include their design, a new approach to understand the non-biological to biological transition is necessary. Herein, we present a new theory, Assembly Theory (AT), which explains and quantifies the emergence of selection and evolution. In AT, the complexity of an individual observable object is measured by its Assembly Index (a), defined as the minimal number of steps needed to construct the object from basic building blocks. Combining a with the copy number defines a new quantity called Assembly which quantifies the amount of selection required to produce a given ensemble of objects. We investigate the internal structure and properties of assembly space and quantify the dynamics of undirected exploratory processes as compared to the directed processes that emerge from selection. The implementation of assembly theory allows the emergence of selection in physical systems to be quantified at any scale as the transition from undirected-discovery dynamics to a selected process within the assembly space. This yields a mechanism for the onset of selection and evolution and a formal approach to defining life. Because the assembly of an object is easily calculable and measurable it is possible to quantify a lower limit on the amount of selection and memory required to produce complexity uniquely linked to biology in the universe. △ Less

Submitted 12 March, 2023; v1 submitted 5 June, 2022; originally announced June 2022.

Comments: 22 pages, 7 figures

Inferring Exoplanet Disequilibria with Multivariate Information in Atmospheric Reaction Networks

Authors: Theresa Fisher, Hyunju Kim, Camerian Millsaps, Michael Line, Sara Imari Walker

Abstract: Inferring the properties of exoplanets from their atmospheres, while confronting low resolution and low signal-to-noise in the context of the quantities we want to derive, poses rigorous demands upon the data collected from observation. Further compounding this challenge is that inferences of exoplanet properties are built from forward models, which can include errors due to incomplete or inaccura… ▽ More Inferring the properties of exoplanets from their atmospheres, while confronting low resolution and low signal-to-noise in the context of the quantities we want to derive, poses rigorous demands upon the data collected from observation. Further compounding this challenge is that inferences of exoplanet properties are built from forward models, which can include errors due to incomplete or inaccurate assumptions in atmospheric physics and chemistry. The confluence of observational noise and model error makes develo** techniques to identify predictive features that are robust to both low s/n and model error increasingly important for exoplanet science. We demonstrate how both issues can be addressed simultaneously by taking advantage of underutilized multivariate information already present in current atmospheric models, including thermodynamic statistics and reaction network structure. To do so, we provide a case study of the prediction of vertical mixing (parameterized as eddy diffusion) in hot Jupiter atmospheres and show how prediction efficacy depends on what model information is used - e.g. chemical species abundances, network statistics, and/or thermodynamic statistics. We also show how the variables with the most predictive power vary with planetary properties such as temperature and metallicity. Our results demonstrate how inferences built on single metrics do not have utility across all possible use cases. We also show how statistical measures derived from network analyses tend to be better predictors when accounting for the possibility of missing data or observational uncertainty. We discuss future directions applying multivariate and network model information as a framework for increasing confidence in inferences aimed at extracting features relevant to exoplanet atmospheres and future applications to the detection of life on terrestrial worlds. △ Less

Submitted 21 April, 2021; v1 submitted 20 April, 2021; originally announced April 2021.

Comments: 52 pages (including supplement); 10 figures and 2 tables in main text, 17 figures in supplement

A Novel Variable Stiffness Soft Robotic Gripper

Authors: Dimuthu D. Arachchige, Yue Chen, Ian D. Walker, Isuru S. Godage

Abstract: We propose a novel tri-fingered soft robotic gripper with decoupled stiffness and shape control capability for performing adaptive gras** with minimum system complexity. The proposed soft fingers adaptively conform to object shapes facilitating the handling of objects of different types, shapes, and sizes. Each soft gripper finger has an inextensible articulable backbone and is actuated by pneum… ▽ More We propose a novel tri-fingered soft robotic gripper with decoupled stiffness and shape control capability for performing adaptive gras** with minimum system complexity. The proposed soft fingers adaptively conform to object shapes facilitating the handling of objects of different types, shapes, and sizes. Each soft gripper finger has an inextensible articulable backbone and is actuated by pneumatic muscles. We derive a kinematic model of the gripper and use an empirical approach to map input pressures to stiffness and bending deformation of fingers. We use these map**s to achieve decoupled stiffness and shape control. We conduct tests to quantify the ability to hold objects as the gripper changes orientation, the ability to maintain the gras** status as the gripper moves, and the amount of force required to release the object from the gripped fingers, respectively. The results validate the proposed gripper's performance and show how stiffness control can improve the gras** quality. △ Less

Submitted 22 October, 2020; originally announced October 2020.

Comments: This paper has been submitted to IEEE International Conference on Robotics and Automation 2021

Beyond COVID-19: Network science and sustainable exit strategies

Authors: James Bell, Ginestra Bianconi, David Butler, Jon Crowcroft, Paul C. W Davies, Chris Hicks, Hyunju Kim, Istvan Z. Kiss, Francesco Di Lauro, Carsten Maple, Ayan Paul, Mikhail Prokopenko, Philip Tee, Sara I. Walker

Abstract: On May $28^{th}$ and $29^{th}$, a two day workshop was held virtually, facilitated by the Beyond Center at ASU and Moogsoft Inc. The aim was to bring together leading scientists with an interest in Network Science and Epidemiology to attempt to inform public policy in response to the COVID-19 pandemic. Epidemics are at their core a process that progresses dynamically upon a network, and are a key… ▽ More On May $28^{th}$ and $29^{th}$, a two day workshop was held virtually, facilitated by the Beyond Center at ASU and Moogsoft Inc. The aim was to bring together leading scientists with an interest in Network Science and Epidemiology to attempt to inform public policy in response to the COVID-19 pandemic. Epidemics are at their core a process that progresses dynamically upon a network, and are a key area of study in Network Science. In the course of the workshop a wide survey of the state of the subject was conducted. We summarize in this paper a series of perspectives of the subject, and where the authors believe fruitful areas for future research are to be found. △ Less

Submitted 30 September, 2020; v1 submitted 27 September, 2020; originally announced September 2020.

Comments: Ayan Paul references preprints (DESY 20-142, HU-EP-20/23)

Formalizing Falsification for Theories of Consciousness Across Computational Hierarchies

Authors: Jake R. Hanson, Sara I. Walker

Abstract: The scientific study of consciousness is currently undergoing a critical transition in the form of a rapidly evolving scientific debate regarding whether or not currently proposed theories can be assessed for their scientific validity. At the forefront of this debate is Integrated Information Theory (IIT), widely regarded as the preeminent theory of consciousness because of its quantification of c… ▽ More The scientific study of consciousness is currently undergoing a critical transition in the form of a rapidly evolving scientific debate regarding whether or not currently proposed theories can be assessed for their scientific validity. At the forefront of this debate is Integrated Information Theory (IIT), widely regarded as the preeminent theory of consciousness because of its quantification of consciousness in terms a scalar mathematical measure called $Φ$ that is, in principle, measurable. Epistemological issues in the form of the "unfolding argument" have provided a refutation of IIT by demonstrating how it permits functionally identical systems to have differences in their predicted consciousness. The implication is that IIT and any other proposed theory based on a system's causal structure may already be falsified even in the absence of experimental refutation. However, so far the arguments surrounding the issue of falsification of theories of consciousness are too abstract to readily determine the scope of their validity. Here, we make these abstract arguments concrete by providing a simple example of functionally equivalent machines realizable with table-top electronics that take the form of isomorphic digital circuits with and without feedback. This allows us to explicitly demonstrate the different levels of abstraction at which a theory of consciousness can be assessed. Within this computational hierarchy, we show how IIT is simultaneously falsified at the finite-state automaton (FSA) level and unfalsifiable at the combinatorial state automaton (CSA) level. We use this example to illustrate a more general set of criteria for theories of consciousness: to avoid being unfalsifiable or already falsified scientific theories of consciousness must be invariant with respect to changes that leave the inference procedure fixed at a given level in a computational hierarchy. △ Less

Submitted 5 September, 2020; v1 submitted 12 June, 2020; originally announced June 2020.

Comments: 10 pages, 8 figures

Journal ref: Neuroscience of Consciousness, Volume 2021, Issue 2, 2021, niab014

Detectability of Life Using Oxygen on Pelagic Planets and Water Worlds

Authors: Donald M Glaser, Hilairy Ellen Hartnett, Steven J. Desch, Cayman T. Unterborn, Ariel Anbar, Steffen Buessecker, Theresa Fisher, Steven Glaser, Stephen R. Kane, Carey M. Lisse, Camerian Millsaps, Susanne Neuer, Joseph G. ORourke, Nuno Santos, Sara Imari Walker, Mikhail Zolotov

Abstract: The search for life on exoplanets is one of the grand scientific challenges of our time. The strategy to date has been to find (e.g., through transit surveys like Kepler) Earth-like exoplanets in their stars habitable zone, then use transmission spectroscopy to measure biosignature gases, especially oxygen, in the planets atmospheres (e.g., using JWST, the James Webb Space Telescope). Already ther… ▽ More The search for life on exoplanets is one of the grand scientific challenges of our time. The strategy to date has been to find (e.g., through transit surveys like Kepler) Earth-like exoplanets in their stars habitable zone, then use transmission spectroscopy to measure biosignature gases, especially oxygen, in the planets atmospheres (e.g., using JWST, the James Webb Space Telescope). Already there are more such planets than can be observed by JWST, and missions like the Transiting Exoplanet Survey Satellite and others will find more. A better understanding of the geochemical cycles relevant to biosignature gases is needed, to prioritize targets for costly follow-up observations and to help design future missions. We define a Detectability Index to quantify the likelihood that a biosignature gas could be assigned a biological vs. non-biological origin. We apply this index to the case of oxygen gas, O2, on Earth-like planets with varying water contents. We demonstrate that on Earth-like exoplanets with 0.2 weight percent (wt%) water (i.e., no exposed continents) a reduced flux of bioessential phosphorus limits the export of photosynthetically produced atmospheric O2 to levels indistinguishable from geophysical production by photolysis of water plus hydrogen escape. Higher water contents >1wt% that lead to high-pressure ice mantles further slow phosphorus cycling. Paradoxically, the maximum water content allowing use of O2 as a biosignature, 0.2wt%, is consistent with no water based on mass and radius. Thus, the utility of an O2 biosignature likely requires the direct detection of both water and land on a planet. △ Less

Submitted 7 April, 2020; originally announced April 2020.

Plague Dot Text: Text mining and annotation of outbreak reports of the Third Plague Pandemic (1894-1952)

Authors: Arlene Casey, Mike Bennett, Richard Tobin, Claire Grover, Iona Walker, Lukas Engelmann, Beatrice Alex

Abstract: The design of models that govern diseases in population is commonly built on information and data gathered from past outbreaks. However, epidemic outbreaks are never captured in statistical data alone but are communicated by narratives, supported by empirical observations. Outbreak reports discuss correlations between populations, locations and the disease to infer insights into causes, vectors an… ▽ More The design of models that govern diseases in population is commonly built on information and data gathered from past outbreaks. However, epidemic outbreaks are never captured in statistical data alone but are communicated by narratives, supported by empirical observations. Outbreak reports discuss correlations between populations, locations and the disease to infer insights into causes, vectors and potential interventions. The problem with these narratives is usually the lack of consistent structure or strong conventions, which prohibit their formal analysis in larger corpora. Our interdisciplinary research investigates more than 100 reports from the third plague pandemic (1894-1952) evaluating ways of building a corpus to extract and structure this narrative information through text mining and manual annotation. In this paper we discuss the progress of our ongoing exploratory project, how we enhance optical character recognition (OCR) methods to improve text capture, our approach to structure the narratives and identify relevant entities in the reports. The structured corpus is made available via Solr enabling search and analysis across the whole collection for future research dedicated, for example, to the identification of concepts. We show preliminary visualisations of the characteristics of causation and differences with respect to gender as a result of syntactic-category-dependent corpus statistics. Our goal is to develop structured accounts of some of the most significant concepts that were used to understand the epidemiology of the third plague pandemic around the globe. The corpus enables researchers to analyse the reports collectively allowing for deep insights into the global epidemiological consideration of plague in the early twentieth century. △ Less

Submitted 11 January, 2021; v1 submitted 4 February, 2020; originally announced February 2020.

Comments: Journal of Data Mining & Digital Humanities 2021

Journal ref: Journal of Data Mining & Digital Humanities, HistoInformatics, HistoInformatics (January 20, 2021) jdmdh:6071

Updated design of the CMB polarization experiment satellite LiteBIRD

Authors: H. Sugai, P. A. R. Ade, Y. Akiba, D. Alonso, K. Arnold, J. Aumont, J. Austermann, C. Baccigalupi, A. J. Banday, R. Banerji, R. B. Barreiro, S. Basak, J. Beall, S. Beckman, M. Bersanelli, J. Borrill, F. Boulanger, M. L. Brown, M. Bucher, A. Buzzelli, E. Calabrese, F. J. Casas, A. Challinor, V. Chan, Y. Chinone , et al. (196 additional authors not shown)

Abstract: Recent developments of transition-edge sensors (TESs), based on extensive experience in ground-based experiments, have been making the sensor techniques mature enough for their application on future satellite CMB polarization experiments. LiteBIRD is in the most advanced phase among such future satellites, targeting its launch in Japanese Fiscal Year 2027 (2027FY) with JAXA's H3 rocket. It will ac… ▽ More Recent developments of transition-edge sensors (TESs), based on extensive experience in ground-based experiments, have been making the sensor techniques mature enough for their application on future satellite CMB polarization experiments. LiteBIRD is in the most advanced phase among such future satellites, targeting its launch in Japanese Fiscal Year 2027 (2027FY) with JAXA's H3 rocket. It will accommodate more than 4000 TESs in focal planes of reflective low-frequency and refractive medium-and-high-frequency telescopes in order to detect a signature imprinted on the cosmic microwave background (CMB) by the primordial gravitational waves predicted in cosmic inflation. The total wide frequency coverage between 34GHz and 448GHz enables us to extract such weak spiral polarization patterns through the precise subtraction of our Galaxy's foreground emission by using spectral differences among CMB and foreground signals. Telescopes are cooled down to 5Kelvin for suppressing thermal noise and contain polarization modulators with transmissive half-wave plates at individual apertures for separating sky polarization signals from artificial polarization and for mitigating from instrumental 1/f noise. Passive cooling by using V-grooves supports active cooling with mechanical coolers as well as adiabatic demagnetization refrigerators. Sky observations from the second Sun-Earth Lagrangian point, L2, are planned for three years. An international collaboration between Japan, USA, Canada, and Europe is sharing various roles. In May 2019, the Institute of Space and Astronautical Science (ISAS), JAXA selected LiteBIRD as the strategic large mission No. 2. △ Less

Submitted 6 January, 2020; originally announced January 2020.

Comments: Journal of Low Temperature Physics, in press

Journal ref: Journal of Low Temperature Physics 199, 1107 (2020)

Causality matters in medical imaging

Authors: Daniel C. Castro, Ian Walker, Ben Glocker

Abstract: This article discusses how the language of causality can shed new light on the major challenges in machine learning for medical imaging: 1) data scarcity, which is the limited availability of high-quality annotations, and 2) data mismatch, whereby a trained algorithm may fail to generalize in clinical practice. Looking at these challenges through the lens of causality allows decisions about data c… ▽ More This article discusses how the language of causality can shed new light on the major challenges in machine learning for medical imaging: 1) data scarcity, which is the limited availability of high-quality annotations, and 2) data mismatch, whereby a trained algorithm may fail to generalize in clinical practice. Looking at these challenges through the lens of causality allows decisions about data collection, annotation procedures, and learning strategies to be made (and scrutinized) more transparently. We discuss how causal relationships between images and annotations can not only have profound effects on the performance of predictive models, but may even dictate which learning strategies should be considered in the first place. For example, we conclude that semi-supervision may be unsuitable for image segmentation---one of the possibly surprising insights from our causal analysis, which is illustrated with representative real-world examples of computer-aided diagnosis (skin lesion classification in dermatology) and radiotherapy (automated contouring of tumours). We highlight that being aware of and accounting for the causal relationships in medical imaging data is important for the safe development of machine learning and essential for regulation and responsible reporting. To facilitate this we provide step-by-step recommendations for future studies. △ Less

Submitted 17 December, 2019; originally announced December 2019.

Comments: 20 pages, 5 figures, 4 tables

Journal ref: Nature Communications 11 (2020) 3673

Clone Swarms: Learning to Predict and Control Multi-Robot Systems by Imitation

Authors: Siyu Zhou, Mariano Phielipp, Jorge A. Sefair, Sara I. Walker, Heni Ben Amor

Abstract: In this paper, we propose SwarmNet -- a neural network architecture that can learn to predict and imitate the behavior of an observed swarm of agents in a centralized manner. Tested on artificially generated swarm motion data, the network achieves high levels of prediction accuracy and imitation authenticity. We compare our model to previous approaches for modelling interaction systems and show ho… ▽ More In this paper, we propose SwarmNet -- a neural network architecture that can learn to predict and imitate the behavior of an observed swarm of agents in a centralized manner. Tested on artificially generated swarm motion data, the network achieves high levels of prediction accuracy and imitation authenticity. We compare our model to previous approaches for modelling interaction systems and show how modifying components of other models gradually approaches the performance of ours. Finally, we also discuss an extension of SwarmNet that can deal with nondeterministic, noisy, and uncertain environments, as often found in robotics applications. △ Less

Submitted 2 November, 2020; v1 submitted 5 December, 2019; originally announced December 2019.

A Flexible Bayesian Framework for Assessing Habitability with Joint Observational and Model Constraints

Authors: Amanda R. Truitt, Patrick A. Young, Sara I. Walker, Alexander Spacek

Abstract: The catalog of stellar evolution tracks discussed in our previous work is meant to help characterize exoplanet host-stars of interest for follow-up observations with future missions like JWST. However, the utility of the catalog has been predicated on the assumption that we would precisely know the age of the particular host-star in question; in reality, it is unlikely that we will be able to accu… ▽ More The catalog of stellar evolution tracks discussed in our previous work is meant to help characterize exoplanet host-stars of interest for follow-up observations with future missions like JWST. However, the utility of the catalog has been predicated on the assumption that we would precisely know the age of the particular host-star in question; in reality, it is unlikely that we will be able to accurately estimate the age of a given system. Stellar age is relatively straightforward to calculate for stellar clusters, but it is difficult to accurately measure the age of an individual star to high precision. Unfortunately, this is the kind of information we should consider as we attempt to constrain the long-term habitability potential of a given planetary system of interest. This is ultimately why we must rely on predictions of accurate stellar evolution models, as well a consideration of what we can observably measure (stellar mass, composition, orbital radius of an exoplanet) in order to create a statistical framework wherein we can identify the best candidate systems for follow-up characterization. In this paper we discuss a statistical approach to constrain long-term planetary habitability by evaluating the likelihood that at a given time of observation, a star would have a planet in the 2 Gy continuously habitable zone (CHZ2). Additionally, we will discuss how we can use existing observational data (i.e. data assembled in the Hypatia catalog and the Kepler exoplanet host star database) for a robust comparison to the catalog of theoretical stellar models. △ Less

Submitted 15 October, 2019; originally announced October 2019.

Comments: 29 pages, 9 Figures, 2 Tables

Integrated Information Theory and Isomorphic Feed-Forward Philosophical Zombies

Authors: Jake R. Hanson, Sara I. Walker

Abstract: Any theory amenable to scientific inquiry must have testable consequences. This minimal criterion is uniquely challenging for the study of consciousness, as we do not know if it is possible to confirm via observation from the outside whether or not a physical system knows what it feels like to have an inside - a challenge referred to as the "hard problem" of consciousness. To arrive at a theory of… ▽ More Any theory amenable to scientific inquiry must have testable consequences. This minimal criterion is uniquely challenging for the study of consciousness, as we do not know if it is possible to confirm via observation from the outside whether or not a physical system knows what it feels like to have an inside - a challenge referred to as the "hard problem" of consciousness. To arrive at a theory of consciousness, the hard problem has motivated the development of phenomenological approaches that adopt assumptions of what properties consciousness has based on first-hand experience and, from these, derive the physical processes that give rise to these properties. A leading theory adopting this approach is Integrated Information Theory (IIT), which assumes our subjective experience is a "unified whole", subsequently yielding a requirement for physical feedback as a necessary condition for consciousness. Here, we develop a mathematical framework to assess the validity of this assumption by testing it in the context of isomorphic physical systems with and without feedback. The isomorphism allows us to isolate changes in $Φ$ without affecting the size or functionality of the original system. Indeed, we show that the only mathematical difference between a "conscious" system with $Φ>0$ and an isomorphic "philosophical zombies" with $Φ=0$ is a permutation of the binary labels used to internally represent functional states. This implies $Φ$ is sensitive to functionally arbitrary aspects of a particular labeling scheme, with no clear justification in terms of phenomenological differences. In light of this, we argue any quantitative theory of consciousness, including IIT, should be invariant under isomorphisms if it is to avoid the existence of isomorphic philosophical zombies and the epistemological problems they pose. △ Less

Submitted 1 October, 2019; v1 submitted 2 August, 2019; originally announced August 2019.

Comments: 13 pages

MSC Class: 68T27

Quantifying the pathways to life using assembly spaces

Authors: Stuart M. Marshall, Douglas Moore, Alastair R. G. Murray, Sara I. Walker, Leroy Cronin

Abstract: We have developed the concept of pathway assembly to explore the amount of extrinsic information required to build an object. To quantify this information in an agnostic way, we present a method to determine the amount of pathway assembly information contained within such an object by deconstructing the object into its irreducible parts, and then evaluating the minimum number of steps to reconstru… ▽ More We have developed the concept of pathway assembly to explore the amount of extrinsic information required to build an object. To quantify this information in an agnostic way, we present a method to determine the amount of pathway assembly information contained within such an object by deconstructing the object into its irreducible parts, and then evaluating the minimum number of steps to reconstruct the object along any pathway. The mathematical formalisation of this approach uses an assembly space. By finding the minimal number of steps contained in the route by which the objects can be assembled within that space, we can compare how much information (I) is gained from knowing this pathway assembly index (PA) according to I_PA=log (|N|)/(|N_PA |) where, for an end product with PA=x, N is the set of objects possible that can be created from the same irreducible parts within x steps regardless of PA, and NPA is the subset of those objects with the precise pathway assembly index PA=x. Applying this formalism to objects formed in 1D, 2D and 3D space allows us to identify objects in the world or wider Universe that have high assembly numbers. We propose that objects with PA greater than a threshold are important because these are uniquely identifiable as those that must have been produced by biological or technological processes, rather than the assembly occurring via unbiased random processes alone. We think this approach is needed to help identify the new physical and chemical laws needed to understand what life is, by quantifying what life does. △ Less

Submitted 9 August, 2019; v1 submitted 6 July, 2019; originally announced July 2019.

Comments: manuscript with 10 figures and supplementary data

Graph Convolutional Gaussian Processes

Authors: Ian Walker, Ben Glocker

Abstract: We propose a novel Bayesian nonparametric method to learn translation-invariant relationships on non-Euclidean domains. The resulting graph convolutional Gaussian processes can be applied to problems in machine learning for which the input observations are functions with domains on general graphs. The structure of these models allows for high dimensional inputs while retaining expressibility, as i… ▽ More We propose a novel Bayesian nonparametric method to learn translation-invariant relationships on non-Euclidean domains. The resulting graph convolutional Gaussian processes can be applied to problems in machine learning for which the input observations are functions with domains on general graphs. The structure of these models allows for high dimensional inputs while retaining expressibility, as is the case with convolutional neural networks. We present applications of graph convolutional Gaussian processes to images and triangular meshes, demonstrating their versatility and effectiveness, comparing favorably to existing methods, despite being relatively simple models. △ Less

Submitted 14 May, 2019; originally announced May 2019.

Comments: Accepted at ICML 2019

Controlling Meshes via Curvature: Spin Transformations for Pose-Invariant Shape Processing

Authors: Loic Le Folgoc, Daniel C. Castro, Jeremy Tan, Bishesh Khanal, Konstantinos Kamnitsas, Ian Walker, Amir Alansary, Ben Glocker

Abstract: We investigate discrete spin transformations, a geometric framework to manipulate surface meshes by controlling mean curvature. Applications include surface fairing -- flowing a mesh onto say, a reference sphere -- and mesh extrusion -- e.g., rebuilding a complex shape from a reference sphere and curvature specification. Because they operate in curvature space, these operations can be conducted ve… ▽ More We investigate discrete spin transformations, a geometric framework to manipulate surface meshes by controlling mean curvature. Applications include surface fairing -- flowing a mesh onto say, a reference sphere -- and mesh extrusion -- e.g., rebuilding a complex shape from a reference sphere and curvature specification. Because they operate in curvature space, these operations can be conducted very stably across large deformations with no need for remeshing. Spin transformations add to the algorithmic toolbox for pose-invariant shape analysis. Mathematically speaking, mean curvature is a shape invariant and in general fully characterizes closed shapes (together with the metric). Computationally speaking, spin transformations make that relationship explicit. Our work expands on a discrete formulation of spin transformations. Like their smooth counterpart, discrete spin transformations are naturally close to conformal (angle-preserving). This quasi-conformality can nevertheless be relaxed to satisfy the desired trade-off between area distortion and angle preservation. We derive such constraints and propose a formulation in which they can be efficiently incorporated. The approach is showcased on subcortical structures. △ Less

Submitted 6 March, 2019; originally announced March 2019.

Comments: Accepted for publication at the 26th international conference on Information Processing in Medical Imaging (IPMI 2019)

Journal ref: IPMI 2019. LNCS, vol 11492, pp 221-234. Springer, Cham

Center of Gravity-based Approach for Modeling Dynamics of Multisection Continuum Arms

Authors: Isuru S. Godage, Robert J. Webster III, Ian D. Walker

Abstract: Multisection continuum arms offer complementary characteristics to those of traditional rigid-bodied robots. Inspired by biological appendages, such as elephant trunks and octopus arms, these robots trade rigidity for compliance, accuracy for safety, and therefore exhibit strong potential for applications in human-occupied spaces. Prior work has demonstrated their superiority in operation in conge… ▽ More Multisection continuum arms offer complementary characteristics to those of traditional rigid-bodied robots. Inspired by biological appendages, such as elephant trunks and octopus arms, these robots trade rigidity for compliance, accuracy for safety, and therefore exhibit strong potential for applications in human-occupied spaces. Prior work has demonstrated their superiority in operation in congested spaces and manipulation of irregularly-shaped objects. However, they are yet to be widely applied outside laboratory spaces. One key reason is that, due to compliance, they are difficult to control. Sophisticated and numerically efficient dynamic models are a necessity to implement dynamic control. In this paper, we propose a novel, numerically stable, center of gravity-based dynamic model for variable-length multisection continuum arms. The model can accommodate continuum robots having any number of sections with varying physical dimensions. The dynamic algorithm is of O(n2) complexity, runs at 9.5 kHz, simulates 6-8 times faster than real-time for a three-section continuum robot, and therefore is ideally suited for real-time control implementations. The model accuracy is validated numerically against an integral-dynamic model proposed by the authors and experimentally for a three-section, pneumatically actuated variable-length multisection continuum arm. This is the first sub real-time dynamic model based on a smooth continuous deformation model for variable-length multisection continuum arms. △ Less

Submitted 5 January, 2019; originally announced January 2019.

Comments: Submitted to IEEE Transactions on Robotics

Dynamic Control of Pneumatic Muscle Actuators

Authors: Isuru S. Godage, Yue Chen, Ian D. Walker

Abstract: Pneumatic muscle actuators (PMA) are easy-to-fabricate, lightweight, compliant, and have high power-to-weight ratio, thus making them the ideal actuation choice for many soft and continuum robots. But so far, limited work has been carried out in dynamic control of PMAs. One reason is that PMAs are highly hysteretic. Coupled with their high compliance and response lag, PMAs are challenging to contr… ▽ More Pneumatic muscle actuators (PMA) are easy-to-fabricate, lightweight, compliant, and have high power-to-weight ratio, thus making them the ideal actuation choice for many soft and continuum robots. But so far, limited work has been carried out in dynamic control of PMAs. One reason is that PMAs are highly hysteretic. Coupled with their high compliance and response lag, PMAs are challenging to control, particularly when subjected to external loads. The hysteresis models proposed to-date rely on many physical and mechanical parameters that are difficult to measure reliably and therefore of limited use for implementing dynamic control. In this work, we employ a Bouc-Wen hysteresis modeling approach to account for the hysteresis of PMAs and use the model for implementing dynamic control. The controller is then compared to PID feedback control for a number of dynamic position tracking tests. The dynamic control based on the Bouc-Wen hysteresis model shows significantly better tracking performance. This work lays the foundation towards implementing dynamic control for PMA-powered high degrees of freedom soft and continuum robots. △ Less

Submitted 12 November, 2018; originally announced November 2018.

Comments: 4 pages, 5 figures. Submitted to Soft Robotic Modeling and Control: Bringing Together Articulated Soft Robots and Soft-Bodied Robots workshop, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2018

A unified formal framework for developmental andevolutionary change in gene regulatory network models

Authors: Enrico Borriello, Sara I. Walker, Manfred D. Laubichler

Abstract: The two most fundamental processes describing change in biology, development and evolu-tion, occur over drastically different timescales, difficult to reconcile within a unified framework. Development involves temporal sequences of cell states controlled by hierarchies of regulatory structures. It occurs over the lifetime of a single individual, and is associated to the gene expression level chang… ▽ More The two most fundamental processes describing change in biology, development and evolu-tion, occur over drastically different timescales, difficult to reconcile within a unified framework. Development involves temporal sequences of cell states controlled by hierarchies of regulatory structures. It occurs over the lifetime of a single individual, and is associated to the gene expression level change of a given genotype. Evolution, by contrast entails genotypic change through the acquisition/loss of genes and changes in the network topology of interactions among genes. It involves the emergence of new, environmentally selected phenotypes over the lifetimes of many individuals. Here we present a model of regulatory network evolution that accounts for both timescales. We extend the framework of Boolean models of gene regulatory networks (GRN)-currently only applicable to describing development to include evolutionary processes. As opposed to one-to-one maps to specific attractors, we identify the phenotypes of the cells as the relevant macrostates of the GRN. A phenotype may now correspond to multiple attractors, and its formal definition no longer requires a fixed size for the genotype. This opens the possibility for a quantitative study of the phenotypic change of a genotype, which is itself changing over evolutionary timescales. We show how the realization of specific phenotypes can be controlled by gene duplication events (used here as an archetypal evolutionary event able to change the genotype), and how successive events of gene duplication lead to new regulatory structures via selection. At the same time, we show that our generalized framework does not inhibit network controllability and the possibility for network control theory to describe epigenetic signaling during development. △ Less

Submitted 7 March, 2019; v1 submitted 7 September, 2018; originally announced September 2018.

Comments: 13 pages, 4 figures, 1 table

Semi-Supervised Learning via Compact Latent Space Clustering

Authors: Konstantinos Kamnitsas, Daniel C. Castro, Loic Le Folgoc, Ian Walker, Ryutaro Tanno, Daniel Rueckert, Ben Glocker, Antonio Criminisi, Aditya Nori

Abstract: We present a novel cost function for semi-supervised learning of neural networks that encourages compact clustering of the latent space to facilitate separation. The key idea is to dynamically create a graph over embeddings of labeled and unlabeled samples of a training batch to capture underlying structure in feature space, and use label propagation to estimate its high and low density regions. W… ▽ More We present a novel cost function for semi-supervised learning of neural networks that encourages compact clustering of the latent space to facilitate separation. The key idea is to dynamically create a graph over embeddings of labeled and unlabeled samples of a training batch to capture underlying structure in feature space, and use label propagation to estimate its high and low density regions. We then devise a cost function based on Markov chains on the graph that regularizes the latent space to form a single compact cluster per class, while avoiding to disturb existing clusters during optimization. We evaluate our approach on three benchmarks and compare to state-of-the art with promising results. Our approach combines the benefits of graph-based regularization with efficient, inductive inference, does not require modifications to a network architecture, and can thus be easily applied to existing networks to enable an effective use of unlabeled data. △ Less

Submitted 29 July, 2018; v1 submitted 7 June, 2018; originally announced June 2018.

Comments: Presented as a long oral in ICML 2018. Post-conference camera ready

Logic and connectivity jointly determine criticality in biological gene regulatory networks

Authors: Bryan C. Daniels, Hyunju Kim, Douglas Moore, Siyu Zhou, Harrison Smith, Bradley Karas, Stuart A. Kauffman, Sara I. Walker

Abstract: The complex dynamics of gene expression in living cells can be well-approximated using Boolean networks. The average sensitivity is a natural measure of stability in these systems: values below one indicate typically stable dynamics associated with an ordered phase, whereas values above one indicate chaotic dynamics. This yields a theoretically motivated adaptive advantage to being near the critic… ▽ More The complex dynamics of gene expression in living cells can be well-approximated using Boolean networks. The average sensitivity is a natural measure of stability in these systems: values below one indicate typically stable dynamics associated with an ordered phase, whereas values above one indicate chaotic dynamics. This yields a theoretically motivated adaptive advantage to being near the critical value of one, at the boundary between order and chaos. Here, we measure average sensitivity for 66 publicly available Boolean network models describing the function of gene regulatory circuits across diverse living processes. We find the average sensitivity values for these networks are clustered around unity, indicating they are near critical. In many types of random networks, mean connectivity <K> and the average activity bias of the logic functions <p> have been found to be the most important network properties in determining average sensitivity, and by extension a network's criticality. Surprisingly, many of these gene regulatory networks achieve the near-critical state with <K> and <p> far from that predicted for critical systems: randomized networks sharing the local causal structure and local logic of biological networks better reproduce their critical behavior than controlling for macroscale properties such as <K> and <p> alone. This suggests the local properties of genes interacting within regulatory networks are selected to collectively be near-critical, and this non-local property of gene regulatory network dynamics cannot be predicted using the density of interactions alone. △ Less

Submitted 3 May, 2018; originally announced May 2018.

Comments: 10 pages, 7 figures

Journal ref: Phys. Rev. Lett. 121, 138102 (2018)

How causal analysis can reveal autonomy in models of biological systems

Authors: William Marshall, Hyunju Kim, Sara I. Walker, Giulio Tononi, Larissa Albantakis

Abstract: Standard techniques for studying biological systems largely focus on their dynamical, or, more recently, their informational properties, usually taking either a reductionist or holistic perspective. Yet, studying only individual system elements or the dynamics of the system as a whole disregards the organisational structure of the system - whether there are subsets of elements with joint causes or… ▽ More Standard techniques for studying biological systems largely focus on their dynamical, or, more recently, their informational properties, usually taking either a reductionist or holistic perspective. Yet, studying only individual system elements or the dynamics of the system as a whole disregards the organisational structure of the system - whether there are subsets of elements with joint causes or effects, and whether the system is strongly integrated or composed of several loosely interacting components. Integrated information theory (IIT), offers a theoretical framework to (1) investigate the compositional cause-effect structure of a system, and to (2) identify causal borders of highly integrated elements comprising local maxima of intrinsic cause-effect power. Here we apply this comprehensive causal analysis to a Boolean network model of the fission yeast (Schizosaccharomyces pombe) cell-cycle. We demonstrate that this biological model features a non-trivial causal architecture, whose discovery may provide insights about the real cell cycle that could not be gained from holistic or reductionist approaches. We also show how some specific properties of this underlying causal architecture relate to the biological notion of autonomy. Ultimately, we suggest that analysing the causal organisation of a system, including key features like intrinsic control and stable causal borders, should prove relevant for distinguishing life from non-life, and thus could also illuminate the origin of life problem. △ Less

Submitted 25 August, 2017; originally announced August 2017.

Comments: 15 pages, 4 figures, to appear in Philosophical Transactions of the Royal Society A

An Energy Minimization Approach to 3D Non-Rigid Deformable Surface Estimation Using RGBD Data

Authors: Bryan Willimon, Steven Hickson, Ian Walker, Stan Birchfield

Abstract: We propose an algorithm that uses energy mini- mization to estimate the current configuration of a non-rigid object. Our approach utilizes an RGBD image to calculate corresponding SURF features, depth, and boundary informa- tion. We do not use predetermined features, thus enabling our system to operate on unmodified objects. Our approach relies on a 3D nonlinear energy minimization framework to so… ▽ More We propose an algorithm that uses energy mini- mization to estimate the current configuration of a non-rigid object. Our approach utilizes an RGBD image to calculate corresponding SURF features, depth, and boundary informa- tion. We do not use predetermined features, thus enabling our system to operate on unmodified objects. Our approach relies on a 3D nonlinear energy minimization framework to solve for the configuration using a semi-implicit scheme. Results show various scenarios of dynamic posters and shirts in different configurations to illustrate the performance of the method. In particular, we show that our method is able to estimate the configuration of a textureless nonrigid object with no correspondences available. △ Less

Submitted 2 August, 2017; originally announced August 2017.

Origins of Life: A Problem for Physics

Authors: Sara I. Walker

Abstract: The origins of life stands among the great open scientific questions of our time. While a number of proposals exist for possible starting points in the pathway from non-living to living matter, these have so far not achieved states of complexity that are anywhere near that of even the simplest living systems. A key challenge is identifying the properties of living matter that might distinguish liv… ▽ More The origins of life stands among the great open scientific questions of our time. While a number of proposals exist for possible starting points in the pathway from non-living to living matter, these have so far not achieved states of complexity that are anywhere near that of even the simplest living systems. A key challenge is identifying the properties of living matter that might distinguish living and non-living physical systems such that we might build new life in the lab. This review is geared towards covering major viewpoints on the origin of life for those new to the origin of life field, with a forward look towards considering what it might take for a physical theory that universally explains the phenomenon of life to arise from the seemingly disconnected array of ideas proposed thus far. The hope is that a theory akin to our other theories in fundamental physics might one day emerge to explain the phenomenon of life, and in turn finally permit solving its origins. △ Less

Submitted 23 May, 2017; originally announced May 2017.

Comments: 41 pages, 5 figures, accepted invited manuscript to appear in Reports in Progress in Physics

Exoplanet Biosignatures: Future Directions

Authors: Sara I. Walker, William Bains, Leroy Cronin, Shiladitya DasSarma, Sebastian Danielache, Shawn Domagal-Goldman, Betul Kacar, Nancy Y. Kiang, Adrian Lenardic, Christopher T. Reinhard, William Moore, Edward W. Schwieterman, Evgenya L. Shkolnik, Harrison B. Smith

Abstract: Exoplanet science promises a continued rapid accumulation of new observations in the near future, energizing a drive to understand and interpret the forthcoming wealth of data to identify signs of life beyond our Solar System. The large statistics of exoplanet samples, combined with the ambiguity of our understanding of universal properties of life and its signatures, necessitate a quantitative fr… ▽ More Exoplanet science promises a continued rapid accumulation of new observations in the near future, energizing a drive to understand and interpret the forthcoming wealth of data to identify signs of life beyond our Solar System. The large statistics of exoplanet samples, combined with the ambiguity of our understanding of universal properties of life and its signatures, necessitate a quantitative framework for biosignature assessment Here, we introduce a Bayesian framework for guiding future directions in life detection, which permits the possibility of generalizing our search strategy beyond biosignatures of known life. The Bayesian methodology provides a language to define quantitatively the conditional probabilities and confidence levels of future life detection and, importantly, may constrain the prior probability of life with or without positive detection. We describe empirical and theoretical work necessary to place constraints on the relevant likelihoods, including those emerging from stellar and planetary context, the contingencies of evolutionary history and the universalities of physics and chemistry. We discuss how the Bayesian framework can guide our search strategies, including determining observational wavelengths or deciding between targeted searches or larger, lower resolution surveys. Our goal is to provide a quantitative framework not entrained to specific definitions of life or its signatures, which integrates the diverse disciplinary perspectives necessary to confidently detect alien life. △ Less

Submitted 8 August, 2017; v1 submitted 23 May, 2017; originally announced May 2017.

Comments: 125 pages (double spaced), 12 figures; The paper is the fourth in a series of 5 review manuscripts of the NExSS Exoplanet Biosignatures Workshop. Community comment was solicited at this url: https://nexss.info/groups/ebwww

Exoplanet Biosignatures: A Review of Remotely Detectable Signs of Life

Authors: Edward W. Schwieterman, Nancy Y. Kiang, Mary N. Parenteau, Chester E. Harman, Shiladitya DasSarma, Theresa M. Fisher, Giada N. Arney, Hilairy E. Hartnett, Christopher T. Reinhard, Stephanie L. Olson, Victoria S. Meadows, Charles S. Cockell, Sara I. Walker, John Lee Grenfell, Siddharth Hegde, Sarah Rugheimer, Renyu Hu, Timothy W. Lyons

Abstract: In the coming years and decades, advanced space- and ground-based observatories will allow an unprecedented opportunity to probe the atmospheres and surfaces of potentially habitable exoplanets for signatures of life. Life on Earth, through its gaseous products and reflectance and scattering properties, has left its fingerprint on the spectrum of our planet. Aided by the universality of the laws o… ▽ More In the coming years and decades, advanced space- and ground-based observatories will allow an unprecedented opportunity to probe the atmospheres and surfaces of potentially habitable exoplanets for signatures of life. Life on Earth, through its gaseous products and reflectance and scattering properties, has left its fingerprint on the spectrum of our planet. Aided by the universality of the laws of physics and chemistry, we turn to Earth's biosphere, both in the present and through geologic time, for analog signatures that will aid in the search for life elsewhere. Considering the insights gained from modern and ancient Earth, and the broader array of hypothetical exoplanet possibilities, we have compiled a state-of-the-art overview of our current understanding of potential exoplanet biosignatures including gaseous, surface, and temporal biosignatures. We additionally survey biogenic spectral features that are well-known in the specialist literature but have not yet been robustly vetted in the context of exoplanet biosignatures. We briefly review advances in assessing biosignature plausibility, including novel methods for determining chemical disequilibrium from remotely obtainable data and assessment tools for determining the minimum biomass required for a given atmospheric signature. We focus particularly on advances made since the seminal review by Des Marais et al. (2002). The purpose of this work is not to propose new biosignatures strategies, a goal left to companion papers in this series, but to review the current literature, draw meaningful connections between seemingly disparate areas, and clear the way for a path forward. △ Less

Submitted 25 June, 2018; v1 submitted 16 May, 2017; originally announced May 2017.

Comments: Open Access Article. 46 pages, 13 figures

Journal ref: Schwieterman et al. (2018). Exoplanet Biosignatures: A Review of Remotely Detectable Signs of Life. Astrobiology, 18(6), 663-708

An information-based classification of Elementary Cellular Automata

Authors: Enrico Borriello, Sara Imari Walker

Abstract: A novel, information-based classification of elementary cellular automata is proposed that circumvents the problems associated with isolating whether complexity is in fact intrinsic to a dynamical rule, or if it arises merely as a product of a complex initial state. Transfer entropy variations processed by the system split the 256 elementary rules into three information classes, based on sensitivi… ▽ More A novel, information-based classification of elementary cellular automata is proposed that circumvents the problems associated with isolating whether complexity is in fact intrinsic to a dynamical rule, or if it arises merely as a product of a complex initial state. Transfer entropy variations processed by the system split the 256 elementary rules into three information classes, based on sensitivity to initial conditions. These classes form a hierarchy such that coarse-graining transitions observed among elementary cellular automata rules predominately occur within each information- based class, or much more rarely, down the hierarchy. △ Less

Submitted 27 February, 2017; v1 submitted 23 September, 2016; originally announced September 2016.

Comments: 6 pages, 4 figures, 1 table

Formal Definitions of Unbounded Evolution and Innovation Reveal Universal Mechanisms for Open-Ended Evolution in Dynamical Systems

Authors: Alyssa M Adams, Hector Zenil, Paul CW Davies, Sara I Walker

Abstract: Open-ended evolution (OEE) is relevant to a variety of biological, artificial and technological systems, but has been challenging to reproduce in silico. Most theoretical efforts focus on key aspects of open-ended evolution as it appears in biology. We recast the problem as a more general one in dynamical systems theory, providing simple criteria for open-ended evolution based on two hallmark feat… ▽ More Open-ended evolution (OEE) is relevant to a variety of biological, artificial and technological systems, but has been challenging to reproduce in silico. Most theoretical efforts focus on key aspects of open-ended evolution as it appears in biology. We recast the problem as a more general one in dynamical systems theory, providing simple criteria for open-ended evolution based on two hallmark features: unbounded evolution and innovation. We define unbounded evolution as patterns that are non-repeating within the expected Poincare recurrence time of an equivalent isolated system, and innovation as trajectories not observed in isolated systems. As a case study, we implement novel variants of cellular automata (CA) in which the update rules are allowed to vary with time in three alternative ways. Each is capable of generating conditions for open-ended evolution, but vary in their ability to do so. We find that state-dependent dynamics, widely regarded as a hallmark of life, statistically out-performs other candidate mechanisms, and is the only mechanism to produce open-ended evolution in a scalable manner, essential to the notion of ongoing evolution. This analysis suggests a new framework for unifying mechanisms for generating OEE with features distinctive to life and its artifacts, with broad applicability to biological and artificial systems. △ Less

Submitted 18 December, 2016; v1 submitted 6 July, 2016; originally announced July 2016.

Comments: Main document: 17 pages, Supplement: 21 pages Presented at OEE2: The Second Workshop on Open-Ended Evolution, 15th International Conference on the Synthesis and Simulation of Living Systems (ALIFE XV), Cancún, Mexico, 4-8 July 2016 (http://www.tim-taylor.com/oee2/)

The "Hard Problem" of Life

Authors: Sara Imari Walker, Paul C. W. Davies

Abstract: Chalmer's famously identified pinpointing an explanation for our subjective experience as the "hard problem of consciousness". He argued that subjective experience constitutes a "hard problem" in the sense that its explanation will ultimately require new physical laws or principles. Here, we propose a corresponding "hard problem of life" as the problem of how `information' can affect the world. In… ▽ More Chalmer's famously identified pinpointing an explanation for our subjective experience as the "hard problem of consciousness". He argued that subjective experience constitutes a "hard problem" in the sense that its explanation will ultimately require new physical laws or principles. Here, we propose a corresponding "hard problem of life" as the problem of how `information' can affect the world. In this essay we motivate both why the problem of information as a causal agent is central to explaining life, and why it is hard - that is, why we suspect that a full resolution of the hard problem of life will, similar to as has been proposed for the hard problem of consciousness, ultimately not be reducible to known physical principles. △ Less

Submitted 23 June, 2016; originally announced June 2016.

Comments: To appear in "From Matter to Life: Information and Causality". S.I. Walker, P.C.W. Davies and G.F.R. Ellis (eds). Cambridge University Press

A passive THz video camera based on lumped element kinetic inductance detectors

Authors: Sam Rowe, Enzo Pascale, Simon Doyle, Chris Dunscombe, Peter Hargrave, Andreas Papageorgio, Ken Wood, Peter A. R. Ade, Peter Barry, Aurélien Bideaud, Tom Brien, Chris Dodd, William Grainger, Julian House, Philip Mauskopf, Paul Moseley, Locke Spencer, Rashmi Sudiwala, Carole Tucker, Ian Walker

Abstract: We have developed a passive 350 GHz (850 μm) video-camera to demonstrate lumped element kinetic inductance detectors (LEKIDs) -- designed originally for far-infrared astronomy -- as an option for general purpose terrestrial terahertz imaging applications. The camera currently operates at a quasi-video frame rate of 2 Hz with a noise equivalent temperature difference per frame of $\sim$0.1 K, which… ▽ More We have developed a passive 350 GHz (850 μm) video-camera to demonstrate lumped element kinetic inductance detectors (LEKIDs) -- designed originally for far-infrared astronomy -- as an option for general purpose terrestrial terahertz imaging applications. The camera currently operates at a quasi-video frame rate of 2 Hz with a noise equivalent temperature difference per frame of $\sim$0.1 K, which is close to the background limit. The 152 element superconducting LEKID array is fabricated from a simple 40 nm aluminum film on a silicon dielectric substrate and is read out through a single microwave feedline with a cryogenic low noise amplifier and room temperature frequency domain multiplexing electronics. △ Less

Submitted 18 November, 2015; originally announced November 2015.

Measuring the Proton Selectivity of Graphene Membranes

Authors: Michael I. Walker, Philipp Braeuninger-Weimar, Robert S. Weatherup, Stephan Hofmann, Ulrich F. Keyser

Abstract: By systematically studying the proton selectivity of free-standing graphene membranes in aqueous solutions we demonstrate that protons are transported by passing through defects. We study the current-voltage characteristics of single-layer graphene grown by chemical vapour deposition (CVD) when a concentration gradient of HCl exists across it. Our measurements can unambiguously determine that H+ i… ▽ More By systematically studying the proton selectivity of free-standing graphene membranes in aqueous solutions we demonstrate that protons are transported by passing through defects. We study the current-voltage characteristics of single-layer graphene grown by chemical vapour deposition (CVD) when a concentration gradient of HCl exists across it. Our measurements can unambiguously determine that H+ ions are responsible for the selective part of the ionic current. By comparing the observed reversal potentials with positive and negative controls we demonstrate that the as-grown graphene is only weakly selective for protons. We use atomic layer deposition to block most of the defects in our CVD graphene. Our results show that a reduction in defect size decreases the ionic current but increases proton selectivity. △ Less

Submitted 26 August, 2015; originally announced August 2015.

New Scaling Relation for Information Transfer in Biological Networks

Authors: Hyunju Kim, Paul Davies, Sara Imari Walker

Abstract: Living systems are often described utilizing informational analogies. An important open question is whether information is merely a useful conceptual metaphor, or intrinsic to the operation of biological systems. To address this question, we provide a rigorous case study of the informational architecture of two representative biological networks: the Boolean network model for the cell-cycle regula… ▽ More Living systems are often described utilizing informational analogies. An important open question is whether information is merely a useful conceptual metaphor, or intrinsic to the operation of biological systems. To address this question, we provide a rigorous case study of the informational architecture of two representative biological networks: the Boolean network model for the cell-cycle regulatory network of the fission yeast S. pombe and that of the budding yeast S. cerevisiae. We compare our results for these biological networks to the same analysis performed on ensembles of two different types of random networks. We show that both biological networks share features in common that are not shared by either ensemble. In particular, the biological networks in our study, on average, process more information than the random networks. They also exhibit a scaling relation in information transferred between nodes that distinguishes them from either ensemble: even when compared to the ensemble of random networks that shares important topological properties, such as a scale-free structure. We show that the most biologically distinct regime of this scaling relation is associated with the dynamics and function of the biological networks. Information processing in biological networks is therefore interpreted as an emergent property of topology (causal structure) and dynamics (function). These results demonstrate quantitatively how the informational architecture of biologically evolved networks can distinguish them from other classes of network architecture that do not share the same informational properties. △ Less

Submitted 17 August, 2015; originally announced August 2015.

The Informational Architecture Of The Cell

Authors: Sara Imari Walker, Hyunju Kim, Paul C. W. Davies

Abstract: We compare the informational architecture of biological and random networks to identify informational features that may distinguish biological networks from random. The study presented here focuses on the Boolean network model for regulation of the cell cycle of the fission yeast Schizosaccharomyces Pombe. We compare calculated values of local and global information measures for the fission yeast… ▽ More We compare the informational architecture of biological and random networks to identify informational features that may distinguish biological networks from random. The study presented here focuses on the Boolean network model for regulation of the cell cycle of the fission yeast Schizosaccharomyces Pombe. We compare calculated values of local and global information measures for the fission yeast cell cycle to the same measures as applied to two different classes of random networks: random and scale-free. We report patterns in local information processing and storage that do indeed distinguish biological from random, associated with control nodes that regulate the function of the fission yeast cell cycle network. Conversely, we find that integrated information, which serves as a global measure of "emergent" information processing, does not differ from random for the case presented. We discuss implications for our understanding of the informational architecture of the fission yeast cell cycle network in particular, and more generally for illuminating any distinctive physics that may be operative in life. △ Less

Submitted 8 November, 2015; v1 submitted 14 July, 2015; originally announced July 2015.

The Descent of Math

Authors: Sara Imari Walker

Abstract: A perplexing problem in understanding physical reality is why the universe seems comprehensible, and correspondingly why there should exist physical systems capable of comprehending it. In this essay I explore the possibility that rather than being an odd coincidence arising due to our strange position as passive (and even more strangely, conscious) observers in the cosmos, these two problems migh… ▽ More A perplexing problem in understanding physical reality is why the universe seems comprehensible, and correspondingly why there should exist physical systems capable of comprehending it. In this essay I explore the possibility that rather than being an odd coincidence arising due to our strange position as passive (and even more strangely, conscious) observers in the cosmos, these two problems might be related and could be explainable in terms of fundamental physics. The perspective presented suggests a potential unified framework where, when taken together, comprehenders and comprehensibility are part of causal structure of physical reality, which is considered as a causal graph (network) connecting states that are physically possible. I argue that in some local regions, the most probable states are those that include physical systems which contain information encodings - such as mathematics, language and art - because these are the most highly connected to other possible states in this causal graph. Such physical systems include life and - of particular interest for the discussion of the place of math in physical reality - comprehenders capable of making mathematical sense of the world. Within this framework, the descent of math is an undirected outcome of the evolution of the universe, which will tend toward states that are increasingly connected to other possible states of the universe, a process greatly facilitated if some physical systems know the rules of the game. I therefore conclude that our ability to use mathematics to describe, and more importantly manipulate, the natural world may not be an anomaly or trick, but instead could provide clues to the underlying causal structure of physical reality. △ Less

Submitted 9 November, 2015; v1 submitted 2 May, 2015; originally announced May 2015.

Comments: 8 pages, Entry in 2015 FQXI Essay Competition

The Emergence of Life as a First Order Phase Transition

Authors: Cole Mathis, Tanmoy Bhattacharya, Sara Imari Walker

Abstract: It is well known that life on Earth alters its environment over evolutionary and geological timescales. An important open question is whether this is a result of evolutionary optimization or a universal feature of life. In the latter case, the origin of life would be coincident with a shift in environmental conditions. Here we present a model for the emergence of life in which replicators are expl… ▽ More It is well known that life on Earth alters its environment over evolutionary and geological timescales. An important open question is whether this is a result of evolutionary optimization or a universal feature of life. In the latter case, the origin of life would be coincident with a shift in environmental conditions. Here we present a model for the emergence of life in which replicators are explicitly coupled to their environment through the recycling of a finite supply of resources. The model exhibits a dynamic, first-order phase transition from non-life to "life," where the life phase is distinguished by selection on replicators. We show that environmental coupling plays an important role in the dynamics of the transition. The transition corresponds to a redistribution of matter in replicators and their environment, driven by selection on replicators, exhibiting an explosive growth in diversity as replicators are selected. The transition is accurately tracked by the mutual information shared between replicators and their environment. In the absence of successfully repartitioning system resources, the transition fails to complete, leading to the possibility of many frustrated trials before life first emerges. Often, the replicators that initiate the transition are not those that are ultimately selected. The results are consistent with the view that life's propensity to shape its environment is indeed a universal feature of replicators, characteristic of the transition from non-life to life. We discuss the implications of these results for understanding life's emergence and evolutionary transitions more broadly. △ Less

Submitted 25 April, 2017; v1 submitted 10 March, 2015; originally announced March 2015.

Self-referencing cellular automata: A model of the evolution of information control in biological systems

Authors: Theodore P. Pavlic, Alyssa M. Adams, Paul C. W. Davies, Sara Imari Walker

Abstract: Cellular automata have been useful artificial models for exploring how relatively simple rules combined with spatial memory can give rise to complex emergent patterns. Moreover, studying the dynamics of how rules emerge under artificial selection for function has recently become a powerful tool for understanding how evolution can innovate within its genetic rule space. However, conventional cellul… ▽ More Cellular automata have been useful artificial models for exploring how relatively simple rules combined with spatial memory can give rise to complex emergent patterns. Moreover, studying the dynamics of how rules emerge under artificial selection for function has recently become a powerful tool for understanding how evolution can innovate within its genetic rule space. However, conventional cellular automata lack the kind of state feedback that is surely present in natural evolving systems. Each new generation of a population leaves an indelible mark on its environment and thus affects the selective pressures that shape future generations of that population. To model this phenomenon, we have augmented traditional cellular automata with state-dependent feedback. Rather than generating automata executions from an initial condition and a static rule, we introduce map**s which generate iteration rules from the cellular automaton itself. We show that these new automata contain disconnected regions which locally act like conventional automata, thus encapsulating multiple functions into one structure. Consequently, we have provided a new model for processes like cell differentiation. Finally, by studying the size of these regions, we provide additional evidence that the dynamics of self-reference may be critical to understanding the evolution of natural language. In particular, the rules of elementary cellular automata appear to be distributed in the same way as words in the corpus of a natural language. △ Less

Submitted 16 May, 2014; originally announced May 2014.

Comments: Accepted to ALIFE 2014. 8 pages, 9 figures (20 subfigures), 2 tables

MSC Class: 03D10; 18B20; 20M35; 37B15; 37F99; 68Q70; 68Q05; 68Q80; ACM Class: F.1.1; G.2.1

Quantum Non-Barking Dogs

Authors: Sara Imari Walker, Paul C. W. Davies, Prasant Samantray, Yakir Aharonov

Abstract: Quantum weak measurements with states both pre- and postselected offer a window into a hitherto neglected sector of quantum mechanics. A class of such systems involves time dependent evolution with transitions possible. In this paper we explore two very simple systems in this class. The first is a toy model representing the decay of an excited atom. The second is the tunneling of a particle throug… ▽ More Quantum weak measurements with states both pre- and postselected offer a window into a hitherto neglected sector of quantum mechanics. A class of such systems involves time dependent evolution with transitions possible. In this paper we explore two very simple systems in this class. The first is a toy model representing the decay of an excited atom. The second is the tunneling of a particle through a barrier. The postselection criteria are chosen as follows: at the final time, the "atom" remains in its initial excited state for the first example and the particle remains behind the barrier for the second. We then ask what weak values are predicted in the physical environment of the "atom" (to which no net energy has been transferred) and in the region beyond the barrier (to which the particle has not tunneled). Previous work suggests that very large weak values might arise in these regions for long durations between pre- and postselection times. Our calculations reveal some distinct differences between the two model systems. △ Less

Submitted 1 December, 2013; originally announced December 2013.

Comments: 8 pages, 3 figures

A Mobile Robotic Personal Nightstand with Integrated Perceptual Processes

Authors: Vidya N. Murali, Anthony L. Threatt, Joe Manganelli, Paul M. Yanik, Sumod K. Mohan, Akshay A. Apte, Raghavendran Ramachandran, Linnea Smolentzov, Johnell Brooks, Ian D. Walker, Keith E. Green

Abstract: We present an intelligent interactive nightstand mounted on a mobile robot, to aid the elderly in their homes using physical, tactile and visual percepts. We show the integration of three different sensing modalities for controlling the navigation of a robot mounted nightstand within the constrained environment of a general purpose living room housing a single aging individual in need of assistanc… ▽ More We present an intelligent interactive nightstand mounted on a mobile robot, to aid the elderly in their homes using physical, tactile and visual percepts. We show the integration of three different sensing modalities for controlling the navigation of a robot mounted nightstand within the constrained environment of a general purpose living room housing a single aging individual in need of assistance and monitoring. A camera mounted on the ceiling of the room, gives a top-down view of the obstacles, the person and the nightstand. Pressure sensors mounted beneath the bed-stand of the individual provide physical perception of the person's state. A proximity IR sensor on the nightstand acts as a tactile interface along with a Wii Nunchuck (Nintendo) to control mundane operations on the nightstand. Intelligence from these three modalities are combined to enable path planning for the nightstand to approach the individual. With growing emphasis on assistive technology for the aging individuals who are increasingly electing to stay in their homes, we show how ubiquitous intelligence can be brought inside homes to help monitor and provide care to an individual. Our approach goes one step towards achieving pervasive intelligence by seamlessly integrating different sensors embedded in the fabric of the environment. △ Less

Submitted 12 October, 2013; originally announced October 2013.

Comments: Submitted to AAAI 2010, IROS 2011

Evolutionary Transitions and Top-Down Causation

Authors: Sara Imari Walker, Luis Cisneros, Paul C. W. Davies

Abstract: Top-down causation has been suggested to occur at all scales of biological organization as a mechanism for explaining the hierarchy of structure and causation in living systems. Here we propose that a transition from bottom-up to top-down causation -- mediated by a reversal in the flow of information from lower to higher levels of organization, to that from higher to lower levels of organization -… ▽ More Top-down causation has been suggested to occur at all scales of biological organization as a mechanism for explaining the hierarchy of structure and causation in living systems. Here we propose that a transition from bottom-up to top-down causation -- mediated by a reversal in the flow of information from lower to higher levels of organization, to that from higher to lower levels of organization -- is a driving force for most major evolutionary transitions. We suggest that many major evolutionary transitions might therefore be marked by a transition in causal structure. We use logistic growth as a toy model for demonstrating how such a transition can drive the emergence of collective behavior in replicative systems. We then outline how this scenario may have played out in those major evolutionary transitions in which new, higher levels of organization emerged, and propose possible methods via which our hypothesis might be tested. △ Less

Submitted 19 July, 2012; originally announced July 2012.

Comments: 8 pages, 4 figures

Journal ref: Proceedings of Artificial Life XIII (2012) p. 283-290

The Algorithmic Origins of Life

Authors: Sara Imari Walker, Paul C. W. Davies

Abstract: Although it has been notoriously difficult to pin down precisely what it is that makes life so distinctive and remarkable, there is general agreement that its informational aspect is one key property, perhaps the key property. The unique informational narrative of living systems suggests that life may be characterized by context-dependent causal influences, and in particular, that top-down (or dow… ▽ More Although it has been notoriously difficult to pin down precisely what it is that makes life so distinctive and remarkable, there is general agreement that its informational aspect is one key property, perhaps the key property. The unique informational narrative of living systems suggests that life may be characterized by context-dependent causal influences, and in particular, that top-down (or downward) causation -- where higher-levels influence and constrain the dynamics of lower-levels in organizational hierarchies -- may be a major contributor to the hierarchal structure of living systems. Here we propose that the origin of life may correspond to a physical transition associated with a shift in causal structure, where information gains direct, and context-dependent causal efficacy over the matter it is instantiated in. Such a transition may be akin to more traditional physical transitions (e.g. thermodynamic phase transitions), with the crucial distinction that determining which phase (non-life or life) a given system is in requires dynamical information and therefore can only be inferred by identifying causal architecture. We discuss some potential novel research directions based on this hypothesis, including potential measures of such a transition that may be amenable to laboratory study, and how the proposed mechanism corresponds to the onset of the unique mode of (algorithmic) information processing characteristic of living systems. △ Less

Submitted 21 October, 2012; v1 submitted 19 July, 2012; originally announced July 2012.

Comments: 13 pages, 1 table

Journal ref: J. R. Soc. Interface 2013 vol. 10 no. 79 20120869

Universal Sequence Replication, Reversible Polymerization and Early Functional Biopolymers: A Model for the Initiation of Prebiotic Sequence Evolution

Authors: Sara Imari Walker, Martha A. Grover, Nicholas V. Hud

Abstract: Many models for the origin of life have focused on understanding how evolution can drive the refinement of a preexisting enzyme, such as the evolution of efficient replicase activity. Here we present a model for what was, arguably, an even earlier stage of chemical evolution, when polymer sequence diversity was generated and sustained before, and during, the onset of functional selection. The mode… ▽ More Many models for the origin of life have focused on understanding how evolution can drive the refinement of a preexisting enzyme, such as the evolution of efficient replicase activity. Here we present a model for what was, arguably, an even earlier stage of chemical evolution, when polymer sequence diversity was generated and sustained before, and during, the onset of functional selection. The model includes regular environmental cycles (e.g. hydration-dehydration cycles) that drive polymers between times of replication and functional activity, which coincide with times of different monomer and polymer diffusivity. Kinetic Monte Carlo simulations demonstrate that this proposed prebiotic scenario provides a robust mechanism for the exploration of sequence space. Introduction of a polymer sequence with monomer synthetase activity illustrates that functional sequences can become established in a preexisting pool of otherwise non-functional sequences. Functional selection does not dominate system dynamics and sequence diversity remains high, permitting the emergence and spread of more than one functional sequence. It is also observed that polymers spontaneously form clusters in simulations where polymers diffuse more slowly than monomers, a feature that is reminiscent of a previous proposal that the earliest stages of life could have been defined by the collective evolution of a system-wide cooperation of polymer aggregates. Overall, the results presented demonstrate the merits of considering plausible prebiotic polymer chemistries and environments that would have allowed for the rapid turnover of monomer resources and for regularly varying monomer/polymer diffusivities. △ Less

Submitted 20 March, 2012; originally announced March 2012.

Comments: 21 pages, 6 Figures, Additional 7 page Supplement and 6 Supplementary Figures (movie files not included), In press PLoS ONE

Journal ref: PLoS ONE (2012) 7 (4): e34166

Life's Chirality From Prebiotic Environments

Authors: Marcelo Gleiser, Sara Imari Walker

Abstract: A key open question in the study of life is the origin of biomolecular homochirality: almost every life-form on Earth has exclusively levorotary amino acids and dextrorotary sugars. Will the same handedness be preferred if life is found elsewhere? We review some of the pertinent literature and discuss recent results suggesting that life's homochirality resulted from sequential chiral symmetry brea… ▽ More A key open question in the study of life is the origin of biomolecular homochirality: almost every life-form on Earth has exclusively levorotary amino acids and dextrorotary sugars. Will the same handedness be preferred if life is found elsewhere? We review some of the pertinent literature and discuss recent results suggesting that life's homochirality resulted from sequential chiral symmetry breaking triggered by environmental events. In one scenario, autocatalytic prebiotic reactions undergo stochastic fluctuations due to environmental disturbances. In another, chiral-selective polymerization reaction rates influenced by environmental effects lead to substantial chiral excess even in the absence of autocatalysis. Applying these arguments to other potentially life-bearing platforms has implications to the search for extraterrestrial life: we predict that a statistically representative sampling of extraterrestrial stereochemistry will be racemic (chirally neutral) on average. △ Less

Submitted 2 March, 2012; v1 submitted 22 February, 2012; originally announced February 2012.

Comments: 12 pages, 7 figures. Plenary talk delivered at the São Paulo Advanced School of Astrobiology, São Paulo, December 2011. In press, Int. J. Astrobio. Added small clarification in conclusion section