{"id":"https://openalex.org/W4400995108","doi":"https://doi.org/10.1007/978-3-031-65633-0_24","title":"Measurement-Based Verification of\u00a0Quantum Markov Chains","display_name":"Measurement-Based Verification of\u00a0Quantum Markov Chains","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4400995108","doi":"https://doi.org/10.1007/978-3-031-65633-0_24"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-65633-0_24","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-65633-0_24","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65633-0_24.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-3-031-65633-0_24.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081435269","display_name":"Ji Guan","orcid":"https://orcid.org/0000-0002-3490-0029"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Ji Guan","raw_affiliation_strings":["Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, 100190, China"],"raw_orcid":"https://orcid.org/0000-0002-3490-0029","affiliations":[{"raw_affiliation_string":"Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, 100190, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022869475","display_name":"Yuan Feng","orcid":null},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuan Feng","raw_affiliation_strings":["Department of Computer Science and Technology, Tsinghua University, Beijing, 100084, China"],"raw_orcid":"https://orcid.org/0000-0002-3097-3896","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, 100084, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074733161","display_name":"Andrea Turrini","orcid":"https://orcid.org/0000-0003-4343-9323"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Andrea Turrini","raw_affiliation_strings":["Institute of Intelligent Software, Guangzhou, 511458, China","Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, 100190, China"],"raw_orcid":"https://orcid.org/0000-0003-4343-9323","affiliations":[{"raw_affiliation_string":"Institute of Intelligent Software, Guangzhou, 511458, China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, 100190, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023088481","display_name":"Mingsheng Ying","orcid":"https://orcid.org/0000-0003-4847-702X"},"institutions":[{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]},{"id":"https://openalex.org/I4210096034","display_name":"Centre for Quantum Computation and Communication Technology","ror":"https://ror.org/00rnbty21","country_code":"AU","type":"facility","lineage":["https://openalex.org/I1337719021","https://openalex.org/I165143802","https://openalex.org/I2801453606","https://openalex.org/I4210096034","https://openalex.org/I4210132349"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Mingsheng Ying","raw_affiliation_strings":["Centre for Quantum Software and Information, University of Technology Sydney, Sydney, NSW, 2007, Australia"],"raw_orcid":"https://orcid.org/0000-0003-4847-702X","affiliations":[{"raw_affiliation_string":"Centre for Quantum Software and Information, University of Technology Sydney, Sydney, NSW, 2007, Australia","institution_ids":["https://openalex.org/I4210096034","https://openalex.org/I114017466"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5081435269"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":7.672,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.97463844,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"533","last_page":"554"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9983999729156494,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9973999857902527,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/quantum-walk","display_name":"Quantum walk","score":0.6205210089683533},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5796049237251282},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5455193519592285},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.43994027376174927},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.43178048729896545},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4249635338783264},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42496049404144287},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3779621124267578},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.32078951597213745},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.1396518051624298},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06862390041351318}],"concepts":[{"id":"https://openalex.org/C140058369","wikidata":"https://www.wikidata.org/wiki/Q7269113","display_name":"Quantum walk","level":4,"score":0.6205210089683533},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5796049237251282},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5455193519592285},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.43994027376174927},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.43178048729896545},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4249635338783264},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42496049404144287},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3779621124267578},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.32078951597213745},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.1396518051624298},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06862390041351318},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-65633-0_24","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-65633-0_24","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65633-0_24.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-3-031-65633-0_24","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-65633-0_24","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-65633-0_24.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":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4400995108.pdf"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W1153205426","https://openalex.org/W1496256885","https://openalex.org/W1630029119","https://openalex.org/W1988413534","https://openalex.org/W2020750044","https://openalex.org/W2021112905","https://openalex.org/W2023808162","https://openalex.org/W2041518499","https://openalex.org/W2049691729","https://openalex.org/W2077767282","https://openalex.org/W2101697221","https://openalex.org/W2104788735","https://openalex.org/W2112046594","https://openalex.org/W2116102644","https://openalex.org/W2145334945","https://openalex.org/W2160185408","https://openalex.org/W2336782306","https://openalex.org/W2787337287","https://openalex.org/W2897812629","https://openalex.org/W2912640545","https://openalex.org/W2962822640","https://openalex.org/W2963787308","https://openalex.org/W3097989825","https://openalex.org/W3126996113","https://openalex.org/W3160709386","https://openalex.org/W4210251360","https://openalex.org/W4289921754","https://openalex.org/W4301885439","https://openalex.org/W4400995108","https://openalex.org/W6688888991"],"related_works":["https://openalex.org/W2089342336","https://openalex.org/W3114654323","https://openalex.org/W1968287309","https://openalex.org/W2883913628","https://openalex.org/W2800432156","https://openalex.org/W1566596544","https://openalex.org/W2009948449","https://openalex.org/W638834885","https://openalex.org/W4320736706","https://openalex.org/W3127020915"],"abstract_inverted_index":{"Abstract":[0],"Model-checking":[1],"techniques":[2,107],"have":[3],"been":[4],"extended":[5],"to":[6,71,118,161,201],"analyze":[7],"quantum":[8,15,31,49,85,97,122,143,168,190,202],"programs":[9],"and":[10,169,196],"communication":[11],"protocols":[12],"represented":[13],"as":[14],"Markov":[16,22,144],"chains,":[17],"an":[18,135,147],"extension":[19,130],"of":[20,55,134,154,166,189],"classical":[21,78,170,193],"chains.":[23],"To":[24,99,150],"specify":[25],"qualitative":[26],"temporal":[27,32,68,80],"properties,":[28],"a":[29,48,53,96,142],"subspace-based":[30],"logic":[33,69,81],"is":[34,37,51],"used,":[35],"which":[36],"built":[38],"on":[39],"Birkhoff-von":[40],"Neumann":[41],"atomic":[42,86],"propositions.":[43],"These":[44],"propositions":[45,87],"determine":[46],"whether":[47],"state":[50,58],"within":[52],"subspace":[54],"the":[56,65,91,104,132,152,178],"entire":[57],"space.":[59],"In":[60],"this":[61,174],"paper,":[62],"we":[63,102,158,176],"propose":[64],"measurement-based":[66],"linear-time":[67,79,164],"MLTL":[70,75,148],"check":[72],"quantitative":[73],"properties.":[74],"builds":[76],"upon":[77],"(LTL)":[82],"but":[83],"introduces":[84],"that":[88],"reason":[89],"about":[90],"probability":[92],"distribution":[93],"after":[94],"measuring":[95],"state.":[98],"facilitate":[100],"verification,":[101,175],"extend":[103],"symbolic":[105],"dynamics-based":[106],"for":[108,138],"stochastic":[109],"matrices":[110],"described":[111],"by":[112,183],"Agrawal":[113],"et":[114,185],"al.":[115,186],"(JACM":[116],"2015)":[117],"handle":[119],"more":[120],"general":[121],"linear":[123],"operators":[124],"(super-operators)":[125],"through":[126],"eigenvalue":[127],"analysis.":[128],"This":[129],"enables":[131],"development":[133],"efficient":[136],"algorithm":[137],"approximately":[139],"model":[140],"checking":[141],"chain":[145],"against":[146],"formula.":[149],"demonstrate":[151],"utility":[153],"our":[155],"model-checking":[156],"algorithm,":[157],"use":[159],"it":[160],"simultaneously":[162],"verify":[163],"properties":[165],"both":[167],"random":[171,194],"walks.":[172,203],"Through":[173],"confirm":[177],"previously":[179],"established":[180],"advantages":[181],"discovered":[182],"Ambainis":[184],"(STOC":[187],"2001)":[188],"walks":[191,195],"over":[192],"discover":[197],"new":[198],"phenomena":[199],"unique":[200]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}