LHC@home:项目背景

CERN（欧洲核子研究中心）和爱因斯坦是干什么的? 能量如何与物质发生转化？

(改写自《反物质——世界的终极镜像》)

质与能

如果你能够把 1kg 糖，或者 1kg 水，或者无论 1kg 什么东西里面蕴含的能量全部释放出来，你可以用这些能量来驱动一辆汽车不停地行驶 100000 年！为什么呢？阿尔伯特·爱因斯坦在 1905 年从狭义相对论中推导出了那个著名的公式：E=mc2，这个公式说明了：质量是能量的一种极其浓缩的形式。

能量就像自然中的货币，有两种通货，它们的汇率是巨大的，达光速的平方。1kg 物质对应 25,000,000,000 千瓦时，1g 物质转化成的能量可以支持一个中型城镇一天！

质能如何相互转换?

横穿太阳系的大型陨星速度通常为 30km/s。如果这样的一个陨星进入了地球的大气层，它的动能就会转化为热能，温度可达 100,000 摄氏度，绝大部分它的物质会融化，它就变成了流星。但光的速度是它的 10000 倍，就是 300,000 km/sec !

根据爱因斯坦的狭义相对论，任何物体都不能被加速至光速。但我们可以用 CERN 的回旋加速器把单个粒子（如质子，即氢原子核）加速到光速的 99.99999%。

如果两个具有这样的速度的粒子迎头相撞，碰撞中释放的巨大能量可以转化为物质。与之相反，在核电站中，物质被转化为能量。但是，这只是一个公式的双向运用：E=mc²。

碰撞中会产生什么物质?

在一个硬币工厂中，金属被铸造成硬币。硬币只有一定的大小和价值，比如说1分、2分、5分、1角、2角、5角和一元。相似的，自然不允许能量被转化为任意种类的物质。自然已经给我们做好了“模子”，对应一定的能量和其他特性。

这些“模子”与粒子相似。在我们日常生活中最重要的粒子就是质子、中子和电子。它们有一定的属性，比如质量、电荷和它们与其他粒子的相互作用。

但在加速器中的碰撞能得到的极大的能量也能转化为一些稀有奇异的、已经不在现今的宇宙中的粒子。它们有点像古代的钱币，比现在的粒子重得多。它们能给我们一个观看过去的独特视角。它们十分“易碎”，在极短的时间内就会衰变成普通得多的粒子。

这些稀有的粒子中，有一种叫“希格斯玻色子”。它比其他古老的“钱币”能科学家看到更远的过去。科学家试图通过研究这种粒子揭开 130 亿年前大爆炸之后的瞬间隐藏的秘密。

什么是 LHC ? 在不久的将来即将被建立起来的世界上最大的高能粒子加速器！

别具一格的工具

大型强子对撞机（LHC）是一台粒子加速器。它建造在 CERN。CERN（欧洲核子研究中心）是目前世界上最大的物理实验室。当 2007 年时，LHC 将全面启用。届时，它将会是全世界最强的粒子研究工具。

LHC 将会代替 LEP（大型正负电子对撞机）。它将坐落在 100m 的地下一条 27km 长的隧道里。它能将两束质子加速到 7 特电子伏的能量，然后发生碰撞。质子碰撞所产生的能量将会有 14 特电子伏。但 LHC 也不会限制质子与相对较重的离子的碰撞。他们的碰撞还能产生 1148 特电子伏的能量。

LHC 全景示意图

在向 LHC 注入之前，质子速将存放在 CERN 现有的加速器复合体 里。这是一个机器的附带装置，里面有不断增加的能量。每次将质子束注入后，出来的将具有更高能量。

CERN 加速器复合体

LHC 必须拥有能制造 8.36 特斯拉的磁场，才能把带有 7 特电子伏能量的质子的轨道弯曲成环状。这就要应用超导的性质。超导性是特定物质的一种性质，在极低的温度下它们的电阻会消失。LHC 将会在比室温低 300 度的环境下工作（甚至比外太空更冷！）。LHC 的实验使用最高科技的加速器、超导电磁铁等。1296 块超导电磁铁和超过 2500 块的其它磁铁将引导质子束的运行方向和使它们产生碰撞。它们之中有各种各样的磁铁，有大的，小的，有超导电的，调焦的，还有四极的。当 LHC 竣工以后，它将会是世界上最大的超导电设备。

