Face reduction and the immobile indices approaches to regularization of linear Copositive Programming problems

Olga Kostyukova and Tatiana Tchemisova

arXiv: 2109.00080v1 · PDF · 31 August 2021
Categories: math.OC
Licence: CC BY 4.0 The site shows the text.

Abstract

The paper is devoted to the regularization of linear Copositive Programming problems which consists of transforming a problem to an equivalent form, where the Slater condition is satisfied and the strong duality holds. We describe here two regularization algorithms based on the concept of immobile indices and an understanding of the important role these indices play in the feasible sets’ characterization. These algorithms are compared to some regularization procedures developed for a more general case of convex problems and based on a facial reduction approach. We show that the immobile-index-based approach combined with the specifics of copositive problems allows us to construct more explicit and detailed regularization algorithms for linear Copositive Programming problems than those already available.

Items 5

Remark

Remark 1

DJ97

Since X\not=\emptyset, then without loss of generality, we can consider that A_0\in {\cal COP}^p. Indeed, by fixing a feasible solution y\in X and substituting the variable x by a new variable z{:}=x-y, we can replace the original problem (?) by the following one in terms of z:

\displaystyle\min_{z \in \mathbb R^n} \ c^{\top}z, \;\;\; \mbox{s.t. } \bar {\mathcal A}(z) \in \mathcal{COP}^p,

with \bar {\mathcal A}(z):=\displaystyle\sum_{i=1}^{n}A_iz_i+\bar A_0, \bar A_0:= \mathcal A(y)\in {\cal COP}^p.

Lemma

Lemma 1

1R3V

Given the linear copositive problem (?), (i) the Slater condition (?) is equivalent to the emptiness of the set T_{im}, (ii) the normalized immobile index set T_{im} is either empty or can be represented as a union of a finite number of convex closed bounded polyhedra.

Theorem

Theorem 1

GAP6

Consider problem (?) with the feasible set X. For any subset (?) of the set of normalized immobile indices of this problem, the following equality holds true:

X={\mathcal X}(V),

where the set {\mathcal X}(V) is defined in (?).

Theorem

Theorem 2

S0LB

Given copositive problem (?), let \{t(j),j\in J\} be the (finite) set of all vertices of the set {\rm conv}\, T_{im}. Then the minimal face {\mathbf{F}}_{min} of this problem can be described in two equivalent forms

\begin{split}\mathbf{F}_{min}=K_{min}(1):=\{D\in {\cal COP}^p: & \ e^\top_kDt(j)=0 \ {\forall} k \in {M(j)}, \; \forall j \in J\}, \ \mbox{and}\\ \mathbf{F}_{min}={K}_{min}(2){:}=\{D\in {\cal COP}^p: &\ e^\top_kDt(j)=0 \ {\forall} k \in {M(j)},\\ &\ e^\top_kDt(j)\geq 0 \ \forall k \in {P\setminus M(j)}, \forall j \in J\}.\end{split}

Remark

Remark 2

9WT6

In the described above algorithm REG-LCoP, it is assumed that X\not =\emptyset. It is easy to modify the algorithm so that this assumption is removed.

Source and licence

The text on this page is from arXiv:2109.00080v1 by Olga Kostyukova and Tatiana Tchemisova, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2109/2109.00080.jsonl.