Lifts of convex sets and cone factorizations

Size: px
Start display at page:

Download "Lifts of convex sets and cone factorizations"

Transcription

1 Lifts of convex sets and cone factorizations João Gouveia Universidade de Coimbra 20 Dec CORE - Université Catholique de Louvain with Pablo Parrilo (MIT) and Rekha Thomas (U.Washington)

2 Lifts of Polytopes What is a hard domain to do linear programming in?

3 Lifts of Polytopes What is a hard domain to do linear programming in? First guess: a polytope with many vertices and facets.

4 Lifts of Polytopes What is a hard domain to do linear programming in? First guess: a polytope with many vertices and facets. However, polytopes with many facets can be projections of much simpler polytopes.

5 Lifts of Polytopes What is a hard domain to do linear programming in? First guess: a polytope with many vertices and facets. However, polytopes with many facets can be projections of much simpler polytopes. An example is the Parity Polytope: PP n = conv({x {0, 1} n : x has odd number of 1}).

6 Lifts of Polytopes What is a hard domain to do linear programming in? First guess: a polytope with many vertices and facets. However, polytopes with many facets can be projections of much simpler polytopes. An example is the Parity Polytope: PP n = conv({x {0, 1} n : x has odd number of 1}). For every even set A {1,..., n}, x i x i A 1 i A i A is a facet, so we have at least 2 n 1 facets.

7 Parity Polytope There is a much shorter description.

8 Parity Polytope There is a much shorter description. PP n is the set of x R n such that there exists for every odd 1 k n a vector z k R n and a real number α k such that

9 Parity Polytope There is a much shorter description. PP n is the set of x R n such that there exists for every odd 1 k n a vector z k R n and a real number α k such that k z k = x;

10 Parity Polytope There is a much shorter description. PP n is the set of x R n such that there exists for every odd 1 k n a vector z k R n and a real number α k such that k z k = x; k α k = 1;

11 Parity Polytope There is a much shorter description. PP n is the set of x R n such that there exists for every odd 1 k n a vector z k R n and a real number α k such that k z k = x; k α k = 1; z k 1 = k α k ;

12 Parity Polytope There is a much shorter description. PP n is the set of x R n such that there exists for every odd 1 k n a vector z k R n and a real number α k such that k z k = x; k α k = 1; z k 1 = k α k ; 0 ( z k ) i α k.

13 Parity Polytope There is a much shorter description. PP n is the set of x R n such that there exists for every odd 1 k n a vector z k R n and a real number α k such that k z k = x; k α k = 1; z k 1 = k α k ; 0 ( z k ) i α k. O(n 2 ) variables and O(n 2 ) constraints.

14 Motivation Polytopes with many facets can be projections of much simpler polytopes.

15 Motivation Polytopes with many facets can be projections of much simpler polytopes. Canonical LP Lift Given a polytope P, a canonical LP lift is a description P = Φ(R k + L) for some affine space L and affine map Φ. We say it is a R k +-lift.

16 Motivation Polytopes with many facets can be projections of much simpler polytopes. Canonical LP Lift Given a polytope P, a canonical LP lift is a description P = Φ(R k + L) for some affine space L and affine map Φ. We say it is a R k +-lift. The smallest k such that P has a R k +-lift is a much better measure of LP-complexity than number of facets and vertices.

17 Two definitions Let P be a polytope with facets defined by h 1 (x) 0,..., h f (x) 0, and vertices p 1,..., p v.

18 Two definitions Let P be a polytope with facets defined by h 1 (x) 0,..., h f (x) 0, and vertices p 1,..., p v. Slack Matrix The slack matrix of P is the matrix S P R v f defined by S P (i, j) = h j (p i ).

19 Two definitions Let P be a polytope with facets defined by h 1 (x) 0,..., h f (x) 0, and vertices p 1,..., p v. Slack Matrix The slack matrix of P is the matrix S P R v f defined by S P (i, j) = h j (p i ). Nonnegative Factorization Given a nonnegative matrix M R n m + we say that it has a k-nonnegative factorization, or a R k +-factorization if there exist matrices A R n k + and B Rk m + such that M = A B.

20 Yannakakis Theorem Theorem (Yannakakis 1991) A polytope P has a R k +-lift if and only if S P has a R k +-factorization.

21 Yannakakis Theorem Theorem (Yannakakis 1991) A polytope P has a R k +-lift if and only if S P has a R k +-factorization. Our questions: Does it work for other types of lifts?

22 Yannakakis Theorem Theorem (Yannakakis 1991) A polytope P has a R k +-lift if and only if S P has a R k +-factorization. Our questions: Does it work for other types of lifts? Does it work for other types of convex sets?

23 Yannakakis Theorem Theorem (Yannakakis 1991) A polytope P has a R k +-lift if and only if S P has a R k +-factorization. Our questions: Does it work for other types of lifts? Does it work for other types of convex sets? Can we include symmetry in the result?

24 The Hexagon Consider the regular hexagon.

25 The Hexagon Consider the regular hexagon.

26 The Hexagon Consider the regular hexagon. It has a 6 6 slack matrix S H.

27 The Hexagon Consider the regular hexagon. It has a 6 6 slack matrix S H

28 The Hexagon Consider the regular hexagon. It has a 6 6 slack matrix S H =

29 Hexagon - continued It is the projection of the slice of R 5 + cut out by y 1 + y 2 + y 3 + y 5 = 2, y 3 + y 4 + y 5 = 1.

30 Hexagon - continued It is the projection of the slice of R 5 + cut out by y 1 + y 2 + y 3 + y 5 = 2, y 3 + y 4 + y 5 = 1.

31 Hexagon - continued It is the projection of the slice of R 5 + cut out by y 1 + y 2 + y 3 + y 5 = 2, y 3 + y 4 + y 5 = 1. For irregular hexagons a R 6 + -lift is the only we can have.

32 Generalizing to non-lp We want to generalize this result to other types of lifts.

33 Generalizing to non-lp We want to generalize this result to other types of lifts. K -Lift Given a polytope P, and a closed convex cone K, a K -lift of P is a description P = Φ(K L) for some affine space L and affine map Φ.

34 Generalizing to non-lp We want to generalize this result to other types of lifts. K -Lift Given a polytope P, and a closed convex cone K, a K -lift of P is a description P = Φ(K L) for some affine space L and affine map Φ. Important cases are R n +, PSD n, SOCP n, CP n, CoP n,...

35 Generalizing to non-lp We want to generalize this result to other types of lifts. K -Lift Given a polytope P, and a closed convex cone K, a K -lift of P is a description P = Φ(K L) for some affine space L and affine map Φ. Important cases are R n +, PSD n, SOCP n, CP n, CoP n,... We also need to generalize the nonnegative factorizations.

36 K -factorizations Recall that if K R l is a closed convex cone, K R l is its dual cone, defined by K = {y R l y, x 0, x K }.

37 K -factorizations Recall that if K R l is a closed convex cone, K R l is its dual cone, defined by K = {y R l y, x 0, x K }. K -Factorization Given a nonnegative matrix M R n m + we say that it has a K -factorization if there exist a 1,... a n K and b 1,..., b m K such that M i,j = a i, b j.

