[논문 리뷰] Spanning $F$-cycles in random graphs

Alberto Espuny Díaz, Yury Person|arXiv (Cornell University)|2021. 06. 18.

Limits and Structures in Graph Theory인용 수 2

한 줄 요약

이 논문은 무작위 그래프에서 모서리가 겹치는 스패닝 사이클의 출현 임계값을 설정한다. 특히 2중으로 겹치는 C4-사이클과 Kr-사이클( r ≥ 3)에 대해 다룬다. 칸, 나라야난, 파크의 프레임워크를 새로운 분할 레미마를 통해 일반화함으로써, 저자들은 스패닝 C4-사이클의 임계값이 Θ(n⁻²/³)임을 증명하고, Kr-사이클의 임계값은 Θ(n⁻²/(r+1))임을 밝혀내며, 프리즈의 질문을 해결하고 최근의 랜덤 그래프 임계값 연구를 확장한다.

ABSTRACT

We extend a recent argument of Kahn, Narayanan and Park (Proceedings of the AMS, to appear) about the threshold for the appearance of the square of a Hamilton cycle to other spanning structures. In particular, for any spanning graph, we give a sufficient condition under which we may determine its threshold. As an application, we find the threshold for a set of cyclically ordered copies of $C_4$ that span the entire vertex set, so that any two consecutive copies overlap in exactly one edge and all overlapping edges are disjoint. This answers a question of Frieze. We also determine the threshold for edge-overlapping spanning $K_r$-cycles.

연구 동기 및 목표

• 프리즈가 제기한, 2-edge 오버랩을 갖는 스패닝 C4-사이클의 임계값을 규명하는 열린 문제를 다룬다.
• 해머턴 사이클의 제곱에 대한 최근 돌파구를 더 일반적인 스패닝 구조로 확장하여, 엣지 오버랩이 있는 Kr-사이클을 포함한다.
• 새로운 분할 레미마를 사용하여 랜덤 그래프에서 스패닝 하위그래프의 임계값을 설정하는 일반적 프레임워크를 개발한다.
• 기존 방법으로는 접근이 어려웠던 엣지 오버랩이 있는 Kr-사이클(r ≥ 3)과 2오버랩 C4-사이클에 대해 날카운 임계값 범위를 제공한다.
• 스패닝 하위그래프의 임계함수에 관한 이전 결과를 통합하고 확장하는 일반 정리(정리 2.2)를 수립한다.

제안 방법

• 노출 라운드 수가 두 개를 초월하는 구조를 다룰 수 있도록 칸, 나라야난, 파크의 접근을 일반화한 새로운 분할 레미마(레미마 2.1)를 도입한다.
• 표준 스프레드니스를 강화하고 구성요소 구조 및 간선 조밀도를 통합한 (q, α, δ)-슈퍼스프레드 하이퍼그래프 성질을 정의한다.
• 분할 과정을 통해 후보 복제본의 하이퍼그래프를 반복적으로 축소시키며, 드러나지 않은 간선을 추적하고, 높은 확률로 하이퍼그래프가 크기를 유지하도록 한다.
• 일반 임계값 정리(정리 2.2)를 Kr,2,n 및 Ce4,n 하이퍼그래프에 적용하여, 적절한 매개변수 하에서 슈퍼스프레드임을 보인다.
• Kr,2,n 내에서 주어진 하위그래프 I를 실현하는 순서의 수를 구성요소별 정점 삽입과 차수 제약 조건을 사용하여 유계함으로써, |I|에 대해 지수적 bound를 도출한다.
• 컴ponent 크기 추정(레미마 3.12–3.13)과 계승 및 지수적 bound를 결합하여 슈퍼스프레드 조건을 유도하고, 임계값을 도출한다.

실험 결과

연구 질문

• RQ1 연속적인 C4들이 정확히 한 개의 간선에서 겹치고, 모든 겹치는 간선들이 서로소인 경우, G(2n, p)에서 2오버랩 C4-사이클이 나타나는 확률의 임계값은 무엇인가?
• RQ2 연속적인 클리크들이 정확히 한 개의 간선에서 공유하고, 나머지 클리크들이 정점으로서 서로소인 경우, G(n, p)에서 엣지 오버랩이 있는 스패닝 Kr-사이클(r ≥ 4)의 임계값은 무엇인가?
• RQ3 해머턴 사이클의 제곱에 대한 칸-나라야난-파크 프레임워크는 두 라운드 노출을 초월하는 더 복잡한 스패닝 구조를 다룰 수 있도록 일반화될 수 있는가?
• RQ4 랜덤 그래프 임계값 이론에서 스프레드니스 조건은 어떻게 강화되어 구성요소 구조를 포착하고 임계값 추정을 향상시킬 수 있는가?
• RQ5 분할 레미마와 일반 임계값 정리는 레인보우 또는 하이퍼그래프 변형의 스패닝 하위그래프 문제로 확장될 수 있는가?

주요 결과

• G(2n, p)에서 2오버랩 C4-사이클(Ce4,n)의 출현 임계값은 Θ(n⁻²/³)이며, 이는 프리즈가 제기한 질문을 해결한다.
• G(n, p)에서 엣지 오버랩이 있는 스패닝 Kr-사이클(Kr,2,n)의 임계값은 r ≥ 3 이고 (r−2)가 n을 나누면 Θ(n⁻²/(r+1))이다.
• Cr,2,n이 (O(n⁻²/(r+1)), 1/(r+1), 1/(r(r+1)))-슈퍼스프레드임을 보여주며, 이는 일반 임계값 정리의 적용을 가능하게 한다.
• 분할 레미마를 통해 두 번 이상의 노출 라운드가 필요한 스패닝 구조에 대한 체계적인 분석이 가능해지며, 이는 이전 방법을 일반화한다.
• 리오단의 일반적인 충분조건은 Kr,2,n에 대해 최적의 임계값을 도출하지 못하며, 이는 새로운 슈퍼스프레드 프레임워크의 필요성을 보여준다.
• 일반 임계값 정리(정리 2.2)는 다양한 스패닝 하위그래프에 대해 날카운 임계값을 유도하는 통합된 방법을 제공하며, 이는 이전 기법으로는 다루기 어려운 경우에도 적용 가능하다.