Researcher profile

Ashkan Mohammadi

Ashkan Mohammadi contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 19 - Baseline
5works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2022arXiv

First-order variational analysis of non-amenable composite functions

This paper is devoted to studying the first-order variational analysis of non-convex and non-differentiable functions that may not be subdifferentially regular. To achieve this goal, we entirely rely on two concepts of directional derivatives known as subderivative and semi-derivative. We establish the exact chain and sum rules for this class of functions via these directional derivatives. These calculus rules provide an implementable auto-differentiation process such as back-propagation in composite functions. The latter calculus rules can be used to identify the directional stationary points defined by the subderivative. We show that the distance function of a geometrically derivable constraint set is semi-differentiable, which opens the door for designing first-order algorithms for non-Clarke regular constrained optimization problems. We propose a first-order algorithm to find a directional stationary point of non-Clarke regular and perhaps non-Lipschitz functions. We introduce a descent property under which we establish the non-asymptotic convergence of our method with rate $O(\varepsilon^{-2})$, akin to gradient descent for smooth minimization. We show that the latter descent property holds for free in some interesting non-amenable composite functions, in particular, it holds for the Moreau envelope of any bounded-below function.

preprint2022arXiv

Penalty methods to compute stationary solutions in constrained optimization problems

This paper is devoted to studying the stationary solutions of a general constrained optimization problem through its associated unconstrained penalized problems. We aim to answer the question, "what do the stationary solutions of a penalized unconstrained problem tell us about the solutions of the original constrained optimization problem?". We answer the latter question by establishing relationships between global (local) minimizers and stationary points of the two optimization problems. Given the strong connection between stationary solutions between problems, we introduce a new approximate $\varepsilon$-stationary solution for the constrained optimization problems. We propose an algorithm to compute such an approximate stationary solution for a general constrained optimization problem, even in the absence of Clarke regularity. Under reasonable assumptions, we establish the rate $O(\varepsilon^{-2})$ for our algorithm, akin to the gradient descent method for smooth minimization. Since our penalty terms are constructed by the powers of the distance function, our stationarity analysis heavily depends on the generalized differentiation of the distance function. In particular, we characterize the (semi-)differentiability of the distance function $\mbox{dist}(. ;X)$ defined by a Fréchet smooth norm, in terms of the geometry of the set $X$. We show that $\mbox{dist} (. ;X)$ is semi-differentiable if and only if $X$ is geometrically derivable. The latter opens the door to design optimization algorithms for constrained optimization problems that suffer from Clarke irregularity in their objectives and constraint functions.

preprint2020arXiv

Parabolic Regularity in Geometric Variational Analysis

The paper is mainly devoted to systematic developments and applications of geometric aspects of second-order variational analysis that are revolved around the concept of parabolic regularity of sets. This concept has been known in variational analysis for more than two decades while being largely underinvestigated. We discover here that parabolic regularity is the key to derive new calculus rules and computation formulas for major second-order generalized differential constructions of variational analysis in connection with some properties of sets that go back to classical differential geometry and geometric measure theory. The established results of second-order variational analysis and generalized differentiation, being married to the developed calculus of parabolic regularity, allow us to obtain novel applications to both qualitative and quantitative/numerical aspects of constrained optimization including second-order optimality conditions, augmented Lagrangians, etc. under weak constraint qualifications.

preprint2020arXiv

Stability of KKT systems and superlinear convergence of the SQP method under parabolic regularity

This paper pursues a two-fold goal. Firstly, we aim to derive novel second-order characterizations of important robust stability properties of perturbed Karush-Kuhn-Tucker systems for a broadclass of constrained optimization problems generated by parabolically regular sets. Secondly, the obtained characterizations are applied to establish well-posedness and superlinear convergence of the basic sequential quadratic programming method to solve parabolically regular constrained optimization problems.

preprint2020arXiv

Twice epi-differentiability of extended-real-valued functions with applications in composite optimization

The paper is devoted to the study of the twice epi-differentiablity of extended-real-valued functions, with an emphasis on functions satisfying a certain composite representation. This will be conducted under the parabolic regularity, a second-order regularity condition that was recently utilized in [13] for second-order variational analysis of constraint systems. Besides justifying the twice epi-differentiablity of composite functions, we obtain precise formulas for their second subderivatives under the metric subregularity constraint qualification. The latter allows us to derive second-order optimality conditions for a large class of composite optimization problems.