有限生成群 G = <S> が擬対角的であることと、
∀ε>0 ∃H \ell_2G の有限次元部分空間
s.t. δ_1 \in H and max_{s∈S} ||[P_H,λ(s)]|| < ε
が同値だ。そのような H の中で dim H を最小化して d_S(ε) と置く。
ε→0 としたときの d_S(ε) の増大度は生成元 S の取り方に依らないので、
G の擬対角的エントロピーが定義できる。これはどういったもんなんじゃろ？
growth function |S^n| との関係は分からぬが、少なくともベキ零群のときは
d_S(ε) が 1/ε の多項式で抑えられるようだ。これは劣指数的増大度を持つ
群が擬対角的であることを示唆しているように見えるが、はてさて。
