Lisardinho, puedes probar una cosa? Intentar forzar la salida de video a 1080p en el AV/REc y deja a la TV detectar la entrada y hacer el upscaling. Es posible que el modo auto del Denon no funcione al detectar la tele 4k. Piensa que la mayoría de OSD no venían en 1080p hasta hace un par de años y esto puede provocar problemas.
También mira de tocar el OSD cuando no hay imagen real por pantalla, es decir sin señal de entrada, evitando que los dispositivos intenten auto detectar la señal.

Recuerdo que en Onkyo tardaron en sacar los OSD en 1080p y daba problemas cuando había mezcla de señales por pantalla. Luego actualizaron el firmware para que funcionara bien.