[論文レビュー] A note on domination in intersecting linear systems

Adrián Vázquez-Ávila|arXiv (Cornell University)|Jun 5, 2018

Advanced Graph Theory Research参考文献 8被引用数 3

ひとこと要約

本稿では、偶数の素数べき $ q $ に対して、ランク $ q+2 $ で支配数 $ q+1 $ を持つ任意の交差する線形系は、射影平面 $ \Pi_q $ のスパニングな $ (q+1) $-一様交差部分系から生じることを確立している。ここで、横断数は2-パッキング数から1を引いたものに等しい。この結果により、極値の線形系が射影平面の構造によって特徴づけられ、高ランクの交差する系が最大の支配数を持つ場合の構造的制約が確認された。

ABSTRACT

A linear system is a pair $(P,\mathcal{L})$ where $\mathcal{L}$ is a family of subsets on a ground finite set $P$ such that $|l\cap l^\prime|\leq 1$, for every $l,l^\prime \in \mathcal{L}$. The elements of $P$ and $\mathcal{L}$ are called points and lines, respectively, and the linear system is called intersecting if any pair of lines intersect in exactly one point. A subset $D$ of points of a linear system $(P,\mathcal{L})$ is a dominating set of $(P,\mathcal{L})$ if for every $u\in P\setminus D$ there exists $v\in D$ such that $u,v\in l$, for some $l\in\mathcal{L}$. The cardinality of a minimum dominating set of a linear system $(P,\mathcal{L})$ is called domination number of $(P,\mathcal{L})$, denoted by $γ(P,\mathcal{L})$. On the other hand, a subset $R$ of lines of a linear system $(P,\mathcal{L})$ is a 2-packing if any three elements of $R$ have not a common point (are triplewise disjoint). The cardinality of a maximum 2-packing of a linear system $(P,\mathcal{L})$ is called 2-packing number of $(P,\mathcal{L})$, denoted by $ν_2(P,\mathcal{L})$. It is know for intersecting linear systems $(P,\mathcal{L})$ of rank $r$ it satisfies $γ(P,\mathcal{L})\leq r-1$. In this note we prove, if $q$ is an even prime power and $(P,\mathcal{L})$ is an intersecting linear system of rank $q+2$ satisfying $γ(P,\mathcal{L})=q+1$, then this linear system can be constructed from a spanning $(q+1)$-uniform intersecting linear subsystem $(P^\prime,\mathcal{L}^\prime)$ of the projective plane of order $q$ satisfying $τ(P^\prime,\mathcal{L}^\prime)=ν_2(P^\prime,\mathcal{L}^\prime)-1=q+1$.

研究の動機と目的

• ランク $ q+2 $ で支配数 $ q+1 $ を持つ交差する線形系を、$ q $ を偶数の素数べきとして特徴づけること。
• このような系が存在するための構造的条件、特にそれらの下位部分系に焦点を当てて特定すること。
• このような系が、射影平面 $ \Pi_q $ のスパニングな $ (q+1) $-一様交差部分系から派生している必要があることを証明すること。
• 部分系において横断数と2-パッキング数の明確な関係、特に $ \tau = \nu_2 - 1 $ を確立すること。

提案手法

• 支配数が最大の $ q+1 $ であるランク $ q+2 $ の交差する線形系の構造を分析し、既知の交差系における支配に関する境界を活用する。
• 特に偶数ランク系に関する先行研究の補題 3.1 を用いて、一様線形系における2-パッキングと横断の組合せ的境界を適用する。
• $ q $ が偶数のとき、$ \nu_2 = q+2 $ かつ $ \tau = q+1 $ を満たす $ (q+1) $-一様交差線形系は、$ \Pi_q $ に同型であるという事実を用いる。
• 双対性と射影平面における極値組合せ論を用いて、このような系がその部分系によって一意に定まることを示す。
• 補題 2.4 と定理 2.1 を適用して、部分系における直線数と次数を制限し、$ \Pi_q $ と整合することを保証する。
• 鳩の巣原理と線形制約を用いて、$ \Pi_q $ から派生するもの以外の構成が除外されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 交差する線形系がランク $ q+2 $ で支配数 $ q+1 $ を達成できる条件は何か、ここで $ q $ は偶数の素数べきである。
• RQ2 このような系の $ (q+1) $-一様スパニング部分系が満たすべき構造的性質は何か。
• RQ3 このような系が射影平面 $ \Pi_q $ との関係によって完全に特徴づけられるか。
• RQ4 支配数 $ \gamma = q+1 $ を持つ系が $ \Pi_q $ から派生する構成以外に存在可能か、その場合の制約は何か。
• RQ5 極値系の部分系において、横断数と2-パッキング数の正確な関係は何か。

主な発見

• 任意の交差する線形系 $ (P,\mathcal{L}) $ について、ランクが $ q+2 $ で $ \gamma(P,\mathcal{L}) = q+1 $ である場合、ここで $ q $ が偶数の素数べきであれば、その系は射影平面 $ \Pi_q $ のスパニングな $ (q+1) $-一様交差部分系 $ (P^\prime,\mathcal{L}^\prime) $ から生じる。
• 部分系 $ (P^\prime,\mathcal{L}^\prime) $ は $ \tau(P^\prime,\mathcal{L}^\prime) = \nu_2(P^\prime,\mathcal{L}^\prime) - 1 = q+1 $ を満たし、横断数と2-パッキングパラメータの間のきつい双対性が確認された。
• $ \mathcal{L}^\prime $ の直線数は少なくとも $ 3q $ であり、$ |\mathcal{L}^\prime| = 3q $ のとき、2-パッキング数は正確に $ q+2 $ に等しく、このような系の最大可能な値と一致する。
• $ q $ が偶数のとき、2-パッキング数 $ \nu_2(P^\prime,\mathcal{L}^\prime) = q+2 $ であり、これは $ \Pi_q $ におけるオーバルのサイズに等しく、部分系の極値性を裏付けた。
• 直線数、一様性、極値パラメータの観点から、系 $ (P^\prime,\mathcal{L}^\prime) $ は $ \Pi_q $、すなわち $ q $ 次の射影平面と同型である。
• この結果は、ランク4系についての先行研究を一般化しており、その場合、系はファノ平面から構成可能であることが示されたが、本稿では偶数の素数べきのすべての次数に拡張された。