[論文レビュー] On the metric dimension of affine planes, biaffine planes and generalized quadrangles

Daniele Bartoli, Tamás Héger+2 more|Repository of the University of Primorsk (University of Primorska)|Jun 20, 2017

Graph Labeling and Dimension Problems参考文献 8被引用数 4

ひとこと要約

この論文は、アフィン平面、二重アフィン平面、一般化四角形のインシデントグラフのメトリック次元を決定する。$ q \geq 13 $ のアフィン平面のメトリック次元は $ 3q - 4 $ であり、$ (q,q) $ の順序の一般化四角形については、下界 $ \max\{6q-27, 4q-7\} $ と上界 $ 8q $ を確立する。

ABSTRACT

In this paper the metric dimension of (the incidence graphs of) particular partial linear spaces is considered. We prove that the metric dimension of an affine plane of order $q\geq13$ is $3q-4$ and describe all resolving sets of that size if $q\geq 23$. The metric dimension of a biaffine plane (also called a flag-type elliptic semiplane) of order $q\geq 4$ is shown to fall between $2q-2$ and $3q-6$, while for Desarguesian biaffine planes the lower bound is improved to $8q/3-7$ under $q\geq 7$, and to $3q-9\sqrt{q}$ under certain stronger restrictions on $q$. We determine the metric dimension of generalized quadrangles of order $(s,1)$, $s$ arbitrary. We derive that the metric dimension of generalized quadrangles of order $(q,q)$, $q\geq2$, is at least $\max\{6q-27,4q-7\}$, while for the classical generalized quadrangles $W(q)$ and $Q(4,q)$ it is at most $8q$.

研究の動機と目的

• アフィン平面、二重アフィン平面、一般化四角形のインシデントグラフのメトリック次元を決定すること。
• 類似した組合せ的構造を持つ他のインシデント幾何に、既存の射影平面に関する結果を拡張すること。
• これらの幾何の構造的性質が、基本公理を越えてメトリック次元に与える影響を調査すること。
• 特定のクラス、特に古典的一般化四角形において、メトリック次元のタイトな境界と正確な値を確立すること。
• 双対性や自己双対性が、対称幾何における解決集合の構築に果たす役割を探索すること。

提案手法

• 既知の射影平面のメトリック次元（$ q \geq 13 $ のとき $ 4q - 4 $）を用い、インシデントグラフの埋め込みによってアフィン平面の結果を導出する。
• インシデント幾何の道具を用いる：解決集合、ブロッキング集合、被覆集合、部分線形空間における直線／点のインシデント関係。
• 二部グラフとしてのインシデントグラフにおける距離に基づく解消を適用し、頂点が点と直線を表し、辺がインシデント関係を表す。
• 特に $ W(q) $ および $ Q(4,q) $ に対して、半解決集合や双対集合などの幾何的構成を用いて、メトリック次元の境界を求める。
• 偶数順序の一般化四角形における双対性を活用し、点と直線の解決集合を1つのサイズ $ 8q $ の解決集合に統合する。
• 組合せ的数え上げと幾何的配置（例：三重組、同一平面上の直線、自己共役直線）を用い、外部の点や直線の解消を検証する。

実験結果

リサーチクエスチョン

• RQ1 アフィン平面の順序 $ q \geq 13 $ のメトリック次元は何か？ また、その最小解決集合の構造はどのようなものか？
• RQ2 二重アフィン平面のメトリック次元は、その基本的幾何に依存するが、完全な構造に依存せずに境界を定められるか？
• RQ3 一般化四角形の順序 $ (q,q) $ のメトリック次元の、最もタイトな既知の下界と上界は何か？
• RQ4 一般化四角形の解決集合は、双対性や自己双対性といった対称的性質を用いて構成可能か？
• RQ5 二重アフィン平面のメトリック次元は、インシデント公理を越えた、より詳細な構造的性質にどの程度依存するか？

主な発見

• アフィン平面の順序 $ q \geq 13 $ のメトリック次元は正確に $ 3q - 4 $ であり、$ q \geq 23 $ のとき、このサイズのすべての最小解決集合が完全に特徴付けられている。
• 順序 $ q \geq 4 $ の二重アフィン平面では、メトリック次元は $ 2q - 2 $ から $ 3q - 6 $ の間であり、$ q \geq 7 $ のとき下界が $ 8q/3 - 7 $ に改善され、より強い条件下では $ 3q - 9\sqrt{q} $ となる。
• 順序 $ (q,1) $ の一般化四角形のメトリック次元は正確に決定されているが、要約では数値として明示されていない。
• 順序 $ (q,q) $ の一般化四角形では、メトリック次元は少なくとも $ \max\{6q - 27, 4q - 7\} $ であり、構造的複雑性を反映している。
• 古典的一般化四角形 $ W(q) $ および $ Q(4,q) $ については、メトリック次元は最大 $ 8q $ であり、奇数 $ q $ の場合、よりタイトな境界 $ 8q - 1 $ が得られる。
• $ W(q) $ の点に対して、サイズ $ 4q + 4 $ の半解決集合が存在し、これらは解消性を保ったまま $ 4q $ 個に削減可能であり、双対性を介して $ 8q $ の上界を支持する。