Let X ؍ {1, . . . , N} be a finite set of complex numbers, and let A be a normal operator with spectrum X that acts on a separable Hilbert space H. Relative to a fixed orthonormal basis e 1, e2, . . . for H, A gives rise to a matrix whose diagonal is a sequence d ϭ (d1, d 2, . . . ) with the property that each of its terms dn belongs to the convex hull of X. Not all sequences with that property can arise as the diagonal of a normal operator with spectrum X. The case where X is a set of real numbers has received a great deal of attention over the years and is reasonably well (though incompletely) understood. In this work we take up the case in which X is the set of vertices of a convex polygon in .ރ The critical sequences d turn out to be those that accumulate rapidly in X in the sense that operator algebras ͉ Schur-Horn theorem ͉ spectral theory G iven a self-adjoint n ϫ n matrix A, the diagonal of A and the eigenvalue list of A are two points of ޒ n that bear some relation to each other. The Schur-Horn theorem characterizes that relation in terms of a system of linear inequalities (1, 2). That characterization has attracted a great deal of interest over the years and has been generalized in remarkable ways. For example, refs. 3-6 represent some of the milestones. More recently, a characterization of the diagonals of projections acting on infinite dimensional Hilbert spaces has been discovered (7,8), and a version of the Schur-Horn theorem for positive trace-class operators is given in ref. 9. The latter reference contains a somewhat more complete historical discussion.Let X be a finite subset of the complex plane ,ރ and consider the set N(X) of all normal operators acting on a separable Hilbert space H that have spectrum X with uniformly infinite multiplicity,The set N(X) is invariant under the action of the group of *-automorphisms of B(H), and it is closed in the operator norm. Fixing an orthonormal basis e 1 , e 2 , . . . for H, one may consider the (nonclosed) set D(X) of all diagonals of operators in N(X) D͑X͒ ϭ ͕͑͗Ae 1 , e 1 ͘, ͗Ae 2 , e 2 ͘, . . . ͒͒ ʦ ᐉ ϱ : A ʦ N͑X͒}.In this paper we address the problem of determining the elements of D(X)., each term d n must belong to the convex hull of X. Indeed, since there is a normal operator A with spectrum X such that d n ϭ ͗Ae n , e n ͘, n Ն 1, each d n must belong to the numerical range of A, and the closure of the numerical range of a normal operator is the convex hull of its spectrum. This necessary condition d n ʦ conv X, n Ն 1, is not sufficient. Indeed, a characterization of D({0, 1}) (the set of diagonals of projections) was given by Kadison (8), the main assertion of which can be paraphrased as follows:Theorem 1 (Theorem 15 of ref. 8). Let d ϭ (d 1 , d 2 , . . . ) ʦ ᐉ ϱ be a sequence satisfying 0 Յ d n Յ 1 for every n andThen one has the following dichotomy:In a recent paper (9), a related spectral characterization was found for the possible diagonals of positive trace-class operators. That paper did not address the case of more general self-adjo...