{"title":"Quantum Linear Optics via String Diagrams","authors":"Giovanni de Felice, Bob Coecke","doi":"10.4204/eptcs.394.6","DOIUrl":"https://doi.org/10.4204/eptcs.394.6","url":null,"abstract":"","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":"5 9","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136229663","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Dynamic Qubit Routing with CNOT Circuit Synthesis for Quantum Compilation","authors":"Arianne Meijer-van de Griend, Sarah Meng Li","doi":"10.4204/eptcs.394.18","DOIUrl":"https://doi.org/10.4204/eptcs.394.18","url":null,"abstract":"","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":"5 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136229670","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Kartik Singhal, Kesha Hietala, Sarah Marshall, Robert Rand
{"title":"Q# as a Quantum Algorithmic Language","authors":"Kartik Singhal, Kesha Hietala, Sarah Marshall, Robert Rand","doi":"10.4204/eptcs.394.10","DOIUrl":"https://doi.org/10.4204/eptcs.394.10","url":null,"abstract":"","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":"5 12","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136229660","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Formal Verification of Zero-Knowledge Circuits","authors":"Alessandro Coglio, Eric McCarthy, Eric W. Smith","doi":"10.4204/eptcs.393.9","DOIUrl":"https://doi.org/10.4204/eptcs.393.9","url":null,"abstract":"","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":"5 10","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136229662","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Symbolic Synthesis of Clifford Circuits and Beyond","authors":"Matthew Amy, Owen Bennett-Gibbs, Neil J. Ross","doi":"10.4204/eptcs.394.17","DOIUrl":"https://doi.org/10.4204/eptcs.394.17","url":null,"abstract":"","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":"4 8","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136229676","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We use purity, a principle borrowed from the foundations of quantum information, to show that all special symmetric $dagger$-Frobenius algebras in $operatorname{CPM}left(operatorname{fHilb}right)$ -- and, in particular, all classical structures -- are canonical, i.e. that they arise by doubling of special symmetric $dagger$-Frobenius algebras in $operatorname{fHilb}$. This provides an exact classification of finite-dimensional quantum observables.
{"title":"Finite-dimensional Quantum Observables are the Special Symmetric Dagger-Frobenius Algebras of CP Maps","authors":"Stefano Gogioso","doi":"10.4204/eptcs.394.21","DOIUrl":"https://doi.org/10.4204/eptcs.394.21","url":null,"abstract":"We use purity, a principle borrowed from the foundations of quantum information, to show that all special symmetric $dagger$-Frobenius algebras in $operatorname{CPM}left(operatorname{fHilb}right)$ -- and, in particular, all classical structures -- are canonical, i.e. that they arise by doubling of special symmetric $dagger$-Frobenius algebras in $operatorname{fHilb}$. This provides an exact classification of finite-dimensional quantum observables.","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":"9 12","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136227559","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory","authors":"Masanao Ozawa","doi":"10.4204/eptcs.394.1","DOIUrl":"https://doi.org/10.4204/eptcs.394.1","url":null,"abstract":"","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":"4 12","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136229672","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications","authors":"Alessandro Coglio, Sol Swords","doi":"10.4204/eptcs.393.0","DOIUrl":"https://doi.org/10.4204/eptcs.393.0","url":null,"abstract":"","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":"1 7","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136229648","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：