A new look at nonnegativity on closed sets
|
|
- Franklin Francis
- 5 years ago
- Views:
Transcription
1 A new look at nonnegativity on closed sets LAAS-CNRS and Institute of Mathematics, Toulouse, France IPAM, UCLA September 2010
2 Positivstellensatze for semi-algebraic sets K R n from the knowledge of defining polynomials inner approximations of the cone of polynomials nonnegative on K Optimization: Semidefinite relaxations yield lower bounds Another look at nonnegativity from knowledge of a measure supported on K. outer approximations of the cone of polynomials nonnegative on K Optimization: Semidefinite approximations yield upper bounds
3 Positivstellensatze for semi-algebraic sets K R n from the knowledge of defining polynomials inner approximations of the cone of polynomials nonnegative on K Optimization: Semidefinite relaxations yield lower bounds Another look at nonnegativity from knowledge of a measure supported on K. outer approximations of the cone of polynomials nonnegative on K Optimization: Semidefinite approximations yield upper bounds
4 Positivstellensatze for semi-algebraic sets K R n from the knowledge of defining polynomials inner approximations of the cone of polynomials nonnegative on K Optimization: Semidefinite relaxations yield lower bounds Another look at nonnegativity from knowledge of a measure supported on K. outer approximations of the cone of polynomials nonnegative on K Optimization: Semidefinite approximations yield upper bounds
5 Positivstellensatze for semi-algebraic sets K R n from the knowledge of defining polynomials inner approximations of the cone of polynomials nonnegative on K Optimization: Semidefinite relaxations yield lower bounds Another look at nonnegativity from knowledge of a measure supported on K. outer approximations of the cone of polynomials nonnegative on K Optimization: Semidefinite approximations yield upper bounds
6 Positivstellensatze for semi-algebraic sets K R n from the knowledge of defining polynomials inner approximations of the cone of polynomials nonnegative on K Optimization: Semidefinite relaxations yield lower bounds Another look at nonnegativity from knowledge of a measure supported on K. outer approximations of the cone of polynomials nonnegative on K Optimization: Semidefinite approximations yield upper bounds
7 Positivstellensatze for semi-algebraic sets K R n from the knowledge of defining polynomials inner approximations of the cone of polynomials nonnegative on K Optimization: Semidefinite relaxations yield lower bounds Another look at nonnegativity from knowledge of a measure supported on K. outer approximations of the cone of polynomials nonnegative on K Optimization: Semidefinite approximations yield upper bounds
8 Positivstellensatze for semi-algebraic sets K R n from the knowledge of defining polynomials inner approximations of the cone of polynomials nonnegative on K Optimization: Semidefinite relaxations yield lower bounds Another look at nonnegativity from knowledge of a measure supported on K. outer approximations of the cone of polynomials nonnegative on K Optimization: Semidefinite approximations yield upper bounds
9 Let K R n be closed A basic question is: Characterize the continuous functions f : R n R that are nonnegative on K
10 and if possible... a characterization amenable to practical computation! Because then...
11 Positivstellensatze for basic semi-algebraic sets Let K := {x R n : g j (x) 0, j = 1,..., m}, for some polynomials (g j ) R[x]. Here, knowledge on K is through its defining polynomials (g j ) R[x]. Let C(K) d be the CONVEX cone of polynomials of degree at most d, nonnegative on K, and C d the CONVEX cone of polynomials of degree at most d, nonnegative on R n. Define x g J (x) := k J g k (x), J {1,..., m}.
12 The preordering associated with (g j ) is the set P(g) := σ J g J : σ J Σ[x] J {1,...,m} The quadratic module associated with (g j ) is the set m Q(g) := σ j g j : σ j Σ[x] j=1 Of course every element of P(g) or Q(g) is nonnegative on K, and the σ J (or the σ j ) provide certificates of nonnegativity on K.
13 The preordering associated with (g j ) is the set P(g) := σ J g J : σ J Σ[x] J {1,...,m} The quadratic module associated with (g j ) is the set m Q(g) := σ j g j : σ j Σ[x] j=1 Of course every element of P(g) or Q(g) is nonnegative on K, and the σ J (or the σ j ) provide certificates of nonnegativity on K.
14 Truncated versions The k-truncated preordering associated with (g j ) is the set P k (g) := J {1,...,m} σ J g J : σ J Σ[x], deg σ J g J 2k The k-truncated quadratic module associated with (g j ) is the set m Q k (g) := σ j g j : σ j Σ[x], deg σ J g J 2k j=1
15 Truncated versions The k-truncated preordering associated with (g j ) is the set P k (g) := J {1,...,m} σ J g J : σ J Σ[x], deg σ J g J 2k The k-truncated quadratic module associated with (g j ) is the set m Q k (g) := σ j g j : σ j Σ[x], deg σ J g J 2k j=1
16 d-truncated versions One may also define the convex cones P d k (g) := P k(g) R[x] d Q d k (g) := Q k(g) R[x] d
17 Observe that Q d k (g) Pd k (g) C(K) d, and so, the convex cones Qk d(g) and Pd k (g) provide inner approximations of C(K) d.... and... TESTING whether f P d k (g), or f Qd k (g) IS SOLVING an SDP! Provides the basis of moment-sos relaxations for polynomial programming!
18 Observe that Q d k (g) Pd k (g) C(K) d, and so, the convex cones Qk d(g) and Pd k (g) provide inner approximations of C(K) d.... and... TESTING whether f P d k (g), or f Qd k (g) IS SOLVING an SDP! Provides the basis of moment-sos relaxations for polynomial programming!
19 Observe that Q d k (g) Pd k (g) C(K) d, and so, the convex cones Qk d(g) and Pd k (g) provide inner approximations of C(K) d.... and... TESTING whether f P d k (g), or f Qd k (g) IS SOLVING an SDP! Provides the basis of moment-sos relaxations for polynomial programming!
20 Stengle s NichtNegativstellensatz f 0 on K h f = f 2s + p for some integer s, and polynomials h, p P(g). Moreover, bounds for s and degrees of h, p exist! Hence, GIVEN f R[x] d, cheking whether f 0 on K... reduces to solve a SINGLE SDP!...BUT.. its size is out of reach...!!! (hence try small degree certificates) it does not provide a NICE characterization of C(K) d, and not very practical for optimization purpose
21 Stengle s NichtNegativstellensatz f 0 on K h f = f 2s + p for some integer s, and polynomials h, p P(g). Moreover, bounds for s and degrees of h, p exist! Hence, GIVEN f R[x] d, cheking whether f 0 on K... reduces to solve a SINGLE SDP!...BUT.. its size is out of reach...!!! (hence try small degree certificates) it does not provide a NICE characterization of C(K) d, and not very practical for optimization purpose
22 Stengle s NichtNegativstellensatz f 0 on K h f = f 2s + p for some integer s, and polynomials h, p P(g). Moreover, bounds for s and degrees of h, p exist! Hence, GIVEN f R[x] d, cheking whether f 0 on K... reduces to solve a SINGLE SDP!...BUT.. its size is out of reach...!!! (hence try small degree certificates) it does not provide a NICE characterization of C(K) d, and not very practical for optimization purpose
23 Stengle s NichtNegativstellensatz f 0 on K h f = f 2s + p for some integer s, and polynomials h, p P(g). Moreover, bounds for s and degrees of h, p exist! Hence, GIVEN f R[x] d, cheking whether f 0 on K... reduces to solve a SINGLE SDP!...BUT.. its size is out of reach...!!! (hence try small degree certificates) it does not provide a NICE characterization of C(K) d, and not very practical for optimization purpose
24 Stengle s NichtNegativstellensatz f 0 on K h f = f 2s + p for some integer s, and polynomials h, p P(g). Moreover, bounds for s and degrees of h, p exist! Hence, GIVEN f R[x] d, cheking whether f 0 on K... reduces to solve a SINGLE SDP!...BUT.. its size is out of reach...!!! (hence try small degree certificates) it does not provide a NICE characterization of C(K) d, and not very practical for optimization purpose
25 Note in passing that f 0 on R n (i.e., f C d ) h f = p for some integer s, and polynomials h, p P(g). But again, it does not provide a nice characterization of the convex cone C d
26 Note in passing that f 0 on R n (i.e., f C d ) h f = p for some integer s, and polynomials h, p P(g). But again, it does not provide a nice characterization of the convex cone C d
27 Schmüdgen s Positivstellensatz [ K compact and f > 0 on K ] f P k (g) for some integer k. Putinar Positivstellensatz Assume that for some M > 0, the quadratic polynomial x M x 2 is in Q(g). Then: [ K compact and f > 0 on K ] f Q k (g) for some integer k.
28 Schmüdgen s Positivstellensatz [ K compact and f > 0 on K ] f P k (g) for some integer k. Putinar Positivstellensatz Assume that for some M > 0, the quadratic polynomial x M x 2 is in Q(g). Then: [ K compact and f > 0 on K ] f Q k (g) for some integer k.
29 Schmüdgen s Positivstellensatz [ K compact and f > 0 on K ] f P k (g) for some integer k. Putinar Positivstellensatz Assume that for some M > 0, the quadratic polynomial x M x 2 is in Q(g). Then: [ K compact and f > 0 on K ] f Q k (g) for some integer k.
30 Observe that if f 0 on K then for every ɛ > 0, there exists k such that f + ɛ Qk d(g) (or f + ɛ Qd k (g)) for some k... And so, the previous Positivstellensatze state that ( ) Pk d (g) = C(K) d k=0 and if x M x 2 is in Q(g) ( ) Qk d (g) k=0 = C(K) d
31 Duality Given a sequence y = (y α ), α N n, define the linear functional L y : R[x] R by: f (= α f α x α ) L y (f ) := α f α y α, f R[x] A sequence y has a representing Borel measure on K if there exists a finite Borel measure µ supported on K, such that y α = x α dµ(x), α N n. Theorem (Dual version of Putinar s theorem) K Let K be compact and assume that the polynomial M x 2 belongs to Q(g). Then y has a representing mesure supported on K if L y (h 2 ) 0, L y (h 2 g j ) 0, h R[x]
32 Moment matrix M k (y) with rows and columns indexed in N n k = {α Nn : i α i k}. M k (y)(α, β) := L y (x α+β ) = y α+β, α, β N n k For instance in R 2 : M 1 (y) = y 00 y 10 y 01 y 10 y 20 y 11 y 01 y 11 y 02 Then [ L y (f 2 ) 0, ] f, deg(f ) k M k (y) 0
33 Localizing matrix M r (θy) with respect to θ R[x] With x θ(x) = γ θ γ x γ M r (θ y)(α, β) = L y (θ x α+β ) = θ γ y α+β+γ, γ N n α, β N n k For instance, in R 2, and with X θ(x) := 1 x 2 1 x 2 2, M 1 (θ y) = y 00 y 20 y 02, y 10 y 30 y 12, y 01 y 21 y 03 y 10 y 30 y 12, y 20 y 40 y 22, y 11 y 21 y 12 y 01 y 21 y 03, y 11 y 21 y 12, y 02 y 22 y 04. Then [ L y (f 2 θ) 0, ] f, deg(f ) k M k (θ y) 0
34 Optimization: Hierarchy of semidefinite relaxations Consider the global optimization problem f = min{f (x) : x K} For every j, let v j := deg(g j )/2. Theorem Let K be compact and assume that the polynomial M x 2 belongs to Q(g). Consider the semidefinite programs: ρ k := max { λ : f λ Q k(g) } ρ k := min y L y (f ) s.t. L y (1) = 1 M k (y), M k vj (g j y) 0, j = 1,..., m Then ρ k ρ k for all k, and ρ k, ρ k f := min {f (x) : x K }
35 Optimization: Hierarchy of semidefinite relaxations Consider the global optimization problem f = min{f (x) : x K} For every j, let v j := deg(g j )/2. Theorem Let K be compact and assume that the polynomial M x 2 belongs to Q(g). Consider the semidefinite programs: ρ k := max { λ : f λ Q k(g) } ρ k := min y L y (f ) s.t. L y (1) = 1 M k (y), M k vj (g j y) 0, j = 1,..., m Then ρ k ρ k for all k, and ρ k, ρ k f := min {f (x) : x K }
36 Notice that the primal semidefinite program ρ k := min y L y (f ) s.t. L y (1) = 1 M k (y), M k vj (g j y) 0, j = 1,..., m is a relaxation of f = { } min f dµ : µ(k) = 1 µ M(K) K where M(K) is the space of finite Borel measures on K. Let y k be an optimal solution of the primal SDP If there is a unique global minimizer x K then µ = δ x and for every i = 1,..., n, L y k (x i ) x i as k.
37 Notice that the primal semidefinite program ρ k := min y L y (f ) s.t. L y (1) = 1 M k (y), M k vj (g j y) 0, j = 1,..., m is a relaxation of f = { } min f dµ : µ(k) = 1 µ M(K) K where M(K) is the space of finite Borel measures on K. Let y k be an optimal solution of the primal SDP If there is a unique global minimizer x K then µ = δ x and for every i = 1,..., n, L y k (x i ) x i as k.
38 Another look at of nonnegativity
39 Let K R n be an arbitrary closed set, and let f : R n R be a continuous function. Support of a measure On a separable metric space X, the support supp µ of a Borel measure µ is the (unique) smallest closed set such that µ(x \ K) = 0. Here the knowledge on K is through a measure µ with supp µ = K, and is independent of the representation of K. Lemma (Let µ be such that supp µ = K) A continuous function f : X R is nonnegative on K if and only if the signed Borel measure ν(b) = K B f dµ, B B, is a positive measure.
40 Let K R n be an arbitrary closed set, and let f : R n R be a continuous function. Support of a measure On a separable metric space X, the support supp µ of a Borel measure µ is the (unique) smallest closed set such that µ(x \ K) = 0. Here the knowledge on K is through a measure µ with supp µ = K, and is independent of the representation of K. Lemma (Let µ be such that supp µ = K) A continuous function f : X R is nonnegative on K if and only if the signed Borel measure ν(b) = K B f dµ, B B, is a positive measure.
41 proof The only if part is straightforward. For the if part, if ν is a positive measure then f (x) 0 for µ-almost all x K. That is, there is a Borel set G K such that µ(g) = 0 and f (x) 0 on K \ G. Next, observe that K \ G K and µ(k \ G) = µ(k). Therefore K \ G = K by minimality of K. Hence, let x K be fixed, arbitrary. As K = K \ G, there is a sequence (x k ) K \ G, k N, with x k x as k. But since f is continuous and f (x k ) 0 for every k N, we obtain the desired result f (x) 0.
42 proof The only if part is straightforward. For the if part, if ν is a positive measure then f (x) 0 for µ-almost all x K. That is, there is a Borel set G K such that µ(g) = 0 and f (x) 0 on K \ G. Next, observe that K \ G K and µ(k \ G) = µ(k). Therefore K \ G = K by minimality of K. Hence, let x K be fixed, arbitrary. As K = K \ G, there is a sequence (x k ) K \ G, k N, with x k x as k. But since f is continuous and f (x k ) 0 for every k N, we obtain the desired result f (x) 0.
43 proof The only if part is straightforward. For the if part, if ν is a positive measure then f (x) 0 for µ-almost all x K. That is, there is a Borel set G K such that µ(g) = 0 and f (x) 0 on K \ G. Next, observe that K \ G K and µ(k \ G) = µ(k). Therefore K \ G = K by minimality of K. Hence, let x K be fixed, arbitrary. As K = K \ G, there is a sequence (x k ) K \ G, k N, with x k x as k. But since f is continuous and f (x k ) 0 for every k N, we obtain the desired result f (x) 0.
44 Theorem Let K [ 1, 1] n be compact and let µ be an arbitrary, fixed, finite Borel measure on K with supp µ = K. Let f be a continuous function on R n and let z = (z α ), α N n, with z α = x α f (x)dµ(x), α N n. (a) f 0 on K if and only if K M k (z) 0, k = 0, 1,..., and if f R[x] then f 0 on K if and only if M k (f y) 0, k = 0, 1,... (b) If in addition to be continuous, f is also concave on K, then one may replace K with co (K).
45 Theorem Let K [ 1, 1] n be compact and let µ be an arbitrary, fixed, finite Borel measure on K with supp µ = K. Let f be a continuous function on R n and let z = (z α ), α N n, with z α = x α f (x)dµ(x), α N n. (a) f 0 on K if and only if K M k (z) 0, k = 0, 1,..., and if f R[x] then f 0 on K if and only if M k (f y) 0, k = 0, 1,... (b) If in addition to be continuous, f is also concave on K, then one may replace K with co (K).
46 Theorem Let K [ 1, 1] n be compact and let µ be an arbitrary, fixed, finite Borel measure on K with supp µ = K. Let f be a continuous function on R n and let z = (z α ), α N n, with z α = x α f (x)dµ(x), α N n. (a) f 0 on K if and only if K M k (z) 0, k = 0, 1,..., and if f R[x] then f 0 on K if and only if M k (f y) 0, k = 0, 1,... (b) If in addition to be continuous, f is also concave on K, then one may replace K with co (K).
47 Sketch of proof Consider the signed measure dν = f dµ. As K [ 1, 1] n, z α = x α f dµ f dµ = f 1, α N n. K K and so z is the moment sequence of a finite (positive) Borel measure ψ on [ 1, 1] n. As K is compact this implies ν = ψ, and so, ν is a positive Borel measure, and with support equal to K. By the Lemma that we have seen, f 0 on K.
48 Sketch of proof Consider the signed measure dν = f dµ. As K [ 1, 1] n, z α = x α f dµ f dµ = f 1, α N n. K K and so z is the moment sequence of a finite (positive) Borel measure ψ on [ 1, 1] n. As K is compact this implies ν = ψ, and so, ν is a positive Borel measure, and with support equal to K. By the Lemma that we have seen, f 0 on K.
49 Sketch of proof Consider the signed measure dν = f dµ. As K [ 1, 1] n, z α = x α f dµ f dµ = f 1, α N n. K K and so z is the moment sequence of a finite (positive) Borel measure ψ on [ 1, 1] n. As K is compact this implies ν = ψ, and so, ν is a positive Borel measure, and with support equal to K. By the Lemma that we have seen, f 0 on K.
50 Let identify f R[x] d with its vector of coefficient f R s(d), with s(d) = ( ) n+d n. Observe that, for every k = 1,... k := {f R s(d) : M k (f y) 0} is a spectrahedron in R s(d), that is,... one obtains a nested hierarchy of spectrahedra 0 1 k C(K) d, with no lifting, that provide tighter and tighter outer approximations of C(K) d.
51 Let identify f R[x] d with its vector of coefficient f R s(d), with s(d) = ( ) n+d n. Observe that, for every k = 1,... k := {f R s(d) : M k (f y) 0} is a spectrahedron in R s(d), that is,... one obtains a nested hierarchy of spectrahedra 0 1 k C(K) d, with no lifting, that provide tighter and tighter outer approximations of C(K) d.
52 So we get the sandwich Pk d(g) C(K) d k for all k, and ( ) ( ) Pk d (g) = C(K) d = k k=0 Inner approximations Outer approximations representation dependent independent of representation k=0
53 Application to optimization Theorem (A hierarchy of upper bounds) Let f R[x] d be fixed and K R n be closed. Let µ be such that supp µ = K and with moment sequence y = (y α ), α N n. Consider the hierarchy of semidefinite programs: u k = min σ K f σ dµ }{{} dν : K σdµ = 1; σ Σ[x] }{{} d, dν u k = max λ { λ : M k(f λ, y) 0 } = max λ { λ : λ M k(y) M k (f, y) } Then u k, u k f = min x {f (x) : x K}.
54 Interpetation of u k recall that f = min{ ψ K whereas u k = min ν { K f dψ : ψ(k) = 1, ψ(r n \ K) = 0} f σdµ }{{} dν : ν(k) = 1, ν(r n \ K) = 0; σ Σ[x] k } that is, one optimizes over the subspace of Borel probability measures absolutely continuous with respect to µ, and with density σ Σ[x] k. Ideally, when k is large, σ(x) > 0 in a neighborhood of a global minimizer x K.
55 Interpetation of u k recall that f = min{ ψ K whereas u k = min ν { K f dψ : ψ(k) = 1, ψ(r n \ K) = 0} f σdµ }{{} dν : ν(k) = 1, ν(r n \ K) = 0; σ Σ[x] k } that is, one optimizes over the subspace of Borel probability measures absolutely continuous with respect to µ, and with density σ Σ[x] k. Ideally, when k is large, σ(x) > 0 in a neighborhood of a global minimizer x K.
56 Interpetation of u k recall that f = min{ ψ K whereas u k = min ν { K f dψ : ψ(k) = 1, ψ(r n \ K) = 0} f σdµ }{{} dν : ν(k) = 1, ν(r n \ K) = 0; σ Σ[x] k } that is, one optimizes over the subspace of Borel probability measures absolutely continuous with respect to µ, and with density σ Σ[x] k. Ideally, when k is large, σ(x) > 0 in a neighborhood of a global minimizer x K.
57 Interpetation of u k recall that f = min{ ψ K whereas u k = min ν { K f dψ : ψ(k) = 1, ψ(r n \ K) = 0} f σdµ }{{} dν : ν(k) = 1, ν(r n \ K) = 0; σ Σ[x] k } that is, one optimizes over the subspace of Borel probability measures absolutely continuous with respect to µ, and with density σ Σ[x] k. Ideally, when k is large, σ(x) > 0 in a neighborhood of a global minimizer x K.
58 Also works for non-compact closed sets but then µ has to satisfy Carleman-type sufficient condition which limits the growth of the moments. For example, take dµ = e x 2 /2 dx The sequences of upper bounds (u k, uk ) complement the sequences of lower bounds (ρ k, ρ k ) obtained from SDP-relaxations. Of course, for practical computation, the previous semidefinite relaxations require knowledge of the moment sequence y = (y α ), α N n. This is possible for relatively simple sets K like a box, a simplex, the discrete set { 1, 1} n, an ellipsoid, etc., where one can take µ to be uniformly distributed, or K = R n (or K = R n +) with dµ = e x 2 /2 dx, K = R n dµ = e P i x i dx, K = R n +
59 Also works for non-compact closed sets but then µ has to satisfy Carleman-type sufficient condition which limits the growth of the moments. For example, take dµ = e x 2 /2 dx The sequences of upper bounds (u k, uk ) complement the sequences of lower bounds (ρ k, ρ k ) obtained from SDP-relaxations. Of course, for practical computation, the previous semidefinite relaxations require knowledge of the moment sequence y = (y α ), α N n. This is possible for relatively simple sets K like a box, a simplex, the discrete set { 1, 1} n, an ellipsoid, etc., where one can take µ to be uniformly distributed, or K = R n (or K = R n +) with dµ = e x 2 /2 dx, K = R n dµ = e P i x i dx, K = R n +
60 Also works for non-compact closed sets but then µ has to satisfy Carleman-type sufficient condition which limits the growth of the moments. For example, take dµ = e x 2 /2 dx The sequences of upper bounds (u k, uk ) complement the sequences of lower bounds (ρ k, ρ k ) obtained from SDP-relaxations. Of course, for practical computation, the previous semidefinite relaxations require knowledge of the moment sequence y = (y α ), α N n. This is possible for relatively simple sets K like a box, a simplex, the discrete set { 1, 1} n, an ellipsoid, etc., where one can take µ to be uniformly distributed, or K = R n (or K = R n +) with dµ = e x 2 /2 dx, K = R n dµ = e P i x i dx, K = R n +
61 Some experiments K = R 2 + with dµ = e P i x i dx so that y ij = i! j!, i, j = 0, 1,... x f (x) := x 2 1 x 2 2 (x x 2 2 1) with f = 1/ u k K = R 2 + and x f (x) = x 1 + (1 x 1 x 2 ) 2 with f = 0, not attained. u k
62 Some experiments K = R 2 + with dµ = e P i x i dx so that y ij = i! j!, i, j = 0, 1,... x f (x) := x 2 1 x 2 2 (x x 2 2 1) with f = 1/ u k K = R 2 + and x f (x) = x 1 + (1 x 1 x 2 ) 2 with f = 0, not attained. u k
63 Preliminary conclusions Rapid decrease in first steps, but poor convergence Numerical stability problems to be expected. Use bases different from the monomial basis. Rather see this technique as a complement to lower bounds obtained from semidefinite relaxations
64 Preliminary conclusions Rapid decrease in first steps, but poor convergence Numerical stability problems to be expected. Use bases different from the monomial basis. Rather see this technique as a complement to lower bounds obtained from semidefinite relaxations
65 Preliminary conclusions Rapid decrease in first steps, but poor convergence Numerical stability problems to be expected. Use bases different from the monomial basis. Rather see this technique as a complement to lower bounds obtained from semidefinite relaxations
66 Preliminary conclusions Rapid decrease in first steps, but poor convergence Numerical stability problems to be expected. Use bases different from the monomial basis. Rather see this technique as a complement to lower bounds obtained from semidefinite relaxations
67 THANK YOU!
Moments and Positive Polynomials for Optimization II: LP- VERSUS SDP-relaxations
Moments and Positive Polynomials for Optimization II: LP- VERSUS SDP-relaxations LAAS-CNRS and Institute of Mathematics, Toulouse, France Tutorial, IMS, Singapore 2012 LP-relaxations LP- VERSUS SDP-relaxations
More informationMoments and Positive Polynomials for Optimization II: LP- VERSUS SDP-relaxations
Moments and Positive Polynomials for Optimization II: LP- VERSUS SDP-relaxations LAAS-CNRS and Institute of Mathematics, Toulouse, France EECI Course: February 2016 LP-relaxations LP- VERSUS SDP-relaxations
More informationThe moment-lp and moment-sos approaches
The moment-lp and moment-sos approaches LAAS-CNRS and Institute of Mathematics, Toulouse, France CIRM, November 2013 Semidefinite Programming Why polynomial optimization? LP- and SDP- CERTIFICATES of POSITIVITY
More informationSemialgebraic Relaxations using Moment-SOS Hierarchies
Semialgebraic Relaxations using Moment-SOS Hierarchies Victor Magron, Postdoc LAAS-CNRS 17 September 2014 SIERRA Seminar Laboratoire d Informatique de l Ecole Normale Superieure y b sin( par + b) b 1 1
More informationOn Polynomial Optimization over Non-compact Semi-algebraic Sets
On Polynomial Optimization over Non-compact Semi-algebraic Sets V. Jeyakumar, J.B. Lasserre and G. Li Revised Version: April 3, 2014 Communicated by Lionel Thibault Abstract The optimal value of a polynomial
More informationHilbert s 17th Problem to Semidefinite Programming & Convex Algebraic Geometry
Hilbert s 17th Problem to Semidefinite Programming & Convex Algebraic Geometry Rekha R. Thomas University of Washington, Seattle References Monique Laurent, Sums of squares, moment matrices and optimization
More informationConvex Optimization & Parsimony of L p-balls representation
Convex Optimization & Parsimony of L p -balls representation LAAS-CNRS and Institute of Mathematics, Toulouse, France IMA, January 2016 Motivation Unit balls associated with nonnegative homogeneous polynomials
More information4. Algebra and Duality
4-1 Algebra and Duality P. Parrilo and S. Lall, CDC 2003 2003.12.07.01 4. Algebra and Duality Example: non-convex polynomial optimization Weak duality and duality gap The dual is not intrinsic The cone
More informationApproximate Optimal Designs for Multivariate Polynomial Regression
Approximate Optimal Designs for Multivariate Polynomial Regression Fabrice Gamboa Collaboration with: Yohan de Castro, Didier Henrion, Roxana Hess, Jean-Bernard Lasserre Universität Potsdam 16th of February
More informationConvergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets
Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets Milan Korda 1, Didier Henrion,3,4 Draft of December 1, 016 Abstract Moment-sum-of-squares hierarchies
More informationCONVEXITY IN SEMI-ALGEBRAIC GEOMETRY AND POLYNOMIAL OPTIMIZATION
CONVEXITY IN SEMI-ALGEBRAIC GEOMETRY AND POLYNOMIAL OPTIMIZATION JEAN B. LASSERRE Abstract. We review several (and provide new) results on the theory of moments, sums of squares and basic semi-algebraic
More informationThe moment-lp and moment-sos approaches in optimization
The moment-lp and moment-sos approaches in optimization LAAS-CNRS and Institute of Mathematics, Toulouse, France Workshop Linear Matrix Inequalities, Semidefinite Programming and Quantum Information Theory
More information6-1 The Positivstellensatz P. Parrilo and S. Lall, ECC
6-1 The Positivstellensatz P. Parrilo and S. Lall, ECC 2003 2003.09.02.10 6. The Positivstellensatz Basic semialgebraic sets Semialgebraic sets Tarski-Seidenberg and quantifier elimination Feasibility
More informationOptimization over Polynomials with Sums of Squares and Moment Matrices
Optimization over Polynomials with Sums of Squares and Moment Matrices Monique Laurent Centrum Wiskunde & Informatica (CWI), Amsterdam and University of Tilburg Positivity, Valuations and Quadratic Forms
More informationConvex computation of the region of attraction for polynomial control systems
Convex computation of the region of attraction for polynomial control systems Didier Henrion LAAS-CNRS Toulouse & CTU Prague Milan Korda EPFL Lausanne Region of Attraction (ROA) ẋ = f (x,u), x(t) X, u(t)
More informationMatricial real algebraic geometry
Magdeburg, February 23th, 2012 Notation R - a commutative ring M n (R) - the ring of all n n matrices with entries in R S n (R) - the set of all symmetric matrices in M n (R) Mn (R) 2 - the set of all
More informationMinimum Ellipsoid Bounds for Solutions of Polynomial Systems via Sum of Squares
Journal of Global Optimization (2005) 33: 511 525 Springer 2005 DOI 10.1007/s10898-005-2099-2 Minimum Ellipsoid Bounds for Solutions of Polynomial Systems via Sum of Squares JIAWANG NIE 1 and JAMES W.
More informationarxiv: v1 [math.oc] 31 Jan 2017
CONVEX CONSTRAINED SEMIALGEBRAIC VOLUME OPTIMIZATION: APPLICATION IN SYSTEMS AND CONTROL 1 Ashkan Jasour, Constantino Lagoa School of Electrical Engineering and Computer Science, Pennsylvania State University
More informationConvex computation of the region of attraction for polynomial control systems
Convex computation of the region of attraction for polynomial control systems Didier Henrion LAAS-CNRS Toulouse & CTU Prague Milan Korda EPFL Lausanne Region of Attraction (ROA) ẋ = f (x,u), x(t) X, u(t)
More informationLMI MODELLING 4. CONVEX LMI MODELLING. Didier HENRION. LAAS-CNRS Toulouse, FR Czech Tech Univ Prague, CZ. Universidad de Valladolid, SP March 2009
LMI MODELLING 4. CONVEX LMI MODELLING Didier HENRION LAAS-CNRS Toulouse, FR Czech Tech Univ Prague, CZ Universidad de Valladolid, SP March 2009 Minors A minor of a matrix F is the determinant of a submatrix
More informationRepresentations of Positive Polynomials: Theory, Practice, and
Representations of Positive Polynomials: Theory, Practice, and Applications Dept. of Mathematics and Computer Science Emory University, Atlanta, GA Currently: National Science Foundation Temple University
More informationExample: feasibility. Interpretation as formal proof. Example: linear inequalities and Farkas lemma
4-1 Algebra and Duality P. Parrilo and S. Lall 2006.06.07.01 4. Algebra and Duality Example: non-convex polynomial optimization Weak duality and duality gap The dual is not intrinsic The cone of valid
More informationAn Exact Jacobian SDP Relaxation for Polynomial Optimization
An Exact Jacobian SDP Relaxation for Polynomial Optimization Jiawang Nie May 26, 2011 Abstract Given polynomials f(x), g i (x), h j (x), we study how to imize f(x) on the set S = {x R n : h 1 (x) = = h
More informationAdvanced SDPs Lecture 6: March 16, 2017
Advanced SDPs Lecture 6: March 16, 2017 Lecturers: Nikhil Bansal and Daniel Dadush Scribe: Daniel Dadush 6.1 Notation Let N = {0, 1,... } denote the set of non-negative integers. For α N n, define the
More informationarxiv: v2 [math.oc] 31 May 2010
A joint+marginal algorithm for polynomial optimization Jean B. Lasserre and Tung Phan Thanh arxiv:1003.4915v2 [math.oc] 31 May 2010 Abstract We present a new algorithm for solving a polynomial program
More informationA JOINT+MARGINAL APPROACH TO PARAMETRIC POLYNOMIAL OPTIMIZATION
A JOINT+MARGINAL APPROACH TO PARAMETRIC POLNOMIAL OPTIMIZATION JEAN B. LASSERRE Abstract. Given a compact parameter set R p, we consider polynomial optimization problems (P y) on R n whose description
More informationHow to generate weakly infeasible semidefinite programs via Lasserre s relaxations for polynomial optimization
CS-11-01 How to generate weakly infeasible semidefinite programs via Lasserre s relaxations for polynomial optimization Hayato Waki Department of Computer Science, The University of Electro-Communications
More informationStrong duality in Lasserre s hierarchy for polynomial optimization
Strong duality in Lasserre s hierarchy for polynomial optimization arxiv:1405.7334v1 [math.oc] 28 May 2014 Cédric Josz 1,2, Didier Henrion 3,4,5 Draft of January 24, 2018 Abstract A polynomial optimization
More informationLecture 3: Semidefinite Programming
Lecture 3: Semidefinite Programming Lecture Outline Part I: Semidefinite programming, examples, canonical form, and duality Part II: Strong Duality Failure Examples Part III: Conditions for strong duality
More informationSolving Global Optimization Problems with Sparse Polynomials and Unbounded Semialgebraic Feasible Sets
Solving Global Optimization Problems with Sparse Polynomials and Unbounded Semialgebraic Feasible Sets V. Jeyakumar, S. Kim, G. M. Lee and G. Li June 6, 2014 Abstract We propose a hierarchy of semidefinite
More informationTHÈSE. En vue de l obtention du DOCTORAT DE L UNIVERSITÉ FÉDÉRALE TOULOUSE MIDI-PYRÉNÉES
THÈSE En vue de l obtention du DOCTORAT DE L UNIVERSITÉ FÉDÉRALE TOULOUSE MIDI-PYRÉNÉES Délivré par : l Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier) Présentée et soutenue le 28/9/217 par : 1
More informationSemidefinite Programming
Semidefinite Programming Notes by Bernd Sturmfels for the lecture on June 26, 208, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra The transition from linear algebra to nonlinear algebra has
More informationSemi-definite representibility. For fun and profit
Semi-definite representation For fun and profit March 9, 2010 Introduction Any convex quadratic constraint x T C T Cx a + b T x Can be recast as the linear matrix inequality (LMI): ( ) In Cx (Cx) T a +
More informationarxiv: v1 [math.oc] 9 Sep 2015
CONTAINMENT PROBLEMS FOR PROJECTIONS OF POLYHEDRA AND SPECTRAHEDRA arxiv:1509.02735v1 [math.oc] 9 Sep 2015 KAI KELLNER Abstract. Spectrahedra are affine sections of the cone of positive semidefinite matrices
More informationCOURSE ON LMI PART I.2 GEOMETRY OF LMI SETS. Didier HENRION henrion
COURSE ON LMI PART I.2 GEOMETRY OF LMI SETS Didier HENRION www.laas.fr/ henrion October 2006 Geometry of LMI sets Given symmetric matrices F i we want to characterize the shape in R n of the LMI set F
More informationCONVEX ALGEBRAIC GEOMETRY. Bernd Sturmfels UC Berkeley
CONVEX ALGEBRAIC GEOMETRY Bernd Sturmfels UC Berkeley Multifocal Ellipses Given m points (u 1, v 1 ),...,(u m, v m )intheplaner 2,and aradiusd > 0, their m-ellipse is the convex algebraic curve { (x, y)
More informationarxiv:math/ v1 [math.oc] 13 Mar 2007
arxiv:math/0703377v1 [math.oc] 13 Mar 2007 NONLINEAR OPTIMAL CONTROL VIA OCCUPATION MEASURES AND LMI-RELAXATIONS JEAN B. LASSERRE, DIDIER HENRION, CHRISTOPHE PRIEUR, AND EMMANUEL TRÉLAT Abstract. We consider
More informationCLOSURES OF QUADRATIC MODULES
CLOSURES OF QUADRATIC MODULES JAKA CIMPRIČ, MURRAY MARSHALL, TIM NETZER Abstract. We consider the problem of determining the closure M of a quadratic module M in a commutative R-algebra with respect to
More informationRanks of Real Symmetric Tensors
Ranks of Real Symmetric Tensors Greg Blekherman SIAM AG 2013 Algebraic Geometry of Tensor Decompositions Real Symmetric Tensor Decompositions Let f be a form of degree d in R[x 1,..., x n ]. We would like
More informationRegion of attraction approximations for polynomial dynamical systems
Region of attraction approximations for polynomial dynamical systems Milan Korda EPFL Lausanne Didier Henrion LAAS-CNRS Toulouse & CTU Prague Colin N. Jones EPFL Lausanne Region of Attraction (ROA) ẋ(t)
More informationMean squared error minimization for inverse moment problems
Mean squared error minimization for inverse moment problems Didier Henrion 1,2,3, Jean B. Lasserre 1,2,4, Martin Mevissen 5 June 19, 2013 Abstract We consider the problem of approximating the unknown density
More informationSemidefinite Relaxations Approach to Polynomial Optimization and One Application. Li Wang
Semidefinite Relaxations Approach to Polynomial Optimization and One Application Li Wang University of California, San Diego Institute for Computational and Experimental Research in Mathematics September
More informationGlobal Optimization of Polynomials
Semidefinite Programming Lecture 9 OR 637 Spring 2008 April 9, 2008 Scribe: Dennis Leventhal Global Optimization of Polynomials Recall we were considering the problem min z R n p(z) where p(z) is a degree
More informationConvex computation of the region of attraction of polynomial control systems
Convex computation of the region of attraction of polynomial control systems Didier Henrion 1,2,3, Milan Korda 4 Draft of July 15, 213 Abstract We address the long-standing problem of computing the region
More informationIntroduction to Semidefinite Programming I: Basic properties a
Introduction to Semidefinite Programming I: Basic properties and variations on the Goemans-Williamson approximation algorithm for max-cut MFO seminar on Semidefinite Programming May 30, 2010 Semidefinite
More informationLecture 6: Conic Optimization September 8
IE 598: Big Data Optimization Fall 2016 Lecture 6: Conic Optimization September 8 Lecturer: Niao He Scriber: Juan Xu Overview In this lecture, we finish up our previous discussion on optimality conditions
More informationConvex computation of the region of attraction of polynomial control systems
Convex computation of the region of attraction of polynomial control systems Didier Henrion 1,2,3, Milan Korda 4 ariv:128.1751v1 [math.oc] 8 Aug 212 Draft of August 9, 212 Abstract We address the long-standing
More informationLecture Semidefinite Programming and Graph Partitioning
Approximation Algorithms and Hardness of Approximation April 16, 013 Lecture 14 Lecturer: Alantha Newman Scribes: Marwa El Halabi 1 Semidefinite Programming and Graph Partitioning In previous lectures,
More informationMean squared error minimization for inverse moment problems
Mean squared error minimization for inverse moment problems Didier Henrion 1,2,3, Jean B. Lasserre 1,2,4, Martin Mevissen 5 August 28, 2012 Abstract We consider the problem of approximating the unknown
More informationEE 227A: Convex Optimization and Applications October 14, 2008
EE 227A: Convex Optimization and Applications October 14, 2008 Lecture 13: SDP Duality Lecturer: Laurent El Ghaoui Reading assignment: Chapter 5 of BV. 13.1 Direct approach 13.1.1 Primal problem Consider
More informationUnbounded Convex Semialgebraic Sets as Spectrahedral Shadows
Unbounded Convex Semialgebraic Sets as Spectrahedral Shadows Shaowei Lin 9 Dec 2010 Abstract Recently, Helton and Nie [3] showed that a compact convex semialgebraic set S is a spectrahedral shadow if the
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationA brief history of noncommutative Positivstellensätze. Jaka Cimprič, University of Ljubljana, Slovenia
A brief history of noncommutative Positivstellensätze Jaka Cimprič, University of Ljubljana, Slovenia Hilbert s Nullstellensatz: If f, g 1,..., g m R := C[X 1,..., X n ] then the following are equivalent:
More informationFinal. due May 8, 2012
Final due May 8, 2012 Write your solutions clearly in complete sentences. All notation used must be properly introduced. Your arguments besides being correct should be also complete. Pay close attention
More informationNon-Convex Optimization via Real Algebraic Geometry
Non-Convex Optimization via Real Algebraic Geometry Constantine Caramanis Massachusetts Institute of Technology November 29, 2001 The following paper represents the material from a collection of different
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationA new approximation hierarchy for polynomial conic optimization
A new approximation hierarchy for polynomial conic optimization Peter J.C. Dickinson Janez Povh July 11, 2018 Abstract In this paper we consider polynomial conic optimization problems, where the feasible
More informationc 2008 Society for Industrial and Applied Mathematics
SIAM J. CONTROL OPTIM. Vol. 0, No. 0, pp. 000 000 c 2008 Society for Industrial and Applied Mathematics NONLINEAR OPTIMAL CONTROL VIA OCCUPATION MEASURES AND LMI-RELAXATIONS JEAN B. LASSERRE, DIDIER HENRION,
More informationA Review of Linear Programming
A Review of Linear Programming Instructor: Farid Alizadeh IEOR 4600y Spring 2001 February 14, 2001 1 Overview In this note we review the basic properties of linear programming including the primal simplex
More informationSEMIDEFINITE PROGRAMMING FOR MIN-MAX PROBLEMS AND GAMES
SEMIDEFINITE PROGRAMMING FOR MIN-MAX PROBLEMS AND GAMES Rida Laraki, Jean-Bernard Lasserre To cite this version: Rida Laraki, Jean-Bernard Lasserre. SEMIDEFINITE PROGRAMMING FOR MIN-MAX PROB- LEMS AND
More informationLecture 4: Polynomial Optimization
CS369H: Hierarchies of Integer Programming Relaxations Spring 2016-2017 Lecture 4: Polynomial Optimization Professor Moses Charikar Scribes: Mona Azadkia 1 Introduction Non-negativity over the hypercube.
More informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
More informationSDP Relaxations for MAXCUT
SDP Relaxations for MAXCUT from Random Hyperplanes to Sum-of-Squares Certificates CATS @ UMD March 3, 2017 Ahmed Abdelkader MAXCUT SDP SOS March 3, 2017 1 / 27 Overview 1 MAXCUT, Hardness and UGC 2 LP
More informationMath 5051 Measure Theory and Functional Analysis I Homework Assignment 2
Math 551 Measure Theory and Functional nalysis I Homework ssignment 2 Prof. Wickerhauser Due Friday, September 25th, 215 Please do Exercises 1, 4*, 7, 9*, 11, 12, 13, 16, 21*, 26, 28, 31, 32, 33, 36, 37.
More informationDistributionally robust optimization techniques in batch bayesian optimisation
Distributionally robust optimization techniques in batch bayesian optimisation Nikitas Rontsis June 13, 2016 1 Introduction This report is concerned with performing batch bayesian optimization of an unknown
More informationLinear conic optimization for nonlinear optimal control
Linear conic optimization for nonlinear optimal control Didier Henrion 1,2,3, Edouard Pauwels 1,2 Draft of July 15, 2014 Abstract Infinite-dimensional linear conic formulations are described for nonlinear
More informationMTNS Conference, Polynomial Inequalities and Applications. Kyoto, July
MTNS Conference, Polynomial Inequalities and Applications. Kyoto, July 24-28 2006. July 20, 2006 Salma Kuhlmann 1, Research Center Algebra, Logic and Computation University of Saskatchewan, McLean Hall,
More informationAn Introduction to Polynomial and Semi-Algebraic Optimization
An Introduction to Polynomial and Semi-Algebraic Optimization This is the first comprehensive introduction to the powerful moment approach for solving global optimization problems (and some related problems)
More informationMeasurable Choice Functions
(January 19, 2013) Measurable Choice Functions Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/choice functions.pdf] This note
More informationSemidefinite Representation of Convex Sets
Mathematical Programming manuscript No. (will be inserted by the editor J. William Helton Jiawang Nie Semidefinite Representation of Convex Sets the date of receipt and acceptance should be inserted later
More informationCSC Linear Programming and Combinatorial Optimization Lecture 10: Semidefinite Programming
CSC2411 - Linear Programming and Combinatorial Optimization Lecture 10: Semidefinite Programming Notes taken by Mike Jamieson March 28, 2005 Summary: In this lecture, we introduce semidefinite programming
More informationRobust and Optimal Control, Spring 2015
Robust and Optimal Control, Spring 2015 Instructor: Prof. Masayuki Fujita (S5-303B) G. Sum of Squares (SOS) G.1 SOS Program: SOS/PSD and SDP G.2 Duality, valid ineqalities and Cone G.3 Feasibility/Optimization
More informationExact SDP Relaxations for Classes of Nonlinear Semidefinite Programming Problems
Exact SDP Relaxations for Classes of Nonlinear Semidefinite Programming Problems V. Jeyakumar and G. Li Revised Version:August 31, 2012 Abstract An exact semidefinite linear programming (SDP) relaxation
More informationInner approximations of the region of attraction for polynomial dynamical systems
Inner approimations of the region of attraction for polynomial dynamical systems Milan Korda, Didier Henrion 2,3,4, Colin N. Jones October, 22 Abstract hal-74798, version - Oct 22 In a previous work we
More information9. Interpretations, Lifting, SOS and Moments
9-1 Interpretations, Lifting, SOS and Moments P. Parrilo and S. Lall, CDC 2003 2003.12.07.04 9. Interpretations, Lifting, SOS and Moments Polynomial nonnegativity Sum of squares (SOS) decomposition Eample
More informationContinuous Optimisation, Chpt 9: Semidefinite Optimisation
Continuous Optimisation, Chpt 9: Semidefinite Optimisation Peter J.C. Dickinson DMMP, University of Twente p.j.c.dickinson@utwente.nl http://dickinson.website/teaching/2017co.html version: 28/11/17 Monday
More informationLift-and-Project Techniques and SDP Hierarchies
MFO seminar on Semidefinite Programming May 30, 2010 Typical combinatorial optimization problem: max c T x s.t. Ax b, x {0, 1} n P := {x R n Ax b} P I := conv(k {0, 1} n ) LP relaxation Integral polytope
More informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More informationSemidefinite Programming
Semidefinite Programming Basics and SOS Fernando Mário de Oliveira Filho Campos do Jordão, 2 November 23 Available at: www.ime.usp.br/~fmario under talks Conic programming V is a real vector space h, i
More informationOperator-valued Herglotz kernels and functions of positive real
Operator-valued Herglotz kernels and functions of positive real part on the ball University of Florida July 24, 2008 Let D = {z C : z < 1}. Theorem (Riesz-Herglotz) Let f Hol(D). Then Rf 0 in D iff a postitive
More informationResearch Reports on Mathematical and Computing Sciences
ISSN 1342-2804 Research Reports on Mathematical and Computing Sciences Doubly Nonnegative Relaxations for Quadratic and Polynomial Optimization Problems with Binary and Box Constraints Sunyoung Kim, Masakazu
More informationTowards Solving Bilevel Optimization Problems in Quantum Information Theory
Towards Solving Bilevel Optimization Problems in Quantum Information Theory ICFO-The Institute of Photonic Sciences and University of Borås 22 January 2016 Workshop on Linear Matrix Inequalities, Semidefinite
More informationA GENERALIZATION OF THE LÖWNER-JOHN S ELLIPSOID THEOREM
A GENERALIZATION OF THE LÖWNER-JOHN S ELLIPSOID THEOREM JEAN B. LASSERRE Abstract. We address the following generalization P of the Löwner- John ellipsoid problem. Given a (non necessarily convex) compact
More informationCS295: Convex Optimization. Xiaohui Xie Department of Computer Science University of California, Irvine
CS295: Convex Optimization Xiaohui Xie Department of Computer Science University of California, Irvine Course information Prerequisites: multivariate calculus and linear algebra Textbook: Convex Optimization
More informationConvex Optimization. (EE227A: UC Berkeley) Lecture 28. Suvrit Sra. (Algebra + Optimization) 02 May, 2013
Convex Optimization (EE227A: UC Berkeley) Lecture 28 (Algebra + Optimization) 02 May, 2013 Suvrit Sra Admin Poster presentation on 10th May mandatory HW, Midterm, Quiz to be reweighted Project final report
More information(2) E M = E C = X\E M
10 RICHARD B. MELROSE 2. Measures and σ-algebras An outer measure such as µ is a rather crude object since, even if the A i are disjoint, there is generally strict inequality in (1.14). It turns out to
More informationSemidefinite Programming Basics and Applications
Semidefinite Programming Basics and Applications Ray Pörn, principal lecturer Åbo Akademi University Novia University of Applied Sciences Content What is semidefinite programming (SDP)? How to represent
More informationCone-Constrained Linear Equations in Banach Spaces 1
Journal of Convex Analysis Volume 4 (1997), No. 1, 149 164 Cone-Constrained Linear Equations in Banach Spaces 1 O. Hernandez-Lerma Departamento de Matemáticas, CINVESTAV-IPN, A. Postal 14-740, México D.F.
More informationCopositive Programming and Combinatorial Optimization
Copositive Programming and Combinatorial Optimization Franz Rendl http://www.math.uni-klu.ac.at Alpen-Adria-Universität Klagenfurt Austria joint work with I.M. Bomze (Wien) and F. Jarre (Düsseldorf) IMA
More informationCHAPTER I THE RIESZ REPRESENTATION THEOREM
CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals
More informationIn English, this means that if we travel on a straight line between any two points in C, then we never leave C.
Convex sets In this section, we will be introduced to some of the mathematical fundamentals of convex sets. In order to motivate some of the definitions, we will look at the closest point problem from
More informationMoments and convex optimization for analysis and control of nonlinear partial differential equations
Moments and convex optimization for analysis and control of nonlinear partial differential equations Milan Korda 1, Didier Henrion 2,3,4, Jean Bernard Lasserre 2 April 19, 2018 Abstract This work presents
More informationSemidefinite programming relaxations for semialgebraic problems
Mathematical Programming manuscript No. (will be inserted by the editor) Pablo A. Parrilo Semidefinite programming relaxations for semialgebraic problems Abstract. A hierarchy of convex relaxations for
More informationSemidefinite approximations of projections and polynomial images of semialgebraic sets
Semidefinite approximations of projections and polynomial images of semialgebraic sets Victor Magron 1 Didier Henrion 2,3,4 Jean-Bernard Lasserre 2,3 October 17, 2014 Abstract Given a compact semialgebraic
More informationarxiv: v2 [math.oc] 30 Sep 2015
Symmetry, Integrability and Geometry: Methods and Applications Moments and Legendre Fourier Series for Measures Supported on Curves Jean B. LASSERRE SIGMA 11 (215), 77, 1 pages arxiv:158.6884v2 [math.oc]
More informationSEMIDEFINITE PROGRAMMING VS. LP RELAXATIONS FOR POLYNOMIAL PROGRAMMING
MATHEMATICS OF OPERATIONS RESEARCH Vol. 27, No. 2, May 2002, pp. 347 360 Printed in U.S.A. SEMIDEFINITE PROGRAMMING VS. LP RELAXATIONS FOR POLYNOMIAL PROGRAMMING JEAN B. LASSERRE We consider the global
More informationAn explicit construction of distinguished representations of polynomials nonnegative over finite sets
An explicit construction of distinguished representations of polynomials nonnegative over finite sets Pablo A. Parrilo Automatic Control Laboratory Swiss Federal Institute of Technology Physikstrasse 3
More informationNotes on the decomposition result of Karlin et al. [2] for the hierarchy of Lasserre by M. Laurent, December 13, 2012
Notes on the decomposition result of Karlin et al. [2] for the hierarchy of Lasserre by M. Laurent, December 13, 2012 We present the decomposition result of Karlin et al. [2] for the hierarchy of Lasserre
More informationarxiv: v1 [math.oc] 28 Dec 2018
On semi-infinite systems of convex polynomial inequalities and polynomial optimization problems Feng Guo a, Xiaoxia un b a chool of Mathematical ciences, Dalian University of Technology, Dalian, 64, China
More informationOptimization on linear matrix inequalities for polynomial systems control
arxiv:1309.3112v1 [math.oc] 12 Sep 2013 Optimization on linear matrix inequalities for polynomial systems control Didier Henrion 1,2 Draft lecture notes of September 13, 2013 1 LAAS-CNRS, Univ. Toulouse,
More information