第390章 不够简洁漂亮（1 / 2）
顾清尘走后，办公室又恢復了安静。
肖宿埋头，沉入了自己的思绪里。
初版样品的全频段散射对消框架跑通了，也就是大方向没问题，但是镀膜均匀性的偏差导致的发短波端共振峰漂移，多层膜层间应力没做专门处理差点影响良率，以及曲面基底上的相位偏移问题还没正式纳入框架这些问题还是存在的，这些，他都得在新的方案里改进。
而且，为了避免再次出现上次罗华他们那种情况，实验方法也得写的清楚一些。
梳理了一遍思路，肖宿低头落笔，纸面上开始铺开一行行推导。
他先给模式空间的共振峰加了鲁棒性约束，把窄带高峰展宽成宽带平坦响应，用算法层面把工艺偏差兜住。
接著，他翻出上一版的多层膜结构图，重新拆解了层间应力的力学分布，用梯度亚层等效替代单层厚膜，在不改变光学特性的前提下把应力分散到安全閾值以內。
然后，又把曲面问题正式纳入了主框架，推导共形映射的变换矩阵，並且在映射过程中引入了曲率自適应的几何预补偿，让不同曲率位置的散射相位进一步拉平。
三块內容写完，纸面上已经密密麻麻铺满了公式、草图和標註了。
写了大概一个多小时，他才抬起头来。
他揉了揉有些酸疼的手，把写好的几页纸收进文件夹里，標上日期和版本號，让高长安发给了赵雪晴和罗华他们。
等高长安拿著文件走出去，他也没歇息，抬手打开了桌面上停了好几天的文档。
这是之前顾长钧请他帮忙写的《杨-米尔斯规范场质量间隙的几何证明框架》，他已经写了十多页了。
从和乐约束算子在规范场商空间上的定义，到曲率正则化定理推广的初步框架，再到gribov拷贝消除的骨架截断构造，大部分核心推导都已经写完了。
但是每次翻到最后，肖宿总觉得有些不对劲。
並不是有错误，相反，肖宿做了那些论证，全都遵循了他一致的严谨，可，他就是觉得这个证明不够……不够简洁，也不够漂亮。
肖宿十指交叉撑在桌面上，双眸直直的看著文档上质量间隙几个字。
质量间隙问题，是物理学家给数学家出的一道难题。
它问的不是“这个粒子多重”，而是“为什么这个粒子会有重量”。
为什么数学上看似应该为零的能隙，在物理现实中却是一个正数？
这不仅仅是一个计算问题，还是一个存在性问题。
它需要所有的数学家和物理学家回答：规范场的最低能量態，是否真的必须大於零？如果是，为什么？能不能从杨-米尔斯理论的公理体系出发，严格证明这个结论？
注意，是严格证明，而不是数值实验或者微扰展开的近似结果。
在过去半个多世纪里，全球不知道有多少顶尖的物理学家和数学家在这个问题上折戟沉沙。
最主流的一条路是格点规范理论。
这个思路说起来很简单，那就是既然连续时空中的杨-米尔斯方程太难解，那就把时空离散化，变成一个四维的格点，在每一个格点上定义规范场，然后在这个离散的框架下做计算。
格点qcd的数值模擬，靠著超级计算机的海量算力，已经能在实验误差范围內精確计算出强子的质量谱，包括质子、中子、π介子、k介子的质量都算得和实验值几乎一模一样。
但是，数值模擬终究不是真正的证明。
你可以在格点间距趋近於零的极限下外推，得到一个质量间隙的数值估计，但事你永远无法从格点计算中严格证明这个质量间隙一定大於零。
因为格点本身就是一个近似，你只能在有限大小的格点上做计算，而真实时空是连续的、无穷维的。 ↑返回顶部↑
肖宿埋头，沉入了自己的思绪里。
初版样品的全频段散射对消框架跑通了，也就是大方向没问题，但是镀膜均匀性的偏差导致的发短波端共振峰漂移，多层膜层间应力没做专门处理差点影响良率，以及曲面基底上的相位偏移问题还没正式纳入框架这些问题还是存在的，这些，他都得在新的方案里改进。
而且，为了避免再次出现上次罗华他们那种情况，实验方法也得写的清楚一些。
梳理了一遍思路，肖宿低头落笔，纸面上开始铺开一行行推导。
他先给模式空间的共振峰加了鲁棒性约束，把窄带高峰展宽成宽带平坦响应，用算法层面把工艺偏差兜住。
接著，他翻出上一版的多层膜结构图，重新拆解了层间应力的力学分布，用梯度亚层等效替代单层厚膜，在不改变光学特性的前提下把应力分散到安全閾值以內。
然后，又把曲面问题正式纳入了主框架，推导共形映射的变换矩阵，並且在映射过程中引入了曲率自適应的几何预补偿，让不同曲率位置的散射相位进一步拉平。
三块內容写完，纸面上已经密密麻麻铺满了公式、草图和標註了。
写了大概一个多小时，他才抬起头来。
他揉了揉有些酸疼的手，把写好的几页纸收进文件夹里，標上日期和版本號，让高长安发给了赵雪晴和罗华他们。
等高长安拿著文件走出去，他也没歇息，抬手打开了桌面上停了好几天的文档。
这是之前顾长钧请他帮忙写的《杨-米尔斯规范场质量间隙的几何证明框架》，他已经写了十多页了。
从和乐约束算子在规范场商空间上的定义，到曲率正则化定理推广的初步框架，再到gribov拷贝消除的骨架截断构造，大部分核心推导都已经写完了。
但是每次翻到最后，肖宿总觉得有些不对劲。
並不是有错误，相反，肖宿做了那些论证，全都遵循了他一致的严谨，可，他就是觉得这个证明不够……不够简洁，也不够漂亮。
肖宿十指交叉撑在桌面上，双眸直直的看著文档上质量间隙几个字。
质量间隙问题，是物理学家给数学家出的一道难题。
它问的不是“这个粒子多重”，而是“为什么这个粒子会有重量”。
为什么数学上看似应该为零的能隙，在物理现实中却是一个正数？
这不仅仅是一个计算问题，还是一个存在性问题。
它需要所有的数学家和物理学家回答：规范场的最低能量態，是否真的必须大於零？如果是，为什么？能不能从杨-米尔斯理论的公理体系出发，严格证明这个结论？
注意，是严格证明，而不是数值实验或者微扰展开的近似结果。
在过去半个多世纪里，全球不知道有多少顶尖的物理学家和数学家在这个问题上折戟沉沙。
最主流的一条路是格点规范理论。
这个思路说起来很简单，那就是既然连续时空中的杨-米尔斯方程太难解，那就把时空离散化，变成一个四维的格点，在每一个格点上定义规范场，然后在这个离散的框架下做计算。
格点qcd的数值模擬，靠著超级计算机的海量算力，已经能在实验误差范围內精確计算出强子的质量谱，包括质子、中子、π介子、k介子的质量都算得和实验值几乎一模一样。
但是，数值模擬终究不是真正的证明。
你可以在格点间距趋近於零的极限下外推，得到一个质量间隙的数值估计，但事你永远无法从格点计算中严格证明这个质量间隙一定大於零。
因为格点本身就是一个近似，你只能在有限大小的格点上做计算，而真实时空是连续的、无穷维的。 ↑返回顶部↑