A general characterization of interim efficient mechanisms for independent linear environments

We consider the class of Bayesian environments with independent types, and utility functions which are both quasi-linear in a private good and linear in a one-dimensional private-value type parameter. We call these independent linear environments. For these environments, we fully characterize interim efficient allocation rules which satisfy interim incentive compatibility and interim individual rationality constraints. We also prove that they correspond to decision rules based on virtual surplus maximization, together with the appropriate incentive taxes. We illustrate these techniques with applications to auction design and public good provision.