Error bound results for convex inequality systems via conjugate duality

The aim of this paper is to implement some new techniques, based on conjugate duality in convex optimization, for proving the existence of global error bounds for convex inequality systems. First of all, we deal with systems described via one convex inequality and extend the achieved results, by making use of a celebrated scalarization function, to convex inequality systems expressed by means of a general vector function. We also propose a second approach for guaranteeing the existence of global error bounds of the latter, which meanwhile sharpens the classical result of Robinson.     

An Application of the Bivariate Inf-Convolution Formula to Enlargements of Monotone Operators

Motivated by a classical result concerning the ε-subdifferential of the sum of two proper, convex and lower semicontinuous functions, we give in this paper a similar result for the enlargement of the sum of two maximal monotone operators defined on a Banach space. This is done by establishing a necessary and sufficient condition for a bivariate inf-convolution formula.     

Prime Ideal Theory for General Algebras

We introduce ideals, radicals and prime ideals in arbitrary algebras with at least one binary operation, and we show that various separation lemmas and prime ideal theorems are special instances of one general theorem which, in turn, is equivalent to the Boolean Prime Ideal Theorem (or Ultrafilter Principle).     

The Dedekind-MacNeille completion as a reflector

We introduce a special type of order-preserving maps between quasiordered sets, the so-called cut-stable maps. These form the largest morphism class such that the corresponding category of quasiordered sets contains the category of complete lattices and complete homomorphisms as a full reflective subcategory, the reflector being given by the Dedekind-MacNeille completion (alias normal completion or completion by cuts). Suitable restriction of the object class leads to the category of separated quasiordered sets and its full reflective subcategory of completely distributive lattices. Similar reflections are obtained for continuous lattices, algebraic lattices, etc.     

Forward-Backward and Tseng’s Type Penalty Schemes for Monotone Inclusion Problems

We deal with monotone inclusion problems of the form 0 ∈ A x + D x + N _C (x) in real Hilbert spaces, where A is a maximally monotone operator, D a cocoercive operator and C the nonempty set of zeros of another cocoercive operator. We propose a forward-backward penalty algorithm for solving this problem which extends the one proposed by Attouch et al. (SIAM J. Optim. 21(4): 1251-1274, 2011). The condition which guarantees the weak ergodic convergence of the sequence of iterates generated by the proposed scheme is formulated by means of the Fitzpatrick function associated to the maximally monotone operator that describes the set C. In the second part we introduce a forward-backward-forward algorithm for monotone inclusion problems having the same structure, but this time by replacing the cocoercivity hypotheses with Lipschitz continuity conditions. The latter penalty type algorithm opens the gate to handle monotone inclusion problems with more complicated structures, for instance, involving compositions of maximally monotone operators with linear continuous ones.     

Embedding Structures

 For any quasiordered set (`quoset') or topological space S, the set Sub S of all nonempty subquosets or subspaces is quasiordered by embeddability. Given any cardinal number n, denote by p _n and q _n the smallest size of spaces S such that each poset, respectively, quoset with n points is embeddable in Sub S. For finite n, we prove the inequalities n + 1 ≤p _n ≤q _n ≤p _n + l(n) + l(l(n)), where l(n) = min{k∈ℕ∣n≤2 ^k }. For the smallest size b _n of spaces S so that Sub S contains a principal filter isomorphic to the power set ?(n), we show n + l(n) − 1 ≤b _n ≤n + l(n) + l(l(n))+2. Since p _n ≤b _n , we thus improve recent results of McCluskey and McMaster who obtained p _n ≤n ². For infinite n, we obtain the equation b _n = p _n = q _n = n. Received: April 19, 1999 Final version received: February 21, 2000     

Revisiting the construction of gap functions for variational inequalities and equilibrium problems via conjugate duality

Based on conjugate duality we construct several gap functions for general variational inequalities and equilibrium problems, in the formulation of which a so-called perturbation function is used. These functions are written with the help of the Fenchel-Moreau conjugate of the functions involved. In case we are working in the convex setting and a regularity condition is fulfilled, these functions become gap functions. The techniques used are the ones considered in [Altangerel L., Bo? R.I., Wanka G., On gap functions for equilibrium problems via Fenchel duality, Pac. J. Optim., 2006, 2(3), 667–678] and [Altangerel L., Bo? R.I., Wanka G., On the construction of gap functions for variational inequalities via conjugate duality, Asia-Pac. J. Oper. Res., 2007, 24(3), 353–371]. By particularizing the perturbation function we rediscover several gap functions from the literature. We also characterize the solutions of various variational inequalities and equilibrium problems by means of the properties of the convex subdifferential. In case no regularity condition is fulfilled, we deliver also necessary and sufficient sequential characterizations for these solutions. Several examples are illustrating the theoretical aspects.