[논문 리뷰] Counterexamples to Theorem 1 of Turyn's and Storer's Paper "On Binary Sequences"

Jürgen Willms|arXiv (Cornell University)|2014. 04. 18.

Mathematical Approximation and Integration참고 문헌 3인용 수 4

한 줄 요약

이 논문은 터린과 스토어의 1961년 논문 '이진 수열에 관하여'에서 제시한 정리 1(iv)에 대한 명시적 반례를 제시하며, 잘 알려진 정리 2(홀수 길이 >13인 바카르 수열이 존재하지 않는다)의 증명이 결함이 있는 정리 1에 의존하기 때문에 무효화됨을 보여준다. 저자는 원래 프레임워크를 유지한 채로 정리 2의 증명을 보완할 수 없음을 보이며, 심각한 수정이 필요하다고 밝힌다.

ABSTRACT

Explicit counterexamples to Theorem 1 of R. Turyn's and J. Storer's often-cited paper "On Binary Sequences" [Proc. Amer. Math. Soc., vol. 12, no. 3, pp. 394-399, 1961] are given. Theorem 2 of their paper is well known; it states that Barker sequences of odd length n>13 do not exist. Since the proof of Theorem 2 relies on the incorrect Theorem 1, the proof of the often-cited Theorem 2 is therefore not correct. It is not at all clear how Theorem 1 and its proof must be modified in order to get a correct proof of the well-known Theorem 2.

연구 동기 및 목표

• 터린과 스토어의 논문 '이진 수열에 관하여'에서 제시한 정리 1(iv)에 대한 명시적 반례를 식별하고 제시하는 것.
• 홀수 길이 >13인 바카르 수열이 존재하지 않는다고 주장하는 정리 2의 증명이 잘못된 정리 1에 의존하고 있기에 무효화됨을 보이는 것.
• 서열 설계 및 코드 이론 분야에서 널리 인용되는 정리 2의 증명의 타당성을 도전하는 것.
• 원래 증명 구조가 정리 1과 그 보조 정리들에 대한 중대한 수정 없이도 수리될 수 없다는 것을 명확히 하는 것.
• 결함이 있는 정리 1(iv)에 의존하지 않는 정리 2의 대체 증명이 필요하다는 점을 강조하는 것.

제안 방법

• 특정 런-길이 인코딩을 가진 이진 수열, 예를 들어 (3,3,6,3,2,2) 및 (5,5,10,5,4,4)를 구성하여 반례를 생성하는 것.
• 수열 $ x $를 $ x_i \in \{-1,1\} $로 정의하고, 1의 연속적인 초기 런의 길이를 $ p $로 설정하며, $ p \geq 3 $로 한다.
• $ 1 \leq k \leq t $ 범위에서 $ x $가 식 (k)를 만족함을 검증하며, $ t $는 9 또는 16으로 설정하여 정리 1의 조건을 충족시킴.
• 유도된 수열 $ z_j = x_{p(j-1)+1} $를 정의하며, 이는 정리 1(iv)가 식 (k)를 $ k \leq t/p $ 범위에서 만족한다고 주장한다.
• $ k=3 $ 및 $ k=5 $에 대해 $ z $가 식 (k)를 만족하는지 테스트하여 다수의 경우에서 실패함을 보임.
• 런-길이 인코딩 패턴 $ (p,p,2p,p,p-1,p-1,\dots) $를 분석하여 다양한 $ p \geq 3 $에 대해 반례의 집합을 생성하는 것.

실험 결과

연구 질문

• RQ1 정리 1(iv)의 전제 조건을 만족함에도 불구하고, 터린과 스토어의 논문에서 정리 1(iv)가 실패하는 이진 수열이 존재하는가?
• RQ2 정리 1(iv)의 실패가 홀수 길이 >13인 바카르 수열이 존재하지 않는다고 주장하는 정리 2의 증명을 무효화하는가?
• RQ3 터린과 스토어의 원래 프레임워크를 사용하여 정리 2의 증명을 보완할 수 있는가, 아니면 완전히 재구성해야 하는가?
• RQ4 정리 1(iv)에 의존하지 않는 정리 2를 증명하기 위한 대체 증명 전략은 무엇인가?
• RQ5 런-길이 인코딩이 $ (p,p,2p,p,p-1,p-1,\dots) $ 형태인 수열이 일관되게 정리 1(iv)의 반례를 생성하는가?

주요 결과

• 런-길이 인코딩 (3,3,6,3,2,2) 및 (5,5,10,5,4,4)를 가진 이진 수열을 사용하여 정리 1(iv)에 대한 명시적 반례를 구성함.
• $ p=3 $일 때, $ x $가 $ 1 \leq k \leq 9 $ 범위에서 식 (k)를 만족함에도 불구하고, 유도된 수열 $ z $는 $ k=3 $일 때 식 (k)를 만족하지 못함.
• $ p=5 $일 때, 런-길이 인코딩 (5,5,10,5,15,5,4,1,3)을 가진 수열은 $ 1 \leq k \leq 26 $ 범위에서 식 (k)를 만족하지만, $ z $는 $ k=5 $일 때 실패함으로써 정리 1(iv)와 모순됨.
• 터린과 스토어의 논문에서 정리 2의 증명은 정리 1(iv)가 잘못되었기 때문에 무효화되며, 정리 1(iii) 역시 그에 따라 귀납적으로 의존하므로 손상됨.
• 정리 1(iv)의 실패는 정리 2의 증명 전반의 귀납적 구조를 무너뜨리며, 현재 형태로는 타당하지 않게 됨.
• 기존 문헌(예: [3])에는 정리 1(iii) 및 (iv)에 의존하지 않고 뉴턴 항등식을 사용하여 정리 2를 증명하는 대체 증명이 존재함.