<?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-04261244</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-23T05:26:44+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">On the complexity of freezing automata networks of bounded pathwidth</title>
            <author role="aut">
              <persName>
                <forename type="first">Eric</forename>
                <surname>Goles</surname>
              </persName>
              <idno type="halauthorid">513176-0</idno>
              <affiliation ref="#struct-129629"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Pedro</forename>
                <surname>Montealegre</surname>
              </persName>
              <idno type="halauthorid">25496-0</idno>
              <affiliation ref="#struct-301544"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Martín</forename>
                <surname>Ríos-Wilson</surname>
              </persName>
              <idno type="halauthorid">1669421-0</idno>
              <affiliation ref="#struct-301544"/>
            </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"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Guillaume</forename>
                <surname>Theyssier</surname>
              </persName>
              <email type="md5">b66f30726bf4a260c754b0d811096989</email>
              <email type="domain">cnrs.fr</email>
            </editor>
            <funder>Projet STICAmsud 49949RJ – CAMA</funder>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2025-11-10 11:33:58</date>
              <date type="whenModified">2025-11-12 16:16:08</date>
              <date type="whenReleased">2025-11-12 16:16:08</date>
              <date type="whenProduced">2025-11-10</date>
              <date type="whenEndEmbargoed">2025-11-10</date>
              <ref type="file" target="https://hal.science/hal-04261244v1/document">
                <date notBefore="2025-11-10"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-04261244v1/file/paper.pdf" id="file-5356997-4583478">
                <date notBefore="2025-11-10"/>
              </ref>
            </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-04261244</idno>
            <idno type="halUri">https://hal.science/hal-04261244</idno>
            <idno type="halBibtex">goles:hal-04261244</idno>
            <idno type="halRefHtml">2025</idno>
            <idno type="halRef">2025</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-5356997-4583478"/></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>
            <note type="audience" n="2">International</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">On the complexity of freezing automata networks of bounded pathwidth</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Eric</forename>
                    <surname>Goles</surname>
                  </persName>
                  <idno type="halauthorid">513176-0</idno>
                  <affiliation ref="#struct-129629"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Pedro</forename>
                    <surname>Montealegre</surname>
                  </persName>
                  <idno type="halauthorid">25496-0</idno>
                  <affiliation ref="#struct-301544"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Martín</forename>
                    <surname>Ríos-Wilson</surname>
                  </persName>
                  <idno type="halauthorid">1669421-0</idno>
                  <affiliation ref="#struct-301544"/>
                </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"/>
                </author>
              </analytic>
              <monogr>
                <imprint>
                  <biblScope unit="serie">Exploratory Papers of AUTOMATA 2023</biblScope>
                  <date type="datePub">2023-08-30</date>
                </imprint>
              </monogr>
              <idno type="doi">10.5281/zenodo.8276243</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-cc">Computer Science [cs]/Computational Complexity [cs.CC]</classCode>
              <classCode scheme="halDomain" n="info.info-dm">Computer Science [cs]/Discrete Mathematics [cs.DM]</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>Abstract: An automata network is a graph of entities, each holding a state from a finite set and evolving according to a local update rule which depends only on its neighbors in the network's graph. It is freezing if there is an order on the states such that the state evolution of any node is non-decreasing in any orbit. They are commonly used to model epidemic propagation, diffusion phenomena like bootstrap percolation or cristal growth. Previous works have established that, under the hypothesis that the network graph is of bounded treewidth, many problems that can be captured by trace specifications at individual nodes admit efficient algorithms. In this paper we study the even more restricted case of a network of bounded pathwidth and show two hardness results that somehow illustrate the complexity of freezing dynamics under such a strong graph constraint. First, we show that the trace specification checking problem is NL-complete. Second, we show that deciding first order properties of the orbits augmented with a reachability predicate is NP-hard.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-129629" status="VALID">
          <orgName>Facultad de Ingeniería y Ciencias [Santiago]</orgName>
          <desc>
            <address>
              <addrLine>Av. Diagonal Las Torres 2640, Penalolen, Santiago, Chile</addrLine>
              <country key="CL"/>
            </address>
            <ref type="url">http://ingenieria.uchile.cl/inicio</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301544" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-301544" status="VALID">
          <idno type="ROR">https://ror.org/0326knt82</idno>
          <orgName>Universidad Adolfo Ibáñez = University Adolfo Ibañez [Santiago]</orgName>
          <desc>
            <address>
              <addrLine>Diagonal Las Torres 2640, Santiago, Región Metropolitana</addrLine>
              <country key="CL"/>
            </address>
            <ref type="url">http://www.uai.cl/</ref>
          </desc>
        </org>
        <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>