Since 2002 Perimeter Institute has been recording seminars, conference talks, and public outreach events using video cameras installed in our lecture theatres. Perimeter now has 7 formal presentation spaces for its many scientific conferences, seminars, workshops and educational outreach activities, all with advanced audio-visual technical capabilities. Recordings of events in these areas are all available On-Demand from this Video Library and on Perimeter Institute Recorded Seminar Archive (PIRSA). PIRSA is a permanent, free, searchable, and citable archive of recorded seminars from relevant bodies in physics. This resource has been partially modelled after Cornell University's arXiv.org.
After a review of the axiomatic formulation of quantum theory, the generalized operational structure of the theory will be introduced (including POVM measurements, sequential measurements, and CP maps). There will be an introduction to the orthodox (sometimes called Copenhagen) interpretation of quantum mechanics and the historical problems/issues/debates regarding that interpretation, in particular, the measurement problem and the EPR paradox, and a discussion of contemporary views on these topics.
For centuries, scientists have attempted to identify analytical laws that underlie physical phenomena in nature. Despite today’s computing power, the process of finding natural laws and their corresponding equations has resisted automation. A key challenge to finding analytic relations automatically – that is, building an autonomous robot - is defining algorithmically what makes a correlation in observed data important and insightful.
Are Quantum Mechanics and Special Relativity unrelated theories? Is Quantum Field Theory an additional theoretical layer over them? Where the quantization rules and the Plank constant come from? All these questions can find answer in the computational paradigm: "the universe is a huge quantum computer".
How can we describe a device that takes two unknown operational boxes
and conditionally on some input variable connects them in different
orders? In order to answer this question, I will introduce maps from
transformations to transformations within operational probabilistic
theories with purification, and show their characterisation in terms
of operational circuits. I will then proceed exploring the hierarchy
of maps on maps. A particular family of maps in the hierarchy are the