파이 반 각 요 그래프는 스패너이다

본 논문은 요 그래프(Yao graph) 중 파라미터 k=4인 경우, 즉 각 정점에서 90도(π/2) 각을 갖는 네 개의 원뿔을 사용해 정의되는 Y₄가 두 가지 거리 메트릭(L₂와 L∞)에서 스패너임을 증명한다. 1. **문제 정의 및 배경** - V를 평면상의 유한 정점 집합이라 하고, 완전 유클리드 그래프 G=(V,E)를 고려한다. - 요 그래프 Y_k는 각 정점 u에서 k개의 동일 각도 원뿔을 그려, 각 원뿔 안에서 가장 짧은 이웃 정점 v와 방향성 간선 →uv를 선택한다. - L₂ 메트릭에서는 거리 |uv|가 유클리드 거리이며, L∞ 메트릭에서는 최대 좌표 차이(|x_u−x_v|,|y_u−y_v|)가 거리이다. - 스패너는 모든 정점 쌍 (u,v)에 대해 H⊆G가 u와 v 사이의 최단 경로 길이가 t·|uv| 이하가 되도록 하는 서브그래프이며, t를 신장 인자라 한다. 2. **L∞ 메트릭에서 Y₄^∞의 특성** - **Lemma 1 (평면성)**: Y₄^∞는 평면 그래프이다. 증명은 두 간선 →ab와 →cd가 교차한다면 각각의 정사각형 S(a,b), S(c,d)가 겹쳐야 하는데, 정의에 의해 겹칠 경우 교차 간선이 존재할 수 없음을 보인다. - **정의**: Q_i(a) (i=1..4)는 a를 기준으로 네 개의 사분면, P_i(a)는 해당 사분면을 따라 따라가는 방향성 경로, S(a,b)와 ∂S(a,b)는 a를 한 꼭짓점으로 하고 b를 포함하는 열린 정사각형과 그 경계이다. - **Theorem 1 (8‑스패너)**: 모든 정점 쌍 (a,b)에 대해 Y₄^∞ 내에 L∞ 거리 기준으로 ≤8·|ab|_∞인 경로가 존재한다. 증명은 |ab|_∞를 기준으로 귀납한다. - 기본 경우: a와 b가 가장 가까운 쌍이면 직접 연결되거나 동일 거리의 다른 정점 c가 존재해 교차가 모순이 된다. - 귀납 단계: S(a,b)가 비어 있으면 사각형 A를 정의하고, A 안의 임의 정점 c를 통해 a→c와 c→b 경로를 연결한다. A가 비어 있지 않으면 여러 경우(사각형 내부 비어 있음, 비어 있지 않음)를 구분해 경로를 구성한다. 각 경우마다 경로 길이가 8·|ab|_∞ 이하임을 보인다. 3. **L₂ 메트릭에서 Y₄의 기본 성질** - **경로 정의**: P(a→b) = →ac ⊕ P(c→b) 로 재귀적으로 정의하며, a와 b가 같은 사분면 Q(a,b) 안에 있으면 →ac는 그 사분면에서 가장 짧은 간선이다. 이 경로는 항상 사각형 R(a,b) (a와 b를 대각선으로 하는 직사각형) 내부에 머문다. - **Lemma 2**: P_R(a→b) (R(a,b) 내부에서 멈춘 경로)의 길이는 ≤√2·|ab|이며, 각 개별 간선의 길이는 ≤|ab|이다. 이는 경로가 xy‑단조이며, 직각 삼각형의 변 길이 관계를 이용해 증명한다. - **Proposition 1, 2**: 사각형의 대각선과 변 길이 사이의 기본 부등식, 그리고 삼각형의 코사인 법칙을 이용한 각도와 변 길이 관계를 정리한다. 4. **교차 간선에 대한 일련의 Lemma** - **Lemma 3**: 동일 사분면 내에서 선택된 두 간선은 교차할 수 없음을 보인다. - **Lemma 4**: 교차 사각형 acbd에서 짧은 변은 대각선보다 짧으며, 짧은 변과 긴 대각선의 비율은 ≤1/√2이다. - **Lemma 5~7**: 교차점이 사각형 내부에 있거나 외부에 있을 때, 각 정점이 속한 사분면과 원뿔을 이용해 대체 경로를 구성한다. 특히, 교차점이 사각형 내부에 있으면 두 정점 사이에 존재하는 사각형을 분할해 경로를 만든다. - **Lemma 8**: 최종적으로, 교차하는 두 간선의 네 정점 사이에 길이 ≤3·|ab| 이하의 경로가 존재함을 증명한다. 이는 L∞ 메트릭에서 얻은 8‑스패너 상수와 결합해 L₂ 메트릭에서 전체 스패너 상수를 도출하는 데 핵심이다. 5. **L₂ 메트릭에서 Y₄가 스패너임을 증명** - 섹션 4에서는 L∞ 결과를 활용한다. Y₄^∞의 임의 간선 ab에 대해, Y₄(L₂)에서도 동일한 정점 쌍을 연결하는 경로가 존재한다는 것을 보인다. - 교차 간선 분석(Lemma 8)과 L∞에서의 8‑스패너 상수를 결합해, Y₄(L₂) 내에서 ab를 연결하는 경로 길이가 ≤8·(29+23√2)·|ab| 이하임을 얻는다. 여기서 29와 23√2는 사각형 대각선·변 비율과 교차 경로 분석에서 도출된 최악의 상수이다. - 따라서 Y₄는 유클리드 거리에서 신장 인자 8·(29+23√2)≈492.24를 갖는 스패너임을 최종적으로 선언한다. 6. **결론 및 의의** - Y₄^∞가 평면이며 8‑스패너임을 최초로 증명함으로써, 기존 연구에서 k≥7(또는 k≥9)에서만 스패너가 알려졌던 상황을 개선한다. - L₂ 메트릭에서 Y₄가 유한 상수 스패너임을 구체적인 상수와 함께 제시함으로써, π/2 각을 갖는 요 그래프가 실제 네트워크 설계(예: 무선 센서 네트워크)의 경량화된 스패너 구조로 활용될 가능성을 열어준다. - 교차 간선에 대한 정교한 기하학적 분석은 다른 각도(예: π/3) 혹은 고차원 요 그래프에 대한 스패너 특성 연구에도 적용 가능한 일반적인 방법론을 제공한다.