TY - JOUR
T1 - Integrality of subgradients and biconjugates of integrally convex functions
AU - Murota, Kazuo
AU - Tamura, Akihisa
N1 - Funding Information:
The authors thank Satoru Fujishige and Hiroshi Hirai for helpful comments. This work was supported by CREST, JST, Grant Number JPMJCR14D2, Japan; JSPS KAKENHI Grant Numbers 26280004, 16K00023; and JSPS Core-to-core program ?Foundation of a Global Research Cooperative Center in Mathematics Focused on Number Theory and Geometry.?
Publisher Copyright:
© 2019, Springer-Verlag GmbH Germany, part of Springer Nature.
PY - 2020/2/1
Y1 - 2020/2/1
N2 - Integrally convex functions constitute a fundamental function class in discrete convex analysis. This paper shows that an integer-valued integrally convex function admits an integral subgradient and that the integral biconjugate of an integer-valued integrally convex function coincides with itself. The proof is based on the Fourier–Motzkin elimination. The latter result provides a unified proof of integral biconjugacy for various classes of integer-valued discrete convex functions, including L-convex, M-convex, L2-convex, M2-convex, BS-convex, and UJ-convex functions as well as multimodular functions. Our results of integral subdifferentiability and integral biconjugacy make it possible to extend the theory of discrete DC (difference of convex) functions developed for L- and M-convex functions to that for integrally convex functions, including an analogue of the Toland–Singer duality for integrally convex functions.
AB - Integrally convex functions constitute a fundamental function class in discrete convex analysis. This paper shows that an integer-valued integrally convex function admits an integral subgradient and that the integral biconjugate of an integer-valued integrally convex function coincides with itself. The proof is based on the Fourier–Motzkin elimination. The latter result provides a unified proof of integral biconjugacy for various classes of integer-valued discrete convex functions, including L-convex, M-convex, L2-convex, M2-convex, BS-convex, and UJ-convex functions as well as multimodular functions. Our results of integral subdifferentiability and integral biconjugacy make it possible to extend the theory of discrete DC (difference of convex) functions developed for L- and M-convex functions to that for integrally convex functions, including an analogue of the Toland–Singer duality for integrally convex functions.
KW - Biconjugate function
KW - Discrete convex analysis
KW - Fourier–Motzkin elimination
KW - Integrality
KW - Integrally convex function
KW - Subgradient
UR - http://www.scopus.com/inward/record.url?scp=85075133969&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85075133969&partnerID=8YFLogxK
U2 - 10.1007/s11590-019-01501-1
DO - 10.1007/s11590-019-01501-1
M3 - Article
AN - SCOPUS:85075133969
VL - 14
SP - 195
EP - 208
JO - Optimization Letters
JF - Optimization Letters
SN - 1862-4472
IS - 1
ER -