[论文解读] 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{Q}(T,oldsymbol{R})$，该子集来自一个对称环 $oldsymbol{R}$，使得 $T$ 是其元素之和。关键贡献是一个闭式统计量：对于任意奇数 $j$，满足 $|oldsymbol{Q}(T,oldsymbol{R})| = j$ 的顶点数量为 $2inom{t}{j}$，从而导出生成多项式 $oldsymbol{ u}_t(x) = 2igsum_{ ext{奇数 }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{Q}(T,\boldsymbol{R})$ 为 $\boldsymbol{R}$ 的顶点中唯一最小的子集，其和为 $T$。
• 利用数量积 $\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}$ 的顶点数量为 $2\binom{t}{j}$。
• 计算对称环的数量并对之取平均，推导出每个顶点产生给定分解大小的环的数量：$\frac{(t-1)!}{2}\binom{t}{j}$。

实验结果

研究问题

• RQ1 在超立方体图中，对于一个对称 $2t$-环 $\boldsymbol{R}$，其顶点的唯一最小子集的结构是怎样的，该子集的和为给定顶点 $T$？
• RQ2 对于固定的对称环 $\boldsymbol{R}$，在超立方体图中，有多少个顶点具有大小为 $j$ 的分解（$j$ 为奇数）？
• RQ3 所有顶点的分解大小分布的生成函数是什么？
• RQ4 对于固定顶点 $T$，产生大小为 $j$ 的分解的对称环的数量如何依赖于 $t$ 和 $j$？
• RQ5 超立方体图中分解大小分布背后的对称性与二项式恒等式是什么？

主要发现

• 对于超立方体图 $\boldsymbol{H}(t,2)$ 中的任意对称 $2t$-环 $\boldsymbol{R}$，每个顶点 $T \in \{1,-1\}^t$ 都存在唯一一个包含最小的子集 $\boldsymbol{Q}(T,\boldsymbol{R})$，使得 $T = \sum_{Q \in \boldsymbol{Q}(T,\boldsymbol{R})} Q$。
• 基数 $|\boldsymbol{Q}(T,\boldsymbol{R})|$ 始终为奇数，且对任意满足 $1 \leq j \leq t$ 的奇数 $j$，满足 $|\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$，其与 $(1+x)^t$ 和 $(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)$。