[论文解读] Adjacency and Tensor Representation in General Hypergraphs.Part 2: Multisets, Hb-graphs and Related e-adjacency Tensors

Xavier Ouvrard, Jean‐Marie Le Goff+1 more|arXiv (Cornell University)|May 30, 2018

Algorithms and Data Compression参考文献 17被引用 12

一句话总结

本文提出了超袋图（Hyper-Bag-Graphs, hb-graphs），即允许超边为具有非负整数重数的多重集的超图扩展。提出了一套系统化的方法来构建 hb-graphs 的 e-邻接张量，评估了多种张量构造方法，并选定一种最终的张量设计，以确保可解释性、可重构性，并与超图中的谱分析兼容。

ABSTRACT

HyperBagGraphs (hb-graphs as short) extend hypergraphs by allowing the hyperedges to be multisets. Multisets are composed of elements that have a multiplicity. When this multiplicity has positive integer values, it corresponds to non ordered lists of potentially duplicated elements. We define hb-graphs as family of multisets over a vertex set; natural hb-graphs correspond to hb-graphs that have multiplicity function with positive integer values. Extending the definition of e-adjacency to natural hb-graphs, we define different way of building an e-adjacency tensor, that we compare before having a final choice of the tensor. This hb-graph e-adjacency tensor is used with hypergraphs.

研究动机与目标

• 通过允许超边为多重集，扩展超图，以支持重复或加权的顶点关系建模。
• 基于多重集重数函数，为 hb-graphs 中的 e-邻接张量构造定义一个系统化的框架。
• 评估 hb-graphs 和超图的多种张量构造策略，重点关注可解释性、可重构性与谱分析的实用性。
• 识别并证明最终 e-邻接张量构造方法的合理性，该方法在保持超图结构的同时，支持一致的谱分析。
• 证明所选张量构造在可解释性与计算可重构性方面优于先前的构造方法。

提出的方法

• 将 hb-graphs 定义为顶点集上的多重集族，其中每个超边具有非负整数取值的重数函数。
• 通过基于超边大小、顶点重数并利用阶乘归一化的方式，将 e-邻接张量概念扩展至 hb-graphs。
• 构造张量 $\mathcal{A}(\mathcal{H}) = \sum_{i \in \llbracket p \rrbracket} c_{e_i} \mathcal{R}_{e_i} $，其中 $ c_{e_i} = \frac{k_{\max}}{k_i} $，且 $ \mathcal{R}_{e_i} $ 为超边顶点排列分配非零值。
• 将非零条目标准化为 $ r_{j_1\ldots j_{k_i}(n+k_i)^{k_{\max}-k_i}} = \frac{(k_{\max}-k_i)!}{k_{\max}!} $，以确保跨所有超边的统一缩放。
• 通过维度、非零元素数量、对称性与可重构性等标准，将所提张量与 Banerjee 等人（2017）的构造进行比较。
• 基于更高的可解释性、从特殊顶点出发的直接重构能力，以及与谱分析的兼容性，选择最终张量。

实验结果

研究问题

• RQ1 如何系统性地扩展超图，使其支持超边中的多重集，同时保持结构与代数一致性？
• RQ2 在 hb-graphs 中构造 e-邻接张量的关键设计原则是什么，以确保可解释性与可重构性？
• RQ3 与现有构造（如 Banerjee 等人，2017）相比，所提 e-邻接张量在张量维度、稀疏性与计算效率方面表现如何？
• RQ4 所提张量构造能否在保持张量条目有意义解释的同时，支持超图的谱分析？
• RQ5 超边大小与顶点重数对非零张量条目数量及其分布有何影响？

主要发现

• 所提出的 hb-graphs 的 e-邻接张量具有对称性，并可通过移除构造过程中添加的特殊顶点实现完全可重构。
• 最终张量的维度为 $ n + k_{\max} - 1 $，大于 Banerjee 等人（2017）的 $ n $-维张量，但实现了更好的可解释性。
• 大小为 $ s $ 的每个超边的非零元素数量为 $ \frac{k_{\max}!}{k_1! \cdots k_s! \cdot n_s!} $，其中 $ n_s = k_{\max} - s $，该表达式考虑了排列与重数。
• 张量构造确保每个超边恰好贡献一个唯一的基张量 $ \mathcal{R}_{e_i} $，并通过对称扩展填充所有索引排列。
• 所选张量在可解释性与可重构性方面优于 Banerjee 等人（2017），因为它允许直接从张量恢复原始超图。
• 使用最终张量进行谱分析是可行的，尽管特殊顶点会增加界值的幅度，但这是为了获得更清晰的结构表达而付出的合理权衡。