{"id":"https://openalex.org/W2963857574","doi":"https://doi.org/10.4230/lipics.fscd.2018.17","title":"A Diagrammatic Axiomatisation of Fermionic Quantum Circuits","display_name":"A Diagrammatic Axiomatisation of Fermionic Quantum Circuits","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2963857574","doi":"https://doi.org/10.4230/lipics.fscd.2018.17","mag":"2963857574"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://arxiv.org/pdf/1801.01231.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073235643","display_name":"Amar Hadzihasanovic","orcid":"https://orcid.org/0000-0001-9481-191X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Amar Hadzihasanovic","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082909966","display_name":"Giovanni de Felice","orcid":"https://orcid.org/0000-0002-8550-718X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Giovanni de Felice","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5026141897","display_name":"Kang Feng Ng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kang Feng Ng","raw_affiliation_strings":[],"affiliations":[]}],"institution_assertions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.161,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.665269,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":77,"max":79},"biblio":{"volume":"108","issue":null,"first_page":"20","last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9973,"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.9973,"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/T10382","display_name":"Quantum and electron transport phenomena","score":0.9921,"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"}},{"id":"https://openalex.org/T11804","display_name":"Quantum many-body systems","score":0.9879,"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/diagrammatic-reasoning","display_name":"Diagrammatic reasoning","score":0.9460093},{"id":"https://openalex.org/keywords/categorical-quantum-mechanics","display_name":"Categorical quantum mechanics","score":0.56940377}],"concepts":[{"id":"https://openalex.org/C106624574","wikidata":"https://www.wikidata.org/wiki/Q5270387","display_name":"Diagrammatic reasoning","level":2,"score":0.9460093},{"id":"https://openalex.org/C51255310","wikidata":"https://www.wikidata.org/wiki/Q1163016","display_name":"Tensor product","level":2,"score":0.62616324},{"id":"https://openalex.org/C105295557","wikidata":"https://www.wikidata.org/wiki/Q5051814","display_name":"Categorical quantum mechanics","level":5,"score":0.56940377},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.54486763},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.54002404},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.42114866},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.39874685},{"id":"https://openalex.org/C33332235","wikidata":"https://www.wikidata.org/wiki/Q18362","display_name":"Theoretical physics","level":1,"score":0.3791815},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.37656203},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.28520572},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.2125428},{"id":"https://openalex.org/C121040770","wikidata":"https://www.wikidata.org/wiki/Q215675","display_name":"Quantum entanglement","level":3,"score":0.21233028},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.20051774},{"id":"https://openalex.org/C5320026","wikidata":"https://www.wikidata.org/wiki/Q2122216","display_name":"Quantum information science","level":4,"score":0.14862287},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.09728283},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://arxiv.org/pdf/1801.01231.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3212941988","https://openalex.org/W3109224720","https://openalex.org/W3104500086","https://openalex.org/W3021320900","https://openalex.org/W2989620529","https://openalex.org/W2971968519","https://openalex.org/W2954617424","https://openalex.org/W2798910219","https://openalex.org/W2781623287","https://openalex.org/W2736839263","https://openalex.org/W2145852050","https://openalex.org/W2105273359","https://openalex.org/W2080551528","https://openalex.org/W1986270814","https://openalex.org/W1984303056","https://openalex.org/W1925988739","https://openalex.org/W1717074168","https://openalex.org/W1627439680","https://openalex.org/W1610218046","https://openalex.org/W1486765721"],"abstract_inverted_index":{"We":[0,49,59,113,127],"introduce":[1],"the":[2,22,26,35,47,62,70,90,100,105,135,146],"fermionic":[3,10,17,82,139],"ZW":[4],"calculus,":[5,27],"a":[6,16,65,117,124,138],"string-diagrammatic":[7],"language":[8],"for":[9],"quantum":[11,76],"computing":[12],"(FQC).":[13],"After":[14],"defining":[15],"circuit":[18],"model,":[19],"we":[20],"present":[21],"basic":[23],"components":[24],"of":[25,39,69,78,93,97,107,137],"together":[28],"with":[29,84],"their":[30],"interpretation,":[31],"and":[32,54,99],"show":[33],"how":[34,134],"main":[36],"physical":[37],"gates":[38],"interest":[40],"in":[41,46,123,145],"FQC":[42],"can":[43,142],"be":[44,143],"represented":[45],"language.":[48,148],"then":[50],"list":[51],"our":[52],"axioms,":[53],"derive":[55],"some":[56],"additional":[57],"equations.":[58],"prove":[60],"that":[61,86,119],"axioms":[63],"provide":[64],"complete":[66],"equational":[67],"axiomatisation":[68],"monoidal":[71,111],"category":[72],"whose":[73],"objects":[74],"are":[75],"systems":[77],"finitely":[79],"many":[80],"local":[81],"modes,":[83],"operations":[85],"preserve":[87],"or":[88],"reverse":[89],"parity":[91],"(number":[92],"particles":[94],"mod":[95],"2)":[96],"states,":[98],"tensor":[101],"product,":[102],"corresponding":[103],"to":[104],"composition":[106],"two":[108],"systems,":[109],"as":[110,131],"product.":[112],"achieve":[114],"this":[115],"through":[116],"procedure":[118],"rewrites":[120],"any":[121],"diagram":[122],"normal":[125],"form.":[126],"conclude":[128],"by":[129],"showing,":[130],"an":[132],"example,":[133],"statistics":[136],"Mach-Zehnder":[140],"interferometer":[141],"calculated":[144],"diagrammatic":[147]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2963857574","counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2025-01-19T00:02:54.906270","created_date":"2019-07-30"}