Thompson's conjecture on conjugacy class sizes

Prove that if L is a nonabelian finite simple group and a finite group G has the same set of conjugacy class sizes as L and has trivial center, then G is isomorphic to L.

Background

Thompson's conjecture concerns recognition of a nonabelian finite simple group from its conjugacy class-size set together with the condition that the competing group has trivial center. It was posed in the same context as Shi's conjecture and recorded in the Kourovka Notebook.

The paper states that the conjecture is known for all finite simple groups except the alternating groups, with the alternating-group case reduced to the binary Goldbach conjecture.

References

We begin by discussing three well-known conjectures.

Arithmetic invariants for finite simple and related groups  (2608.12783 - Vasil'ev, 13 Aug 2026) in Conjecture (Thompson's Conjecture), Section 1, Introduction

As in the previous case, we do not know an answer to the following question.

Arithmetic invariants for finite simple and related groups  (2608.12783 - Vasil'ev, 13 Aug 2026) in Problem \ref{prob:CSRel}, Section 3, conjugacy-class-size case