Category: Papers

An Ansatz for undecidable computation in RNA-world automata

Adam J. Svahn, Mikhail Prokopenko

 

In this Ansatz we consider theoretical constructions of RNA polymers into automata, a form of computational structure. The basis for transitions in our automata are plausible RNA-world enzymes that may perform ligation or cleavage. Limited to these operations, we construct RNA automata of increasing complexity; from the Finite Automaton (RNA-FA) to the Turing Machine equivalent 2-stack PDA (RNA-2PDA) and the universal RNA-UPDA. For each automaton we show how the enzymatic reactions match the logical operations of the RNA automaton, and describe how biological exploration of the corresponding evolutionary space is facilitated by the efficient arrangement of RNA polymers into a computational structure. A critical theme of the Ansatz is the self-reference in RNA automata configurations which exploits the program-data duality but results in undecidable computation. We describe how undecidable computation is exemplified in the self-referential Liar paradox that places a boundary on a logical system, and by construction, any RNA automata. We argue that an expansion of the evolutionary space for RNA-2PDA automata can be interpreted as a hierarchical resolution of the undecidable computation by a meta-system (akin to Turing’s oracle), in a continual process analogous to Turing’s ordinal logics and Post’s extensible recursively generated logics. On this basis, we put forward the hypothesis that the resolution of undecidable configurations in RNA-world automata represents a mechanism for novelty generation in the evolutionary space, and propose avenues for future investigation of biological automata.

Source: arxiv.org

On the problem of biological form

Marta Linde-Medina 
Theory in Biosciences volume 139, pages 299–308 (2020)

 

Embryonic development, which inspired the first theories of biological form, was eventually excluded from the conceptual framework of the Modern Synthesis as irrelevant. A major question during the last decades has centred on understanding whether new advances in developmental biology are compatible with the standard view or whether they compel a new theory. Here, I argue that the answer to this question depends on which concept of morphogenesis is held. Morphogenesis can be conceived as (1) a chemically driven or (2) a mechanically driven process. According to the first option, genetic regulatory networks drive morphogenesis. According to the second, morphogenesis results from an invariant tendency of embryonic tissues to restore changes in mechanical stress. While chemically driven morphogenesis allows an extension of the standard view, mechanically driven morphogenesis would deeply transform it. Which of these hypotheses has wider explanatory power is unknown. At present, the problem of biological form remains unsolved.

Source: link.springer.com

Why are U.S. Parties So Polarized? A “Satisficing” Dynamical Model

Why are U.S. Parties So Polarized? A "Satisficing" Dynamical Model
Vicky Chuqiao Yang, Daniel M. Abrams, Georgia Kernell, Adilson E. Motter

 

Since the 1960s, Democrats and Republicans in U.S. Congress have taken increasingly polarized positions, while the public’s policy positions have remained centrist and moderate. We explain this apparent contradiction by developing a dynamical model that predicts ideological positions of political parties. Our approach tackles the challenge of incorporating bounded rationality into mathematical models and integrates the empirical finding of satisficing decision making—voters settle for candidates who are "good enough" when deciding for whom to vote. We test the model using data from the U.S. Congress over the past 150 years, and find that our predictions are consistent with the two major political parties’ historical trajectory. In particular, the model explains how polarization between the Democrats and Republicans since the 1960s could be a consequence of increasing ideological homogeneity within the parties.

Source: arxiv.org