Facial structure of convex sets 2225 May 2017, Vancouver SIAM - - PowerPoint PPT Presentation
Facial structure of convex sets 2225 May 2017, Vancouver SIAM Conference on Optimization Vera Roshchina RMIT University and Federation University Australia Joint work with Tian Sang (RMIT University) and David Yost (Federation University
SIAM Conference on Optimization
Vera Roshchina RMIT University and Federation University Australia Joint work with Tian Sang (RMIT University) and David Yost (Federation University Australia)
Recall that polytopes are convex hulls of finitely many points. The boundaries of these polytopes consist of convex polygons, which are in turn bounded by one-dimensional edges. We can also clearly distinguish the vertices (or extreme points). All these
We can also define faces of general convex sets. 1/21
A face F of a convex set C ⊂ Rn is a convex subset of C such that for any x ∈ F and for any line segment [a, b] ⊂ C such that x ∈ (a, b), we have a, b ∈ F. We write F ⊳ C for F face of C.
Not a face Not a face
2/21
A face F of a convex set C ⊂ Rn is a convex subset F of C such that for any point x ∈ F and for any line segment [a, b] ⊂ C such that x ∈ (a, b), we have a, b ∈ F.
Every singleton on the boundary is a face; the disk is a face. The two 'apices', all singletons in the middle and every 'edge'
Note that C ⊳ C, ∅ ⊳ C. 3/21
The intersection of a sup- porting hyperplane with the set is always a face. Such faces are called exposed. Unlike in the polyhedral case, faces of general con- vex sets are not necessarily exposed. The convex hull of a torus [Rockafellar, Convex Analysis, 1970] has unexposed zero-dimensional faces (dashed line). 4/21
The dimension of a convex set is the dimension of its affine hull (the smallest affine subspace, such as point, line, plane, etc. that contains the set). Hence every face has a dimension.
Every singleton on the boundary is a face Every vertex, edge, and all four two-dimensional facets are faces Every singleton on the boundary is a face; the disk is a face. The two 'apices', all singletons in the middle and every 'edge'
dim = 0 dim = 1 dim = 2
Recall that the set itself is a face (of dimension 3). 5/21
Some convex sets have large gaps between the dimensions of their faces, for instance, the cone Sn
+ of positive semidefinite n×n
matrices has faces of dimensions k(k + 1)/2 for k ∈ {0, 1, . . . , n}. A natural question is what are the possible patterns for the di- mensions of faces of closed convex sets?
(0,3) (0,1,2,3) (0,2,3) (0,1,3)
6/21
The empty set has the empty face only, we denote this by (). On the real line we have the empty set, the singletons and (pos- sibly unbounded) line segments.
(0) (0,1) (1)
On the plane the full dimensional possibilities are exhausted by circle, triangle, half space and the whole space.
(0,2) (0,1,2) (1,2) half space (2) the whole space
We have 8 = 23 sequences: (), (0), (1), (2), (0, 1), (0, 2), (1, 2), (0, 1, 2). 7/21
The possibilities for three dimensional compact convex sets are exhausted by our examples:
(0,3) (0,1,2,3) (0,2,3) (0,1,3)
The remaining patterns are obtained as direct products of the two dimensional examples with the real line: (2) → (3), (0, 2) → (1, 3), (0, 1, 2) → (1, 2, 3) and (1, 2) → (2, 3). We have covered all increasing sequences of nonnegative integers that end in “3”: (3), (0, 3), (1, 3), (2, 3), (0, 1, 3), (0, 2, 3), (0, 1, 2, 3). 8/21
We can write down all potential dimensional patterns of the faces as an increasing sequence of nonnegative numbers (d0, d1, d2, . . . , dk). Theorem 1. (R, Sang, Yost) For any increasing sequence of nonnegative integers d = (d0, d1, d2, . . . , dk) there exists a closed convex set in dk-dimensional space such that the vector (d0, d1, . . . , dk) describes the pattern of facial di- mensions for this set.
[R, Sang, Yost, Compact convex sets with prescribed facial dimensions, 2016].
9/21
Photo taken during the MATRIX research program on approxi- mation and optimisation in July 2016. 10/21
Recall the definition of Minkowski sum: for C1, C2 ⊆ Rn we have C1 + C2 := {z = x + y | x ∈ C1, y ∈ C2}. The shape of the Minkowski sum can be visualised via ‘dragging’
11/21
Lemma 1. Let P, Q ⊂ Rn be nonempty convex compact sets, and let C = P + Q. Then every face of C is the Minkowski sum
∀ F ⊳ C ∃FP ⊳ P, FQ ⊳ Q such that F = FP + FQ.
Minkowski sum
12/21
Recall that for compact P, Q ⊂ Rn and C = P + Q we have ∀ F ⊳ C ∃FP ⊳ P, FQ ⊳ Q such that F = FP + FQ. When one of the sets, say, P, is the Euclidean ball, the sum can
the full-dimensional face.
Sum of the Euclidean ball with a line segment and with a square.
13/21
(0,2) (1,3)
Recall that we want to prove that every finite in- creasing pattern of integers (d0, d1, . . . , dk) can be re- alised. We will prove that every such sequence that starts with zero, i.e. d0 = 0, can be realised by a compact convex set. The result for the general closed convex sets is then straightfor- ward by taking products with subspaces of the required dimen- sion. 14/21
We use induction in the last number dk of the increasing sequence (d0 = 0, d1, . . . , dk) to demonstrate the result. Our base is the lower dimensional examples. Our assumption is that for any finite increasing sequence (d0, . . . , dk)
struct a compact convex set in Rdk with the corresponding facial pattern. We will show that for any sequence (increasing, starting from zero) ending in dk = m + 1 we can construct a compact convex set that realises this sequence. 15/21
Our sequence: d = (d0, d1, d2, . . . , dk), dk = m + 1. Consider the truncated sequence: d′ = (d0, d1, d2, . . . , dk−1). Since dk = m+1, we have dk−1 ≤ m, and by inductive assumption there is a compact convex Q′ ⊂ Rdk−1 that realises d′ in Rdk−1. Let Q := Q′ × {0m+1−l} ⊂ Rm+1. Now Q realises d′ as well. 16/21
We have Q ⊂ Rm+1 that realises d′ = (d0, . . . , dk−1). We claim that the dimensions of faces of C = Q + B (where B ⊂ Rdk = Rm+1 is the Euclidean ball) realise the full sequence d = (d0, . . . , dk, dk+1). For this we need to show that the only dimension added is dk, and none of the original facial dimensions of Q are lost. The only faces of C are sums of faces of B and Q, hence they are either translations of faces of Q or of dimension dk. The plane xdk = 1 exposes the face of C that is an affine trans- lation of Q, hence, all original dimensions are present in C. 17/21
Observe that taking the union of faces of a given dimension of a polytope (or a polyhedral set) results in a set of dimension that coincides with the dimension of the faces. This is not the case for general setting: for instance, the dimen- sion of the union of all extreme points of a Euclidean ball in Rn is n − 1. 18/21
Consider their convex hulls. 19/21
20/21