Searcharxiv⌕ Search

arXiv subjects

Jen-Chih Yao

Publications and source records attributed to Jen-Chih Yao.

At least 37 records · Page 2Linked to original sources

Coderivatives with respect to a set of the normal cone mappings and their applications

Establishing explicit formulas of coderivatives with respect to a set of the normal cone mapping to a polyhedron, the solution set of a variational inequalities system, is one of the main goals of this paper. By using our coderivative formulas, we provide a characteristic of the Aubin property with respect to a set of that normal cone mapping and thereby give necessary optimality conditions for simple bilevel optimization problems under weak qualification conditions.

math.OC↗

Two nonmonotone multiobjective memory gradient algorithms

In this paper, two types of nonmonotone memory gradient algorithm for solving unconstrained multiobjective optimization problems are introduced. Under some suitable conditions, we show the convergence of the full sequence generated by the proposed algorithms to a weak Pareto optimal point

math.OC↗

On Error Bounds of Inequalities in Asplund Spaces

Error bounds are central objects in optimization theory and its applications. They were for a long time restricted only to the theory before becoming over the course of time a field of itself. This paper is devoted to the study of error bounds of a general inequality defined by a proper lower semicontinuous function on an Asplund space. Even though the results of the dual characterization on the error bounds of a general inequality (if one drops the convexity assumption) may not be valid, several necessary dual conditions are still obtained in terms of Fréchet/Mordukhovich subdifferentials of the concerned function at points in the solution set. Moreover, for an inequality defined by a composite-convex function that is to say by a function which is the composition of a convex function with a smooth mapping, such dual conditions also turn out to be sufficient to have the error bound property. Our work is an extension of results on dual characterizations of convex inequalities to the possibly non-convex case.

math.OC↗

Formulas for calculating of generalized differentials with respect to a set and their applications

This paper provides formulas for calculating of Fréchet and limiting normal cones with respect to a set of sets and the limiting coderivative with respect to a set of set-valued mappings. These calculations are obtained under some qualification constraints and are expressed in the similar forms of these ones of Fréchet and limiting normal cones and the limiting coderivative. By using these obtained formulas, we state explicit necessary optimality conditions with respect to a set for optimization problems with equilibrium constraints under certain qualification conditions. Some illustrated examples to obtained results are also established.

math.OC↗

The Quasi-Newton Method for the Composite Multiobjective Optimization Problems

In this paper, we introduce several new quasi-Newton methods for the composite multiobjective optimization problems (in short, CMOP) with Armijo line search. These multiobjective versions of quasi-Newton methods include BFGS quasi-Newnon method, self-scaling BFGS quasi-Newnon method, and Huang BFGS quasi-Newnon method. Under some suitable conditions, we show that each accumulation point of the sequence generated by these algorithms, if exists, is both a Pareto stationary point and a Pareto optimal point of (CMOP).

math.OC↗

On new generalized differentials with respect to a set and their applications

The notions and certain fundamental characteristics of the proximal and limiting normal cones with respect to a set are first presented in this paper. We present the ideas of the limiting coderivative and subdifferential with respect to a set of multifunctions and singleton mappings, respectively, based on these normal cones. The necessary and sufficient conditions for the Aubin property with respect to a set of multifunctions are then described by using the limiting coderivative with respect to a set. As a result of the limiting subdifferential with respect to a set, we offer the requisite optimality criteria for local solutions to optimization problems. In addition, we also provide examples to demonstrate the outcomes.

math.OC↗

Primal Characterizations of Stability of Error Bounds for Semi-infinite Convex Constraint Systems in Banach Spaces

This article is devoted to the stability of error bounds (local and global) for semi-infinite convex constraint systems in Banach spaces. We provide primal characterizations of the stability of local and global error bounds when systems are subject to small perturbations. These characterizations are given in terms of the directional derivatives of the functions that enter into the definition of these systems. It is proved that the stability of error bounds is essentially equivalent to verifying that the optimal values of several minimax problems, defined in terms of the directional derivatives of the functions defining these systems, are outside of some neighborhood of zero. Moreover, such stability only requires that all component functions entering the system have the same linear perturbation. When these stability results are applied to the sensitivity analysis of Hoffman's constants for semi-infinite linear systems, primal criteria for Hoffman's constants to be uniformly bounded under perturbations of the problem data are obtained.

math.OC↗

Optimal control problems governed by time-fractional diffusion equations with control constraint

