[论文解读] 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-打包数减一。该结果通过射影平面结构刻画了极值系统，并确认了高秩相交系统在最大控制数下的结构约束。

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+2 $、控制数达到最大值 $ q+1 $ 的相交线性系统结构，利用已知的相交系统中控制数的界。
• 应用均匀线性系统中 2-打包与横贯数的组合界，特别使用先前关于偶数秩系统的文献中的引理 3.1。
• 利用如下事实：当 $ q $ 为偶数时，若一个 $ (q+1) $-一致相交线性系统满足 $ \nu_2 = q+2 $ 且 $ \tau = q+1 $，则其必同构于射影平面 $ \Pi_q $。
• 运用射影平面中的对偶性与极值组合数学，证明此类系统由其子系统唯一确定。
• 应用引理 2.4 与定理 2.1 来限制子系统中直线数与度数，确保其与 $ \Pi_q $ 一致。
• 使用抽屉原理与线性约束，排除所有非源自 $ \Pi_q $ 的替代构造。

实验结果

研究问题

• RQ1 当 $ q $ 为偶数阶素数幂时，何种条件下，一个秩为 $ q+2 $ 的相交线性系统可实现控制数为 $ q+1 $？
• RQ2 此类系统中 $ (q+1) $-一致支撑子系统的结构特性必须具备哪些性质？
• RQ3 此类系统能否通过其与射影平面 $ \Pi_q $ 的关系被完全刻画？
• RQ4 是否存在控制数 $ \gamma = q+1 $ 的系统，其构造并非源自 $ \Pi_q $？若存在，其约束条件为何？
• RQ5 在这些极值系统的子系统中，横贯数与 2-打包数之间的精确关系为何？

主要发现

• 对于每个秩为 $ q+2 $、控制数为 $ q+1 $ 的相交线性系统 $ (P,\mathcal{L}) $，其中 $ 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-打包参数之间的紧密对偶性。
• 子系统中直线数至少为 $ 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 系统的研究成果，此前已证明此类系统源自法诺平面，现已被推广至所有偶数阶素数幂阶。