[論文レビュー] Counterexamples to Theorem 1 of Turyn's and Storer's Paper "On Binary Sequences"

Jürgen Willms|arXiv (Cornell University)|Apr 18, 2014

Mathematical Approximation and Integration参考文献 3被引用数 4

ひとこと要約

この論文は、ターリンとストーラーの1961年の古典的論文「On Binary Sequences」における定理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.

研究の動機と目的

• ターリンとストーラーの論文「On Binary Sequences」における定理1(iv)の明示的反例を特定・提示すること。
• 奇数長 >13 に対してバーカー系列が存在しないという主張を行う定理2の証明が、誤った定理1に依存しているため無効であることを示すこと。
• シーケンス設計および符号理論の基盤をなす、広く引用されている定理2の証明の妥当性を疑問視すること。
• 元の証明構造は、定理1およびその補助補題を大幅に変更しない限り修復不可能であることを明確にすること。
• 誤った定理1(iv)に依存しない、定理2の代替証明の必要性を強調すること。

提案手法

• 特定のランレングス符号化（例：(3,3,6,3,2,2) や (5,5,10,5,4,4)）を持つ二値系列を構築し、反例を生成する。
• 各要素 $ x_i \in \{-1,1\} $ を持つ系列 $ x $ を定義し、1の初期連続部分列の長さを $ p $ とし、$ p \geq 3 $ とする。
• 系列 $ x $ が $ 1 \leq k \leq t $ に対して方程式 (k) を満たすことを検証し、$ t=9 $ または $ t=16 $ と設定することで、定理1の仮定を満たす。
• 導出された系列 $ z_j = x_{p(j-1)+1} $ を定義し、定理1(iv)はこれが $ k \leq t/p $ に対して方程式 (k) を満たすと主張している。
• $ 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の証明における帰納的構造全体を根底から揺るがし、現在の形では整合性を欠いている。
• 文献には、定理1(iii)および(iv)に依存しない代替証明が存在する（例：[3]）。この証明は、ニュートンの恒等式を用いている。