I just opened the following question:
Are there any learning algorithms with any provable guarantees for manifold learning or manifold regularization?
the question is mainly about algorithms and guarantees that might come with it. The topic is also an intersection of computer science and machine learning. However, the focus is mainly on algorithms. Since manifolds are a topic that is more likely to be known by the (purer) mathematics community of researchers, I was considering migrate this question and put it on MO instead. However, I was not sure if that was a good idea. Obviously, cross-posting is kind of not appropriate (right?). So I was unsure how to proceed. How do people on math overflow feel? Does it belong better here or in cs theory?