■計算可能な多胞体(その23)

V2:{2,4=2^12^1}

V3:{4,28,36=2^23^2}

V4:{10,112,504,512=2^34^3}

V5:{26,480,3160,11552,10000=2^45^4}

V6:{76,1880,20080,100512,324480,248832=2^56^5}

 各数列の最後の項は

  (2n)^(n-1)

であるが,一般項がわからない.そこで,最終兵器

  http://oeis.org/

  online encyclopedia of integer sequences

で検索してみることにした.その結果は・・・

===================================

[1]このサイトは,あくまでも有限列をもとに無限の数列を推定するものである.有限列の規則性を推定するものではない.試みに,n=6のとき

  {76,1880,20080,100512,324480,248832}

を入力してみたが,「該当するものなし」であった.目的とサイトの機能に相違があるように思われる.

[2]それでは無限数列として,第1項からなる数列,

  {2,4,10,26,76}

を入力してみると,ヤング図形に関係していることがわかった.ヤング図形やテンソル積についてはなじみが薄いが,これから勉強してみることにする.

===================================