In this paper, we focus on the problem of minimizing a non-convex function over the unit simplex. We analyze two well-known and widely used variants of the Frank-Wolfe algorithm and first prove global convergence of the iterates to stationary points both when using exact and Armijo line search. Then we show that the algorithms identify the support in a finite number of iterations. This, to the best of our knowledge, is the first time a manifold identification property has been shown for such a class of methods.
Technical Report, 2018