Abstract
For a convex set S, we study the facial structure of its integer hull, S ℤ. Crucial to our study is the decomposition of the integer hull into the convex hull of its extreme points, conv(ext(S ℤ)), and its recession cone. Although conv(ext(S ℤ)) might not be a polyhedron, or might not even be closed, we show that it shares several interesting properties with polyhedra: all faces are exposed, perfect, and isolated, and maximal faces are facets. We show that S ℤ has an infinite number of extreme points if and only if conv(ext(S ℤ)) has an infinite number of facets. Using these results, we provide a necessary and sufficient condition for semidefinite representability of conv(ext(S ℤ)).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abhishek, K., Leyffer, S., Linderoth, J.: FilMINT: An outer-approximation-based solver for nonlinear mixed-integer programs. Preprint, Argonne National Laboratory, Mathematics and Computer Science Division, Argonne, IL (2006)
Atamtürk, A., Narayanan, V.: The submodular knapsack polytope. Discrete Optimization 6, 333–344 (2009)
Atamtürk, A., Narayanan, V.: Conic mixed-integer rounding cuts. Mathematical Programming 122, 1–20 (2010)
Atamtürk, A., Narayanan, V.: Lifting for conic mixed-integer programming. Mathematical Programming 126, 351–363 (2011)
Belotti, P., Lee, J., Libreti, L., Margot, F., Waechter, A.: Branching and bound tightening techniques for non-convex MINLP. Optimization Methods and Software 24, 597–634 (2009)
Bonami, P., Biegler, L.T., Conn, A.R., Cornuéjols, G., Grossmann, I.E., Laird, C.D., Lee, J., Lodi, A., Margot, F., Sawaya, N., Waechter, A.: An algorithmic framework for convex mixed-integer nonlinear programs. Discrete Optimization 5, 186–204 (2008)
Bonami, P., Kilinç, M., Linderoth, J.: Algorithms and software for convex mixed integer nonlinear programs. In: Lee, J., Leyffer, S. (eds.) Mixed Integer Nonlinear Programming. IMA Volumes in Mathematics and its Applications, vol. 154, pp. 1–39. Springer, New York (2012)
Braun, G., Pokutta, S.: A short proof of the polyhedrality of the chvátal-gomory closure of a compact set (2012)
Burer, S., Letchford, A.: Unbounded convex sets for non-convex mixed-integer quadratic programming. Mathematical Programming (2012) (to appear)
Cassels, J.W.: An Introduction to the Geometry of Numbers. Springer (1997)
Çezik, M., Iyengar, G.: Cuts for mixed 0–1 conic programming. Mathematical Programming 104, 179–202 (2005)
Dadush, D., Dey, S., Vielma, J.: The Chvátal-Gomory closure of a strictly convex body. Mathematics of Operations Research 36, 227–239 (2011a)
Dadush, D., Dey, S., Vielma, J.: The split closure of a strictly convex body. Operations Research Letters 39, 121–126 (2011b)
Dadush, D., Dey, S., Vielma, J.: On the Chvátal-Gomory closure of a compact convex set (2012), arXiv:1011.1710v1 (math.OC)
Dey, S., Morán R., D.A.: Some properties of convex hulls of integer points contained in general convex sets. Mathematical Programming Online First, doi: 10.1007/s10107-012-0538-7
Dey, S.S., Vielma, J.P.: The Chvátal-Gomory Closure of an Ellipsoid Is a Polyhedron. In: Eisenbrand, F., Shepherd, F.B. (eds.) IPCO 2010. LNCS, vol. 6080, pp. 327–340. Springer, Heidelberg (2010)
Dunkel, J., Schulz, A.: The Gomory-Chvátal closure of a non-rational polytope is a rational polytope. Mathematics of Operations Research (to appear), doi:10.1287/moor.1120.0565
Fedotov, V.P.: Isolated faces of a convex compactum. Mathematicheskie Zametki 25(1), 139–147 (1979)
Frangioni, A., Gentile, C.: Perspective cuts for a class of 0–1 mixed integer programs. Mathematical Programming 106, 225–236 (2006)
Grötschel, M., Henk, M.: The representation of polyhedra by polynomial inequalities. Discrete and Comuputational Geometry 29, 485–504 (2003)
Günlük, O., Lee, J., Weismantel, R.: MINLP strengthening for separable convex quadratic transportation-cost UFL. IBM Research Report RC24213, IBM, Yorktown Heights, NY (March 2007)
Günlük, O., Linderoth, J.: Perspective relaxation of mixed integer nonlinear programs with indicator variables. Mathematical Programming, Series B 104, 183–206 (2010)
Hiriart-Urruty, J., Lemaréchal, C.: Fundamentals of Convex Analysis. Grundlehren Text edn. Springer Heidelberg (2001)
Jaume, D.A., Puente, R.: Conjugacy for closed convex sets. Contributions to Algebra and Geometry 46(1), 131–149 (2005)
Klee, V.: Extremal structure of convex sets. Archiv der Mathematik 8, 234–240 (1957)
Meyer, R.: On the existence of optimal solutions to integer and mixed-integer programming problems. Mathematical Programming 7, 223–235 (1974)
Morán R., D.A., Dey, S.S., Vielma, J.P.: A strong dual for conic mixed-integer programs. SIAM Journal on Optimization 22, 1136–1150 (2012)
Moussafir, J.O.: Convex hulls of integral points. Journal of Mathematical Sciences 115(5), 647–665 (2003)
Pataki, G.: On the closedness of the linear image of a closed convex cone. Mathematics of Operations Research 32(2), 395–412 (2007)
Rockafellar, R.T.: Convex Analysis. Princeton Landmarks in Mathematics. Princeton University Press, Princeton (1970)
Rockafellar, R.T., Wets, R.J.B.: Variational Analysis. Springer, Berlin (2004)
Schmutz, E.: Rational points on the unit sphere. Central European Journal of Mathematics 6(3), 482–487 (2008)
Schneider, R.: Convex Bodies: The Brunn-Minkowski Theory. Cambridge University Press (1993)
Stubbs, R., Mehrotra, S.: A branch-and-cut method for 0-1 mixed convex programming. Mathematical Programming 86, 515–532 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Narayanan, V. (2013). Facial Structure and Representation of Integer Hulls of Convex Sets. In: Goemans, M., Correa, J. (eds) Integer Programming and Combinatorial Optimization. IPCO 2013. Lecture Notes in Computer Science, vol 7801. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36694-9_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-36694-9_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36693-2
Online ISBN: 978-3-642-36694-9
eBook Packages: Computer ScienceComputer Science (R0)