HiDPI Scaling solution?

Try this:
xrandr --output HDMI-1 --mode 3840x2160 --scale 0.7x0.7

Or change 0.7 with another smaller value to get a bigger size.