[논문 리뷰] Sidon sets and $C_4$-saturated graphs

David Fernando Daza Urbano, Carlos A. Trujillo외 1명|arXiv (Cornell University)|2018. 10. 11.

Limits and Structures in Graph Theory참고 문헌 19인용 수 5

한 줄 요약

이 논문은 시돈 집합과 $C_4$-포화 그래프 사이의 연결 고리를 확립하며, 시든 유형의 시돈 집합의 합 그래프가 $C_4$-자유 그래프를 생성하고, 이 그래프가 극값 투란 수 $ex(q^2+q+1, C_4)$를 달성함을 보이며, 이 그래프에 어떤 에지라도 추가하면 $\sqrt{n} + o(\sqrt{n})$개 이상의 $C_4$ 사본이 생성됨을 증명함으로써, 에르되시와 시몬وفي츠가 제기한 추측을 이 그래프 유형에 대해 검증함.

ABSTRACT

The problem of determining the Turán number of $C_4$ is a well studied problem that dates back to a paper of Erdös from 1938. It is known that Sidon sets can be used to construct $C_4$-free graphs. If $\A$ is a Sidon set in the abelian group $X$, the sum graph $G_{X, \A}$ with vertex set $X$ and edges set $E=\{\{x, y\}:x eq y, x+y\in \A\}$ is $C_4$-free. Using the sum graph of a Sidon set of type Singer we verify a conjecture of Erdös and Simonovits concerning the number of copies of $C_4$ in a graph with $ex(q^2+q+1, C_4)+1$ edges. Further, we give a sufficient condition for the sum graph of a Sidon set to be $C_4$-saturated and describe new $C_4$-saturated graphs.

연구 동기 및 목표

• 시돈 집합과 $C_4$-포화 그래프 사이의 관계를 극값 그래프 이론에서 조사함.
• 에지 수가 $ex(n, C_4) + 1$인 그래프에서 $C_4$ 사본의 최소 수에 관한 에르되시-시몬وفي츠 추측을 검증함.
• 시돈 집합의 합 그래프가 $C_4$-포화임을 특별히 집합의 최대성과 관련하여 특성화함.
• 보스-초와라, 시든, 루즈라, 카르테시안 곱과 같은 유형의 시돈 집합을 사용하여 새로운 $C_4$-포화 그래프 유형을 구성함.

제안 방법

• 아벨 군 $X$ 내의 시돈 집합 $\mathcal{A}$ 에서 합 그래프 $G_{X,\mathcal{A}}$ 를 구성함. 여기서 $\{x,y\}$ 가 간선이 되는 조건은 $x+y \in \mathcal{A}$ 를 만족함.
• 시든 유형의 시돈 집합의 영 결함 성질을 사용하여 $\mathcal{A} - \mathcal{A} = X$ 를 확보함으로써 밀도 높은 간선 커버리지 가능하게 함.
• $T(z)$ 를 $G_{X,\mathcal{A}}$ 내에서 $2z$ 와 $-z$ 사이의 3경로 수로 정의함. 이는 간선 추가 시 생성되는 $C_4$ 수를 제한함.
• 모든 $z \notin \mathcal{A}$ 에 대해 $|T(z)| \geq 4$ 이면 $G_{X,\mathcal{A}}$ 가 $C_4$-포화임을 증명함.
• 시돈 집합 구성 이론(시든, 보스-초와라, 루즈라 등)을 적용하여 명시적인 $C_4$-포화 그래프를 생성하고, 이들의 $C_4$-다중도를 계산함.
• 조합론적 경계와 모듈로 산술(예: $\mathbb{F}_p$ 위에서)을 사용하여 $|T(z)|$ 를 추정하고, $C_4$ 사본 수에 대한 정량적 하한을 유도함.

실험 결과

연구 질문

• RQ1 시든 유형의 시돈 집합의 합 그래프가 $ex(q^2+q+1, C_4)$ 에 도달하는가?
• RQ2 에르되시-시몬وفي츠 추측을 시돈 집합 구성 기법을 사용하여 $ex(n, C_4)+1$ 에지 그래프에서의 $C_4$ 다중도에 대해 검증할 수 있는가?
• RQ3 시돈 집합의 합 그래프가 $C_4$-포화임에 필요한 충분한 조건은 무엇인가?
• RQ4 시돈 집합의 합 그래프에 에지를 추가하면 몇 개의 $C_4$ 사본이 생성되는가?
• RQ5 시돈 집합의 최대성과 관련하여 그에 대응하는 합 그래프의 $C_4$-포화성 사이의 관계는 무엇인가?

주요 결과

• 체수 $q > 13$ 인 $\mathbb{Z}_{q^2+q+1}$ 내의 시든 유형 시돈 집합의 합 그래프는 $ex(q^2+q+1, C_4)$ 개의 간선을 가지며, $q > 13$ 일 때 $C_4$-자유임.
• 이 합 그래프에 어떤 에지라도 추가하면 최소 $q - 2 = \sqrt{|X|} + o(\sqrt{|X|})$ 개의 $C_4$ 사본이 생성되며, 이는 이 유형에 대해 에르되시-시몬وفي츠 추측을 확인함.
• 시돈 집합 $\mathcal{A}$ 가 최대일 때이고 그 때에만 합 그래프 $G_{X,\mathcal{A}}$ 가 $C_4$-포화임이 증명됨.
• 보스-초와라, 시든, 루즈라, 카르테시안 곱 유형의 시돈 집합에 대해, $\mathcal{A} = \mathcal{I}_\alpha$ 일 때 에지를 추가하면 최소 $p - 8$ 개의 $C_4$ 사본이 생성됨.
• 에지 추가로 생성되는 $C_4$ 사본 수는 $|T(z)| - 3$ 이하로 하한이 설정되며, $z \notin \mathcal{A}$ 일 때 $|T(z)| = |\mathcal{A}| = \sqrt{|X|} - \delta$ 를 만족함.
• 시돈 집합을 통한 $C_4$-포화 그래프의 구성은 명시적인 $C_4$-다중도 보장을 갖는 새로운 극값 그래프 유형을 제공함.