[論文レビュー] The Leray Dimension of a Convex Code

Carina Curto, Ramón Vera|arXiv (Cornell University)|Dec 22, 2016

Coding theory and cryptography参考文献 4被引用数 5

ひとこと要約

本稿は、関連する単体的複体 $\Delta(\mathcal{C})$ の Stanley-Reisner 理想の最小自由分解のベッチ数から導かれる、凸コード $\mathcal{C}$ の最小埋め込み次元 $d(\mathcal{C})$ の新しい下界として Leray 次元 $d_L(\mathcal{C})$ を導入する。主な貢献は、$d_L(\mathcal{C}) = \max_{i,\sigma} \{ |\sigma| - i \mid \beta_{i,\sigma}(S/I_\Delta) > 0 \}$ を表す公式であり、これはホモロジー次元および Helly 次元から得られる先行の下界を包含し、それを改善するものである。

ABSTRACT

Convex codes were recently introduced as models for neural codes in the brain. Any convex code $\C$ has an associated minimal embedding dimension $d(\C)$, which is the minimal Euclidean space dimension such that the code can be realized by a collection of convex open sets. In this work we import tools from combinatorial commutative algebra in order to obtain better bounds on $d(\C)$ from an associated simplicial complex $Δ(\C)$. In particular, we make a connection to minimal free resolutions of Stanley-Reisner ideals, and observe that they contain topological information that provides stronger bounds on $d(\C)$. This motivates us to define the Leray dimension $d_L(\C),$ and show that it can be obtained from the Betti numbers of such a minimal free resolution. We compare $d_L(\C)$ to two previously studied dimension bounds, obtained from Helly's theorem and the simplicial homology of $Δ(\C)$. Finally, we show explicitly how $d_L(\C)$ can be computed algebraically, and illustrate this with examples.

研究の動機と目的

• 凸コード $\mathcal{C}$ の最小埋め込み次元 $d(\mathcal{C})$ のよりタイトな下界を、代数的位相の道具を用いて開発すること。
• 凸コードの構造とその関連する Stanley-Reisner 理想の最小自由分解との関係を確立すること。
• すべての $\Delta(\mathcal{C})$ の誘導部分複体のホモロジーに基づいた、新しい次元不変量である Leray 次元 $d_L(\mathcal{C})$ を定義・特徴づけること。
• $d_L(\mathcal{C})$ がホモロジー次元 $d_{\textnormal{hom}}(\mathcal{C})$ および Helly 次元 $d_H(\mathcal{C})$ を支配することを示すこと。
• Macaulay2 などの計算代数システムを用いた、$d_L(\mathcal{C})$ の代数的アルゴリズムの提供。

提案手法

• Leray 次元 $d_L(\mathcal{C})$ を、すべての誘導部分複体におけるホモロジーを捉える形で、$\max\{k \in \mathbb{Z} \mid H_k(\Delta|_\sigma, \mathbf{k}) \not\simeq 0 \text{ for some } \sigma \subseteq [n]\} + 1$ として定義する。
• Hochster の公式を用いて、Stanley-Reisner 環 $S/I_\Delta$ の最小自由分解のベッチ数 $\beta_{i,\sigma}(S/I_\Delta)$ を誘導部分複体のホモロジーと関係づける。
• 各ベッチ数からの次元寄与を表すために、$\beta_{i,\sigma}(S/I_\Delta) > 0$ の場合に限り $R_{i,\sigma} = |\sigma| - i$ と定義し、そうでない場合は 0 とする。
• 公式 $d_L(\mathcal{C}) = \max_{i,\sigma} R_{i,\sigma}$ を確立し、分解データから代数的に Leray 次元を計算可能にする。
• Macaulay2 を用いて、Stanley-Reisner 理想の余核に対する `res` および `peek betti` コマンドを用いて計算を実装する。
• $d_L(\mathcal{C})$ が $d_H(\mathcal{C})$ や $d_{\textnormal{hom}}(\mathcal{C})$ より任意に大きな差を示すコードの具体例を構成する。

実験結果

リサーチクエスチョン

• RQ1 凸コード $\mathcal{C}$ の最小埋め込み次元 $d(\mathcal{C})$ は、関連する単体的複体の代数的不変量を用いて、よりタイトに下界で抑えられるか？
• RQ2 Stanley-Reisner 理想の最小自由分解のベッチ数は、コードの神経複体の位相的特徴とどのように関係するか？
• RQ3 ホモロジー次元および Helly 次元を包含し、かつ $d(\mathcal{C})$ の下界としてより厳密な不変量である次元不変量が存在するか？
• RQ4 Leray 次元は分解データからアルゴリズム的に計算可能であり、既存の下界と比べてどのように異なるか？
• RQ5 $d_L(\mathcal{C})$ と $d_H(\mathcal{C})$ や $d_{\textnormal{hom}}(\mathcal{C})$ の差を任意に大きくできるコードは存在するか？

主な発見

• Leray 次元 $d_L(\mathcal{C})$ は、ある誘導部分複体 $\Delta|_\sigma$ が非自明な $k$-次ホモロジーを持つような最大の $k$ に 1 を加えたものとして定義される。
• Leray 次元は $d_L(\mathcal{C}) \geq d_H(\mathcal{C})$ および $d_L(\mathcal{C}) \geq d_{\textnormal{hom}}(\mathcal{C})$ を満たし、三つの下界の中で最も強いものである。
• 公式 $d_L(\mathcal{C}) = \max_{i,\sigma} \{ |\sigma| - i \mid \beta_{i,\sigma}(S/I_\Delta) > 0 \}$ を用いることで、ベッチ数から $d_L(\mathcal{C})$ を正確に代数的に計算可能である。
• Stanley-Reisner 理想 $I_\Delta = \langle x_1x_2, x_3x_4 \rangle$ を持つ単体的複体に対して、計算結果は $d_L(\mathcal{C}) = 2$、$d_H(\mathcal{C}) = 1$、$d_{\textnormal{hom}}(\mathcal{C}) = 0$ を得る。
• 完全二部グラフ $K_{4,4}$ において、Leray 次元は $d_L(\mathcal{C}) = 2$ であるが、Helly 次元は $d_H(\mathcal{C}) = 1$、ホモロジー次元は $d_{\textnormal{hom}}(\mathcal{C}) = 2$ である。
• 本稿では、任意の $q \in \mathbb{N}$ に対して $d_L(\mathcal{C}) - d_H(\mathcal{C}) \geq q$ および $d_L(\mathcal{C}) - d_{\textnormal{hom}}(\mathcal{C}) \geq q$ を満たすコードの族を構成し、$d_L$ が他の下界を任意に大きく上回れることを示した。