第300章 漆教授，你不讲武德（月票加更）(1/4)
“对了,你用的这套理论叫什么?”墨不坚骄傲地说:“这是我建立的近似根理论。
漆昊点点头:“很不错,那我试试复现一遍。”
墨不坚内心复杂了起来。
作为一名数学家,能看到别人使用自己创造的工具是一件很骄傲的事情,但他和很多人一样,不喜欢别人复现自己的理论。
漆昊哪管他什么想法,直接下笔写了起来,他先设定了标准,二维多项式映射F=(f,g), degf=n, degg = m,雅可比行列式 detJ_F=c=0,接着是无穷远点的 Laurent展开......基础定义一行行铺开,台下的人都能跟上节奏,
墨不坚也不时点头,嘴里低声念叨“没错,就是这样”。
写到特征分母L的时候,漆吴停了下来。
他侧过头看向墨不坚:“墨教授,你这里是直接对所有8_i的分母取最小公倍数L=Icm(den (81), den (82),..., den (8_s)),对吧?”
“那当然。”
墨不坚不假思索:“所有分支阶数统一化,才能做后续约化,这是近似根的核心步骤。”
漆昊没反驳,只是在原式旁边补了一行前提。
对任意i,V_is_i。
然后他转回身说:“我认为这个前提是必须的,不满足这个条件的分支本身就是可约的,不需要纳入L的计算,你的原始算法里,没写这个约束。”
懂行的人瞬间就反应过来了,L算小了,筛选条件就被放宽了,本该被踢出去的无效候选,会顺着这个漏洞混进筛选结果里。
墨不坚盯着那行前提:“这......这是默认的常识,没必要特意写进算法里......”
“是吗?”
漆昊随手写出一组阶数配置:“s=4,次数对(96,64),按你的算法,它会被直接排除,但去掉这个前提,它能通过你所有的筛选规则。”
漆昊没停,顺着递归构造继续推导。
他完全按照墨不坚的原始算法逻辑,第一层选第一个主子族向下递归,第二层再选一个,一路走到第三层近似根,写到这里,他忽然停笔,在同一层的侧边又画了一个分支节点,拉出第二组阶数序列。
他的笔点在那个新分支上:“这里又出现了一个问题,你默认每一层只有一个主子族需要验证,只遍历了最左侧的路径,但当阶数比满足整除关系时,同一层可以有两个甚至三个平行的主子族。”
他随手写出第二组主子族的阶数,又补了一个(84,56)次的映射配置:“这个配置在第二条路径上能通过所有筛选,但在你走的第一条路径上会被排除,你如果没跑这条分支,自然以为它不存在。’
台下的议论声一下子大了起来。
“墨不坚的理论那么多错误吗?”
“当年墨不坚的理论因为太小众了,就没多少人去研究,要不是当时张毅塘发了那篇论文,大家都不会注意到他这套理论。
“那张毅塘之前说他引用墨不坚的理论有问题,这事是真的了?”
“至少学界是这么认为的,但当时墨不坚不承认外界的说法,研究雅可比猜想的学者当中他又算是一流的那一类,所以为了不得罪他,很少有人愿意去验证他的这套理论。”
“原来如此,如果漆教授今天能找出他理论的错误就好了,这样可以避免张毅塘当时的事件再次发生!”
“是啊,博士生的时间很宝贵的,要是花时间在一