Difference between revisions of "Book/Picturing Quantum Processes"
| (27 intermediate revisions by the same user not shown) | |||
| Line 5: | Line 5: | ||
|first2=Aleks | |first2=Aleks | ||
|last2=Kissinger | |last2=Kissinger | ||
|author-link1=Bob Coecke | |||
|author-link2=Aleks Kissinger | |||
|date=2017 | |||
|publisher=Cambridge University Press | |publisher=Cambridge University Press | ||
|url=https://www.cambridge.org/id/academic/subjects/physics/quantum-physics-quantum-information-and-quantum-computation/picturing-quantum-processes-first-course-quantum-theory-and-diagrammatic-reasoning?format=HB&isbn=9781107104228 | |url=https://www.cambridge.org/id/academic/subjects/physics/quantum-physics-quantum-information-and-quantum-computation/picturing-quantum-processes-first-course-quantum-theory-and-diagrammatic-reasoning?format=HB&isbn=9781107104228 | ||
| Line 10: | Line 13: | ||
|location=[[Book/Picturing Quantum Processes|local page]] | |location=[[Book/Picturing Quantum Processes|local page]] | ||
}} | }} | ||
<noinclude> | |||
While reading this book, I recommend readers to also look at [[Book/Logic machines and diagrams|Logic machines and diagrams]]<ref name=LogicMachine>{{:Book/Logic machines and diagrams}}</ref> and [[Book/Diagrammatic Reasoning|Diagrammatic Reasoning]]<ref>{{:Book/Diagrammatic Reasoning}}</ref>. Coecke also wrote a paper on how to teach quantum pictural process to kindergarten kids<ref>{{:Paper/Kindergarten Quantum Mechanics}}</ref>. | |||
=Interesting Ideas in this book= | |||
This book is about using pictorial representation to describe quantum processes. This statement meant that this diagrammatic language could be a generic symbolic system to represent any physical process, since quantum process is really just a way approximate physical phenomenon in a discrete symbol system. To get a good introductory talk, watch [[Bob Coecke]]'s talk on [[Video/Bob Coecke: From quantum processes to cognition via pictures|From quantum processes to cognition via pictures]]<ref>{{:Video/Bob Coecke: From quantum processes to cognition via pictures}}</ref>. | |||
==Quantum Maps from Doubling== | |||
From chapter 6.1 of this book<ref name="PQP">{{:Book/Picturing Quantum Processes}}</ref>, the notion of '''doubling''' is applied to generate probabilities<ref extends="PQP"> Chap 6.1.1, p.253</ref>, and eliminate global phases<ref extends="PQP"> Chap 6.1.2, p.257</ref>. The notion of '''doubling''' maybe related to the notion of [[Double Entry Bookkeeping]]<ref>{{:Book/Summa de Arithmetica, Geometria, Proportioni et Proportionalita}}</ref>. This directlu relates to the idea of [[Data Governance]]<ref>{{:Book/Data Governance - The Definitive Guide}}</ref>. | |||
It is important to note that this book states that [[pure quantum map]]s is a subtheory of [[linear map]]s. | |||
pure quantum maps <math>\subseteq</math> linear maps | |||
==A historical account of Diagrammatic Reasoning== | |||
[[Martin Gardner]]'s book on [[Book/Logic machines and diagrams|Logic machines and diagrams]]<ref name=LogicMachine/> is a great starting point to see how logic and process visualization comes together. Chapter 3 of the book: A Network Diagram for the Propositional Calculus<ref extends=LogicMachine>Chapter 3: A Network Diagram for the Propositional Calculus, P.60</ref> is particularly relevant to Quantum Circuit visualization. He also explicitly mentioned that he was influenced by [[Joachim Lambek]]<ref>{{:Paper/The Mathematics of Sentence Structure}}</ref>. | |||
===Double Entry Bookkeeping and Matrix Algebra=== | |||
{{:Double Entry Bookkeeping/Matrix Algebra}} | |||
=References= | |||
<references/> | |||
==Related Pages== | |||
[[Authored by::Bob Coecke]] | |||
[[Authored by::Aleks Kissinger]] | |||
[[Category:Visual Programming]] | |||
[[Category:Categorical Quantum Mechanics]] | |||
[[Category:String Diagram]] | |||
[[Category:ZX-calculus]] | |||
</noinclude> | |||
Latest revision as of 22:05, 19 April 2022
Coecke, Bob; Kissinger, Aleks (2017). Picturing Quantum Processes. local page: Cambridge University Press. ISBN 978-1316219317.
While reading this book, I recommend readers to also look at Logic machines and diagrams[1] and Diagrammatic Reasoning[2]. Coecke also wrote a paper on how to teach quantum pictural process to kindergarten kids[3].
Interesting Ideas in this book
This book is about using pictorial representation to describe quantum processes. This statement meant that this diagrammatic language could be a generic symbolic system to represent any physical process, since quantum process is really just a way approximate physical phenomenon in a discrete symbol system. To get a good introductory talk, watch Bob Coecke's talk on From quantum processes to cognition via pictures[4].
Quantum Maps from Doubling
From chapter 6.1 of this book[5], the notion of doubling is applied to generate probabilitiesCite error: Invalid <ref> tag; invalid names, e.g. too many, and eliminate global phasesCite error: Invalid <ref> tag; invalid names, e.g. too many. The notion of doubling maybe related to the notion of Double Entry Bookkeeping[6]. This directlu relates to the idea of Data Governance[7].
It is important to note that this book states that pure quantum maps is a subtheory of linear maps.
pure quantum maps linear maps
A historical account of Diagrammatic Reasoning
Martin Gardner's book on Logic machines and diagrams[1] is a great starting point to see how logic and process visualization comes together. Chapter 3 of the book: A Network Diagram for the Propositional CalculusCite error: Invalid <ref> tag; invalid names, e.g. too many is particularly relevant to Quantum Circuit visualization. He also explicitly mentioned that he was influenced by Joachim Lambek[8].
Double Entry Bookkeeping and Matrix Algebra
This historical relationship has been documented in many well known publications[9][10][11] and A Theory of Justice[12].
References
- ↑ 1.0 1.1 Gardner, Martin (1958). Logic machines and diagrams. local page: McGraw-Hill Book Company, Inc.
- ↑ Glasgow; Narayanan; Chandrasekaran, eds. (1995). Diagrammatic Reasoning:Cognitive and Computational Perspectives. local page: MIT Press. ISBN 9780262571128.
- ↑ Coecke, Bob (Oct 4, 2005). Kindergarten Quantum Mechanics (PDF). local page: arXiv.
- ↑ Coecke, Bob (Nov 14, 2017). Bob Coecke: From quantum processes to cognition via pictures. local page: Latvijas Universitāte.
- ↑ Coecke, Bob; Kissinger, Aleks (2017). Picturing Quantum Processes. local page: Cambridge University Press. ISBN 978-1316219317.
- ↑ Pacioli, Luca (1494). Summa de Arithmetica, Geometria, Proportioni et Proportionalita: Distintio Nona, Tractus XI, Particularis de Computis et Scripturis [Pacioli on Accounting]. Translated by R.G., Brown; K.S, Johnston. local page: McGraw-Hill.
- ↑ Eryurek, Evren; Gilad, Uri; Lakshmanan, Valliappa; Kibunguchy-Grant, Anita; Ashdown, Jessi (2021). Data Governance - The Definitive Guide : People, Processes, and Tools to Operationalized Data Turstworthiness. local page: O'Reilly Press. ISBN 9781492063490.
- ↑ Lambek, Joachim (1958). The Mathematics of Sentence Structure (PDF). 65 (3). local page: The American Mathematical Monthly. p. 154–170. ISSN 0002-9890.
- ↑ Demski, Joel; Fitzgerald, S.; Ijiri, Yuji; Ijiri, Yumi; Lin, Haijin (2009). "Quantum information and accounting information: Exploring conceptual applications of topology". 28. local page: Journal of Accounting and Public Policy: 133–147.
- ↑ Demski, Joel; Fitzgerald, S.; Ijiri, Yuji; Ijiri, Yumi; Lin, Haijin (2006). "Quantum information and accounting information: Their salient features and conceptual applications". 28. local page: Journal of Accounting and Public Policy: 435–464.
- ↑ Demski, Joel; Fitzgerald, S.; Ijiri, Yuji; Ijiri, Yumi; Lin, Haijin (August 2006). "Quantum Information and Accounting Information: A Revolutionary Trend and the World of Topology" (PDF). local page.
- ↑ Rawls, John (1999). A Theory of Justice (PDF) (Revised ed.). local page: Harvard University Press. ISBN 0-674-00078-1.