关于由±1变量构造的8顶点6-多面体的技术咨询

嘿，这个构造确实很自然！让我帮你梳理一下这个6维凸包的关键特性：

• 本质维度：虽然坐标在6维空间中，但这个凸包的实际几何维度是3——所有8个顶点都落在6维空间的一个3维仿射子空间里。你可以把每个顶点对应到三元组$(a,b,c)∈{±1}^3$（其中$a=AB, b=AC, c=AD$），此时坐标可表示为$(a,b,c,ab,ac,bc)$，这个映射把3维立方体的顶点嵌入到6维空间中，凸包的组合结构和3维立方体完全等价。

• 顶点结构：8个顶点分为三类：

  • 1个“全正”顶点：$(1,1,1,1,1,1)$（对应所有变量取1）
  • 4个“单负等价”顶点：每个对应恰好一个变量取-1（或三个变量取-1，因符号全翻转等价），坐标为3个-1和3个1（例如$(-1,-1,-1,1,1,1)$）
  • 3个“双负等价”顶点：每对应一对变量取-1，坐标为2个1和4个-1，或4个1和2个-1（例如$(1,-1,-1,-1,-1,1)$）

• 组合结构：作为3维嵌入多面体，它和3维立方体组合同构：

  • 每个顶点有3条相邻边（对应改变三元组$(a,b,c)$中的一个分量符号）
  • 共有12条边、6个面（每个面是4个顶点构成的正方形）、8个顶点，符合立方体的欧拉特征（$V-E+F=8-12+6=2$）

• 对称性质：

  • 中心对称：凸包的中心是原点，若点$x$在凸包中，则$-x$也在凸包中
  • 对称群同构于立方体的全对称群（阶数48），对应四个变量的所有置换，以及单个/多个变量的符号翻转（模掉全翻转的等价性）

• 约束关系：所有顶点满足非线性约束：对任意三个变量$X,Y,Z$，有$XY \cdot XZ = YZ$（因$X^2=1$），这也是顶点能落在3维子空间的根本原因。

内容的提问来源于stack exchange，提问作者Alex Meiburg