What is a cone? Anastasia Chavez. Field of Dreams Conference President s Postdoctoral Fellow NSF Postdoctoral Fellow UC Davis

Similar documents
Convex Geometry arising in Optimization

Combinatorial Geometry & Topology arising in Game Theory and Optimization

CS599: Convex and Combinatorial Optimization Fall 2013 Lecture 4: Convex Sets. Instructor: Shaddin Dughmi

Linear programming and duality theory

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

Lecture 4: Rational IPs, Polyhedron, Decomposition Theorem

Conic Duality. yyye

Applied Integer Programming

Lecture 5: Duality Theory

CS675: Convex and Combinatorial Optimization Spring 2018 Convex Sets. Instructor: Shaddin Dughmi

arxiv: v1 [math.co] 15 Dec 2009

LECTURE 10 LECTURE OUTLINE

Discrete Volume Computations. for Polyhedra

Polyhedral Computation Today s Topic: The Double Description Algorithm. Komei Fukuda Swiss Federal Institute of Technology Zurich October 29, 2010

Advanced Operations Research Techniques IE316. Quiz 2 Review. Dr. Ted Ralphs

Convexity: an introduction

Polar Duality and Farkas Lemma

ACTUALLY DOING IT : an Introduction to Polyhedral Computation

Algebraic-Geometric ideas in Discrete Optimization (Universidad de Sevilla, 2014)

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

On the Hardness of Computing Intersection, Union and Minkowski Sum of Polytopes

COMP331/557. Chapter 2: The Geometry of Linear Programming. (Bertsimas & Tsitsiklis, Chapter 2)

Interval-Vector Polytopes

maximize c, x subject to Ax b,

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

Math 5593 Linear Programming Lecture Notes

CS599: Convex and Combinatorial Optimization Fall 2013 Lecture 1: Introduction to Optimization. Instructor: Shaddin Dughmi

Lecture 2 - Introduction to Polytopes

A mini-introduction to convexity

Convex Optimization. Convex Sets. ENSAE: Optimisation 1/24

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

arxiv: v1 [cs.cc] 30 Jun 2017

EC 521 MATHEMATICAL METHODS FOR ECONOMICS. Lecture 2: Convex Sets

Introduction to Mathematical Programming IE496. Final Review. Dr. Ted Ralphs

Lecture 4: Linear Programming

Advanced Operations Research Techniques IE316. Quiz 1 Review. Dr. Ted Ralphs

2. Convex sets. x 1. x 2. affine set: contains the line through any two distinct points in the set

FACES OF CONVEX SETS

AMS : Combinatorial Optimization Homework Problems - Week V

Integer Programming Explained Through Gomory s Cutting Plane Algorithm and Column Generation

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

On Unbounded Tolerable Solution Sets

Combinatorial Optimization and Integer Linear Programming

4 LINEAR PROGRAMMING (LP) E. Amaldi Fondamenti di R.O. Politecnico di Milano 1

Convex Hull Representation Conversion (cddlib, lrslib)

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

IE 5531: Engineering Optimization I

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

Polytopes Course Notes

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

ORIE 6300 Mathematical Programming I September 2, Lecture 3

SCORE EQUIVALENCE & POLYHEDRAL APPROACHES TO LEARNING BAYESIAN NETWORKS

Linear programming and the efficiency of the simplex algorithm for transportation polytopes

Modeling and Analysis of Hybrid Systems

Modeling and Analysis of Hybrid Systems

PUBLICATION LIST ( ) Jesús Antonio De Loera

Integer Programming ISE 418. Lecture 1. Dr. Ted Ralphs

A Course in Convexity

Lattice-point generating functions for free sums of polytopes

EE/ACM Applications of Convex Optimization in Signal Processing and Communications Lecture 6

arxiv: v1 [math.co] 25 Sep 2015

of Convex Analysis Fundamentals Jean-Baptiste Hiriart-Urruty Claude Lemarechal Springer With 66 Figures

Convex Optimization M2

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

Polyhedral Computation and their Applications. Jesús A. De Loera Univ. of California, Davis

4 Integer Linear Programming (ILP)

Numerical Optimization

Lecture 5: Properties of convex sets

