[论文解读] 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

一句话总结

本文提出了一种基于二元正八面体群与Lipschitz单位四元数的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} 映射到Lipschitz单位四元数群 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₂₄）以及通过Thom的符号脐点联系的奇点理论存在关联。

实验结果

研究问题

• RQ1 Lévi-Strauss的典范公式能否在明确定义的代数结构中被正式解释为一个数学方程？
• RQ2 当函数与项被颠倒时，CF的结构对称性在变换下如何保持？
• RQ3 反自同态（特别是 λ = *Iσ²）在保持CF双侧不变性方面发挥何种作用？
• RQ4 有限群（如二元正八面体群与四元数）如何作为神话结构关系的形式化模型？
• RQ5 通过辫群与群自同构对神话变换进行建模，会引出何种认知或进化上的启示？

主要发现

• 在二元正八面体群 2·O 的上下文中，通过映射 Φx(a) = 2⁻¹/²(x − a) 对典范公式 CF: Fx(a):Fy(b) ≃ Fx(b):Fa⁻¹(y) 实现了形式化验证。
• 对于特定值 x=1, a=i, y=j, b=k，左侧 {Φ₁(i) : Φⱼ(k)} 的结果为 ½(j−k)，右侧 {Φ₁(k) : Φ₋ᵢ(j)} 的结果为 −½(i+j)，且 λ(j−k) = −(i+j)，确认了公式的不变性。
• 反自同态 λ 保持了公式的结构对称性，验证了其在对偶变换下的不变性。
• 四元数群 Q 的自同构群 Σ₄ 保持了 2·O 中特殊元素及其Jordan比值的集合，尽管其不同于 2·O 的内自同构群 A₂₄。
• 该模型揭示了CF与辫群理论之间的深层联系，表明神话递归可能在结构上与模式形成认知过程相关联。
• 该框架通过 Σ₃ ⊂ Σ₄ 中的循环置换调和了CF的变体形式，表明不同表述在群作用下是等价的。