Tatonnement Beyond Gross Substitutes? Gradient Descent to the Rescue

  • Yun Kuen Cheung ,
  • Richard Cole ,
  • Nikhil Devanur

Published by ACM

Tatonnement is a simple and natural rule for updating prices in Exchange (Arrow-Debreu) markets. In this paper we de- fine a class of markets for which tatonnement is equivalent to gradient descent. This is the class of markets for which there is a convex potential function whose gradient is always equal to the negative of the excess demand and we call it Convex Potential Function (CPF) markets. We show the following results.

• CPF markets contain the class of Eisenberg Gale (EG) markets, defined previously by Jain and Vazirani.

• The subclass of CPF markets for which the demand is a differentiable function contains exactly those markets whose demand function has a symmetric negative semi-definite Jacobian.

• We define a family of continuous versions of tatonnement based on gradient descent using a Bregman divergence. As we show, all processes in this family converge to an equilibrium for any CPF market. This is analogous to the classic result for markets satisfying the Weak Gross Substitutes property.

• A discrete version of tatonnement converges toward the equilibrium for the following markets of complementary goods; its convergence rate for these settings is analyzed using a common potential function.

– Fisher markets in which all buyers have Leontief utilities. The tatonnement process reduces the distance to the equilibrium, as measured by the potential function, to an  fraction of its initial value in O(1/) rounds of price updates.

– Fisher markets in which all buyers have complementary CES utilities. Here, the distance to the equilibrium is reduced to an  fraction of its initial value in O(log(1/)) rounds of price updates.

This shows that tatonnement converges for the entire range of Fisher markets when buyers have complementary CES utilities, in contrast to prior work, which could analyze only the substitutes range, together with a small portion of the complementary range.