Descriptional complexity of cellular automata and decidability questions

We study the descriptional complexity of cellular automata (CA), a parallel model of computation. We show that between one of the simplest cellular models, the realtime-OCA. and "classical" models like deterministic finite automata (DFA) or pushdown automata (PDA), there will be savings concerning the size of description not bounded by any recursive function, a so-called nonrecursive trade-off. Furthermore, nonrecursive trade-offs are shown between some restricted classes of cellular automata. The set of valid computations of a Turing machine can be recognized by a realtime-OCA. This implies that many decidability questions are not even semi decidable for cellular automata. There is no pumping lemma and no minimization algorithm for cellular automata

Biofilms in porous media: development of macroscopic transport equations via volume averaging with closure for local mass equilibrium conditions

In this work, we upscale a pore-scale description of mass transport in a porous medium containing biofilm to develop the relevant Darcy-scale equations. We begin with the pore-scale descriptions of mass transport, interphase mass transfer, and biologically-mediated reactions; these processes are then upscaled using the method of volume averaging to obtain the macroscale mass balance equations. We focus on the case of local mass equilibrium conditions where the averaged concentrations in the fluid and biological phases can be assumed to be proportional and for which a one-equation macroscopic model may be developed. We predict the effective dispersion tensor by a closure scheme that is solved for the cases of both simple and complex unit cells. The domain of validity of the approach is clearly identified, both theoretically and numerically, and unitless groupings indicating the domain of validity are reported

Structural Memory in the Contractile Ring Makes the Duration of Cytokinesis Independent of Cell Size

SummaryCytokinesis is accomplished by constriction of a cortical contractile ring. We show that during the early embryonic divisions in C. elegans, ring constriction occurs in two phases—an initial phase at a constant rate followed by a second phase during which the constriction rate decreases in proportion to ring perimeter. Cytokinesis completes in the same amount of time, despite the reduction in cell size during successive divisions, due to a strict proportionality between initial ring size and the constant constriction rate. During closure, the myosin motor in the ring decreases in proportion to perimeter without turning over. We propose a “contractile unit” model to explain how the ring retains a structural memory of its initial size as it disassembles. The scalability of constriction may facilitate coordination of mitotic events and cytokinesis when cell size, and hence the distance traversed by the ring, varies during embryogenesis and in other contexts

Conjunctive Grammars, Cellular Automata and Logic

The expressive power of the class Conj of conjunctive languages, i.e. languages generated by the conjunctive grammars of Okhotin, is largely unknown, while its restriction LinConj to linear conjunctive grammars equals the class of languages recognized by real-time one-dimensional one-way cellular automata. We prove two weakened versions of the open question Conj ?? RealTime1CA, where RealTime1CA is the class of languages recognized by real-time one-dimensional two-way cellular automata: 1) it is true for unary languages; 2) Conj ? RealTime2OCA, i.e. any conjunctive language is recognized by a real-time two-dimensional one-way cellular automaton. Interestingly, we express the rules of a conjunctive grammar in two Horn logics, which exactly characterize the complexity classes RealTime1CA and RealTime2OCA

Biomechanical models and mechanisms of cellular morphogenesis and cerebral cortical expansion and folding

Morphogenesis of the nervous system involves a highly complex spatio-temporal pattern of physical forces (mainly tension and pressure) acting on cells and tissues that are pliable but have an intricately organized cytoskeletal infrastructure. This review begins by covering basic principles of biomechanics and the core cytoskeletal toolkit used to regulate the shapes of cells and tissues during embryogenesis and neural development. It illustrates how the principle of \u27tensegrity\u27 provides a useful conceptual framework for understanding how cells dynamically respond to forces that are generated internally or applied externally. The latter part of the review builds on this foundation in considering the development of mammalian cerebral cortex. The main focus is on cortical expansion and folding - processes that take place over an extended period of prenatal and postnatal development. Cortical expansion and folding are likely to involve many complementary mechanisms, some related to regulating cell proliferation and migration and others related to specific types and patterns of mechanical tension and pressure. Three distinct multi-mechanism models are evaluated in relation to a set of 18 key experimental observations and findings. The Composite Tension Plus (CT+) model is introduced as an updated version of a previous multi-component Differential Expansion Sandwich Plus (DES+) model (Van Essen, 2020); the new CT+ model includes 10 distinct mechanisms and has the greatest explanatory power among published models to date. Much needs to be done in order to validate specific mechanistic components and to assess their relative importance in different species, and important directions for future research are suggested