Implementability by a Canonical Indirect Mechanism of an Optimal Two-Dimensional Direct Mechanism
Naoki Kojima
Otaru University of Commerce, Otaru, Japan.
DOI: 10.4236/tel.2017.72016   PDF    HTML   XML   1,197 Downloads   1,791 Views  

Abstract

The present paper investigates the multi-dimensional mechanism design in which buyers have taste and budget as their private information. The paper shows an easy proof of a two-dimensional optimal direct mechanism by a one-dimensional indirect mechanism: A canonical mechanism in the traditional one-dimensional setting, i.e., function of one variable, the buyers taste. It also sheds light on where the difficulty lies implementability of a general direct mechanism—not optimal—by a canonical mechanism.

Share and Cite:

Kojima, N. (2017) Implementability by a Canonical Indirect Mechanism of an Optimal Two-Dimensional Direct Mechanism. Theoretical Economics Letters, 7, 187-192. doi: 10.4236/tel.2017.72016.

1. Introduction

In standard literature on adverse selection, an agent-buyer has his taste as private information. If the agent has, in addition, a budget constraint as his private information, the problem becomes one of two-dimensional mechanism design. It is well known that multi-dimensional mechanism design entails quite a few technical difficulties (see [1] , [2] ). One way to get around them is to reduce the dimension of private information [3] and thus to resort to an indirect mechanism.

In the setting of budget-constrained buyers, [4] invoked a non-linear price scheme while showing that this indirect mechanism realizes the equilibrium outcome of the optimal two-dimensional direct mechanism. [5] , by only focusing on the agent’s taste, reduced the whole setting to the well known one of a canonical one-dimensional mechanism, i.e., a map from the taste space to the quality-price space and showed that the optimal canonical mechanism achieves the same outcome as an optimal direct mechanism.1 The proof of equivalence, however, involved fancy theory of set-valued mappings not necessarily familiar to an audience in economics.

The above two works differ in perspective and motivation so that they are based on different assumptions as regards the distribution of agents’ type. By adopting the assumptions of [4] , this paper provides an elementary proof that their optimal non-linear price scheme is implemented by a canonical one-dimen- sional mechanism a la Kojima, while resorting to their structure of the optimal non-linear price scheme given by an integro-differential equation.

It turns out that a two-dimensional direct mechanism in general is not so straightforward to implement by a canonical mechanism. This article shows where this difficulty lies, which was not visible in the approach by theory of set- valued functions in [5] . In one word, it consists in the lack of strict concavity of a non-linear price scheme implementing a direct mechanism.

2. The Model

A risk-neutral seller has one unit of an indivisible commodity to sell of quality q Q : = [ 0 , 1 ] . A continuum of buyers purchase one unit of the commodity of quality q or none. The seller values the commodity at zero. A buyer has taste t for the commodity and a budget w . The couple ( t , w ) is distributed according to the density f ( t , w ) continuously differentiable and positive on its non-empty support, T × W where T : = [ 0 , t ¯ ] and W : = [ 0 , w ¯ ] . ( t , w ) is the buyers’ private information and the seller only knows the density f ( t , w ) . The pair ( t , w ) is referred to as the buyers’ type from now onwards. The marginal distribution of w is G ( w ) and the conditional distribution of t given w is F ( t | w ) with the corresponding densities g ( w ) and f ( t | w ) .

The buyer of taste t obtains utility t q p when buying quality q and paying price p . Suppose as in [4] that the seller incurs zero cost. The following is assumed, the reason for which is merely to assure that in Lemma 2, Equation (5) is always valid (see Th.1 in [4] ).

t ¯ w ¯ . (1)

The buyer of the highest taste t ¯ obtains utility t ¯ p for the highest quality q = 1 , the highest acceptable price of which, reservation price, is t ¯ . The assumption ensures that the buyer with the highest budget can pay the price.

3. The Mechanism

The non-linear price scheme τ ( q ) is defined as a mapping of the space Q to the price space R . Note that it is an indirect mechanism since the type space here is T × W .

The canonical mechanism is defined so that it associates the quality and price only with the buyer’s taste as in the standard setting while ignoring the budget constraint:

( q , p ) : T Q × R .

It is yet another indirect mechanism but very familiar to us in literature for decades. Let us define as usual:

Definition 1. The canonical mechanism ( q ( t ) , p ( t ) ) is weakly feasible2 if and only if

t q ( t ) p ( t ) t q ( t ˜ ) p ( t ˜ ) forany t , t ˜ T (WIC)

t q ( t ) p ( t ) 0 on T . (WIR)

Let us turn to the direct mechanism in the two-dimensional setting, which is a mapping:

( q ( t , w ) , p ( t , w ) ) : T × W Q × R .

