I am having an issue with this as well. I am using typeHigh, but this seems to max out at 1080p.
The documentation states that typeHigh will: If recording, specifies that you want to use the highest-quality video recording supported for the active camera on the device.
Is it possible to obtain 4k with UIImagePickerController, or is 1080 the highest quality possible?