{"id":4850,"date":"2018-11-28T12:30:17","date_gmt":"2018-11-28T04:30:17","guid":{"rendered":"https:\/\/www.zlaire.net\/events\/previous\/?p=4850"},"modified":"2018-12-26T10:27:35","modified_gmt":"2018-12-26T02:27:35","slug":"quanlong-wang","status":"publish","type":"post","link":"https:\/\/www.zlaire.net\/events\/previous\/2018\/11\/quanlong-wang\/","title":{"rendered":"Quanlong Wang: Categorical Quantum Mechanics and the Quantum Diagram Reasoning System"},"content":{"rendered":"

\u897f\u6eaa\u903b\u8f91\u8bba\u575b\u7b2c97\u671f<\/strong><\/p>\n

\"\"<\/a>Date:<\/strong> 7 December 2018 (13:30-15:00)
\nVenue:<\/strong> Room 259, Main Teaching Building, Xixi Campus, Zhejiang University
\nSpeaker:<\/strong> Dr. Quanlong Wang (University of Oxford)
\nTitle:<\/strong> Categorical Quantum Mechanics and the Quantum Diagram Reasoning System
\nAbstract:<\/strong> The standard framework for quantum theory was given by John von Neumann using the Hilbert Space theory. One of the restrictions of this framework lies in heavily relying on matrix calculations, thus too low-level for quantum computation and quantum information. In view of this, Samson Abramsky and Bob Coecke proposed Categorical Quantum Mechanics (CQM) as a high-level language for quantum theory based on Compact Closed Categories, with the Hilbert Space framework as its standard model (semantics). The main feature of CQM is that each formula can be represented as an intuitive diagram in a mathematically strict way. However, to fully perform quantum diagram reasoning, one needs an important property known as completeness, i.e., an equation of diagrams must be true in CQM if the semantics of the equation is true in the Hilbert Space framework.  The quantum diagram reasoning system has a particular name called ZX-calculus. In this talk, we first give an introduction to the theory of CQM, then we show by examples the diagram reasoning in the ZX-calculus. Finally, we describe some further work in the field of CQM.<\/p>\n

\u4e3b\u8bb2\u4eba\u7b80\u4ecb\uff1a<\/strong>
\n\u738b\u5168\u9f99\uff0c\u6c5f\u897f\u6cf0\u548c\u4eba\u30022004\u5e74\u535a\u58eb\u6bd5\u4e1a\u4e8e\u4e2d\u56fd\u79d1\u5b66\u9662\u7814\u7a76\u751f\u9662\u5e94\u7528\u6570\u5b66\u4e13\u4e1a\uff0c2006\u5e74\u81f32016\u5e74\u4efb\u804c\u4e8e\u5317\u4eac\u822a\u7a7a\u822a\u5929\u5927\u5b66\u6570\u5b66\u4e0e\u7cfb\u7edf\u79d1\u5b66\u5b66\u9662\uff0c2018\u5e74\u535a\u58eb\u6bd5\u4e1a\u4e8e\u725b\u6d25\u5927\u5b66\u8ba1\u7b97\u673a\u7cfb\uff0c\u73b0\u4e3a\u725b\u6d25\u5927\u5b66\u8ba1\u7b97\u673a\u7cfb\u91cf\u5b50\u7ec4\u535a\u58eb\u540e\u3002<\/p>\nngg_shortcode_0_placeholder\n","protected":false},"excerpt":{"rendered":"

\u897f\u6eaa\u903b\u8f91\u8bba\u575b\u7b2c97\u671f Date: 7 December 2018 (13:30-15:00) Venue: Room 259, Main Teaching Building, Xixi Campus, Zhejiang University Speaker: Dr. Quanlong Wang (University of Oxford) Title: Categorical Quantum Mechanics and the Quantum Diagram Reasoning System Abstract: The standard framework for quantum theory was given by …<\/span> Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"footnotes":""},"categories":[1],"tags":[],"class_list":["post-4850","post","type-post","status-publish","format-standard","hentry","category-invited-talks"],"_links":{"self":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/4850","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/comments?post=4850"}],"version-history":[{"count":11,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/4850\/revisions"}],"predecessor-version":[{"id":4966,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/4850\/revisions\/4966"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=4850"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/categories?post=4850"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/tags?post=4850"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}