HV 超维语义代数

AxonCog 的核心数学基础:10048 维闭合代数系统,架构层面消除幻觉

HV 语义张量定义

HV 语义张量是 AxonCog 底座的核心数据结构,是连接"感知-思考-行动"的唯一桥梁。

维度
10048 维
= 157 x 64 bit
类型
双极向量 (+1/-1)
每维度 1 bit
存储
1256 字节
157 个 u64
axoncog-core/src/vsa/
rust
1pub const VSA_DIM: usize = 10048;
2pub const VSA_U64_COUNT: usize = VSA_DIM / 64; // = 157;
3
4pub struct VSATensor {
5 bits: [u64; VSA_U64_COUNT],
6}
7
8pub struct HvVector {
9 tensor: VSATensor,
10 metadata: HvMetadata,
11}

为什么是 10048 维

不可逆性保证

10048 维空间 = 2^10048 种可能状态,反推原始数据等价于 10^3028 空间穷举 (可观测宇宙原子数仅约 10^80)。

容量充足

超维向量的容量约为维度的 0.35 倍 D,10048 维可可靠叠加约 3500 个向量。

MCU 可行

157 个 u64 = 1256 字节,在 32KB RAM 中绰绰有余。

超维代数三原语

AxonCog 的推理基于三个代数原语,构成闭合代数系统。任何原语的输入是 HV,输出也是 HV, 不会"逃逸"到概率空间。

绑定 Bind按位 XOR

将两个 HV"绑定"为一个新的复合 HV,类似变量赋值。绑定后的 HV 与原 HV 近似正交。

零精度损失、零平台依赖、恒定时间复杂度 O(D/64)。代码位置:axoncog-core/src/vsa/bind.rs

叠加 Superpose多数表决

将多个 HV"叠加"为一个集合 HV,类似无序集合。噪声容忍:叠加 N 个 HV 后,任一成员与集合的相似度约为根号(N/D)。

引入奇偶打破铁律:强制读取种子 bit[0] 决定结果,保证跨平台确定性。逐 64-bit word 处理,计数器仅 128 字节。

置换 Permute循环移位

将 HV"置换"为序列中的下一个位置,保护时序信息。置换后的 HV 与原 HV 近似正交,但置换逆操作可恢复。

使用确定性循环移位,可逆且跨平台一致。代码位置:axoncog-core/src/vsa/permute.rs

闭合代数系统与零幻觉

零幻觉的数学逻辑:幻觉的唯一来源是概率采样(Top-k / 温度 / Softmax)。AxonCog 的推理路径是闭合代数系统—— 绑定(XOR)、叠加(多数表决)、置换(循环移位)。这些运算是确定性的:同输入永远同输出。 系统中没有任何概率采样环节。没有概率采样就没有不确定性,幻觉在架构上不可能产生。

闭合性保证

绑定、叠加、置换三原语对 HV 集合构成闭合——任何原语的输入是 HV,输出也是 HV, 不会"逃逸"到概率空间或浮点空间。

奇偶打破铁律

叠加操作遇偶数平局时,强制读取种子 bit[0] 决定结果。 保证不同硬件、不同编译器、不同运行时,同一输入永远产生同一输出。

工程防御机制

防御机制代码位置作用
fence(SeqCst) 内存屏障vsa/defense.rs防止编译器重排代数运算指令
#[inline(never)]vsa/defense.rs防止内联优化破坏运算隔离
零概率采样铁律全系统严禁 PRNG / 温度 / Top-k / Top-p
奇偶打破铁律vsa/superpose.rs保证跨平台确定性
逐字处理vsa/superpose.rs避免 MCU 栈溢出

与传统 VSA 的区别

学术界存在向量符号架构(VSA)的研究方向,AxonCog 的数学基础与 VSA 有交集, 但 AxonCog 不是 VSA 的工程封装。传统 VSA 存在多个致命缺陷,AxonCog 在工程层面全部解决了这些问题。

传统 VSA 缺陷AxonCog 解决方案
维度选择无理论依据,常用 1000/10000 维凑数10048 维 = 157x64,满足不可逆性 + 容量 + MCU 可行三重约束
叠加遇偶数平局时行为不确定,跨平台结果不一致奇偶打破铁律:强制读取种子 bit[0],保证跨平台确定性
无工程防御,编译器优化可能破坏代数运算语义fence(SeqCst) 内存屏障 + #[inline(never)] 防止指令重排
纯理论原型,无 MCU 部署能力逐 64-bit word 处理,计数器仅 128 字节,可在 32KB RAM 运行
无闭合性保证,运算可能逃逸到浮点/概率空间纯二值双极向量 + 三原语闭合,输入输出均为 HV,不逃逸
无分布式能力,仅单机理论模型7 大原生创新模块实现分布式对等智能场
无隐私保护,原始数据直接参与运算原生隐私物理删除 + 单向不可逆编码