[논문 리뷰] On the metric dimension of affine planes, biaffine planes and generalized quadrangles

Daniele Bartoli, Tamás Héger외 2명|Repository of the University of Primorsk (University of Primorska)|2017. 06. 20.

Graph Labeling and Dimension Problems참고 문헌 8인용 수 4

한 줄 요약

이 논문은 애핀 평면, 이애핀 평면, 일반화된 사각형의 인cidence 그래프의 거리 차원을 결정한다. 애핀 평면의 거리 차원이 $ 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$.

연구 동기 및 목표

• 애핀 평면, 이애핀 평면, 일반화된 사각형의 인cidence 그래프의 거리 차원을 결정하기 위해.
• 이전의 쌍대 평면에 대한 결과를 유사한 조합적 구조를 가진 다른 인cidence 기하학으로 확장하기 위해.
• 이러한 기하학의 구조적 성질이 기본 공리 외에 거리 차원에 어떻게 영향을 미치는지 조사하기 위해.
• 특정 클래스, 특히 고전적 일반화된 사각형의 경우에 대해 엄밀한 경계와 정확한 값을 확립하기 위해.
• 대칭 기하학의 해상 집합을 구성할 때 이중성과 자기이중성의 역할을 탐색하기 위해.

제안 방법

• 기존의 쌍대 평면의 거리 차원($ q \geq 13 $일 때 $ 4q - 4 $)을 이용하여, 인cidence 그래프 통합을 통해 애핀 평면에 대한 결과를 유도한다.
• 인cidence 기하학 도구를 사용: 해상 집합, 차단 집합, 커버링 집합, 부분 선형 공간 내의 선/점 인cidence 관계.
• 이분 인cidence 그래프에서 거리 기반 해상 기반을 적용하며, 정점은 점과 선을 나타내고, 간선은 인cidence를 나타낸다.
• 특히 $ W(q) $와 $ Q(4,q) $에 대해 반해상 집합과 이중 집합과 같은 기하학적 구성 기법을 사용하여 거리 차원의 경계를 설정한다.
• 짝수 순서의 일반화된 사각형에서 이중성을 활용하여 점과 선의 해상 집합을 하나의 크기 $ 8q $의 해상 집합으로 통합한다.
• 조합적 세기와 기하학적 구성(예: 삼중체, 공면선, 자가쌍대선)을 적용하여 외부 점과 선의 해상이 가능한지 확인한다.

실험 결과

연구 질문

• RQ1 순서 $ q \geq 13 $인 애핀 평면의 거리 차원은 무엇이며, 이 크기의 최소 해상 집합의 구조는 어떻게 되는가?
• RQ2 이애핀 평면의 거리 차원은 그 기반 기하학에 따라 어떻게 달라지며, 전체 구조와 독립적으로 경계를 설정할 수 있는가?
• RQ3 순서 $ (q,q) $인 일반화된 사각형의 거리 차원에 대해 알려진 가장 날카로운 하한과 상한은 무엇인가?
• RQ4 이중성 또는 자기이중성과 같은 대칭 성질을 이용하여 일반화된 사각형의 해상 집합을 구성할 수 있는가?
• RQ5 이애핀 평면의 거리 차원은 인cidence 공리 외에 더 세밀한 구조적 성질에 얼마나 의존하는가?

주요 결과

• 순서 $ 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 $ 상한의 지원을 제공한다.