<?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-02935550v1</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-25T16:59:28+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Guessing Gröbner Bases of Structured Ideals of Relations of Sequences</title>
            <author role="aut">
              <persName>
                <forename type="first">Jérémy</forename>
                <surname>Berthomieu</surname>
              </persName>
              <email type="md5">09bd81d4ebd85c4d234adfe6aec507b4</email>
              <email type="domain">lix.polytechnique.fr</email>
              <idno type="idhal" notation="string">jeremy-berthomieu</idno>
              <idno type="idhal" notation="numeric">3844</idno>
              <idno type="halauthorid" notation="string">18640-3844</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-9011-2211</idno>
              <idno type="IDREF">https://www.idref.fr/163559457</idno>
              <orgName ref="#struct-93591"/>
              <affiliation ref="#struct-1060652"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mohab</forename>
                <surname>Safey El Din</surname>
              </persName>
              <email type="md5">0f084a5d7df61511bbd70db6ea16179c</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">safey</idno>
              <idno type="idhal" notation="numeric">731</idno>
              <idno type="halauthorid" notation="string">2144-731</idno>
              <idno type="IDREF">https://www.idref.fr/180664549</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/CPK-3689-2022</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-9463-1257</idno>
              <idno type="VIAF">https://viaf.org/viaf/313567630</idno>
              <affiliation ref="#struct-1060652"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Jérémy</forename>
                <surname>Berthomieu</surname>
              </persName>
              <email type="md5">ae9490a9b9ff687e2c554fa60f2022fc</email>
              <email type="domain">lip6.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2020-09-10 14:23:45</date>
              <date type="whenWritten">2020-09-10</date>
              <date type="whenModified">2023-10-07 21:36:25</date>
              <date type="whenReleased">2020-09-11 08:23:37</date>
              <date type="whenProduced">2020-09-10</date>
              <date type="whenEndEmbargoed">2020-09-10</date>
              <ref type="file" target="https://hal.sorbonne-universite.fr/hal-02935550v1/document">
                <date notBefore="2020-09-10"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.sorbonne-universite.fr/hal-02935550v1/file/main.pdf" id="file-2935550-2585015">
                <date notBefore="2020-09-10"/>
              </ref>
              <ref type="externalLink" target="http://arxiv.org/pdf/2009.05248"/>
            </edition>
            <edition n="v2">
              <date type="whenSubmitted">2021-11-18 00:49:09</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="151812">
                <persName>
                  <forename>Jérémy</forename>
                  <surname>Berthomieu</surname>
                </persName>
                <email type="md5">ae9490a9b9ff687e2c554fa60f2022fc</email>
                <email type="domain">lip6.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02935550</idno>
            <idno type="halUri">https://hal.sorbonne-universite.fr/hal-02935550</idno>
            <idno type="halBibtex">berthomieu:hal-02935550</idno>
            <idno type="halRefHtml">2020</idno>
            <idno type="halRef">2020</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2935550-2585015"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt/>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Guessing Gröbner Bases of Structured Ideals of Relations of Sequences</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Jérémy</forename>
                    <surname>Berthomieu</surname>
                  </persName>
                  <email type="md5">09bd81d4ebd85c4d234adfe6aec507b4</email>
                  <email type="domain">lix.polytechnique.fr</email>
                  <idno type="idhal" notation="string">jeremy-berthomieu</idno>
                  <idno type="idhal" notation="numeric">3844</idno>
                  <idno type="halauthorid" notation="string">18640-3844</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-9011-2211</idno>
                  <idno type="IDREF">https://www.idref.fr/163559457</idno>
                  <orgName ref="#struct-93591"/>
                  <affiliation ref="#struct-1060652"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mohab</forename>
                    <surname>Safey El Din</surname>
                  </persName>
                  <email type="md5">0f084a5d7df61511bbd70db6ea16179c</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">safey</idno>
                  <idno type="idhal" notation="numeric">731</idno>
                  <idno type="halauthorid" notation="string">2144-731</idno>
                  <idno type="IDREF">https://www.idref.fr/180664549</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/CPK-3689-2022</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-9463-1257</idno>
                  <idno type="VIAF">https://viaf.org/viaf/313567630</idno>
                  <affiliation ref="#struct-1060652"/>
                </author>
              </analytic>
              <monogr>
                <imprint/>
              </monogr>
              <idno type="arxiv">2009.05248</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Linear recurrence relations</term>
                <term xml:lang="en">Gröbner bases</term>
                <term xml:lang="en">Symmetries</term>
                <term xml:lang="en">Change of orderings</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-sc">Computer Science [cs]/Symbolic Computation [cs.SC]</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>Assuming sufficiently many terms of a n-dimensional table defined over a field are given, we aim at guessing the linear recurrence relations with either constant or polynomial coefficients they satisfy. In many applications, the table terms come along with a structure: for instance, they may be zero outside of a cone, they may be built from a Gröbner basis of an ideal invariant under the action of a finite group. Thus, we show how to take advantage of this structure to both reduce the number of table queries and the number of operations in the base field to recover the ideal of relations of the table. In applications like in combinatorics, where all these zero terms make us guess many fake relations, this allows us to drastically reduce these wrong guesses. These algorithms have been implemented and, experimentally, they let us handle examples that we could not manage otherwise. Furthermore, we show which kind of cone and lattice structures are preserved by skew polynomial multiplication. This allows us to speed up the guessing of linear recurrence relations with polynomial coefficients by computing sparse Gröbner bases or Gröbner bases of an ideal invariant under the action of a finite group in a ring of skew polynomials.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-1060652" status="VALID">
          <orgName>Polynomial Systems</orgName>
          <orgName type="acronym">PolSys</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lip6.fr/recherche/team.php?acronyme=PolSys</ref>
          </desc>
          <listRelation>
            <relation active="#struct-541703" type="direct"/>
            <relation active="#struct-413221" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-541703" status="VALID">
          <idno type="IdRef">13558292X</idno>
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>LIP6</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-413221" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-413221" status="VALID">
          <idno type="IdRef">221333754</idno>
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Sorbonne Université</orgName>
          <orgName type="acronym">SU</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>21 rue de l’École de médecine - 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sorbonne-universite.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>