<?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-03740320v2</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-19T12:37:17+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">High-order lifting for polynomial Sylvester matrices</title>
            <author role="aut">
              <persName>
                <forename type="first">Clément</forename>
                <surname>Pernet</surname>
              </persName>
              <email type="md5">aa943734847caa42200ff2a5cc363d39</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
              <idno type="idhal" notation="string">cpernet</idno>
              <idno type="idhal" notation="numeric">6305</idno>
              <idno type="halauthorid" notation="string">43309-6305</idno>
              <idno type="IDREF">https://www.idref.fr/111757991</idno>
              <affiliation ref="#struct-1043082"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Hippolyte</forename>
                <surname>Signargout</surname>
              </persName>
              <idno type="halauthorid">1275297-0</idno>
              <affiliation ref="#struct-35418"/>
              <affiliation ref="#struct-1043082"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Gilles</forename>
                <surname>Villard</surname>
              </persName>
              <email type="md5">685346eed33ebbbc5515322e3cff0d0c</email>
              <email type="domain">ens-lyon.fr</email>
              <idno type="idhal" notation="numeric">1292387</idno>
              <idno type="halauthorid" notation="string">105320-1292387</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1936-7155</idno>
              <idno type="IDREF">https://www.idref.fr/034243232</idno>
              <idno type="VIAF">https://viaf.org/viaf/221788984</idno>
              <idno type="ISNI">http://isni.org/isni/0000000361835928</idno>
              <affiliation ref="#struct-441569"/>
              <affiliation ref="#struct-35418"/>
              <affiliation ref="#struct-1096086"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Gilles</forename>
                <surname>Villard</surname>
              </persName>
              <email type="md5">1e5b651b9d51dffe2e6e98eafa8fa180</email>
              <email type="domain">cnrs.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2022-07-29 11:43:17</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2022-10-07 15:05:20</date>
              <date type="whenModified">2025-10-24 17:40:11</date>
              <date type="whenReleased">2022-10-11 14:58:50</date>
              <date type="whenProduced">2022-10-07</date>
              <date type="whenEndEmbargoed">2022-10-07</date>
              <ref type="file" target="https://hal.science/hal-03740320v2/document">
                <date notBefore="2022-10-07"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-03740320v2/file/resultant.pdf" id="file-3805893-3325869">
                <date notBefore="2022-10-07"/>
              </ref>
            </edition>
            <edition n="v3">
              <date type="whenSubmitted">2023-10-05 11:01:49</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="102342">
                <persName>
                  <forename>Gilles</forename>
                  <surname>Villard</surname>
                </persName>
                <email type="md5">1e5b651b9d51dffe2e6e98eafa8fa180</email>
                <email type="domain">cnrs.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03740320</idno>
            <idno type="halUri">https://hal.science/hal-03740320</idno>
            <idno type="halBibtex">pernet:hal-03740320</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-3805893-3325869"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt/>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">High-order lifting for polynomial Sylvester matrices</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Clément</forename>
                    <surname>Pernet</surname>
                  </persName>
                  <email type="md5">aa943734847caa42200ff2a5cc363d39</email>
                  <email type="domain">univ-grenoble-alpes.fr</email>
                  <idno type="idhal" notation="string">cpernet</idno>
                  <idno type="idhal" notation="numeric">6305</idno>
                  <idno type="halauthorid" notation="string">43309-6305</idno>
                  <idno type="IDREF">https://www.idref.fr/111757991</idno>
                  <affiliation ref="#struct-1043082"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Hippolyte</forename>
                    <surname>Signargout</surname>
                  </persName>
                  <idno type="halauthorid">1275297-0</idno>
                  <affiliation ref="#struct-35418"/>
                  <affiliation ref="#struct-1043082"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Gilles</forename>
                    <surname>Villard</surname>
                  </persName>
                  <email type="md5">685346eed33ebbbc5515322e3cff0d0c</email>
                  <email type="domain">ens-lyon.fr</email>
                  <idno type="idhal" notation="numeric">1292387</idno>
                  <idno type="halauthorid" notation="string">105320-1292387</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1936-7155</idno>
                  <idno type="IDREF">https://www.idref.fr/034243232</idno>
                  <idno type="VIAF">https://viaf.org/viaf/221788984</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000361835928</idno>
                  <affiliation ref="#struct-441569"/>
                  <affiliation ref="#struct-35418"/>
                  <affiliation ref="#struct-1096086"/>
                </author>
              </analytic>
              <monogr>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">complexity</term>
                <term xml:lang="en">algorithm</term>
                <term xml:lang="en">computer algebra</term>
                <term xml:lang="en">resultant</term>
                <term xml:lang="en">polynomial structured matrix</term>
                <term xml:lang="en">displacement rank</term>
              </keywords>
              <classCode scheme="halDomain" n="scco.comp">Cognitive science/Computer science</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>A new algorithm is presented for computing the resultant of two "sufficiently generic" bivariate polynomials over an arbitrary field. For such p and q in K[x, y] of degree d in x and n in y, the resultant with respect to y is computed using O(n^(1.458)d) arithmetic operations as long as d = O(n^(1/3)). For d = 1, the complexity estimate is therefore essentially reconciled with the best known estimates of Neiger et al. 2021 for the related problems of modular composition and characteristic polynomial in a univariate quotient algebra. This further allows to cross the 3/2 barrier in the exponent of n for the first time in the case of the resultant. More generally, our algorithm improves on best previous algebraic ones as long as d = O(n^(0.47)). The resultant is the determinant of the associated univariate polynomial Sylvester matrix of degree d, the problem is therefore intimately related to that of computing determinants of structured polynomial matrices. We first identify new advanced aspects of structure specific to the polynomial Sylvester matrix. Thanks to this, our contribution is to compute the determinant by successfully mixing the block baby steps/giant steps approach of Kaltofen and Villard 2005, until then restricted to the case d = 1 for characteristic polynomials, and the high-order lifting strategy of Storjohann 2003 usually reserved for dense polynomial matrices.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-1043082" status="VALID">
          <orgName>Calcul Algébrique et Symbolique, Sécurité, Systèmes Complexes, Codes et Cryptologie</orgName>
          <orgName type="acronym">CASC</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://ljk.imag.fr/CASC/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1043077" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="UMR5224" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1042703" type="indirect"/>
            <relation active="#struct-1043329" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-35418" status="VALID">
          <idno type="IdRef">191041289</idno>
          <idno type="ISNI">0000000104538607</idno>
          <idno type="RNSR">200317503S</idno>
          <idno type="ROR">04msnz457</idno>
          <orgName>Laboratoire de l'Informatique du Parallélisme</orgName>
          <orgName type="acronym">LIP</orgName>
          <date type="start">1990-01-01</date>
          <desc>
            <address>
              <addrLine>46 Allée d'Italie 69364 LYON CEDEX 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-lyon.fr/LIP/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-6818" type="direct"/>
            <relation active="#struct-301088" type="direct"/>
            <relation active="#struct-194495" type="direct"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR5668 / URA1398" active="#struct-441569" type="direct"/>
          </listRelation>
        </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>
        <org type="researchteam" xml:id="struct-1096086" status="OLD">
          <idno type="RNSR">201221021B</idno>
          <idno type="ROR">https://ror.org/0282csf50</idno>
          <orgName>Arithmétiques des ordinateurs, méthodes formelles, génération de code</orgName>
          <orgName type="acronym">ARIC</orgName>
          <date type="start">2022-01-01</date>
          <date type="end">2025-01-31</date>
          <desc>
            <address>
              <addrLine>46 Allée d'Italie 69364 Lyon France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inria.fr/equipes/aric</ref>
          </desc>
          <listRelation>
            <relation active="#struct-35418" type="direct"/>
            <relation active="#struct-6818" type="indirect"/>
            <relation active="#struct-301088" type="indirect"/>
            <relation active="#struct-194495" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="UMR5668 / URA1398" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1096051" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1043077" status="VALID">
          <idno type="IdRef">184945011</idno>
          <idno type="ISNI">0000 0004 0383 676X</idno>
          <idno type="RNSR">200711891Z</idno>
          <idno type="ROR">https://ror.org/04ett5b41</idno>
          <orgName>Laboratoire Jean Kuntzmann</orgName>
          <orgName type="acronym">LJK</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Bâtiment IMAG, CS 40700, F-38058 Grenoble Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://ljk.imag.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR5224" active="#struct-441569" type="direct"/>
            <relation active="#struct-1042703" type="direct"/>
            <relation active="#struct-1043329" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-1042703" status="VALID">
          <idno type="IdRef">240648315</idno>
          <idno type="ROR">https://ror.org/02rx3b187</idno>
          <orgName>Université Grenoble Alpes</orgName>
          <orgName type="acronym">UGA</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Adresse CS 40700 - 38058 Grenoble cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-grenoble-alpes.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-1043329" status="VALID">
          <idno type="IdRef">026388804</idno>
          <idno type="ROR">https://ror.org/05sbt2524</idno>
          <orgName>Institut polytechnique de Grenoble - Grenoble Institute of Technology</orgName>
          <orgName type="acronym">Grenoble INP</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.grenoble-inp.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1042703" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-6818" status="VALID">
          <idno type="IdRef">149154992</idno>
          <idno type="ISNI">0000000123319856</idno>
          <idno type="ROR">https://ror.org/04zmssz18</idno>
          <idno type="Wikidata">Q10159</idno>
          <orgName>École normale supérieure de Lyon</orgName>
          <orgName type="acronym">ENS de Lyon</orgName>
          <date type="start">2010-01-01</date>
          <desc>
            <address>
              <addrLine>15 parvis René Descartes - BP 7000 - 69342 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ens-lyon.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301088" status="VALID">
          <idno type="ROR">https://ror.org/01rk35k63</idno>
          <orgName>Université de Lyon</orgName>
          <desc>
            <address>
              <addrLine>92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-lyon.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-194495" status="VALID">
          <idno type="IdRef">026402823</idno>
          <idno type="ISNI">0000000121686185</idno>
          <idno type="ROR">https://ror.org/029brtt94</idno>
          <orgName>Université Claude Bernard Lyon 1</orgName>
          <orgName type="acronym">UCBL</orgName>
          <desc>
            <address>
              <addrLine>43, boulevard du 11 novembre 1918, 69622 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lyon1.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1096051" status="VALID">
          <idno type="RNSR">202224236C</idno>
          <idno type="ROR">https://ror.org/022gakr41</idno>
          <orgName>Centre Inria de Lyon</orgName>
          <desc>
            <address>
              <addrLine>Inria de Lyon / Bâtiment CEI-2 / Campus La Doua - Villeurbanne / 56, Boulevard Niels Bohr / CS 52132 / 69 603 Villeurbanne</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inria.fr/fr/centre-inria-de-lyon</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>