The zeta(2) limit in the random assignment problem

The random assignment (or bipartite matching) problem studies the random total cost A_n of the optimal assignment of each of n jobs to each of n machines, where the costs of the n^2 possible job-machine matches has exponential (mean 1) distribution. Mezard - Parisi (1987) used the replica method from statistical physics to argue non-rigorously that EA_n converges to zeta(2) = pi^2/6. Aldous (1992) identified the limit as the optimal solution of a matching problem on an infinite tree. Continuing that approach, we construct the optimal matching on the infinite tree. This yields a rigorous proof of the zeta(2) limit and of the conjectured limit distribution of edge-costs and their rank-orders in the optimal matching.