제곱수 그래프의 베리센트릭 분할 차원 연구: n pq 형태 정수환에 대한 새로운 결과

초록

본 논문은 서로 다른 소수 p, q (q>p) 로 구성된 정수환 ℤₙ, n=pq 의 영제곱원 그래프 Γ(ℤₙ)의 베리센트릭 분할 BS(Γ(ℤₙ))에 대해 메트릭 차원(dim)을 구한다. 저자들은 p=2,3 및 일반적인 홀수 소수 경우(q≥2p−1) 에서 dim = q−2 임을 증명하고, 모든 n=pq 에 대해 dim ≥ q−2 라는 하한을 제시한다.

상세 분석

논문은 먼저 영제곱원 그래프 Γ(R)의 기본 정의와 메트릭 차원(metric dimension, MD)의 개념을 정리한다. 메트릭 차원은 그래프의 모든 정점이 선택된 기준점 집합 A에 대해 서로 다른 거리벡터(δ(s|A))를 갖도록 하는 최소 크기의 해석 집합(resolving set)으로 정의되며, 그 최소 크기를 dim(G)라 한다. 베리센트릭 분할(BS)은 그래프의 모든 간선을 두 개의 간선으로 나누어 새로운 정점을 삽입하는 연산으로, 결과 그래프는 항상 이분 그래프이며 사이클이 없다는 특성을 가진다.

저자들은 n=pq 형태의 환 R=ℤₙ에 대해 Γ(R)의 구조를 분석한다. p와 q가 서로 다른 소수이면, 영제곱원은 {p,2p,…,(q−1)p}∪{q,2q,…,(p−1)q} 로 이루어지고, 이들 사이에 a·b≡0 (mod n) 인 경우에만 간선이 존재한다. 따라서 Γ(R)은 완전 이분 그래프 K_{q−1, p−1}에 추가적인 정점(0이 아닌 영제곱원)들을 포함하는 형태가 된다.

베리센트릭 분할을 적용하면 각 기존 간선마다 새로운 중간 정점이 생겨, 원래의 두 파트 A와 B가 각각 “원래 정점 집합”과 “새로운 중간 정점 집합”으로 확장된다. 저자들은 이 구조를 이용해 해석 집합을 구성한다.

1. p=2인 경우: BS(Γ(ℤ_{2q}))는 q−1개의 원래 정점과 q−1개의 중간 정점으로 이루어진 트리이며, Proposition 2.3(트리의 메트릭 차원 공식)을 직접 적용해 dim = q−2임을 얻는다.

2. p=3인 경우: 그래프는 보다 복잡한 4‑partite 구조(A, B₁, C₁, Q)로 나뉜다. 저자들은 E={a₁, b₁₂,…,b₁_{q−2}} 라는 집합을 선택하고, 각 정점에 대해 거리벡터를 명시적으로 계산한다. 모든 정점이 서로 다른 거리벡터를 갖는 것을 보이며, dim ≤ q−2를 얻는다. 반대로, 임의의 q−3개의 정점만을 선택하면 A 파트 내에서 거리벡터가 겹치는 경우가 발생함을 보이므로 dim ≥ q−2가 성립한다. 따라서 dim = q−2가 된다.

3. 일반적인 홀수 소수 경우(p≥5, q≥2p−1): 저자들은 정점을 6개의 부분집합(A, B, C, Q 등)으로 세분화하고, 복잡한 인덱싱을 통해 E라는 후보 해석 집합을 만든다. 각 부분에 대해 거리벡터를 체계적으로 기술하고, 동일한 논리를 적용해 dim ≤ q−2를 증명한다. 하한 dim ≥ q−2는 A 파트가 서로 독립적인 클러스터를 형성하고, 선택된 해석 집합이 충분히 작을 경우 동일 거리벡터가 발생한다는 일반적인 논증을 사용한다.

핵심 통찰은 베리센트릭 분할이 원래 영제곱원 그래프의 이분 구조를 보존하면서도 “중간 정점”을 통해 거리 차이를 확대시켜, 비교적 작은 해석 집합만으로도 모든 정점을 구별할 수 있게 만든다는 점이다. 또한, q가 큰 경우(특히 q≥2p−1)에는 A 파트의 크기가 q−1이므로, 최소 q−2개의 기준점이 필요함을 자연스럽게 도출한다.

논문은 또한 메트릭 차원의 하한을 q−2로 제시함으로써, 제시된 해석 집합이 실제로 최적임을 보인다. 다만, p와 q 사이의 관계가 q≥2p−1을 만족하지 않을 경우(예: p=5, q=7)에는 현재 증명이 미비하며, 차원값이 q−2보다 클 가능성에 대한 논의가 부족하다.