超Catalan系列零及其幂的有限解释

2025年，Wildberger和Rubine证明了单变量几何多项式的形式序列零为 $\mathbf{S}$，即hyper-Catalan数 $\mathbf{C}_m$的生成序列，这些数计数收�于给定类型 $\mathbf{m}$的roofed subdivided polygons（subdigons）的数量。我们展示了这一结果可被解释为在每个水平上的有限恒等式，所谓水平是指将 $\Sb$截断到给定最大顶点数、边数或面数的限制（由关联subdigon类型的度限制）的截断。我们随后探索了 $\mathbf{S}^r$的幂，概述了Raney的和我们自己的组合推导其系数的过程。