五项实验都配有检电器。它们将质子束碰撞时的信息记录下来并传送给我们。它们将处理比现在整个欧洲通讯网络信息量还大的数据。

为什么我们需要 LHC ?

因为我们现在对宇宙的认识还不完整。

在过去一个世纪中，众多物理学家的理论和发现揭示了粒子与力的标准模型这一个描述物质基本结构的图景。在现在，标准模型已经被广泛验证，并被应用于解释并预言广泛的物理现象。不断重复的精确实验出来的结果与标准模型的预言精确匹配。不过，由于它还留下了很多未解之谜，所以，故事远未完结。

在这些疑惑当中，最令人困惑的是：为什么基本粒子会有各自不同的质量呢？由于我们对这个如此简单的观念的理解如此的少，所以这个问题实在引人注目。这个问题的答案可能就是标准模型中一个叫“希格斯机制”的思想。根据这个思想，整个空间被一个所谓的“希格斯场”所充满，粒子通过与这个场相互作用而获得质量。与希格斯场相互作用强的质量就大，反之质量就小。这个希格斯场至少联系一个新的粒子，我们叫它希格斯玻色子。如果这样的粒子存在的话，LHC 就可以探测到它。

另一个疑问是关于四种力为何存在的。当宇宙诞生不久，还没变冷的时候，可能四种力的行为是一样的。粒子物理学家希望找到一个单一的理论体系来证明它，现在已经有了一定的进展。在 19 世纪 70 年代，电磁力和弱力已经被统一为一个单一的理论。几年以后，这个理论被一场在 CERN 举行的、后来获得诺贝尔奖的实验所证实。但是，四种力中强度最弱的引力和强度最强的强力还是水火不相容。力的统一暗示的一个流行的观点就是超对称（简称 SUSY）。超对称预言，每一个已知粒子都有它的超对称“伙伴”。如果超对称是正确的，那么这些超对称粒子应该会在LHC中被找到。

反物质给我们出了另一个谜，LHC 能够帮助我们解答它。我们曾经一度认为反物质是物质的完美镜像。如果你将物质替换成反物质，然后在镜子中观看结果，你不会察觉与正常的有何不同。现在我们知道，这种镜像是不完美的，这就导致了物质与反物质之间的不平衡。LHC 会成为一个很好的“反物质镜子”，能让我们用至今最严酷的实验来检验标准模型。

这只是LHC能够回答的一些问题。历史证明，最伟大的科学进步往往是无法预料的。尽管我们有一个建造LHC的绝佳理由，但自然总是出人意料的。

有一件事是确定的，就是LHC会改变我们对宇宙的看法。

LHC 的运转

由于需要同时对两束粒子进行加速，LHC 实际上是一台“二合一”的机器。它将会包括被包裹在同一个套子和低温保持器里边的两套超导磁铁隧道（环）。这种独特的构造不但节省空间，而且帮我们节约了经费的 25%！

两个环会被超级质子同步加速器(SPS)送出的预加速到 0.45 特电子伏的质子所充满，然后将这些质子加速到接近光速，拥有 7 特电子伏的能量。

我们所说的“质子束”实际上是连续的许多被压缩的质子群。这两个 LHC 的粒子束会有 2853 个含有 1001 个粒子的群组成。 一旦能量达到 7 特电子伏，两束粒子束会进行长达几小时的反向绕行。在这段时间里边，粒子会在 LHC 中作 4 亿次绕行。这真的是一个天文数字。 在每一圈，粒子束会被强迫在指定的、放有探测器的地点碰撞。 在 10 小时以后，粒子束会丧失大部分能量，所以 LHC 必须重新清空并注入粒子。

技术挑战

重要参数

