一般化不変行列の定義では、対角分布が直交不変行列のものと一致する必要があるが、それ以外の対角分布を持つ行列クラスについても、ファースト・オーダーの反復アルゴリズムの収束性と普遍性を調べることはできないだろうか。