Prev: SAT Reduction by removing variables.
Next: Category theory for understanding the internet
From: Ben on 20 Jan 2008 12:42
Hey,

I made the following theorem while working at the perimeter
institute. I never published it.

Lemma
Given any lie group L and some finitely presentable group G, if there
is a representation of G in L, and if G is infinite, then G is dense
in some submanifold of L.

Theorem
A one way measure once quantum automaton solves the word problem for a
finitely presentable group G
1) with bounded error if G is finite
2) with unbounded error if G is infinite



Ben

 | 
Pages: 1
Prev: SAT Reduction by removing variables.
Next: Category theory for understanding the internet