‹ 返回工坊合集
第 29 站 · 数学游戏工坊 · 九章格数学 PhiloMath

神秘辫子工坊 · Mystery Braid / Braid Group B3

一条皮革、两个死扣封闭的端、三股「编不出来」的辫子——手艺人的谜题里藏着三次遭遇约翰·康威: 满扭 Δ2 是三股辫群 B3 的中心,恰是 B3 → PSL(2,ℤ) 的核;而 PSL(2,ℤ) ≅ ℤ2∗ℤ3 正是有理缠绕的对称群。 本站两条主线:解缠对局(Conway 缠绕分数游戏)与神秘辫子模拟器(亲手编出中心元素)。

关卡:
0
当前缠绕分数 · 目标 0

走子记录

拧 T 把分数加一,转 R 取负倒数。任何有理分数都能归零——所需最少步数恰是它的连分数展开之和(欧几里得算法的步数)。这局棋的"棋谱",就是分数的连分数。

策略教程 · 逐手复盘

每一关的最优解都由「少余数欧几里得」给出:分数为负就加一拧向零,为正就旋转取负倒数,再连拧把余数缩小——与求 13/5 的连分数完全同构。

辫子词(自上而下)
闭合体检

把戏怎么玩

一条皮革只开两刀、三股相连,上下两端都是死的。传统辫法需要活口,这里靠两件事: ① 交叉移动只换位置;② 「底穿洞」——把整个下端从股间洞里掏过一次,抵消材料的拧转。 配方:左压中 → 右压中 → 左压中 → 底穿右孔 → 左压中 → 右压中 → 左压中 → 底穿左孔,即得一个单元。 点「演示配方」看自动演示,或亲手试:闭合体检全部成立时,您编出的正是满扭 Δ2。

为什么两端闭合也能编

六个交叉排成 σ1σ2σ1σ1σ2σ1 —— 这恰好就是满扭 Δ2 的字面拼写:Δ=σ1σ2σ1,Δ2=σ1σ2σ1σ1σ2σ1。 满扭居于 B3 的中心:整堆交叉在两端看来毫发无动(置换平凡、投影类平凡)。两次穿洞一正一反, 把皮革的扭矩清零。于是「不可能的辫子」= 中心里的隐藏旋转。——这就是为什么它神秘,却不违规。

词工作台

B3 = ⟨σ1, σ2 | σ1σ2σ1 = σ2σ1σ2⟩。用按钮拼一个词,看它映到 SL(2,ℤ) 的矩阵、S3 的置换、缠绕分数,以及欧几里得读法。

示范词

ℤ2∗ℤ3 的骨架

把 B3 投影到 PSL(2,ℤ):满扭 Δ2 整个被商掉。商群里只剩两个音符——阶二的 R(转)与阶三的 ρ=σ1σ2。 它们之间没有任何关系约束:PSL(2,ℤ) ≅ C2∗C3,自由积。实验室里的「欧几里得读法」就是把任意元素写成 t-平移、t′-平移与 R 的标准串。

元素矩阵(SL 代表)阶(PSL 中)inf ↦
t = σ1[1 1 / 0 1]∞∞(平移)
R 类 = Δ[0 −1 / 1 0]20
ρ = σ1σ2[0 1 / −1 1]3∞(不动)
Δ2 满扭−I1(中心,被商掉)∞

皮革里的谜

神秘辫子是皮具匠的老手艺:一条皮带开两刀成三股,两端都不剪断。编好后两条边完好如初, 看上去无解——辫子怎么能凭空长出来?手艺配方分两拍:「压」(交叉)与「穿」(把整个下端从股间洞里掏过)。 老匠人只知道配方有效;解释它的,是群论。

满扭:藏在中心的旋转

三股辫群 B3 由两个生成元 σ1、σ2 生成,唯一关系 σ1σ2σ1 = σ2σ1σ2。元素 Δ = σ1σ2σ1 叫半扭, Δ2 = σ1σ2σ1σ1σ2σ1 叫满扭:三股各自转一整圈、彼此绕一整圈。Δ2 生成 B3 的整个中心—— 它与任何辫子交换,且在「只看两端」的任何观测下都隐形。神秘辫子的六次压恰好拼出 Δ2 的字面拼写: 神秘的全部秘密,就是一次藏进中心的旋转。而把 Δ2 商掉,就得到 PSL(2,ℤ) —— 康威有理缠绕的舞台。

康威的缠绕分数

两根绳子、四个观众:拧 T(加一)与转 R(负倒数)能造出的一切缠绕,都一一对应一个有理数—— 缠绕分数。Conway 定理:分数是有理缠绕的完备不变量,且玩家手里的两个移动正是 PSL(2,ℤ) ≅ ℤ2∗ℤ3 的生成元。对局里的图就是标准的缠绕图:金色与红两股绳穿过分带区, 每个 X 是一个交叉;拧 T 在端点处再加一个交叉,转 R 把整幅图顺时针旋转 90°(分数变负倒数)。 解缠,就是把分数送回 0: 负了就加拧,正了就旋转,连分数的每一步余数都是一次「该拧几下」的处方。 最少步数 = 连分数展开的各项之和——欧几里得算法在这一局里客串最优策略。

再遇 Conway

这是本合集第三次遇见约翰·H·康威:珍珠劫里的组合博弈是他划分的领地, 独立钻石棋的「康威士兵」是他提出的军阵问题,而这里是他晚年最爱当众表演的缠绕把戏—— 出门、回来、报一个分数、抖一下绳子,乱麻自解。数学不解释魔术,数学就是魔术本身。

薪火

John H. Conway 的 tangle trick(见 Nick Salter, Ropes, fractions, and moduli spaces, arXiv:2309.11311 的梳理); John Baez, This Week's Finds 233(B3 → PSL(2,ℤ) 的显式矩阵);Kauffman–Goldman 的有理缠绕不变量证明; 皮革配方见 Instructables《The Mystery Braid》与 Mathcraft NZ《Demystifying the Mystery Braid》。 本站所有矩阵、分数、置换与「满扭拼写」断言均由程序双重验证。