A class of optimal control problems governed by linear fractional diffusion equation with control constraint is considered. We first establish some results on the existence of strong solution to the state equation and the existence of optimal solutions for the optimal control problem. Then we derive first-and second-order optimality conditions for locally optimal solutions to the problem.

math.OC↗

The global linear convergence rate of the proximal version of the generalized alternating direction method of multipliers for separable convex programming

To solve the separable convex optimization problem with linear constraints, Eckstein and Bertsekas introduced the generalized alternating direction method of multipliers (in short, GADMM), which is an efficient and simple acceleration scheme of the aternating direction method of multipliers. Recently, \textbf{Fang et. al} proposed the linearized version of generalized alternating direction method of multipliers (in short, L-GADMM), where one of its subproblems is approximated by a linearization strategy, and proved its worst-case $\mathcal{O}(1/t)$ convergence rate measured by the iteration complexity in both ergodic and nonergodic senses. In this paper, we introduce the doubly linearized version of generalized alternating direction method of multipliers (in short, DL-GADMM), where both the $x$-subproblem and $y$-subproblem are approximated by linearization strategies. Based on the error bound approach, we establish the linear convergence rate of both L-GADMM and DL-GADMM for separable convex optimization problem that the subdifferentials of the underlying functions are piecewise linear multifunctions. The results in this paper extend, generalize and improve some known results in the literature.

math.OC↗

Primal Characterizations of Error Bounds for Composite-convex Inequalities

This paper is devoted to primal conditions of error bounds for a general function. In terms of Bouligand tangent cones, lower Hadamard directional derivatives and the Hausdorff-Pompeiu excess of subsets, we provide several necessary and/or sufficient conditions of error bounds with mild assumptions. Then we use these primal results to characterize error bounds for composite-convex functions (i.e. the composition of a convex function with a continuously differentiable mapping). It is proved that the primal characterization of error bounds can be established via Bouligand tangent cones, directional derivatives and the Hausdorff-Pompeiu excess if the mapping is metrically regular at the given point. The accurate estimate on the error bound modulus is also obtained.

math.OC↗

Sparse recovery via nonconvex regularized $M$-estimators over $\ell_q$-balls

In this paper, we analyse the recovery properties of nonconvex regularized $M$-estimators, under the assumption that the true parameter is of soft sparsity. In the statistical aspect, we establish the recovery bound for any stationary point of the nonconvex regularized $M$-estimator, under restricted strong convexity and some regularity conditions on the loss function and the regularizer, respectively. In the algorithmic aspect, we slightly decompose the objective function and then solve the nonconvex optimization problem via the proximal gradient method, which is proved to achieve a linear convergence rate. In particular, we note that for commonly-used regularizers such as SCAD and MCP, a simpler decomposition is applicable thanks to our assumption on the regularizer, which helps to construct the estimator with better recovery performance. Finally, we demonstrate our theoretical consequences and the advantage of the assumption by several numerical experiments on the corrupted errors-in-variables linear regression model. Simulation results show remarkable consistency with our theory under high-dimensional scaling.

math.ST↗

Convergence Analysis of Gradient Algorithms on Riemannian Manifolds Without Curvature Constraints and Application to Riemannian Mass

We study the convergence issue for the gradient algorithm (employing general step sizes) for optimization problems on general Riemannian manifolds (without curvature constraints). Under the assumption of the local convexity/quasi-convexity (resp. weak sharp minima), local/global convergence (resp. linear convergence) results are established. As an application, the linear convergence properties of the gradient algorithm employing the constant step sizes and the Armijo step sizes for finding the Riemannian $L^p$ ($p\in[1,+\infty)$) centers of mass are explored, respectively, which in particular extend and/or improve the corresponding results in \cite{Afsari2013}.

math.OC↗

Locally Lipschitz vector optimization problems: second-order constraint qualifications, regularity condition and KKT necessary optimality conditions

In the present paper, we are concerned with a class of constrained vector optimization problems, where the objective functions and active constraint functions are locally Lipschitz at the referee point. Some second-order constraint qualifications of Zangwill type, Abadie type and Mangasarian~--~Fromovitz type as well as a regularity condition of Abadie type are proposed in a nonsmooth setting. The connections between these proposed conditions are established. They are applied to develop second-order Karush--Kuhn--Tucker necessary optimality conditions for local (weak, Geoffrion properly) efficient solutions to the considered problem. Examples are also given to illustrate the obtained results.

math.OC↗

On Riemann Integration in Metrizable Vector Spaces

