Finite sequences which happen to be the sequence of orders of elements of a simple group Let $n\in \Bbb N$. Any finite group $G$ with $|G|=n$ has a solution for the Diophantine equation
$$\sum_{d|n}x_d\phi(d)=n~~~~~~~~~~~~~~~~~~~~~~~(1)$$
where $\phi$ is the Euler's totient function, $d$ is any positive divisor of $n$ and the $x_d$ are the unknowns (see this). Call such a solution a $G$-solution.
Are there number-theoretic conditions which characterize $G$-solutions of the equation where $G$ is a simple group?

Edit:
The comments say that I should add this:
Definition: Let $G$ be a group of order $n$. $(x_d)_{d|n}$ is a $G$-solution of equation $(1)$ if for each $d$, $x_d\phi(d)$ is the number of elements of $G$ with order $d$.
I'm looking for number-theoretic characterization of a {simple $G$}-solution, that is, a $G$-solution with $G$ a simple group.
It is clear that a $G$ produces a unique $G$-solution. I'm not completely sure, but I think a unique simple $G$ can produce a {simple $G$}-solution.
 A: It is indeed true that when the sequence $(x_d)_{d\mid n}$ comes from a finite simple group $G$, then $G$ is the only group (up to isomorphism) producing that sequence. In fact, $G$ is determined by its order $\lvert G \rvert$ and the set of its element orders, that is, the set of $d$'s such that $x_d \neq  0$. This has been proved using the classification of finite simple groups (Vasilʹev, A. V.; Grechkoseeva, M. A.; Mazurov, V. D.: Characterization of finite simple groups by spectrum and order, MR2640961 (2011b:20073)).  
Since the finite simple groups are classified, you have in principle a parametrization of the possible "{simple $G$}-solutions", but I doubt if there is any useful number-theoretic characterization of these solutions, other than the parametrization itself. (In fact, I don't know whether there is any number-theoretic characterization of the orders of finite simple groups other than the list coming from the classification itself). Of course, there are various necessary conditions coming from various theorems in group theory. For example, when $(x_d)$ is a $G$-solution, then $(1/d)\sum_{e\mid d} x_e\phi(e)$ is an integer by a theorem of Frobenius, and by a conjecture of Frobenius which has been proved in the meantime (using CFSG), this integer is $\geq 2$ for all proper divisors $d$ of $\lvert G \rvert$ when $G$ is simple.   
A famous problem of Thompson (still open, to the best of my knowledge) is whether the sequence $(x_d)$ (equivalently, the order type of a group) determines whether this group is solvable (Kourovka notebook, Problem 12.37). In general, it is a difficult problem to characterize solutions $(x_d)$ coming from (certain classes of) groups.  
