第十八章　精化

标记点那个格子，松枝挂了六个星期。八月五日的夜里，他把它从待解释里拿了出来。

拿出来的契机是一句话，他自己问自己的一句话，问得很笨：凶手为什么要把签名升级到算术几何？

层进的规则他早就写明白了：纽结，低维拓扑，椭圆曲线，一层比一层深，一层比一层接近他本人。可这个规则只解释了方向，没有解释成本。升级是有成本的。纽结人人会打，数列谁都会查表，可一条有限域上的椭圆曲线，一个躺在曲线上的标记点，这不是街边能捡到的东西。一个能写好三行字的人，第三行偏要写进别人的领域，写进一个全世界真正懂的人不超过三位数的领域。他图什么？挑衅两个字回答不了这个问题，挑衅用更低的成本就能做到，一条错误的曲线、一个画歪的符号，挑衅的效果不减，成本几乎为零。

除非升级不只是签名的事。除非第三案的那块白板上，有一样东西不是写给观众看的，是写给规则看的。

松枝站在白板前，把这条思路从头走了一遍，每一步他都检查能不能站住。

第一步：签名在演化。三案，三次升级。这是事实，不是猜测。

第二步：这套理论里，签名和目标选择共用参数。签名数列停在四十九，目标选择用它的下一项，一百六十五。参数从签名物流向目标函数，这是他自己建的结构，也是被六月二十日验证过一次的结构。参数随签名发布，这条管道是通的。

第三步：如果签名在演化，目标选择就没有理由停在原地。凶手把签名升级了两次，目标函数却被他假设成不变的。这个不对称是他自己的懒惰，不是凶手的。

第四步：第三案的签名物上，除了曲线，还有一个东西。标记点。它不是方程的一部分，方程不需要它，曲线自己就能站住。它是多出来的，是凶手亲手放上去的一个多余的参数。

多出来的东西，就是给的意思。

他把白板擦净，开始写新的推导。曲线定义在有限域上，模一百九十九。方程退化，判别式是零，这件事在格子里挂了六个星期，没有意义，只有事实。标记点躺在曲线上，坐标代进去严丝合缝。一个在有限域上画曲线、又特意标出一个点的人，这个点的坐标不可能只是装饰。可六个星期里，他拿这两个坐标对了日期，对了页码，对了编号，全都对不上。

多出来的东西，不止白板上这一件。

他拉开抽屉，把那张纸的复印件取了出来。

三浦案的纸。签名的位置，不是签名的内容。他把这十个数又读了一遍。二，四，八，十六，三十二，六十四，一百二十八，九十一，十七，三十四。乘二，绕回，模一百六十五。七月里他解出它用了一分钟，判它只用了一个词。此刻他盯着它，看的不是答案，是动作。

乘二，超过模数就减掉模数，一圈一圈，在一个有边界的世界里打转。

这不是一道题。这是一台机器的使用说明。它教的不是一百六十五这个数，是乘法：在一个有边界的世界里，乘法就是数数。

他的目光回到白板上那条退化的曲线。

带一个结点的三次曲线，去掉那个结点，剩下的点构成一个群，而这个群是乘法的。教科书里的句子，他读过，也教过。六个星期里它一次也没有浮上来，因为没有任何东西告诉他该往乘法的方向想。现在有了。那张纸钉在第四案的现场，钉在签名的位置上，用一道蠢题，把方向递了过来。它不是没有意义的。它是使用说明。

他把推导写下去。奇点，坐标记作 (α, 0)，α = 179。过奇点作弦，弦的斜率记作 u：曲线上每个点 P 都对应一条弦，u = y/(x−α)。再做一次代换，t = (u−s)/(u+s)，其中 s² = 3α ≡ 139，s = 61。在这组坐标里，群律变成了乘法：

t(P+Q) = t(P) · t(Q)

从 t 回到坐标也只是代数：u = s(1+t)/(1−t)，x = u² + 40。

这条曲线不是写坏了。这条曲线是一台乘法机器，方程是它的外壳，奇点是它的轴。

