Nonseparable Preferences and Optimal Social Security Systems

In this paper, we consider economies in which agents are privately informed about their skills, which evolve stochastically over time. We require agents' preferences to be weakly separable between the lifetime paths of consumption and labor. However, we allow for intertemporal nonseparabilities in preferences like habit formation. In this environment, we derive a generalized version of the Inverse Euler Equation and use it to show that intertemporal wedges characterizing optimal allocations of consumption can be strictly negative. We also show that preference nonseparabilities imply that optimal differentiable asset income taxes are necessarily retrospective in nature. We show that under weak conditions, it is possible to implement a socially optimal allocation using a social security system in which taxes on wealth are linear, and taxes/transfers are history-dependent only at retirement. The average asset income tax in this system is zero.