Can you try a reboot? Most of the interesting action seems to happen before your syslog starts. If you look at the onscreen display of your tv or receiver, the sections about input signal or output signal, does it say anything about hdmi or deep color etc.? Another good thing to try would be directly connecting the tv to the computer's hdmi out, to see what syslog and xrandr --verbose output then have to say.