Phase diagram of the $J_1$-$J_2$ quantum Heisenberg model for arbitrary spin

We use the spin functional renormalization group to investigate the $J_1$-$J_2$ quantum Heisenberg model on a square lattice. By incorporating sum rules associated with the fixed length of the spin operators as well as the nontrivial quantum dynamics implied by the spin algebra, we are able to compute the ground state phase diagram for arbitrary spin $S$, including the quantum paramagnetic phase at strong frustration. Our prediction for the extent of this paramagnetic region for $S=1\mathrm{/}2$ agrees well with other approaches that are computationally more expensive. We find that the quantum paramagnetic phase disappears for $S\gtrsim 5$ due to the suppression of quantum fluctuations with increasing $S$.