Gift Wrapping for Pretropisms

CS522: Advanced Algorithms

Decision Aid Methodologies In Transportation Lecture 1: Polyhedra and Simplex method

Section Notes 5. Review of Linear Programming. Applied Math / Engineering Sciences 121. Week of October 15, 2017

CMPSCI611: The Simplex Algorithm Lecture 24

arxiv: v1 [math.co] 12 Dec 2017

The Simplex Algorithm

The Subdivision of Large Simplicial Cones in Normaliz ICMS 2016

Convex Sets. CSCI5254: Convex Optimization & Its Applications. subspaces, affine sets, and convex sets. operations that preserve convexity

Real life Problem. Review

Simplex Algorithm in 1 Slide

Lecture 15: The subspace topology, Closed sets

Classification of Ehrhart quasi-polynomials of half-integral polygons

PROGRAMMING UNDER UNCERTAINTY: THE SOLUTION SET*

An FPTAS for minimizing the product of two non-negative linear cost functions

Lecture 3: Convex sets

2. Convex sets. affine and convex sets. some important examples. operations that preserve convexity. generalized inequalities

Geometry. Every Simplicial Polytope with at Most d + 4 Vertices Is a Quotient of a Neighborly Polytope. U. H. Kortenkamp. 1.

Semistandard Young Tableaux Polytopes. Sara Solhjem Joint work with Jessica Striker. April 9, 2017

R n a T i x = b i} is a Hyperplane.

Three Integer Programming Algorithms based on Barvinok s Rational Functions

Lecture 1: Introduction

Lecture 12 March 4th

Introduction to Modern Control Systems

LP Geometry: outline. A general LP. minimize x c T x s.t. a T i. x b i, i 2 M 1 a T i x = b i, i 2 M 3 x j 0, j 2 N 1. where

CURVE SKETCHING EXAM QUESTIONS

Lecture 2 Convex Sets

Lecture 6: Faces, Facets

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

Lecture Notes 2: The Simplex Algorithm

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

arxiv: v2 [math.co] 4 Jul 2018

Transcription:

What is a cone? Anastasia Chavez President s Postdoctoral Fellow NSF Postdoctoral Fellow UC Davis Field of Dreams Conference 2018

Roadmap for today 1 Cones 2 Vertex/Ray Description 3 Hyperplane Description 4 An Application

Intuitive idea of a Cone "Set of vectors closed under positive combinations"

Example Intuitive idea of a Cone "Set of vectors closed under positive combinations" For V = {( 1, 1 2), (1, 2), (2, 1), ( 1 2, 3 4 )}

Example Intuitive idea of a Cone "Set of vectors closed under positive combinations" For V = {( 1, 1 2), (1, 2), (2, 1), ( 1 2, 3 4)}, the cone of V is C(V) = ( {a 1 1, 1 ) ( 1 + a 2 (1, 2) + a 3 (2, 1) + a 4 2 2, 3 ) } a i R 0 4

Vertex/Ray Description The space generated by a finite set of vertices/rays" Let V = {v 1, v 2,..., v i, r i+1,..., r m } be a set of vertices and rays in R n. The cone generated by V is C(V) = {λ 1 v 1 + + λ m r m λ i R n 0 }.

Vertex/Ray Description The space generated by a finite set of vertices/rays" Let V = {v 1, v 2,..., v i, r i+1,..., r m } be a set of vertices and rays in R n. The cone generated by V is C(V) = {λ 1 v 1 + + λ m r m λ i R n 0 }.

Hyperplane Description The intersection of halfspaces" H 1 = { (x 1, x 2 ) R 2 1 } 2 x 1 x 2 0 Definition A hyperplane H is the set {x R n a(x) = 0}, for linear map a over R n. A closed halfspace H is choosing a side" of H: {x R n a(x) 0}.

Hyperplane Description The intersection of halfspaces" H 1 = { (x 1, x 2 ) R 2 1 } 2 x 1 x 2 0 H 2 = { (x 1, x 2 ) R 2 2x 1 x 2 0 } Definition A hyperplane H is the set {x R n a(x) = 0}, for linear map a over R n. A closed halfspace H is choosing a side" of H: {x R n a(x) 0}.

