I don't edit video myself. My experience is only limited to encoding DVDs and some Blu-Ray movies to my own specifications. I am going to say that the lag is due the file size and of the video(s), a relatively slow hard drive and possibly a weak CPU.
Large video size requires high read speed especially when dealing with 4k video. Each frame contains a lot of data. The higher the resolution, the more data must be loaded into the editing program. If you have a hard drive, then that is one problem. The solution is to replace it with a SSD which has much faster read / write speeds. I also recommend having at least 16GB of RAM because you are working with a huge chunk of data. When all you system RAM is used up, whatever program you are...