_{1}

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 buyer ’ s taste. It also sheds light on where the difficulty lies implementability of a general direct mechanism —not optimal—by a canonical mechanism.

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 [

In the setting of budget-constrained buyers, [^{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 [

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 [

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 [

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.

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 feasible^{2} 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 [^{3}).

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

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 optimal^{5} 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 [

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 mechanism^{7} such that q ( t ) ∈ K ( t ) .^{8}

This work was supported by JSPS KAKENHI Grant Number JP16K03545.

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