Integrality of subgradients and biconjugates of integrally convex functions

Kazuo Murota, Akihisa Tamura

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
JournalOptimization Letters
DOIs
Publication statusAccepted/In press - 2019 Jan 1

Fingerprint

Subgradient
Integrality
Convex function
Integer
Convex Analysis
Elimination
Duality
Analogue

Keywords

  • Biconjugate function
  • Discrete convex analysis
  • Fourier–Motzkin elimination
  • Integrality
  • Integrally convex function
  • Subgradient

ASJC Scopus subject areas

  • Control and Optimization

Cite this

Integrality of subgradients and biconjugates of integrally convex functions. / Murota, Kazuo; Tamura, Akihisa.

In: Optimization Letters, 01.01.2019.

Research output: Contribution to journalArticle

@article{20b90c83714046d3a51417647f27b5db,
title = "Integrality of subgradients and biconjugates of integrally convex functions",
abstract = "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.",
keywords = "Biconjugate function, Discrete convex analysis, Fourier–Motzkin elimination, Integrality, Integrally convex function, Subgradient",
author = "Kazuo Murota and Akihisa Tamura",
year = "2019",
month = "1",
day = "1",
doi = "10.1007/s11590-019-01501-1",
language = "English",
journal = "Optimization Letters",
issn = "1862-4472",
publisher = "Springer Verlag",

}

TY - JOUR

T1 - Integrality of subgradients and biconjugates of integrally convex functions

AU - Murota, Kazuo

AU - Tamura, Akihisa

PY - 2019/1/1

Y1 - 2019/1/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

JO - Optimization Letters

JF - Optimization Letters

SN - 1862-4472

ER -