Kindergarden quantum mechanics graduates ...or how I learned to stop gluing LEGO together and love the ZX-calculus

THEORETICAL COMPUTER SCIENCE(2022)

引用 14|浏览18
暂无评分
摘要
This paper is a 'spiritual child' of the 2005 lecture notes Kindergarten Quantum Mechanics Coecke (2005) [24], which showed how a simple, pictorial extension of Dirac notation allowed several quantum features to be easily expressed and derived, using language even a kindergartner can understand. Central to that approach was the use of pictures and pictorial transformation rules to understand and derive features of quantum theory and computation. However, this approach left many wondering 'where's the beef?' In other words, was this new approach capable of producing new results, or was it simply an aesthetically pleasing way to restate stuff we already know? The aim of this sequel paper is to say 'here's the beef and highlight some of the major results of the approach advocated in Kindergarten Quantum Mechanics, and how they are being applied to tackle practical problems on real quantum computers. Toward that end, we will focus mainly on what has become the Swiss army knife of the pictorial formalism: the ZX-calculus, a graphical tool for representing and manipulating complex linear maps on 2(N) dimensional space. First we look at some of the ideas behind the ZX-calculus, comparing and contrasting it with the usual quantum circuit formalism. We then survey results from the past few years falling into three categories: (1) completeness of the rules of the ZX-calculus, (2) state-of-the-art quantum circuit optimisation results in commercial and open-source quantum compilers relying on ZX, and (3) the use of ZX in translating real-world stuff like natural language into quantum circuits that can be run on today's (very limited) quantum hardware. We also take the title literally, and outline an ongoing experiment aiming to show that ZX-calculus enables children to do cutting-edge quantum computing stuff. If anything, this would truly confirm that 'kindergarten quantum mechanics' wasn't just a joke. (C) 2021 Elsevier B.V. All rights reserved.
更多
查看译文
关键词
Quantum computing,Quantum hardware (NISQ),Quantum picturalism,Rewriting,Mathematics education
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要