他把标记点 M 的坐标代进去。M = (97, 81)。u = 81/(97−179)，模一百九十九，等于 16。然后 t(M) = (16−61)/(16+61)。

模一百九十九，等于 2。

他停笔。

他起身，把窗户推开一条缝，又关上，回来坐下。

那张纸的底数是二。这条曲线的标记点，参数是二。纸上那列数不是什么答案，是这台机器的动作本身：乘二，绕回。机器里是 t(nM) = 2ⁿ，模一百九十九；纸上换了模数，用一百六十五，把同一个动作教了一遍。

他开始列轨道。弦切法：过 M 作切线，交曲线于第三点，取它对横轴的镜像，就是 2M。手算，一步一验。x(M) = 97。x(2M) = 6。x(3M) = 152。x(4M) = 16。x(5M) = 42。x(6M) = 110。

然后他打开数据集的打印件，把职工号那一列对模一百九十九取同余。

中村，296，余 97 = x(M)。第一格。
高野，205，余 6 = x(2M)。第二格。
白川，351，余 152 = x(3M)。第三格。
林，241，余 42 = x(5M)。第五格。
小島，309，余 110 = x(6M)。第六格。

五个号码落进五个格子，格号就是死亡顺序。

第四格空着。第四格的坐标，16。

他把笔放下了。

十六。那张纸的答案是十六。十六，四的平方。第四十四项，四十四。轨道第四格的横坐标是十六，机器在第四步的参数，二的四次方，也是十六。两个坐标系，同一个数。那张纸钉在第四案的墙上，它的答案是第四格的坐标。

第四案。三浦。

时序的第四案，填进轨道的第四格，严丝合缝。他把这一条写下来，手很稳：三浦案不是噪声。第四案是他的，那张纸是他递的。他把方法递到我们手里，看着我们什么时候走到这里。

名单还剩最后一行。

佐藤，216。

他把 216 的余数代进方程，右端等于 154。154 在模一百九十九下是不是平方数，他列平方表查，查到 99²，没有；又换勒让德符号算了一遍，还是没有。没有 y。这条曲线上，没有 216 能落进去的位置。

佐藤実，不在这条曲线上。

他停了几秒钟。

他把这条结论搁在手边，没有记进日志，先把整个推导倒着重走了一遍。轨道，余数，格子，每一行都验算。没错。然后他把佐藤这一行放在理论的每条规则上过：不符合层进，层进踩的是研究者的领域，纽结，拓扑，算术几何，一步一步全在行当上，佐藤没有行当，七年的庶务，两年的图书馆，他在这条链上从来没有过自己的格子；不符合曲线，连点都不存在，连候选的资格都谈不上。每一处都指向剔除，每一条都站得住。

可是。

他说不出这个可是是什么。名单第四行，年会，图书馆，四百块钱。一个没有领域的人，一个不在曲线上的人。一进一出，都是规则自己长出来的，和他对这个人的任何印象无关。这正是他要的：理论不带口味，它连佐藤这样的人也收过，如今也按同样的不带口味把他退出去。他迟疑的不是结论，是结论底下那个无名的东西。像一个每一步都验过的证明，合上本子之前，又翻开看了一眼。

他把这一行记进日志：佐藤実，剔除。曲线上没有他的点。

他把全部推导写成四页，写完站在审稿人的立场上从头读了一遍。有两处接缝没有先验的理由，他承认：方法是从一张曾经判了死刑的纸上移植过来的，纸是对方递的，锁是对方配的，可移植仍是类比，不是推导；职工号对白板取同余，这个跨数据集的读法是试出来的，试完以后数据变得好看。这半页诚实声明他留在文稿里，没有删。试出来的规则历史上多的是，广义相对论之前，也没有人能先验地说时空该用哪种几何。规则让事实去审，审稿人不是他。

八月六日，星期四，下午两点，搜查会议。

会议室在长桌尽头，冷气开得很足。签到表传了一圈，出席栏十几个名字，列席栏一个：早川渉，顾问。这几个月每一次涉及数据的会议他都在列席栏，签名瘦长，一笔写完。

