Usually, in a scenario where transaction costs are zero, the most efficient outcome will occur. I got that from a law book going over control mechanisms for abatement costs. I think it’s Coase Theorem.
Regarding socially efficient abatement costs, a method used in allocation of emission reductions among a specific industry sector was the equimarginal-principle.
The $100,000 premium for expired names could be tiered based on the constraints between variables that draw value from demand?
3-5Letter words $100,000
5-7+ Letter Words $50,000
Emoji $25,000
Popular First Names $10,000
Would this achieve a socially efficient cost of mitigating name squatters?