No hay DLP 4K nativos.
Bueno...sí, pero no están al alcance de la mayoría de los mortales. Ninguno de los que has mencionado es de ésa característicca.

Para sacarle todo el potencial al proyector que compres, debes acompañarlo con otras variables siendo, a mi entender, tan importante cómo el proyector en sí. Acondicionamiento de sala, audio y pantalla deben acompañar. Un reproductor adecuado se hace imprescindible. HTPC con MadVR es hoy lo mejor que te puede pasar.

Cómo ves, el proyector es casi lo de menos. Puedes empezar con cualquiera y ya luego irás mejorando. Lo importante creo yo es que cada paso que des en la preparación sea el conveniente y correcto.