松枝把四页纸复印了十份发下去，用二十分钟讲完：从层进的成本问题讲起，过那张判了死刑的纸，过退化的曲线和乘法的机器，过轨道、同余、格子，落在曲线上没有点的那一行，剔除。然后他给出结论。

"目标集合，两人。林，第五格。小島，第六格。按轨道的顺序，林在先。布控建议：林提至特级，小島维持加密。另外一项：三浦案追认入系列，第四案，证据是那张纸。"

会议室里安静了一会儿。课长把四页纸翻了一遍，翻得很慢。

"第五格和第六格的可靠性？"

"编号、日程、出处，全部可溯源。"早川在列席席上答，"轨道重跑过两轮，无矛盾项。"

"旧名单呢？"

"林和小島在目标集合里，第五格和第六格。他们下一次公开窗口在十月以后，但轨道不标日期，标的是顺序。"松枝说，"佐藤実，移出名单。"

"移出。"

"精化后的轨道上没有他。"松枝说，"名单本来就是理论的输出，理论改了，输出跟着改。留着他在名单上，等于用旧理论否决新理论。那我今天这四页纸就白讲了。"

"还有一点。"另一名搜查员翻了翻复印件，"这个精化，为什么是现在我们才有？第三案六月二十日，一个半月了。"

"因为我一个半月没想通那个零。"松枝说，"判别式是零，这件事在白板上挂了一个半月，我查不出它在说什么。这个星期我换了一个问法：不问它是什么，问它在等谁。它等的是那张纸。问法一换，答法就出来了。这一个半月不是浪费，是把错的问法一条条排除掉的时间。"

课长点了点头，在本子上记了一笔。会议室里没有人再提问，复印件在桌上传了一圈，回到讲台。

一名搜查员问，这个人移出去，万一呢？

"没有万一。"松枝说。他的语气很平，像在课堂上回答一个定义问题。"他不在输出里。理论说他安全，他现在比这间屋子里每个人都安全。"

表决走了流程：三浦案归队入系列，林提至特级，小島维持加密，佐藤実保护解除，名单更新走本部手续，次日生效。散会前早川确认了一句，数据侧今晚按新规则把名单重跑一遍，明早送达本部，变更全部留痕。

下午四点半，伊达来了，没有预约，也没有先打个电话。

"名单的事，会上我在，一个字没说。"他站在白板前，没有坐，"会上我不说，是不想拆您的台。这会儿就咱们两个人，我还是得讲一句。佐藤这个人，还是该看着。"

"理由。"

"没有理由。"伊达说，"我试过找理由，找了一个钟头，找不到。您的四页纸我看了两遍，推导我挑不出一个毛病。我就一个感觉：这个人是名单上最普通的一个，普通到除了这张名单，没有任何一双眼睛落在他身上。白川有普林斯顿，林有理事会，小島有大学里的同事，出事了有一堆人记得他们。佐藤有什么？现在名单也不要他了。从明天起，知道他日程的人里，一个守他的都没有了。"

"伊达警官，"松枝说，"听我说完，三条。第一，知道他日程的人本来就只有看年会通知的人，那个窗口已经过去了，七月五日，无事。第二，保护不是免费的。警力是有限的，押在理论说安全的人身上，就是从林和小島身上抽走的。第三，也是最重要的：撤岗不等于抛弃。理论说他安全，这句话和我今天说林和小島危险，分量是一样的。我不能一边说相信理论，一边在它说安全的时候不信。那不叫谨慎，那叫只挑顺耳的信。"

"您把理论当天平用。"伊达说，"天平两端都能信。"

"对。天平只有一个读数。"

伊达沉默了很久。窗外有乌鸦叫了两声，飞过去了。

"我再说最后一句废话。"他说，"三浦那次，我说过不对，您也给我论证过，四条加一条，我拆不动。这次我说该看着，您给了我一个天平，三条论据，我还是拆不动。您每次都赢，赢在每一步都站得住。我不跟您争了。可您记不记得我说过，干我这行最怕顺。从四月到现在，这个案子没有一步不顺的。理论每一步都对，对到今天，对出一条我看不懂的轨道，和一个没人守着的佐藤。"

