[논문 리뷰] Construction of divisible formal weight enumerators and extremal polynomials not satisfying the Riemann hypothesis

Koji Chinen|arXiv (Cornell University)|2017. 09. 11.

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

한 줄 요약

이 논문은 이항 모멘트를 사용하여 나누어 떨어지는 형식적 무게 열거를 구성하는 알고리즘을 제안하며, 리만 가설을 위반하는 극한 형식적 무게 열거를 발견하는 데 성공한다. $ q = 4+2\sqrt{2} $, $ 2+2\sqrt{5}/5 $, $ 8+4\sqrt{3} $와 관련된 링에서 명시적인 예를 제시함으로써, 극한 형식적 무게 열거가 반드시 리만 가설을 만족하지는 않음을 보여주며, 코딩 이론과 제타 함수 이론 분야에서 오랫동안 남아있던 추측에 도전한다.

ABSTRACT

The formal weight enumerators were first introduced by M. Ozeki. They form a ring of invariant polynomials which is similar to that of the weight enumerators of Type II codes. Later, the zeta functions for linear codes were discovered and their theory was developed by I. Duursma. It was generalized to certain invariant polynomials including Ozeki's formal weight enumerators by the present author. One of the famous and important problems is whether extremal weight enumerators satisfy the Riemann hypothesis. In this paper, first we formulate the notion of divisible formal weight enumerators and propose an algorithm for the efficient search of the formal weight enumerators divisible by two. The main tools are the binomial moments. It leads to the discovery of several new families of formal weight enumerators. Then, as a result, we find examples of extremal formal weight enumerators which do not satisfy the Riemann hypothesis.

연구 동기 및 목표

• 이항 모멘트를 사용하여 나누어 떨어지는 형식적 무게 열거를 효율적으로 탐색하는 알고리즘을 개발하는 것, 특히 2로 나누어지는 경우에 중점을 두어.
• 극한 형식적 무게 열거가 리만 가설을 만족하는지 여부를 조사하는 것 — 이는 코딩 이론 분야에서 핵심적인 열린 문제이다.
• 고전적 타입 II 코드를 초월하여 실수 매개변수 $ q \neq 1 $ 에 대한 형식적 무게 열거에 대한 제타 함수 이론을 확장하는 것.
• 특히 $ q = 4 \pm 2\sqrt{2} $, $ 2 \pm 2\sqrt{5}/5 $, $ 8 \pm 4\sqrt{3} $ 에서의 불변 다항식 링의 구조적 차이를 탐구하며, 리만 가설과의 관계를 중심으로 분석하는 것.

제안 방법

• 형식적 무게 열거는 실수 $ q > 0 $, $ q \neq 1 $ 에 대해 일반화된 매클레인스 변환 $ \sigma_q $ 에 대해 불변인 동차 다항식으로 정의되며, $ W^{\sigma_q}(x,y) = -W(x,y) $ 를 만족한다.
• 2로 나누어지는 성질은 모든 비영인 계수가 2의 배수 인덱스에 대응하도록 함으로써 도입된다.
• 이항 모멘트를 사용하여 $ q $ 에 대한 제약 조건을 유도함으로써 각 차수에 대해 체계적인 후보 생성이 가능해진다.
• 형식적 무게 열거로부터 제타 다항식을 구성하고, 실수축 상에서 중간값 정리를 적용하여 근을 분석함으로써 리만 가설 위반 여부를 탐지한다.
• 특정 $ q $ 에 대해 링 $ R_q^{-} = \mathbb{C}[W_{2,q}(x,y), \varphi_n^{\pm}(x,y)] $ 에 이 방법을 적용하며, $ q = 4+2\sqrt{2} $, $ 2+2\sqrt{5}/5 $, $ 8+4\sqrt{3} $ 를 포함한다.
• 극한 경우에 대해 정규화된 제타 다항식은 삼각함수 치환 $ T = \cos\theta $ 를 사용하여 모든 근이 단위 원 위에 있는지 테스트한다.

실험 결과

연구 질문

• RQ1 비정수 실수 매개변수 $ q $ 를 갖는 극한 형식적 무게 열거가 고전적 타입 II 코드의 경우와 마찬가지로 리만 가설을 만족하는가?
• RQ2 이항 모멘트 방법이 나누어 떨어지는 형식적 무게 열거를 효율적으로 생성할 수 있는가, 특히 $ c=2 $ 의 경우에 대해 어떻게 제약을 가하는가?
• RQ3 $ q = 4+2\sqrt{2} $, $ 2+2\sqrt{5}/5 $, $ 8+4\sqrt{3} $ 와 같은 링이 극한 형식적 무게 열거가 리만 가설을 만족하지 못하는 이유는 무엇이며, 그 공액 대응체는 왜 성공하는가?
• RQ4 링 $ R_q^{-} $ 에서 $ q $ 와 그 공액체 간에 리만 가설 만족 여부에 관해 관찰된 비대칭성의 구조적 또는 산술적 이유는 무엇인가?
• RQ5 이러한 일반화된 링에서 말로스-슬로운 경계의 유사체를 설정할 수 있는가?

주요 결과

• 논문은 $ R_{4+2\sqrt{2}}^{-} $ 에서 차수 24, 최소 무게 8인 새로운 극한 형식적 무게 열거의 가족을 구성하며, 이들이 리만 가설을 만족하지 않음을 증명한다.
• $ q = 2+2\sqrt{5}/5 $ 에서 극한 형식적 무게 열거 $ \varphi_{10}^{+}(x,y) $ 는 제타 다항식의 중간값 정리에 의해 리만 가설을 위반함을 확인한다.
• 반대로, $ q = 2-2\sqrt{5}/5 $ 에서의 $ \varphi_{10}^{-}(x,y) $ 는 정규화된 제타 다항식의 모든 근이 단위 원 위에 있어 리만 가설을 만족한다.
• 유사하게, $ q = 8+4\sqrt{3} $ 에서의 $ \varphi_{12}^{+}(x,y) $ 는 리만 가설을 위반하지만, $ q = 8-4\sqrt{3} $ 에서의 $ \varphi_{12}^{-}(x,y) $ 는 이를 만족한다.
• 논문은 $ R_{4+2\sqrt{2}}^{-} $ 에서 극한 형식적 무게 열거가 리만 가설을 만족하지 않음을 규명하였으며, 극한 다항식의 존재는 확인되었지만 그러한 열거는 존재하지 않는다.
• 저자들은 놀라운 비대칭성을 관찰한다: $ q < 4 $ 인 링에서는 리만 가설을 만족하는 극한 형식적 무게 열거가 풍부하게 존재하지만, $ q > 4 $ 의 경우는 전혀 존재하지 않으며, 이는 깊이 있는 구조적 불균형을 암시한다.