在 LHC 中，质子碰撞所产生的能量可以达到 14 特电子伏特，是以往的加速器的 10 倍。但是，仅仅只有能量是远远不够的。如果要想保证一个有效的实验，比如说完成 LHC 所计划的探索，还需要考虑一个很重要的参数：亮度。

碰撞的亮度是与每秒钟碰撞次数成正比的。然而，在以往的加速器中的碰撞亮度最多达到 L = 1032cm-2 s-1 ，在 LHC 亮度可以达到 L = 1034cm-2 s-1 。在每个环中注入 2835 群含有 1011 个粒子就可以达到这一点。

这种前所未有的能量和亮度给设计与运行带来了严酷的考验。

干扰效应

当粒子正在环行 4 亿圈时，有几种效应会使粒子束变弱，亮度变暗。让我们来看一下几个主要问题，以及 CERN 的科学家如何试着解决它们。

粒子束效应

当两群粒子在一个物理探测器中间相遇时，只有一小部分的粒子会迎头相撞，产生我们想要的结果。其他粒子会被反向的群的电磁力推偏离。这种偏离，对密集的粒子群效应更大。如果在每一圈的偏离都累积起来，很可能会导致意外的粒子损失。这种粒子束效应已经在以前的加速器中被研究过。实验表明，我们如果想使粒子束保存实验所需的更长的时间，粒子束的密度就不能超过一个极限。为了达到我们想要的亮度，LHC 需要尽可能地靠近这个极限。

集体不稳定性

当在 27 千米的 LHC 管道中以接近光速运行时，每一个质子群都会留下一个影响下一群粒子的电磁场。这可能会导致粒子束的丧失。这种集体不稳定性在 LHC 中会变得更严重，因为为了达到更高的亮度，我们需要更大的粒子束。仔细地控制在粒子束周围的元素的电磁属性与利用改进了的反馈系统可以将这种效应减到最低。

混沌运动

除了已经提到的粒子束效应以外，引导以及聚焦的电磁场如果稍微与线性预定有偏离的话，会导致粒子束有混沌效应。这样的话，在许多次环行后，粒子可能会丢失。

在 LHC 中，粒子注入能量中，不完美的电磁场产生的不稳定效应更为明显，因为缺陷的程度更大，粒子束占据环绕横截面的一个更大的部分。

解决它有两种途径：

1. 我们必须估计动态孔（在要求时间内粒子束能保持稳定的环绕横截面部分）的大小，保证它比注入的粒子束横截面更大，并留下一道足够安全的边沿。
2. 直到现在，还没有一个理论能充分精确地预言在非线性场中粒子束的长期行为。所以，我们用计算机模拟追踪数以百计的粒子一步步穿过 LHC 的磁铁上百万圈。模拟结果被用来确定在设计以及制造中电磁铁质量的可以容忍的偏差。

您能够在这里帮助我们！参加 LHC@home ，运行 SixTrack 程序，帮助科学家们对付混沌运动的影响！

熄灭

不管怎么细心，粒子束的寿命不会是无限的。也就是说，一部分粒子会散射到管壁并且丢失。在这种情况下，粒子的能量会在周围的金属材料中转化成热，又可能会导致需要低温的超导电磁铁“熄灭”。在 LHC 中 5000 个超导磁铁的任一个的熄灭，都会使机器的运行中断几个小时。为了避免这样的事情，一个瞄准系统会在不稳定的粒子碰到管壁之前捕获它们，从而限制在远离超导电磁铁的隔离区域内的损失。为了设计更有效的控制系统，安全工程师们正在用先进的电脑程序去研究耦合的磁铁受一次“熄灭”产生的热量的影响的分析。

LHC@home 项目主旨是什么?帮助欧洲核子研究中心的科学家们模拟粒子在 LHC 的管道中回旋运动。

SixTrack 程序简介

LHC（大型强子对撞机）实验所需要的科学计算大多都需要对海量的数据进行检索——LHC 每年都会产生 15PB（即 15360GB）的数据。这种规模的数据需求意味着绝大多数的数据分析程序不能在个人电脑上运行。这就是为什么 CERN（欧洲粒子研究所）正在带头开发将世界各地的主要计算中心连接起来的计算网格。

