Paul Dancstep：Sol LeWitt 的不完整立方体与对称计数的艺术

想象美术馆的一张桌上摆满白色的立方体骨架碎片。Sol LeWitt 的《不完整开放立方体的变体》展示了在特定规则下，立方体可以不完整的每一种不同方式。我们将从这个有趣的视觉问题出发，走向一种强大的计数方法。

开放立方体由 12 条棱组成；去掉一些棱，就得到不完整框架。剩余棱必须连通，并且沿三个维度延伸，因此平面正方形和不相连的碎片都不合格。

如果两个框架可以通过旋转互相重合，就算同一种形状。作品从每个旋转等价族中选一个代表。预期的收藏共有 122 个满足全部规则的不同框架。

LeWitt 与观念艺术、极简主义和系列艺术有关。他为壁画提供指令，由其他人执行，强调作品背后的观念。他用简洁的几何形式和系统化系列，提出满足规则的排列究竟有多少种等问题。

大约在 1973 年，他开始追问立方体有多少种不完整方式。康涅狄格州 Wadsworth Atheneum 档案馆保存了约 50 页笔记，包含草图、清单和修订，让我们得以看到创作搜索，而不只是完成的作品。

旋转等价尤其难判断：连通性或平面性往往一眼可见，但看似不同的框架转动后可能重合。LeWitt 制作小模型加以比较，再划去重复项。后来数学家确认了他预期的数量。

为了进行数学探索，先暂时放宽连通、三维和不完整的限制。我们计算立方体边的所有子集，并将旋转后相同的归为一族；其中包括断开的、平面的、完整和空的情况。得到的数目会大于 122。

先看二维版本。正方形的四条边各有存在或不存在两种选择，因此有 2⁴ = 16 种构型。立方体的 12 次独立二元选择则给出 2¹² = 4096 种构型，还没有合并旋转等价的情况。

按旋转将 16 个正方形分组。单条边有四种朝向，直角框架也是四种；平行双边只有两种。三条边的形状有四种，而完整和空白正方形各自形成一个大小为一的族，总共六个旋转等价族。

施加对应的艺术规则：去掉完整正方形、不能延伸到二维的形状，以及不连通的平行双边，剩下两个族。正方形可以直接比较，但面对一条摆满 4096 个立方体的走廊，反复手工分类就很困难。

LeWitt 按棱的数量把任务拆小：五条棱的形状不可能旋转成六条棱的形状。完成的作品也体现了这一策略，按大小分行排列示例。

我们的办法则是研究暴力搜索本身。难点在于旋转等价族的大小不同。桌子形框架的桌面可以朝向六个面，因此有六种朝向；对称性较少的框架可能有 24 种。

LeWitt 也尝试了不同记号。他用棱数和编号为每个框架命名，并从标记顶点改为给棱编号。有用的记号不仅能组织信息，还能让原先隐藏的关系变得明显。

一个框架缺失的棱可以组成它的互补框架。棱编号使寻找互补形状变得容易，两者的棱数之和为 12。LeWitt 可以同时研究四棱与八棱、五棱与七棱等情况，从而减少一部分搜索。

我们需要给变换贴标签。围绕三个面轴各可进行 90、180 和 270 度三种非平凡旋转；四条顶点轴各有 120 和 240 度两种；六条棱轴各有一种 180 度旋转。

这些是 9 + 8 + 6 种非平凡旋转，加上什么也不做，共 24 种。标签指的是动作，而非特定结果。把这 24 种动作都作用于同一个框架，就得到我所说的“族肖像”。

如果一个族的不同朝向不到 24 个，肖像中就会出现重复。桌子形例子有六种朝向，每种出现四次。三棱交于一个顶点的框架有八种朝向，每种出现三次。

如果某个变换使原框架看起来不变，我们称结果为“相同外观”。桌子有四种这样的变换，顶点框架有三种。两者都是族的大小乘以相同外观数等于 24。

缺少一条棱的立方体说明了这个公式：只有恒等变换和一个绕棱轴的半周旋转使它不变，因此族的大小是 24/2 = 12，与缺失棱的 12 种选择一致。完整立方体有 24 个保持不变的旋转，族中只有一个成员。

