Last month Scott Aaronson was kind enough to invite me out to MIT to give a seminar to the quantum information group. I presented a small uniqueness theorem which I think is an important intermediary result on the way to solving the set selection problem (or, equivalently, to obtaining an algorithm for breaking the wavefunction of the universe up into branches). I’m not sure when I’ll have a chance to write this up formally, so for now I’m just making the slides available here.

Scott’s a fantastic, thoughtful host, and I got a lot of great questions from the audience. Thanks to everyone there for having me.