{"id":"https://openalex.org/W4414402269","doi":"https://doi.org/10.4204/eptcs.429.14","title":"A Coalgebraic Model of Quantum Bisimulation","display_name":"A Coalgebraic Model of Quantum Bisimulation","publication_year":2025,"publication_date":"2025-09-22","ids":{"openalex":"https://openalex.org/W4414402269","doi":"https://doi.org/10.4204/eptcs.429.14"},"language":"en","primary_location":{"id":"doi:10.4204/eptcs.429.14","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.429.14","pdf_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2024.14.pdf","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2024.14.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082476880","display_name":"Lorenzo Ceragioli","orcid":"https://orcid.org/0000-0002-1288-9623"},"institutions":[{"id":"https://openalex.org/I127077003","display_name":"IMT School for Advanced Studies Lucca","ror":"https://ror.org/035gh3a49","country_code":"IT","type":"education","lineage":["https://openalex.org/I127077003"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Lorenzo Ceragioli","raw_affiliation_strings":["IMT School for Advanced Studies, Lucca, Italy"],"affiliations":[{"raw_affiliation_string":"IMT School for Advanced Studies, Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017249621","display_name":"Elena Di Lavore","orcid":"https://orcid.org/0000-0002-7783-5079"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Elena Di Lavore","raw_affiliation_strings":["University of Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"University of Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073621463","display_name":"Giuseppe Lomurno","orcid":"https://orcid.org/0009-0000-0573-7974"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giuseppe Lomurno","raw_affiliation_strings":["University of Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"University of Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103141647","display_name":"Gabriele Tedeschi","orcid":"https://orcid.org/0009-0002-5345-9141"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Gabriele Tedeschi","raw_affiliation_strings":["University of Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"University of Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5082476880"],"corresponding_institution_ids":["https://openalex.org/I127077003"],"apc_list":null,"apc_paid":null,"fwci":1.3407,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.8399915,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"429","issue":null,"first_page":"249","last_page":"269"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.8507000207901001,"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"}},"topics":[{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.8507000207901001,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.6743000149726868},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.6430000066757202},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5637999773025513},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.5579000115394592},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5231000185012817},{"id":"https://openalex.org/keywords/quantum-operation","display_name":"Quantum operation","score":0.5091000199317932},{"id":"https://openalex.org/keywords/quantum-process","display_name":"Quantum process","score":0.4733000099658966},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.4496000111103058},{"id":"https://openalex.org/keywords/quantum-system","display_name":"Quantum system","score":0.42010000348091125},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.3871000111103058}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6743000149726868},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.6430000066757202},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5637999773025513},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.5579000115394592},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5231000185012817},{"id":"https://openalex.org/C43682372","wikidata":"https://www.wikidata.org/wiki/Q7269080","display_name":"Quantum operation","level":4,"score":0.5091000199317932},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5005000233650208},{"id":"https://openalex.org/C11255438","wikidata":"https://www.wikidata.org/wiki/Q7269085","display_name":"Quantum process","level":4,"score":0.4733000099658966},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.4496000111103058},{"id":"https://openalex.org/C2778926657","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum system","level":3,"score":0.42010000348091125},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4147999882698059},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.3871000111103058},{"id":"https://openalex.org/C62799726","wikidata":"https://www.wikidata.org/wiki/Q190056","display_name":"Hilbert space","level":2,"score":0.3508000075817108},{"id":"https://openalex.org/C2777721189","wikidata":"https://www.wikidata.org/wiki/Q17121921","display_name":"Observational equivalence","level":2,"score":0.34439998865127563},{"id":"https://openalex.org/C2776887110","wikidata":"https://www.wikidata.org/wiki/Q7269018","display_name":"Quantum cloning","level":5,"score":0.34220001101493835},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.34060001373291016},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.336899995803833},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.33239999413490295},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.3257000148296356},{"id":"https://openalex.org/C15706264","wikidata":"https://www.wikidata.org/wiki/Q230883","display_name":"Quantum state","level":3,"score":0.31700000166893005},{"id":"https://openalex.org/C28855332","wikidata":"https://www.wikidata.org/wiki/Q198099","display_name":"Quantization (signal processing)","level":2,"score":0.3138999938964844},{"id":"https://openalex.org/C165973109","wikidata":"https://www.wikidata.org/wiki/Q894014","display_name":"Quantum probability","level":5,"score":0.31380000710487366},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3075000047683716},{"id":"https://openalex.org/C33332235","wikidata":"https://www.wikidata.org/wiki/Q18362","display_name":"Theoretical physics","level":1,"score":0.3012000024318695},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.29420000314712524},{"id":"https://openalex.org/C190474826","wikidata":"https://www.wikidata.org/wiki/Q2495111","display_name":"Open quantum system","level":3,"score":0.29280000925064087},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2851000130176544},{"id":"https://openalex.org/C9136319","wikidata":"https://www.wikidata.org/wiki/Q362640","display_name":"Covariant transformation","level":2,"score":0.28209999203681946},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.26750001311302185},{"id":"https://openalex.org/C105295557","wikidata":"https://www.wikidata.org/wiki/Q5051814","display_name":"Categorical quantum mechanics","level":5,"score":0.2624000012874603},{"id":"https://openalex.org/C122527463","wikidata":"https://www.wikidata.org/wiki/Q578430","display_name":"Quantum decoherence","level":3,"score":0.2556000053882599},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.25440001487731934},{"id":"https://openalex.org/C186468114","wikidata":"https://www.wikidata.org/wiki/Q836478","display_name":"Quantum network","level":4,"score":0.2517000138759613}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.4204/eptcs.429.14","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.429.14","pdf_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2024.14.pdf","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2509.20933","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2509.20933","pdf_url":"https://arxiv.org/pdf/2509.20933","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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:arpi.unipi.it:11568/1342468","is_oa":false,"landing_page_url":"https://hdl.handle.net/11568/1342468","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"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":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.4204/eptcs.429.14","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.429.14","pdf_url":"https://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2024.14.pdf","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4414402269.pdf","grobid_xml":"https://content.openalex.org/works/W4414402269.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W29345192","https://openalex.org/W1589913568","https://openalex.org/W1686392640","https://openalex.org/W1981607181","https://openalex.org/W1995469594","https://openalex.org/W1996864014","https://openalex.org/W2004330986","https://openalex.org/W2007738069","https://openalex.org/W2015179126","https://openalex.org/W2044210134","https://openalex.org/W2088189323","https://openalex.org/W2103417273","https://openalex.org/W2113123008","https://openalex.org/W2126214140","https://openalex.org/W2230188413","https://openalex.org/W2598985404","https://openalex.org/W2601725224","https://openalex.org/W2614403044","https://openalex.org/W2901389979","https://openalex.org/W2912635696","https://openalex.org/W2963852542","https://openalex.org/W2965299448","https://openalex.org/W2990961515","https://openalex.org/W4213277014","https://openalex.org/W4232277105","https://openalex.org/W4289552352","https://openalex.org/W4313120958","https://openalex.org/W4315606015","https://openalex.org/W4390605090","https://openalex.org/W4403844486"],"related_works":[],"abstract_inverted_index":{"Recent":[0],"works":[1],"have":[2],"shown":[3],"that":[4,9,45,126,153],"defining":[5],"a":[6,15,21,32,42,67,108,149],"behavioural":[7],"equivalence":[8],"matches":[10],"the":[11,47,57,87,91,105,119,128,146,157],"observational":[12],"properties":[13,58],"of":[14,50,59,74],"quantum-capable,":[16],"concurrent,":[17],"non-deterministic":[18],"system":[19,97],"is":[20,154],"surprisingly":[22],"difficult":[23],"task.We":[24],"explore":[25],"coalgebras":[26],"over":[27,156],"distributions":[28],"taking":[29],"weights":[30],"from":[31],"generic":[33],"effect":[34,141],"algebra,":[35],"which":[36],"subsumes":[37],"probabilities":[38],"and":[39,98,114],"quantum":[40,53,60,82,96,110,124,140,158],"effects,":[41],"physical":[43],"formalism":[44],"represents":[46],"probabilistic":[48,100,130],"behaviour":[49,131],"an":[51,94],"open":[52,95],"system.To":[54],"abide":[55],"by":[56,86],"theory,":[61],"we":[62,136],"introduce":[63],"monads":[64],"graded":[65],"on":[66,139],"partial":[68],"commutative":[69],"monoid,":[70],"intuitively":[71],"allowing":[72],"composition":[73],"two":[75],"processes":[76],"only":[77],"if":[78],"they":[79],"use":[80],"different":[81],"resources,":[83],"as":[84,121],"prescribed":[85],"no-cloning":[88],"theorem.We":[89],"investigate":[90],"relation":[92],"between":[93],"its":[99],"counterparts":[101],"obtained":[102],"when":[103],"instantiating":[104],"input":[106,134],"with":[107],"specific":[109],"state.We":[111],"consider":[112],"Aczel-Mendler":[113],"kernel":[115],"bisimilarities,":[116],"advocating":[117],"for":[118,132,148],"latter":[120],"it":[122],"characterizes":[123],"systems":[125],"exhibit":[127],"same":[129],"all":[133],"states.Finally,":[135],"propose":[137],"operators":[138],"labelled":[142],"transition":[143],"systems,":[144],"paving":[145],"way":[147],"process":[150],"calculi":[151],"semantics":[152],"parametric":[155],"input.":[159]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-12T06:13:28.667946","created_date":"2025-10-10T00:00:00"}