I don't think you'll even have the option for 4K. Unless you mean using DSR? If that's the case, then running at 4k and downsampling to 1080p should result in a better quality picture with less aliasing (jaggies). But it's up to you to decide whether it's worth the performance hit you'll take running at 4K.