[論文レビュー] Pattern Recognition on Oriented Matroids: Symmetric Cycles in the Hypercube Graphs

Andrey O. Matveev|arXiv (Cornell University)|Nov 22, 2015

Graph Theory and Algorithms参考文献 83被引用数 3

ひとこと要約

本稿は、対称的 $2t$-サイクルを用いた超立方体グラフの頂点の組み合わせ的分解を導入し、各頂点 $T$ が、対称的サイクル $oldsymbol{R}$ の頂点の唯一の最小部分集合 $oldsymbol{Q}(T,oldsymbol{R})$ の和として表現可能であることを示している。主な貢献は、任意の奇数 $j$ に対して、$|oldsymbol{Q}(T,oldsymbol{R})| = j$ となる頂点の数が $2inom{t}{j}$ であるという閉形式の統計であり、生成多項式 $oldsymbol{eta}_t(x) = 2igsum_{ ext{odd }j=1}^t inom{t}{j} x^j$ を得る。これは、向き付けられたマトロイドのサイクルを用いた超立方体頂点の分解における深い対称性と二項係数構造を明らかにする。

ABSTRACT

If V is the vertex sequence of a symmetric 2t-cycle in the hypercube graph with the vertices {1,-1}^t, then for any vertex T of the graph there exists a unique inclusion-minimal subset of V such that T is the sum of its elements. We present a simple combinatorial statistic on decompositions of vertices of the hypercube graphs with respect to symmetric cycles and describe their basic metric properties.

研究の動機と目的

• 超立方体グラフにおける各頂点の、対称的 $2t$-サイクルを用いた一意的かつ包含最小の分解を確立すること。
• すべての頂点にわたるこれらの分解の基数分布を特徴づけること。
• 奇数 $j$ に対して、与えられた分解サイズ $j$ を持つ頂点数の閉形式組み合わせ的統計を導出すること。
• 向き付けられたマトロイドおよびハミンググラフの文脈において、これらの分解の距離的および代数的性質を調査すること。

提案手法

• 超立方体グラフ $\boldsymbol{H}(t,2)$ における対称的 $2t$-サイクル $\boldsymbol{R}$ を定義し、すべての $k$ に対して $R^{k+t} = -R^k$ を満たすことで、最大の正の基底構造を保証する。
• 各頂点 $T \in \{1,-1\}^t$ に対して、$\boldsymbol{R}$ の頂点の唯一の最小部分集合として、$T$ に和が一致する分解集合 $\boldsymbol{Q}(T,\boldsymbol{R})$ を定義する。この際、再方向化と最大正部分の選択を用いる。
• グラフ距離と線形代数的構造を関連付けるために、スカラー積 $\langle T, R^k \rangle = t - 2d(T, R^k)$ を用いる。
• 生成多項式 $\boldsymbol{\gamma}_t(x) = \sum_{T \in \{1,-1\}^t} x^{|\boldsymbol{Q}(T,\boldsymbol{R})|}$ を導出し、これが $2\sum_{\substack{j=1 \\ j \text{ 奇数}}}^t \binom{t}{j} x^j$ に等しいことを示す。
• 対称性と二項恒等式を活用して、$j$ が奇数のとき、分解サイズ $j$ を持つ頂点数 $c_j(t)$ が $2\binom{t}{j}$ に等しいことを証明する。
• 対称的サイクルを数え上げ、それらの平均を取ることで、各頂点に対して与えられた分解サイズを実現するサイクル数を導出する：$\frac{(t-1)!}{2}\binom{t}{j}$。

実験結果

リサーチクエスチョン

• RQ1 超立方体グラフにおける対称的 $2t$-サイクルの頂点から、与えられた頂点 $T$ に和が一致する唯一の包含最小部分集合の構造は何か？
• RQ2 固定された対称的サイクル $\boldsymbol{R}$ に対して、奇数 $j$ の分解サイズを持つ超立方体グラフ内の頂点数はいくつか？
• RQ3 すべての頂点にわたる分解サイズの分布の生成関数は何か？
• RQ4 固定された頂点 $T$ に対して、分解サイズ $j$ を実現する対称的サイクルの数は、$t$ と $j$ にどのように依存するか？
• RQ5 超立方体グラフにおける分解サイズの分布を規定する対称的および二項恒等式は何か？

主な発見

• 任意の超立方体グラフ $\boldsymbol{H}(t,2)$ における対称的 $2t$-サイクル $\boldsymbol{R}$ に対して、任意の頂点 $T \in \{1,-1\}^t$ は、$T = \sum_{Q \in \boldsymbol{Q}(T,\boldsymbol{R})} Q$ を満たす唯一の包含最小部分集合 $\boldsymbol{Q}(T,\boldsymbol{R})$ を持つ。
• 基数 $|\boldsymbol{Q}(T,\boldsymbol{R})|$ は常に奇数であり、任意の奇数 $j$ に対して $1 \leq j \leq t$ であるとき、$|\boldsymbol{Q}(T,\boldsymbol{R})| = j$ となる頂点 $T$ の数は正確に $2\binom{t}{j}$ である。
• 分解サイズの生成多項式は $\boldsymbol{\gamma}_t(x) = 2\sum_{\substack{j=1 \\ j \text{ 奇数}}}^t \binom{t}{j} x^j$ であり、これは奇数乗の項に制限された $2(1+x)^t - 2(1-x)^t$ の二項展開と一致する。
• 任意の固定された頂点 $T$ に対して、$|\boldsymbol{Q}(T,\boldsymbol{R})| = j$ を満たす対称的サイクル $\boldsymbol{R}$ の数は $\frac{(t-1)!}{2}\binom{t}{j}$ であり、これは奇数 $j$ に対して有効である。
• すべての頂点およびすべての対称的サイクルにわたる分解サイズの総和は $2^{t-1}(t-1)! \sum_{\substack{j=1 \\ j \text{ 奇数}}}^t j\binom{t}{j}$ であり、これは各頂点の平均と整合的であることを確認する。
• 分解構造は再方向化に対して不変であり、対称的双対性を示す：$t$ が偶数のとき $c_j(t) = c_{t-j}(t)$ であり、$t$ が奇数のとき $j c_j(t) = (1+t-j) c_{1+t-j}(t)$ が成り立つ。