-
Rainbow ortho-convex 4-sets in k-colored point sets
Authors:
David Flores-Peñaloza,
Mario A. Lopez,
Nestaly Marín,
David Orden
Abstract:
Let $P$ be a $k$-colored set of $n$ points in the plane, $4 \leq k \leq n$. We study the problem of deciding if $P$ contains a subset of four points of different colors such that its Rectilinear Convex Hull has positive area. We provide an $O(n \log n)$-time algorithm for this problem, where the hidden constant does not depend on $k$; then, we prove that this problem has time complexity…
▽ More
Let $P$ be a $k$-colored set of $n$ points in the plane, $4 \leq k \leq n$. We study the problem of deciding if $P$ contains a subset of four points of different colors such that its Rectilinear Convex Hull has positive area. We provide an $O(n \log n)$-time algorithm for this problem, where the hidden constant does not depend on $k$; then, we prove that this problem has time complexity $Ω(n \log n)$ in the algebraic computation tree model. No general position assumptions for $P$ are required.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
A Complete Congruence System for the Erdos-Straus Conjecture
Authors:
Miguel Angel Lopez
Abstract:
In this paper we attack the Erdos-Straus conjecture by means of the structure of its solutions, extending and improving the results of a previous paper. Using previous results and supported by the works of Elsholtz and Tao and Monks and Velingker we define a system of congruences for which there are always solutions to the Erdos-Straus conjecture and which we conjecture to include all prime number…
▽ More
In this paper we attack the Erdos-Straus conjecture by means of the structure of its solutions, extending and improving the results of a previous paper. Using previous results and supported by the works of Elsholtz and Tao and Monks and Velingker we define a system of congruences for which there are always solutions to the Erdos-Straus conjecture and which we conjecture to include all prime numbers. For this purpose, and always taking into account a result due to Mordell that limits the congruences admitting polynomial identities to those that are not quadratic residues, we will adopt a transversal approach and classify the solutions by their form and not by those congruences that produce them. Thus we define two new types of solutions, which we call Type A and B, and relate them to the already known Type II solutions and study their properties. Finally we conjecture that every prime number has at least one solution of Type A or B and we associate a congruence and a general polynomial to each Type of solution.
△ Less
Submitted 15 April, 2024; v1 submitted 1 April, 2024;
originally announced April 2024.
-
Ortho-unit polygons can be guarded with at most $\lfloor \frac{n-4}{8} \rfloor$ guards
Authors:
J. M. Díaz-Báñez,
P. Horn,
M. A. Lopez,
N. Marín,
A. Ramírez-Vigueras,
O. Solé-Pi,
A. Stevens,
J. Urrutia
Abstract:
An orthogonal polygon is called an ortho-unit polygon if its vertices have integer coordinates, and all of its edges have length one. In this paper we prove that any ortho-unit polygon with $n \geq 12$ vertices can be guarded with at most $\lfloor \frac{n-4}{8} \rfloor$ guards.
An orthogonal polygon is called an ortho-unit polygon if its vertices have integer coordinates, and all of its edges have length one. In this paper we prove that any ortho-unit polygon with $n \geq 12$ vertices can be guarded with at most $\lfloor \frac{n-4}{8} \rfloor$ guards.
△ Less
Submitted 26 August, 2022;
originally announced August 2022.
-
Optimality conditions in DC constrained mathematical programming problems
Authors:
Rafael Correa,
Marco A. López,
Pedro Pérez-Aros
Abstract:
This paper provides necessary and sufficient optimality conditions for abstract constrained mathematical programming problems in locally convex spaces under new qualification conditions. Our approach exploits the geometrical properties of certain map**s, in particular their structure as difference of convex functions, and uses techniques of generalized differentiation (subdifferential and coderi…
▽ More
This paper provides necessary and sufficient optimality conditions for abstract constrained mathematical programming problems in locally convex spaces under new qualification conditions. Our approach exploits the geometrical properties of certain map**s, in particular their structure as difference of convex functions, and uses techniques of generalized differentiation (subdifferential and coderivative). It turns out that these tools can be used fruitfully out of the scope of Asplund spaces. Applications to infinite, stochastic and semi-definite programming are developed in separate sections.
△ Less
Submitted 8 February, 2023; v1 submitted 28 July, 2022;
originally announced July 2022.
-
Structure and form of the solutions of the Erdos-Straus conjecture
Authors:
Miguel Angel Lopez
Abstract:
In this paper we classify certain values of p that satisfy the Erdos-Straus conjecture, concerning the decomposition of fractions of the form 4/n as sum of three fractions with numerator identically equal to 1, not according to their modular similarity but to the fact that they share solutions with identical structure. We classify all solutions that satisfy that they are of the form (du,dv,duv) an…
▽ More
In this paper we classify certain values of p that satisfy the Erdos-Straus conjecture, concerning the decomposition of fractions of the form 4/n as sum of three fractions with numerator identically equal to 1, not according to their modular similarity but to the fact that they share solutions with identical structure. We classify all solutions that satisfy that they are of the form (du,dv,duv) and find characterizations for values of p that were initially difficult to classify, such as p=1009. We also study the solutions (x,y,z) that satisfy that gcd(x,y,z)=x and, finally, we classify all the cases in which any of these two variables coincide with each other.
△ Less
Submitted 10 December, 2022; v1 submitted 16 June, 2022;
originally announced June 2022.
-
Relaxed Lagrangian duality in convex infinite optimization: reverse strong duality and optimality
Authors:
Nguyen Dinh,
Miguel A. Goberna,
Marco A. Lopez,
Michel Volle
Abstract:
We associate with each convex optimization problem posed on some locally convex space with an infinite index set T, and a given non-empty family H formed by finite subsets of T, a suitable Lagrangian-Haar dual problem. We provide reverse H-strong duality theorems, H-Farkas type lemmas and optimality theorems. Special attention is addressed to infinite and semi-infinite linear optimization problems…
▽ More
We associate with each convex optimization problem posed on some locally convex space with an infinite index set T, and a given non-empty family H formed by finite subsets of T, a suitable Lagrangian-Haar dual problem. We provide reverse H-strong duality theorems, H-Farkas type lemmas and optimality theorems. Special attention is addressed to infinite and semi-infinite linear optimization problems.
△ Less
Submitted 17 June, 2021;
originally announced June 2021.
-
Isolated calmness and sharp minima via Hölder graphical derivatives
Authors:
Alexander Y. Kruger,
Marco A. López,
Xiaoqi Yang,
Jiangxing Zhu
Abstract:
The paper utilizes Hölder graphical derivatives for characterizing Hölder strong subregularity, isolated calmness and sharp minimum. As applications, we characterize Hölder isolated calmness in linear semi-infinite optimization and Hölder sharp minimizers of some penalty functions for constrained optimization.
The paper utilizes Hölder graphical derivatives for characterizing Hölder strong subregularity, isolated calmness and sharp minimum. As applications, we characterize Hölder isolated calmness in linear semi-infinite optimization and Hölder sharp minimizers of some penalty functions for constrained optimization.
△ Less
Submitted 6 October, 2021; v1 submitted 14 June, 2021;
originally announced June 2021.
-
Relaxed Lagrangian duality in convex infinite optimization: reducibility and strong duality
Authors:
Nguyen Dih,
Miguel A. Goberna,
Marco A. López,
Michel Volle
Abstract:
We associate with each convex optimization problem, posed on some locally convex space, with infinitely many constraints indexed by the set T, and a given non-empty family H of finite subsets of T, a suitable Lagrangian-Haar dual problem. We obtain necessary and sufficient conditions for H-reducibility, that is, equivalence to some subproblem obtained by replacing the whole index set T by some ele…
▽ More
We associate with each convex optimization problem, posed on some locally convex space, with infinitely many constraints indexed by the set T, and a given non-empty family H of finite subsets of T, a suitable Lagrangian-Haar dual problem. We obtain necessary and sufficient conditions for H-reducibility, that is, equivalence to some subproblem obtained by replacing the whole index set T by some element of H. Special attention is addressed to linear optimization, infinite and semi-infinite, and to convex problems with a countable family of constraints. Results on zero H-duality gap and on H-(stable) strong duality are provided. Examples are given along the paper to illustrate the meaning of the results.
△ Less
Submitted 3 June, 2021;
originally announced June 2021.
-
Alternative representations of the normal cone to the domain of supremum functions and subdifferential calculus
Authors:
R. Correa,
A. Hantoute,
M. A. López
Abstract:
The first part of the paper provides new characterizations of the normal cone to the effective domain of the supremum of an arbitrary family of convex functions. These results are applied in the second part to give new formulas for the subdifferential of the supremum function, which use both the active and nonactive functions at the reference point. Only the data functions are involved in these ch…
▽ More
The first part of the paper provides new characterizations of the normal cone to the effective domain of the supremum of an arbitrary family of convex functions. These results are applied in the second part to give new formulas for the subdifferential of the supremum function, which use both the active and nonactive functions at the reference point. Only the data functions are involved in these characterizations, the active ones from one side, together with the nonactive functions multiplied by some appropriate parameters. In contrast with previous works in the literature, the main feature of our subdifferential characterization is that the normal cone to the effective domain of the supremum (or to finite-dimensional sections of this domain) does not appear. A new type of optimality conditions for convex optimization is established at the end of the paper.
△ Less
Submitted 9 December, 2020;
originally announced December 2020.
-
Subdifferential of the supremum function: Moving back and forth between continuous and non-continuous settings
Authors:
Rafael Correa,
Abderrahim Hantoute,
Marco Antonio López
Abstract:
In this paper we develop general formulas for the subdifferential of the pointwise supremum of convex functions, which cover and unify both the compact continuous and the non-compact non-continuous settings. From the non-continuous to the continuous setting, we proceed by a compactification-based approach which leads us to problems having compact index sets and upper semi-continuously indexed mapp…
▽ More
In this paper we develop general formulas for the subdifferential of the pointwise supremum of convex functions, which cover and unify both the compact continuous and the non-compact non-continuous settings. From the non-continuous to the continuous setting, we proceed by a compactification-based approach which leads us to problems having compact index sets and upper semi-continuously indexed map**s, giving rise to new characterizations of the subdifferential of the supremum by means of upper semicontinuous regularized functions and an enlarged compact index set. In the opposite sense, we rewrite the subdifferential of these new regularized functions by using the original data, also leading us to new results on the subdifferential of the supremum. We give two applications in the last section, the first one concerning the nonconvex Fenchel duality, and the second one establishing Fritz-John and KKT conditions in convex semi-infinite programming.
△ Less
Submitted 2 April, 2020;
originally announced April 2020.
-
Subdifferentials and Stability Analysis of Feasible Set and Pareto Front Map**s in Linear Multiobjective Optimization
Authors:
María J. Cánovas,
Marco A. López,
Boris Mordukhovich,
Juan Parra
Abstract:
The paper concerns multiobjective linear optimization problems in R^n that are parameterized with respect to the right-hand side perturbations of inequality constraints. Our focus is on measuring the variation of the feasible set and the Pareto front map**s around a nominal element while paying attention to some specific directions. This idea is formalized by means of the so-called epigraphical…
▽ More
The paper concerns multiobjective linear optimization problems in R^n that are parameterized with respect to the right-hand side perturbations of inequality constraints. Our focus is on measuring the variation of the feasible set and the Pareto front map**s around a nominal element while paying attention to some specific directions. This idea is formalized by means of the so-called epigraphical multifunction, which is defined by adding a fixed cone to the images of the original map**. Through the epigraphical feasible and Pareto front map**s we describe the corresponding vector subdifferentials, and employ them to verifying Lipschitzian stability of the perturbed map**s with computing the associated Lipschitz moduli. The particular case of ordinary linear programs is analyzed, where we show that the subdifferentials of both multifunctions are proportional subsets. We also provide a method for computing the optimal value of linear programs without knowing any optimal solution. Some illustrative examples are also given in the paper.
△ Less
Submitted 23 July, 2019;
originally announced July 2019.
-
Lipschitz modulus of linear and convex systems with the Hausdorff metric
Authors:
Gerald Beer,
María J. Cánovas,
Marco A. López,
Juan Parra
Abstract:
This paper analyzes the Lipschitz behavior of the feasible set in two parametric settings, associated with linear and convex systems in R^n. To start with, we deal with the parameter space of linear (finite/semi-infinite) systems identified with the corresponding sets of coefficient vectors, which are assumed to be closed subsets of R^(n+1). In this framework, where the Hausdorff distance is used…
▽ More
This paper analyzes the Lipschitz behavior of the feasible set in two parametric settings, associated with linear and convex systems in R^n. To start with, we deal with the parameter space of linear (finite/semi-infinite) systems identified with the corresponding sets of coefficient vectors, which are assumed to be closed subsets of R^(n+1). In this framework, where the Hausdorff distance is used to measure the size of perturbations, an explicit formula for computing the Lipschitz modulus of the feasible set map** is provided. As direct antecedent, we appeal to its counterpart in the parameter space of all linear systems with a fixed index set, T, where the Chebyshev (pseudo) distance was considered to measure the perturbations. Indeed, the stability (and, particularly, Lipschitz properties) of linear systems in the Chebyshev framework has been widely analyzed in the literature. Here, through an appropriate indexation strategy, we take advantage of previous results to derive the new ones in the Hausdorff setting. In a second stage, the possibility of perturbing directly the set of coefficient vectors of a linear system allows us to provide new contributions on the Lipschitz behavior of convex systems via linearization techniques.
△ Less
Submitted 4 July, 2019;
originally announced July 2019.
-
Shrinking-Targets for Non-Autonomous Systems
Authors:
Marco Antonio López
Abstract:
In the present work we establish a Bowen-type formula for the Hausdorff dimension of shrinking-target sets for non-autonomous conformal iterated function systems in arbitrary dimensions and satisfying certain conditions. In the case of dimension 1 we also investigate non-linear perturbations of linear systems and obtain sufficient conditions under which the perturbed systems satisfy the conditions…
▽ More
In the present work we establish a Bowen-type formula for the Hausdorff dimension of shrinking-target sets for non-autonomous conformal iterated function systems in arbitrary dimensions and satisfying certain conditions. In the case of dimension 1 we also investigate non-linear perturbations of linear systems and obtain sufficient conditions under which the perturbed systems satisfy the conditions in our hypotheses
△ Less
Submitted 11 April, 2019;
originally announced April 2019.
-
Characterizations of robust and stable duality for linearly perturbed uncertain optimization problems
Authors:
Nguyen Dinh,
Miguel A. Goberna,
Marco A. López,
Michel Volle
Abstract:
We introduce a robust optimization model consisting in a family of perturbation functions giving rise to certain pairs of dual optimization problems in which the dual variable depends on the uncertainty parameter. The interest of our approach is illustrated by some examples, including uncertain conic optimization and infinite optimization via discretization. The main results characterize desirable…
▽ More
We introduce a robust optimization model consisting in a family of perturbation functions giving rise to certain pairs of dual optimization problems in which the dual variable depends on the uncertainty parameter. The interest of our approach is illustrated by some examples, including uncertain conic optimization and infinite optimization via discretization. The main results characterize desirable robust duality relations (as robust zero-duality gap) by formulas involving the epsilon-minima or the epsilon-subdifferentials of the objective function. The two extreme cases, namely, the usual perturbational duality (without uncertainty), and the duality for the supremum of functions (duality parameter vanishing) are analyzed in detail.
△ Less
Submitted 13 March, 2018;
originally announced March 2018.
-
Valadier-like formulas for the supremum function I
Authors:
R. Correa,
A. Hantoute,
M. A. López
Abstract:
We generalize and improve the original characterization given by Valadier [18, Theorem 1] of the subdifferential of the pointwise supremum of convex functions, involving the subdifferentials of the data functions at nearby points. We remove the continuity assumption made in that work and obtain a general formula for such a subdiferential. In particular, when the supremum is continuous at some poin…
▽ More
We generalize and improve the original characterization given by Valadier [18, Theorem 1] of the subdifferential of the pointwise supremum of convex functions, involving the subdifferentials of the data functions at nearby points. We remove the continuity assumption made in that work and obtain a general formula for such a subdiferential. In particular, when the supremum is continuous at some point of its domain, but not necessarily at the reference point, we get a simpler version which gives rise to the Valadier formula. Our starting result is the characterization given in [11, Theorem 4], which uses the epsilon-subdifferential at the reference point.
△ Less
Submitted 12 July, 2017;
originally announced July 2017.
-
Valadier-like formulas for the supremum function II: The compactly indexed case
Authors:
R. Correa,
A. Hantoute,
M. A. López
Abstract:
We generalize and improve the original characterization given by Valadier [20, Theorem 1] of the subdifferential of the pointwise supremum of convex functions, involving the subdifferentials of the data functions at nearby points. We remove the continuity assumption made in that work and obtain a general formula for such a subdifferential. In particular, when the supremum is continuous at some poi…
▽ More
We generalize and improve the original characterization given by Valadier [20, Theorem 1] of the subdifferential of the pointwise supremum of convex functions, involving the subdifferentials of the data functions at nearby points. We remove the continuity assumption made in that work and obtain a general formula for such a subdifferential. In particular, when the supremum is continuous at some point of its domain, but not necessarily at the reference point, we get a simpler version which gives rise to Valadier formula. Our starting result is the characterization given in [10, Theorem 4], which uses the epsilon-subdiferential at the reference point.
△ Less
Submitted 12 July, 2017;
originally announced July 2017.
-
Resilience of a synchronized multi-agent system
Authors:
S. Bereg,
L. E. Caraballo,
J. M. Díaz-Báñez,
M. A. Lopez
Abstract:
Fault tolerance is increasingly important for unmanned autonomous vehicles. For example, in a multi robot system the agents need the ability to effectively detect and tolerate internal failures in order to continue performing their tasks without the need for immediate human intervention. The system must react to unplanned events in order to optimize the task allocation between the robots. In a bro…
▽ More
Fault tolerance is increasingly important for unmanned autonomous vehicles. For example, in a multi robot system the agents need the ability to effectively detect and tolerate internal failures in order to continue performing their tasks without the need for immediate human intervention. The system must react to unplanned events in order to optimize the task allocation between the robots. In a broad sense, the resilience of a system can be defined as the ability to maintain or recover a stable state when subject to disturbance and it is related to the concept of robustness in industrial systems. In this paper, we study the resilience in a synchronized multi-robot system stated as follows:Consider a team of $n$ (ground or aerial) robots each moving along predetermined periodic closed trajectories. Each of the agents needs to communicate informationabout its operation to other agents, but the communication links have a limited range. Hence, when two agents are within communication range, a communication link is established, and information is exchanged. Thus, two neighbors are synchronized if they visit the communication link at the same time and a multi-robot system is called synchronized if each pair of neighbors is synchronized. If a set of robots left the system, then some trajectories has no robots. In these cases, when an alive robot detects no neighboring robot then it pass to this neighboring trajectory to assume the unattended task. In this framework, a fault-tolerance measure is introduced: the resilience of the system is the largest number of robots that can fail while executing the global task. Interesting combinatorial properties of the resilience are showed that allow to know its value for some usual scenarios.
△ Less
Submitted 29 April, 2016;
originally announced April 2016.
-
Characterizing weak solutions for vector optimization problems
Authors:
Nguyen Dinh,
Miguel A. Goberna,
Dang H. Long,
Marco A. López
Abstract:
This paper provides characterizations of the weak solutions of optimization problems where a given vector function $F,$ from a decision space $X$ to an objective space $Y$, is "minimized" on the set of elements $x\in C$ (where $C\subset X$ is a given nonempty constraint set), satisfying $G\left( x\right) \leqq_{S}0_{Z},$ where $G$ is another given vector function from $X $ to a constraint space…
▽ More
This paper provides characterizations of the weak solutions of optimization problems where a given vector function $F,$ from a decision space $X$ to an objective space $Y$, is "minimized" on the set of elements $x\in C$ (where $C\subset X$ is a given nonempty constraint set), satisfying $G\left( x\right) \leqq_{S}0_{Z},$ where $G$ is another given vector function from $X $ to a constraint space $Z$ with positive cone $S$. The three spaces $X,Y,$ and $Z$ are locally convex Hausdorff topological vector spaces, with $Y$ and $Z$ partially ordered by two convex cones $K$ and $S,$ respectively, and enlarged with a greatest and a smallest element. In order to get suitable versions of the Farkas lemma allowing to obtain optimality conditions expressed in terms of the data, the triplet $\left( F,G,C\right) ,$ we use non-asymptotic representations of the $K-$epigraph of the conjugate function of $F+I_{A},$ where $I_{A}$ denotes the indicator function of the feasible set $A,$ that is, the function associating the zero vector of $Y$ to any element of $A$ and the greatest element of $Y$ to any element of $X\diagdown A.$
△ Less
Submitted 10 February, 2016;
originally announced February 2016.
-
Perturbation of error bounds
Authors:
A. Y. Kruger,
M. A. López,
M. A. Théra
Abstract:
Our aim in the current article is to extend the developments in Kruger, Ngai & Théra, SIAM J. Optim. 20(6), 3280-3296 (2010) and, more precisely, to characterize, in the Banach space setting, the stability of the local and global error bound property of inequalities determined by proper lower semicontinuous under data perturbations. We propose new concepts of (arbitrary, convex and linear) perturb…
▽ More
Our aim in the current article is to extend the developments in Kruger, Ngai & Théra, SIAM J. Optim. 20(6), 3280-3296 (2010) and, more precisely, to characterize, in the Banach space setting, the stability of the local and global error bound property of inequalities determined by proper lower semicontinuous under data perturbations. We propose new concepts of (arbitrary, convex and linear) perturbations of the given function defining the system under consideration, which turn out to be a useful tool in our analysis. The characterizations of error bounds for families of perturbations can be interpreted as estimates of the `radius of error bounds'. The definitions and characterizations are illustrated by examples.
△ Less
Submitted 15 March, 2017; v1 submitted 15 December, 2015;
originally announced December 2015.
-
Calmness modulus of linear semi-infinite programs
Authors:
M. J. Canovas,
A. Y. Kruger,
M. A. Lopez,
J. Parra,
M. A. Thera
Abstract:
Our main goal is to compute or estimate the calmness modulus of the argmin map** of linear semi-infinite optimization problems under canonical perturbations, i.e., perturbations of the objective function together with continuous perturbations of the right-hand-side of the constraint system (with respect to an index ranging in a compact Hausdorff space). Specifically, we provide a lower bound on…
▽ More
Our main goal is to compute or estimate the calmness modulus of the argmin map** of linear semi-infinite optimization problems under canonical perturbations, i.e., perturbations of the objective function together with continuous perturbations of the right-hand-side of the constraint system (with respect to an index ranging in a compact Hausdorff space). Specifically, we provide a lower bound on the calmness modulus for semi-infinite programs with unique optimal solution which turns out to be the exact modulus when the problem is finitely constrained. The relationship between the calmness of the argmin map** and the same property for the (sub)level set map** (with respect to the objective function), for semi-infinite programs and without requiring the uniqueness of the nominal solution, is explored too, providing an upper bound on the calmness modulus of the argmin map**. When confined to finitely constrained problems, we also provide a computable upper bound as it only relies on the nominal data and parameters, not involving elements in a neighborhood. Illustrative examples are provided.
△ Less
Submitted 21 October, 2013;
originally announced October 2013.
-
Quantitative Stability of Linear Infinite Inequality Systems under Block Perturbations with Applications to Convex Systems
Authors:
M. J. Cánovas,
M. A. LóPez,
B. S. Mordukhovich,
J. Parra
Abstract:
The original motivation for this paper was to provide an efficient quantitative analysis of convex infinite (or semi-infinite) inequality systems whose decision variables run over general infinite-dimensional (resp. finite-dimensional) Banach spaces and that are indexed by an arbitrary fixed set $J$. Parameter perturbations on the right-hand side of the inequalities are required to be merely bound…
▽ More
The original motivation for this paper was to provide an efficient quantitative analysis of convex infinite (or semi-infinite) inequality systems whose decision variables run over general infinite-dimensional (resp. finite-dimensional) Banach spaces and that are indexed by an arbitrary fixed set $J$. Parameter perturbations on the right-hand side of the inequalities are required to be merely bounded, and thus the natural parameter space is $l_{\infty}(J)$. Our basic strategy consists of linearizing the parameterized convex system via splitting convex inequalities into linear ones by using the Fenchel-Legendre conjugate. This approach yields that arbitrary bounded right-hand side perturbations of the convex system turn on constant-by-blocks perturbations in the linearized system. Based on advanced variational analysis, we derive a precise formula for computing the exact Lipschitzian bound of the feasible solution map of block-perturbed linear systems, which involves only the system's data, and then show that this exact bound agrees with the coderivative norm of the aforementioned map**. In this way we extend to the convex setting the results of [3] developed for arbitrary perturbations with no block structure in the linear framework under the boundedness assumption on the system's coefficients. The latter boundedness assumption is removed in this paper when the decision space is reflexive. The last section provides the aimed application to the convex case.
△ Less
Submitted 9 February, 2011;
originally announced February 2011.
-
Quantitative Stability and Optimality Conditions in Convex Semi-Infinite and Infinite Programming
Authors:
M. J. CÁnovas,
M. A. LÓpez,
B. S. Mordukhovich,
J. Parra
Abstract:
This paper concerns parameterized convex infinite (or semi-infinite) inequality systems whose decision variables run over general infinite-dimensional Banach (resp. finite-dimensional) spaces and that are indexed by an arbitrary fixed set T . Parameter perturbations on the right-hand side of the inequalities are measurable and bounded, and thus the natural parameter space is $l_{\infty}(T)$. Based…
▽ More
This paper concerns parameterized convex infinite (or semi-infinite) inequality systems whose decision variables run over general infinite-dimensional Banach (resp. finite-dimensional) spaces and that are indexed by an arbitrary fixed set T . Parameter perturbations on the right-hand side of the inequalities are measurable and bounded, and thus the natural parameter space is $l_{\infty}(T)$. Based on advanced variational analysis, we derive a precise formula for computing the exact Lipschitzian bound of the feasible solution map, which involves only the system data, and then show that this exact bound agrees with the coderivative norm of the aforementioned map**. On one hand, in this way we extend to the convex setting the results of [4] developed in the linear framework under the boundedness assumption on the system coefficients. On the other hand, in the case when the decision space is reflexive, we succeed to remove this boundedness assumption in the general convex case, establishing therefore results new even for linear infinite and semi-infinite systems. The last part of the paper provides verifiable necessary optimality conditions for infinite and semi-infinite programs with convex inequality constraints and general nonsmooth and nonconvex objectives. In this way we extend the corresponding results of [5] obtained for programs with linear infinite inequality constraints.
△ Less
Submitted 4 February, 2011;
originally announced February 2011.
-
A note on equipartition
Authors:
M. A. Lopez,
S. Reisner
Abstract:
The problem of the existence of an equi-partition of a curve in $\R^n$ has recently been raised in the context of computational geometry. The problem is to show that for a (continuous) curve $Γ: [0,1] \to \R^n$ and for any positive integer N, there exist points $t_0=0<t_1<...<t_{N-1}<1=t_N$, such that $d(Γ(t_{i-1}),Γ(t_i))=d(Γ(t_{i}),Γ(t_{i+1}))$ for all $i=1,...,N$, where d is a metric or even…
▽ More
The problem of the existence of an equi-partition of a curve in $\R^n$ has recently been raised in the context of computational geometry. The problem is to show that for a (continuous) curve $Γ: [0,1] \to \R^n$ and for any positive integer N, there exist points $t_0=0<t_1<...<t_{N-1}<1=t_N$, such that $d(Γ(t_{i-1}),Γ(t_i))=d(Γ(t_{i}),Γ(t_{i+1}))$ for all $i=1,...,N$, where d is a metric or even a semi-metric (a weaker notion) on $\R^n$. We show here that the existence of such points, in a broader context, is a consequence of Brower's fixed point theorem.
△ Less
Submitted 15 July, 2008; v1 submitted 29 July, 2007;
originally announced July 2007.