{"id":"https://openalex.org/W4396519646","doi":"https://doi.org/10.46298/lmcs-20(2:5)2024","title":"Encodability Criteria for Quantum Based Systems","display_name":"Encodability Criteria for Quantum Based Systems","publication_year":2024,"publication_date":"2024-04-30","ids":{"openalex":"https://openalex.org/W4396519646","doi":"https://doi.org/10.46298/lmcs-20(2:5)2024"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-20(2:5)2024","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-20(2:5)2024","pdf_url":"https://lmcs.episciences.org/13492/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/13492/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002291480","display_name":"Anna Schmitt","orcid":"https://orcid.org/0000-0001-6675-2879"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Anna Schmitt","raw_affiliation_strings":["TU Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"TU Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053791557","display_name":"Kirstin Peters","orcid":"https://orcid.org/0000-0002-4281-0074"},"institutions":[{"id":"https://openalex.org/I179225836","display_name":"University of Augsburg","ror":"https://ror.org/03p14d497","country_code":"DE","type":"education","lineage":["https://openalex.org/I179225836"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Kirstin Peters","raw_affiliation_strings":["Augsburg University, Germany"],"affiliations":[{"raw_affiliation_string":"Augsburg University, Germany","institution_ids":["https://openalex.org/I179225836"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022036342","display_name":"Yuxin Deng","orcid":"https://orcid.org/0000-0003-0753-418X"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuxin Deng","raw_affiliation_strings":["East China Normal University, Shanghai"],"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai","institution_ids":["https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5002291480"],"corresponding_institution_ids":["https://openalex.org/I31512782"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04636959,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 20, Issue 2","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10020","display_name":"Quantum Information and Cryptography","score":1.0,"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/T10020","display_name":"Quantum Information and Cryptography","score":1.0,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9998999834060669,"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/T10622","display_name":"Quantum Mechanics and Applications","score":0.9998000264167786,"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/computer-science","display_name":"Computer science","score":0.6353647112846375},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.44461092352867126},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.13256752490997314},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.09728574752807617}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6353647112846375},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.44461092352867126},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.13256752490997314},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.09728574752807617}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.46298/lmcs-20(2:5)2024","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-20(2:5)2024","pdf_url":"https://lmcs.episciences.org/13492/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:a522ee45f8794916856579edb5670597","is_oa":true,"landing_page_url":"https://doaj.org/article/a522ee45f8794916856579edb5670597","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 20, Issue 2 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-20(2:5)2024","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-20(2:5)2024","pdf_url":"https://lmcs.episciences.org/13492/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4396519646.pdf"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W88810503","https://openalex.org/W1597479987","https://openalex.org/W1656730648","https://openalex.org/W1978553093","https://openalex.org/W1999702075","https://openalex.org/W1999874241","https://openalex.org/W2003803711","https://openalex.org/W2060992753","https://openalex.org/W2064622659","https://openalex.org/W2077160660","https://openalex.org/W2112989388","https://openalex.org/W2134322412","https://openalex.org/W2407327079","https://openalex.org/W2461655671","https://openalex.org/W2963226713","https://openalex.org/W2990387586","https://openalex.org/W3007889862","https://openalex.org/W3102435212","https://openalex.org/W3103728329","https://openalex.org/W3104919190","https://openalex.org/W3105742868","https://openalex.org/W3143325848","https://openalex.org/W4210639184","https://openalex.org/W4224102254","https://openalex.org/W4254881691","https://openalex.org/W4293197381"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W4395014643","https://openalex.org/W4391913857","https://openalex.org/W2350741829"],"abstract_inverted_index":{"Quantum":[0],"based":[1,47,82],"systems":[2],"are":[3,17,22,31],"a":[4,68,94,100],"relatively":[5],"new":[6,43,86],"research":[7],"area":[8],"for":[9,78],"that":[10,107,126,137,146],"different":[11],"modelling":[12],"languages":[13,83],"including":[14],"process":[15,27],"calculi":[16],"currently":[18],"under":[19],"development.":[20],"Encodings":[21],"often":[23],"used":[24,32],"to":[25,34,52,61],"compare":[26],"calculi.":[28],"Quality":[29],"criteria":[30,59,77],"then":[33],"rule":[35],"out":[36],"trivial":[37],"or":[38,64],"meaningless":[39],"encodings.":[40],"In":[41],"this":[42,108],"context":[44],"of":[45,56,75,131],"quantum":[46,81,132],"systems,":[48],"it":[49,127],"is":[50,139,147],"necessary":[51],"analyse":[53],"the":[54,73,129],"applicability":[55],"these":[57],"quality":[58],"and":[60,84,116,125,151],"potentially":[62],"extend":[63],"adapt":[65],"them.":[66],"As":[67],"first":[69],"step,":[70],"we":[71,89,135],"test":[72],"suitability":[74],"classical":[76],"encodings":[79],"between":[80],"discuss":[85],"criteria.":[87],"Concretely,":[88],"present":[90],"an":[91],"encoding,":[92],"from":[93,142],"language":[95,101],"inspired":[96,102],"by":[97,103],"CQP":[98,145],"into":[99,144],"qCCS.":[104],"We":[105],"show":[106,136],"encoding":[109,141],"satisfies":[110],"compositionality,":[111],"name":[112],"invariance":[113],"(for":[114],"channel":[115],"qubit":[117],"names),":[118],"operational":[119],"correspondence,":[120],"divergence":[121],"reflection,":[122],"success":[123,152],"sensitiveness,":[124],"preserves":[128],"size":[130],"registers.":[133],"Then":[134],"there":[138],"no":[140],"qCCS":[143],"compositional,":[148],"operationally":[149],"corresponding,":[150],"sensitive.":[153]},"counts_by_year":[],"updated_date":"2026-03-11T06:11:40.159057","created_date":"2025-10-10T00:00:00"}