<?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-00424024v1</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-10T17:41:26+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Fixed-point tile sets and their applications</title>
            <author role="aut">
              <persName>
                <forename type="first">Bruno</forename>
                <surname>Durand</surname>
              </persName>
              <email type="md5">499127e720c612133862e19b6b05e687</email>
              <email type="domain">lif.univ-mrs.fr</email>
              <idno type="idhal" notation="numeric">1050434</idno>
              <idno type="halauthorid" notation="string">187464-1050434</idno>
              <affiliation ref="#struct-862"/>
            </author>
            <author role="crp">
              <persName>
                <forename type="first">Andrei</forename>
                <surname>Romashchenko</surname>
              </persName>
              <email type="md5">98c085f266726e07926c57354c375025</email>
              <email type="domain">ens-lyon.fr</email>
              <idno type="idhal" notation="string">andrei-romashchenko</idno>
              <idno type="idhal" notation="numeric">81</idno>
              <idno type="halauthorid" notation="string">17831-81</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/H-7456-2012</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7723-7880</idno>
              <idno type="IDREF">https://www.idref.fr/165481277</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/H-7456-2012</idno>
              <idno type="ARXIV">https://arxiv.org/a/romashchenko_a_1</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=WmvoaNcAAAAJ</idno>
              <affiliation ref="#struct-862"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Alexander</forename>
                <surname>Shen</surname>
              </persName>
              <email type="md5">329ba6bbfafe98e31b12df1f8d40f4dc</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">alexander-shen</idno>
              <idno type="idhal" notation="numeric">12768</idno>
              <idno type="halauthorid" notation="string">27802-12768</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-8605-7734</idno>
              <idno type="IDREF">https://www.idref.fr/074188569</idno>
              <affiliation ref="#struct-862"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Andrei</forename>
                <surname>Romashchenko</surname>
              </persName>
              <email type="md5">c9d66f0c0575e76e5dafc4426f2e8a30</email>
              <email type="domain">gmail.com</email>
            </editor>
            <funder ref="#projanr-30198"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2009-10-13 17:15:29</date>
              <date type="whenWritten">2009-10-13</date>
              <date type="whenModified">2023-03-24 14:52:52</date>
              <date type="whenReleased">2009-10-13 17:17:28</date>
              <date type="whenProduced">2009-10-13</date>
              <date type="whenEndEmbargoed">2009-10-13</date>
              <ref type="file" target="https://hal.science/hal-00424024v1/document">
                <date notBefore="2009-10-13"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00424024v1/file/long.pdf" id="file-424024-189110">
                <date notBefore="2009-10-13"/>
              </ref>
              <ref type="externalLink" target="http://arxiv.org/pdf/0910.2415"/>
            </edition>
            <edition n="v2">
              <date type="whenSubmitted">2009-10-13 17:51:30</date>
            </edition>
            <edition n="v3">
              <date type="whenSubmitted">2009-10-14 08:34:50</date>
            </edition>
            <edition n="v4">
              <date type="whenSubmitted">2010-01-13 15:01:12</date>
            </edition>
            <edition n="v5">
              <date type="whenSubmitted">2010-09-17 16:12:51</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="125894">
                <persName>
                  <forename>Andrei</forename>
                  <surname>Romashchenko</surname>
                </persName>
                <email type="md5">c9d66f0c0575e76e5dafc4426f2e8a30</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00424024</idno>
            <idno type="halUri">https://hal.science/hal-00424024</idno>
            <idno type="halBibtex">durand:hal-00424024</idno>
            <idno type="halRefHtml">2009</idno>
            <idno type="halRef">2009</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-424024-189110"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt/>
          <notesStmt>
            <note type="commentary">Long version of both conference results of DLT 2008 and ICALP 2009</note>
            <note type="audience" n="1">Not set</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Fixed-point tile sets and their applications</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Bruno</forename>
                    <surname>Durand</surname>
                  </persName>
                  <email type="md5">499127e720c612133862e19b6b05e687</email>
                  <email type="domain">lif.univ-mrs.fr</email>
                  <idno type="idhal" notation="numeric">1050434</idno>
                  <idno type="halauthorid" notation="string">187464-1050434</idno>
                  <affiliation ref="#struct-862"/>
                </author>
                <author role="crp">
                  <persName>
                    <forename type="first">Andrei</forename>
                    <surname>Romashchenko</surname>
                  </persName>
                  <email type="md5">98c085f266726e07926c57354c375025</email>
                  <email type="domain">ens-lyon.fr</email>
                  <idno type="idhal" notation="string">andrei-romashchenko</idno>
                  <idno type="idhal" notation="numeric">81</idno>
                  <idno type="halauthorid" notation="string">17831-81</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/H-7456-2012</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7723-7880</idno>
                  <idno type="IDREF">https://www.idref.fr/165481277</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/H-7456-2012</idno>
                  <idno type="ARXIV">https://arxiv.org/a/romashchenko_a_1</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=WmvoaNcAAAAJ</idno>
                  <affiliation ref="#struct-862"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Alexander</forename>
                    <surname>Shen</surname>
                  </persName>
                  <email type="md5">329ba6bbfafe98e31b12df1f8d40f4dc</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">alexander-shen</idno>
                  <idno type="idhal" notation="numeric">12768</idno>
                  <idno type="halauthorid" notation="string">27802-12768</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-8605-7734</idno>
                  <idno type="IDREF">https://www.idref.fr/074188569</idno>
                  <affiliation ref="#struct-862"/>
                </author>
              </analytic>
              <monogr>
                <imprint/>
              </monogr>
              <idno type="arxiv">0910.2415</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Aperiodic tilings</term>
                <term xml:lang="en">fixed-point</term>
                <term xml:lang="en">self-similarity</term>
                <term xml:lang="en">error correction</term>
                <term xml:lang="en">Kolmogorov complexity</term>
              </keywords>
              <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="halDomain" n="math.math-lo">Mathematics [math]/Logic [math.LO]</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 aperiodic tile set was first constructed by R. Berger while proving the undecidability of the domino problem. It turned out that aperiodic tile sets appear in many topics ranging from logic (the Entscheidungsproblem) to physics (quasicrystals). We present a new construction of an aperiodic tile set that is based on Kleene's fixed-point construction instead of geometric arguments. This construction is similar to J. von Neumann self-reproducing automata; similar ideas were also used by P. Gacs in the context of error-correcting computations. This construction it rather flexible, so it can be used in many ways: we show how it can be used to implement substitution rules, to construct strongly aperiodic tile sets (any tiling is far from any periodic tiling), to give a new proof for the undecidability of the domino problem and related results, characterize effectively closed 1D subshift it terms of 2D shifts of finite type (improvement of a result by M. Hochman), to construct a tile set which has only complex tilings, and to construct a “robust” aperiodic tile set that does not have periodic (or close to periodic) tilings even if we allow some (sparse enough) tiling errors. For the latter we develop a hierarchical classification of points in random sets into islands of different ranks. Finally, we combine and modify our tools to prove our main result: there exists a tile set such that all tilings have high Kolmogorov complexity even if (sparse enough) tiling errors are allowed.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-862" status="OLD">
          <idno type="RNSR">200212226K</idno>
          <orgName>Laboratoire d'informatique Fondamentale de Marseille - UMR 6166</orgName>
          <orgName type="acronym">LIF</orgName>
          <date type="start">2002</date>
          <date type="end">2011</date>
          <desc>
            <address>
              <addrLine>CMI 39, Rue Joliot Curie 13453 MARSEILLE CEDEX 13</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lif.univ-mrs.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-5033" type="direct"/>
            <relation active="#struct-92823" type="direct"/>
            <relation name="UMR6166" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-5033" status="OLD">
          <idno type="IdRef">026402882</idno>
          <orgName>Université de la Méditerranée - Aix-Marseille 2</orgName>
          <date type="start">1969</date>
          <date type="end">2011</date>
          <desc>
            <address>
              <addrLine>58, boulevard Charles Livon - 13284 Marseille cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univmed.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-92823" status="OLD">
          <idno type="IdRef">026403781</idno>
          <orgName>Université de Provence - Aix-Marseille 1</orgName>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <addrLine>3, place Victor Hugo - 13331 Marseille Cedex 03</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-provence.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>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-30198" status="VALID">
          <idno type="anr">ANR-08-EMER-0008</idno>
          <idno type="program">domaines émergent</idno>
          <orgName>NAFIT</orgName>
          <desc>Nouvelles formes algorithmiques de la théorie de l'information</desc>
          <date type="start">2008</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>