fortran66 https://blog.hatena.ne.jp/fortran66/ fortran66のブログ https://fortran66.hatenablog.com/ ユニタリー群のブランチング計算をしてみます の branching は、skew Young 図を用いれば で求められます。一方 Plethysm を用いると に対して なので とも表わされます。 証明 ここで、 、 を用いました。 プログラム 例として Schur のプログラム機能を用いて、 の場合について、 Plethysm による方法を計算して、skew Young 図による方法と比較してみます。 gr u8 enter rv1 dim [rv1] gr 4 u8 u8 u8 u8 rule [1*rv1*0*0] sum sk 2 eq 4 cont 3, 4 pl last cont… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffortran66.hatenablog.com%2Fentry%2F2017%2F12%2F16%2F131400" title="Wybourne の Schur で Un → Un-1 計算二通り - fortran66のブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://chart.apis.google.com/chart?cht=tx&chl=U_n%5Crightarrow%20U_%7Bn-1%7D Hatena Blog https://hatena.blog 2017-12-16 13:14:00 rich https://fortran66.hatenablog.com/entry/2017/12/16/131400 1.0 100%