[논문 리뷰] Small complete caps from nodal cubics

Nurdagül Anbar, Daniele Bartoli외 2명|arXiv (Cornell University)|2013. 05. 14.

Algebraic structures and combinatorial models참고 문헌 20인용 수 3

한 줄 요약

이 논문은 $AG(N,q)$에서 $N \equiv 0 \pmod{4}$ 인 경우에 대해, $$\mathbb{F}_q$$ 위의 노드형 타원곡선에서 유도된 이중커버링 호를 활용하여 알려진 바 중 가장 작은 완전 캡을 구성한다. $m = m_1m_2$ 이며 $m_1, m_2$ 가 $q-1$ 의 서로소인 약수이며 $(m,6)=1$, $m \leq \sqrt[4]{q}/3.5$ 를 만족할 경우, 이러한 호들은 크기가 최대 $$\frac{(m_1+m_2)(q-1)}{m_1m_2} q^{(N-2)/2}$ 인 완전 캡을 생성하며, 이는 무한히 많은 $q$ 에 대해 이전의 기준보다 크게 향상된 결과이다. 이 구성은 노드형 타원곡선의 유리점 군의 인자군에서의 최대 3독립 부분집합에 기반한다.

ABSTRACT

Bicovering arcs in Galois affine planes of odd order are a powerful tool for constructing complete caps in spaces of higher dimensions. In this paper we investigate whether some arcs contained in nodal cubic curves are bicovering. For $m_1$, $m_2$ coprime divisors of $q-1$, bicovering arcs in $AG(2,q)$ of size $k\le (q-1)\frac{m_1+m_2}{m_1m_2}$ are obtained, provided that $(m_1m_2,6)=1$ and $m_1m_2

연구 동기 및 목표

• 고차원 아핀 공간 $AG(N,q)$에서 $N \equiv 0 \pmod{4}$ 인 경우, 특히 $q$ 가 홀수일 때 더 작은 완전 캡을 구성하는 것.
• 노드형 타원곡선에 포함된 호들이 이중커버링인지, 이를 고차원 캡으로 올리기 위한 핵심 조건인지를 조사하는 것.
• 노드형 타원곡선의 유리점 군의 복합 지수 부분군 $K$ 를 활용하여 기존의 완전 캡 구성 방식을 개선하는 것.
• 최대 3독립 부분집합이 존재하는 $G/K$ 에서 $m = m_1m_2$, $(m_1,m_2)=1$, $(m,6)=1$, $m \leq \sqrt[4]{q}/3.5$ 를 만족할 경우, 이들이 이중커버링 호를 생성함을 증명하는 것.
• 무한히 많은 $q$ 에 대해 이전의 $q^N/3$ 기준보다 훨씬 작아지는 크기의 캡이 얻어짐을 보여주는 것.

제안 방법

• 노드형 타원곡선의 유리점 군의 군 구조를 활용하여, 비특이점의 군 $G$ 에서 지수 $m$ 의 부분군 $K$ 를 사용한다.
• 요소군 $G/K$ 에서 최대 3독립 부분집합에 대응하는 $K$ 의 여유류이며, 이는 세 점이 일직선상에 있지 않으며 모든 외부 점이 적어도 두 개의 secant 선에 의해 커버됨을 보장한다.
• 이전 연구에서 제시된 충분 조건을 활용하여, $m = m_1m_2$, $(m_1,m_2)=1$, $(m,6)=1$, $m \leq \sqrt[4]{q}/3.5$ 일 경우, 이러한 호들이 이중커버링임을 대수기하학 및 함수체 이론을 통해 검증한다.
• 올리기 방법을 적용: $AG(2,q)$ 에서 크기가 $k$ 인 이중커버링 호는 $N \equiv 0 \pmod{4}$ 인 $AG(N,q)$ 에서 크기가 $k q^{(N-2)/2}$ 인 완전 캡을 생성한다.
• 특히 $G/K \cong \mathbb{Z}_{m_1} \times \mathbb{Z}_{m_2}$ 인 경우에 대해 알려진 아벨 군에서의 최대 3독립 부분집합 이론을 활용하여, 크기가 최대 $m_1 + m_2$ 인 부분집합을 구성함으로써 호의 크기를 최소화한다.
• 제약 조건 $m_1 m_2 \leq \sqrt[4]{q}/3.5$ 와 $(m_1 m_2, 6) = 1$ 를 만족시키면서 $$\frac{m_1 + m_2}{m_1 m_2}$$ 를 최소화하도록 $m_1, m_2$ 를 최적화하여 정량적 기준을 유도한다.

