[{"command":"insert","method":null,"selector":".course-modal-ajax-placeholder-952850","data":"\u003Cdiv class=\u0022container content-rte\u0022\u003E\n  \u003Cdiv class=\u0022row\u0022\u003E\n    \u003Cdiv class=\u0022box col-md-6 bg-primary text-white\u0022\u003E\n      \u003Ch2 class=\u0022h1 text-left\u0022\u003E  [M2 DiPaC] ZX calculus\n\u003C\/h2\u003E\n                  \u003Cdiv class=\u0022field-spacing\u0022\u003E\n        \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EECTS :\n          3\n        \u003C\/div\u003E\n      \u003C\/div\u003E\n                  \u003Cdiv class=\u0022field-spacing\u0022\u003E\n        \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ESemestre calendaire :\n          Semester 1\n        \u003C\/div\u003E\n      \u003C\/div\u003E\n            \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ED\u00e9tail du volume horaire\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                          \u003Cspan class=\u0022field__label h4 mt-5 \u0022\u003ECours magistraux :\u003C\/span\u003E\n                                      \u003Cspan\u003E10.5\u003C\/span\u003E\n                      \u003C\/div\u003E\n                                              \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                          \u003Cspan class=\u0022field__label h4 mt-5 \u0022\u003ETravaux dirig\u00e9s :\u003C\/span\u003E\n                                      \u003Cspan\u003E10.5\u003C\/span\u003E\n                      \u003C\/div\u003E\n                                                            \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ELangue d\u0026#039;enseignement\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003EAnglais\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EEnseignement \u00e0 distance\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003Enon\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n      \u003C\/div\u003E\n    \u003Cdiv class=\u0022box col-md-6\u0022\u003E\n            \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EPr\u00e9requis\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003E\u003Cp\u003E\u003Cstrong\u003EPrerequisites:\u003C\/strong\u003E\u003C\/p\u003E\n\u003Cul\u003E\n\u003Cli\u003ELinear Algebra\u003C\/li\u003E\n\u003Cli\u003EBasics of quantum information\u003C\/li\u003E\n\u003Cli\u003EPrior exposure to graph theory will be beneficial but is not a strict prerequisite\u003C\/li\u003E\n\u003C\/ul\u003E\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EProgramme \/ plan \/ contenus\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003E\u003Cp\u003E\u003Cstrong\u003ECourse program, plan, content:\u003C\/strong\u003E\u003C\/p\u003E\n\u003Cp\u003E\u003Cstrong\u003ETotal duration:\u003C\/strong\u003E\u0026nbsp;21 hours (6 sessions \u00d7 3,5 hours)\u003C\/p\u003E\n\u003Cul\u003E\n\u003Cli\u003E\u003Cstrong\u003ESession 1 (Lecture + TD):\u003C\/strong\u003E\u0026nbsp;Reminders of linear algebra and quantum computation concepts\u003C\/li\u003E\n\u003Cli\u003E\u003Cstrong\u003ESession 2 (Lecture + TD):\u003C\/strong\u003E\u0026nbsp;Diagrammatic approach and phase-free ZX-calculus \u2014 String diagrams, compositions, compact structure, transposition, map\/state duality, phase-free generators, first axioms\u003C\/li\u003E\n\u003Cli\u003E\u003Cstrong\u003ESession 3 (Lecture + TD):\u003C\/strong\u003E\u0026nbsp;Phase-free normal forms and CSS states \u2014 Different normal forms, reduction, CSS stabilisers to\/from ZX state\u003C\/li\u003E\n\u003Cli\u003E\u003Cstrong\u003ESession 4 (Lecture + TD):\u003C\/strong\u003E\u0026nbsp;Clifford ZX \u0026amp; Clifford normal form \u2014 new generators, new axioms, Clifford circuits to ZX translation, graph-like form, normal form, reduction, Gottesman-Knill theorem\u003C\/li\u003E\n\u003Cli\u003E\u003Cstrong\u003ESession 5 (Lecture + TD):\u003C\/strong\u003E\u0026nbsp;Clifford ZX \u0026amp; stabilisers \u2014 stabiliser groups, simplification of stabiliser groups, generation of Clifford ZX state\u003C\/li\u003E\n\u003Cli\u003E\u003Cstrong\u003ESession 6 (Lecture + TD):\u003C\/strong\u003E\u0026nbsp;Full ZX and measurements \u2014 complete set of generators, universality, circuits to ZX translation, measurements with variables, measurements as channels, verification\u003C\/li\u003E\n\u003C\/ul\u003E\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EObjectifs d\u0026#039;apprentissage\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003E\u003Cp\u003E\u003Cstrong\u003ELearning objectives:\u003C\/strong\u003E\u003C\/p\u003E\n\u003Cp\u003EAt the end of this course, students will be able to:\u003C\/p\u003E\n\u003Cul\u003E\n\u003Cli\u003ECompute the interpretation of a ZX-diagram\u003C\/li\u003E\n\u003Cli\u003ETurn circuits into ZX-diagrams \/ express quantum protocols as ZX-diagrams\u003C\/li\u003E\n\u003Cli\u003EPerform rewriting, simplify a diagram\u003C\/li\u003E\n\u003Cli\u003EPut a diagram in (phase-free\/Clifford) normal form\u003C\/li\u003E\n\u003Cli\u003EExpress a CSS\/stabiliser state as a ZX-diagram (from its stabilisers)\u003C\/li\u003E\n\u003Cli\u003EExpress channels as ZX-diagrams\u003C\/li\u003E\n\u003C\/ul\u003E\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EOrganisation g\u00e9n\u00e9rale et modalit\u00e9s p\u00e9dagogiques\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003E\u003Cp\u003E\u003Cstrong\u003EGeneral course organization and teaching modalities:\u003C\/strong\u003E\u003C\/p\u003E\n\u003Cul\u003E\n\u003Cli\u003EThe course combines\u0026nbsp;\u003Cstrong\u003Electures\u003C\/strong\u003E\u0026nbsp;introducing theoretical concepts with\u0026nbsp;\u003Cstrong\u003Eexercises\u003C\/strong\u003E\u0026nbsp;that allow students to apply and test these concepts.\u003C\/li\u003E\n\u003Cli\u003EEach 3,5-hour session blends approximately 60% lecture and 40% exercises.\u003C\/li\u003E\n\u003Cli\u003EEvaluation is done through a\u0026nbsp;\u003Cstrong\u003Efinal exam\u003C\/strong\u003E.\u003C\/li\u003E\n\u003C\/ul\u003E\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n                \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EComp\u00e9tences\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003E\u003Cp\u003E\u003Cstrong\u003ECompetencies gained in the course:\u003C\/strong\u003E\u003C\/p\u003E\n\u003Cp\u003EUpon successful completion, students will have acquired the following competencies:\u003C\/p\u003E\n\u003Cul\u003E\n\u003Cli\u003E\u003Cstrong\u003ETechnical competence:\u003C\/strong\u003E\u0026nbsp;Ability to use ZX-calculus to tackle different quantum-related problems, such as state synthesis, verification, circuit optimisation, ...\u003C\/li\u003E\n\u003Cli\u003E\u003Cstrong\u003EAnalytical competence:\u003C\/strong\u003E\u0026nbsp;Capacity to analyse quantum protocols through the diagram\u2019s interpretation and simplification, to show or disprove equivalence of protocols, etc...\u003C\/li\u003E\n\u003Cli\u003E\u003Cstrong\u003EPractical competence:\u003C\/strong\u003E\u0026nbsp;Proficiency in using ZX-calculus simplifications to show a property of the quantum program\u003C\/li\u003E\n\u003Cli\u003E\u003Cstrong\u003EProblem-solving competence:\u003C\/strong\u003E\u0026nbsp;Ability to identify how and where ZX-calculus can be used to address a quantum-related issue.\u003C\/li\u003E\n\u003Cli\u003E\u003Cstrong\u003ETransferable skills:\u003C\/strong\u003E\u0026nbsp;Experience working with a formal graphical framework, as well as rewrite systems for optimisation purposes. Analysis of quantum protocols.\u003C\/li\u003E\n\u003C\/ul\u003E\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003EBibliographie\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003E\u003Cp\u003E\u003Cstrong\u003EBibliography:\u003C\/strong\u003E\u003C\/p\u003E\n\u003Cul\u003E\n\u003Cli\u003EJohn van de Wetering. 2020. ZX-calculus for the working quantum computer scientist. Retrieved from \u003Ca rel=\u0022nofollow noopener noreferrer\u0022 target=\u0022_blank\u0022 href=\u0022https:\/\/arxiv.org\/abs\/2012.13966\u0022\u003Ehttps:\/\/arxiv.org\/abs\/2012.13966\u003C\/a\u003E\u003C\/li\u003E\n\u003Cli\u003EAleks Kissinger and John van de Wetering. 2024. Picturing Quantum Software. Preprint. Retrieved from \u003Ca rel=\u0022nofollow noopener noreferrer\u0022 target=\u0022_blank\u0022 href=\u0022https:\/\/zxcalc.github.io\/book\/\u0022\u003Ehttps:\/\/zxcalc.github.io\/book\/\u003C\/a\u003E\u003C\/li\u003E\n\u003C\/ul\u003E\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n        \u003Cdiv class=\u0022field-spacing\u0022\u003E\n      \u003Cdiv class=\u0022field__label h3 dash\u0022\u003ENature de l\u0026#039;\u00e9valuation\u003C\/div\u003E\n                        \u003Cdiv class=\u0022mt-5 text-justify\u0022\u003E\n                                      \u003Cspan\u003EEvaluation Terminale\u003C\/span\u003E\n                      \u003C\/div\u003E\n                  \u003C\/div\u003E\n      \u003C\/div\u003E\n  \u003C\/div\u003E\n\u003C\/div\u003E\n","settings":null}]