This thread serves to collect information and address sound problems on the RPI 4B. Recent examples of such problems can be found here and here.
The first of the above-linked issues seems to be due to only superficial support for the vc4hdmi audio driver (see this github issue). As a temporary workaround, output via the vc4hdmi driver is supported by pulseaudio (on graysky's kernel).