[논문 리뷰] Incidence Bounds for Block Designs

Ben Lund, Shubhangi Saraf|arXiv (Cornell University)|2014. 07. 28.

graph theory and CDMA systems참고 문헌 18인용 수 7

한 줄 요약

이 논문은 균형 불완전 설계(BIBDs)에 대한 새로운 극한 인cidences 경계를 수립하며, 유한 기하학에서 점과 평면 간의 인cidences 결과를 일반화한다. 스펙트럴 그래프 이론을 사용하여 BIBD 내의 큰 점 또는 블록 부분집합이 많은 t-rich 블록 또는 점을 결정함을 증명함으로써, 유한 평면 내 서로 다른 삼각형 면적의 수에 대한 날카운 경계를 도출한다. 이는 Iosevich, Rudnev, Zhai의 이전 작업을 향상시킨다.

ABSTRACT

We prove three theorems giving extremal bounds on the incidence structures determined by subsets of the points and blocks of a balanced incomplete block design (BIBD). These results generalize and strengthen known bounds on the number of incidences between points and $m$-flats in affine geometries over finite fields. First, we show an upper bound on the number of incidences between sufficiently large subsets of the points and blocks of a BIBD. Second, we show that a sufficiently large subset of the points of a BIBD determines many t-rich blocks. Third, we show that a sufficiently large subset of the blocks of a BIBD determines many t-rich points. These last two results are new even in the special case of incidences between points and $m$-flats in an affine geometry over a finite field. As a corollary we obtain a tight bound on the number of t-rich points determined by a set of points in a plane over a finite field, and use it to sharpen a result of Iosevich, Rudnev, and Zhai on the number of triangles with distinct areas determined by a set of points in a plane over a finite field.

연구 동기 및 목표

• 유한 기하학의 인cidences 결과를 BIBD의 조합적 설정으로 일반화하기.
• 큰 점 부분집합이 결정하는 t-rich 블록 수에 대한 극한 경계 수립하기.
• 큰 블록 부분집합이 결정하는 t-rich 점 수에 대한 경계 유도하기.
• 이러한 인cidences 결과를 활용하여 유한 평면 내 서로 다른 삼각형 면적 수에 대한 기존 경계를 향상시키기.
• 새로운 경계가 날카롭고, 유한 체 위의 애파인 기하학에서 알려진 결과를 일반화함을 보여주기.

제안 방법

• 인cidences 행렬의 고유값 경계를 활용하여 스펙트럴 그래프 이론을 적용해 BIBD 내의 인cidences 구조 분석하기.
• 이중 세기와 코시-슈바르츠 부등식을 사용하여 인cidences 수와 t-rich 블록 또는 점 수를 연결하기.
• 큰 점 집합 내에서 t-rich 블록의 최소 수를 측정하기 위해 함수 $ a_{ ho,t} $ 를 정의하고 분석하기.
• BIBD의 이중성에 기반해 블록 집합을 통한 t-rich 점의 이중 개념 도입하기.
• 직교 변환을 사용하여 $ \mathbb{F}_q^2 $ 상의 내적 문제로 기하학적 삼각형 면적 문제를 변환하기.
• 정리 15(내적 집합에 대한 스펙트럴 경계)를 적용하여 서로 다른 삼각형 면적 수에 대한 하한을 도출하기.

실험 결과

연구 질문

• RQ1 BIBD 내에서 큰 점 부분집합과 블록 부분집합 간의 최대 인cidences 수는 얼마인가?
• RQ2 충분히 큰 점 부분집합이 BIBD에서 결정해야 하는 t-rich 블록 수는 몇 개인가?
• RQ3 충분히 큰 블록 부분집합이 BIBD에서 결정해야 하는 t-rich 점 수는 몇 개인가?
• RQ4 BIBD 내의 인cidences 경계를 사용하여 유한 평면 내 서로 다른 삼각형 면적 수에 대한 기존 결과를 향상시킬 수 있는가?
• RQ5 유한체 $ \mathbb{F}_q^2 $ 내 점 집합이 결정하는 서로 다른 삼각형 면적 수에 대한 가장 날카운 하한은 무엇인가?

주요 결과

• BIBD 내 큰 점 부분집합은 $ a_{ ho,t} q^2 $개 이상의 t-rich 블록을 결정한다. 여기서 $ a_{ ho,t} = \frac{\rho^2(t-1)}{\rho^2(t-1) + 1 + \rho} $이며, $ \rho $ 는 점 집합의 크기를 제어한다.
• 모든 $ \epsilon > 0 $ 에 대해, $ \mathbb{F}_q^2 $ 내 크기가 $ (1+\epsilon)(t-1)q $ 인 점 집합은 최소 $ c_{\epsilon} q $ 개의 서로 다른 삼각형 면적을 결정한다. 여기서 $ c_{\epsilon} \to 1 $ 이다. $ \epsilon \to \infty $ 일 때.
• 어느 점에도 최소 $ c'_{\epsilon} q $ 개의 t-rich 선이 존재한다. 여기서 $ c'_{\epsilon} = \frac{2\epsilon^2}{(1+\epsilon)(\epsilon^2 + \epsilon + 1)} $ 이며, $ \epsilon \leq 1 $ 인 경우.
• 공통 꼭짓점을 가진 삼각형이 결정하는 서로 다른 삼각형 면적 수는 최소 $ \left( \frac{(t-1)c'^2_{\delta}}{(t-1)c'^2_{\delta} + 1} \right) q $ 이다. 여기서 $ \delta = \frac{1+\epsilon}{t-1} - 1 $.
• 서로 다른 삼각형 면적 수에 대한 경계는 날카롭고, Iosevich, Rudnev, Zhai의 결과를 더 강력한 정량적 하한을 제공함으로써 향상시킨다.
• 결과는 유한 기하학 내 알려진 인cidences 경계를 일반화하고 강화하며, 특히 $ \mathbb{F}_q^n $ 내 점과 평면의 특수 케이스에서도 마찬가지이다.