[논문 리뷰] Further results on the inducibility of $d$-ary trees

Audace A. V. Dossou-Olory, Stephan Wagner|arXiv (Cornell University)|2018. 11. 27.

Graph theory and applications참고 문헌 15인용 수 6

한 줄 요약

이 논문은 균형 잡힌 트리와 동일한 부트리스를 가진 트리에 대해 특히 초점적으로 새로운 상한과 하한을 설정하여 $d$-ary 트리의 유도 가능성에 대한 이해를 발전시킨다. 엄격한 $d$-ary 트리에서 최대 밀도가 유도 가능성으로 수렴하는 속도가 $O(n^{-1})$임을 증명하여, 한계의 정확성을 지지하는 추측을 뒷받침하며, 구조적 분해와 잎에 의해 유도된 부분트리 빈도의 점근적 분석을 통해 날카운 경계를 제공한다.

ABSTRACT

A subset of leaves of a rooted tree induces a new tree in a natural way. The density of a tree $D$ inside a larger tree $T$ is the proportion of such leaf-induced subtrees in $T$ that are isomorphic to $D$ among all those with the same number of leaves as $D$. The inducibility of $D$ measures how large this density can be as the size of $T$ tends to infinity. In this paper, we explicitly determine the inducibility in some previously unknown cases and find general upper and lower bounds, in particular in the case where $D$ is balanced, i.e., when its branches have at least almost the same size. Moreover, we prove a result on the speed of convergence of the maximum density of $D$ in strictly $d$-ary trees $T$ (trees where every internal vertex has precisely $d$ children) of a given size $n$ to the inducibility as $n o \infty$, which supports an open conjecture.

연구 동기 및 목표

• 이전에 알려지지 않은 경우에 대해 $d$-ary 트리의 유도 가능성 값을 결정하는 것, 특히 균형 잡힌 구조와 대칭적인 구조에 초점하여.
• 특히 트리 $D$가 $d$개의 동형 부트리스를 가질 경우에 일반적인 상한과 하한을 설정하는 것.
• 크기가 $(d-1)n+1$인 엄격한 $d$-ary 트리에서 최대 밀도가 $n \to \infty$일 때 유도 가능성으로 수렴하는 속도를 분석하여, 미해결 추측을 지지하는 것.

제안 방법

• 저자들은 유도 가능성에 대한 하한을 도출하기 위해 엄격한 $d$-ary 트리 $H_n^d$의 구성 방법을 사용한다. 이는 점근적 밀도 $\eta_d(D)$를 통해 이루어진다.
• 크기 $(d-1)n+1$인 엄격한 $d$-ary 트리에서 최대 밀도를 유계화하기 위해 정리 8을 적용하여 $O(n^{-1})$ 오차 항을 도출한다.
• $d$개의 동일한 부트리스를 가진 트리의 경우, 다항계수와 부트리스의 유도 가능성의 조합을 통해 날카운 경계를 유도한다.
• 확률적 구성 방법을 사용한다: 유도 가능성 한계가 알려진 트리 $T_n^{(i)}$들을 조합하여, 각 지점에서 하나의 복제본을 선택함으로써 $D$의 복제본을 형성하는 더 큰 트리 $T_n$을 구성한다.
• 이 방법은 이항계수의 점근적 분석과 다변량 다항분포를 활용하여 한계 밀도를 추정하는 데 의존한다.
• 저자들은 유도 가능성 정의에서 상한 극한을 표준 극한으로 대체할 수 있음을 증명하여 엄밀한 수렴 분석을 가능하게 한다.

실험 결과

연구 질문

• RQ1 d-ary 트리가 $d$개의 동일한 지점들을 가질 경우, 그 유도 가능성의 정확한 값은 무엇이며, 어떻게 날카운 경계를 설정할 수 있는가?
• RQ2 크기가 $n$인 엄격한 $d$-ary 트리에서 $d$-ary 트리 $D$의 최대 밀도가 $n \to \infty$일 때 유도 가능성으로 수렴하는 속도는 얼마나 되는가?
• RQ3 모든 $d$-ary 트리 $D$에 대해 $I_d(D) = \eta_d(D)$라는 추측이 성립하는가? 그리고 수렴 속도 분석을 통해 이를 지지할 수 있는가?
• RQ4 유도 가능성의 하한을 그 부트리스의 유도 가능성에 기반하여 유도할 수 있는가?
• RQ5 정확한 값이 알려지지 않은 $d$-ary 트리의 유도 가능성에 대해 가장 좋은 하한은 무엇인가?

주요 결과

• 엄격한 $d$-ary 트리에서 최대 밀도가 유도 가능성으로 수렴하는 속도는 $O(n^{-1})$이며, 이는 $I_d(D) = \eta_d(D)$가 모든 $d$-ary 트리에 대해 성립한다는 추측을 지지한다.
• 트리 $D$가 $d$개의 동형 부트리스 $D'$를 가질 경우, $\frac{\|D\|!}{d^{\|D\|}}\left(\frac{I_d(D')}{\|D'\|!}\right)^d \leq I_d(D) \leq \frac{\|D\|!}{d^{\|D\|}-d}\left(\frac{I_d(D')}{\|D'\|!}\right)^d$ 를 만족하며, 이는 날카운 경계를 제공한다.
• 임의의 $d$-ary 트리 $D$가 지점 $D_i$를 가질 경우, $I_d(D) \geq \binom{\|D\|}{\|D_1\|,\dots,\|D_d\|}\|D\|^{-\|D\|}\prod_{i=1}^d \|D_i\|^{\|D_i\|}\prod_{i=1}^d I_d(D_i)$ 라는 하한 경계가 성립하며, 이는 이전 결과를 일반화한다.
• 삼진 트리 $T_1$의 경우, 유도 가능성은 $0.08535 \leq I_3(T_1) \leq 0.08537$ 로 경계되며, 매우 날카로운 경계임을 보여준다.
• 이진 트리 $T_2$의 경우, 하한은 $I_2(T_2) \geq 0.32922$ 로 이전의 하한 $\eta_2(T_2) \approx 0.27650$ 보다 훨씬 강력하며, 상한은 $I_2(T_2) \leq 0.48387$ 로 비트리비어 갭이 있음을 나타낸다.
• 논문은 유도 가능성 정의에서 극한이 존재하며, 크기가 $(d-1)n+1$인 엄격한 $d$-ary 트리에서 취할 수 있음을 확인하여 분석을 단순화하고, 이러한 트리를 극한 구성에서 사용하는 데 유리함을 지지한다.