[論文レビュー] Some relational structures with polynomial growth and their associated algebras

Maurice Pouzet, Nicolas M. Thiéry|ArXiv.org|Jan 11, 2006

Advanced Algebra and Logic参考文献 14被引用数 16

ひとこと要約

本論文は、関係的構造の多項式的成長を、関連する順次代数、特に年齢代数を分析することで調査し、このような構造が有限モノモーフィック分解を許容する場合、そのプロファイル関数が準多項式的であることを示している。これは、有界な符号付きまたは有限核を有する関係的構造における多項式的有界プロファイルが本質的に準多項式的であるという予想を支持するものであり、モデル理論と不変式論、および可換代数におけるヒルベルト級数を結びつける。

ABSTRACT

The profile of a relational structure R is the function phi_R which counts for every integer n the number, possibly infinite, phi_R(n) of substructures of R induced on the n-element subsets, isomorphic substructures being identified. Several graded algebras can be associated with R in such a way that the profile of R is simply the Hilbert function. An example of such graded algebra is the age algebra introduced by P.~J.~Cameron. In this paper, we give a closer look at this association, particularly when the relational structure R decomposes into finitely many monomorphic components. In this case, several well-studied graded commutative algebras (e.g. the invariant ring of a finite permutation group, the ring of quasi-symmetric polynomials) are isomorphic to some age algebras. Also, phi_R is a quasi-polynomial, this supporting the conjecture that, with mild assumptions on R, phi_R is a quasi-polynomial when it is bounded by some polynomial.

研究の動機と目的

• 関係的構造の多項式的成長のプロファイル関数とその順次代数との関係を調査すること。
• 関係的構造が有限モノモーフィック分解を許容する場合に、プロファイル関数が準多項式的である条件を調査すること。
• 関係的構造の年齢代数と、有限置換群の不変式環や準対称多項式の環といった既知の代数との関係を確立すること。
• 有界な符号付きまたは有限核を有する関係的構造における多項式的有界プロファイルが本質的に準多項式的であるという予想を支持すること。

提案手法

• 関係的構造 R のプロファイルは、φ_R(n) として定義され、n 要素の誘導部分構造の同型型の数を数える。
• 年齢代数 K.A(R) が用いられ、この代数のヒルベルト級数はプロファイルの母関数に等しい。
• 本論文は、各成分がモノモーフィック（すべての n 要素部分集合が同型な部分構造を誘導する）である有限モノモーフィック分解を許容する関係的構造に焦点を当てる。
• このような構造に対して、プロファイル φ_R(n) が準多項式的である、すなわち周期的係数を持つ多項式であることを確立する。
• プロファイルは既知の代数と関連づけられる：有限置換群の不変式環や準対称多項式の環は、特定の関係的構造の年齢代数と同型であることが示された。
• 本論文は、可換代数の道具を用い、ヒルベルト級数、有理母関数、凸錐および単項式への群作用の性質を用いる。

実験結果

リサーチクエスチョン

• RQ1 関係的構造のプロファイル φ_R(n) が準多項式的である条件は何か？
• RQ2 プロファイルの母関数 H_φ_R(z) が特定の形の有理関数となる条件は何か？また、分子 P(z) を非負係数を持つものにとれる条件は何か？
• RQ3 どの関係的構造が収束する母関数 H_φ_R(z) を与えるか？
• RQ4 有限モノモーフィック分解の文脈において、年齢代数 K.A(R) と古典的代数（不変式環や準対称多項式）との関係は何か？
• RQ5 有界な符号付きまたは有限核を有する関係的構造のプロファイルは、一般化された予想を支持する形で、必然的に準多項式的か？

主な発見

• 有限モノモーフィック分解を許容する関係的構造のプロファイル φ_R(n) は準多項式的であり、周期的係数を持つ多項式と漸近的に類似した振る舞いを示す。
• このような構造に対して、母関数 H_φ_R(z) は、P(0)=1 かつ P∈ℤ[z] を満たす形の有理関数 P(z)/((1-z)(1-z^{n_2})...(1-z^{n_k})) として表される。
• このような構造に関連する年齢代数 K.A(R) は、古典的代数（有限置換群の不変式環や準対称多項式の環）と同型である。
• 年齢代数のヒルベルト級数はプロファイルの母関数と一致しており、n 次同次成分の次元が正確に φ_R(n) に等しいことを確認している。
• 本論文は、プロファイルが多項式で有界であり、符号付きが有界または核が有限である場合、プロファイルは準多項式的であることを証明し、より広範な予想を支持している。
• 年齢代数 K.A(R) の導出安定性条件が、かつそれが、置換群から生じる群オイドに起因する場合にのみ成立することを示しており、代数的挙動における構造的差異を強調している。