半反転による32合同型アダマール行列の構造
An explicit half-flip family of 32-modular Hadamard matrices at L = 3 mod 8: structural placement and mod-tower analysis
この論文をやさしく読む
ひとことで言うと
半反転という構成で32合同型アダマール行列の族を作り、その構造を調べる研究。
何に役立つ？
行列の構成法と、真のアダマール行列が得られる条件を調べるために役立つ。
この研究の面白いところ
族にハミング立方体の構造を与え、合同型と真のアダマール行列を分けて検証している。
どこまで分かった？
32合同型の存在は示すが、n=716と1132で真のアダマール行列を構成したという主張ではない。有限範囲の検証結果は経験的な範囲として記載される。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
最小の未解決アダマール行列次数n=668に対するEliahouの64合同型構成に着想を得て、L≡3（mod 8）、n=4Lの次数で32合同型アダマール行列の明示的な半反転族を導入する。基本恒等式により、半反転の仮定(s,s*,sq,(sq)*)の下で四つの系列に関するGolay四つ組条件を、一系列の型制限付き自己相関c_k^τ(s)へ簡約する。構成からc_k^τの閉じた式、L=11での真のアダマール行列、そして未解決の次数n=716とn=1132を含む、すべてのL≡3（mod 8）での32合同型行列が得られる。L≡3（mod 4）での32合同型行列の存在はEliahouとKervaire（2001）による。またEliahouの2026年の後続研究は、本論文が基本恒等式と呼ぶ同じ仮定と相関恒等式を使い、L≡3（mod 16）およびL≡7（mod 32）で64合同型行列を与え、その剰余類では本構成を包含する。したがって本論文の主な貢献は構造面にある。既存の結果を適用すると、YES集合の素数L∈{11,19,59}では、この族はどの群に対しても非コサイクリックだが、すべてのLでGoethals–Seidel MoufangループGS_{4L}に対して擬コサイクリックである。半反転H集合の分解定理は、族の任意の二要素の対称差を単一系列の反転集合で表し、族に長さLのハミング立方体構造を与える。mod 8ではF₂線形となる記号的なmod塔検証器で、k≤14（L≤115）の真のアダマール行列を分類した。YES集合は経験的にはk≤7に限られ、H4に関する四つの予測が否定され、L∈{179,283}はこの仮定内で除外される。L=11のグレブナー基底から、従来記録されていなかった偶数T₀ブロックの線形恒等式も得る。コードとJSON証明書は著者らのGitHubで公開されている。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22（UTC）
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Motivated by Eliahou's 64-modular Hadamard construction at the smallest open Hadamard order n=668, we introduce an explicit half-flip family of 32-modular Hadamard matrices at orders n=4L for L = 3 (mod 8). A master identity reduces the four-sequence Golay-quadruple condition under the half-flip ansatz (s, s*, sq, (sq)*) to a single-sequence type-restricted autocorrelation c_k^tau(s). The construction yields a closed-form expression for c_k^tau, a true Hadamard matrix at L=11, and 32-modular matrices at every L = 3 (mod 8), including the open orders n=716 and n=1132. Existence of 32-modular at L = 3 (mod 4) is due to Eliahou-Kervaire (2001); Eliahou's 2026 follow-up in J. Algebraic Combin. gives 64-modular matrices at L = 3 (mod 16) and L = 7 (mod 32) via the same ansatz and correlation identity we call the master identity, subsuming our construction on that residue subclass. Our contribution is therefore primarily structural. Applying Barrera Acevedo-O Cathain-Dietrich (2019) and Alvarez et al. (2020), the family is non-cocyclic over any group at every prime L in {11, 19, 59} in the YES set, yet pseudococyclic over the Goethals-Seidel Moufang loop GS_{4L} at every L. A half-flip H-set decomposition theorem parameterizes the symmetric difference of any two family elements by a single sequence flip set, giving the family the structure of a length-L Hamming cube. A symbolic mod-tower verifier (mod-8 is F_2-linear) classifies true Hadamards in the family through k=14 (L <= 115): the YES set is empirically bounded by k=7, refuting four H4 predictions and excluding L in {179, 283} within the ansatz. A Grobner basis at L=11 exhibits a previously unrecorded even-T0-block linear identity. All code and JSON certificates: github.com/michelkulhandjian/hadamard-halfflip-structural
arXiv ID: 2609.25543 ／ 要約の誤りについて