<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-03779748v2</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-04T09:26:02+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Intrinsic Simulations and Universality in Automata Networks</title>
            <author role="aut">
              <persName>
                <forename type="first">Martín</forename>
                <surname>Ríos-Wilson</surname>
              </persName>
              <email type="md5">8e763fbaa8fa569dfdf1bc8cd4516253</email>
              <email type="domain">dim.uchile.cl</email>
              <idno type="idhal" notation="numeric">1055816</idno>
              <idno type="halauthorid" notation="string">1669421-1055816</idno>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Guillaume</forename>
                <surname>Theyssier</surname>
              </persName>
              <email type="md5">b66f30726bf4a260c754b0d811096989</email>
              <email type="domain">cnrs.fr</email>
              <idno type="idhal" notation="string">guillaume-theyssier</idno>
              <idno type="idhal" notation="numeric">3512</idno>
              <idno type="halauthorid" notation="string">19113-3512</idno>
              <idno type="IDREF">https://www.idref.fr/104498641</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1944-4915</idno>
              <affiliation ref="#struct-241321"/>
              <affiliation ref="#struct-241321"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Guillaume</forename>
                <surname>Theyssier</surname>
              </persName>
              <email type="md5">b66f30726bf4a260c754b0d811096989</email>
              <email type="domain">cnrs.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2022-09-19 11:19:49</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2022-09-20 10:34:14</date>
              <date type="whenModified">2024-05-03 14:41:24</date>
              <date type="whenReleased">2022-09-21 10:46:24</date>
              <date type="whenProduced">2022-09-20</date>
              <date type="whenEndEmbargoed">2022-09-20</date>
              <ref type="file" target="https://hal.science/hal-03779748v2/document">
                <date notBefore="2022-09-20"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-03779748v2/file/paper.pdf" id="file-3781180-3307788">
                <date notBefore="2022-09-20"/>
              </ref>
              <ref type="externalLink" target="http://arxiv.org/pdf/2209.09527"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="110386">
                <persName>
                  <forename>Guillaume</forename>
                  <surname>Theyssier</surname>
                </persName>
                <email type="md5">b66f30726bf4a260c754b0d811096989</email>
                <email type="domain">cnrs.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03779748</idno>
            <idno type="halUri">https://hal.science/hal-03779748</idno>
            <idno type="halBibtex">rioswilson:hal-03779748</idno>
            <idno type="halRefHtml">2022</idno>
            <idno type="halRef">2022</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3781180-3307788"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-AMU">Aix Marseille Université</idno>
            <idno type="stamp" n="EC-MARSEILLE">Ecole Centrale de Marseille</idno>
            <idno type="stamp" n="INSMI">CNRS-INSMI - INstitut des Sciences Mathématiques et de leurs Interactions</idno>
            <idno type="stamp" n="I2M">Institut de Mathématiques de Marseille</idno>
            <idno type="stamp" n="I2M-2014-" corresp="I2M">Institut de Mathématiques de Marseille 2014-</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Intrinsic Simulations and Universality in Automata Networks</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Martín</forename>
                    <surname>Ríos-Wilson</surname>
                  </persName>
                  <email type="md5">8e763fbaa8fa569dfdf1bc8cd4516253</email>
                  <email type="domain">dim.uchile.cl</email>
                  <idno type="idhal" notation="numeric">1055816</idno>
                  <idno type="halauthorid" notation="string">1669421-1055816</idno>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Guillaume</forename>
                    <surname>Theyssier</surname>
                  </persName>
                  <email type="md5">b66f30726bf4a260c754b0d811096989</email>
                  <email type="domain">cnrs.fr</email>
                  <idno type="idhal" notation="string">guillaume-theyssier</idno>
                  <idno type="idhal" notation="numeric">3512</idno>
                  <idno type="halauthorid" notation="string">19113-3512</idno>
                  <idno type="IDREF">https://www.idref.fr/104498641</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1944-4915</idno>
                  <affiliation ref="#struct-241321"/>
                  <affiliation ref="#struct-241321"/>
                </author>
              </analytic>
              <monogr>
                <imprint/>
              </monogr>
              <idno type="arxiv">2209.09527</idno>
              <relatedItem target="https://hal.science/hal-04199842v2" type="IsOriginalFormOf" subtype="http://purl.org/coar/resource_type/c_6501"/>
              <relatedItem target="https://hal.science/hal-04199857v2" type="IsOriginalFormOf" subtype="http://purl.org/coar/resource_type/c_6501"/>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-dm">Computer Science [cs]/Discrete Mathematics [cs.DM]</classCode>
              <classCode scheme="halDomain" n="info.info-cc">Computer Science [cs]/Computational Complexity [cs.CC]</classCode>
              <classCode scheme="halDomain" n="math.math-ds">Mathematics [math]/Dynamical Systems [math.DS]</classCode>
              <classCode scheme="halTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halOldTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halTreeTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>An automata network (AN) is a finite graph where each node holds a state from a finite alphabet and is equipped with a local map defining the evolution of the state of the node depending on its neighbors. They are studied both from the dynamical and the computational complexity point of view. Inspired from well-established notions in the context of cellular automata, we develop a theory of intrinsic simulations and universality for families of automata networks. We establish many consequences of intrinsic universality in terms of complexity of orbits (periods of attractors, transients, etc) as well as hardness of the standard well-studied decision problems for automata networks (short/long term prediction, reachability, etc). In the way, we prove orthogonality results for these problems: the hardness of a single one does not imply hardness of the others, while intrinsic universality implies hardness of all of them. As a complement, we develop a proof technique to establish intrinsic simulation and universality results which is suitable to deal with families of symmetric networks were connections are non-oriented. It is based on an operation of glueing of networks, which allows to produce complex orbits in large networks from compatible pseudo-orbits in small networks. As an illustration, we give a short proof that the family of networks were each node obeys the rule of the 'game of life' cellular automaton is strongly universal. This formalism and proof technique is also applied in a companion paper devoted to studying the effect of update schedules on intrinsic universality for concrete symmetric families of automata networks.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-241321" status="VALID">
          <idno type="RNSR">201420768T</idno>
          <idno type="ROR">042h2y225</idno>
          <orgName>Institut de Mathématiques de Marseille</orgName>
          <orgName type="acronym">I2M</orgName>
          <date type="start">2014</date>
          <desc>
            <address>
              <addrLine>Centre de Mathématiques et Informatique (CMI)Technopôle Château-Gombert39, rue Frédéric Joliot Curie13453 Marseille Cedex 13</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.i2m.univ-amu.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR7373" active="#struct-198056" type="direct"/>
            <relation name="UMR7373" active="#struct-300415" type="direct"/>
            <relation name="UMR7373" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-198056" status="VALID">
          <idno type="IdRef">15863621X</idno>
          <idno type="ISNI">0000 0001 2176 4817</idno>
          <idno type="ROR">https://ror.org/035xkbk20</idno>
          <orgName>Aix Marseille Université</orgName>
          <orgName type="acronym">AMU</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>Aix-Marseille UniversitéJardins du Pharo58 Boulevard Charles Livon13284 Marseille cedex 7</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-amu.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300415" status="VALID">
          <idno type="ISNI">0000 0004 1762 2703</idno>
          <idno type="ROR">https://ror.org/040baw385</idno>
          <orgName>École Centrale de Marseille</orgName>
          <orgName type="acronym">ECM</orgName>
          <date type="start">2006-09-27</date>
          <desc>
            <address>
              <addrLine>Pôle de l'étoile - Technopole de Château-Gombert - 38 rue Frédéric Joliot-Curie - 13013 Marseille</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.centrale-marseille.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>