Conservation Laws in Cellular Automata

Conservation laws in physics are numerical invariants of the dynamics of a system. In cellular automata (CA), a similar concept has already been defined and studied. To each local pattern of cell states a real value is associated, interpreted as the “energy” (or “mass”, or . . . ) of that pattern.The overall “energy” of a configuration is simply the sum of the energy of the local patterns appearing on different positions in the configuration. We have a conservation law for that energy, if the total energy of each configuration remains constant during the evolution of the CA. For a given conservation law, it is desirable to find microscopic explanations for the dynamics of the conserved energy in terms of flows of energy from one region toward another. Often, it happens that the energy values are from non-negative integers, and are interpreted as the number of “particles” distributed on a configuration. In such cases, it is conjectured that one can always provide a microscopic explanation for the conservation laws by prescribing rules for the local movement of the particles. The onedimensional case has already been solved by Fuk´s and Pivato. We extend this to two-dimensional cellular automata with radius-0,5 neighborhood on the square lattice. We then consider conservation laws in which the energy values are chosen from a commutative group or semigroup. In this case, the class of all conservation laws for a CA form a partially ordered hierarchy. We study the structure of this hierarchy and prove some basic facts about it. Although the local properties of this hierarchy (at least in the group-valued case) are tractable, its global properties turn out to be algorithmically inaccessible. In particular, we prove that it is undecidable whether this hierarchy is trivial (i.e., if the CA has any non-trivial conservation law at all) or unbounded. We point out some interconnections between the structure of this hierarchy and the dynamical properties of the CA. We show that positively expansive CA do not have non-trivial conservation laws. We also investigate a curious relationship between conservation laws and invariant Gibbs measures in reversible and surjective CA. Gibbs measures are known to coincide with the equilibrium states of a lattice system defined in terms of a Hamiltonian. For reversible cellular automata, each conserved quantity may play the role of a Hamiltonian, and provides a Gibbs measure (or a set of Gibbs measures, in case of phase multiplicity) that is invariant. Conversely, every invariant Gibbs measure provides a conservation law for the CA. For surjective CA, the former statement also follows (in a slightly different form) from the variational characterization of the Gibbs measures. For one-dimensional surjective CA, we show that each invariant Gibbs measure provides a conservation law. We also prove that surjective CA almost surely preserve the average information content per cell with respect to any probability measure.

JNK, a versatile regulator of kinesin-1 transport and cytoskeleton dynamics

C-Jun N-terminal kinase (JNK) is traditionally recognized as a crucial factor in stress response and inducer of apoptosis upon various stimulations. Three isoforms build the JNK subfamily of MAPK; generally expressed JNK1 and JNK2 and brain specific JNK3. Degenerative potency placed JNK in the spotlight as potential pharmacological option for intervention. Unfortunately, adverse effects of potential drugs and observation that expression of only JNK2 and JNK3 are induced upon stress, restrained initial enthusiasm. Notably, JNK1 demonstrated atypical high constitutive activity in neurons that is not responsive to cellular stresses and indicated existence of physiological activity. This thesis aimed at revealing the physiological functions of JNK1 in actin homeostasis through novel effector MARCKS-Like 1 (MARCKSL1) protein, neuronal trafficking mediated by major kinesin-1 motor protein and microtubule (MT) dynamics via STMN2/SCG10. The screen for novel physiological JNK substrates revealed specific phosphorylation of C-terminal end of MARCKSL1 at S120, T148 and T183 both ex vivo and in vitro. By utilizing site-specific mutagenesis, various actin dynamics and migrations assays we were able to demonstrate that JNK1 phosphorylation specifically facilitates F-actin bundling and thus filament stabilisation. Consecutively, this molecular mechanism was proved to enhance formation of filopodia; cell surface projections that allow cell sensing surrounding environment and migrate efficiently. Our results visualize JNK dependent and MARCKSL1 executed induction of filopodia in neurons and fibroblast indicating general mechanism. Subsequently, inactivation of JNK action on MARCKSL1 shifts cellular actin machinery into lamellipodial dynamic arrangement. Tuning of actin cytoskeleton inevitably melds with cell migration. We observed that both active JNK and JNK pseudo-phosphorylated form of MARCKSL1 reduce actin turnover in intact cells leading to overall diminished cell motility. We demonstrate that tumour transformed cells from breast, prostate, lung and muscle-derived cancers upregulate MARCKSL1. We showed on the example of prostate cancer PC-3 cell line that JNK phosphorylation negatively controls MARCKSL1 ability to induce migration, which precedes cancer cell metastasis. The second round of identification of JNK physiological substrates resulted in detection of predominant motor protein kinesin-1 (Kif5). Mass spectrometry detailed analysis showed evident endogenous phosphorylation of kinesin-1 on S176 within motor domain that interacts with MT. In vitro phosphorylation of bacterially expressed kinesin heavy chain by JNK isoforms displayed higher specificity of JNK1 when compared to JNK3. Since, JNK1 is constitutively active in neurons it signified physiological aspect of kinesin-1 regulation. Subsequent biochemical examination revealed that kinesin-1, when not phosphorylated on JNK site, exhibits much higher affinity toward MTs. Expression of the JNK non-phosphorable kinesin-1 mutant in intact cells as well as in vitro single molecule imaging using total internal reflection fluorescence microscopy indicated that the mutant loses normal speed and is not able to move processively into proper cellular compartments. We identify novel kinesin-1 cargo protein STMN2/SCG10, which along with known kinesin-1 cargo BDNF is showing impaired trafficking when JNK activity is inhibited. Our data postulates that constitutive JNK activity in neurons is crucial for unperturbed physiologically relevant transport of kinesin-1 dependant cargo. Additionally, my work helps to validate another novel physiological JNK1 effector STMN2/SCG10 as determinant of axodendritic neurites dynamics in the developing brain through regulation of MT turnover. We show successively that this increased MT dynamics is crucial during developmental radial migration when brain layering occurs. Successively, we are able to show that introduction of JNK phosphorylation mimicking STMN2/SCG10 S62/73D mutant rescues completely JNK1 genetic deletion migration phenotype. We prove that STMN2/SCG10 is predominant JNK effector responsible for MT depolymerising activity and neurite length during brain development. Summarizing, this work describes identification of three novel JNK substrates MARCKSL1, kinesin-1 and STMN2/SCG10 and investigation of their roles in cytoskeleton dynamics and cargo transport. This data is of high importance to understand physiological meaning of JNK activity, which might have an adverse effect during pharmaceutical intervention aiming at blocking pathological JNK action.