"理论服从事实，不服从自己的前三次命中。"松枝说，"这句话我八月一日说过，今天原样再说一遍，以后您每次来，我都可以原样再说一遍。"

伊达点了点头。走廊里有学生抱着书跑过去。他走到门口，又回头。

"林那边，十月的布控，我要进组。"

"求之不得。"松枝说，"这是好事。有您在，布防多一双眼睛。"

"是好事。"伊达说，"佐藤那边，我不说了。您赢了，赢就按赢的办。"

他走了，走廊里的脚步声远了。松枝在白板前站了一会儿。伊达这个人有一种本事，每次输，都输得清清楚楚，一句多余的话不带走。松枝尊重这种人，而他能拿出来的尊重只有一样：把自己赢的每一次都收拾干净，经得起伊达回头再看。

他把伊达最后那段话在心里又过了一遍。顺。这个字他认。从四月到今天，这个案子没有一步不顺的，理论每一步都对，对到今天，对出一条他原先想都不敢想的轨道。可是数学史翻开来，本来就是一部顺的历史，对的理论没有不顺的，错的东西才处处打架。顺本身不是证据，无论对哪一边。

八月七日上午，保护撤岗生效。本部的名单更新文件走完最后一道章，辖区接到通知，佐藤実名下的观察级值守撤销。一个岗哨从地图上抹掉了，抹得安安静静，辖区那边也只当是一次寻常的变更。早川重跑的名单一并送达。两个条件，一份输出，字段干净，排序清楚，变更记录一页，松枝从头翻到尾，和每一次早川经手的表格一样，挑不出毛病。

佐藤本人对此一无所知。他从一开始就不知道自己上过名单，现在也不知道自己下来了。这是当初定下的规矩，不惊动。道理很简单。一个普通人，好好过着自己的日子，你跑去告诉他，你在一桩连环杀人案的候选名单上，这句话一出口，伤害就已经在了，收不回来。那么反过来的那句「你下来了」，也就同样没有说的必要。进来的时候没有人告诉他，出去的时候也不告诉他，这条规矩从头守到了尾。

那天上午八点半，佐藤実照例到馆。他开灯，开馆，把分拣车从还书口推出来。读者昨夜还回的书躺在车里，他一本一本取出来，扫一眼索书号，归位。哪本书在哪个架，他闭着眼也摸得到，推车走在过道里，手往旁边一伸就是了。一个上午没什么读者，书一格一格站好，他也一格一格走过去。

下午有人来问年鉴放在哪一层。他领着去了，替人把书抽出来，看人查完，又替人放回去，书脊和书脊对齐。交接班的铃响了一声，他把围裙脱下来，叠好，搭在椅背上，和昨天的折法一样。

同一个下午，松枝在研究室誊清存档版的草稿。四页纸，誊得很慢，一笔一笔都落在该落的地方。誊到「剔除」那一页的时候，他的笔没有停。

〔顾问工作记录 · 17〕

精化模型参数说明（8/6 搜查会议版）。

精化项：目标函数引入第二条件。第三案白板（退化曲线，判别式为零）与第四案现场纸片（数列题）联立解出轨道：标记点 M 在结点坐标下的参数 t(M)=2，职工编号对 199 取同余，余数对应 x(nM)。主键整除条件保留不变。接缝两处（方法移植为类比；跨数据集读法无先验理由），松枝教授已在文稿中自行声明，保留。

轨道输出：中村 1、高野 2、白川 3、第四格=三浦案（追认入系列）、林 5、小島 6。剔除佐藤：216，余数 17 处曲线上无点。

名单更新文件 8/6 晚重跑完毕，8/7 晨送达本部。佐藤条目保护解除，流程留痕完整。

备注：松枝教授推导四页，结构闭合。会议表决无异议项。伊达警官会后口头异议一次，未立案。