<?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-04894048</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-16T12:09:42+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Rank-decreasing transductions</title>
            <author role="aut">
              <persName>
                <forename type="first">Mikołaj</forename>
                <surname>Bojańczyk</surname>
              </persName>
              <idno type="idhal" notation="numeric">1397654</idno>
              <idno type="halauthorid" notation="string">781055-1397654</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-7758-1072</idno>
              <affiliation ref="#struct-87510"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Pierre</forename>
                <surname>Ohlmann</surname>
              </persName>
              <email type="md5">68dcee93a8aebb2bd4d64627dd6c693c</email>
              <email type="domain">lis-lab.fr</email>
              <idno type="idhal" notation="numeric">1492046</idno>
              <idno type="halauthorid" notation="string">1737375-1492046</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4685-5253</idno>
              <affiliation ref="#struct-530003"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Pierre</forename>
                <surname>Ohlmann</surname>
              </persName>
              <email type="md5">48b9471758cba1a1d190362bf3cab7f1</email>
              <email type="domain">irif.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2025-01-20 17:29:18</date>
              <date type="whenModified">2026-04-22 09:38:00</date>
              <date type="whenReleased">2025-03-05 11:01:34</date>
              <date type="whenProduced">2024</date>
              <date type="whenEndEmbargoed">2025-01-17</date>
              <ref type="file" target="https://amu.hal.science/hal-04894048v1/document">
                <date notBefore="2025-01-17"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://amu.hal.science/hal-04894048v1/file/2401.13328v1.pdf" id="file-4894048-4314620">
                <date notBefore="2025-01-17"/>
              </ref>
              <ref type="externalLink" target="http://arxiv.org/pdf/2401.13328"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="972877">
                <persName>
                  <forename>Pierre</forename>
                  <surname>Ohlmann</surname>
                </persName>
                <email type="md5">48b9471758cba1a1d190362bf3cab7f1</email>
                <email type="domain">irif.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-04894048</idno>
            <idno type="halUri">https://amu.hal.science/hal-04894048</idno>
            <idno type="halBibtex">bojaczyk:hal-04894048</idno>
            <idno type="halRefHtml">&lt;i&gt;LICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science&lt;/i&gt;, 2024, Tallinn, Estonia. pp.1-13, &lt;a target="_blank" href="https://dx.doi.org/10.1145/3661814.3662083"&gt;&amp;#x27E8;10.1145/3661814.3662083&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">LICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024, Tallinn, Estonia. pp.1-13, &amp;#x27E8;10.1145/3661814.3662083&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-4894048-4314620"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-TLN">Université de Toulon</idno>
            <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="LIS-LAB">Laboratoire d'Informatique et Systèmes</idno>
            <idno type="stamp" n="MOVE" corresp="LIS-LAB">MOVE Modélisation et Vérification - LIS Laboratoire d'Informatique et Systèmes de Marseille (UMR 7020)</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Rank-decreasing transductions</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Mikołaj</forename>
                    <surname>Bojańczyk</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">1397654</idno>
                  <idno type="halauthorid" notation="string">781055-1397654</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-7758-1072</idno>
                  <affiliation ref="#struct-87510"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Pierre</forename>
                    <surname>Ohlmann</surname>
                  </persName>
                  <email type="md5">68dcee93a8aebb2bd4d64627dd6c693c</email>
                  <email type="domain">lis-lab.fr</email>
                  <idno type="idhal" notation="numeric">1492046</idno>
                  <idno type="halauthorid" notation="string">1737375-1492046</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4685-5253</idno>
                  <affiliation ref="#struct-530003"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science</title>
                <meeting>
                  <title>LICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science</title>
                  <date type="start">2024</date>
                  <settlement>Tallinn</settlement>
                  <country key="EE">Estonia</country>
                </meeting>
                <imprint>
                  <publisher>ACM</publisher>
                  <biblScope unit="pp">1-13</biblScope>
                  <date type="datePub">2024-01-24</date>
                </imprint>
              </monogr>
              <idno type="arxiv">2401.13328</idno>
              <idno type="doi">10.1145/3661814.3662083</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">monadic second-order logic</term>
                <term xml:lang="en">transductions</term>
                <term xml:lang="en">Cut-rank</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We propose to study transformations on graphs, and more generally structures, by looking at how the cut-rank (as introduced by Oum) of subsets is affected when going from the input structure to the output structure. We consider transformations in which the underlying sets are the same for both the input and output, and so the cut-ranks of subsets can be easily compared. The purpose of this paper is to give a characterisation of logically defined transductions that is expressed in purely structural terms, without referring to logic: transformations which decrease the cut-rank, in the asymptotic sense, are exactly those that can be defined in monadic second-order logic. This characterisation assumes that the transduction has inputs of bounded treewidth; we also show that the characterisation fails in the absence of any assumptions.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="regrouplaboratory" xml:id="struct-87510" status="VALID">
          <orgName>Faculty of Mathematics, Informatics, and Mechanics [Warsaw]</orgName>
          <orgName type="acronym">MIMUW</orgName>
          <desc>
            <address>
              <addrLine>Banacha 2, 02-097 Warsaw</addrLine>
              <country key="PL"/>
            </address>
            <ref type="url">http://www.mimuw.edu.pl/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-531382" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-530003" status="VALID">
          <orgName>Modélisation et Vérification</orgName>
          <orgName type="acronym">MOVE</orgName>
          <desc>
            <address>
              <addrLine>Luminy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lis-lab.fr/recherche/calcul/move</ref>
          </desc>
          <listRelation>
            <relation active="#struct-527033" type="direct"/>
            <relation name="UMR7020" active="#struct-198056" type="indirect"/>
            <relation name="UMR7020" active="#struct-303091" type="indirect"/>
            <relation name="UMR7020" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-531382" status="VALID">
          <idno type="IdRef">026414554</idno>
          <idno type="ISNI">0000000419371290</idno>
          <idno type="ROR">https://ror.org/039bjqg32</idno>
          <idno type="Wikidata">Q144488</idno>
          <orgName>Uniwersytet Warszawski  [Polska] = University of Warsaw [Poland] = Université de Varsovie [Pologne]</orgName>
          <orgName type="acronym">UW</orgName>
          <date type="start">1816-01-01</date>
          <desc>
            <address>
              <addrLine>Krakowskie Przedmieście 26/28 – 00-927 – Warszawa – Pologne</addrLine>
              <country key="PL"/>
            </address>
            <ref type="url">https://www.uw.edu.pl/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-527033" status="VALID">
          <idno type="IdRef">234768002</idno>
          <idno type="RNSR">201822714R</idno>
          <idno type="ROR">https://ror.org/0257sgk90</idno>
          <idno type="Wikidata">Q52605252</idno>
          <orgName>Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon)</orgName>
          <orgName type="acronym">LIS</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>Aix Marseille Université – Campus de Saint Jérôme – Bat. Polytech, 52 Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lis-lab.fr</ref>
          </desc>
          <listRelation>
            <relation name="UMR7020" active="#struct-198056" type="direct"/>
            <relation name="UMR7020" active="#struct-303091" type="direct"/>
            <relation name="UMR7020" 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-303091" status="VALID">
          <idno type="IdRef">031122337</idno>
          <idno type="ROR">https://ror.org/02m9kbe37</idno>
          <orgName>Université de Toulon</orgName>
          <orgName type="acronym">UTLN</orgName>
          <desc>
            <address>
              <addrLine>Avenue de l'Université - BP 20132 - 83957 La Garde Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tln.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>