[論文レビュー] Identifying codes in vertex-transitive graphs and strongly regular graphs

Sylvain Gravier, Aline Parreau+3 more|arXiv (Cornell University)|Nov 19, 2014

Graph Labeling and Dimension Problems参考文献 39被引用数 13

ひとこと要約

本稿は、一般化四角形（GQ）を含む頂点推移的強正則グラフにおいて識別コードを構築し、そのサイズのオーダーが分数緩和と一致する最適なサイズを得た。GQ(q, q²)およびGQ(q², q)に対して、識別コードがサイズ Θ(|V|^{1/4})、Θ(|V|^{1/3})、Θ(|V|^{2/5}) で存在することを示し、分数量解のオーダーと一致し、これらの対称的有限幾何に基づくグラフにおけるタイトな境界を示した。

ABSTRACT

We consider the problem of computing identifying codes of graphs and its fractional relaxation. The ratio between the size of optimal integer and fractional solutions is between 1 and 2 ln(|V|)+1 where V is the set of vertices of the graph. We focus on vertex-transitive graphs for which we can compute the exact fractional solution. There are known examples of vertex-transitive graphs that reach both bounds. We exhibit infinite families of vertex-transitive graphs with integer and fractional identifying codes of order |V|^a with a in {1/4,1/3,2/5}. These families are generalized quadrangles (strongly regular graphs based on finite geometries). They also provide examples for metric dimension of graphs.

研究の動機と目的

• 対称的グラフ、特に頂点推移的かつ強正則グラフにおける整数的識別コードサイズと分数量解サイズの差を埋める。
• 非自明な族において、最適整数的識別コードと分数量解の比が対数的境界を超える可能性を調査する。
• 有限幾何から得られる頂点推移的強正則グラフである一般化四角形（GQ）における明示的な識別コードを構築する。
• GQ(q, q²)およびGQ(q², q)における識別コードサイズのタイトな下界と上界を確立し、構成が最適であることを示す。
• 直径2のグラフにおける同値性を踏まえ、結果をメトリック次元および到達支配集合へと拡張する。

提案手法

• 識別コード問題を整数線形計画問題として定式化し、それを分数量解に緩和する。
• 頂点推移性を活用して、|V|、次数d、閉近傍の最小対称差といった3つのグラフパラメータを用いて、正確な最適分数量識別コードサイズを計算する。
• 有限幾何における一般化四角形（GQ）の構造的性質——特にPG(3, q²)におけるインシデント構造およびヘルミート型多様体——を用いてコード構成を定義する。
• 互いに素な直線の和集合に加え、すべての頂点ペアの分離を保証する追加の直線を選択することで識別コードを構築する。
• 双対性および幾何的インシデント定理を用いて、共通近傍数および対称差サイズに関する組合せ的境界を導出し、最適性を証明する。
• H(3, q²)とQ⁻(5, q)の間の双対性を応用し、非隣接点の共通近傍に関する構造的補題を導出する。

実験結果

リサーチクエスチョン

• RQ1 頂点推移的グラフにおける識別コードは、分数量解と同等の漸近的サイズに達することができるか？
• RQ2 一般化四角形GQ(q, q²)およびGQ(q², q)における識別コードの最小サイズは何か？ そしてそれはタイトか？
• RQ3 分数量解の値が非定数的に増加する対称的強正則グラフにおいて、整数的識別コードサイズと分数量解サイズの比はどのように振る舞うか？
• RQ4 一般化四角形は、整数的識別コードサイズが分数量解のオーダーと一致する例としてどの程度適切か？
• RQ5 GQにおける識別コードに関する結果を、直径2のグラフにおけるメトリック次元および到達支配集合へと拡張可能か？

主な発見

• GQ(q, q²)に対して、サイズ 3q + 2 の識別コードが存在し、これは下界 3q + 2 と一致するため最適である。
• GQ(q², q)に対して、サイズ 5q² − 2 = Θ(n^{2/5}) の識別コードが存在する。ここで n = (q³ + 1)(q² + 1) は頂点数である。
• GQ(q², q)の構成は5つの互いに素な直線と2つの追加の直線から成り、5つの頂点を削除しても識別性が保たれる。
• GQ(q², q)における任意の識別コードのサイズは 2q² − 2 以上であるため、構成は定数倍の意味で最適であることが証明された。
• 識別コードサイズのオーダーは分数量解の値と一致し、それぞれGQ(q, q²)、GQ(q, q²)、GQ(q², q)に対して α ∈ {1/4, 1/3, 2/5} となる。
• 結果から、直径2の構造と識別コードとの同値性を考慮すると、これらのグラフにおけるメトリック次元および到達支配集合のサイズも最適なオーダー Θ(n^{α}) をとることが示唆される。