Hearing The Shape of A Drum - The Answer

The Answer

Almost immediately, John Milnor observed that a theorem due to Ernst Witt implied the existence of a pair of 16-dimensional tori that have the same eigenvalues but different shapes. However, the problem in two dimensions remained open until 1992, when Gordon, Webb, and Wolpert constructed, based on the Sunada method, a pair of regions in the plane that have different shapes but identical eigenvalues. The regions are non-convex polygons (see picture). The proof that both regions have the same eigenvalues is rather elementary and uses the symmetries of the Laplacian. This idea has been generalized by Buser et al., who constructed numerous similar examples. So, the answer to Kac's question is: for many shapes, one cannot hear the shape of the drum completely. However, some information can be inferred.

On the other hand, Steve Zelditch proved that the answer to Kac's question is positive if one imposes restrictions to certain convex planar regions with analytic boundary. It is not known whether two non-convex analytic domains can have the same eigenvalues. It is known that the set of domains isospectral with a given one is compact in the C∞ topology. Moreover, the sphere (for instance) is spectrally rigid, by Cheng's eigenvalue comparison theorem. It is also known, by a result of Osgood, Phillips, and Sarnak that the moduli space of Riemann surfaces of a given genus does not admit a continuous isospectral flow through any point, and is compact in the Frechet–Schwartz topology.