Partial smoothness of the functions in Theorem 2
Partial smoothness conjecture. The functions described in Theorem 2 are most likely partially smooth.
MathDB