然而，公开的计算也有可能会对 LHC 项目产生特殊的意义。CERN 的网络技术部对评估像 SETI@home 这种分布式计算技术是否在将来有用处很感兴趣。一个叫 SixTrack 的，旨在模拟粒子在 LHC 中运行以研究 LHC 的稳定性的程序，可以在个人电脑上运行，而且只需要相对较少的输入输出量。

SixTrack 是由 CERN 加速器与粒子束部门的 Frank Schmidt 开发的。它基于一个早期在 DESY（德国电子同步加速器，位于汉堡）开发的程序。它计算校检 LHC 中运行的高能粒子束的长期稳定性所必需的数据。LHC 的总负责人 Lyn Evans 说：“Sixtrack 返回的数据真的很紧要，它让我们能够洞察将来LHC的运行情况。”

Sixtrack 一般每次模拟 60 个粒子绕加速器环运行 100000（有时可能达到 1000000）圈的运行情况。这好像是很多次运行，但在真实世界中它们只需要不到10秒的时间。但这还是足以检验到底粒子束是在长时间内保持稳定的运行，还是会有失去控制撞击真空管壁的危险。这样的粒子束的不稳定性是一个很严重的问题，可能会导致加速器由于损坏而停止。

重复上千次这样的计算，我们就可以知道加速器中的粒子束的稳定运行路径等等情况。

粒子在稳定轨道（图左）和不稳定的混乱轨道（图右）中的相空间图像。这个相空间图画出了每个粒子返回情况所代表的点。对于稳定的粒子，它的相空间是整个相空间的有限的一部分。而对于不稳定的粒子，它的相空间倾向于填满整个可能的相空间。在某些点，不稳定的粒子甚至会完全地离开轨道，导致粒子束被破坏。

LHC@home 项目介绍

现在，LHC@home 能够在 Windows 和 Linux 等操作系统上运行，但我们希望尽可能在近期内借助测试者们的帮助，把它拓展到其它平台上。（特别鸣谢 Robert Virga，他作为一位测试者，开发了在 Linux 平台上 LHC@home 屏保的一个图形包。）

Windows 上的屏保程序模拟一批类似于计算程序（SixTrack）模拟的粒子。但是，屏保模拟的粒子运动是由一个与 Sixtrack（模拟 LHC 的主程序）完全独立的算法决定的。但我们正打算推出一个展示代表 Sixtrack 正在模拟的粒子束中的粒子的屏幕保护。

LHC@home 屏幕保护

在 2005 年三月，一些巨大的偶极超导电磁铁被安装在 LHC 的隧道中。每一块电磁铁被安装后，工作人员就对其进行测量以获取其参数。如果这些参数与规定值有较大的偏离，我们就需要运行 SixTrack 来研究这会对 LHC 的运行有什么影响。对需要将 1232 块超导电磁铁单独安装在 LHC 上的工程师来说，获取模拟的结果至关重要。所以说，您对 LHC@home 的参与真的能够帮助我们建成 LHC ！

除了帮助建造 LHC 以外，LHC@home 也可以帮我们获得一些对分布式计算所面对的挑战的基本的洞察。无论在是 LHC@home 还是它的内部发行的前身 CPSS 中，我们都发现不同的处理器可能会产生显著不同的结果。这是因为在不同的处理器中，一些数学运算，比如说指数运算和正切运算的舍入，是不同的。由于缺乏一个统一的国际标准，所以在不同处理器中会有微小的误差。又由于 SixTrack 模拟的粒子束的运动是一种浑沌的运动， SixTrack 会把不同处理器间的微小误差放大成为引人注目的不同结果。尽管最初我们遇到了这个在程序初始化时的问题，但我们已经用位于 Lyon 的 Ecole Nationale Supérieure 中的一个群队最新开发的函数库解决了它。这个结果给了现在正在开发的、将要在一大类不同的计算机上运行的网格计算应用程序一个潜在的启示。