[論文レビュー] On the canonical formula of C Lévi-Strauss, II

Jack Morava|arXiv (Cornell University)|Feb 27, 2020

Complex Systems and Time Series Analysis参考文献 11被引用数 4

ひとこと要約

本稿は、Lévi-Straussの定式化された公式（CF）を、二重正八面体群とリプシッツ単位クォータニオンを用いて数学的モデル化し、その構造的対称性が反自己同型写像のもとでも保存されることを示している。主な貢献は、非可換比と群論的変換を用いたCFの不変性の形式的検証であり、神話的構造が代数的トポロジーおよび認知処理と結びつくことを示している。

ABSTRACT

This is an attempt at applied mathematics, a sequel to arXiv:math/0306174. It suggests a particular model for the application in question, based on the binary octahedral group.

研究の動機と目的

• Lévi-Straussの定式化された公式（CF）を、人間学的議論において未だ不十分に定義されたものとして、形式的な数学的解釈を提供すること。
• 特に関数と項の逆転に関する曖昧さを解消するために、CFを明確な代数的構造に埋め込むこと。
• 有限群、特に二重正八面体群を用いて、CFの認知的および構造的含意をモデル化すること。
• ブレード群や特異性理論を含む高度な数学と神話的構造主義を、自己同型写像と非可換比を通じて結びつけること。
• CFの対称性が特定の反自己同型写像のもとでも保存されることを示し、形式的枠組みにおいてその構造的不変性を検証すること。

提案手法

• 値 {x, a, y, b} をリプシッツ単位クォータニオンの群 Q に写像し、{1, i, j, k} のような要素とする。
• 関数 Φx(a) = 2⁻¹/²(x − a) を定義し、二重正八面体群 2·O の要素に値を割り当てる。
• 反自己同型写像 λ = *Iσ² を適用し、比 {Φx(a) : Φy(b)} を {Φλ(x)(λ(a)) : Φλ(y)(λ(b))} に変換し、CFの右辺と一致させる。
• 非可換比を式 {Φx(a) : Φy(b)} = ½[({x:y} + {a:b}) − ({a:y} + {x:b})] を用いて形式化し、代数的検証を可能にする。
• x=1, a=i, y=j, b=k の場合に明示的に検証を行い、λ(j−k) = −(i+j) が成り立つことを示し、不変性を確認する。
• 群論に基づくモデルであり、ブレード群、自己同型群（Σ₄ と A₂₄）、およびトムの記号的ウミリックを介した特異性理論とも関連している。

実験結果

リサーチクエスチョン

• RQ1 Lévi-Straussの定式化された公式は、明確に定義された代数的構造内において形式的な数学的式として解釈可能だろうか？
• RQ2 関数と項が逆転する場合を含め、CFの構造的対称性は変換のもとでもどのように保存されるのか？
• RQ3 特に λ = *Iσ² として定義される反自己同型写像は、公式の両辺にわたる不変性をどのように維持するのか？
• RQ4 有限群、特に二重正八面体群とクォータニオンは、神話的構造的関係を形式的モデルとしてどのように機能するのか？
• RQ5 ブレード群と群自己同型写像を用いた神話的変換のモデル化から、認知的または進化的な含意は何か？

主な発見

• 定式化された公式 CF: Fx(a):Fy(b) ≃ Fx(b):Fa⁻¹(y) は、二重正八面体群 2·O の文脈において、写像 Φx(a) = 2⁻¹/²(x − a) を用いて形式的に検証された。
• x=1, a=i, y=j, b=k の特定の値について、左辺 {Φ₁(i) : Φⱼ(k)} は ½(j−k) に評価され、右辺 {Φ₁(k) : Φ₋ᵢ(j)} は −½(i+j) に評価され、λ(j−k) = −(i+j) が成り立つことから、公式の不変性が確認された。
• 反自己同型写像 λ は公式の構造的対称性を保存し、双対的変換のもとでの不変性を検証した。
• クォータニオン群 Q の自己同型群 Σ₄ は、2·O の特別な要素とそのジョルダン比の集合を保存するが、2·O の内部自己同型群 A₂₄ とは異なる。
• モデルは、CFとブレード群理論との深い関係を明らかにし、神話的再帰が認知的パターン形成プロセスと構造的に関連している可能性を示唆している。
• Σ₃ ⊂ Σ₄ における巡回置換を通じて、CFの変種形態が群作用のもとで等価であることが示され、フレームワークはそれらの異なる表現を統合した。