伝による最新の研究では、

多変数段階配列表記の極限 =

Y数列
Y(1,2,4,8,12,16,13) =

バシク行列システム
(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,0,0)

であることが確認されました。この予想はKurohaKafkaによる予想と一致。また、

横ネスト段階配列表記
(0,(2,0)+(1,(2,0)+1)) =

Y数列
Y(1,2,4,8,12,16,16) =

バシク行列システム
(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)

との研究もありますが、
バシク行列システムの(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)からの解析が間違ってる可能性もあり、横ネスト段階配列表記はもっと強い可能性もあるとのこと。

これらの研究が進んだ結果「バシク列システム」が強すぎることが再認識されたそうな。ω-Y数列、バシク三角行列、三関数など、更なる上とされる領域があり、解析ツールとしての「横ネスト段階配列表記」に注目してよいかも。