{"id":"https://openalex.org/W4390962511","doi":"https://doi.org/10.4230/lipics.fscd.2026.7","title":"Graphical Symplectic Algebra","display_name":"Graphical Symplectic Algebra","publication_year":2024,"publication_date":"2024-01-15","ids":{"openalex":"https://openalex.org/W4390962511","doi":"https://doi.org/10.4230/lipics.fscd.2026.7"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2401.07914","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2401.07914","pdf_url":"https://arxiv.org/pdf/2401.07914","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-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2401.07914","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046334139","display_name":"Robert I. Booth","orcid":"https://orcid.org/0000-0002-1146-3380"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Booth, Robert I.","raw_affiliation_strings":["University of Oxford, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-1146-3380","affiliations":[{"raw_affiliation_string":"University of Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019417035","display_name":"Titouan Carette","orcid":"https://orcid.org/0000-0002-1618-4081"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I142476485","display_name":"\u00c9cole Polytechnique","ror":"https://ror.org/05hy3tk52","country_code":"FR","type":"education","lineage":["https://openalex.org/I142476485","https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4210139461","display_name":"Laboratoire d'Informatique de l'\u00c9cole Polytechnique","ror":"https://ror.org/04afed728","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I142476485","https://openalex.org/I4210139461","https://openalex.org/I4210145102","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Carette, Titouan","raw_affiliation_strings":["LIX, CNRS, \u00c9cole polytechnique, Institut Polytechnique de Paris, 91120, Palaiseau, France"],"raw_orcid":"https://orcid.org/0000-0002-1618-4081","affiliations":[{"raw_affiliation_string":"LIX, CNRS, \u00c9cole polytechnique, Institut Polytechnique de Paris, 91120, Palaiseau, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I142476485","https://openalex.org/I4210139461"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070847248","display_name":"Cole Comfort","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210107720","display_name":"CentraleSup\u00e9lec","ror":"https://ror.org/019tcpt25","country_code":"FR","type":"facility","lineage":["https://openalex.org/I277688954","https://openalex.org/I4210107720"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Comfort, Cole","raw_affiliation_strings":["Universit\u00e9 Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, CentraleSup\u00e9lec, Laboratoire M\u00e9thodes Formelles, France"],"raw_orcid":"https://orcid.org/0009-0000-3120-8822","affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, CentraleSup\u00e9lec, Laboratoire M\u00e9thodes Formelles, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I4210107720"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"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/T12772","display_name":"Control and Stability of Dynamical Systems","score":0.9746999740600586,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12772","display_name":"Control and Stability of Dynamical Systems","score":0.9746999740600586,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10299","display_name":"Photonic and Optical Devices","score":0.9666000008583069,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11575","display_name":"Nonlinear Photonic Systems","score":0.9642000198364258,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"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/symplectic-geometry","display_name":"Symplectic geometry","score":0.6083691120147705},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5843223333358765},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5111985802650452},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.48508134484291077},{"id":"https://openalex.org/keywords/matroid","display_name":"Matroid","score":0.4658060669898987},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.44138047099113464},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3933303952217102},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3892512917518616},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3610366880893707},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.31324824690818787},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.15429508686065674},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.1484059989452362},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1131945550441742}],"concepts":[{"id":"https://openalex.org/C168619227","wikidata":"https://www.wikidata.org/wiki/Q2190991","display_name":"Symplectic geometry","level":2,"score":0.6083691120147705},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5843223333358765},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5111985802650452},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.48508134484291077},{"id":"https://openalex.org/C106286213","wikidata":"https://www.wikidata.org/wiki/Q898572","display_name":"Matroid","level":2,"score":0.4658060669898987},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.44138047099113464},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3933303952217102},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3892512917518616},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3610366880893707},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.31324824690818787},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.15429508686065674},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.1484059989452362},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1131945550441742}],"mesh":[],"locations_count":5,"locations":[{"id":"pmh:oai:arXiv.org:2401.07914","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2401.07914","pdf_url":"https://arxiv.org/pdf/2401.07914","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-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:drops-oai.dagstuhl.de:26357","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2026.7","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol378-fscd2026/LIPIcs.FSCD.2026.7/LIPIcs.FSCD.2026.7.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:doi:10.4230/lipics.fscd.2026.7","is_oa":true,"landing_page_url":"https://zxcalculus.com/publications.html","pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},{"id":"doi:10.48550/arxiv.2401.07914","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2401.07914","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.4230/lipics.fscd.2026.7","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.fscd.2026.7","pdf_url":null,"source":null,"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":"pmh:oai:arXiv.org:2401.07914","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2401.07914","pdf_url":"https://arxiv.org/pdf/2401.07914","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-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2191957979","display_name":"Etude de la pile quantique : Algorithmes, mod\u00e8les de calcul et simulation pour l\u2019informatique quantique","funder_award_id":"ANR-22-PETQ-0007","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G2287768106","display_name":"NExt ApplicationS of Quantum Computing","funder_award_id":"951821","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2338735177","display_name":"(De)constructing Quantum Software (DeQS)","funder_award_id":"EP/Z002230/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2970831653","display_name":"Initiative Nationale Hybride HPC Quantique \u2013 R&D et Support des communaut\u00e9s","funder_award_id":"ANR-22-PNCQ-0002","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G434337789","display_name":null,"funder_award_id":"HORIZON2020","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/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4390962511.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2058299944","https://openalex.org/W4233892543","https://openalex.org/W1550144461","https://openalex.org/W4323360720","https://openalex.org/W2783959783","https://openalex.org/W2037206237","https://openalex.org/W3000635646","https://openalex.org/W2033011390","https://openalex.org/W4310658774","https://openalex.org/W2540764814"],"abstract_inverted_index":{"We":[0,19,127],"introduce":[1,95],"a":[2,96,124],"family":[3],"of":[4,31,142,151],"diagrammatical":[5],"equational":[6,78],"theories":[7,79],"unifying":[8],"two":[9],"research":[10],"programs:":[11],"categorical":[12],"quantum":[13,59,143],"mechanics":[14],"and":[15,57,69,72,115,145,148],"graphical":[16,43],"linear":[17],"algebra.":[18],"prove":[20],"their":[21],"completeness":[22],"with":[23,37,67,77],"respect":[24],"to":[25,81,88,112],"denotational":[26],"semantics":[27],"described":[28,63],"in":[29],"terms":[30],"relations":[32],"between":[33],"vector":[34],"spaces":[35],"equipped":[36,76],"symplectic":[38],"structure.":[39],"This":[40,108],"provides":[41],"versatile":[42],"languages":[44,74],"encompassing":[45],"both":[46],"affinely":[47],"constrained":[48],"classical":[49],"mechanical":[50],"systems,":[51,93],"as":[52,54,139],"well":[53],"odd-prime-dimensional":[55],"stabiliser":[56],"Gaussian":[58],"circuits.":[60],"Terms":[61],"are":[62,75,103],"by":[64,106],"labelled":[65,105],"graphs":[66],"input":[68],"output":[70],"interfaces,":[71],"the":[73,101,146],"amenable":[80],"standard":[82],"graph":[83,140],"rewriting":[84],"techniques.":[85],"In":[86],"order":[87],"reason":[89],"about":[90],"large":[91,125],"composite":[92],"we":[94],"compact":[97],"scalable":[98],"notation":[99,109,132],"where":[100],"vertices":[102],"themselves":[104],"graphs.":[107],"allows":[110],"us":[111],"state":[113],"new":[114],"powerful":[116],"rewrite":[117],"rules":[118],"which":[119],"operate":[120],"on":[121],"diagrams":[122],"at":[123],"scale.":[126],"also":[128],"show":[129],"how":[130],"this":[131],"neatly":[133],"captures":[134],"some":[135],"important":[136],"constructions,":[137],"such":[138],"states":[141],"computing":[144],"impedance":[147],"admittance":[149],"matrices":[150],"electrical":[152],"networks.":[153]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2024-01-18T00:00:00"}