[논문 리뷰] Tables, bounds and graphics of the smallest known sizes of complete arcs in the plane $\mathrm{PG}(2,q)$ for all $q\le160001$ and sporadic $q$ in the interval $[160801\ldots 430007]$

Daniele Bartoli, Alexander A. Davydov외 4명|arXiv (Cornell University)|2013. 12. 08.

Finite Group Theory Research참고 문헌 8인용 수 3

한 줄 요약

이 논문은 모든 소수 거듭제곱 q ≤ 160,001 및 구간 [160,801, 430,007] 내의 산발적인 q에 대해 프로젝티브 평면 PG(2,q)에서 알려진 바 가장 작은 완전한 호의 표, 경계 및 그래픽 데이터를 제시한다. 최소 크기 t₂(2,q)에 대한 새로운 상한을 확립하여, q ≥ 7일 때 t₂(2,q) < 0.998√(3q ln q) < 1.729√(q ln q)임을 보이며, 이는 이전 추정치를 크게 향상시키고, 모든 q ≥ 109에 대해 이러한 경계가 성립할 것이라는 추측을 뒷받침한다.

ABSTRACT

In the projective planes $\mathrm{PG}(2,q)$, we collect the smallest known sizes of complete arcs for the regions \begin{align*} &amp;\mbox{all } q\le160001,~~ q \mbox{ prime power};\\ &amp;Q_{4}=\{34 \mbox{ sporadic }q'\mbox{s in the interval }[160801\ldots430007], \mbox{ see Table 3}\}. \end{align*} For $q\le160001$, the collection of arc sizes is complete in the sense that arcs for all prime powers are considered. This proves new upper bounds on the smallest size $t_{2}(2,q)$ of a complete arc in $\mathrm{PG}(2,q)$, in particular \begin{align*} t_{2}(2,q)&amp;&lt;0.998\sqrt{3q\ln q}&lt;1.729\sqrt{q\ln q}&amp;\mbox{ for }&amp;&amp;7&amp;\le q\le160001;~~(1) \\ t_{2}(2,q)&amp;

연구 동기 및 목표

• 모든 소수 거듭제곱 q ≤ 160,001에 대해 PG(2,q)에서 알려진 바 가장 작은 완전한 호의 크기를 종합하는 것.
• 160,801에서 430,007 사이의 34개의 산발적인 q 값으로 데이터를 확장하는 것.
• PG(2,q)에서 완전한 호의 최소 크기 t₂(2,q)에 대한 새로운 상한을 확립하는 것.
• 유도된 경계가 모든 q ≥ 109에 대해 성립할 것이라는 추측을 뒷받침하는 것.
• 유한 기하학 및 부호 이론 분야의 연구자들에게 포괄적인 참고 자료를 제공하는 것.

제안 방법

• 모든 소수 거듭제곱 q ≤ 160,001에 대해 알려진 바 가장 작은 완전한 호 크기의 체계적 계산 및 수집.
• 확률적 및 구축 방법을 활용하여 완전한 호를 생성하고 검증하는 것.
• q의 로그 및 제곱근 함수를 사용하여 渐近 상한을 유도하는 것.
• q ≥ 7일 때 공식 t₂(2,q) < 0.998√(3q ln q)를 적용하고, ln^c(q) 항을 포함한 개선된 경계를 도출하는 것.
• 보간 및 기존 구성 방법을 활용한 검증을 통해 산발적인 q 값으로 경계를 확장하는 것.
• q에 따른 호 크기 추세를 그래픽적으로 표현하여 渐近 행동과 경계의 날카로움을 시각화하는 것.

실험 결과

연구 질문

• RQ1 모든 소수 거듭제곱 q ≤ 160,001에 대해 PG(2,q)에서 알려진 바 가장 작은 완전한 호의 크기는 무엇인가?
• RQ2 160,801에서 430,007 사이의 산발적인 q에 대해 완전한 호의 크기는 어떻게 행동하는가?
• RQ3 이전에 알려진 것보다 더 날카로운 t₂(2,q)에 대한 상한을 유도할 수 있는가?
• RQ4 유도된 경계는 계산 범위를 초월하여, 특히 q ≥ 109일 때도 성립하는가?
• RQ5 유한 프로젝티브 평면에서 완전한 호의 크기와 이론적 하한 사이의 관계는 무엇인가?

주요 결과

• 논문은 새로운 상한을 확립한다: 7 ≤ q ≤ 160,001 범위의 모든 q에 대해 t₂(2,q) < 0.998√(3q ln q) < 1.729√(q ln q).
• q ≥ 109일 때, t₂(2,q) < √q ln^0.7295 q임을 증명하여 이전 추정치를 향상시킨다.
• 보다 정교한 경계를 도출한다: q ≥ 19일 때 t₂(2,q) < √q ln^{0.27/ln q + 0.7} q이며, 이는 q ≤ 160,001 및 [160,801, 430,007] 내 산발적인 q에 대해 모두 유효하다.
• 더 나아가 개선된 경계를 제시한다: q ≥ 19일 때 t₂(2,q) < 0.6√q ln^{1.5/ln q + 0.802} q이며, 다시 한 번 두 범위 모두에서 유효하다.
• 34개의 산발적인 q 값에 대해 [160,801, 430,007] 내에서 t₂(2,q) < 1.006√(3q ln q) < 1.743√(q ln q)임을 확인하였다.
• 저자들은 광범위한 계산적 증거와 범위 간 일관성에 기반하여, 모든 유도된 경계가 q ≥ 109에 대해 성립할 것이라는 추측을 제기한다.