[논문 리뷰] On the metric dimension of imprimitive distance-regular graphs

R. A. Bailey|arXiv (Cornell University)|2013. 12. 17.

Graph Labeling and Dimension Problems참고 문헌 25인용 수 5

한 줄 요약

이 논문은 비순수 거리 정규 그래프의 거리 차원과 그 절반 또는 접은 그래프 사이의 관계를 수립하며, 타일러 그래프 및 영 극성을 가진 대칭 설계의 삼각형 그래프와 같은 무한한 가족에 대해 경계를 제공한다. 이는 바바이의 순수 그래프에 대한 경계를 비순수 케이스로 확장하여, 대칭 설계의 삼각형 그래프에 대해 O(√N log N)의 상한과 특정 히르미트 기반 설계에 대해 O(log N)의 상한을 도출한다.

ABSTRACT

A resolving set for a graph $Γ$ is a collection of vertices $S$, chosen so that for each vertex $v$, the list of distances from $v$ to the members of $S$ uniquely specifies $v$. The metric dimension of $Γ$ is the smallest size of a resolving set for $Γ$. Much attention has been paid to the metric dimension of distance-regular graphs. Work of Babai from the early 1980s yields general bounds on the metric dimension of primitive distance-regular graphs in terms of their parameters. We show how the metric dimension of an imprimitive distance-regular graph can be related to that of its halved and folded graphs, but also consider infinite families (including Taylor graphs and the incidence graphs of certain symmetric designs) where more precise results are possible.

연구 동기 및 목표

• 기존의 거리 차원에 대한 경계를 순수에서 비순수 거리 정규 그래프로 확장하기.
• 비순수 그래프의 거리 차원이 그의 절반 또는 접은 그래프의 거리 차원과 어떻게 관련되어 있는지 분석하기.
• 타일러 그래프 및 영 극성을 가진 대칭 설계의 삼각형 그래프와 같은 특정 무한 가족에 대해 정확한 상한 경계 유도하기.
• 영 극성이 없는 대칭 설계의 삼각형 그래프에 대해서도 거리 차원 경계가 성립하는지 조사하기.
• 반대점 또는 이분 그래프인 거리 정규 그래프에서 거리 차원과 설계 이론 간의 연결 고리 탐색하기

제안 방법

• 비순수 그래프 Γ의 거리 차원이 절반 또는 접은 그래프의 거리 차원과 관련이 있음을 제시하는 정리 2.1 및 2.2를 사용한다.
• 기존의 순수 거리 정규 그래프에 대한 바바이의 일반 경계(정리 1.2)를 유도된 순수 그래프에 적용한다.
• 해결 집합의 개념을 활용: 모든 정점이 R로의 거리 벡터에 의해 유일하게 식별되는 집합 R.
• 영 극성을 가진 대칭 (v,k,λ)-설계의 삼각형 그래프의 구조를 활용하여 강한 정규 그래프와 연결한다.
• 접기 및 절반화 연산을 통해 비순수 그래프를 순수 그래프로 감소시켜 기존 경계의 적용을 가능하게 한다.
• 결과적으로 정리 4.6을 적용하여 v와 k에 관한 거리 차원 상한을 도출하며, 이를 N = 2v로 표현하여 N에 관한 경계로 변환한다.

실험 결과

연구 질문

• RQ1 비순수 거리 정규 그래프의 거리 차원은 그의 절반 또는 접은 그래프의 거리 차원과 어떻게 관련되어 있는가?
• RQ2 절반화 및 접기 방법을 통해 바바이의 순수 거리 정규 그래프에 대한 경계를 비순수 그래프로 확장할 수 있는가?
• RQ3 영 극성을 가진 대칭 설계의 삼각형 그래프에 대한 거리 차원 경계는 무엇인가?
• RQ4 정리 4.6의 거리 차원 경계는 영 극성이 없는 대칭 설계의 삼각형 그래프에도 성립하는가?
• RQ5 반대점 또는 이분 거리 정규 그래프의 지름 3 또는 4일 경우 거리 차원은 무엇인가, 특히 그 접은 또는 절반 그래프가 완전 그래프일 경우에 대해

주요 결과

• 영 극성을 가진 비자명한 (v,k,λ) 대칭 설계의 삼각형 그래프 Γ에 대해, 거리 차원은 μ(Γ) < 4√v log v 를 만족한다.
• 더 날카운 경계를 확보: μ(Γ) < 8v/k log v 로, 히르미트 기반 설계에서와 같이 v와 k가 선형적으로 관련되어 있을 경우 O(log N)으로 개선된다.
• 15,8,4 및 16,6,2-이형 설계의 삼각형 그래프의 거리 차원은 각각 8이며, 각 가족에서 영 극성을 가진 설계가 하나뿐일지라도 동일하다.
• N = 2v가 정점 수일 때, 영 극성을 가진 대칭 설계의 삼각형 그래프에 대해 μ(Γ) = O(√N log N) 경계가 성립한다.
• 결과는 영 극성이 없는 모든 대칭 설계의 삼각형 그래프에 대해서도 거리 차원 경계가 확장될 수 있음을 시사하지만, 이는 아직 미해결 문제이다.
• 이 방법은 삼각형 그래프를 강한 정규 그래프와 연결하기 위해 영 극성이 존재함을 전제로 하며, 이로 인해 바바이의 경계를 적용할 수 있다.