<?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-01990447</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-18T19:03:56+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Semidefinite programming hierarchies for quantum error correction</title>
            <author role="aut">
              <persName>
                <forename type="first">Mario</forename>
                <surname>Berta</surname>
              </persName>
              <idno type="halauthorid">1505008-0</idno>
              <affiliation ref="#struct-465090"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Francesco</forename>
                <surname>Borderi</surname>
              </persName>
              <idno type="halauthorid">1505009-0</idno>
              <affiliation ref="#struct-465090"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Omar</forename>
                <surname>Fawzi</surname>
              </persName>
              <email type="md5">c5f7353a4e3056ada30627bddf1eb76b</email>
              <email type="domain">ens-lyon.fr</email>
              <idno type="idhal" notation="string">omar-fawzi</idno>
              <idno type="idhal" notation="numeric">171774</idno>
              <idno type="halauthorid" notation="string">16907-171774</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-8491-0359</idno>
              <idno type="IDREF">https://www.idref.fr/193611368</idno>
              <affiliation ref="#struct-35418"/>
              <affiliation ref="#struct-544673"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Volkher</forename>
                <surname>Scholz</surname>
              </persName>
              <idno type="halauthorid">1505010-0</idno>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Omar</forename>
                <surname>Fawzi</surname>
              </persName>
              <email type="md5">c5f7353a4e3056ada30627bddf1eb76b</email>
              <email type="domain">ens-lyon.fr</email>
            </editor>
            <funder ref="#projanr-48843"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-01-23 10:13:17</date>
              <date type="whenModified">2025-11-21 08:44:47</date>
              <date type="whenReleased">2019-01-23 10:13:17</date>
              <date type="whenProduced">2019-01-23</date>
              <ref type="externalLink" target="http://arxiv.org/pdf/1810.12197"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="370422">
                <persName>
                  <forename>Omar</forename>
                  <surname>Fawzi</surname>
                </persName>
                <email type="md5">c5f7353a4e3056ada30627bddf1eb76b</email>
                <email type="domain">ens-lyon.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01990447</idno>
            <idno type="halUri">https://hal.science/hal-01990447</idno>
            <idno type="halBibtex">berta:hal-01990447</idno>
            <idno type="halRefHtml">2019</idno>
            <idno type="halRef">2019</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ENS-LYON">École Normale Supérieure de Lyon</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-LYON1">Université Claude Bernard - Lyon I</idno>
            <idno type="stamp" n="LIP" corresp="UNIV-LYON1">Laboratoire de l'Informatique du Parallélisme</idno>
            <idno type="stamp" n="UDL">UDL</idno>
            <idno type="stamp" n="UNIV-LYON">Université de Lyon</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="ANR_QUANTIQUE">ANR QUANTIQUE</idno>
            <idno type="stamp" n="ANR_QUANTIQUE_3" corresp="ANR_QUANTIQUE">ANR_QUANTIQUE_3</idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Semidefinite programming hierarchies for quantum error correction</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Mario</forename>
                    <surname>Berta</surname>
                  </persName>
                  <idno type="halauthorid">1505008-0</idno>
                  <affiliation ref="#struct-465090"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Francesco</forename>
                    <surname>Borderi</surname>
                  </persName>
                  <idno type="halauthorid">1505009-0</idno>
                  <affiliation ref="#struct-465090"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Omar</forename>
                    <surname>Fawzi</surname>
                  </persName>
                  <email type="md5">c5f7353a4e3056ada30627bddf1eb76b</email>
                  <email type="domain">ens-lyon.fr</email>
                  <idno type="idhal" notation="string">omar-fawzi</idno>
                  <idno type="idhal" notation="numeric">171774</idno>
                  <idno type="halauthorid" notation="string">16907-171774</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-8491-0359</idno>
                  <idno type="IDREF">https://www.idref.fr/193611368</idno>
                  <affiliation ref="#struct-35418"/>
                  <affiliation ref="#struct-544673"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Volkher</forename>
                    <surname>Scholz</surname>
                  </persName>
                  <idno type="halauthorid">1505010-0</idno>
                </author>
              </analytic>
              <monogr>
                <imprint/>
              </monogr>
              <idno type="arxiv">1810.12197</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="phys.qphy">Physics [physics]/Quantum Physics [quant-ph]</classCode>
              <classCode scheme="halDomain" n="info.info-it">Computer Science [cs]/Information Theory [cs.IT]</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>We give asymptotically converging semidefinite programming hierarchies of outer bounds on bilinear programs of the form $\mathrm{Tr}\big[M(X\otimes Y)\big]$, maximized with respect to semidefinite constraints on $X$ and $Y$. Applied to the problem of quantum error correction this gives hierarchies of efficiently computable outer bounds on the optimal fidelity for any message dimension and error model. The first level of our hierarchies corresponds to the non-signalling assisted fidelity previously studied by [Leung &amp; Matthews, IEEE Trans.~Inf.~Theory 2015], and positive partial transpose constraints can be added and used to give a sufficient criterion for the exact convergence at a given level of the hierarchy. To quantify the worst case convergence speed of our hierarchies, we derive novel quantum de Finetti theorems that allow imposing linear constraints on the approximating state. In particular, we give finite de Finetti theorems for quantum channels, quantifying closeness to the convex hull of product channels as well as closeness to local operations and classical forward communication assisted channels. As a special case this constitutes a finite version of Fuchs-Schack-Scudo's asymptotic de Finetti theorem for quantum channels. Finally, our proof methods also allow us to answer an open question from [Brand\~ao &amp; Harrow, STOC 2013] by improving the approximation factor of de Finetti theorems with no symmetry from $O(d^{k/2})$ to $\mathrm{poly}(d,k)$, where $d$ denotes local dimension and $k$ the number of copies.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="regrouplaboratory" xml:id="struct-465090" status="VALID">
          <orgName>Department of Computing [Imperial College London]</orgName>
          <desc>
            <address>
              <addrLine>London</addrLine>
              <country key="GB"/>
            </address>
            <ref type="url">http://www.imperial.ac.uk/computing</ref>
          </desc>
          <listRelation>
            <relation active="#struct-69530" type="direct"/>
          </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="researchteam" xml:id="struct-544673" status="VALID">
          <orgName>Modèles de calcul, Complexité, Combinatoire</orgName>
          <orgName type="acronym">MC2</orgName>
          <desc>
            <address>
              <addrLine>ENS Lyon 46 allée d'Italie 69364 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-lyon.fr/LIP/MC2/</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"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-69530" status="VALID">
          <idno type="ISNI">0000000121138111</idno>
          <idno type="ROR">https://ror.org/041kmwe10</idno>
          <orgName>Imperial College London</orgName>
          <date type="start">1907-01-01</date>
          <desc>
            <address>
              <addrLine>South Kensington Campus, London SW7 2AZ</addrLine>
              <country key="GB"/>
            </address>
            <ref type="url">http://www.imperial.ac.uk/</ref>
          </desc>
        </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="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-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-48843" status="VALID">
          <idno type="anr">ANR-18-CE47-0011</idno>
          <idno type="program">APPEL À PROJETS GÉNÉRIQUE 2018</idno>
          <orgName>ACOM</orgName>
          <desc>Une Théorie Algorithmique de la Communcation</desc>
          <date type="start">2018</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>