Mathematical Analysis of High-Dimensional Algorithms and Models