第409章 时间去哪了？（2 / 2）
这是一类比较特殊的交织函数，m代表一个拓扑流形，理论上，通过详细的积分计算，i可以为不同粒子的质量提供精确的预测。
当然目前来说这些都只是理论的上推论。一方面并没有独特的实验结果能够直接明确验证公司的预测，特别是对于顶夸克这类重粒子的计算没有直接证据，而且似乎跟实验值的存在有些偏差。
不过这也跟公式本身太复杂，实际计算过程需要一些假设跟简化，自然便削弱了结果的可靠性。尤其是可能出现发散问题。
但最重要的是，公式本身跟质量生成机制不完全兼容。
比如i依赖于一个全局积分，而目前依然还算主流的希格斯机制则跟蕴含量子机制还是依赖于局部场的直接耦合。
另一方面i中的f(，g)依赖于度量g，而标准模型的希格斯机制则不需要显式地考虑时空度量的影响，这就让理论引入了度量依赖性的问题。
两人今天的争吵就是爱德华·威腾认为i已经足够完美，应该想办法去申请资源进行验证，但彼得·舒尔茨持否定意见，认为i明显还需要继续优化，过早曝光非常的不严谨，且很不数学。
在乔泽看来这其实挺好的。
起码两人的争论开始向着细节问题转化了。
如果天天吵大理论的可行性跟有效性，以及数学思想类的问题，就很无趣。
不过此时乔泽迎着爱德华·威腾期望的目光，只能很遗憾的说道：“我也觉得类特殊的函数需要继续完善，为了验证i，尝试过三次计算，但两次的结果都是发散。”
“两次失败？这说明起码你成功了一次，说不定两次失败是做简化计算的时候出了什么错误。要解决类似的错误，只能依靠不断地实验室验证。”
爱德华·威腾掷地有声的说道。充分诠释了在真理面前绝不服输的精神。
乔泽决定保持沉默。贸然加入这种讨论只会让事情变得更糟糕。
“爱德华，你最近愈发偏执了。”
彼得·舒尔茨毫不客气的评价了句，随后快速拿出纸笔，同样开始写起了手稿，嘴里还念叨着：“刚刚我想到了如何用三种方法证明你是错的！但没有那个必要，因为我只需要列出一种方法就足够了！”
就很莫名的，彼得·舒尔茨这句话让乔泽想到了刚刚萨蒂亚·纳德拉说的那句话。
“我突然觉得其实发展业务不一定需要一直做加法，也许到了微软现在的规模是时候考虑做减法了。”
嗯，商业上的减法是业务的收缩，更为专注那些已经确定的主赛道。
那如果让他来做减法呢？
这一刻，乔泽脑子里突然又像是亮起了一盏灯。
好吧，减法。
那么问题来了，q理论中，什么是能减去的？
如果要实现大统一理论，哪个维度并不是必须的？而且在简化之后，能省去巨大的计算量。
大脑自动忽略了身边两人的争执，然后开始一样样的演算。
“时间？！时间！”
“嗯？什么时间？”两人几乎同时转头看向乔泽。
“去掉时间维度，q理论下的时空结构将高度对称，时空被稀释纯粹的空间维度结构，这意味着所有的物理法则都可以几何化，同时没有了时间，意味着在这些维度中，每个基本粒子和相互作用都可以用这些多维空间中的几何和拓扑特性来描述。”
“嗯？去掉时间维度？”
“对，尝试思考一下，如果我们需要的空间是离散的或者某种量子化结构，时间本就不是必选项。一个高维的规范群，g=qu(n)，我们需要的描述只剩下，几何性质的基本工具。借助高度的对称性，变化规则将极大的简化。
比如……”
说着乔泽抢过彼得·舒尔茨手中的纸跟笔，飞快的开始书写：ai→uaiu1+uiu1；{q，qˉ}=γipi，δai=ˉγiψ，δψ=σijfij。
“看，紧化维度后高维规范场分解为后，如果遵循规范对称性破缺，那么……”
ai(x，y)→(aμ(x)，(x))；g→hxk。
“同时几何量应该满足非交换几何关系……”
[xi，xj]=iθij
“这样总的作用量s就等于……”
s=∫ddxg(21r41fijfij+21ψˉ(γidiψ)+)
……
爱德华·威腾跟彼得·舒尔茨静静地看着乔泽不停的推演，手稿上的内容也越来越多。
当然，这个时候很难看到那些信笔涂鸦的公式。
因为乔泽没空去写每个符号所代表的意义。众所周知，数学的各种符号本就是极为复杂的一套系统，经常出现同一个符号，在不同的理论体系中，代表着截然不同的含义。
比如空r，实属分析中，代表实数集合，但在代数几何中，它还能代表代数结构中的实数对象。大名鼎鼎的Σ，在统计学中表示标准差，数学分析中表示求和。
倒下的8，也就是∞大家一看就知道这代表无穷大，但这只是在微积分中的释义，如果是拓扑学这玩意又可以用来表示一个紧化空间的点。
加上q理论又是新的赛道，这样随手谱写计算出的公式，如果没标明各自代表的对象，其实就跟刚入行的程序员，写代码的时候不屑于给出注释跟说明是一样的道理。
只有当时的自己跟上帝知道这些代码所要实现的功能，如果记性差一点，那么第二天能看懂这些代码的大概只剩下上帝了。
2025年了，天知道人类码出了多少低质量代码，保存在无数的服务器中，被形象的称之为屎山。
但这一刻，两人都觉得乔泽正在书写的东西，绝对是金山。
dengbidmxswqqxswyifan
shuyueepzwqqwxwxsguan
xs007zhuikereadw23zw