Announcements

• Here is a link to Gerardo's slides

• Here is a link to Larisse's slides

• Gerardo Ortiz from the Physics department will be giving us a lecture this Thursday 7 Dec. He is also teaching a course on quantum information next semester that I encourage you all to check out.

• Next week I will hand the teaching evaluation forms. Please try to turn in all your work (assignments and projects) by the end of next week.

• As discussed in class today, the last assignment is to implement Shor's algorithm. It is due after the break.

• Here are pointers to Kyle's slides: Introduction and arrows implementation and examples.

• Here is an idea that I would love for somebody to develop as a project. The paper A Classical Analogue of Entanglement argues that various quantum phenomena have close analogues in communication protocols. In particular, Section III (starting on p.4), outlines a connection between the quantum teleportation experiment and the classical one-time pad communication protocol. It would be great if somebody implemented the two experiments using our arrow-based approach: choosing one implementation of the arrows combinators would give the one-time pad protocol; choosing another implementation would give the teleportation experiment!

• Toshi recommends the following papers related to his presentation on the Penrose-Hameroff model of quantum consciousness/cognition: Link to an HTML version of a short paper, PDF version of the same short paper, Link to an HTML version of a more detailed and longer paper.

• Toshi also mentions two interesting papers on the connections between quantum computing and cognition: Brain as Quantum Computer and A Quantum Mechnical Approach to Cognition and Representation.

• 13 Oct 2006: In response to a question in class about whether two different observers could disagree about whether a state is entangled or not, I found the following paper: Is Entanglement observer-dependent?

• 8 Oct 2006: I have not heard from most of you about your projects. Please make your project selections soon. If you have questions please come see me.

• 8 Oct 2006: Thanks to Adrian German for pointing me to the following lectures on quantum computation by David Deutsch. I have only watched a part of the first lecture and I found it quite interesting: it is both an introduction to quantum computing, physics, and the "many universes" interpretation of quantum mechanics.

• 3 Oct 2006: Here is a link to the original paper on logical reversibility by Bennett.

• 22 Sep 2006: Here is my solution to Assignment 2.

• 21 Sep 2006: Here is the code for today's lecture: CC.hs

• 19 Sep 2006: In the version of Vec.hs posted earlier, matrices were printed rotated. I fixed it in the current version.

• 19 Sep 2006: Assignment 3 is posted.

• 14 Sep 2006: Here is the code for today's lecture: Algebra.hs, Vec.hs, and a new version of Util.hs.

• 14 Sep 2006: ghc has been installed on all the CS machines. Please give it a try.

• 13 Sep 2006: To all those who gave me their first assignment: good job!

• 12 Sep 2006: Here is the code for today's lecture: X.hs

• 8 Sep 2006: Assignment 2 is posted.

• 7 Sep 2006: Here is the code for today's lecture: A.hs and Util0.hs

• 4 Sep 2006: This week we will cover until Sec. 3.5 of Selinger's QPL paper

• 31 Aug 2006: Assignment 1 confusingly used "phase gate" to refer to the gate called "V" in the paper. The description has been fixed.

• 28 Aug 2006: For the next couple of lectures, we will try to go through Sections 1 and 2 of this paper. Please try to read them in advance.

• 3 Aug 2006: Welcome