{"id":"https://openalex.org/W7110001969","doi":"https://doi.org/10.4230/lipics.icalp.2025.105","title":"NPA Hierarchy for Quantum Isomorphism and Homomorphism Indistinguishability","display_name":"NPA Hierarchy for Quantum Isomorphism and Homomorphism Indistinguishability","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W7110001969","doi":"https://doi.org/10.4230/lipics.icalp.2025.105"},"language":"en","primary_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:23482","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2025.105","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol334-icalp2025/LIPIcs.ICALP.2025.105/LIPIcs.ICALP.2025.105.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},"type":"article","indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol334-icalp2025/LIPIcs.ICALP.2025.105/LIPIcs.ICALP.2025.105.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Kar, Prem Nigam","orcid":null},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Kar, Prem Nigam","raw_affiliation_strings":["Technical University of Denmark, Lyngby, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Denmark, Lyngby, Denmark","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Roberson, David E.","orcid":null},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Roberson, David E.","raw_affiliation_strings":["Technical University of Denmark, Lyngby, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Denmark, Lyngby, Denmark","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Seppelt, Tim","orcid":null},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Seppelt, Tim","raw_affiliation_strings":["IT-Universitetet i K\u00f8benhavn, Copenhagen, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IT-Universitetet i K\u00f8benhavn, Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"last","author":{"id":null,"display_name":"Zeman, Peter","orcid":null},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Zeman, Peter","raw_affiliation_strings":["Technical University of Denmark, Lyngby, Denmark; Department of Algebra, Faculty of Mathematics and Physics, Charles University, Prague, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Denmark, Lyngby, Denmark; Department of Algebra, Faculty of Mathematics and Physics, Charles University, Prague, Czech Republic","institution_ids":["https://openalex.org/I96673099"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.22,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.88291421,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.3474999964237213,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.3474999964237213,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.23240000009536743,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.05079999938607216,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/homomorphism","display_name":"Homomorphism","score":0.7202000021934509},{"id":"https://openalex.org/keywords/isomorphism","display_name":"Isomorphism (crystallography)","score":0.503000020980835},{"id":"https://openalex.org/keywords/algebra-homomorphism","display_name":"Algebra homomorphism","score":0.4763000011444092},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.44119998812675476},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.439300000667572},{"id":"https://openalex.org/keywords/graph-homomorphism","display_name":"Graph homomorphism","score":0.4099999964237213},{"id":"https://openalex.org/keywords/semidefinite-programming","display_name":"Semidefinite programming","score":0.40540000796318054},{"id":"https://openalex.org/keywords/sic-povm","display_name":"SIC-POVM","score":0.38609999418258667}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7958999872207642},{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.7202000021934509},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5963000059127808},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5149999856948853},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.503000020980835},{"id":"https://openalex.org/C175316100","wikidata":"https://www.wikidata.org/wiki/Q3882299","display_name":"Algebra homomorphism","level":3,"score":0.4763000011444092},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.44119998812675476},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.439300000667572},{"id":"https://openalex.org/C7036158","wikidata":"https://www.wikidata.org/wiki/Q3385162","display_name":"Graph homomorphism","level":5,"score":0.4099999964237213},{"id":"https://openalex.org/C101901036","wikidata":"https://www.wikidata.org/wiki/Q2269096","display_name":"Semidefinite programming","level":2,"score":0.40540000796318054},{"id":"https://openalex.org/C186123792","wikidata":"https://www.wikidata.org/wiki/Q7390277","display_name":"SIC-POVM","level":5,"score":0.38609999418258667},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.3643999993801117},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.3301999866962433},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.30660000443458557},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.3019999861717224},{"id":"https://openalex.org/C61665672","wikidata":"https://www.wikidata.org/wiki/Q303100","display_name":"Graph isomorphism","level":4,"score":0.29760000109672546},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.2752000093460083},{"id":"https://openalex.org/C101837359","wikidata":"https://www.wikidata.org/wiki/Q547823","display_name":"Planar graph","level":3,"score":0.2662000060081482},{"id":"https://openalex.org/C73361133","wikidata":"https://www.wikidata.org/wiki/Q4810150","display_name":"Association scheme","level":2,"score":0.265500009059906},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.25619998574256897},{"id":"https://openalex.org/C2778926657","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum system","level":3,"score":0.2547000050544739}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:drops-oai.dagstuhl.de:23482","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2025.105","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol334-icalp2025/LIPIcs.ICALP.2025.105/LIPIcs.ICALP.2025.105.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},{"id":"pmh:oai:pure.atira.dk:openaire/471162bd-173d-497a-a70a-d0e4630a3539","is_oa":true,"landing_page_url":"https://pure.itu.dk/portal/da/publications/471162bd-173d-497a-a70a-d0e4630a3539","pdf_url":null,"source":{"id":"https://openalex.org/S4377196680","display_name":"IT University Of Copenhagen (IT University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83467386","host_organization_name":"IT University of Copenhagen","host_organization_lineage":["https://openalex.org/I83467386"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Kar, P N, Roberson, D E, Seppelt, T & Zeman, P 2025, NPA Hierarchy for Quantum Isomorphism and Homomorphism Indistinguishability. in International Colloquium on Automata, Languages, and Programming (ICALP). vol. 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025), pp. 1-19, EATCS International Colloquium on Automata, Languages, and Programming, Aarhus, Denmark, 08/07/2025. https://doi.org/10.4230/LIPIcs.ICALP.2025.105","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:23482","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2025.105","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol334-icalp2025/LIPIcs.ICALP.2025.105/LIPIcs.ICALP.2025.105.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1304993860","display_name":null,"funder_award_id":"101071674","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2757978615","display_name":null,"funder_award_id":"2236/2","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5246331465","display_name":null,"funder_award_id":"101077083","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6796023741","display_name":null,"funder_award_id":"101054974","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7110001969.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Man\u010dinska":[0,151],"and":[1,12,52,152],"Roberson":[2,51,153],"[FOCS'20]":[3,154],"showed":[4],"that":[5,30,87,125,155],"two":[6],"graphs":[7,101],"are":[8,16,140],"quantum":[9,31,48,80,98,163,193],"isomorphic":[10],"if":[11,14],"only":[13],"they":[15],"homomorphism":[17,57,105,166],"indistinguishable":[18],"over":[19,107],"the":[20,61,67,91,116,119,123,126,133,148,157,160,186],"class":[21,110],"of":[22,43,47,60,63,66,70,74,82,90,94,100,111,118,128,135,147,150,159,162,181,185,189],"planar":[23,112,137],"graphs.":[24,113],"Atserias":[25],"et":[26],"al.":[27],"[JCTB'19]":[28],"proved":[29],"isomorphism":[32,99],"is":[33,102,132],"undecidable":[34],"in":[35],"general.":[36],"The":[37],"NPA":[38,92,120,187],"hierarchy":[39,69,93,121,188],"gives":[40],"a":[41,56,79,144,174],"sequence":[42],"semidefinite":[44,71],"programming":[45,72],"relaxations":[46,73,96,191],"isomorphism.":[49,76,194],"Recently,":[50],"Seppelt":[53],"[ICALP'23]":[54],"obtained":[55],"indistinguishability":[58,106,167],"characterization":[59,168],"feasibility":[62,180],"each":[64,88,182],"level":[65,89,184],"Lasserre":[68],"graph":[75,130],"We":[77],"prove":[78],"analogue":[81],"this":[83],"result":[84,149],"by":[85],"showing":[86],"SDP":[95,190],"for":[97,192],"equivalent":[103],"to":[104,142,172],"an":[108],"appropriate":[109],"By":[114],"combining":[115],"convergence":[117],"with":[122],"fact":[124],"union":[127],"these":[129],"classes":[131],"set":[134],"all":[136],"graphs,":[138],"we":[139],"able":[141],"give":[143,173],"new":[145],"proof":[146],"avoids":[156],"use":[158],"theory":[161],"groups.":[164],"This":[165],"also":[169],"allows":[170],"us":[171],"randomized":[175],"polynomial-time":[176],"algorithm":[177],"deciding":[178],"exact":[179],"fixed":[183]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-12-08T00:00:00"}