Characterization of latticial cones in Hilbert spaces by isotonicity and generalized infimum

A mapping is called isotone if it is monotone increasing with respect to the order defined by a pointed closed convex cone. Finding the pointed closed convex generating cones for which the projection mapping onto the cone is isotone is a difficult problem which was analyzed in [1, 2, 3, 4, 5]. Such cones are called isotone projection cones. In particular it was shown that any isotone projection cone is latticial [2]. This problem is extended by replacing the projection mapping with a continuous isotone retraction onto the cone. By introducing the notion of sharp mappings, it is shown that a pointed closed convex generating cone is latticial if and only if there is a continuous isotone retraction onto the cone whose complement is sharp. This result is used for characterizing a subdual latticial cone by the isotonicity of a generalization of the positive part mapping x ↦ x ⁺. This generalization is achieved by generalizing the infimum for subdual cones. The theoretical results of this paper exhibit fundamental properties of the lattice structure of the space which were not analysed before.     

Characterization of subdual latticial cones in Hilbert spaces by the isotonicity of the metric projection

The subdual latticial cones in Hilbert spaces are characterized by the isotonicity of a generalization of the positive part mapping which can be expressed in terms of the metric projection only. Although Németh characterized the positive cone of Hilbert lattices with the metric projection and ordering only [A.B. Németh, Characterization of a Hilbert vector lattice by the metric projection onto its positive cone, J. Approx. Theory 123 (2) (2003), pp. 295–299.], this has been done for the first time for subdual latticial cones in this article. We also note that the normal generating pointed closed convex cones for which the projection onto the cone is isotone are subdual latticial cones, but there are subdual latticial cones for which the metric projection onto the cone is not isotone [G. Isac, A.B. Németh, Monotonicity of metric projections onto positive cones of ordered Euclidean spaces, Arch. Math. 46 (6) (1986), pp. 568–576; G. Isac, A.B. Néemeth, Every generating isotone projection cone is latticial and correct, J. Math. Anal. Appl. 147 (1) (1990), pp. 53–62; G. Isac, A.B. Németh, Isotone projection cones in Hilbert spaces and the complementarity problem, Boll. Un. Mat. Ital. B 7 (4) (1990), pp. 773–802; G. Isac, A.B. Németh, Projection methods, isotone projection cones, and the complementarity problem, J. Math. Anal. Appl. 153 (1) (1990), pp. 258–275; G. Isac, A.B. Németh, Isotone projection cones in Eucliden spaces, Ann. Sci. Math Québec 16 (1) (1992), pp. 35–52].     

Inequalities Characterizing Coisotone Cones in Euclidean Spaces

The isotone projection cone, defined by G. Isac and A. B. Németh, is a closed pointed convex cone such that the order relation defined by the cone is preserved by the projection operator onto the cone. In this paper the coisotone cone will be defined as the polar of a generating isotone projection cone. Several equivalent inequality conditions for the coisotonicity of a cone in Euclidean spaces will be given. Thanks are due to A. B. Németh who draw the author’s attention on the relation of latticial cones generated by vectors with pairwise non-accute angles with the theory of isotone cones.     

Iterative methods for nonlinear complementarity problems on isotone projection cones

In this paper we present a recursion related to a nonlinear complementarity problem defined by a closed convex cone in a Hilbert space and a continuous mapping defined on the cone. If the recursion is convergent, then its limit is a solution of the nonlinear complementarity problem. In the case of isotone projection cones sufficient conditions are given for the mapping so that the recursion to be convergent.     

Finding solutions of implicit complementarity problems by isotonicity of the metric projection

Isac and Németh [G. Isac and A. B. Németh, Projection method, isotone projection cones and the complementarity problem, J. Math. Anal. App., 153, 258-275(1990)] proved that solving a coincidence point equation (fixed point problem) in turn solves the corresponding implicit complementarity problem (nonlinear complementarity problem) and they exploited the isotonicity of the metric projection onto isotone projection cones to solve implicit complementarity problems (nonlinear complementarity problems) defined by these cones. In this paper, the notion of *-isotone projection cones is employed and an iterative algorithm is presented in connection with an implicit complementarity problem on *-isotone projection cones. It is proved that if the sequence generated through the defined algorithm is convergent, then its limit is a solution of the coincidence point equation and thus solves the implicit complementarity problem. Sufficient conditions are given for this sequence to be convergent for implicit complementarity problems defined by *-isotone projection cones. The question of finding nonzero solutions of these problems is also studied.     

Implicit complementarity problems on isotone projection cones

