[논문 리뷰] Counting Plane Cubic Curves over Finite Fields with a Prescribed Number of Rational Intersection Points

Nathan O. Kaplan, Vlad Matei|arXiv (Cornell University)|2020. 03. 31.

Coding theory and cryptography참고 문헌 28인용 수 4

한 줄 요약

이 논문은 평면 입체 곡선의 쌍이 유한체 Fq에서 정확히 k개의 유리점에서 만날 수 있는 경우의 수를 정확히 계산한다. 이는 프로젝티브 Reed-Muller 코드의 무게 열거 다항식을 통해 문제를 모델링함으로써 이루어지며, 공통의 기약 성분을 가지지 않는 쌍의 수를 나타내는 ck에 대한 다항식 공식을 도출한다. 이 공식은 대칭군 통계와 코딩 이론 간의 깊은 연관성을 드러내며, 주요 항은 S9에서 정확히 k개의 고정점을 가진 순열의 비율과 일치한다.

ABSTRACT

For each integer $k \in [0,9]$, we count the number of plane cubic curves defined over a finite field $\mathbb{F}_q$ that do not share a common component and intersect in exactly $k\ \mathbb{F}_q$-rational points. We set this up as a problem about a weight enumerator of a certain projective Reed-Muller code. The main inputs to the proof include counting pairs of cubic curves that do share a common component, counting configurations of points that fail to impose independent conditions on cubics, and a variation of the MacWilliams theorem from coding theory.

연구 동기 및 목표

• 각 k ∈ [0,9]에 대해 Fq 위의 평면 입체 곡선 쌍 중 정확히 k개의 Fq-유리점에서 만날 경우의 수를 결정하는 것.
• 공통의 기약 성분을 가진 쌍을 제외하여 교차 수를 교차로 계산하는 것.
• 대수기하학과 코딩 이론을 활용하여 이러한 교차 쌍의 수에 대한 다항식 공식을 수립하는 것.
• 세컨드 계수 문제를 프로젝티브 Reed-Muller 코드의 무게 열거 다항식과 대칭군 통계에 연결하는 것.

제안 방법

• Fq[x,y,z] 내의 비영이 아닌 입체 형식 f,g의 쌍 (f,g)을 세는 문제로 모델링하며, 이는 P2(Fq)에서 정확히 k개의 공통 영점을 가지며 공통의 기약 인수를 가지지 않는 조건을 만족한다.
• 평면 입체 곡선과 관련된 프로젝티브 Reed-Muller 코드의 무게 열거 다항식을 사용하여 교차 데이터를 표현한다.
• 코딩 이론에서의 MacWilliams 정리의 변형을 적용하여 무게 분포와 원하는 수를 연결한다.
• 곡선이 공통 성분을 공유하거나 점들이 입체 곡선에 독립적인 조건을 부여하지 못하는 경우를 세고 빼낸다.
• Deuring, Waterhouse, Schoof의 타원 곡선과 제타 함수에 관한 결과를 활용하여 코드의 무게 열거 다항식을 계산한다.
• 특수한 점 구성(예: 공선점, 이차 곡선 위의 점)의 조합론적 수를 계산하여 비교형 교차를 수정한다.

실험 결과

연구 질문

• RQ1 각 k ∈ [0,9]에 대해, Fq 위의 평면 입체 곡선 쌍 중 공통의 기약 성분을 가지지 않으며 정확히 k개의 Fq-유리점에서 만날 경우의 수는 얼마인가요?
• RQ2 P2에서 Fq 위의 3차 프로젝티브 Reed-Muller 코드의 무게 열거 다항식의 구조는 어떠하며, 이는 교차 수와 어떻게 관련이 있나요?
• RQ3 ck에 대한 수의 다항식의 주요 항이 왜 S9에서 정확히 k개의 고정점을 가진 순열의 비율과 일치하는가요?
• RQ4 P2(Fq)에서 정확히 de개의 공통 영점을 가지는 곡선 쌍의 수가 d,e ≥ 3 이고 (d,e) ≠ (3,3)일 때 q에 대한 다항식이 될 수 있나요?
• RQ5 4개의 공선점 또는 7개의 점이 이차 곡선 위에 있을 경우와 같은 특수한 점 구성은 어떻게 나머지 교차 곡선 쌍의 단순한 수를 왜곡합니까?

주요 결과

• 각 k ∈ [0,9]에 대해, 공통의 기약 성분을 가지지 않으며 정확히 k개의 Fq-유리점에서 교차하는 평면 입체 곡선 쌍의 수 ck는 q에 대한 차수 20의 다항식으로 주어지며, 유일하게 c8는 차수 19이다.
• 각 ck의 주요 항은 S9에서 정확히 k개의 고정점을 가진 순열의 수에 비례하며, Entin의 점근적 결과와 일치한다.
• ck에 대한 공식은 명시적으로 계산되었으며, (q+1)^2, (q−1)^3 또는 (q−1)^4, q^5 또는 q^4, 그리고 (q^2 + q + 1) 등의 인수가 포함되어 있어 기하학적 대칭성과 곡선 수를 반영한다.
• ck의 q^20 계수는 정확히 π(k,9)/9!이며, 여기서 π(k,9)는 S9에서 k개의 고정점을 가진 순열의 수이다.
• 논문은 (d,e) = (3,3)일 때 수가 다항식임을 보였지만, d,e ≥3 이고 (d,e) ≠ (3,3)일 경우는 성립하지 않음을 보여주며, 이는 (3,3)이 경계 경우임을 시사한다.
• 공선점 4개나 이차 곡선 위에 7개의 점이 있을 경우와 같은 특수 구성은 조합 기하학과 점 수 기법을 사용하여 체계적으로 세어내고 빼낸다.