[논문 리뷰] Combinatorial problems in finite geometry and lacunary polynomials

Aart Blokhuis|ArXiv.org|2003. 04. 28.

Limits and Structures in Graph Theory참고 문헌 28인용 수 3

한 줄 요약

이 논문은 유한 기하학의 조합론적 문제, 특히 유한 사영 평면 내 차단 집합과 방향 집합에 대해 Rédei의 빈약한 다항식 이론을 적용한다. 차단 집합의 크기에 대한 날카운 경계를 설정하고, 적은 방향을 가진 함수를 특성화하며, $PG(2,p)$ 내 최소 차단 집합의 크기가 $3(p+1)/2$ 이상임을 증명한다. 등호는 특정 다항식 조건에서만 성립한다.

ABSTRACT

We describe some combinatorial problems in finite projective planes and indicate how Rédei's theory of lacunary polynomials can be applied to them.

연구 동기 및 목표

• 유한 사영 평면 내 극값 조합론 문제를 해결하기 위해 Rédei의 빈약한 다항식 이론을 적용한다.
• 특히 $|D_f|$ 가 이론적 최소값에 가까운 경우, 방향을 적게 결정하는 함수 $f: GF(q) \to GF(q)$를 특성화한다.
• 특히 $q$ 가 소수일 경우, $PG(2,q)$ 내 비자명한 차단 집합의 크기에 대한 날카운 하한 경계를 확립한다.
• 대수적 및 다항식 방법을 사용하여 최소 크기를 갖는 차단 집합의 구성을 분류한다.
• 특히 $t < q^{1/6}$ 인 $n$-중 차단 집합의 경우, 방향 집합과 차단 집합의 결과를 고차원의 다중 차단 집합과 최대 호로 확장한다.

제안 방법

• 함수의 그래프와 그 방향 집합을 암호화하기 위해 보조 다항식 $R(X,Y) = \prod_{w \in GF(q)} (X - wY + f(w))$ 를 사용한다.
• 특수화 $R(X,y)$ 를 $y \in D_f$ 에서 분석하여, $X^q + g(X)$ 형태의 빈약한 다항식이 되며, $\deg(g) \leq q - |D_f| - 1$ 임을 보여, 방향 수와 다항식의 흐린 정도 사이의 연결 고리를 확립한다.
• 빈약한 다항식 이론을 적용하여, $\gcd(g,h)=1$ 인 $f(X) = X^q g(X) + h(X)$ 의 구조를 분석하고, $g$ 와 $h$ 의 차수 제약 조건을 도출한다.
• 특히 $f \in GF(q)[X^{p^e}]$ 일 때, $p^e$-승수 개념을 사용하여 함수의 대수적 구조에 따라 분류한다.
• 평면을 좌표화하여 무한원선이 접선이 되도록 함으로써, Rédei 다항식을 차단 집합에 적용하고, $f(X) = X^q g(X) + h(X)$ 형태의 빈약한 다항식을 얻으며, $\deg(g) = d$ 이고 $\deg(h) \leq d+1$ 임을 보인다.
• 대칭 함수 이론과 기본 대칭 다항식의 성질을 사용하여, $i > |D_f|$ 에 대해 $r_i(Y) \equiv 0$ 임을 유도하고, 다항식 전개 내 빈약한 구조를 도출한다.

실험 결과

연구 질문

• RQ1 소수 $p$ 에 대해 $PG(2,p)$ 내 비자명한 차단 집합의 최소 크기는 얼마이며, 어떤 구성이 이 경계를 달성하는가?
• RQ2 어떤 함수 $f: GF(q) \to GF(q)$ 가 소수의 방향만 결정하는가? 그리고 이는 어떻게 대수적으로 특성화할 수 있는가?
• RQ3 $PG(2,q)$ 내 $q + d$ 개의 애파프틱 점과 $d$ 개의 무한원점이 함께 차단 집합을 이루려면 어떤 조건이 필요한가? 이는 관련 다항식에 어떤 제약을 가하는가?
• RQ4 특히 홀수 $n$ 에 대해, 빈약한 다항식 방법을 사용하여 $PG(2,q)$ 내 최대 호의 구조를 완전히 특성화할 수 있는가?
• RQ5 함수 $f$ 가 $|D_f| < (q+3)/2$ 를 만족시키는 데 필요한 충분한 조건은 무엇이며, 이는 부분체 위에서의 대수적 형태와 어떻게 관련되는가?

주요 결과

• 소수 $q = p$ 에 대해, $PG(2,p)$ 내 비자명한 차단 집합의 크기는 최소 $3(p+1)/2$ 이며, 등호는 각 점이 정확히 $(p-1)/2$ 개의 타원선에 접선에 있을 때에만 성립한다.
• 만약 $f: GF(q) \to GF(q)$ 가 비선형이고 $|D_f| < (q+3)/2$ 이면, $p^e > 3$ 이거나 $p^e = 3$ 이고 $|D_f| = q/3 + 1$ 인 부분체 $GF(p^e)$ 위에서의 선형 사상임을 보여준다.
• 특히 $t < q^{1/6}$ 인 $PG(2,q)$ 내 $t$-중 차단 집합에 대해 최소 크기는 $t(q + \sqrt{q} + 1)$ 이며, 이는 오직 집합이 $t$ 개의 서로소 Baer 부분평면의 합집합일 때에만 성립한다.
• 소수 $q = p$ 인 경우, 크기가 $3(p+1)/2$ 인 최소 차단 집합은 $p \neq 7,13$ 일 때 동치를 제외하고 유일하며, $p \leq 37$ 인 경우 컴퓨터 검색을 통해 모든 구성이 분류 가능하다.
• Rédei 다항식 $R(X,Y)$ 는 $Y = y \in D_f$ 일 때, 빈약한 다항식 $X^q + g(X)$ 로 특수화되며, $g$ 의 차수는 $|D_f|$ 에 대한 하한 경계를 제공한다.
• 특히 $f(X) = X^q g(X) + h(X)$ 이고 $\gcd(g,h)=1$ 이면, $k = \max(\deg g, \deg h)$ 는 $f \in GF(q)[X^{p^e}]$ 를 만족하는 최대 $e$ 에 따라 일련의 하한 경계를 만족하며, 각 경우에 날카운 제약 조건이 존재한다.