Starting from a supercompact cardinal we build a model in which $2^{\aleph_{\omega_1}}=2^{\aleph_{\omega_1+1}}=\aleph_{\omega_1+3}$ but there is a jointly universal family of size $\aleph_{\omega_1+2}$ of graphs on $\aleph_{\omega_1+1}$. The same technique will work for any uncountable cardinal in place of $\omega_1$.
The failure of GCH at a degree of supercompactness
Patterns of Compact Cardinals
The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
![QR code for arXiv:1605.00605 [math.LO]](http://oss.arxitics.com/images/favicon.svg)