We provide a simple proof of the equivalence between ex ante and ex post budget balance constraints in Bayesian mechanism design with independent types when participation decisions are made at the interim stage. The result is given an interpretation in terms of efficient allocation of risk

We analyze the optimal design of dynamic mechanisms in the absence of transfers. The designer uses future allocation decisions as a way of eliciting private information. Values evolve according to a two-state Markov chain. We solve for the optimal allocation rule, which admits a simple...

We analyze nonlinear pricing with finite information. A seller offers a menu to a continuum of buyers with a continuum of possible valuations. The menu is limited to offering a finite number of choices representing a finite communication capacity between buyer and seller. We identify necessary...

We characterize the revenue-maximizing mechanism for time separable allocation problems in continuous time. The valuation of each agent is private information and changes over time. At the time of contracting every agent privately observes his initial type which influences the evolution of his...

We analyze a nonlinear pricing model with limited information. Each buyer can purchase a large variety, d, of goods. His preference for each good is represented by a scalar and his preference over d goods is represented by a d-dimensional vector. The type space of each buyer is given by a...

We characterize the profit-maximizing mechanism for repeatedly selling a non-durable good in continuous time. The valuation of each agent is private information and changes over time. At the time of contracting every agent privately observes his initial type which influences the evolution of his...