{"id":"https://openalex.org/W4400716687","doi":"https://doi.org/10.22331/q-2026-01-28-1989","title":"NPA Hierarchy for Quantum Isomorphism and Homomorphism Indistinguishability","display_name":"NPA Hierarchy for Quantum Isomorphism and Homomorphism Indistinguishability","publication_year":2026,"publication_date":"2026-01-28","ids":{"openalex":"https://openalex.org/W4400716687","doi":"https://doi.org/10.22331/q-2026-01-28-1989"},"language":"en","primary_location":{"id":"doi:10.22331/q-2026-01-28-1989","is_oa":true,"landing_page_url":"https://doi.org/10.22331/q-2026-01-28-1989","pdf_url":"https://quantum-journal.org/papers/q-2026-01-28-1989/pdf/","source":{"id":"https://openalex.org/S4210226432","display_name":"Quantum","issn_l":"2521-327X","issn":["2521-327X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317900","host_organization_name":"Verein zur F\u00f6rderung des Open Access Publizierens in den Quantenwissenschaften","host_organization_lineage":["https://openalex.org/P4310317900"],"host_organization_lineage_names":["Verein zur F\u00f6rderung des Open Access Publizierens in den Quantenwissenschaften"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Quantum","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://quantum-journal.org/papers/q-2026-01-28-1989/pdf/","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5104830620","display_name":"Prem Nigam Kar","orcid":null},"institutions":[{"id":"https://openalex.org/I4210137370","display_name":"Institute of Mathematics","ror":"https://ror.org/04hrrh248","country_code":"PL","type":"facility","lineage":["https://openalex.org/I4210137370","https://openalex.org/I99542240"]},{"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","PL"],"is_corresponding":false,"raw_author_name":"Prem Nigam Kar","raw_affiliation_strings":["Instytut Matematyczny Polskiej Akademii Nauk","Technical University of Denmark"],"raw_orcid":"https://orcid.org/0009-0000-8235-9233","affiliations":[{"raw_affiliation_string":"Instytut Matematyczny Polskiej Akademii Nauk","institution_ids":["https://openalex.org/I4210137370"]},{"raw_affiliation_string":"Technical University of Denmark","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023984902","display_name":"David E. Roberson","orcid":"https://orcid.org/0000-0002-4463-8095"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]},{"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":"David E. Roberson","raw_affiliation_strings":["QMATH, University of Copenhagen","Technical University of Denmark"],"raw_orcid":"https://orcid.org/0000-0002-4463-8095","affiliations":[{"raw_affiliation_string":"QMATH, University of Copenhagen","institution_ids":["https://openalex.org/I124055696"]},{"raw_affiliation_string":"Technical University of Denmark","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086010577","display_name":"Tim Seppelt","orcid":"https://orcid.org/0000-0002-6447-0568"},"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":"Tim Seppelt","raw_affiliation_strings":["IT-Universitetet i K\u00f8benhavn"],"raw_orcid":"https://orcid.org/0000-0002-6447-0568","affiliations":[{"raw_affiliation_string":"IT-Universitetet i K\u00f8benhavn","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013404440","display_name":"Peter Zeman","orcid":"https://orcid.org/0000-0003-0071-9149"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Peter Zeman","raw_affiliation_strings":["Department of Algebra, Faculty of Mathematics and Physics, Charles University"],"raw_orcid":"https://orcid.org/0000-0003-0071-9149","affiliations":[{"raw_affiliation_string":"Department of Algebra, Faculty of Mathematics and Physics, Charles University","institution_ids":["https://openalex.org/I21250087"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":200,"currency":"EUR","value_usd":215},"apc_paid":{"value":200,"currency":"EUR","value_usd":215},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00383794,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"10","issue":null,"first_page":"1989","last_page":"1989"},"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.9591000080108643,"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.9591000080108643,"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/T10237","display_name":"Cryptography and Data Security","score":0.940500020980835,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/homomorphism","display_name":"Homomorphism","score":0.8807576298713684},{"id":"https://openalex.org/keywords/isomorphism","display_name":"Isomorphism (crystallography)","score":0.7656688094139099},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.7448225617408752},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.662750244140625},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.509629487991333},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4892573356628418},{"id":"https://openalex.org/keywords/theoretical-physics","display_name":"Theoretical physics","score":0.3321705758571625},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3317621946334839},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.24919575452804565},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.17990845441818237},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.12935546040534973},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.06013795733451843},{"id":"https://openalex.org/keywords/crystallography","display_name":"Crystallography","score":0.05603015422821045}],"concepts":[{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.8807576298713684},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.7656688094139099},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.7448225617408752},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.662750244140625},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.509629487991333},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4892573356628418},{"id":"https://openalex.org/C33332235","wikidata":"https://www.wikidata.org/wiki/Q18362","display_name":"Theoretical physics","level":1,"score":0.3321705758571625},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3317621946334839},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.24919575452804565},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.17990845441818237},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.12935546040534973},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.06013795733451843},{"id":"https://openalex.org/C8010536","wikidata":"https://www.wikidata.org/wiki/Q160398","display_name":"Crystallography","level":1,"score":0.05603015422821045},{"id":"https://openalex.org/C115624301","wikidata":"https://www.wikidata.org/wiki/Q895901","display_name":"Crystal structure","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.22331/q-2026-01-28-1989","is_oa":true,"landing_page_url":"https://doi.org/10.22331/q-2026-01-28-1989","pdf_url":"https://quantum-journal.org/papers/q-2026-01-28-1989/pdf/","source":{"id":"https://openalex.org/S4210226432","display_name":"Quantum","issn_l":"2521-327X","issn":["2521-327X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317900","host_organization_name":"Verein zur F\u00f6rderung des Open Access Publizierens in den Quantenwissenschaften","host_organization_lineage":["https://openalex.org/P4310317900"],"host_organization_lineage_names":["Verein zur F\u00f6rderung des Open Access Publizierens in den Quantenwissenschaften"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Quantum","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire/83364856-9986-4439-a98b-109375865923","is_oa":true,"landing_page_url":"https://pure.itu.dk/portal/da/publications/83364856-9986-4439-a98b-109375865923","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kar, P N, Roberson, D E, Seppelt, T & Zeman, P 2026, 'NPA Hierarchy for Quantum Isomorphism and Homomorphism Indistinguishability', Quantum, vol. 10, no. 1989, 1989. https://doi.org/10.22331/q-2026-01-28-1989","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:pure.atira.dk:publications/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":"publishedVersion","is_accepted":true,"is_published":true,"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"},{"id":"pmh:oai:arXiv.org:2407.10635","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2407.10635","pdf_url":"https://arxiv.org/pdf/2407.10635","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:doaj.org/article:531b04052b884fe4bbf601ec40d78645","is_oa":true,"landing_page_url":"https://doaj.org/article/531b04052b884fe4bbf601ec40d78645","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Quantum, Vol 10, p 1989 (2026)","raw_type":"article"},{"id":"doi:10.48550/arxiv.2407.10635","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2407.10635","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.4230/lipics.icalp.2025.105","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.icalp.2025.105","pdf_url":null,"source":{"id":"https://openalex.org/S4393917817","display_name":"Leibniz international proceedings in informatics","issn_l":"1868-8969","issn":["1868-8969"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"doi:10.22331/q-2026-01-28-1989","is_oa":true,"landing_page_url":"https://doi.org/10.22331/q-2026-01-28-1989","pdf_url":"https://quantum-journal.org/papers/q-2026-01-28-1989/pdf/","source":{"id":"https://openalex.org/S4210226432","display_name":"Quantum","issn_l":"2521-327X","issn":["2521-327X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317900","host_organization_name":"Verein zur F\u00f6rderung des Open Access Publizierens in den Quantenwissenschaften","host_organization_lineage":["https://openalex.org/P4310317900"],"host_organization_lineage_names":["Verein zur F\u00f6rderung des Open Access Publizierens in den Quantenwissenschaften"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Quantum","raw_type":"journal-article"},"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":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4400716687.pdf","grobid_xml":"https://content.openalex.org/works/W4400716687.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4308159138","https://openalex.org/W4327811209","https://openalex.org/W1979798674","https://openalex.org/W3169947911","https://openalex.org/W3037616202","https://openalex.org/W2264022753","https://openalex.org/W2386314338","https://openalex.org/W2354689617","https://openalex.org/W2389993406","https://openalex.org/W2376584285"],"abstract_inverted_index":{"Man\u010dinska":[0,169],"and":[1,12,50,145,170],"Roberson":[2,49,171],"[FOCS'20]":[3,172],"showed":[4],"that":[5,31,108,147,173],"two":[6],"graphs":[7],"are":[8],"quantum":[9,32,100,104,119,178,206],"isomorphic":[10],"if":[11,14],"only":[13],"they":[15],"admit":[16],"the":[17,40,46,54,60,89,103,109,115,139,142,148,154,166,175,199],"same":[18],"number":[19],"of":[20,42,56,59,63,67,72,74,88,95,111,114,125,132,141,150,156,165,168,177,194,198,202],"homomorphisms":[21],"from":[22,77,128],"any":[23],"planar":[24,133,158],"graph.":[25],"Atserias":[26],"et":[27],"al.":[28],"[JCTB'19]":[29],"proved":[30],"isomorphism":[33,69,120],"is":[34,121,153],"undecidable":[35],"in":[36,70],"general,":[37],"which":[38],"motivates":[39],"study":[41],"its":[43],"relaxations.":[44],"In":[45,102],"classical":[47],"setting,":[48,105],"Seppelt":[51],"[ICALP'23]":[52],"characterized":[53],"feasibility":[55,110,193],"each":[57,112,195],"level":[58,113,197],"Lasserre":[61,90],"hierarchy":[62,117,201],"semidefinite":[64,96],"programming":[65,97],"relaxations":[66,98,204],"graph":[68,80],"terms":[71],"equality":[73,124],"homomorphism":[75,126,182],"counts":[76,127],"an":[78,129],"appropriate":[79,130],"class.":[81],"The":[82],"NPA":[83,116,143,200],"hierarchy,":[84,91,144],"a":[85,93,162,187],"noncommutative":[86],"generalization":[87],"provides":[92],"sequence":[94],"for":[99,118,205],"isomorphism.":[101,207],"we":[106,160],"show":[107],"equivalent":[122],"to":[123],"class":[131],"graphs.":[134],"Combining":[135],"this":[136,181],"characterization":[137,184],"with":[138],"convergence":[140],"noting":[146],"union":[149],"these":[151],"classes":[152],"set":[155],"all":[157],"graphs,":[159],"obtain":[161],"new":[163],"proof":[164],"result":[167],"avoids":[174],"use":[176],"groups.":[179],"Moreover,":[180],"indistinguishability":[183],"also":[185],"yields":[186],"randomized":[188],"polynomial-time":[189],"algorithm":[190],"deciding":[191],"exact":[192],"fixed":[196],"SDP":[203]},"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2024-07-17T00:00:00"}