Shapes and recession cones in mixed-integer convex representability
Name
10107_2023_1946_ReferencePDF.pdf
Size
375.83 KB
Format
Adobe PDF
Checksum (MD5)
6d1e0a640ccd9c516426f1fe2af5523a
Author(s)
Zadik, Ilias
Lubin, Miles
Vielma, Juan Pablo
Date Issued
March 30, 2023
Publisher
Springer Science and Business Media LLC
Citation
Zadik, I., Lubin, M. & Vielma, J.P. Shapes and recession cones in mixed-integer convex representability. Math. Program. 204, 739–752 (2024).
Version
Author's final manuscript
Abstract
Mixed-integer convex representable (MICP-R) sets are those sets that can be represented exactly through a mixed-integer convex programming formulation. Following up on recent work by Lubin et al. (in: Eisenbrand (ed) Integer Programming and Combinatorial Optimization - 19th International Conference, Springer, Waterloo), (Math. Oper. Res. 47:720-749, 2022) we investigate structural geometric properties of MICP-R sets, which strongly differentiate them from the class of mixed-integer linear representable (MILP-R) sets. First, we provide an example of an MICP-R set which is the countably infinite union of convex sets with countably infinitely many different recession cones. This is in sharp contrast with MILP-R sets which are (countable) unions of polyhedra that share the same recession cone. Second, we provide an example of an MICP-R set which is the countably infinite union of polytopes all of which have different shapes (no pair is combinatorially equivalent, which implies they are not affine transformations of each other). Again, this is in sharp contrast with MILP-R sets which are (countable) unions of polyhedra that are all translations of a finite subset of themselves.
Subjects
General Mathematics
Software
MIT Department
Massachusetts Institute of Technology. Department of Mathematics
Terms of Use
Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use.
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1007/s10107-023-01946-4
