1: \begin{abstract}

2: 

3: Using a nonequilibrium functional renormalization group (FRG)

4: approach we calculate the time evolution  of 

5: the momentum distribution of a magnon gas

6: in contact with a thermal phonon bath.

7: As a cutoff for the FRG procedure

8: we use a hybridization parameter $\Lambda$ giving rise to

9: an artificial damping of the phonons.

10: Within our truncation of the FRG flow equations

11: the time evolution of the magnon distribution is obtained from a

12: rate equation involving  cutoff-dependent nonequilibrium

13: self-energies, which in turn satisfy FRG flow

14: equations depending on cutoff-dependent transition rates.

15: Our approach goes beyond the Born collision approximation

16: and takes the feedback of the magnons on the phonons into account.

17: % and can also study finite magnon systems

18: %without introducing an artificial broadening of the transition rates.

19: % By solving  the  FRG flow equations for the nonequilibrium self-energies

20: % simultaneously with the

21: % rate equation, we can uniquely extrapolate the distribution function

22: % for $\Lambda \rightarrow 0$ and thus obtain cutoff-independent results.

23: We use our method to calculate the thermalization of a quasi two-dimensional

24: magnon gas 

25: %and the emergence of a Bose-Einstein condensate of magnons 

26: in the magnetic insulator yttrium-iron garnet after a

27: highly excited  initial state has been generated by an external microwave field.

28: We obtain good agreement with recent experiments.

29: 

30: 

31: \end{abstract}

32: