-
Univariate representations of solutions to generic polynomial complementarity problems
Authors:
Vu Trung Hieu,
Alfredo Noel Iusem,
Paul Hugo Schmölling,
Akiko Takeda
Abstract:
By using the squared slack variables technique, we demonstrate that the solution set of a general polynomial complementarity problem is the image, under a specific projection, of the set of real zeroes of a system of polynomials. This paper points out that, generically, this polynomial system has finitely many complex zeroes. In such a case, we use symbolic computation techniques to compute a univ…
▽ More
By using the squared slack variables technique, we demonstrate that the solution set of a general polynomial complementarity problem is the image, under a specific projection, of the set of real zeroes of a system of polynomials. This paper points out that, generically, this polynomial system has finitely many complex zeroes. In such a case, we use symbolic computation techniques to compute a univariate representation of the solution set. Consequently, univariate representations of special solutions, such as least-norm and sparse solutions, are obtained. After that, enumerating solutions boils down to solving problems governed by univariate polynomials. We also provide some experiments on small-scale problems with worst-case scenarios. At the end of the paper, we propose a method for computing approximate solutions to copositive polynomial complementarity problems that may have infinitely many solutions.
△ Less
Submitted 29 June, 2025; v1 submitted 29 October, 2024;
originally announced October 2024.
-
Fejér* monotonicity in optimization algorithms
Authors:
Roger Behling,
Yunier Bello-Cruz,
Alfredo Noel Iusem,
Ademir Alves Ribeiro,
Luiz-Rafael Santos
Abstract:
Fejér monotonicity is a well-established property commonly observed in sequences generated by optimization algorithms. In this paper, we introduce an extension of this property, called Fejér* monotonicity, which was initially proposed in [SIAM J. Optim., 34(3), 2535-2556 (2024)]. We discuss and build upon the concept by exploring its behavior within Hilbert spaces, presenting an illustrative examp…
▽ More
Fejér monotonicity is a well-established property commonly observed in sequences generated by optimization algorithms. In this paper, we introduce an extension of this property, called Fejér* monotonicity, which was initially proposed in [SIAM J. Optim., 34(3), 2535-2556 (2024)]. We discuss and build upon the concept by exploring its behavior within Hilbert spaces, presenting an illustrative example and insightful results regarding weak and strong convergence. We also compare Fejér* monotonicity with other weak notions of Fejér-like monotonicity, to better establish the role of Fejér* monotonicity in optimization algorithms.
△ Less
Submitted 10 October, 2024;
originally announced October 2024.
-
A circumcentered-reflection method for finding common fixed points of firmly nonexpansive operators
Authors:
Reza Arefidamghani,
Roger Behling,
Alfredo N. Iusem,
Luiz-Rafael Santos
Abstract:
The circumcentered-reflection method (CRM) has been recently proposed as a methodology for accelerating several algorithms for solving the Convex Feasibility Problem (CFP), equivalent to finding a common fixed-point of the orthogonal projections onto a finite number of closed and convex sets. In this paper, we apply CRM to the more general Fixed Point Problem (denoted as FPP), consisting of findin…
▽ More
The circumcentered-reflection method (CRM) has been recently proposed as a methodology for accelerating several algorithms for solving the Convex Feasibility Problem (CFP), equivalent to finding a common fixed-point of the orthogonal projections onto a finite number of closed and convex sets. In this paper, we apply CRM to the more general Fixed Point Problem (denoted as FPP), consisting of finding a common fixed-point of operators belonging to a larger family of operators, namely firmly nonexpansive operators. We prove than in this setting, CRM is globally convergent to a common fixed-point (supposing at least one exists). We also establish linear convergence of the sequence generated by CRM applied to FPP, under a not too demanding error bound assumption, and provide an estimate of the asymptotic constant. We provide solid numerical evidence of the superiority of CRM when compared to the classical Parallel Projections Method (PPM). Additionally, we present certain results of convex combination of orthogonal projections, of some interest on its own.
△ Less
Submitted 4 March, 2022;
originally announced March 2022.
-
On the centralization of the circumcentered-reflection method
Authors:
Roger Behling,
Yunier Bello-Cruz,
Alfredo N. Iusem,
Luiz-Rafael Santos
Abstract:
This paper is devoted to deriving the first circumcenter iteration scheme that does not employ a product space reformulation for finding a point in the intersection of two closed convex sets. We introduce a so-called centralized version of the circumcentered-reflection method (CRM). Developed with the aim of accelerating classical projection algorithms, CRM is successful for tracking a common poin…
▽ More
This paper is devoted to deriving the first circumcenter iteration scheme that does not employ a product space reformulation for finding a point in the intersection of two closed convex sets. We introduce a so-called centralized version of the circumcentered-reflection method (CRM). Developed with the aim of accelerating classical projection algorithms, CRM is successful for tracking a common point of a finite number of affine sets. In the case of general convex sets, CRM was shown to possibly diverge if Pierra's product space reformulation is not used. In this work, we prove that there exists an easily reachable region consisting of what we refer to as centralized points, where pure circumcenter steps possess properties yielding convergence. The resulting algorithm is called centralized CRM (cCRM). In addition to having global convergence, cCRM converges linearly under an error bound condition, and superlinearly if the two target sets are so that their intersection have nonempty interior and their boundaries are locally differentiable manifolds. We also run numerical experiments with successful results.
△ Less
Submitted 17 May, 2023; v1 submitted 12 November, 2021;
originally announced November 2021.
-
The circumcentered-reflection method achieves better rates than alternating projections
Authors:
Reza Arefidamghani,
Roger Behling,
Yunier Bello-Cruz,
Alfredo N. Iusem,
Luiz-Rafael Santos
Abstract:
We study the convergence rate of the Circumcentered-Reflection Method (CRM) for solving the convex feasibility problem and compare it with the Method of Alternating Projections (MAP). Under an error bound assumption, we prove that both methods converge linearly, with asymptotic constants depending on a parameter of the error bound, and that the one derived for CRM is strictly better than the one f…
▽ More
We study the convergence rate of the Circumcentered-Reflection Method (CRM) for solving the convex feasibility problem and compare it with the Method of Alternating Projections (MAP). Under an error bound assumption, we prove that both methods converge linearly, with asymptotic constants depending on a parameter of the error bound, and that the one derived for CRM is strictly better than the one for MAP. Next, we analyze two classes of fairly generic examples. In the first one, the angle between the convex sets approaches zero near the intersection, so that the MAP sequence converges sublinearly, but CRM still enjoys linear convergence. In the second class of examples, the angle between the sets does not vanish and MAP exhibits its standard behavior, i.e., it converges linearly, yet, perhaps surprisingly, CRM attains superlinear convergence.
△ Less
Submitted 21 January, 2021; v1 submitted 28 July, 2020;
originally announced July 2020.
-
Fixed points of Legendre-Fenchel type transforms
Authors:
Alfredo N. Iusem,
Daniel Reem,
Simeon Reich
Abstract:
A recent result characterizes the fully order reversing operators acting on the class of lower semicontinuous proper convex functions in a real Banach space as certain linear deformations of the Legendre-Fenchel transform. Motivated by the Hilbert space version of this result and by the well-known result saying that this convex conjugation transform has a unique fixed point (namely, the normalized…
▽ More
A recent result characterizes the fully order reversing operators acting on the class of lower semicontinuous proper convex functions in a real Banach space as certain linear deformations of the Legendre-Fenchel transform. Motivated by the Hilbert space version of this result and by the well-known result saying that this convex conjugation transform has a unique fixed point (namely, the normalized energy function), we investigate the fixed point equation in which the involved operator is fully order reversing and acts on the above-mentioned class of functions. It turns out that this nonlinear equation is very sensitive to the involved parameters and can have no solution, a unique solution, or several (possibly infinitely many) ones. Our analysis yields a few by-products, such as results related to positive definite operators, and to functional equations and inclusions involving monotone operators.
△ Less
Submitted 8 April, 2019; v1 submitted 25 July, 2017;
originally announced August 2017.
-
Order preserving and order reversing operators on the class of convex functions in Banach spaces
Authors:
Alfredo N. Iusem,
Daniel Reem,
Benar F. Svaiter
Abstract:
A remarkable result by S. Artstein-Avidan and V. Milman states that, up to pre-composition with affine operators, addition of affine functionals, and multiplication by positive scalars, the only fully order preserving mapping acting on the class of lower semicontinuous proper convex functions defined on $\mathbb{R}^n$ is the identity operator, and the only fully order reversing one acting on the s…
▽ More
A remarkable result by S. Artstein-Avidan and V. Milman states that, up to pre-composition with affine operators, addition of affine functionals, and multiplication by positive scalars, the only fully order preserving mapping acting on the class of lower semicontinuous proper convex functions defined on $\mathbb{R}^n$ is the identity operator, and the only fully order reversing one acting on the same set is the Fenchel conjugation. Here fully order preserving (reversing) mappings are understood to be those which preserve (reverse) the pointwise order among convex functions, are invertible, and such that their inverses also preserve (reverse) such order. In this paper we establish a suitable extension of these results to order preserving and order reversing operators acting on the class of lower semicontinous proper convex functions defined on arbitrary infinite dimensional Banach spaces.
△ Less
Submitted 12 November, 2014; v1 submitted 4 December, 2012;
originally announced December 2012.
