properties of cones and some existence resultsangelia/ie598ns_lect92_2008.pdfproperties of cones and...
TRANSCRIPT
Angelia Nedic and Uday V. Shanbhag Lecture 9
Outline
I Properties of cones
I Existence results for monotone CPs/VIs
I Polyhedrality of solution sets
Game theory: Models, Algorithms and Applications 1
Angelia Nedic and Uday V. Shanbhag Lecture 9
Properties of cones
Motivation:
I Recall that in the earlier section, existence statements required that the
range of xref satisfied a certain interioricity property: namely if
F (xref) ∈ int((K∞)∗),
then SOL(K.F ) is nonempty and compact.
I Essentially, this reduces to characterizing the interior of the dual cone
I Given an arbitrary closed convex cone, we provide results for a vector to
be in the relative interior of C∗.
Game theory: Models, Algorithms and Applications 2
Angelia Nedic and Uday V. Shanbhag Lecture 9
Introduction
Let C be a closed convex cone in Rn
I The set C ∩ (−C) is a linear subspace in Rn called the lineality space
of C; This is the largest subspace contained in C and is denoted by
lin C = C ∩ (−C).
I For S1, S2 ⊆ Rn, we have (S1 + S2)∗ = S∗1 ∩ S∗2.
I If C1 and C2 are closed convex cones such that the sum C∗1 + C∗
2 is
closed then we have (C1 ∩ C2)∗ = C∗1 + C∗
2.
I We may then show that the linear hull of C∗ denoted by linC∗ satisfies
linC∗ = (C ∩ (−C))⊥, where A⊥ is the orthogonal complement of A∗.∗The set v⊥ is a subspace containing vectors that are orthogonal to v
Game theory: Models, Algorithms and Applications 3
Angelia Nedic and Uday V. Shanbhag Lecture 9
Relative interior
Definition 1 Let S be a subset of Rn. The relative interior of S isthe interior of S considered as a subset of the affine hull Aff(S) and isdenoted by ri(S). The formal definition is
ri(S) = x ∈ S : ∃ε > 0, (Nε ∩ aff(S)) ⊂ S.
I Consider S = (x, y,0) : 0 ≤ x, y ≤ 1 ⊂ R3.
• Its interior int(S) = ∅.• Its relative interior is nonempty since ri(S) = (x, y,0) : 0 < x, y <
1. This follows from noting that aff(S) = (x, y,0) : x, y ∈ R
I Consider S = (x, y, z) : 0 ≤ x, y, z ≤ 1 ⊂ R3.
Game theory: Models, Algorithms and Applications 4
Angelia Nedic and Uday V. Shanbhag Lecture 9
• Its interior and relative interior are the same and are given by
int(S) = ri(S) = (x, y, z) : 0 < x, y, z < 1.
I If S = ri(S), S is said to be relatively open
I The relative boundary, rbd(S) = S − ri(S).
Prop: Let C be a closed convex cone in Rn. Then the following are
equivalent:
(a) v ∈ ri(C∗)
(b) For all x 6= 0, x ∈ C ∩ lin C∗, vTx > 0
(c) For every scalar η > 0, the set S(v, η) ≡ x ∈ C ∩ lin C∗ : vTx ≤ ηis bounded
(d) v ∈ C∗ and the intersection C ∩ v⊥ is a linear subspace
If any of the above holds, then C ∩ v⊥ is equal to the lineality space of C.
Game theory: Models, Algorithms and Applications 5
Angelia Nedic and Uday V. Shanbhag Lecture 9
Solid and pointed cones
Definition 2 A cone C is pointed if C ∩ (−C) = 0. A set S is solid ifint (S) 6= ∅.
I Rn+ is pointed and solid
I pos(A) is also pointed and solid
Lemma 1 Let C be a closed convex cone in Rn. Then the following hold:
1. If C is solid, then its dual C∗ is pointed.
2. If C is pointed, then its dual C∗ is solid.
Thus C is solid(pointed) if and only if C∗ is pointed(solid).
Proof:
Game theory: Models, Algorithms and Applications 6
Angelia Nedic and Uday V. Shanbhag Lecture 9
1. If C is solid, then to show that C∗ is pointed, we need to show that
C∗ ∩ (−C∗) is 0. Let d ∈ (C∗ ∩ (−C∗)). Therefore, we have
dTx = 0 for all x ∈ C. Since C is closed and convex, we have
C = C∗∗. Moreover, from C being solid, we have int (C) 6= ∅. Let y
be an interior point of C = C∗∗. Then, by definition yTd > 0 if d 6= 0.
But this contradicts dTx = 0, ∀x ∈ C. Therefore, d = 0 and C∗ is
pointed.
2. Let C be pointed. To show that C∗ has a nonempty interior, let k
be the maximum number of linearly independent vectors in C∗ and let
y1, . . . , yk represent a collection of such vectors:
(a) If k = n, then C∗ contains the simplicial (pos) cone generated by
these vectors and is nonempty. Since C∗ contains this cone, the
result follows.
(b) If k < n, then the system pTyi = 0, i = 1, . . . , k for some 0 6=p ∈ Rn. But these k vectors span the space in C∗ implying that
Game theory: Models, Algorithms and Applications 7
Angelia Nedic and Uday V. Shanbhag Lecture 9
pTy = 0, ∀y ∈ C∗. Consequently, p ∈ C∗∗∩(−C∗∗) or p ∈ C∩(−C)
since C = C∗∗. Therefore C ∩ (−C) 6= 0, contradicting the
pointedness of C.
(c) To establish the last assertion, assume that C∗ is pointed. Then by
(b), we have that C∗∗ is solid. But since C is closed and convex,
then C = C∗∗. Thus C is solid. C∗ is solid implies C is pointed in a
similar fashion.
Game theory: Models, Algorithms and Applications 8
Angelia Nedic and Uday V. Shanbhag Lecture 9
Existence results
Theorem 1 Let K be a closed convex cone in Rn and let F be a pseudo-
monotone continuous map from K into Rn. Then the following three
statements are equivalent:
(a) The CP(K,F) is strictly feasible.
(b) The dual cone K∗ has a nonempty interior and SOL(K,F) is a nonempty
compact set.
(c) The dual cone K∗ has a nonempty interior and
K ∩ [−(F (K)∗)] = 0.
Proof:
Game theory: Models, Algorithms and Applications 9
Angelia Nedic and Uday V. Shanbhag Lecture 9
I (a) =⇒ (b): If the CP(K,F) is strictly feasible, then clearly int K∗ is
nonempty. From theorem 2.3.5, we have that SOL(K,F) is nonempty
and compact.
Theorem 2 Suppose F is pseudo-monotone on K. If there exists
an xref ∈ K satisfying F (xref) ∈ (int(K∞)∗), then SOL(K, F ) is
nonempty, convex and compact.
I (b) =⇒ (c): This follows from the next result (provided without proof)
and by noting that K = K∞:
Theorem 3 Let K be a closed and convex set and F be a pseudo-monotone continuous mapping. Then SOL(K,F) is nonempty andbounded if and only if
K∞ ∩ [−(F (K)∗)] = 0.
Game theory: Models, Algorithms and Applications 10
Angelia Nedic and Uday V. Shanbhag Lecture 9
I (c) =⇒ (a): By prop 2.3.17, deg(FnatK ,Ω) = 1 for every bounded
open set Ω containing SOL(K,F). Let q be an arbitrary vector in
int K∗. For a fixed but arbitrary scalar ε > 0, we have (Fε,natK (x) =
x−ΠK(x− F (x) + εq) be the natural map of the perturbed CP:
K 3 x ⊥ F (x)− εq ∈ K∗.
For sufficiently small ε we have
deg(Fε,natK ,Ω) = deg(Fnat
K ,Ω) = 1.
Thus the perturbed CP has a solution, say x (from degree-theoretic
results proved earlier). Since q ∈ intK∗, x must belong to K and F (x)
to K∗. Hence, the CP(K,F) is strictly feasible.
Game theory: Models, Algorithms and Applications 11
Angelia Nedic and Uday V. Shanbhag Lecture 9
Special case: an affine map
Corollary 4 Let K be a closed convex cone in Rn and let F (x) = q +Mx
be an affine pseudo-monotone map from K into Rn. Then the following
three statements are equivalent:
1. There exists a vector x ∈ K such that Mx + q is in K∗.
2. The dual cone K∗ has a nonempty interior and SOL(K,F) is a nonempty
compact set.
3. The dual cone K∗ has a nonempty interior and
[d ∈ K, MTd ∈ (−K)∗, qTd ≤ 0] =⇒ d = 0.
Game theory: Models, Algorithms and Applications 12
Angelia Nedic and Uday V. Shanbhag Lecture 9
It suffices to show that
K ∩ [−(F (K)∗)] = 0
is equivalent to the assertion in (c) above. In fact the former may be stated
as
[d ∈ K, MTd ∈ (−K)∗, qTd ≤ 0]
=[d ∈ K, (q)Td ≤ 0, (Mx)Td ≤ 0∀x ∈ K]
=[d ∈ K, dT(q + Mx) ≤ 0, ∀x ∈ K]
=K ∩ (−F (K))∗, F (K) = Mx + q,
=0 =⇒ d = 0,
giving us the required result.
Game theory: Models, Algorithms and Applications 13
Angelia Nedic and Uday V. Shanbhag Lecture 9
Feasibility =⇒ Solvability? - No!!
Example 1 Consider the NCP(F):
F (x) ≡(2x1x2 − 2x2 + 1
−x21 + 2x1 − 1
), (x1, x2) ∈ R2.
We have
∇F =
(2x2 2x1 − 2
2− 2x1 0
) 0
implying that F is monotone on R2+. The feasible region
FEA(F ) = (x1, x2) ∈ R2 : x1 = 1, x2 ≥ 0.
However, this NCP has no solution.
Game theory: Models, Algorithms and Applications 14
Angelia Nedic and Uday V. Shanbhag Lecture 9
However it does have ε−exact solutions. For a scalar ε ∈ (0,1), thevector xε = (1− ε,1/(2ε)). It may be verified that
limε→0
min(xε, F (xε)) = 0
and there exists an x satisfying
‖min(x, F (x))‖ ≤ ε
for every ε > 0. Such an x is called an ε− approximate solution ofNCP(F).
This leads to two important questions:
I When does feasibility of CP(K,F) imply its solvability?
• K is polyhedral and F is affine
Game theory: Models, Algorithms and Applications 15
Angelia Nedic and Uday V. Shanbhag Lecture 9
• F is strictly monotone on K and K is pointed but non-polyhedral
I Does every feasible monotone CP have ε−solutions? - yes!
Theorem 5 Let K be Rn+ and F be a monotone affine map from Rn onto
itself. Then the CP(K,F) is solvable if and only if it is feasible.
Proof: Since K is a polyhedral cone, we have that K = K∗∗. Moreover,
let F (x) = q + Mx, where M 0. Consider the gap program given by
min xT(Mx + q)
subject to x ∈ K
Mx + q ∈ K∗.
This is a convex QP with an objective that is bounded below by zero on
K. We then use the Frank-Wolfe theorem - which states that a quadratic
Game theory: Models, Algorithms and Applications 16
Angelia Nedic and Uday V. Shanbhag Lecture 9
function, bounded below on a polyhedral set, attains its minimum on that
set. Therefore the dual gap program attains a minimum at x∗.
By the necessary conditions of optimality, there exists a λ ∈ Rn such that
K 3 x∗ ⊥ v ≡ q + (M + MT)x∗ −MTλ ∈ K∗
K∗ 3 q + Mx∗ ⊥ λ ∈ K∗∗ = K.
Since (x∗)Tv = 0 and λTv ≥ 0, we have
0 ≥ (x∗ − λ)Tv
= (x∗ − λ)T(q + (M + MT)x∗ −MTλ)
= (x∗ − λ)T(q + Mx∗) + (x∗ − λ)TMT(x∗ − λ)
≥ (x∗ − λ)T(q + Mx∗)
= (x∗)T(Mx∗ + q).
Game theory: Models, Algorithms and Applications 17
Angelia Nedic and Uday V. Shanbhag Lecture 9
But (x∗)T(Mx∗ + q) ≥ 0 implying that (x∗)T(Mx∗ + q) = 0 and x∗ lies
in SOL(K,F).
Game theory: Models, Algorithms and Applications 18
Angelia Nedic and Uday V. Shanbhag Lecture 9
General strictly monotone F
Theorem 6 (Th. 2.4.8) Let K be a pointed closed and convex cone in Rn
and F : K → Rn be a coninuous map. Consider the following statements
(a) F is strictly monotone on K and FEA(K,F) is nonempty;
(b) F is strictly monotone on K and CP(K,F) is strictly feasible;
(c) the CP(K,F) has a unique solution.
It holds that (a)⇔ (b)⇒ (c).
Proof:
I Clearly (b) =⇒ (a)
I (a) =⇒ (b) (omitted) - see Theorem 2.4.8 in FP-I
I Converse is proved in Th. 2.4.8
I (b) =⇒ (c) follows from Th 2.3.5
Game theory: Models, Algorithms and Applications 19
Angelia Nedic and Uday V. Shanbhag Lecture 9
F is affine monotone
Under the assumptions of affineness and monotonicity of F, we obtain the
following:
Lemma 2 Let K be a convex cone in Rn and F (x) = q + Mx whereM 0. For any y ∈ SOL(K, q, M) it holds that
SOL(K, q, M) = x ∈ K : q+Mx ∈ K∗, (MT+M)(x−y) = 0, qT(x−y) = 0.
Proof:
I By proposition 2.3.6, we have from monotonicity that x, y ∈ SOL(K, q, M):
(x− y)TM(x− y) = 0.
Game theory: Models, Algorithms and Applications 20
Angelia Nedic and Uday V. Shanbhag Lecture 9
I For x 6= y, we have that (M + MT)(x− y) = 0 which may be further
simplified as
xT(M + MT)(x− y) = 0
xT(M + MT)x = xT(M + MT)y
xTMx = 12xT(M + MT)y
similarly yTMy = 12xT(M + MT)y
I Since x ∈ SOL(K, F ), we have that xT(q + Mx) = 0 =⇒ xTq =
−xTMx.
I Similarly, yT(q + My) = 0 =⇒ yTq = −yTMy. But
yTMy = xTMx = =⇒ xTq = −xTMx = −yTMy = yTq.
Game theory: Models, Algorithms and Applications 21
Angelia Nedic and Uday V. Shanbhag Lecture 9
Therefore x lies in the set on the right hand side of the specified set
equation.
I To prove the reverse inclusion, we need to show that if x lies in
x ∈ K : q + Mx ∈ K∗, (MT + M)(x− y) = 0, qT(x− y) = 0
then xT(Mx+ q) = 0. Since qT(x− y) = 0, (M +MT)(x− y) = 0,
we have
qTx = qTy, (M + MT)x = (M + MT)y.
I The latter expression implies that xTMx = yTMy implying that
x(Mx + q) = yT(My + y) = 0.
The result follows.
Game theory: Models, Algorithms and Applications 22
Angelia Nedic and Uday V. Shanbhag Lecture 9
Implication: The aforementioned lemma implies that qTx is a constant
scalar and (M + MT)x is a constant vector for all x ∈ SOL(K, q, M).
Therefore if K is polyhedral, then the set given by SOL(K,F) is also
polyhedral.
Game theory: Models, Algorithms and Applications 23
Angelia Nedic and Uday V. Shanbhag Lecture 9
Polyhedrality of Monotone AVI
I Consider the affine variational inequality denoted by AVI(K,q,M) which
requires a vector x such that
(y − x)T(Mx + q) ≥ 0, ∀y ∈ K,
where K is a polyhedral set. Note that if F is non necessarily affine, we
have a linearly constrained VI.
I Before proving a result pertaining to the polyhedrality of the SOL(K,q,M),
we provide a result that gives a KKT characterization of the VI.
Proposition 1 Let K be given by
K ≡ x ∈ Rn : Ax ≤ b, Cx = d
Game theory: Models, Algorithms and Applications 24
Angelia Nedic and Uday V. Shanbhag Lecture 9
for some matrices A ∈ Rm×n and B ∈ Rl×n. A vector x solves theVI(K,F) if and only if there exists λ ∈ Rm and µ ∈ R` such that
F (x) + CTµ + ATλ = 0
Cx− d = 0
0 ≤ b−Ax ⊥ λ ≥ 0.
Proof:
• For a fixed x and K polyhedral, we may formulate the following LP:
min yTF (x)
subject to y ∈ K,
Game theory: Models, Algorithms and Applications 25
Angelia Nedic and Uday V. Shanbhag Lecture 9
by noting that the VI is equivalent to finding an x such that
yTF (x) ≥ xTF (x) ∀y ∈ K.
• Therefore if x ∈ SOL(K, F ), then x is a solution to this LP. But by
LP duality, we have the existence of (λ, µ) such that the following
holds:
F (x) + CTµ + ATλ = 0
Cx− d = 0
0 ≤ b−Ax ⊥ λ ≥ 0.
• Reverse holds in a similar fashion.
I We may now prove the polyhedrality of the solution set of AVI(K,q,M).
Game theory: Models, Algorithms and Applications 26
Angelia Nedic and Uday V. Shanbhag Lecture 9
Clearly, when K is a cone, this follows from the result for monotone
CP(K,q,M).
Theorem 7 Let K be polyhedral and F (x) ≡ Mx + q. The solution setof AVI(K,q,M) is polyhedral.
Proof: Let K be given as
K ≡ x ∈ Rn : Ax ≤ b, Cx = d
for some matrices A ∈ Rm×n and B ∈ Rl×n. However, x is a solution to
AVI(K,q,m) if and only if (x, µ, λ) is a solution to
Mx + q + CTµ + ATλ = 0
Cx− d = 0
0 ≤ b−Ax ⊥ λ ≥ 0.
Game theory: Models, Algorithms and Applications 27
Angelia Nedic and Uday V. Shanbhag Lecture 9
But this is an mixed LCP (a special case of a monotone affine CP) and
has a polyhedral solution set. However, the solution set of AVI(K,q,M) is a
projection of this solution set given by the mapping:
x
µ
λ
∈ Rn+`+m → x ∈ Rn.
Therefore the solution set of AVI(K,q,M) is also polyhedral.
Game theory: Models, Algorithms and Applications 28