Isac and Németh [G. Isac and A. B. Németh, Projection methods, isotone projection cones and the complementarity problem, J. Math. Anal. Appl. 153 (1990), pp. 258–275] proved that solving a coincidence point equation (fixed point problem) in turn solves the corresponding implicit complementarity problem (nonlinear complementarity problem) and they exploited the isotonicity of the metric projection onto isotone projection cones to solve implicit complementarity problems (nonlinear complementarity problems) defined by these cones. In this article an iterative algorithm is studied in connection with an implicit complementarity problem. It is proved that if the sequence generated through the defined algorithm is convergent, then its limit is a solution of the coincidence point equation and thus solves the implicit complementarity problem. Sufficient conditions are given for this sequence to be convergent for implicit complementarity problems defined by isotone projection cones, extending the results of Németh [S.Z. Németh, Iterative methods for nonlinear complementarity problems on isotone projection cones, J. Math. Anal. Appl. 350 (2009), pp. 340–370]. Some existing concepts from the latter paper are extended to solve the problem of finding nonzero solutions of the implicit complementarity problem.     

How to project onto an isotone projection cone

The solution of the complementarity problem defined by a mapping f:Rⁿ→Rⁿ and a cone K⊂Rⁿ consists of finding the fixed points of the operator P_K°(I-f), where P_K is the projection onto the cone K and I stands for the identity mapping. For the class of isotone projection cones (cones admitting projections isotone with respect to the order relation they generate) and f satisfying certain monotonicity properties, the solution can be obtained by iterative processes (see G. Isac, A.B. Németh, Projection methods, isotone projection cones, and the complementarity problem, J. Math. Anal. Appl. 153(1) (1990) 258-275 and S.Z. Németh, Iterative methods for nonlinear complementarity problems on isotone projection cones, J. Math. Anal. Appl. 350(1) (2009) 340-347). These algorithms require computing at each step the projection onto the cone K. In general, computing the projection mapping onto a cone K is a difficult and computationally expensive problem. In this note it is shown that the projection of an arbitrary point onto an isotone projection cone in Rⁿ can be obtained by projecting recursively at most n-1 times into subspaces of decreasing dimension. This emphasizes the efficiency of the algorithms mentioned above and furnishes a handy tool for some problems involving special isotone projection cones, as for example the non-negative monotone cones occurring in reconstruction problems (see e.g. Section 5.13 in J. Dattorro, Convex Optimization and Euclidean Distance Geometry, Meboo, 2005, v2009.04.11).     

Extended Lorentz cones and mixed complementarity problems

In this paper we extend the notion of a Lorentz cone in a Euclidean space as follows: we divide the index set corresponding to the coordinates of points in two disjoint classes. By definition a point belongs to an extended Lorentz cone associated with this division, if the coordinates corresponding to one class are at least as large as the norm of the vector formed by the coordinates corresponding to the other class. We call a closed convex set isotone projection set with respect to a pointed closed convex cone if the projection onto the set is isotone (i.e., order preserving) with respect to the partial order defined by the cone. We determine the isotone projection sets with respect to an extended Lorentz cone. In particular, a Cartesian product between an Euclidean space and any closed convex set in another Euclidean space is such a set. We use this property to find solutions of general mixed complementarity problems recursively.     

Isotonicity of the Metric Projection by Lorentz Cone and Variational Inequalities

In this paper, we first discuss the geometric properties of the Lorentz cone and the extended Lorentz cone. The self-duality and orthogonality of the Lorentz cone are obtained in Hilbert spaces. These properties are fundamental for the isotonicity of the metric projection with respect to the order, induced by the Lorentz cone. According to the Lorentz cone, the quasi-sublattice and the extended Lorentz cone are defined. We also obtain the representation of the metric projection onto cones in Hilbert quasi-lattices. As an application, solutions of the classic variational inequality problem and the complementarity problem are found by the Picard iteration corresponding to the composition of the isotone metric projection onto the defining closed and convex set and the difference in the identity mapping and the defining mapping. Our results generalize and improve various recent results obtained by many others.     

Regular exceptional family of elements with respect to isotone projection cones in Hilbert spaces and complementarity problems

Conditions for the non-existence of a regular exceptional family of elements with respect to an isotone projection cone in a Hilbert space will be presented. The obtained results will be used for generating existence theorems for a complementarity problem with respect to an isotone projection cone in a Hilbert space.     

Projections onto convex sets on the sphere

In this paper some concepts of convex analysis are extended in an intrinsic way from the Euclidean space to the sphere. In particular, relations between convex sets in the sphere and pointed convex cones are presented. Several characterizations of the usual projection onto a Euclidean convex set are extended to the sphere and an extension of Moreau’s theorem for projection onto a pointed convex cone is exhibited.     

Strong Semismoothness of Projection onto Slices of Second-Order Cone

Second-order cone (SOC) is a typical subclass of nonpolyhedral symmetric cones and plays a fundamental role in the second-order cone programming. It is already proven that the metric projection mapping onto SOC is strongly semismooth everywhere. However, whether such property holds for each slice of SOC has not been known yet. In this paper, by virtue of a new property of projection onto the closed and convex set with sufficiently smooth boundary, and some new results about projection onto axis-weighted SOC, we give an affirmative answer to this problem. Meanwhile, we also show Clarke’s generalized Jacobian and the directional derivative for the projection mapping onto a slice of SOC.     

