2019/11/14 by Matthias Köppe, Yuan Zhou, Köppe, Matthias +1 · 1 voice
Mathematics · #90C10 #FOS: Mathematics #Optimization and Control (math.OC) #math.OC #msc:90C10
paper · pdf · doi:10.48550/arxiv.1911.06199
25+32 pages, 5 figures. Journal version of published extended abstract arXiv:1611.06626
arxiv created 2019/11/14 · arxiv published 2019/11/14 · arxiv updated 2019/11/15
We investigate three competing notions that generalize the notion of a facet of finite-dimensional polyhedra to the infinite-dimensional Gomory-Johnson model. These notions were known to coincide for continuous piecewise linear functions with rational breakpoints. We show that two of the notions, extreme functions and facets, coincide for the case of continuous piecewise linear functions, removing the hypothesis regarding rational breakpoints. We prove an if-and-only-if version of the Gomory-Johnson Facet Theorem. Finally, we separate the three notions using discontinuous examples.