[論文レビュー] Analytic aspects of the shuffle product

Marni Mishna, Mike Zabrocki|ArXiv.org|Feb 20, 2008

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

ひとこと要約

本稿は、多項式係数をもつ線形微分方程式を満たすD-有限な母関数（D-finite generating functions）を、シャッフル積を用いた言語理論的枠組みでモデル化する。シャッフル文法と閉包性質を定義することで、非巡回シャッフル依存性によって生成される言語はD-有限でない母関数をもつことがあるが、依然として漸近的成長の境界を有する。これは、文脈自由や代数的クラスを超えた解析的複雑性の組合せ的理解を拡張する。

ABSTRACT

There exist very lucid explanations of the combinatorial origins of rational and algebraic functions, in particular with respect to regular and context free languages. In the search to understand how to extend these natural correspondences, we find that the shuffle product models many key aspects of D-finite generating functions, a class which contains algebraic. We consider several different takes on the shuffle product, shuffle closure, and shuffle grammars, and give explicit generating function consequences. In the process, we define a grammar class that models D-finite generating functions.

研究の動機と目的

• 有理関数および代数的関数を超えて、形式的言語と母関数の間の組合せ的対応を拡張すること。
• 多項式係数をもつ線形微分方程式を満たすD-有限な母関数について、自然な組合せ的特徴付けが欠如しているという問題を扱うこと。
• シャッフル積が、D-有限関数とその解析的複雑性をモデル化する統一的演算子として機能しうるかを調査すること。
• 非巡回依存性をもつシャッフル文法として、より複雑な母関数を捉えつつ構造的制御を維持する新しい言語クラスを定義すること。
• そのような言語における語数の成長に漸近的境界を確立すること、特に母関数がD-有限でない場合でも成立すること。

提案手法

• シャッフル積を、入れ替えによる再帰的定義に基づく語の二項演算として導入し、言語へと拡張する。
• 生産規則 $ A \rightarrow w $, $ A \rightarrow BC $, および $ A \rightarrow B \shuffle C $ を用いてシャッフル文法を定義する。ここで $ w $ は語、$ B, C $ は非終端記号である。
• シャッフル規則から依存性グラフを構築し、$ A \rightarrow B \shuffle C $ の場合に $ A $ から $ B $ および $ C $ へ辺を張る。このグラフが非巡回である場合、非巡回シャッフル依存性と定義する。
• ポイント作用素と微分方程式を用いて、多項式係数をもつ線形常微分方程式を満たす母関数をモデル化し、D-有限関数を特徴付ける。
• ハダマード積とラプラス＝ボレル変換を用いて、通常母関数と指数型母関数を関連付ける。
• 楕円積分（EllipticK, EllipticE）を用いて、特定のシャッフル生成言語（例：$ A(z) $ と $ C(z) $）の母関数を表現し、非D-有限性を示す。

実験結果

リサーチクエスチョン

• RQ1 シャッフル積は、形式的言語枠組みを通じてD-有限な母関数をモデル化するために用いることができるか？
• RQ2 非巡回依存性をもつシャッフル文法とD-有限な母関数のクラスとの関係は何か？
• RQ3 D-有限でない母関数をもつ言語であっても、意味のある漸近的成長推定が可能か？
• RQ4 シャッフル積は、正規および文脈自由クラスを超えて、解析的複雑性の観点から形式的言語の階層をどのように拡張するか？
• RQ5 言語理論的構成により、代数的でないD-有限関数を含む、D-有限関数の完全なクラスを捉えることは可能か？

主な発見

• 非巡回シャッフル依存性によって生成される言語は、D-有限でない母関数をもつことがある。例として、$ A(z) $ が楕円積分を含み、$ C(z) = \frac{1}{1 - A(z)} $ がD-有限でないことが示された。
• Dyck言語と偶数長括弧言語のシャッフルの母関数 $ A(z) $ は、完全楕円積分 $ \operatorname{EllipticK} $ と $ \operatorname{EllipticE} $ を用いて表現され、超越的複雑性を示す。
• D-有限でないにもかかわらず、$ C \rightarrow 1 \mid AC $ によって生成される言語 $ C $ は $ \ell(n) = O(n!^2) $ を満たし、タイトな漸近的成長境界が確立された。
• 本稿では、任意のD-有限な母関数が、非巡回依存性をもつシャッフル文法の母関数の差として表現可能であることを証明した。
• 非巡回シャッフル依存性によって生成される言語のクラスは、ポイント作用素によって生成されるクラスを厳密に拡張しており、非D-有限関数を含む。
• 本フレームワークは、D-有限関数の言語理論的解釈を提供し、これまでこのような特徴付けが欠如していた関数クラスへの組合せ的ブリッジを提供する。