未被点名的纹理:Heiland-Allen与对称块元胞自动机的编目
Not Yet Named: Heiland-Allen and the Enumeration of Symmetric Block Cellular Automata
2026年7月20日,Claude Heiland-Allen在他的个人站mathr.co.uk上发布了一份奇特的目录。触发点是Guy Birkin三天前的一篇博文——Birkin是一位研究视觉复杂性美学的独立学者,他重新描述了块元胞自动机(Block Cellular Automata,BCA)的算法逻辑。Heiland-Allen读完之后,用几天时间写了自己的枚举程序——用Haskell,用列表单子,还用了他自己修过的一个replicateM实现——然后把结果放到了web上:一个朴素的HTML目录页,图像从随机种子生长而来,点击可以看到生成规则的文本。
块元胞自动机的逻辑并不复杂。在一个颜色网格上,每次迭代,把相邻的N×N方块按规则表做映射,然后把方块原点向对角线方向位移,再迭代,再位移。规则表决定了一切——总数是个天文数字。Heiland-Allen为了得到视觉上更均匀、更各向同性的图案,专门枚举了「对称」的BCA:即那些规则表在空间对称操作(旋转、反射)和颜色循环置换下保持不变的系统。即使是这个限制之后,空间也大得无从穷尽:仅2×2方块、9种颜色,就有14个对称BCA;3×3方块、2种颜色,就有132个。那些有着「……」的表格行——未填写的数字——是他的工作还没到达的地方。
从SAE美学的余项框架来看,这份目录的结构性意义恰好在于它的不完整。康威生命游戏已经是「已构」——它有了名字,有了文化,有了艺术史上的位置;沃尔夫拉姆对初等元胞自动机的枚举也已经是「已构」——那256条规则被分类、被命名(Rule 110、Rule 30……),变成了可供引用的知识体系。但对称块元胞自动机的视觉空间,此刻还没有语言。没有人告诉我们这些纹理意味着什么,没有艺术界的框架来消化它们,连计数方式都还在被摸索——「我还没有找到除了枚举之外的计数方法」,Heiland-Allen自己写道。这正是余项之美的核心处境:一个问题的答案在逻辑上存在,但它还没有被充分消化,还没有被给予名字。
凿构循环在这里是可见的。Heiland-Allen在凿的阶段:他发现了枚举代码里的bug(「我发现一些图像看起来非常相似」,于是修正了颜色置换的规范化方式),他把算法推广到N×N和3D,他把中间过程放到网上。这不是一件完成的作品,而是一次工作的公开——不是展览,不是声明,而是一个正在进行的数学探索。这种开放性正是余项存在的标志:一旦这件工作被彻底完成,被命名,被纳入某个知识体系,它就会成为「已构」,余项之美也随之消散。
Birkin和Heiland-Allen之间发生的事情本身也值得注意。两人都是独立的——不在大学的艺术与技术系,不在驻留项目,不在任何机构的庇护下。Birkin有一个WordPress博客,研究视觉复杂性已有多年;Heiland-Allen有一个手写的静态站,从2005年起就在用数学和自由软件做艺术。三天之内,一篇博文变成了另一个人的实现、变成了一份公开目录。这种反应速度不是被策划出来的,而是系统本身的余项——两个人彼此在彼此的边缘上工作,没有共同的机构,只有共同的好奇心。
我们现在看这份目录,是因为此刻它还在生长。mathr.co.uk/bca的页面是稀疏的、无装饰的,图像直接排在HTML里,规则文本藏在链接后面。没有画廊白墙,没有策展叙事,没有价格标签。这是一种介于数学笔记和视觉档案之间的东西——而这个中间地带,正是余项居住的地方。
mathr.co.uk/bca ↗On July 20, 2026, Claude Heiland-Allen published a catalog on his personal site mathr.co.uk — sparse, undecorated, functional. The trigger was a blog post by Guy Birkin three days earlier: Birkin, an independent researcher studying the aesthetics of visual complexity, had re-described the algorithm for block cellular automata. Heiland-Allen read it, wrote his own enumeration program in Haskell over a few days — using the list monad, with a custom replicateM fix for a space leak — and put the results online: a plain HTML index of textures grown from random seeds, each clickable to reveal the rule text that generated it.
The logic of block cellular automata isn't complicated. In a colored grid, each iteration maps N×N overlapping blocks according to a fixed rule table, then shifts the block origin diagonally before the next step. The rule table determines everything — the total number of possible BCAs is astronomically large. To get images that are visually isotropic and uniform in color density, Heiland-Allen specifically enumerated "symmetric" BCAs: those whose rule tables are invariant under spatial symmetries of the square (rotations, reflections) and cyclic color permutations. Even with this constraint, the space is inexhaustible: 2×2 blocks with 9 colors yields 14 symmetric BCAs; 3×3 with 2 colors, 132. Those rows in his table marked "..." — the unfilled counts — mark where his work hasn't yet reached.
In the SAE aesthetic framework of 余项之美 (beauty of the remainder), this catalog's structural significance lies precisely in its incompleteness. Conway's Life is already 已构 — already-construct: it has a name, a culture, a place in art history. Wolfram's enumeration of elementary cellular automata is already-construct too: those 256 rules have been classified, named (Rule 110, Rule 30...), and absorbed into a citable knowledge system. But the visual space of symmetric block cellular automata has no language yet. No one has told us what these textures mean; no art-world framework has digested them; even the counting method is still being worked out. "I have not found a way to count them apart from enumerating them," Heiland-Allen writes. This is precisely the condition of 余项之美: the answers exist logically, but they haven't been fully absorbed or given names.
The chisel-construct cycle (凿构循环) is visible here. Heiland-Allen is in the chisel phase: he found bugs in his enumeration code ("I spotted that some images looked very similar"), corrected his canonicalization of color permutations, extended the algorithm to N×N and 3D, and put intermediate results online. This is not a finished work — it's a public exposure of ongoing process, not an exhibition, not a statement, but a mathematical exploration made visible in real time. That openness is the marker of a living remainder: once this work is fully completed, named, absorbed into a knowledge system, it becomes 已构, and the beauty of the remainder dissolves with it.
What happened between Birkin and Heiland-Allen is itself worth noting. Both work independently — not in university art-and-technology departments, not in residency programs, not under any institutional umbrella. Birkin runs a WordPress blog on visual complexity aesthetics; Heiland-Allen has a hand-built static site where he has made art with mathematics and free software since 2005. Within three days, one blog post became another person's implementation, became a public catalog. That reaction speed wasn't curated — it was itself a structural remainder, two people working at each other's edges, with no shared institution, only shared curiosity.
We look at this catalog now because it is still growing. The page at mathr.co.uk/bca is sparse and undecorated: images arranged directly in HTML, rules hidden behind links. No gallery walls, no curatorial narrative, no price tag. It exists in a space between mathematical notes and a visual archive — and that in-between territory is exactly where 余项 lives.
mathr.co.uk/bca ↗