So, are there any public key algorithms that're either (1) proven not to be crackable to quantum computers, or (2) believed not to be so?
Chris Peikert has some recent results on the topic: http://www.cc.gatech.edu/fac/cpeikert/pubs/svpcrypto.pdf
Oded Regev has also done quite a bit of relevant work.
Current quantum cryptography systems have already been cracked to some extent: http://spectrum.ieee.org/computing/it/quantum-cryptography-c...