[論文レビュー] The $α$-normal labeling method for computing the $p$-spectral radii of uniform hypergraphs

Lele Liu, Linyuan Lü|arXiv (Cornell University)|Mar 16, 2018

graph theory and CDMA systems参考文献 8被引用数 3

ひとこと要約

この論文は、均一ハイパーグラフにおけるスペクトル半径（p = r）に既に用いられていたα正規ラベリング法を、p ≠ rの場合のp-スペクトル半径へ拡張する。重み付きインシデント行列を用いた一般化されたα正規ラベリング枠組みを導入することで、αおよびハイパーグラフ構造に基づきλ^(p)(G)の正確な式が得られ、さまざまなハイパーグラフクラスにおけるp-スペクトル半径の新たな単調性、凸性、極値的性質の解明が可能になる。

ABSTRACT

Let $G$ be an $r$-uniform hypergraph of order $n$. For each $p\geq 1$, the $p$-spectral radius $λ^{(p)}(G)$ is defined as \[ λ^{(p)}(G):=\max_{|x_1|^p+\cdots+|x_n|^p=1} r\sum_{\{i_1,\ldots,i_r\}\in E(G)}x_{i_1}\cdots x_{i_r}. \] The $p$-spectral radius was introduced by Keevash-Lenz-Mubayi, and subsequently studied by Nikiforov in 2014. The most extensively studied case is when $p=r$, and $λ^{(r)}(G)$ is called the spectral radius of $G$. The $α$-normal labeling method, which was introduced by Lu and Man in 2014, is effective method for computing the spectral radii of uniform hypergraphs. It labels each corner of an edge by a positive number so that the sum of the corner labels at any vertex is $1$ while the product of all corner labels at any edge is $α$. Since then, this method has been used by many researchers in studying $λ^{(r)}(G)$. In this paper, we extend Lu and Man's $α$-normal labeling method to the $p$-spectral radii of uniform hypergraphs for $p e r$; and find some applications.

研究の動機と目的

• r-一様ハイパーグラフにおけるp ≠ rの場合のp-スペクトル半径に対して、スぺクトル半径（p = r）のためのα正規ラベリング法を一般化すること。
• p-スペクトル半径と重み付きインシデント行列、α正規ラベリングを結びつける理論的枠組みを確立すること。
• 拡張された手法を用いて、単調性、凸性、およびタイトな上界といった新たな解析的結果—特にp-スペクトル半径に関するもの—を導出すること。
• ハイパーグラフの積、拡張、および誘導部分ハイパーグラフのp-スペクトル半径を特定すること。
• p = rの場合に確立された手法に類似した理論的ツールとして、p-スペクトル半径を分析するためのもの提供すること。

提案手法

• p > rの場合の一般化されたα正規ラベリングを導入し、頂点のエッジコーナーラベルの和が1に等しく、エッジのラベル積がα = λ^(p)(G)^{-p/r} · r^{p-r} / (λ^(p)(G[S]))^{p-r} に等しくなるように定義する。
• サイクルに沿ったラベル比が1に等しくなるように、重み付きインシデント行列B(v,e)を用いた一貫性のあるラベリング体系を定義し、頂点重みが適切に定義されることを保証する。
• v ∈ e に対して x_v = (w(e)/(rB(v,e)))^{1/p} で定義されるベクトルx ∈ ℝⁿ₊ を構成し、||x||_p = 1 かつ P_G(x) = λ^(p)(G) が成り立つようにする。
• G[S_i] で一貫的にα_i-正規であるハイパーグラフに対して、λ^(p)(G) = r^{1−r/p} · max_i {α_i^{−1/p}} を証明する。
• p < r の場合、不等式を用いたα-準正規ラベリングを定義する：∑_e∋v B(v,e) ≤ 1 および m^{r−p} ∏_{v∈e} B(v,e) ≥ α。
• α-準正規ラベリングを用いてλ^(p)(G)の上界を導出する：p < r の場合、λ^(p)(G) ≤ (r/m)^{1−r/p} / α^{1/p} が成り立つ。

実験結果

リサーチクエスチョン

• RQ1 p ≠ r の場合のr-一様ハイパーグラフにおけるp-スペクトル半径を計算するために、α正規ラベリング法をどのように一般化できるか？
• RQ2 拡張されたα正規ラベリング枠組みを用いることで、p-スペクトル半径の構造的および解析的性質をどのように導出できるか？
• RQ3 ハイパーグラフの演算（積、拡張、誘導部分ハイパーグラフなど）に対して、p-スペクトル半径はどのように振る舞うか？
• RQ4 新しい手法を用いて、p ≠ r の場合のλ^(p)(G)の単調性および凸性の性質を確立できるか？
• RQ5 次数およびハイパーグラフ構造を用いたλ^(p)(G)の最もタイトな上界は何か？

主な発見

• G[S_i] で一貫的にα_i-正規であるハイパーグラフに対して、p-スペクトル半径λ^(p)(G)は正確にλ^(p)(G) = r^{1−r/p} · max_i {α_i^{−1/p}} として特徴づけられる。
• 新たな単調性結果が確立された：λ^(p)(G)はGの最大および最小次数に関して単調であり、p > r の場合に明示的な増加率が導出された。
• p > r の場合、p-スペクトル半径は特定のハイパーグラフパラメータに関して凸であることが示され、α正規ラベリング枠組みを用いて2つの凸性定理（定理3.4および3.5）が証明された。
• すべてのr-一様ハイパーグラフに対して有効な、頂点次数に基づくλ^(p)(G)のタイトな上界が導出された。
• 拡張された手法を用いて、ハイパーグラフの結合G₁ ∗ G₂およびカルテシアン積G₁ × G₂のp-スペクトル半径が正確に計算された（定理3.6および3.7）。
• ハイパーグラフの拡張のp-スペクトル半径がα正規ラベリング法を用いて特徴づけられ、定理3.8に式が提示された。