R. Pablo Arribillaga

Stable Matching Looks Inefficient in Large Random Markets

A random-market proof links Deferred Acceptance to a giant envy component, implying Pareto improvements for almost every student asymptotically.