[論文レビュー] Strict unimodality of q-polynomials of rooted trees

Zhiyun Cheng, Sujoy Mukherjee+3 more|arXiv (Cornell University)|Jan 14, 2016

Advanced Combinatorial Mathematics参考文献 11被引用数 4

ひとこと要約

この論文は、厳密に単峰性を持つ q 多項式（切り取り多項式）を持つ根付き木を分類し、台形型の形状に関する基準を提示するとともに、パクとパノバによる q 二項係数の単峰性に関する結果を一般化する。厳密に単峰性を持つ q 多項式は、特定の根付き木構造から正確に生じることを確立し、切り取り多項式が減少木における辺の数を一意に決定することを証明するが、同型でない複数の木が同じ多項式を持つことがある。

ABSTRACT

We classify rooted trees which have strictly unimodal q-polynomials (plucking polynomial). We also give criteria for a trapezoidal shape of a plucking polynomial. We generalize results of Pak and Panova on strict unimodality of q-binomial coefficients. We discuss which polynomials can be realized as plucking polynomials and whether or not different rooted trees can have the same plucking polynomial.

研究の動機と目的

• 切り取り多項式が厳密に単峰性である根付き木を分類すること。
• 切り取り多項式が台形型の形状をとるための基準を提示すること。
• パクとパノバによる q 二項係数の厳密単峰性に関する先行結果を一般化すること。
• どの多項式が根付き木の切り取り多項式として実現可能であるかを調査すること。
• 異なる根付き木が同じ切り取り多項式をもたらすかどうかを特定すること。

提案手法

• 平面根付き木における葉の寄与と右端の辺数を用いた再帰的切り取り多項式定義を利用する。
• ワッジ積の公式を適用する：$ Q(T_1 \vee T_2) = \binom{|E(T_1)|+|E(T_2)|}{|E(T_1)|,|E(T_2)|}_q Q(T_1)Q(T_2) $。
• 状態積の公式を用いる：$ Q(T) = \prod_{v \in V(T)} \binom{E(T^v)}{E(T^v_{k_v}), \dots, E(T^v_1)}_q $。
• q 整数とガウス多項式 $ \binom{n+k}{k,n}_q $ の積（$ k=2,3,4 $）を分析し、構造的制約を導出する。
• 関数 $ f $ を用いて辺の和から辺の数への写像を定義し、根付き木を再帰的に構成することで多項式の実現を保証する。
• 対称的で単峰性を持つ多項式で、$ c_0 = c_N = 1 $ かつ $ c_1 = \sum (k_v - 1) $ を満たすものは、回文的かつ単峰的であるという事実を利用する。

実験結果

リサーチクエスチョン

• RQ1 どの根付き木が厳密に単峰性を持つ切り取り多項式をもつのか？
• RQ2 切り取り多項式の台形型の形状は、どのような条件下で生じるのか？
• RQ3 q 整数の積 $ [a_1]_q \cdots [a_k]_q $ が、根付き木の切り取り多項式として実現可能となる条件は何か？
• RQ4 同型でない複数の根付き木が同じ切り取り多項式を持つことは可能か？
• RQ5 根付き木に対するどのような操作が切り取り多項式を保存し、それらすべての同倣関係を分類できるか？

主な発見

• 切り取り多項式 $ Q(T) $ は常に対称的で単峰的であり、定数項と最高次項の係数が 1 に等しい。
• 多項式 $ Q(T) $ が厳密に単峰的であるための必要十分条件は、係数列が $ c_0 < c_1 < \cdots < c_{\lfloor N/2\rfloor} = c_{\lceil N/2\rceil} > \cdots > c_N $ を満たすことである。
• q 整数の積 $ [a_1]_q \cdots [a_k]_q $ で $ a_{i+1} - a_i \geq 2 $ を満たすものに対しては、一意に根付き木による実現が存在する。
• $ a_{i+1} = a_i + 1 $ かつ $ a_i \geq 5 $ の場合、正確に二つの異なる根付き木が同じ多項式を実現するが、それらは非根付き木として同型である。
• 減少根付き木に対して関数 $ T \mapsto Q(T) $ は有限対1である。なぜなら $ Q(T) $ が辺の数を一意に決定するからである。
• 同型でない複数の減少根付き木が同一の切り取り多項式を持つことは可能であり、$ n $ 個の木が同じ q 整数の積を共有する構成によって示された。