On Equivalence of M$^\natural$-concavity of a Set Function and Submodularity of Its Conjugate

Abstract

A fundamental theorem in discrete convex analysis states that a set function is M$^\natural$-concave if and only if its conjugate function is submodular. This paper gives a new proof to this fact