赤信号で、右折矢印がある場合は、たぶん歩行者は赤になってると思う。
右折矢印 と 歩行者=青 の信号があるのか? 見たことない