{"id":"https://openalex.org/W4403844818","doi":"https://doi.org/10.1007/978-981-97-8943-6_11","title":"Type-Based Verification of\u00a0Connectivity Constraints in\u00a0Lattice Surgery","display_name":"Type-Based Verification of\u00a0Connectivity Constraints in\u00a0Lattice Surgery","publication_year":2024,"publication_date":"2024-10-28","ids":{"openalex":"https://openalex.org/W4403844818","doi":"https://doi.org/10.1007/978-981-97-8943-6_11"},"language":"en","primary_location":{"id":"doi:10.1007/978-981-97-8943-6_11","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-981-97-8943-6_11","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-981-97-8943-6_11.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-981-97-8943-6_11.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054620707","display_name":"Ryo Wakizaka","orcid":"https://orcid.org/0000-0001-8762-9335"},"institutions":[{"id":"https://openalex.org/I22299242","display_name":"Kyoto University","ror":"https://ror.org/02kpeqv85","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242"]},{"id":"https://openalex.org/I39012071","display_name":"Kyoto College of Graduate Studies for Informatics","ror":"https://ror.org/05mzj8a56","country_code":"JP","type":"education","lineage":["https://openalex.org/I39012071"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Ryo Wakizaka","raw_affiliation_strings":["Graduate School of Informatics, Kyoto University, Kyoto, Japan"],"affiliations":[{"raw_affiliation_string":"Graduate School of Informatics, Kyoto University, Kyoto, Japan","institution_ids":["https://openalex.org/I39012071","https://openalex.org/I22299242"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101129006","display_name":"Yasunari Suzuki","orcid":null},"institutions":[{"id":"https://openalex.org/I200641316","display_name":"Musashino University","ror":"https://ror.org/04bcbax71","country_code":"JP","type":"education","lineage":["https://openalex.org/I200641316"]},{"id":"https://openalex.org/I2251713219","display_name":"NTT (Japan)","ror":"https://ror.org/00berct97","country_code":"JP","type":"company","lineage":["https://openalex.org/I2251713219"]},{"id":"https://openalex.org/I2800381926","display_name":"Musashino Academia Musicae","ror":"https://ror.org/008bb2h75","country_code":"JP","type":"education","lineage":["https://openalex.org/I2800381926"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yasunari Suzuki","raw_affiliation_strings":["NTT Computer and Data Science Laboratories, Musashino, 180-8585, Japan"],"affiliations":[{"raw_affiliation_string":"NTT Computer and Data Science Laboratories, Musashino, 180-8585, Japan","institution_ids":["https://openalex.org/I2251713219","https://openalex.org/I200641316","https://openalex.org/I2800381926"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077485499","display_name":"Atsushi Igarashi","orcid":"https://orcid.org/0000-0002-5143-9764"},"institutions":[{"id":"https://openalex.org/I22299242","display_name":"Kyoto University","ror":"https://ror.org/02kpeqv85","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242"]},{"id":"https://openalex.org/I39012071","display_name":"Kyoto College of Graduate Studies for Informatics","ror":"https://ror.org/05mzj8a56","country_code":"JP","type":"education","lineage":["https://openalex.org/I39012071"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Atsushi Igarashi","raw_affiliation_strings":["Graduate School of Informatics, Kyoto University, Kyoto, Japan"],"affiliations":[{"raw_affiliation_string":"Graduate School of Informatics, Kyoto University, Kyoto, Japan","institution_ids":["https://openalex.org/I39012071","https://openalex.org/I22299242"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5054620707"],"corresponding_institution_ids":["https://openalex.org/I22299242","https://openalex.org/I39012071"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":7.497,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.96035599,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"216","last_page":"237"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13234","display_name":"advanced mathematical theories","score":0.987500011920929,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13234","display_name":"advanced mathematical theories","score":0.987500011920929,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12536","display_name":"Topological and Geometric Data Analysis","score":0.9753999710083008,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.97079998254776,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/computer-science","display_name":"Computer science","score":0.8029834628105164},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.4979734420776367},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34334152936935425},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.08193981647491455}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8029834628105164},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.4979734420776367},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34334152936935425},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.08193981647491455},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-981-97-8943-6_11","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-981-97-8943-6_11","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-981-97-8943-6_11.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-981-97-8943-6_11","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-981-97-8943-6_11","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-981-97-8943-6_11.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320338075","display_name":"Core Research for Evolutional Science and Technology","ror":"https://ror.org/00097mb19"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403844818.pdf","grobid_xml":"https://content.openalex.org/works/W4403844818.grobid-xml"},"referenced_works_count":46,"referenced_works":["https://openalex.org/W1978270311","https://openalex.org/W1985315536","https://openalex.org/W1996668544","https://openalex.org/W2010151376","https://openalex.org/W2011648260","https://openalex.org/W2013754283","https://openalex.org/W2030867075","https://openalex.org/W2040497903","https://openalex.org/W2079294297","https://openalex.org/W2119180894","https://openalex.org/W2121695129","https://openalex.org/W2128744826","https://openalex.org/W2135273380","https://openalex.org/W2148841334","https://openalex.org/W2801305581","https://openalex.org/W2803889673","https://openalex.org/W2886696706","https://openalex.org/W2938353722","https://openalex.org/W2946582523","https://openalex.org/W2950116903","https://openalex.org/W2950223894","https://openalex.org/W2964268018","https://openalex.org/W2993800728","https://openalex.org/W3013344133","https://openalex.org/W3023478445","https://openalex.org/W3033497438","https://openalex.org/W3098041393","https://openalex.org/W3098228168","https://openalex.org/W3100952059","https://openalex.org/W3102161549","https://openalex.org/W3105603580","https://openalex.org/W3106120343","https://openalex.org/W3116601100","https://openalex.org/W3119028457","https://openalex.org/W3134644737","https://openalex.org/W3182253249","https://openalex.org/W3196987254","https://openalex.org/W3209549234","https://openalex.org/W4243877942","https://openalex.org/W4281479206","https://openalex.org/W4293370934","https://openalex.org/W4309424751","https://openalex.org/W4319452943","https://openalex.org/W4321610982","https://openalex.org/W4389373471","https://openalex.org/W4394006177"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Abstract":[0],"Fault-tolerant":[1],"quantum":[2,71,115],"computation":[3],"using":[4],"lattice":[5],"surgery":[6,96,124],"can":[7,73,88],"be":[8,74,89],"abstracted":[9],"as":[10],"operations":[11],"on":[12],"graphs,":[13],"wherein":[14],"each":[15],"logical":[16],"qubit":[17],"corresponds":[18],"to":[19,40,63,82,118,139],"a":[20,44,70,79,113,129],"vertex":[21],"of":[22,69,123],"the":[23,32,53,67,120,135,140],"graph,":[24],"and":[25],"multi-qubit":[26],"measurements":[27],"are":[28],"accomplished":[29],"by":[30,95,133],"connecting":[31],"vertices":[33,42],"with":[34],"paths":[35,55],"between":[36],"them.":[37],"Operations":[38],"attempting":[39],"connect":[41],"without":[43,91],"valid":[45],"path":[46],"will":[47],"result":[48],"in":[49],"abnormal":[50],"termination.":[51],"As":[52],"permissible":[54],"may":[56],"evolve":[57],"during":[58],"execution,":[59],"it":[60],"is":[61],"necessary":[62],"statically":[64,83],"verify":[65,84],"that":[66,85],"execution":[68,121],"program":[72],"completed.":[75],"This":[76],"paper":[77],"introduces":[78],"type-based":[80],"method":[81],"well-typed":[86],"programs":[87],"executed":[90],"encountering":[92],"halts":[93],"induced":[94],"operations.":[97,125],"Alongside,":[98],"we":[99,127],"present":[100],"$$\\mathcal":[101],"{Q}_{LS}$$":[102],"<mml:math":[103],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[104],"<mml:msub>":[105],"<mml:mi>Q</mml:mi>":[106],"<mml:mrow>":[107],"<mml:mi>LS</mml:mi>":[108],"</mml:mrow>":[109],"</mml:msub>":[110],"</mml:math>":[111],",":[112],"first-order":[114],"programming":[116],"language":[117],"formalize":[119],"model":[122],"Furthermore,":[126],"provide":[128],"type":[130,136],"checking":[131,137],"algorithm":[132],"reducing":[134],"problem":[138],"offline":[141],"dynamic":[142],"connectivity":[143],"problem.":[144]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-04-18T07:56:08.524223","created_date":"2025-10-10T00:00:00"}