38 K -factorizations Recall that if K R l is a closed convex cone, K R l is its dual cone, defined by K = {y R l y, x 0, x K }. K -Factorization Given a nonnegative matrix M R n m + we say that it has a K -factorization if there exist a 1,... a n K and b 1,..., b m K such that M i,j = a i, b j. We can now generalize Yannakakis. Theorem (G-Parrilo-Thomas) A polytope P has a K -lift if and only if S P has a K -factorization.

39 The Square The 0/1 square is the projection onto x and y of the slice of PSD 3 given by 1 x y x x z y z y 0.

40 The Square The 0/1 square is the projection onto x and y of the slice of PSD 3 given by 1 x y x x z y z y 0.

41 The Square The 0/1 square is the projection onto x and y of the slice of PSD 3 given by 1 x y x x z y z y 0. Its slack matrix is given by S P = and should factorize in PSD ,

42 Square - continued is factorized by S P = , , , , , for the rows and , for the columns , , ,

43 Slack Operator To further generalize Yannakakis to other convex sets, we have to introduce a slack operator.

44 Slack Operator To further generalize Yannakakis to other convex sets, we have to introduce a slack operator. Given a convex set C R n, consider its polar set C = {x R n : x, y 1, y C},

45 Slack Operator To further generalize Yannakakis to other convex sets, we have to introduce a slack operator. Given a convex set C R n, consider its polar set C = {x R n : x, y 1, y C}, and define the slack operator S C : ext(c) ext(c ) R + as S C (x, y) = 1 x, y.

46 Slack Operator To further generalize Yannakakis to other convex sets, we have to introduce a slack operator. Given a convex set C R n, consider its polar set C = {x R n : x, y 1, y C}, and define the slack operator S C : ext(c) ext(c ) R + as S C (x, y) = 1 x, y. Note that this generalizes the slack matrix.

47 Generalized Yannakakis for convex sets We can then define a K -factorization of S C as a pair of maps A : ext(c) K B : ext(c ) K such that for all x, y. A(x), B(y) = S C (x, y)

48 Generalized Yannakakis for convex sets We can then define a K -factorization of S C as a pair of maps A : ext(c) K B : ext(c ) K such that for all x, y. A(x), B(y) = S C (x, y) Theorem (G-Parrilo-Thomas) A convex set C has a K -lift if and only if S C has a K -factorization.

49 The Disk The unit disk D is the projection onto x and y of the slice of PSD 2 given by [ ] 1 + x y 0. y 1 x

50 The Disk The unit disk D is the projection onto x and y of the slice of PSD 2 given by [ ] 1 + x y 0. y 1 x D = D, there must be A : S 1 PSD 2 and B : S 1 PSD 2 such that A(x), B(y) = 1 x, y

51 The Disk The unit disk D is the projection onto x and y of the slice of PSD 2 given by [ ] 1 + x y 0. y 1 x D = D, there must be A : S 1 PSD 2 and B : S 1 PSD 2 such that A(x), B(y) = 1 x, y [ 1 + x y A(x, y) = y 1 x ] [ 1 x y, B(x, y) = y 1 + x ].

52 Cone ranks of polytopes Recall - rank + (M) is the smallest k such that M has an R k +-factorization. rank + (P) := rank + (S P )

53 Cone ranks of polytopes Recall - rank + (M) is the smallest k such that M has an R k +-factorization. rank + (P) := rank + (S P ) Given K = {K 1, K 2, }, (e.g. R k +, PSD k, CP k, CoP k,... ) rank K (M) is the smallest i such that M has a K i -factorization.

54 Cone ranks of polytopes Recall - rank + (M) is the smallest k such that M has an R k +-factorization. rank + (P) := rank + (S P ) Given K = {K 1, K 2, }, (e.g. R k +, PSD k, CP k, CoP k,... ) rank K (M) is the smallest i such that M has a K i -factorization. Again rank K (P) := rank K (S P ).

55 Cone ranks of polytopes Recall - rank + (M) is the smallest k such that M has an R k +-factorization. rank + (P) := rank + (S P ) Given K = {K 1, K 2, }, (e.g. R k +, PSD k, CP k, CoP k,... ) rank K (M) is the smallest i such that M has a K i -factorization. Again rank K (P) := rank K (S P ). We are specially interested in rank psd (M).

56 Bounds for matrices For M R p q +. rank(m) rank + (M) min{p, q}.

57 Bounds for matrices For M R p q +. rank(m) rank + (M) min{p, q}. rank(m) ( rank psd (M)+1) 2.

58 Bounds for matrices For M R p q +. rank(m) rank + (M) min{p, q}. rank(m) ( rank psd (M)+1). rank psd (M) rank + (M). 2

59 Bounds for matrices For M R p q +. rank(m) rank + (M) min{p, q}. rank(m) ( rank psd (M)+1). rank psd (M) rank + (M). 2 Proposition If M R n n + is zero on the diagonal and positive everywhere else then rank + (M) k, where k is the smallest integer such that n ( k k/2 ).

60 Bounds for matrices - 2 Proposition If M R p q has rank k, then the matrix M obtained by squaring each entry of M has psd-rank at most k.

61 Bounds for matrices - 2 Proposition If M R p q has rank k, then the matrix M obtained by squaring each entry of M has psd-rank at most k. Consider the matrix A R n n defined by a i,j = (i j) 2. rank(a) = 3;

62 Bounds for matrices - 2 Proposition If M R p q has rank k, then the matrix M obtained by squaring each entry of M has psd-rank at most k. Consider the matrix A R n n defined by a i,j = (i j) 2. rank(a) = 3; rank psd (A) = 2;

63 Bounds for matrices - 2 Proposition If M R p q has rank k, then the matrix M obtained by squaring each entry of M has psd-rank at most k. Consider the matrix A R n n defined by a i,j = (i j) 2. rank(a) = 3; rank psd (A) = 2; rank + (A) log 2 (n) grows with n.

64 Bounds for matrices - 2 Proposition If M R p q has rank k, then the matrix M obtained by squaring each entry of M has psd-rank at most k. Consider the matrix A R n n defined by a i,j = (i j) 2. rank(a) = 3; rank psd (A) = 2; rank + (A) log 2 (n) grows with n. rank + can be arbitrarily larger than rank and rank psd.

65 Bounds for polytopes - LP Proposition An R k +-lift of P induces an embedding from the lattice of faces of P, L(P), to the boolean lattice 2 [k]. In particular:

66 Bounds for polytopes - LP Proposition An R k +-lift of P induces an embedding from the lattice of faces of P, L(P), to the boolean lattice 2 [k]. In particular: If p is the size of the largest antichain in L(P), then rank + (P) k where k is the smallest integer such that p ( k k/2 ).

67 Bounds for polytopes - LP Proposition An R k +-lift of P induces an embedding from the lattice of faces of P, L(P), to the boolean lattice 2 [k]. In particular: If p is the size of the largest antichain in L(P), then rank + (P) k where k is the smallest integer such that p ( k k/2 ). [Goemans] If n P is the number of faces of P, rank + (P) log 2 (n P ).

68 Bounds for polytopes - LP Proposition An R k +-lift of P induces an embedding from the lattice of faces of P, L(P), to the boolean lattice 2 [k]. In particular: If p is the size of the largest antichain in L(P), then rank + (P) k where k is the smallest integer such that p ( k k/2 ). [Goemans] If n P is the number of faces of P, rank + (P) log 2 (n P ). P = 3-cube: rank + (P) 6.

