少なくともこの特定のケースについては、解決策を見つけたようです。ALSA によって割り当てられたカードとデバイス番号を知っていたので、/etc/pulse/default.pa を開く必要がありました。 .エディタでこの行を変更
#load-module module-alsa-sink
これに
load-module module-alsa-sink device=hw:2,7
ここで、2 と 7 はカード番号とデバイス番号の特定のインスタンスです。これにより、正しいデバイスに接続された新しいシンクが作成され、デフォルトの出力として使用されました。