[論文レビュー] Sur l'existence d'une catégorie ayant une matrice strictement positive donnée

Samer Allouch|ArXiv.org|May 31, 2008

Advanced Topics in Algebra参考文献 7被引用数 5

ひとこと要約

この論文は、行列-圏対応を通じて、厳密に正の整数行列が有限圏に対応するための必要十分条件を確立する。行列が関連する圏をもつことの必要十分条件は、すべての3×3主部分行列が圏存在条件を満たすことであると証明しており、特に対角成分が1または1より大きい場合に、対角成分と非対角成分の制約に基づいた明示的基準が与えられる。

ABSTRACT

The Leinster matrix corresponding to a finite category has entries counting the number of morphisms between objects. A first question is to know which positive integer matrices come from at least one finite category. Here, that question will be answered when the entries are strictly positive.

研究の動機と目的

• どの厳密に正の整数行列が有限圏の射の個数行列として実現可能かを特定すること。
• 与えられた行列に対応する有限圏の存在問題を解き、特に対角成分が1または1より大きい場合に注目すること。
• より小さい部分行列と構造的制約への還元を通じて、このような行列の特徴づけを確立すること。
• 小規模な場合（n=2, n=3）の条件を一般のn×n行列へ一般化すること。

提案手法

• 有限な対象をもつ圏Aに対してM_ij = |A(x_i, x_j)|を満たす行列-圏対応を定義する。
• 還元理論の使用：行列Mが非還元的である場合、同型な対象を同一視することでより小さい行列Nに還元し、圏の存在を保存する。
• 対角成分が1であるものがちょうど一つの行列Mが圏をもつことの必要十分条件を証明する。その条件は、すべてのi ≠ aに対してm_ii > m_ai m_iaであり、すべてのi,jに対してm_ij ≥ m_ia m_ajである。
• Leinsterの構成を適用して、すべての対角成分が≥2の場合に圏を構成する。非恒等射をもつ半圏を構築し、その後恒等射を追加する。
• インデックス上の同値関係を用いて商行列Nを定義し、Mが圏をもつこととNが圏をもつことが同値であることを示す。
• Mが圏をもつことと、すべての3×3主部分行列が圏をもつことが同値であることを証明する。再帰的還元と部分行列解析を用いる。

実験結果

リサーチクエスチョン

• RQ1 どの厳密に正の整数行列Mに対して、すべてのi,jについて|A(x_i, x_j)| = M_ijを満たす有限圏Aが存在するか？
• RQ2 Mの成分、特にM_ii = 1となるiがある場合に、このような圏の存在を保証する条件は何か？
• RQ3 Mの構造、特に対角成分と非対角成分が、対応する圏の存在にどのように制約を加えるか？
• RQ4 Mに対して圏が存在するかどうかを、有限個の3×3部分行列のチェックに還元できるか？
• RQ5 行列の還元可能性が、行列が圏に対応するかどうかを決定する上で果たす役割は何か？

主な発見

• すべての対角成分が≥2である行列Mは、Leinsterの構成により常に関連する有限圏をもつ。
• 対角成分がちょうど一つだけ1である行列M（例えばM_aa = 1）が圏をもつことの必要十分条件は、すべてのi ≠ aに対してM_ii > M_ai M_iaであり、すべてのi,jに対してM_ij ≥ M_ia M_ajであることである。
• 対角成分が1であるものが2つ以上あり、かつ行列が還元可能である場合、そのような圏は存在しない。これは、補題4.6で示される。
• 対角成分が1であるものが複数あるが、行列が非還元的である場合、その行列が圏をもつことの必要十分条件は、その還元行列Nが圏をもつことである。
• Mに対して圏が存在することと、Mのすべての3×3主部分行列に対して圏が存在することは同値である。これは、補題4.9に述べられている。
• 還元プロセスは圏の存在を保存する：Mが圏をもつことと、その還元行列Nが圏をもつことは同値であり、Nはインデックスの順列を除いて一意である。