Feasibility in this multi-dimensional mechanism is expressed as follows:

Definition 2. The direct mechanism ( q ( t , w ) , p ( t , w ) ) is strongly feasible if and only if

p ( t , w ) w forany ( t , w ) T × W , (SBC)

t q ( t , w ) p ( t , w ) t q ( t ˜ , w ˜ ) p ( t ˜ , w ˜ ) forany ( t , w ) and ( t ˜ , w ˜ ) T × W suchthat p ( t ˜ , w ˜ ) w . (SIC)

t q ( t , w ) p ( t , w ) 0 on T × W . (SIR)

(SIC) induces truth-telling and (SIR) participation whereas (SBC) ensures that the buyer can actually purchase the quality assigned.

The seller’s aim is to construct a strongly feasible mechanism which maximizes the expected revenue E p ( t , w ) .

The revelation principle asserts that the outcome of an indirect mechanism is realized by a direct mechanism. Said contrariwise, an indirect mechanism might suffer sub-optimality compared to a direct mechanism [4] , nonetheless, showed the following result and resorted to a non-linear price scheme instead of a direct mechanism to maximize the seller’s revenue (see also [5] for the proof3).

Lemma 1. Given any strongly feasible direct mechanism ( q ( t , w ) , p ( t , w ) ) there exists a non-linear price scheme τ : Q R such that4

itiscontinuous,strictlyincreasing,convexand τ ( 0 ) = 0 aswellas 0 τ + t ¯ , (2)

and further that for all ( t , w )

τ ( y ) ) p ( t , w ) (3)

where

y arg max x s . t . τ ( x ) w t x τ ( x ) . (4)

Note that the outcome of a non-linear price scheme given in the lemma is realized by a strongly feasible mechanism due to the revelation principle. The lemma, therefore, asserts that the revenue of an optimal5 strongly feasible me- chanism is attained by a non-linear price scheme.

It shows that a weakly feasible mechanism can replicate the quality-price allocation of a strongly feasible mechanism, which basically amounts to proving that the former offers at least the same variety of qualities by the latter. In general, it is not such an easy task for a strongly feasible mechanism-which [5] deal with-but in the case of an optimal strongly feasible mechanism, one can construct a canonical mechanism which replicates the quality-price allocation of the former by way of the corresponding optimal non-linear price scheme. Due to T = [ 0 , t ¯ ] and (1), one obtains:

Lemma 2. (Che and Gale). Assume that for each w , H ( t | w ) : = 1 F ( t | w ) t f ( t | w ) is strictly decreasing in t . Then, the optimal strong mechanism is implemented by the non-linear price scheme τ ( x ) which satisfies (2) and

τ ( x ) { τ ( x ) w ¯ H ( τ ( x ) | w ) τ ( x ) g ( w ) d w } = τ ( x ) 2 f ( τ ( x ) | τ ( x ) ) g ( τ ( x ) ) (5)

This condition ensures that τ has a second derivative: hence we actually have a derivative τ + = τ for the optimal strong mechanism. A second observa- tion is that τ is strictly convex since otherwise τ ( x ) = 0 at some x and Equation (5) leads to τ ( x ) = 0 , which is contradictory to (2).

Let us now turn to the construction of a canonical mechanism which repli- cates the agent’s quality (thus price) choice faced to the optimal direct me- chanism. Suppose that the optimal direct mechanism is given as well as the corresponding non-linear price scheme as in lemma 2. Let us define the maxi- mizer of utility:

max x Q t x τ ( x ) . (6)

There are three possible cases for this maximization.

(1) First case: If t < τ ( 0 ) ,

then, the utility maximizer is x = 0 and one defines q ( t ) : = 0 .

(2) Second case: If there exists x such that 0 = t τ ( x ) , it is unique due to strict convexity. Then, one defines q ( t ) : = x .

(3) Third case: If t > τ ( 1 ) ,

the maximizer is x = 1 . Then, define q ( t ) : = 1 .

Define now a canonical mechanism by ( q ( t ) , p ( t ) ) : = ( q ( t ) , τ ( q ( t ) ) ) . Then, it satisfies (WIC) just by construction of q ( t ) ―through (6)―and also

(WIR) due to τ ( 0 ) = 0 . It is, thus, weakly feasible. Due to 0 τ + ( x ) t ¯ on [ 0 , 1 ] , one can always find t T such that t = τ ( x ) for any x Q . In other words, for any x , there is a buyer of taste t for whom x was a utility maximizer and an inner solution (Second case above). Thus, one obtains that q ( T ) = [ 0 , 1 ] : the canonical mechanism constructed covers the whole quality range.

