[논문 리뷰] A note on domination in intersecting linear systems

Adrián Vázquez-Ávila|arXiv (Cornell University)|2018. 06. 05.

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+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-패킹 수 사이의 정확한 관계는 무엇인가?

주요 결과

• 모든 랭크 $ q+2 $, 지배 수 $ \gamma(P,\mathcal{L}) = 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-패킹 수 매개변수 사이의 날카로운 이중성 관계를 확인한다.
• 선 집합 $ \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 $ 와 동형이다.
• 이 결과는 이전의 랭크 4 체계에 대한 발견을 일반화한 것으로, 이러한 체계가 패러도 평면에서 유도된 것으로 밝혀졌으며, 이제 모든 짝수 소수 거듭제곱 순서로 확장되었다.