In classical analysis, Lebesgue first proved that $\mathbb{R}$ has the property that each Riemann integrable function from $[a,b]$ into $\mathbb{R}$ is continuous almost everywhere. This property is named as the Lebesgue property. Though the Lebesgue property may be breakdown in many infinite dimensional spaces including Banach or quasi Banach spaces, to determine spaces having this property is still an interesting problem. In this paper, we study Riemann integration for vector-value functions in metrizable vector spaces and prove the fundamental theorems of calculus and primitives for continuous functions. Further we discovery that $\mathbb{R}^ω$, the countable infinite product of $\mathbb{R}$ with itself equipped with the product topology, is a metrizable vector space having the Lebesgue property and prove that $l^p(1<p\leq+\infty)$, as subspaces of $\mathbb{R}^ω$, possess the Lebesgue property although they are Banach spaces having no such property.

math.FA↗

On Some Incremental Algorithms for the Minimum Sum-of-Squares Clustering Problem. Part 1: Ordin and Bagirov's Incremental Algorithm

Solution methods for the minimum sum-of-squares clustering (MSSC) problem are analyzed and developed in this paper. Based on the DCA (Difference-of-Convex functions Algorithms) in DC programming and recently established qualitative properties of the MSSC problem, we suggest several improvements of the incremental algorithms of Ordin and Bagirov and of Bagirov. Properties of the new algorithms are obtained and preliminary numerical tests of those on real-world databases are shown. Finite convergence, convergence, and the rate of convergence of solution methods for the MSSC problem are presented for the first time in our paper. This Part 1 is devoted to the incremental heuristic clustering algorithm of Ordin and Bagirov and the modified version proposed herein.

math.OC↗

Analyzing a Maximum Principle for Finite Horizon State Constrained Problems via Parametric Examples. Part 2: Problems with Bilateral State Constraints

In the present paper, the maximum principle for finite horizon state constrained problems from the book by R. Vinter [\textit{Optimal Control}, Birkhäuser, Boston, 2000; Theorem~9.3.1] is analyzed via parametric examples. The latter has origin in a recent paper by V.~Basco, P.~Cannarsa, and H.~Frankowska, and resembles the optimal growth problem in mathematical economics. The solution existence of these parametric examples is established by invoking Filippov's existence theorem for Mayer problems. Since the maximum principle is only a necessary condition for local optimal processes, a large amount of additional investigations is needed to obtain a comprehensive synthesis of finitely many processes suspected for being local minimizers. Our analysis not only helps to understand the principle in depth, but also serves as a sample of applying it to meaningful prototypes of economic optimal growth models. Problems with unilateral state constraints have been studied in Part 1 of the paper. Problems with bilateral state constraints are addressed in this Part 2.

math.OC↗

Analyzing a Maximum Principle for Finite Horizon State Constrained Problems via Parametric Examples. Part 1: Problems with Unilateral State Constraints

In the present paper, the maximum principle for finite horizon state constrained problems from the book by R. Vinter [\textit{Optimal Control}, Birkhäuser, Boston, 2000; Theorem~9.3.1] is analyzed via parametric examples. The latter has origin in a recent paper by V.~Basco, P.~Cannarsa, and H.~Frankowska, and resembles the optimal growth problem in mathematical economics. The solution existence of these parametric examples is established by invoking Filippov's existence theorem for Mayer problems. Since the maximum principle is only a necessary condition for local optimal processes, a large amount of additional investigations is needed to obtain a comprehensive synthesis of finitely many processes suspected for being local minimizers. Our analysis not only helps to understand the principle in depth, but also serves as a sample of applying it to meaningful prototypes of economic optimal growth models. Problems with unilateral state constraints are studied in Part 1 of the paper. Problems with bilateral state constraints will be addressed in Part 2.

math.OC↗

Sensitivity Analysis of a Stationary Point Set Map under Total Perturbations. Part 1: Lipschitzian Stability

By applying some theorems of Levy and Mordukhovich (Math Program 99: 311--327, 2004) and other related results, we estimate the Fréchet coderivative and the Mordukhovich coderivative of the stationary point set map of a smooth parametric optimization problem with one smooth functional constraint under total perturbations. From the obtained formulas we derive necessary and sufficient conditions for the local Lipschitz-like property of the stationary point set map. This leads us to new insights into the preceding deep investigations of Levy and Mordukhovich in the above-cited paper and of Qui (J Optim Theory Appl 161: 398--429, 2014; J Glob Optim 65: 615--635, 2016).

math.OC↗