Now consider a buyer of ( t , w ) . If p ( t ) w , he will indeed buy q ( t ) . Otherwise, while willing to do so, he cannot afford that quality and will choose q ( t ) such that t < t and pays his whole budget p ( t ) = w because his utility function in (6) is strictly concave. These choices are identical to those when the buyer faces the non-linear scheme.

Due to Lemma 1, therefore, one obtains:

Proposition 1. A weakly feasible canonical mechanism implements the quality- price allocation of an optimal strongly feasible direct mechanism.

Let us turn to the case of a direct mechanism in general―not revenue-maxi- mizing optimal. Given a strongly feasible mechanism, consider an outperform- ing non-linear price scheme, the existence of which is assured by Lemma 1. Existence is, however, no longer assured of the derivative τ let alone strict convexity of τ (see the remark just after Lemma 2). The quality-price choice by any agent facing this non-linear price scheme is in turn realized by some strongly feasible mechanism by virtue of the revelation principle. Let us try to replicate this quality-price choice with a canonical mechanism according to (6).

The difficulty in constructing a canonical mechanism implementing a direct mechanism in this case―or the corresponding price scheme alike―consists in the fact that one may not be able to provide the whole quality range offered by the non-linear price scheme (i.e., q ( T ) Q = [ 0 , 1 ] ). Then, the canonical mecha- nism might not provide the qualities which some buyers would pick with the non-linear price scheme: hence failure of implementation.

Lemma 1 does not guarantee the existence of the first or second derivative of τ but their existence is not an essential point here. If they do not exist, the same argument applies by replacement of τ with its subdifferential.6

For Cases (1) and (3) of corner solutions, there is no problem. We repeat the same process. The problem is Case (2) of inner solutions. Suppose τ is not strictly convex but just convex by Lemma 1. Then, there might be an interval of maximizers [ x , y ] for some t ’s due to convexity. Now, our maximizer for t is a multi-valued function K ( t ) but a canonical mechanism is a single-valued function. One has to assign one quality to each t . If we assign some quality z [ x , y ] to each type who has multiple utility maximizers and build q ( t ) , it is quite probable that q ( T ) has some holes in Q , i.e., q ( T ) Q . Technically speaking, the maximizer of Equation (6), K ( t ) , is a multi-valued (set-valued) function and there does not always exist a single-valued continuous canonical mechanism7 such that q ( t ) K ( t ) .8

Supported

This work was supported by JSPS KAKENHI Grant Number JP16K03545.

NOTES

1As a matter of course, a canonical mechanism here has no bearing on Maskin’s one in literature.

2We use the qualification of “weak” in order to avoid confusion with feasibility of a direct mechanism.

3Although [4] states the result with a weakly increasing τ , strict increase is evident by its definition. In fact, it is crucial to our purpose. See [5] .

4 τ + stands for the largest subgradient or equivalently the right derivative (see [6] ).

5Throughout the paper, an optimal mechanism stands for the seller's expected revenue-maximizing mechanism.

6See [6] .

7See [7] or [8] for instance.

8If there exists, q ( T ) = Q is obvious since T is connected.

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1] Armstrong, M. (1996) Multiproduct Nonlinear Pricing. Econometrica, 64, 51-75.
https://doi.org/10.2307/2171924
[2] Rochet, J.C. and Chone, P. (1998) Ironing, Sweeping, and Multidimensional Screening. Econometrica, 66, 783-8268.
https://doi.org/10.2307/2999574
[3] Rochet, J.C. and Stole, L. (2003) The Economics of Multidimensional Screening. In: Dewatripont, M., Hansen, L. and Turnovski, S., Eds., Advances in Economics and Econometrics: Theory and Applications, Eighth World Congress, Volume 1, Chapter 5, Cambridge University Press.
https://doi.org/10.1017/cbo9780511610240.006
[4] Che, Y.K. and Gale, I. (2000) The Optimal Mechanism for Selling to a Budget-Constrained Buyer. Journal of Economic Theory, 92, 198-233.
https://doi.org/10.1006/jeth.1999.2639
[5] Kojima, N. (2014) Mechanism Design to the Budget Constrained Buyer: A Canonical Mechanism Approach. International Journal of Game Theory, 43, 693-719.
https://doi.org/10.1007/s00182-013-0403-9
[6] Rockafellar, T. (1970) Convex Analysis. Princeton University Press, Princeton.
https://doi.org/10.1515/9781400873173
[7] Aubin, J.P. and Frankowska, H. (1990) Set-Valued Analysis. Birkhaauser, Boston.
[8] Aubin, J.P. and Cellina, A. (1984) Deferential Inclusion. Springer Verlag, Berlin Heidelberg.
https://doi.org/10.1007/978-3-642-69512-4

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.