[논문 리뷰] A contribution to the Zarankiewicz problem

Vladimir Nikiforov|ArXiv.org|2009. 03. 31.

Graph theory and applications참고 문헌 2인용 수 5

한 줄 요약

이 논문은 코바리, 소스, 투란 및 퓨레디의 고전적 결과를 개선하여 자란키에비치 문제에 대한 새로운 가족의 상계를 제시한다. 행렬 원소에 대한 귀납적 접근법과 스펙트럼 그래프 이론을 사용하여, $K_{s,t}$-free 그래프에서의 간선 수의 최대치에 대한 더 날카운 상계를 수립함으로써, 이러한 그래프의 스펙트럼 반경과 간선 수 추정치를 향상시킨다.

ABSTRACT

Given positive integers m,n,s,t, let z(m,n,s,t) be the maximum number of ones in a (0,1) matrix of size m-by-n that does not contain an all ones submatrix of size s-by-t. We find a flexible upper bound on z(m,n,s,t) that implies the known bounds of Kovari, Sos and Turan, and of Furedi. As a consequence, we find an upper bound on the spectral radius of a graph of order n without a complete bipartite subgraph K_{s,t}.

연구 동기 및 목표

• 모든 1로 이루어진 $s \times t$ 부분행렬을 포함하지 않는 $m \times n$ $(0,1)$-행렬에서 1의 최대 개수를 구하는 자란키에비치 문제 $z(m,n,s,t)$에 대한 기존 상계를 개선한다.
• 코바리, 소스, 투란 및 퓨레디의 결과를 일반화하고, 매개변수화된 부등식의 가족을 도입하여 고전적 상계를 확장하고 정밀화한다.
• 새로운 행렬 상계를 활용하여 $K_{s,t}$-free 그래프의 더 날카운 스펙트럼 반경과 간선 수 상계를 유도한다.
• 친구 그래프와 강한 정규 그래프와 같은 특정 경우에서 상계의 날카로움을 입증한다.
• 특정 매개변수 영역에서 새로운 상계가 하위항을 제외하고 점근적으로 최적임을 보인다.

제안 방법

• 매개변수 $k \in \{0, \dots, s-2\}$에 대한 귀납을 통해 $z(m,n,s,t)$에 대한 새로운 상계 가족을 유도하며, 코바리–소스–투란 상한을 일반화한다.
• 모든 $k = 0, \dots, s-2$에 대해 $z(m,n,s,t) \leq (s-k-1)^{1/t} n m^{1-1/t} + (t-1) m^{1+k/t} + k n$ 라는 부등식을 수립하며, 이는 이전 결과를 포함하고 개선한다.
• 행렬 상계를 이분 그래프에 적용하고, 스펙트럼 그래프 이론을 사용하여 간선 수의 최대치와 인cidency 행렬의 스펙트럼 반경 $\mu$ 사이의 관계를 설정한다.
• 고유값의 교차성과 레일리 몫을 사용하여 $\mu$를 상계하며, $K_{s,t}$-free 그래프에 대해 $\mu \leq (s-k-1)^{1/t} n^{1-1/t} + (t-1) n^{k/t} + k$ 를 도출한다.
• $k$에 대한 최적화를 통해 가능한 한 날카운 스펙트럼 반경 상계를 확보하며, 특히 $s \geq t \geq 3$일 경우 $k = t-2$로 설정한다.
• 에르도스–레니 그래프와 일정한 공통 이웃 수를 가진 강한 정규 그래프와 같은 구성들을 통해 상계의 날카로움을 증명한다.

실험 결과

연구 질문

• RQ1 매개변수화된 부등식의 가족을 도입함으로써 고전적 자란키에비치 문제 상계를 개선할 수 있는가?
• RQ2 $K_{s,t}$-free 그래프의 순서 $n$에 대해 스펙트럼 반경 $\mu$에 대한 최적의 상계는 무엇인가?
• RQ3 점근적으로 상한의 날카로움 측면에서 새로운 상계는 퓨레디의 결과와 코바리–소스–투란의 결과와 어떻게 비교되는가?
• RQ4 하위항을 제외하고 새로운 상한을 달성하는 명시적 그래프 구성이 존재하는가?
• RQ5 유도된 부등식에서 매개변수 $k$는 비균형적인 $m$과 $n$에 대해 더 나은 상한을 도출하는 데 사용될 수 있는가?

주요 결과

• 논문은 새로운 상한 가족을 수립한다: $k = 0, \dots, s-2$ 에 대해 $z(m,n,s,t) \leq (s-k-1)^{1/t} n m^{1-1/t} + (t-1) m^{1+k/t} + k n$ 이며, 이는 이전 결과를 일반화하고 개선한다.
• $s \geq t \geq 3$ 일 경우 $k = t-2$로 설정하면 $\mu \leq (s-t+1)^{1/t} n^{1-1/t} + (t-1) n^{1-2/t} + t - 2$ 를 도출하며, 이는 퓨레디의 상한을 향상시킨다.
• $t=2$ 일 경우 $\mu \leq \frac{1}{2} + \sqrt{(s-1)(n-1) + \frac{1}{4}}$ 라는 상한이 친구 그래프에서 등호가 성립함을 증명하며, 이는 날카로움을 보여준다.
• 에르도스–레니 폴라리티 그래프와 퓨레디의 $K_{s,2}$-free 그래프와 같은 구성들을 통해 상한이 하위항을 제외하고 점근적으로 최적임을 입증한다.
• $s \geq 3$, $t \geq 3$, 그리고 $n$ 이 $m$에 대해 특정 범위 내에 있을 경우 최적의 $k$를 선택하여 다른 모든 $k'$ 보다 엄밀히 더 날카운 상한을 도출할 수 있음을 보이며, 이는 매개변수 $k$의 유용성을 입증한다.
• 간선 수 상한 $e(G) < \frac{1}{2}(s-t+1)^{1/t} n^{2-1/t} + \frac{1}{2}(t-1)n^{2-2/t} + \frac{1}{2}(t-2)n$ 은 하위항을 제외하고 퓨레디의 결과를 개선한다.