arXiv++ Combinatorics

We consider the problem of finding the (unique) minimal Walrasian equilibrium price in multi-item, multi-unit auction models: there are multiple indivisible items for sale, with several units of each item, and a bidder may be interested in buying more than one copy of each item. In its special case with unit-demand bidders, where each bidder demands at most one unit of any item, Andersson, Andersson, and Talman (2013) proposed a general framework of ascending auction algorithms based on the concept of excess-demand item set. This paper extends this approach to the multi-unit case by exploiting the discrete convexity of the Lyapunov function associated with the auction model. In particular, we make use of the facts that (i) the equilibrium price vectors are characterized as the minimizers of the Lyapunov function, (ii) the Lyapunov function is an instance of an L-natural-convex function, and (iii) a concept generalizing ``excess-demand item set'' can be defined in L-natural-convex function minimization in general.

We define a class of discrete quasi convex functions, called semi-strictly quasi L$^{\natural}$-convex functions, and show that the steepest descent algorithm for L$^{\natural}$-convex function minimization also works for this class of quasi convex functions. The analysis of the exact number of iterations is also extended, revealing the so-called geodesic property of the steepest descent algorithm when applied to semi-strictly quasi L$^{\natural}$-convex functions.

For a class of discrete quasi convex functions called semi-strictly quasi M$^\natural$-convex functions, we investigate fundamental issues relating to minimization, such as optimality condition by local optimality, minimizer cut property, geodesic property, and proximity property. Emphasis is put on comparisons with (usual) M$^\natural$-convex functions. The same optimality condition and a weaker form of the minimizer cut property hold for semi-strictly quasi M$^\natural$-convex functions, while geodesic property and proximity property fail.

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.