Xinyi Yuan's homepage has been moved to www.math.ias.edu/~yxy.