[論文レビュー] Counting rises, levels and drops in compositions

Silvia Heubach, Toufik Mansour|ArXiv.org|Oct 14, 2003

Advanced Combinatorial Mathematics参考文献 6被引用数 19

ひとこと要約

本稿では、与えられた集合 $ A ⊆ \mathbb{N} $ の部分集合に制限された整数の構成および回文的構成における上昇、水平、下降の数を数えるための統一的な母関数枠組みを提示する。上昇、水平、下降に関する統計を用いた、構成および回文的構成の明示的な有理型母関数を導出することで、カルツィット構成、分割、および特定の集合 $\{1,2\}$、$\{1,k\}$、$\mathbb{N}$ に関する先行研究を一般化・拡張し、新しい閉形式の式と組合せ的恒等式を導出する。

ABSTRACT

A composition of $n\in\NN$ is an ordered collection of one or more positive integers whose sum is $n$. The number of summands is called the number of parts of the composition. A palindromic composition of $n$ is a composition of $n$ in which the summands are the same in the given or in reverse order. In this paper we study the generating function for the number of compositions (respectively palindromic compositions) of $n$ with $m$ parts in a given set $A\subseteq\NN$ with respect to the number of rises, levels, and drops. As a consequence, we derive all the previously known results for this kind of problem, as well as many new results.

研究の動機と目的

• 与えられた集合 $A \subseteq \mathbb{N}$ の部分を持つ構成における上昇、水平、下降を分析する一般化された母関数枠組みの開発。
• ${1,2}$、${1,k}$、$\mathbb{N}$ およびその他の特殊な集合における部分を持つ構成に関する先行研究を、単一の形式的枠組みに統合することで拡張すること。
• 同じ統計を用いた回文的構成およびカルツィット構成の明示的母関数の導出。
• 特に ${a,b}$ や ${1,k}$ のような小さな集合に対して、水平および下降の数の新しい閉形式の式の提供。
• 高い順序のモーメントを用いたフレームワークの有効性の提示：既知の結果の回復と新しい結果の導出、特にフィボナッチ数列との関連を含む。

提案手法

• 部分 $ a_1 < a_2 < \cdots < a_k $ の順序付き部分集合に基づく再帰的構造と積公式を用い、$ n $ の構成の数、$ A $ に属する $ m $ 個の部分、上昇（$ r $）、水平（$ \ell $）、下降（$ d $）を指数的母関数で追跡する多変数母関数 $ C_A(x; y; r, \ell, d) $ の導出。
• 幾何級数に類似した項の積を含む有理関数として、母関数を表現するための順序付き部分集合 $ a_1 < a_2 < \cdots < a_k $ に基づく再帰的構造と積公式の使用。
• 対称的再帰関係を用いた回文的構成へのフレームワークの適応により、$ x^{2a_i}y^2 $ 項と対称的分母を含む別個の母関数 $ P_A(x; y; r, \ell, d) $ を得る。
• 母関数の偏微分を用いてモーメントを抽出：$ \ell = 1 $、$ d = 1 $ における $ \partial / \partial \ell $ および $ \partial / \partial d $ の評価により、構成における水平および下降の数を抽出。
• 記号的変形および積の恒等式を用いて複雑な有理関数を簡略化し、特に $ A = \{a,b\} $ の場合に $ \frac{x^{2a}y^2(1 - x^b y) + x^{2b}y^2(1 - x^a y)}{(1 - x^a y)^2(1 - x^b y)^2} $ のような閉形式を得る。
• 高階導関数（例：$ d $ に関する2階微分）を用いることで、フィボナッチ数を含む畳み込み恒等式が得られることを示し、たとえば $ \sum_{n \geq 3} \left( \sum_{a+b+c=n} F_a F_b F_c \right) x^n $ のような形となる。

実験結果

リサーチクエスチョン

• RQ1 与えられた集合 $ A \subseteq \mathbb{N} $ の部分を持つ $ n $ の構成の数を、上昇、水平、下降を数える母関数は何か？
• RQ2 同じ枠組みを回文的構成におけるこれらの統計を数えるためにどのように適応できるか？
• RQ3 特に $ \{1,k\} $ のような集合に対して、$ \{a,b\} $ に属する部分を持つ構成における水平および下降の数の明示的母関数は何か？
• RQ4 このフレームワークは、カルツィット構成および分割に関する既知の結果を回復し、一般化できるか？
• RQ5 高い順序の統計のモーメント（例：下降のペアの数）からどのような組合せ的恒等式が導かれるか？

主な発見

• 部分 $ A = \{a,b\} $ に属する構成の、上昇、水平、下降を追跡する母関数は、幾何級数に類似した項の積を含む有理関数として与えられ、水平の数の母関数は $ \frac{x^{2a}y^2(1 - x^b y) + x^{2b}y^2(1 - x^a y)}{(1 - x^a y)^2(1 - x^b y)^2} $ である。
• 部分 $ \{1,2\} $ に属する構成の水平の数の母関数は $ \frac{x^2(1 - x^3)}{(1 - x)^4(1 + x)^2} $ であり、一般式から導出される。
• $ \{1,k\} $ に属する構成における下降の数は $ \lfloor (n-1)/k \rfloor $ であり、全下降数の母関数は $ \frac{x^{k+1}}{(1 - x)(1 - x^k)} $ である。
• 部分 $ \{1,2\} $ に属する $ n $ のすべての構成における下降数の母関数は $ \frac{2x^6}{(1 - x - x^2)^3} $ であり、これはフィボナッチ数の三重畳み込みに対応する。
• $ \{1,k\} $ に属する構成における下降の数は、すべてが 1 またはすべてが $ k $ でない有効な分割が1つずつに制限される構造的性質により、正確に $ \lfloor (n-1)/k \rfloor $ である。
• このフレームワークにより、連続する等しい部分を避ける再帰的制限や対称的構造を避ける再帰的制限を施すことにより、カルツィット構成および回文的構成の母関数を導出可能である。