[論文レビュー] On cobweb posets and their combinatorially admissible sequences

A. K. Kwaśniewski|arXiv (Cornell University)|Dec 26, 2005

Advanced Algebra and Logic参考文献 4被引用数 21

ひとこと要約

本稿では、鎖状に接続された有向二部グラフ（di-bicliques）として構造化された有向非巡回グラフ（DAG）であるcobweb posetsを導入し、その組合せ的構造に関連する3つの未解決の計算問題を提示する。主な貢献は、cobweb-admissible列を介して古典的F-二項係数（例：二項係数、ガウスのq-二項係数、フィボナッチ二項係数）の新しい結合的解釈を提供することであり、これによりgraded posetsおよび特性多項式と結びつける。

ABSTRACT

The main purpose of this article is to pose three problems which are easy to be formulated in an elementary way. These problems which are specifically important also for the new class of partially ordered sets seem to be not yet solved.

研究の動機と目的

• 鎖状の完全二部有向グラフ（di-bicliques）から構成されるgradedでレイヤー化されたDAGとしてのcobweb posetsを定義・分析すること。
• cobweb-admissible列を用いて、古典的F-二項係数（二項係数、q-二項係数、フィボナッチ二項係数など）の共同組合せ的解釈を確立すること。
• GCD[F_n, F_m] = F_{GCD(n,m)} を満たすGCD-準同型列を特定・特徴づけること。
• 有限cobweb部分poset P_nの特性多項式 ρ_n(λ) 及びその再帰関係の構造を調査すること。
• 縮約されたインシデント代数を介して、これらのposetsと一般化されたスターリング数・ベル数との関係を探索すること。

提案手法

• 各関係 R_k が完全二部有向グラフ C_k の部分グラフであるような、有向二部グラフ（di-bicliques）の鎖としてcobweb posetsをモデル化する。
• cobweb-admissible列の概念を用いてposetの構造をパrameter化し、F-二項係数の組合せ的定義を可能にする。
• タイリングの数え上げに結合的解釈を適用し、σP_m ブロックを用いた層 Φ_k → Φ_n のタイリングを計算することで、一般化された多項係数と結びつける。
• Φ_λ(κ)-階乗を [Φ_λ(κ)]! = ∏_{k=1}^κ Φ_λ(k) と定義し、Φ_λ(k) = (κλ)^{underline λ} / (λ! κ) により分割数を計算する。
• 一般化されたスターリング数の再帰関係を定式化する：{η+λ choose κ+1}_λ = δ_{η+λ,(κ+1)λ} · (η+1)^{overline λ} / (λ!(κ+1)) · {η choose κ}_λ。
• prefab風のフレームワークにおいて、指数関数的公式の一般化を用いてcobweb posetsの組合せ的構造を記述する。

実験結果

リサーチクエスチョン

• RQ1 有限cobweb部分poset P_nの特性多項式 ρ_n(λ) の形および再帰的構造は何か？
• RQ2 ρ_n(λ) 多項式は、アンブラ多項式または他の既知の多項式族とどのように関係しているか？
• RQ3 整数列 F = {n_F}_{n≥0} で、GCD[F_n, F_m] = F_{GCD(n,m)} を満たすものはどれか？
• RQ4 GCD-準同型列をすべて生成または特徴付けるための効果的なアルゴリズムを開発可能か？
• RQ5 cobweb-admissible列は、二項係数、q-二項係数、フィボナッチ二項係数などの異なるクラスにおいて、F-二項係数の組合せ的性質をどのように支配するか？

主な発見

• サイズ κλ の集合の κ ブロック分割で、すべてのブロックがサイズ λ であるものの数は、Φ_λ(κ)-階乗で与えられる：[Φ_λ(κ)]! = ∏_{k=1}^κ Φ_λ(k)，ここで Φ_λ(k) = (kλ)^{underline λ} / (λ! k) である。
• 一般化されたスターリング数 {η+λ choose κ+1}_λ は再帰関係 {η+λ choose κ+1}_λ = δ_{η+λ,(κ+1)λ} · (η+1)^{overline λ} / (λ!(κ+1)) · {η choose κ}_λ を満たし、{λ choose 1}_λ = 1 である。
• 値 {κλ choose κ}_λ = [Φ_λ(κ)]! は、層 Φ_k → Φ_n のタイリング数の上界を提供する。コンピュータ実験では、これらの数は極めて急速に増加することが示された。
• cobweb posetsは、二項係数、ガウスのq-二項係数、フィボナッチ二項係数を含む古典的F-二項係数の統一的組合せ的解釈を提供する。これは、admissible列を介して達成される。
• フィボナッチ数列は、GCD[F_n, F_m] = F_{GCD(n,m)} を満たす非自明なGCD-準同型列の例である。
• 完全二項型の縮約インシデント代数のすべてのインシデント係数は、cobweb-admissible列を用いて計算された場合、cobweb posetsによって組合せ的に解釈可能である。