69 Bounds for polytopes - LP Proposition An R k +-lift of P induces an embedding from the lattice of faces of P, L(P), to the boolean lattice 2 [k]. In particular: If p is the size of the largest antichain in L(P), then rank + (P) k where k is the smallest integer such that p ( k k/2 ). [Goemans] If n P is the number of faces of P, rank + (P) log 2 (n P ). P = 3-cube: rank + (P) 6. n P = 28 rank + (P) log 2 (28)

70 Bounds for polytopes - LP Proposition An R k +-lift of P induces an embedding from the lattice of faces of P, L(P), to the boolean lattice 2 [k]. In particular: If p is the size of the largest antichain in L(P), then rank + (P) k where k is the smallest integer such that p ( k k/2 ). [Goemans] If n P is the number of faces of P, rank + (P) log 2 (n P ). P = 3-cube: rank + (P) 6. n P = 28 rank + (P) log 2 (28) n edges = 12, ( 5 2) = 10, ( 6 3) = 20, hence rank+ (P) 6.

71 Bounds for polytopes - SDP Theorem If a polytope P in R n has rank psd = k than it has at most k O(k 2 n) facets.

72 Bounds for polytopes - SDP Theorem If a polytope P in R n has rank psd = k than it has at most k O(k 2 n) facets. For P n = n-gon, rank + (P n ) and rank psd (P n ) grow to infinity as n grows, despite rank(s Pn ) = 3. Open questions:

73 Bounds for polytopes - SDP Theorem If a polytope P in R n has rank psd = k than it has at most k O(k 2 n) facets. For P n = n-gon, rank + (P n ) and rank psd (P n ) grow to infinity as n grows, despite rank(s Pn ) = 3. Open questions: Can we find a separation between rank psd and rank + for polytopes?

74 Bounds for polytopes - SDP Theorem If a polytope P in R n has rank psd = k than it has at most k O(k 2 n) facets. For P n = n-gon, rank + (P n ) and rank psd (P n ) grow to infinity as n grows, despite rank(s Pn ) = 3. Open questions: Can we find a separation between rank psd and rank + for polytopes? Recently, [Fiorini-Massar-Pokutta-Tiwary-de Wolf] proved rank + (TSP) grows exponentially. What about rank psd?

75 Symmetric Lifts In the LP case there has been much interest in symmetric lifts. [Kaibel-Pashkovich-Theis] Symmetric lifts Let P be a polytope and P = Φ(K L) a lift of P. We say the lift is symmetric if there exists a group homomorphism sending g Aut(P) to ψ g Aut(K ) such that ψ g (L) = L and Φ ψ g = g. Symmetric lift preserves symmetries of the lifted objects.

76 Symmetric Lifts In the LP case there has been much interest in symmetric lifts. [Kaibel-Pashkovich-Theis] Symmetric lifts Let P be a polytope and P = Φ(K L) a lift of P. We say the lift is symmetric if there exists a group homomorphism sending g Aut(P) to ψ g Aut(K ) such that ψ g (L) = L and Φ ψ g = g. Symmetric lift preserves symmetries of the lifted objects. Common lift-and-project methods are symmetric (w.r.t. permutation of variables): LS, SA, Las...

77 Example:The square Recall the lift of the 0/1 square [ 1 x y x x z y z y ] 0.

78 Example:The square Recall the lift of the 0/1 square [ 1 x y x x z y z y ] 0. Aut(g) = g(x, y) = (y, x), h(x, y) = (1 x, y).

79 Example:The square Recall the lift of the 0/1 square [ 1 x y x x z y z y ] 0. Aut(g) = g(x, y) = (y, x), h(x, y) = (1 x, y). φ h (A) = φ g (A) = [ 1 1 x y 1 x 1 x y z y y z y [ 1 y x y y z x z x ] = ] = P 23 AP 23, [ ] [ A ], generate a homomorphism so the lift is symmetric.

80 Example 2 : Regular n-gons Proposition For p prime the smallest k for which there exists a symmetric R k +-lift of the p-gon is p.

81 Example 2 : Regular n-gons Proposition For p prime the smallest k for which there exists a symmetric R k +-lift of the p-gon is p. Note that we know that there are actually O(log(n)) dimensional lifts of these polytopes [Ben-Tal, Nemirovski].

82 Example 2 : Regular n-gons Proposition For p prime the smallest k for which there exists a symmetric R k +-lift of the p-gon is p. Note that we know that there are actually O(log(n)) dimensional lifts of these polytopes [Ben-Tal, Nemirovski]. Open (small) problem: prove that the smallest symmetric lift of an n-gon is to R n +.

83 Symmetric Yannakakis K -Factorization Given a polytope P and its slack matrix S P R n m + and its K -factorization given by a 1,... a n K, b 1,..., b m K, we say that it is symmetric if there is an homomorphism φ : Aut(P) Aut(K ) such that if g send the i-th vertex to the j-th vertex, φ(a i ) = a j.

84 Symmetric Yannakakis K -Factorization Given a polytope P and its slack matrix S P R n m + and its K -factorization given by a 1,... a n K, b 1,..., b m K, we say that it is symmetric if there is an homomorphism φ : Aut(P) Aut(K ) such that if g send the i-th vertex to the j-th vertex, φ(a i ) = a j. Theorem (G-Parrilo-Thomas) A convex set C has a symmetric K -lift if and only if S C has a symmetric K -factorization.

85 Matchings Matchings Given the complete graph K n = ([n], E n ) a matching is a collection M of edges such that there s one and only one edge incident to each vertex.

86 Matchings Matchings Given the complete graph K n = ([n], E n ) a matching is a collection M of edges such that there s one and only one edge incident to each vertex.

87 Matchings Matchings Given the complete graph K n = ([n], E n ) a matching is a collection M of edges such that there s one and only one edge incident to each vertex.

88 Matchings Matchings Given the complete graph K n = ([n], E n ) a matching is a collection M of edges such that there s one and only one edge incident to each vertex. χ M {0, 1} En is the indicator vector of M. For this example χ M = (0, 0, 0, 0, 1, 1).

89 The matching Polytope MaxMatch Given a complete graph K 2n with edge weights ω : E n R, find the matching with maximum weight.

90 The matching Polytope MaxMatch Given a complete graph K 2n with edge weights ω : E n R, find the matching with maximum weight. This has a geometrical version. MaxMatch Maximize ω, x over the polytope conv({χ M : M is a matching}).

91 The matching Polytope MaxMatch Given a complete graph K 2n with edge weights ω : E n R, find the matching with maximum weight. This has a geometrical version. MaxMatch Maximize ω, x over the polytope conv({χ M : M is a matching}). This polytope is the Matching Polytope, denoted PMatch 2n.

92 Symmetric lifts of matching polytope Yannakakis Although the max-matching problem is polynomial time solvable, there is no polynomial size linear symmetric lift for the matching polytope.

93 Symmetric lifts of matching polytope Yannakakis Although the max-matching problem is polynomial time solvable, there is no polynomial size linear symmetric lift for the matching polytope. What about non-symmetric?

94 Symmetric lifts of matching polytope Yannakakis Although the max-matching problem is polynomial time solvable, there is no polynomial size linear symmetric lift for the matching polytope. What about non-symmetric? With other versions of the matching polytope, Kaibel, Pashkovich and Theis show that symmetry does matter, but the general question is still open.

95 Symmetry in SDP Further thoughts:

96 Symmetry in SDP Further thoughts: SDP lift-and-project algorithms don t work polynomially for matchings [Tuncel].

