Difference between revisions of "Book/Picturing Quantum Processes"

From PKC
Jump to navigation Jump to search
 
(9 intermediate revisions by the same user not shown)
Line 5: Line 5:
|first2=Aleks
|first2=Aleks
|last2=Kissinger
|last2=Kissinger
|author-link=Bob Coecke
|author-link1=Bob Coecke
|author-link2=Aleks Kissinger
|date=2017
|date=2017
|publisher=Cambridge University Press
|publisher=Cambridge University Press
Line 15: Line 16:
<noinclude>
<noinclude>


This book is closely related to [[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>.
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=
=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.
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==
==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>.  
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 and Matrix Algebra===
{{:Double Entry Bookkeeping/Matrix Algebra}}
{{:Double Entry Bookkeeping/Matrix Algebra}}
Line 29: Line 34:
[[Authored by::Aleks Kissinger]]
[[Authored by::Aleks Kissinger]]


[[Category:Diagram]]
[[Category:Visual Programming]]
[[Category:Diagram:Category Theory]]
[[Category:Categorical Quantum Mechanics]]
[[Category:Diagram:Meta physics]]
[[Category:String Diagram]]
[[Category:Diagram:Quantum physics]]
[[Category:ZX-calculus]]
</noinclude>
</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. ↑ 1.0 1.1 Gardner, Martin (1958). Logic machines and diagrams. local page: McGraw-Hill Book Company, Inc. 
  2. ↑ Glasgow; Narayanan; Chandrasekaran, eds. (1995). Diagrammatic Reasoning:Cognitive and Computational Perspectives. local page: MIT Press. ISBN 9780262571128. 
  3. ↑ Coecke, Bob (Oct 4, 2005). Kindergarten Quantum Mechanics (PDF). local page: arXiv. 
  4. ↑ Coecke, Bob (Nov 14, 2017). Bob Coecke: From quantum processes to cognition via pictures. local page: Latvijas Universitāte. 
  5. ↑ Coecke, Bob; Kissinger, Aleks (2017). Picturing Quantum Processes. local page: Cambridge University Press. ISBN 978-1316219317. 
  6. ↑ 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. 
  7. ↑ 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. 
  8. ↑ Lambek, Joachim (1958). The Mathematics of Sentence Structure (PDF). 65 (3). local page: The American Mathematical Monthly. p. 154–170. ISSN 0002-9890. 
  9. ↑ 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. 
  10. ↑ 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. 
  11. ↑ 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. 
  12. ↑ Rawls, John (1999). A Theory of Justice (PDF) (Revised ed.). local page: Harvard University Press. ISBN 0-674-00078-1. 

Related Pages

Bob Coecke Aleks Kissinger

Retrieved from "https://pkc.pub/index.php?title=Book/Picturing_Quantum_Processes&oldid=29389"