Monday, July 25, 2011

Suppressing decoherence

Some progress towards suppressing decoherence, a major stumbling block towards physical implementations of quantum computers.

Saturday, July 16, 2011

Dave Bacon Moves to Google

I came across this: Dave Bacon, previously at the University of Washington, has moved on to Google. Is the commercialization of quantum computing on the horizon?

Michael Nielsen on Open Science

Michael Nielsen of [1] fame on open science:



[1] Nielsen, Michael A., and Isaac L. Chuang. Quantum Computation and Quantum Information. 2008. 1 ed. Cambridge, UK: Cambridge University Press, 2000. 8.

Tuesday, June 28, 2011

Wednesday, June 22, 2011

Paper: Verification of Quantum Programs

I'm of the opinion that formal verification of programs has a limited set of applications, in large part due to the "good enough" software principle. Nonetheless, it is nice to see work in the quantum programming area. Here's a just posted paper on arXiv: Verification of Quantum Programs by Ying, Yu, Feng, and Duan.

Monday, June 6, 2011

Cooling through computation

Erasing data generates heat. For example, an And gate can erase data because if you get a false (0) you don't know if the inputs were both false or if just one of them were 0. Hence quantum computers need to perform reversible operations. Here is some pretty cool work on cooling computers by the computations they perform.