실험 결과

연구 질문

• RQ1 지수 $m$ 에 대한 특정 군론적 조건 하에서, $$\mathbb{F}_q$$ 위의 노드형 타원곡선에 포함된 호들이 이중커버링이 될 수 있는가?
• RQ2 지수 $m = m_1 m_2$ 이며 $m_1, m_2$ 가 서로소이고 $m \leq \sqrt[4]{q}/3.5$ 를 만족할 경우, $AG(2,q)$ 에서 이중커버링 호의 최소 크기는 무엇이며, 이를 통해 $AG(N,q)$ 에서 $N \equiv 0 \pmod{4}$ 인 경우 완전 캡으로 올릴 수 있는가?
• RQ3 특히 $q = p^h$ 인 큰 $q$ 또는 $h$ 에 대해, 결과적으로 생성된 완전 캑의 크기는 이전의 구성 방식과 비교하여 어떻게 되는가?
• RQ4 어떤 조건에서 $q$ 와 $q-1$ 의 인수 분해에 따라 $$\frac{m_1 + m_2}{m_1 m_2}$$ 가 $1/3$ 이나 $2p/q^{1/8}$ 보다 크게 작아질 수 있는가?
• RQ5 소수 지수 대신 복합 지수 $m = m_1 m_2$ 를 사용하면 이중커버링 호의 크기와 고차원에서의 완전 캑의 크기를 향상시킬 수 있는가?

주요 결과

• 지수 $m = m_1 m_2$ 이며 $m_1, m_2$ 가 $q-1$ 의 서로소인 약수이며 $(m,6)=1$, $m \leq \sqrt[4]{q}/3.5$ 를 만족할 경우, $G/K$ 에서 최대 3독립 부분집합에 대응하는 여유계의 합집합은 $AG(2,q)$ 에서 크기가 최대 $$\frac{(m_1 + m_2)(q - 1)}{m_1 m_2}$$ 인 이중커버링 호를 형성한다.
• 이 구성은 모든 $N \equiv 0 \pmod{4}$, $N \geq 4$ 에 대해 $AG(N,q)$ 에서 크기가 최대 $$\frac{(m_1 + m_2)(q - 1)}{m_1 m_2} q^{(N-2)/2}$$ 인 완전 캑을 생성하며, 이는 무한히 많은 $q$ 에 대해 알려진 바 중 가장 작은 크기이다.
• 큰 소수 $p$ 와 $m = m_1 m_2$ 이며 $m_1, m_2$ 가 서로소이고 $m \leq \sqrt[4]{q}/3.5$ 를 만족할 경우, $$\frac{m_1 + m_2}{m_1 m_2}$$ 는 $1/3$ 과 $2p/q^{1/8}$ 보다 크게 작아질 수 있으며, 이는 더 작은 캑 크기를 이끌어낸다.
• $h \leq 8$ 인 경우, $p-1$ 이 복합 약수 $m < \sqrt[4]{p}/3.5$ 를 가지며 $(m,6)=1$ 이면 이전의 $q^N/3$ 기준을 초월하여, 크기가 약 $$\frac{2^{s_2} + 2^{s_1}3^k}{q^{1/8}} q^{N/2 - 1/8}$$ 인 캑을 생성한다.
• $h > 8$ 인 경우, 특히 $q = p^{12}$ 이고 $p \equiv 1 \pmod{12}$ 이며 $(p^2 + 1)/2$ 가 복합수일 경우, 이 구성은 크기가 $2q^{N/2}/p$ 보다 작은 캑을 생성하며, 이는 이전의 최선 기준인 $2q^{N/2}/p^{\lfloor(\lceil h/4\rceil - 1)/2\rfloor}$ 보다 향상된 결과이다.
• 이 방법은 타원곡선 및 쿠스피달 곡선에 대한 이전 결과를 일반화하고 개선하며, 복합 지수 $m$ 을 允허함으로써 소수 지수 $m$ 의 경우의 $m/3$ 기준보다 더 작은 최대 3독립 부분집합을 가능하게 한다.