[논문 리뷰] On paths, stars and wyes in trees

Sébastien Bubeck, Katherine Edwards외 2명|arXiv (Cornell University)|2016. 01. 08.

Advanced Combinatorial Mathematics참고 문헌 1인용 수 3

한 줄 요약

이 논문은 임의의 트리에서 5정점의 와이즈, 경로, 별의 수에 대한 날카운 선형 상한 $ Y \leq 9S + P + 6 $ 를 증명함으로써 트리의 국소적 프로파일에 대한 이해를 발전시킨다. 이는 1-밀리피드 트리와 2-밀리피드 트리 사이의 선분이 5-프로파일 볼록집합의 한 면임을 입증한다. 놀랍게도 $ d \geq 4 $ 일 때는 선분 $[d\text{-밀리피드}, (d+1)\text{-밀리피드}]$ 가 면이 아니며, 표준 밀리피드 트리들의 볼록결합 외부에 위치하는 일반화된 밀리피드 트리를 구성함으로써 이를 입증한다.

ABSTRACT

We further the study of local profiles of trees. Bubeck and Linial showed that the set of 5-profiles contains a certain polytope, namely the convex hull of d-millipedes, and they proved that the segment [0-millipede, 1-millipede] corresponds to a face of the set of 5-profiles. Our main result shows that the segment [1-millipede, 2-millipede] also corresponds to a face. Surprisingly we also show that for d > 3 the segment [d-millipede, (d+1)-millipede] is not a face of the set of 5-profiles. We do so by exhibiting new trees which are generalized millipedes with intriguing patterns for their degree sequence. The plot thickens, and the set of 5-profiles remains a mysterious convex set.

연구 동기 및 목표

• 트리에서 5정점 서브트리 수에 대한 기존 선형 상한을 보다 정교하게 다듬고, 특히 이전의 상한 $ Y \leq 36S + P + 4 $ 보다 향상시키는 것.
• 연속된 $ d $-밀리피드 트리 사이의 선분이 큰 트리에서 달성 가능한 5-프로파일의 볼록집합 $ \Delta_{\mathcal{T}}(5) $ 의 면을 이루는지 여부를 규명하는 것.
• Bubeck와 Linial(2013)의 열린 문제 1을 해결하기 위해 새로운 상한에 해당하는 정확한 면을 특성화하는 것.
• 열린 문제 3에 답하기 위해, 경로의 비율이 0으로 수렴할 경우 별의 비율이 1로 수렴함을 보여주며, 경로와 별의 빈도 사이의 비선형 관계를 제공하는 것.

제안 방법

• 이전 연구에서 사용된 $(1,0)$-컷의 새로운 확장 기반의 귀납적 추론을 사용한다.
• $(0,0)$, $(1,0)$, $(1,1)$, $(2,1)$-컷을 도입하여 트리의 구조를 조작하면서 $ P $, $ S $, $ Y $ 의 변화를 추적한다.
• 도로 2차 정점 제거를 가능하게 하는 감소 보조정리를 도입하여 부등식에 영향을 주지 않으면서 분석을 도로 3차 정점 이하인 트리로 단순화한다.
• 도로 수열 기반의 $ Y(T) $ 에 대한 상한을 적용하여 $ Y(T) \leq 2\sum_v d_v^{2+\sqrt{3}} $ 를 도출하고, $ 2+\sqrt{3} $ 가 최적의 지수임을 증명한다.
• 제닝스 부등식과 서브트리 수에 대한 조합론적 상한을 활용하여 큰 트리에서 경로와 별의 비율 간의 비선형 부등식을 유도한다.
• 특정 도로 수열을 가진 일반화된 밀리피드 트리를 구성하여 $ d \geq 4 $ 일 때 $[d\text{-밀리피드}, (d+1)\text{-밀리피드}]$ 가 $ \Delta_{\mathcal{T}}(5) $ 의 면이 아니라는 것을 입증한다.

실험 결과

연구 질문

• RQ1 선분 $[1\text{-밀리피드}, 2\text{-밀리피드}]$ 는 5-프로파일 볼록집합 $ \Delta_{\mathcal{T}}(5) $ 의 면에 해당하는가?
• RQ2 $ d \geq 4 $ 일 때 선분 $[d\text{-밀리피드}, (d+1)\text{-밀리피드}]$ 는 $ \Delta_{\mathcal{T}}(5) $ 의 면인가?
• RQ3 모든 트리에 대해 $ Y \leq 36S + P + 4 $ 보다 더 날카운 선형 상한을 확립할 수 있는가?
• RQ4 5정점 서브트리 중 경로의 비율이 0으로 수렴할 경우, 별의 비율은 어떻게 渐진하는가?
• RQ5 Y(T) 의 도로 수열 기반 상한에서 최적의 지수는 무엇이며, 이를 달성할 수 있는가?

주요 결과

• 상한 $ Y \leq 9S + P + 6 $ 는 날카롭고 최적임을 증명하였으며, $ S, P, Y $ 가 임의로 크게 증가하더라도 등호가 성립함을 보였다.
• 선분 $[1\text{-밀리피드}, 2\text{-밀리피드}]$ 는 5-프로파일 볼록집합 $ \Delta_{\mathcal{T}}(5) $ 의 면에 해당하며, 새로운 상한을 특성화한다.
• $ d \geq 4 $ 일 때 선분 $[d\text{-밀리피드}, (d+1)\text{-밀리피드}]$ 는 표준 밀리피드 트리들의 볼록결합 외부에 위치하는 일반화된 밀리피드 트리를 구성함으로써 $ \Delta_{\mathcal{T}}(5) $ 의 면이 아님을 입증하였다.
• 새로운 $ Y(T) $ 상한이 확립됨: $ Y(T) \leq 2\sum_v d_v^{2+\sqrt{3}} $ 이며, 지수 $ 2+\sqrt{3} $ 가 최적임을 증명하였다.
• 비선형 부등식이 도출됨: $ p_2 \geq 1 - e(k-1)!(k-1)^\varepsilon p_1^{1-\varepsilon/(k-1)} $ ( $ k \geq 6 $ ), $ k=5 $ 일 경우 특정 형태를 취하며, 열린 문제 3를 해결하였다.
• 결과적으로 경로의 비율이 0으로 수렴할 경우 별의 비율이 1로 수렴함을 확인하였으며, 명시적인 정량적 속도를 제공하였다.