97 Symmetry in SDP Further thoughts: SDP lift-and-project algorithms don t work polynomially for matchings [Tuncel]. Do all polynomial sized symmetric SDP lifts fail?

98 Symmetry in SDP Further thoughts: SDP lift-and-project algorithms don t work polynomially for matchings [Tuncel]. Do all polynomial sized symmetric SDP lifts fail? What about non-symmetric?

99 The end Thank You

POLYTOPES OF MINIMUM POSITIVE SEMIDEFINITE RANK

POLYTOPES OF MINIMUM POSITIVE SEMIDEFINITE RANK POLYTOPES OF MINIMUM POSITIVE SEMIDEFINITE RANK JOÃO GOUVEIA, RICHARD Z ROBINSON, AND REKHA R THOMAS Abstract The positive semidefinite (psd) rank of a polytope is the smallest k for which the cone of

More information

On the positive semidenite polytope rank

On the positive semidenite polytope rank On the positive semidenite polytope rank Davíd Trieb Bachelor Thesis Betreuer: Tim Netzer Institut für Mathematik Universität Innsbruck February 16, 017 On the positive semidefinite polytope rank - Introduction

More information

arxiv: v3 [math.co] 25 Jul 2016

arxiv: v3 [math.co] 25 Jul 2016 FOUR-DIMENSIONAL POLYTOPES OF MINIMUM POSITIVE SEMIDEFINITE RANK arxiv:150600187v3 [mathco] 25 Jul 2016 JOÃO GOUVEIA, KANSTANSTIN PASHKOVICH, RICHARD Z ROBINSON, AND REKHA R THOMAS Abstract The positive

More information

LECTURE 1 Basic definitions, the intersection poset and the characteristic polynomial

LECTURE 1 Basic definitions, the intersection poset and the characteristic polynomial R. STANLEY, HYPERPLANE ARRANGEMENTS LECTURE Basic definitions, the intersection poset and the characteristic polynomial.. Basic definitions The following notation is used throughout for certain sets of

More information

Integer Programming Theory

Integer Programming Theory Integer Programming Theory Laura Galli October 24, 2016 In the following we assume all functions are linear, hence we often drop the term linear. In discrete optimization, we seek to find a solution x

More information

DM545 Linear and Integer Programming. Lecture 2. The Simplex Method. Marco Chiarandini

DM545 Linear and Integer Programming. Lecture 2. The Simplex Method. Marco Chiarandini DM545 Linear and Integer Programming Lecture 2 The Marco Chiarandini Department of Mathematics & Computer Science University of Southern Denmark Outline 1. 2. 3. 4. Standard Form Basic Feasible Solutions

More information

AMS : Combinatorial Optimization Homework Problems - Week V

AMS : Combinatorial Optimization Homework Problems - Week V AMS 553.766: Combinatorial Optimization Homework Problems - Week V For the following problems, A R m n will be m n matrices, and b R m. An affine subspace is the set of solutions to a a system of linear

More information

A semidefinite hierarchy for containment of spectrahedra

A semidefinite hierarchy for containment of spectrahedra A semidefinite hierarchy for containment of spectrahedra Thorsten Theobald (joint work with Kai Kellner and Christian Trabandt, arxiv: 1308.5076) Spectrahedra Given a linear pencil A(x) = A 0 + n i=1 x

More information

Discrete Optimization 2010 Lecture 5 Min-Cost Flows & Total Unimodularity

Discrete Optimization 2010 Lecture 5 Min-Cost Flows & Total Unimodularity Discrete Optimization 2010 Lecture 5 Min-Cost Flows & Total Unimodularity Marc Uetz University of Twente m.uetz@utwente.nl Lecture 5: sheet 1 / 26 Marc Uetz Discrete Optimization Outline 1 Min-Cost Flows

More information

Automorphism Groups of Cyclic Polytopes

Automorphism Groups of Cyclic Polytopes 8 Automorphism Groups of Cyclic Polytopes (Volker Kaibel and Arnold Waßmer ) It is probably well-known to most polytope theorists that the combinatorial automorphism group of a cyclic d-polytope with n

More information

Lecture 3. Corner Polyhedron, Intersection Cuts, Maximal Lattice-Free Convex Sets. Tepper School of Business Carnegie Mellon University, Pittsburgh

Lecture 3. Corner Polyhedron, Intersection Cuts, Maximal Lattice-Free Convex Sets. Tepper School of Business Carnegie Mellon University, Pittsburgh Lecture 3 Corner Polyhedron, Intersection Cuts, Maximal Lattice-Free Convex Sets Gérard Cornuéjols Tepper School of Business Carnegie Mellon University, Pittsburgh January 2016 Mixed Integer Linear Programming

More information

Mathematical and Algorithmic Foundations Linear Programming and Matchings

Mathematical and Algorithmic Foundations Linear Programming and Matchings Adavnced Algorithms Lectures Mathematical and Algorithmic Foundations Linear Programming and Matchings Paul G. Spirakis Department of Computer Science University of Patras and Liverpool Paul G. Spirakis

More information

Open problems in convex optimisation

Open problems in convex optimisation Open problems in convex optimisation 26 30 June 2017 AMSI Optimise Vera Roshchina RMIT University and Federation University Australia Perceptron algorithm and its complexity Find an x R n such that a T

More information

Lecture 2 - Introduction to Polytopes

Lecture 2 - Introduction to Polytopes Lecture 2 - Introduction to Polytopes Optimization and Approximation - ENS M1 Nicolas Bousquet 1 Reminder of Linear Algebra definitions Let x 1,..., x m be points in R n and λ 1,..., λ m be real numbers.

More information

3. The Simplex algorithmn The Simplex algorithmn 3.1 Forms of linear programs

3. The Simplex algorithmn The Simplex algorithmn 3.1 Forms of linear programs 11 3.1 Forms of linear programs... 12 3.2 Basic feasible solutions... 13 3.3 The geometry of linear programs... 14 3.4 Local search among basic feasible solutions... 15 3.5 Organization in tableaus...

More information

Lecture 1: Introduction and Overview

Lecture 1: Introduction and Overview CS369H: Hierarchies of Integer Programming Relaxations Spring 2016-2017 Lecture 1: Introduction and Overview Professor Moses Charikar Scribes: Paris Syminelakis Overview We provide a short introduction

More information

6. Lecture notes on matroid intersection

6. Lecture notes on matroid intersection Massachusetts Institute of Technology 18.453: Combinatorial Optimization Michel X. Goemans May 2, 2017 6. Lecture notes on matroid intersection One nice feature about matroids is that a simple greedy algorithm

More information

Some Advanced Topics in Linear Programming

Some Advanced Topics in Linear Programming Some Advanced Topics in Linear Programming Matthew J. Saltzman July 2, 995 Connections with Algebra and Geometry In this section, we will explore how some of the ideas in linear programming, duality theory,

More information

CS675: Convex and Combinatorial Optimization Spring 2018 The Simplex Algorithm. Instructor: Shaddin Dughmi

CS675: Convex and Combinatorial Optimization Spring 2018 The Simplex Algorithm. Instructor: Shaddin Dughmi CS675: Convex and Combinatorial Optimization Spring 2018 The Simplex Algorithm Instructor: Shaddin Dughmi Algorithms for Convex Optimization We will look at 2 algorithms in detail: Simplex and Ellipsoid.

More information

