[0810.0033] M. H. Freedman “Complexity Classes as Mathematical Axioms” (ephermata: What does knot theory have to do with P^#P != NP ?) P^{PP}≠NPを仮定するとジョーンズ多項式経由で結び目の方で面白い結果が得られるとか.