Hyperplane Description The intersection of halfspaces" Definition A convex cone C is a collection of closed halfspaces A, such that C = {x R n Ax 0}.

Cones from vectors/rays and hyperplanes Theorem (Weyl Minkowski Theorem) A convex polyhedral cone has both a vertex/ray and hyperplane description, which are equivalent.

Where Cones Commonly Show Up Solvability of a general system of linear equations (Farka s lemma) Integer point enumeration, Ehrhart Theory Discrete optimization, linear programming, feasibility problems Computational Complexity Where else might they show up?

Definition Using Cones to Understand Graphs A graph G = (V, E) is a set of vertices and edges. A cycle of G is a set of edges forming a path that returns to itself only once. Example

Using Cones to Understand Graphs We can describe all the cycles of a graph using vectors! Let c {0, 1} n be the indicator vector of a cycle of graph G, where c i = 1 if e i E and 0 if not. Example Cycle in G = (1, 0, 1, 0, 1, 1)

Using Cones to Understand Graphs We can describe all the cycles of a graph using vectors! Let c {0, 1} n be the indicator vector of a cycle of graph G, where c i = 1 if e i E and 0 if not. Example 1 1 1 0 0 1 0 1 0 1 1 0 0 1 C = 1 0 0 1 1 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 1 Every column is a cycle and rows are indexed by edges.

Using Cones to Understand Graphs Using the set of cycles of G, we can generate the cone C G over all cycles of G: C G = {λ 1 c 1 + + λ n c n λ R n } Example C G = λ 1 1 1 1 1 0 0 + λ 2 1 0 0 1 1 0 + + λ 7 0 1 0 1 1 1 λ i R 7

Using Cones to Understand Graphs Why use cones? For a new perspective! CDC conjecture: For any graph G, there exists a set of cycles covering the edges of G so that every edge is in exactly 2 cycles.

Using Cones to Understand Graphs Why use cones? For a new perspective! CDC conjecture: For any graph G, there exists a set of cycles covering the edges of G so that every edge is in exactly 2 cycles. { }

Using Cones to Understand Graphs Why use cones? For a new perspective! CDC conjecture: For any graph G, there exists a set of cycles covering the edges of G so that every edge is in exactly 2 cycles. { }

Using Cones to Understand Graphs Why use cones? For a new perspective! CDC conjecture: For any graph G, there exists a set of cycles covering the edges of G so that every edge is in exactly 2 cycles. { }

Using Cones to Understand Graphs Why use cones? For a new perspective! CDC conjecture: For any graph G, there exists a set of cycles covering the edges of G so that every edge is in exactly 2 cycles. { } Via Cones: The integral cone of cycles of G always contains (2, 2,..., 2).

Using Cones to Understand Graphs Why use cones? For a new perspective! CDC conjecture: For any graph G, there exists a set of cycles covering the edges of G so that every edge is in exactly 2 cycles. { } Via Cones: The integral cone of cycles of G always contains (2, 2,..., 2). In general: Given vector u = (u 1, u 2,..., u n ), is there a set of cycles so that edge i is covered u i many times?

Using Cones to Understand Graphs Why use cones? For a new perspective! CDC conjecture: For any graph G, there exists a set of cycles covering the edges of G so that every edge is in exactly 2 cycles. { } Via Cones: The integral cone of cycles of G always contains (2, 2,..., 2). In general: Given vector u = (u 1, u 2,..., u n ), is there a set of cycles so that edge i is covered u i many times? Does the integral cone of cycles of G contain u?

References > Beck and Robins, Computing the Continuous Discretely, Springer, 2015. > De Loera, Hemmecke, and Köppe, Algebraic and Geometric Ideas in the Theory of Discrete Optimization, Society for Industrial and Applied Mathematics, 2012. > Ziegler, Lectures on Polytopes, Springer, 1995.

Cones Vertex/Ray Description Hyperplane Description About me ct Instin Play time! Commun ity Suppo rt Allies and Cheerleaders An Application

Cones Vertex/Ray Description Hyperplane Description Thank you! ct Instin Play time! Commun ity Suppo rt Allies and Cheerleaders An Application