Cyclotomic Polytopes and Growth Series of Cyclotomic Lattices. Matthias Beck & Serkan Hoşten San Francisco State University

Cyclotomic Polytopes and Growth Series of Cyclotomic Lattices. Matthias Beck & Serkan Hoşten San Francisco State University Cyclotomic Polytopes and Growth Series of Cyclotomic Lattices Matthias Beck & Serkan Hoşten San Francisco State University math.sfsu.edu/beck Math Research Letters Growth Series of Lattices L R d lattice

More information

Lecture Notes 2: The Simplex Algorithm

Lecture Notes 2: The Simplex Algorithm Algorithmic Methods 25/10/2010 Lecture Notes 2: The Simplex Algorithm Professor: Yossi Azar Scribe:Kiril Solovey 1 Introduction In this lecture we will present the Simplex algorithm, finish some unresolved

More information

Institutionen för matematik, KTH.

Institutionen för matematik, KTH. Institutionen för matematik, KTH. Chapter 11 Construction of toric varieties 11.1 Recap example Example 11.1.1. Consider the Segre embedding seg : P 1 P 1 P 3 given by ((x 0, x 1 ), (y 0, y 1 )) (x 0

More information

Endomorphisms and synchronization, 2: Graphs and transformation monoids

Endomorphisms and synchronization, 2: Graphs and transformation monoids Endomorphisms and synchronization, 2: Graphs and transformation monoids Peter J. Cameron BIRS, November 2014 Relations and algebras Given a relational structure R, there are several similar ways to produce

More information

5.3 Cutting plane methods and Gomory fractional cuts

5.3 Cutting plane methods and Gomory fractional cuts 5.3 Cutting plane methods and Gomory fractional cuts (ILP) min c T x s.t. Ax b x 0integer feasible region X Assumption: a ij, c j and b i integer. Observation: The feasible region of an ILP can be described

More information

Noncrossing sets and a Graßmann associahedron

Noncrossing sets and a Graßmann associahedron Noncrossing sets and a Graßmann associahedron Francisco Santos, Christian Stump, Volkmar Welker (in partial rediscovering work of T. K. Petersen, P. Pylyavskyy, and D. E. Speyer, 2008) (in partial rediscovering

More information

Combinatorial Geometry & Topology arising in Game Theory and Optimization

Combinatorial Geometry & Topology arising in Game Theory and Optimization Combinatorial Geometry & Topology arising in Game Theory and Optimization Jesús A. De Loera University of California, Davis LAST EPISODE... We discuss the content of the course... Convex Sets A set is

More information

Week 5. Convex Optimization

Week 5. Convex Optimization Week 5. Convex Optimization Lecturer: Prof. Santosh Vempala Scribe: Xin Wang, Zihao Li Feb. 9 and, 206 Week 5. Convex Optimization. The convex optimization formulation A general optimization problem is

More information

POLYTOPES. Grünbaum and Shephard [40] remarked that there were three developments which foreshadowed the modern theory of convex polytopes.

POLYTOPES. Grünbaum and Shephard [40] remarked that there were three developments which foreshadowed the modern theory of convex polytopes. POLYTOPES MARGARET A. READDY 1. Lecture I: Introduction to Polytopes and Face Enumeration Grünbaum and Shephard [40] remarked that there were three developments which foreshadowed the modern theory of

More information

Cluster algebras and infinite associahedra

Cluster algebras and infinite associahedra Cluster algebras and infinite associahedra Nathan Reading NC State University CombinaTexas 2008 Coxeter groups Associahedra and cluster algebras Sortable elements/cambrian fans Infinite type Much of the

More information

Triangulations Of Point Sets

Triangulations Of Point Sets Triangulations Of Point Sets Applications, Structures, Algorithms. Jesús A. De Loera Jörg Rambau Francisco Santos MSRI Summer school July 21 31, 2003 (Book under construction) Triangulations Of Point Sets

More information

Mathematical Programming and Research Methods (Part II)

Mathematical Programming and Research Methods (Part II) Mathematical Programming and Research Methods (Part II) 4. Convexity and Optimization Massimiliano Pontil (based on previous lecture by Andreas Argyriou) 1 Today s Plan Convex sets and functions Types

More information

1. A busy airport has 1500 takeo s perday. Provetherearetwoplanesthatmusttake o within one minute of each other. This is from Bona Chapter 1 (1).

1. A busy airport has 1500 takeo s perday. Provetherearetwoplanesthatmusttake o within one minute of each other. This is from Bona Chapter 1 (1). Math/CS 415 Combinatorics and Graph Theory Fall 2017 Prof. Readdy Homework Chapter 1 1. A busy airport has 1500 takeo s perday. Provetherearetwoplanesthatmusttake o within one minute of each other. This

More information

Endomorphisms and synchronization, 2: Graphs and transformation monoids. Peter J. Cameron

Endomorphisms and synchronization, 2: Graphs and transformation monoids. Peter J. Cameron Endomorphisms and synchronization, 2: Graphs and transformation monoids Peter J. Cameron BIRS, November 2014 Relations and algebras From algebras to relations Given a relational structure R, there are

More information

Linear and Integer Programming :Algorithms in the Real World. Related Optimization Problems. How important is optimization?

Linear and Integer Programming :Algorithms in the Real World. Related Optimization Problems. How important is optimization? Linear and Integer Programming 15-853:Algorithms in the Real World Linear and Integer Programming I Introduction Geometric Interpretation Simplex Method Linear or Integer programming maximize z = c T x

More information

Conic Duality. yyye

Conic Duality.  yyye Conic Linear Optimization and Appl. MS&E314 Lecture Note #02 1 Conic Duality Yinyu Ye Department of Management Science and Engineering Stanford University Stanford, CA 94305, U.S.A. http://www.stanford.edu/

More information

Outline. CS38 Introduction to Algorithms. Linear programming 5/21/2014. Linear programming. Lecture 15 May 20, 2014

Outline. CS38 Introduction to Algorithms. Linear programming 5/21/2014. Linear programming. Lecture 15 May 20, 2014 5/2/24 Outline CS38 Introduction to Algorithms Lecture 5 May 2, 24 Linear programming simplex algorithm LP duality ellipsoid algorithm * slides from Kevin Wayne May 2, 24 CS38 Lecture 5 May 2, 24 CS38

More information

GENERALIZED CPR-GRAPHS AND APPLICATIONS

GENERALIZED CPR-GRAPHS AND APPLICATIONS Volume 5, Number 2, Pages 76 105 ISSN 1715-0868 GENERALIZED CPR-GRAPHS AND APPLICATIONS DANIEL PELLICER AND ASIA IVIĆ WEISS Abstract. We give conditions for oriented labeled graphs that must be satisfied

More information

Regular polytopes with few flags

Regular polytopes with few flags Regular polytopes with few flags Marston Conder University of Auckland mconder@aucklandacnz Introduction: Rotary and regular maps A map M is a 2-cell embedding of a connected graph or multigraph (graph

More information

Open problems in convex geometry

Open problems in convex geometry Open problems in convex geometry 10 March 2017, Monash University Seminar talk Vera Roshchina, RMIT University Based on joint work with Tian Sang (RMIT University), Levent Tunçel (University of Waterloo)

More information

Math 5593 Linear Programming Lecture Notes

Math 5593 Linear Programming Lecture Notes Math 5593 Linear Programming Lecture Notes Unit II: Theory & Foundations (Convex Analysis) University of Colorado Denver, Fall 2013 Topics 1 Convex Sets 1 1.1 Basic Properties (Luenberger-Ye Appendix B.1).........................

More information

Lecture 4: Convexity

Lecture 4: Convexity 10-725: Convex Optimization Fall 2013 Lecture 4: Convexity Lecturer: Barnabás Póczos Scribes: Jessica Chemali, David Fouhey, Yuxiong Wang Note: LaTeX template courtesy of UC Berkeley EECS dept. Disclaimer:

More information

Discrete Optimization. Lecture Notes 2

Discrete Optimization. Lecture Notes 2 Discrete Optimization. Lecture Notes 2 Disjunctive Constraints Defining variables and formulating linear constraints can be straightforward or more sophisticated, depending on the problem structure. The

More information

751 Problem Set I JWR. Due Sep 28, 2004

751 Problem Set I JWR. Due Sep 28, 2004 751 Problem Set I JWR Due Sep 28, 2004 Exercise 1. For any space X define an equivalence relation by x y iff here is a path γ : I X with γ(0) = x and γ(1) = y. The equivalence classes are called the path

More information

arxiv: v1 [cs.cc] 30 Jun 2017

arxiv: v1 [cs.cc] 30 Jun 2017 On the Complexity of Polytopes in LI( Komei Fuuda May Szedlá July, 018 arxiv:170610114v1 [cscc] 30 Jun 017 Abstract In this paper we consider polytopes given by systems of n inequalities in d variables,

More information

Convexity: an introduction

Convexity: an introduction Convexity: an introduction Geir Dahl CMA, Dept. of Mathematics and Dept. of Informatics University of Oslo 1 / 74 1. Introduction 1. Introduction what is convexity where does it arise main concepts and

More information

CS 473: Algorithms. Ruta Mehta. Spring University of Illinois, Urbana-Champaign. Ruta (UIUC) CS473 1 Spring / 36

CS 473: Algorithms. Ruta Mehta. Spring University of Illinois, Urbana-Champaign. Ruta (UIUC) CS473 1 Spring / 36 CS 473: Algorithms Ruta Mehta University of Illinois, Urbana-Champaign Spring 2018 Ruta (UIUC) CS473 1 Spring 2018 1 / 36 CS 473: Algorithms, Spring 2018 LP Duality Lecture 20 April 3, 2018 Some of the

More information

Convex Geometry arising in Optimization

Convex Geometry arising in Optimization Convex Geometry arising in Optimization Jesús A. De Loera University of California, Davis Berlin Mathematical School Summer 2015 WHAT IS THIS COURSE ABOUT? Combinatorial Convexity and Optimization PLAN

More information

Submodularity Reading Group. Matroid Polytopes, Polymatroid. M. Pawan Kumar

Submodularity Reading Group. Matroid Polytopes, Polymatroid. M. Pawan Kumar Submodularity Reading Group Matroid Polytopes, Polymatroid M. Pawan Kumar http://www.robots.ox.ac.uk/~oval/ Outline Linear Programming Matroid Polytopes Polymatroid Polyhedron Ax b A : m x n matrix b:

More information

Lecture 9. Semidefinite programming is linear programming where variables are entries in a positive semidefinite matrix.

Lecture 9. Semidefinite programming is linear programming where variables are entries in a positive semidefinite matrix. CSE525: Randomized Algorithms and Probabilistic Analysis Lecture 9 Lecturer: Anna Karlin Scribe: Sonya Alexandrova and Keith Jia 1 Introduction to semidefinite programming Semidefinite programming is linear

More information

15-451/651: Design & Analysis of Algorithms October 11, 2018 Lecture #13: Linear Programming I last changed: October 9, 2018

15-451/651: Design & Analysis of Algorithms October 11, 2018 Lecture #13: Linear Programming I last changed: October 9, 2018 15-451/651: Design & Analysis of Algorithms October 11, 2018 Lecture #13: Linear Programming I last changed: October 9, 2018 In this lecture, we describe a very general problem called linear programming

More information

Chapter 1. Introduction

Chapter 1. Introduction Chapter 1 Introduction 1. Overview In this book, we present a generalized framework for formulating hard combinatorial optimization problems (COPs) as polynomial-sized linear programs. The perspective

More information

Counting Faces of Polytopes

Counting Faces of Polytopes Counting Faces of Polytopes Carl Lee University of Kentucky James Madison University March 2015 Carl Lee (UK) Counting Faces of Polytopes James Madison University 1 / 36 Convex Polytopes A convex polytope

More information

CS675: Convex and Combinatorial Optimization Spring 2018 Consequences of the Ellipsoid Algorithm. Instructor: Shaddin Dughmi

CS675: Convex and Combinatorial Optimization Spring 2018 Consequences of the Ellipsoid Algorithm. Instructor: Shaddin Dughmi CS675: Convex and Combinatorial Optimization Spring 2018 Consequences of the Ellipsoid Algorithm Instructor: Shaddin Dughmi Outline 1 Recapping the Ellipsoid Method 2 Complexity of Convex Optimization

More information

Linear Programming Duality and Algorithms

Linear Programming Duality and Algorithms COMPSCI 330: Design and Analysis of Algorithms 4/5/2016 and 4/7/2016 Linear Programming Duality and Algorithms Lecturer: Debmalya Panigrahi Scribe: Tianqi Song 1 Overview In this lecture, we will cover

More information

Characterizing Automorphism and Permutation Polytopes

Characterizing Automorphism and Permutation Polytopes Characterizing Automorphism and Permutation Polytopes By KATHERINE EMILIE JONES BURGGRAF SENIOR THESIS Submitted in partial satisfaction of the requirements for Highest Honors for the degree of BACHELOR

More information

POLYHEDRAL GEOMETRY. Convex functions and sets. Mathematical Programming Niels Lauritzen Recall that a subset C R n is convex if

POLYHEDRAL GEOMETRY. Convex functions and sets. Mathematical Programming Niels Lauritzen Recall that a subset C R n is convex if POLYHEDRAL GEOMETRY Mathematical Programming Niels Lauritzen 7.9.2007 Convex functions and sets Recall that a subset C R n is convex if {λx + (1 λ)y 0 λ 1} C for every x, y C and 0 λ 1. A function f :

More information

Linear Programming and its Applications

Linear Programming and its Applications Linear Programming and its Applications Outline for Today What is linear programming (LP)? Examples Formal definition Geometric intuition Why is LP useful? A first look at LP algorithms Duality Linear

More information

MATH 890 HOMEWORK 2 DAVID MEREDITH

MATH 890 HOMEWORK 2 DAVID MEREDITH MATH 890 HOMEWORK 2 DAVID MEREDITH (1) Suppose P and Q are polyhedra. Then P Q is a polyhedron. Moreover if P and Q are polytopes then P Q is a polytope. The facets of P Q are either F Q where F is a facet

More information

ACO Comprehensive Exam October 12 and 13, Computability, Complexity and Algorithms

ACO Comprehensive Exam October 12 and 13, Computability, Complexity and Algorithms 1. Computability, Complexity and Algorithms Given a simple directed graph G = (V, E), a cycle cover is a set of vertex-disjoint directed cycles that cover all vertices of the graph. 1. Show that there

More information

The Fibonacci hypercube

The Fibonacci hypercube AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 40 (2008), Pages 187 196 The Fibonacci hypercube Fred J. Rispoli Department of Mathematics and Computer Science Dowling College, Oakdale, NY 11769 U.S.A. Steven

More information

EDGE-COLOURED GRAPHS AND SWITCHING WITH S m, A m AND D m

EDGE-COLOURED GRAPHS AND SWITCHING WITH S m, A m AND D m EDGE-COLOURED GRAPHS AND SWITCHING WITH S m, A m AND D m GARY MACGILLIVRAY BEN TREMBLAY Abstract. We consider homomorphisms and vertex colourings of m-edge-coloured graphs that have a switching operation

More information

Pick s Theorem and Lattice Point Geometry

Pick s Theorem and Lattice Point Geometry Pick s Theorem and Lattice Point Geometry 1 Lattice Polygon Area Calculations Lattice points are points with integer coordinates in the x, y-plane. A lattice line segment is a line segment that has 2 distinct

More information

Institutionen för matematik, KTH.

Institutionen för matematik, KTH. Institutionen för matematik, KTH. Chapter 10 projective toric varieties and polytopes: definitions 10.1 Introduction Tori varieties are algebraic varieties related to the study of sparse polynomials.

More information

arxiv: v1 [math.co] 12 Dec 2017

arxiv: v1 [math.co] 12 Dec 2017 arxiv:1712.04381v1 [math.co] 12 Dec 2017 Semi-reflexive polytopes Tiago Royer Abstract The Ehrhart function L P(t) of a polytope P is usually defined only for integer dilation arguments t. By allowing

More information

Outline. Combinatorial Optimization 2. Finite Systems of Linear Inequalities. Finite Systems of Linear Inequalities. Theorem (Weyl s theorem :)

Outline. Combinatorial Optimization 2. Finite Systems of Linear Inequalities. Finite Systems of Linear Inequalities. Theorem (Weyl s theorem :) Outline Combinatorial Optimization 2 Rumen Andonov Irisa/Symbiose and University of Rennes 1 9 novembre 2009 Finite Systems of Linear Inequalities, variants of Farkas Lemma Duality theory in Linear Programming

More information

Linear Programming in Small Dimensions

Linear Programming in Small Dimensions Linear Programming in Small Dimensions Lekcija 7 sergio.cabello@fmf.uni-lj.si FMF Univerza v Ljubljani Edited from slides by Antoine Vigneron Outline linear programming, motivation and definition one dimensional

More information

Cuts of the Hypercube

Cuts of the Hypercube Cuts of the Hypercube Neil Calkin, Kevin James, J. Bowman Light, Rebecca Myers, Eric Riedl, Veronica July 3, 8 Abstract This paper approaches the hypercube slicing problem from a probabilistic perspective.

More information

Approximation slides 1. An optimal polynomial algorithm for the Vertex Cover and matching in Bipartite graphs

Approximation slides 1. An optimal polynomial algorithm for the Vertex Cover and matching in Bipartite graphs Approximation slides 1 An optimal polynomial algorithm for the Vertex Cover and matching in Bipartite graphs Approximation slides 2 Linear independence A collection of row vectors {v T i } are independent

More information

College of Computer & Information Science Fall 2007 Northeastern University 14 September 2007

College of Computer & Information Science Fall 2007 Northeastern University 14 September 2007 College of Computer & Information Science Fall 2007 Northeastern University 14 September 2007 CS G399: Algorithmic Power Tools I Scribe: Eric Robinson Lecture Outline: Linear Programming: Vertex Definitions

More information

Lecture notes on the simplex method September We will present an algorithm to solve linear programs of the form. maximize.

Lecture notes on the simplex method September We will present an algorithm to solve linear programs of the form. maximize. Cornell University, Fall 2017 CS 6820: Algorithms Lecture notes on the simplex method September 2017 1 The Simplex Method We will present an algorithm to solve linear programs of the form maximize subject

More information

MA4254: Discrete Optimization. Defeng Sun. Department of Mathematics National University of Singapore Office: S Telephone:

MA4254: Discrete Optimization. Defeng Sun. Department of Mathematics National University of Singapore Office: S Telephone: MA4254: Discrete Optimization Defeng Sun Department of Mathematics National University of Singapore Office: S14-04-25 Telephone: 6516 3343 Aims/Objectives: Discrete optimization deals with problems of

More information

Programming, numerics and optimization

Programming, numerics and optimization Programming, numerics and optimization Lecture C-4: Constrained optimization Łukasz Jankowski ljank@ippt.pan.pl Institute of Fundamental Technological Research Room 4.32, Phone +22.8261281 ext. 428 June

More information

Towards Efficient Higher-Order Semidefinite Relaxations for Max-Cut

Towards Efficient Higher-Order Semidefinite Relaxations for Max-Cut Towards Efficient Higher-Order Semidefinite Relaxations for Max-Cut Miguel F. Anjos Professor and Canada Research Chair Director, Trottier Energy Institute Joint work with E. Adams (Poly Mtl), F. Rendl,

More information

CS 372: Computational Geometry Lecture 10 Linear Programming in Fixed Dimension

CS 372: Computational Geometry Lecture 10 Linear Programming in Fixed Dimension CS 372: Computational Geometry Lecture 10 Linear Programming in Fixed Dimension Antoine Vigneron King Abdullah University of Science and Technology November 7, 2012 Antoine Vigneron (KAUST) CS 372 Lecture

More information

Shiqian Ma, MAT-258A: Numerical Optimization 1. Chapter 2. Convex Optimization

Shiqian Ma, MAT-258A: Numerical Optimization 1. Chapter 2. Convex Optimization Shiqian Ma, MAT-258A: Numerical Optimization 1 Chapter 2 Convex Optimization Shiqian Ma, MAT-258A: Numerical Optimization 2 2.1. Convex Optimization General optimization problem: min f 0 (x) s.t., f i

More information

In this chapter we introduce some of the basic concepts that will be useful for the study of integer programming problems.

In this chapter we introduce some of the basic concepts that will be useful for the study of integer programming problems. 2 Basics In this chapter we introduce some of the basic concepts that will be useful for the study of integer programming problems. 2.1 Notation Let A R m n be a matrix with row index set M = {1,...,m}

More information

Research Interests Optimization:

Research Interests Optimization: Mitchell: Research interests 1 Research Interests Optimization: looking for the best solution from among a number of candidates. Prototypical optimization problem: min f(x) subject to g(x) 0 x X IR n Here,

More information

Graphs. The ultimate data structure. graphs 1

Graphs. The ultimate data structure. graphs 1 Graphs The ultimate data structure graphs 1 Definition of graph Non-linear data structure consisting of nodes & links between them (like trees in this sense) Unlike trees, graph nodes may be completely

More information

Nowhere-Zero k-flows on Graphs

Nowhere-Zero k-flows on Graphs Nowhere-Zero k-flows on Graphs Alyssa Cuyjet Gordon Rojas Kirby Trinity College Stanford University Molly Stubblefield Western Oregon University August 3, 202 Abstract A flow on an oriented graph Γ is

More information

Linear & Conic Programming Reformulations of Two-Stage Robust Linear Programs

Linear & Conic Programming Reformulations of Two-Stage Robust Linear Programs 1 / 34 Linear & Conic Programming Reformulations of Two-Stage Robust Linear Programs Erick Delage CRC in decision making under uncertainty Department of Decision Sciences HEC Montreal (joint work with

More information

CSC Linear Programming and Combinatorial Optimization Lecture 12: Semidefinite Programming(SDP) Relaxation

CSC Linear Programming and Combinatorial Optimization Lecture 12: Semidefinite Programming(SDP) Relaxation CSC411 - Linear Programming and Combinatorial Optimization Lecture 1: Semidefinite Programming(SDP) Relaxation Notes taken by Xinwei Gui May 1, 007 Summary: This lecture introduces the semidefinite programming(sdp)

More information

Circuit Walks in Integral Polyhedra

Circuit Walks in Integral Polyhedra Circuit Walks in Integral Polyhedra Charles Viss Steffen Borgwardt University of Colorado Denver Optimization and Discrete Geometry: Theory and Practice Tel Aviv University, April 2018 LINEAR PROGRAMMING

More information

Binary Positive Semidefinite Matrices and Associated Integer Polytopes

Binary Positive Semidefinite Matrices and Associated Integer Polytopes Binary Positive Semidefinite Matrices and Associated Integer Polytopes Adam N. Letchford 1 and Michael M. Sørensen 2 1 Department of Management Science, Lancaster University, Lancaster LA1 4YW, United

More information

Graph Adjacency Matrix Automata Joshua Abbott, Phyllis Z. Chinn, Tyler Evans, Allen J. Stewart Humboldt State University, Arcata, California

Graph Adjacency Matrix Automata Joshua Abbott, Phyllis Z. Chinn, Tyler Evans, Allen J. Stewart Humboldt State University, Arcata, California Graph Adjacency Matrix Automata Joshua Abbott, Phyllis Z. Chinn, Tyler Evans, Allen J. Stewart Humboldt State University, Arcata, California Abstract We define a graph adjacency matrix automaton (GAMA)

More information

Differential Geometry: Circle Patterns (Part 1) [Discrete Conformal Mappinngs via Circle Patterns. Kharevych, Springborn and Schröder]

Differential Geometry: Circle Patterns (Part 1) [Discrete Conformal Mappinngs via Circle Patterns. Kharevych, Springborn and Schröder] Differential Geometry: Circle Patterns (Part 1) [Discrete Conformal Mappinngs via Circle Patterns. Kharevych, Springborn and Schröder] Preliminaries Recall: Given a smooth function f:r R, the function

More information

The Simplex Algorithm

The Simplex Algorithm The Simplex Algorithm Uri Feige November 2011 1 The simplex algorithm The simplex algorithm was designed by Danzig in 1947. This write-up presents the main ideas involved. It is a slight update (mostly

More information

Convex Optimization. 2. Convex Sets. Prof. Ying Cui. Department of Electrical Engineering Shanghai Jiao Tong University. SJTU Ying Cui 1 / 33

Convex Optimization. 2. Convex Sets. Prof. Ying Cui. Department of Electrical Engineering Shanghai Jiao Tong University. SJTU Ying Cui 1 / 33 Convex Optimization 2. Convex Sets Prof. Ying Cui Department of Electrical Engineering Shanghai Jiao Tong University 2018 SJTU Ying Cui 1 / 33 Outline Affine and convex sets Some important examples Operations

More information

Interval-Vector Polytopes

Interval-Vector Polytopes Interval-Vector Polytopes Jessica De Silva Gabriel Dorfsman-Hopkins California State University, Stanislaus Dartmouth College Joseph Pruitt California State University, Long Beach July 28, 2012 Abstract

More information

1. (15 points) Solve the decanting problem for containers of sizes 199 and 179; that is find integers x and y satisfying.

1. (15 points) Solve the decanting problem for containers of sizes 199 and 179; that is find integers x and y satisfying. May 9, 2003 Show all work Name There are 260 points available on this test 1 (15 points) Solve the decanting problem for containers of sizes 199 and 179; that is find integers x and y satisfying where

More information

Finding Small Triangulations of Polytope Boundaries Is Hard

Finding Small Triangulations of Polytope Boundaries Is Hard Discrete Comput Geom 24:503 517 (2000) DOI: 10.1007/s004540010052 Discrete & Computational Geometry 2000 Springer-Verlag New York Inc. Finding Small Triangulations of Polytope Boundaries Is Hard J. Richter-Gebert

More information

CS 435, 2018 Lecture 2, Date: 1 March 2018 Instructor: Nisheeth Vishnoi. Convex Programming and Efficiency

CS 435, 2018 Lecture 2, Date: 1 March 2018 Instructor: Nisheeth Vishnoi. Convex Programming and Efficiency CS 435, 2018 Lecture 2, Date: 1 March 2018 Instructor: Nisheeth Vishnoi Convex Programming and Efficiency In this lecture, we formalize convex programming problem, discuss what it means to solve it efficiently

More information

6 Randomized rounding of semidefinite programs

6 Randomized rounding of semidefinite programs 6 Randomized rounding of semidefinite programs We now turn to a new tool which gives substantially improved performance guarantees for some problems We now show how nonlinear programming relaxations can

More information

A taste of perfect graphs (continued)

A taste of perfect graphs (continued) A taste of perfect graphs (continued) Recall two theorems from last class characterizing perfect graphs (and that we observed that the α ω theorem implied the Perfect Graph Theorem). Perfect Graph Theorem.

More information

Binary Positive Semidefinite Matrices and Associated Integer Polytopes

Binary Positive Semidefinite Matrices and Associated Integer Polytopes Binary Positive Semidefinite Matrices and Associated Integer Polytopes Adam N. Letchford Michael M. Sørensen September 2009 Abstract We consider the positive semidefinite (psd) matrices with binary entries,

More information

Polytopes Course Notes

Polytopes Course Notes Polytopes Course Notes Carl W. Lee Department of Mathematics University of Kentucky Lexington, KY 40506 lee@ms.uky.edu Fall 2013 i Contents 1 Polytopes 1 1.1 Convex Combinations and V-Polytopes.....................

More information

TORIC VARIETIES JOAQUÍN MORAGA

TORIC VARIETIES JOAQUÍN MORAGA TORIC VARIETIES Abstract. This is a very short introduction to some concepts around toric varieties, some of the subsections are intended for more experienced algebraic geometers. To see a lot of exercises

More information

Face Lattice Computation under Symmetry

Face Lattice Computation under Symmetry Face Lattice Computation under Symmetry Face Lattice Computation under Symmetry By Jonathan Li, B.Sc. A Thesis Submitted to the School of Graduate Studies in Partial Fulfilment of the Requirements for

More information

The important function we will work with is the omega map ω, which we now describe.

The important function we will work with is the omega map ω, which we now describe. 20 MARGARET A. READDY 3. Lecture III: Hyperplane arrangements & zonotopes; Inequalities: a first look 3.1. Zonotopes. Recall that a zonotope Z can be described as the Minkowski sum of line segments: Z

More information

Vertex-Maximal Lattice Polytopes Contained in 2-Simplices

Vertex-Maximal Lattice Polytopes Contained in 2-Simplices Vertex-Maximal Lattice Polytopes Contained in 2-Simplices Christoph Pegel Institut für Algebra, Zahlentheorie und Diskrete Mathematik Leibniz Universität Hannover November 14, 2018 joint with Jan Philipp

More information

Treewidth and graph minors

Treewidth and graph minors Treewidth and graph minors Lectures 9 and 10, December 29, 2011, January 5, 2012 We shall touch upon the theory of Graph Minors by Robertson and Seymour. This theory gives a very general condition under

More information