这一关系支持我们的直觉：越对称的框架，不同朝向越少。严格来说，它是轨道—稳定子定理的一个例子。为动作建立标签，使我们得以看见这一规律。

LeWitt 的笔记中有一处把累计数量除以 12。我猜他在试探数量是否与立方体的几何结构有关，但仅凭笔记无法确定他的想法。这类实验可能失败，却也是寻找有用规律的一部分。

为一个族的每个成员都制作肖像，再把肖像排成相册。每一列包含同一个族，顺序可能不同。12 个成员的族每列有两个相同外观；六个成员的族每列有四个。

因此，每个族的相册总共有 24 个相同外观：族的大小乘以保持形状不变的旋转数。如果能数出所有使形状保持不变的“形状—旋转”配对，除以 24 就得到族的数量。

用正方形试一试。它有四种旋转，每个族贡献四个相同外观，所以六个族共贡献 24 个。即使保持最初的 16 个构型未分类，统计同样的标记项仍得到 24；除以四，就恢复出六个族。

这个公式正确，但逐个计算 4096 个立方体各自被多少旋转固定，似乎仍要走完整条走廊。我们只是把一个困难的计数转成了另一个。这时关键的视角变化出现了：按行而不是按列计算同一批项目。

对每一种旋转，问它固定了多少个形状。正方形中，恒等变换固定全部 16 个；90 度和 270 度各固定两个；180 度固定四个。总和为 24，除以四仍得到六个族，无需分类。

一个相同外观对应一对形状和使它不变的变换。按形状数或按变换数，统计的都是同一批配对。后一种方法更容易，因为旋转对棱形成的循环决定了哪些棱必须共同选择存在或不存在。

正方形旋转 90 度时，四条边组成一个循环，因此必须全部存在或全部不存在，共两种。旋转 180 度时，水平边成对交换，竖直边也成对交换，两对独立，得到 2² = 4 个固定构型。

立方体绕面轴转 90 度时，顶部四棱、竖直四棱和底部四棱分别构成三个循环。每个循环的棱必须全有或全无，因此每次四分之一周旋转固定 2³ = 8 个构型。

绕面轴转 180 度把棱分成六个循环，固定 2⁶ = 64 个构型。绕顶点轴转 120 或 240 度有四个棱循环，固定 2⁴ = 16 个构型。绕棱轴半周旋转有七个循环，固定 2⁷ = 128 个构型。

恒等变换固定全部 4096 个构型。对 24 种旋转求和，得到 4096 + 6×8 + 3×64 + 8×16 + 6×128 = 5232。除以 24，得到 218 个旋转等价族；此时尚未恢复作品的其他限制。

LeWitt 的笔记还暗示了另一个可能的发现。有些框架与其镜像看似相似，却不能通过旋转重合，所以属于不同的族。Dancstep 推测认识到这一点可能使艺术家的清单增长；具体顿悟时刻仍属推测。

到 1974 年初，LeWitt 通过多件作品将枚举结果形式化，包括桌面作品、大型雕塑、绘图和书籍。每个框架的平面简化图把三维形状压缩成便于记录的信息。

Dancstep 发现这些紧凑图示也方便他把作品转录为代码。LeWitt 则用它们追踪每件大型雕塑由哪位制作人负责。抽象既能帮助思考，也能帮助实际协调。

这种计数方法就是 Burnside 引理：族的数量等于每种变换所固定对象数量的平均值。它不限于立方体边的二元选择：视频举例说，不完整四面体有 12 个族，三色立方体边着色有 22815 个旋转不同的结果。

完整的数学论证还需要证明途中用到的断言，包括 24 种旋转以及轨道—稳定子关系。证明使结果可靠并可供他人使用，但探索过程本身充满猜想、失败和灵光一现。

一项 2014 年计算研究确认，施加 LeWitt 的全部限制后有 122 种形状。视频还指出，最终雕塑中的 104 号和 105 号是重复形状，另一个形状则被遗漏。总数正确和实体枚举完全无误是不同的说法。

Dancstep 认为，数学不只是给艺术作品打分和找错。它还提供了一种从观念上欣赏作品的方式。草图、失败尝试、模型和思考过程可能与成品一样有启发性，展现艺术与数学发现之间的共同点。