PhD Seminar • Quantum Computing — Verified Compilation of Space-Efficient Reversible Circuits
Matthew Amy, PhD candidate
David R. Cheriton School of Computer Science
Matthew Amy, PhD candidate
David R. Cheriton School of Computer Science
We study the role of Hamiltonian complexity in the performance of quantum annealers. It is well-known that non-stoquastic Hamiltonians are more complex than stoquastic Hamiltonians and universal adiabatic quantum computing is possible when they are employed. Here we ask whether utilizing non-stoquastic Hamiltonians in quantum annealers can lead to a better performance in solving optimization problems.
Speaker: Twesh Upadhyaya
Colloquium
PhD candidate: Daniel Puzzuoli
Supervisor: John Watrous
Thesis available from MGO - mgo@uwaterloo.ca
M.Sc. Candidate: Ramy Tannous
Supervisor: Thomas Jennewein
The thesis has been deposited in the Faculty of Science Graduate Office, PHY 2013, and is available for perusal.
PhD Candidate: Ian Hincks
Supervisors: David Cory, Joseph Emerson
Thesis available from MGO - mgo@uwaterloo.ca
I will take this opportunity to share with the Waterloo quantum community the thinkings behind Alibaba Group's quantum computing program and our main activities. Questions and comments from the audience are welcome.
About the speaker: Yaoyun Shi is a computer scientist trained at Beijing University, Princeton, and Caltech. He taught at University of Michigan before moving to Alibaba to launch its quantum computing program.
Understanding the computational power of multi-prover interactive proofs where the provers may share entanglement -- the complexity class MIP* -- is a central question in quantum computation. In 2012, Ito and Vidick showed that this model is at least as powerful as MIP, i.e. NEXP is contained in MIP*.
When a quantum system is monitored with a sequence of measurements, its evolution is given by a stochastic quantum trajectory. At any time the state, and therefore any prediction we can make about an observable, is dependent on previous measurement outcomes. Past quantum state, on the other hand, is a general theory that allows us to include the information collected about the system with later measurements.