FundamentalConvergenceAnalysisof Sharpness-AwareMinimization