[논문 리뷰] Planar arcs.

Simeon Ball, Michel Lavrauw|arXiv (Cornell University)|2017. 05. 31.

Coding theory and cryptography참고 문헌 14인용 수 7

한 줄 요약

이 논문은 홀수 특성의 체 위의 유한 사영 평면에서 평면 곡선의 성질을 연구하기 위해 좌표에 의존하지 않는 새로운 접근법을 제시한다. 이는 스케일된 세그레의 탄젠트 보조정리의 형태를 취한다. $ q $ 가 홀수일 때, 크기가 $ q - \frac{1}{2}\big(\frac{1}{2}\big) $ 이상인 곡선은 대칭형에 포함됨을 증명하며, 해세-바일 또는 스토르-볼로흐 정리에 의존하지 않고 대수적 곡선의 교차 기법을 통해 이전의 경계를 향상시킨다.

ABSTRACT

Let $p$ denote the characteristic of ${\mathbb F}_q$, the finite field with $q$ elements. We prove that if $q$ is odd then an arc of size $q+2-t$ in the projective plane over ${\mathbb F}_q$, which is not contained in a conic, is contained in the intersection of two curves, which do not share a common component, and have degree at most $t+p^{\lfloor \log_p t floor}$, provided a certain technical condition on $t$ is satisfied. This implies that if $q$ is odd then an arc of size at least $q-\sqrt{q}+\sqrt{q}/p+3$ is contained in a conic if $q$ is square and an arc of size at least $q-\sqrt{q}+\frac{7}{2}$ is contained in a conic if $q$ is prime. This is of particular interest in the case that $q$ is an odd square, since then there are examples of arcs, not contained in a conic, of size $q-\sqrt{q}+1$, and it has long been conjectured that if $q eq 9$ is an odd square then any larger arc is contained in a conic. These bounds improve on previously known bounds when $q$ is an odd square and for primes less than $1783$. The previously known bounds, obtained by Segre \cite{Segre1967}, Hirschfeld and Korchm\'aros \cite{HK1996} \cite{HK1998}, and Voloch \cite{Voloch1990b} \cite{Voloch1991}, rely on results on the number of points on algebraic curves over finite fields, in particular the Hasse-Weil theorem and the St\ohr-Voloch theorem, and are based on Segre's idea to associate an algebraic curve in the dual plane containing the tangents to an arc. In this paper we do not rely on such theorems, but use a new approach starting from a scaled coordinate-free version of Segre's lemma of tangents. Arcs in the projective plane over ${\mathbb F}_q$ of size $q$ and $q+1$, $q$ odd, were classified by Segre \cite{Segre1955b} in 1955. In this article, we complete the classification of arcs of size $q-1$ and $q-2$.

연구 동기 및 목표

• 홀수 $ q $ 에 대해 $ \mathbb{F}_q $ 위의 사영 평면에서 크기가 $ q-1 $ 과 $ q-2 $ 인 곡선을 분류하는 것.
• 특히 홀수 제곱수와 소수에 대해, 곡선에 포함되어야 하는 곡선의 크기에 대한 개선된 하한 경계를 설정하는 것.
• 해세-바일 및 스토르-볼로흐 정리에 의존하지 않는 곡선에 포함된 곡선을 다루는 새로운 증명 기법을 제공하는 것.
• 세그레의 이전 연구(크기가 $ q $ 와 $ q+1 $ 인 곡선에 대한 연구)를 바탕으로, 크기가 $ q-1 $ 과 $ q-2 $ 인 곡선의 분류를 완성하는 것.

제안 방법

• 기초 도구로 세그레의 탄젠트 보조정리의 스케일링된 좌표에 의존하지 않는 형태를 사용한다.
• 이 방법은 곡선을 포함하는 두 개의 유한 차수 다항식 곡선의 교차를 분석한다.
• 기술적 조건이 만족될 경우, 곡선에 포함되지 않은 크기가 $ q+2-t $ 인 곡선은 최대 차수 $ t + p^{\lfloor \log_p t \rfloor} $ 인 두 곡선의 교차에 포함되어야 한다.
• 전통적인 곡선 위의 점 수 계산 정리(예: 해세-바일 및 스토르-볼로흐 정리)를 회피한다.
• 증명은 $ \mathbb{F}_q $ 위의 사영 평면에서 대수적 곡선의 구조적 성질과 그 구성 요소에 기반한다.
• 구성은 비곡선 곡선이 제어된 차수를 가진 곡선의 교차에 의해 제약을 받도록 보장한다.

실험 결과

연구 질문

• RQ1 $ \mathbb{P}^2(\mathbb{F}_q) $, $ q $ 가 홀수일 때, 반드시 곡선에 포함되어야 하는 곡선의 최소 크기는 얼마인가요?
• RQ2 해세-바일 또는 스토르-볼로흐 정리와 같은 점 수 계산 정리에 의존하지 않고, 곡선에 포함된 곡선의 고전적 경계를 향상시킬 수 있을까요?
• RQ3 홀수 $ q $ 에 대해 $ \mathbb{P}^2(\mathbb{F}_q) $ 위의 사영 평면에서 크기가 $ q-1 $ 과 $ q-2 $ 인 곡선의 구조는 어떻게 되나요?
• RQ4 세그레의 탄젠트 보조정리의 좌표에 의존하지 않는 재구성은 곡선 기하학에서 어떤 새로운 결과를 이끌어낼 수 있나요?
• RQ5 특히 $ q $ 가 홀수 제곱수일 경우, 비곡선 곡선이 존재할 수 없는 정확한 임계 크기는 무엇인가요?

주요 결과

• 크기가 $ q - \sqrt{q} + \frac{7}{2} $ 이상인 곡선은 $ \mathbb{P}^2(\mathbb{F}_q) $ 에서 $ q $ 가 소수일 경우 반드시 곡선에 포함되어야 한다.
• 만약 $ q $ 가 홀수 제곱수이면, 크기가 $ q - \sqrt{q} + \frac{\sqrt{q}}{p} + 3 $ 이상인 곡선은 곡선에 포함되어야 한다.
• 이 경계는 모든 홀수 제곱수와 1783 이하의 소수에 대해 이전 결과를 향상시킨다.
• 논문은 $ \mathbb{P}^2(\mathbb{F}_q) $ 에서 크기가 $ q-1 $ 과 $ q-2 $ 인 곡선의 분류를 완성한다.
• 이 방법은 해세-바일 및 스토르-볼로흐 정리에 의존하지 않으며, 곡선에 포함된 곡선에 대한 새로운 기하학적 접근법을 제공한다.
• 결과는 오랫동안 제기된 추측을 지지한다. 즉, $ q \ne 9 $ 이고 $ q $ 가 홀수 제곱수일 경우, $ q - \sqrt{q} + 1 $ 을 초월하는 모든 곡선은 반드시 곡선에 포함되어야 한다.