[論文レビュー] On open and closed convex codes

Joshua Cruz, Chad Giusti+2 more|arXiv (Cornell University)|Sep 12, 2016

Memory and Neural Mechanisms参考文献 9被引用数 7

ひとこと要約

この論文は、開凸集合と閉凸集合による実現可能性が異なるクラスであることを確立し、開凸集合で実現可能なコードが閉凸集合では実現できないこと、逆もまた同様であることを示している。また、最大部分集合のすべての共通部分集合を含む「最大共通部分集合完備コード」が、両方の凸性を有することを示し、その最小埋め込み次元に対する構成的上界を提供している。

ABSTRACT

Neural codes serve as a language for neurons in the brain. Convex codes, which arise from the pattern of intersections of convex sets in Euclidean space, are of particular relevance to neuroscience. Not every code is convex, however, and the combinatorial properties of a code that determine its convexity are still poorly understood. Here we find that a code that can be realized by a collection of open convex sets may or may not be realizable by closed convex sets, and vice versa, establishing that open convex and closed convex codes are distinct classes. We also prove that max intersection-complete codes (i.e. codes that contain all intersections of maximal codewords) are both open convex and closed convex, and provide an upper bound for their minimal embedding dimension. Finally, we show that the addition of non-maximal codewords to an open convex code preserves convexity.

研究の動機と目的

• 開凸コードと閉凸コードの関係を明確にすること。両者とも凸集合から生じるが、異なるクラスである。
• 神経コードの凸性を保証する組合せ的条件を同定すること。神経コードの実現可能性に関する理解の大きなギャップを埋める。
• 交差完備コードを有限次元ユークリッド空間内で閉凸コードとして実現するための構成的メソッドを提供すること。
• 開凸コードに非最大部分集合を追加しても凸性が保たれることを示し、最大部分集合を超えた実現可能性の拡張を可能にすること。

提案手法

• 最大共通部分集合完備コード（最大部分集合のすべての共通部分集合を含むもの）が、位相的および凸幾何学的議論を用いて、開凸かつ閉凸であることを証明する。
• コードの各部分集合に対応する標準基底ベクトルの凸包を用いて、R^|C| 上に潜在的な被覆を構成し、得られるコードの閉凸性を保証する。
• 球の境界におけるアトムの相対的開性を用い、レムマ5.7を繰り返し適用して、欠落している部分集合を含むように開凸被覆を段階的に拡張する。
• 交差閉包によるコードの完成化の概念を適用し、潜在的被覆が元のコードの交差完成化を実現することを示す。
• ニューロンの定理と凸集合の性質を用いて、コード構造とユークリッド空間内での幾何的実現可能性の関係を関係づける。
• 部分集合 U_i（i ∈ σ）の共通部分集合が、i ∉ σ なるすべての U_j を避けるときのみ、A^U_sigma が空でないことを用いて、コード要素を定義・分析する。

実験結果

リサーチクエスチョン

• RQ1 開凸コードと閉凸コードは同値なクラスか。あるいは、あるコードが一方の凸集合タイプでは実現可能でも、他方では実現不可能である可能性はあるか。
• RQ2 コードの組合せ的性質のうち、特に局所的障害がない状況で、凸性を保証するものは何か。
• RQ3 最大共通部分集合完備コードの埋め込み次元は有界に抑えられるか。もしそうなら、最もタイトな上界は何か。
• RQ4 開凸コードに非最大部分集合を追加しても、その凸性は保たれるか。
• RQ5 交差完備コードに対して、閉凸実現を明示的に構成できるか。また、必要な最小次元は何か。

主な発見

• 開凸コードと閉凸コードは異なるクラスである。開凸集合で実現可能なコードが閉凸集合では実現できないこと、逆も同様である。
• 最大部分集合のすべての共通部分集合を含む「最大共通部分集合完備コード」は、開凸かつ閉凸の両方の性質を有する。
• 最大共通部分集合完備コードの最小埋め込み次元は、その非空部分集合の数によって上から抑えられる。
• 開凸コードに非最大部分集合を追加しても、凸性が保たれる。つまり、このようなコードは依然として開凸集合による実現が可能である。
• 交差完備コードの閉凸実現は、コードの各部分集合に対応する標準基底ベクトルの凸包を用いて、R^|C| 上で明示的に構成可能である。
• 潜在的被覆の構成により、元のコードの交差完成化が実現されることを示し、交差完備コードが閉凸コードであることが証明された。