The correspondence between theoretical and practical efficiency is definitely not perfect. Theoretical efficiency guarantees that individuals are properly incentivized. Practical efficiency may not follow because of things like computational costs, and the extent to which this will be a problem will depend on the specific mechanism and the situation in question. For example, in the computational cost case, the actions of large companies would probably be closer to optimal behavior than individual actions.
My hunch would be that proving theoretical efficiency is generally a relatively good proxy for practical efficiency in most cases, but these other practical considerations should be considered in addition to it, as further constraints that one is trying to satisfy. But this is an empirical question, and Iām also relatively uncertain here.
Great point!
The correspondence between theoretical and practical efficiency is definitely not perfect. Theoretical efficiency guarantees that individuals are properly incentivized. Practical efficiency may not follow because of things like computational costs, and the extent to which this will be a problem will depend on the specific mechanism and the situation in question. For example, in the computational cost case, the actions of large companies would probably be closer to optimal behavior than individual actions.
My hunch would be that proving theoretical efficiency is generally a relatively good proxy for practical efficiency in most cases, but these other practical considerations should be considered in addition to it, as further constraints that one is trying to satisfy. But this is an empirical question, and Iām also relatively uncertain here.