On the Semismoothness of Projection Mappings and Maximum Eigenvalue Functions

This paper analyses the properties of the projection mapping over a set defined by a constraint function whose image is possibly a nonpolyhedral convex set. Under some nondegeneracy assumptions, we prove the (strong) semismoothness of the projection mapping. In particular, we derive the strong semismoothness of the projection mapping when the nonpolyhedral convex set under consideration is taken to be the second-order cone or the semidefinite cone. We also derive the semismoothness of the solution to the Moreau–Yosida regularization of the maximum eigenvalue function.     

Characterization of Solid Cones

The author gives a dual characterization of solid cones in locally convex spaces. From this the author obtains some criteria for judging convex cones to be solid in various kinds of locally convex spaces. Using a general expression of the interior of a solid cone, the author obtains a number of necessary and sufficient conditions for convex cones to be solid in the framework of Banach spaces. In particular, the author gives a dual relationship between solid cones and generalized sharp cones. The related known results are improved and extended.     

Reflection-Projection Method for Convex Feasibility Problems with an Obtuse Cone

The convex feasibility problem asks to find a point in the intersection of finitely many closed convex sets in Euclidean space. This problem is of fundamental importance in the mathematical and physical sciences, and it can be solved algorithmically by the classical method of cyclic projections.In this paper, the case where one of the constraints is an obtuse cone is considered. Because the nonnegative orthant as well as the set of positive-semidefinite symmetric matrices form obtuse cones, we cover a large and substantial class of feasibility problems. Motivated by numerical experiments, the method of reflection-projection is proposed: it modifies the method of cyclic projections in that it replaces the projection onto the obtuse cone by the corresponding reflection.This new method is not covered by the standard frameworks of projection algorithms because of the reflection. The main result states that the method does converge to a solution whenever the underlying convex feasibility problem is consistent. As prototypical applications, we discuss in detail the implementation of two-set feasibility problems aiming to find a nonnegative [resp. positive semidefinite] solution to linear constraints in ⁿ [resp. in , the space of symmetric n×n matrices] and we report on numerical experiments. The behavior of the method for two inconsistent constraints is analyzed as well.     

Lattice-like operations and isotone projection sets

By using some lattice-like operations which constitute extensions of ones introduced by M.S. Gowda, R. Sznajder and J. Tao for self-dual cones, a new perspective is gained on the subject of isotonicity of the metric projection onto the closed convex sets. The results of this paper are wide range generalizations of some results of the authors obtained for self-dual cones. The aim of the subsequent investigations is to put into evidence some closed convex sets for which the metric projection is isotonic with respect to the order relation which give rise to the above mentioned lattice-like operations. The topic is related to variational inequalities where the isotonicity of the metric projection is an important technical tool. For Euclidean sublattices this approach was considered by G. Isac and respectively by H. Nishimura and E.A. Ok.     

On Connectedness of Efficient Solution Sets for a Star Cone-Quasiconvex Vector Optimization Problem

In this note,we prove that the efficient solution set for a vector optimization problem with acontinuous,star cone-quasiconvex objective mapping is connected under the assumption that the ordering coneis a D-cone.A D-cone includes any closed convex pointed cones in a normed space which admits strictly positivecontinuous linear functionals.     

Bases of convex cones and Borwein's proper efficiency

In this note, we establish some interesting relationships between the existence of Borwein's proper efficient points and the existence of bases for convex ordering cones in normed linear spaces. We show that, if the closed unit ball in a smooth normed space ordered by a convex cone possesses a proper efficient point in the sense of Borwein, then the ordering cone is based. In particular, a convex ordering cone in a reflexive space is based if the closed unit ball possesses a proper efficient point. Conversely, we show that, in any ordered normed space, if the ordering cone has a base, then every weakly compact set possesses a proper efficient point.The research was conducted while the author was working on his PhD Degree under the supervision of Professor J. M. Borwein, whose guidance and valuable suggestions are gratefully appreciated. The author would like to thank two anonymous referees for their constructive comments and suggestions. This research was supported by an NSERC grant and a Mount Saint Vincent University Research Grant.     

Generalized projections onto convex sets

This paper introduces the notion of projection onto a closed convex set associated with a convex function. Several properties of the usual projection are extended to this setting. In particular, a generalization of Moreau’s decomposition theorem about projecting onto closed convex cones is given. Several examples of distances and the corresponding generalized projections associated to particular convex functions are presented.     

Invariant Orders on Lie Groups and Coverings of Ordered Homogeneous Spaces

 In this paper we give a characterization of those reductive or solvable connected, not necessarily simply connected, Lie groups which permit a non-degenerate group order. A non-degenerate group ordering on G always defines a pointed generating invariant convex cone W in the Lie algebra of G, but not every such cone arises in this way. The cones that do are called global. To decide whether a given cone is global or not is a difficult problem which for simply connected groups and invariant cones has completely been solved by Gichev. (Received 22 October 1999; in revised form 3 March 2000)