deepdive

从单个切片到体积分

为何逐个来看可忽略的单事件概率,在跨越约 10²² 个散射体的三维体积与宽广能谱上求和之后,会在 P(t) 中变得具有宏观意义。

最后更新:

一个”微乎其微”的基元相互作用之所以仍能产生可测量的输出,其第二个结构性原因与量子相干无关——相干问题在相干增强与 N² 律中单独处理——而完全在于计数。转换器并非单个散射体,而是一个宏观物体,内含约 102210^{22} 到 102310^{23} 个组成单元,每一个都暴露于一股本身就铺展在宽广能量范围与方向上的通量之下。输出是对它们全体的求和。本章把聚合论证讲清楚:从单个空间切片过渡到完整的体积分,把众多稀有事件转化为稳定期望的大数定律逻辑,以及为何当所关心的量是一个多体求和时,“单个事件可忽略”是一种范畴错误。

范畴错误

考虑这一反对意见的形态。单个相互作用所沉积的能量或动量如此之小,以至于孤立来看它完全可以忽略——譬如每个事件做任何有用之事的概率 p1≪1p_1 \ll 1。从”因此器件什么也不做”的推断把这一总量当作继承了个体的微小性。然而总量是一个求和,而许多小数之和并不小。若 NN 个独立散射体每个贡献期望量 μ1\mu_1,则由期望的线性性,总期望为

⟨S⟩=∑i=1Nμi=Nμ1,\langle S \rangle = \sum_{i=1}^{N} \mu_i = N\mu_1 ,

无论每个 μ1\mu_1 多么微小。个体可忽略与求和可忽略不过是两个不同的陈述;把二者混为一谈正是那种范畴错误。当 N∼1022N \sim 10^{22} 时,一个小于任何实验室尺度的单单元贡献仍可聚合为宏观总量,因为 102210^{22} 是一个巨大的倍乘因子。正确的问题从来不是”一个事件可忽略吗?“——它几乎总是可忽略的——而是”Nμ1N\mu_1 是多少,它是否越过了可测量性的阈值?”

作为稳定器的大数定律

聚合不仅是把均值相加;它还抑制相对涨落,而这正是使总量成为一个可靠的量而非侥幸偶然的原因。将每个组成单元建模为贡献一个均值为 μ1\mu_1、方差为 s2s^2 的独立随机量。总量 SS 的均值为 Nμ1N\mu_1,而对于独立贡献,方差为 Ns2N s^2,所以其标准差只按 N\sqrt{N} 增长。相对离散度因而缩小:

σS⟨S⟩=N sNμ1=1N sμ1  →N→∞  0.\frac{\sigma_S}{\langle S \rangle} = \frac{\sqrt{N}\,s}{N\mu_1} = \frac{1}{\sqrt{N}}\,\frac{s}{\mu_1} \;\xrightarrow[N\to\infty]{}\; 0 .

这就是该框架所需形态下的弱大数定律:随着 NN 增大,聚合输出越来越紧密地集中于其期望周围。一个由 102210^{22} 个散射体构成的器件,仅凭这一计数就具有约 10−1110^{-11} 的相对涨落,所以输出并非稀有事件的嘈杂涓流,而是一个平滑的、本质上确定性的量。单个事件的稀有性与集体的平稳性再一次完全相容——实际上,第二点正是通过 NN 的庞大数量从第一点推出的。

从黎曼和到积分

主公式正是这一求和的连续形式表达。从离散图像开始:把转换器划分为由位置标记的小胞元,把入射场划分为能量 ΔE\Delta E 与方向 Δθ\Delta\theta 的小区间。一个胞元在一个 (E,θ)(E,\theta) 区间中的贡献,是该区间内的通量、耦合、定向传递、输运与效率的乘积——一个单一的小项。总输出是对每个胞元、每个区间的所有这类项求和:

P  ≈  ∑cells  ∑Ej, θkΦ(Ej,θk) σ(Ej) Δp vph ηconv  ΔE Δθ.P \;\approx\; \sum_{\text{cells}}\;\sum_{E_j,\,\theta_k} \Phi(E_j,\theta_k)\,\sigma(E_j)\,\Delta p\,v_{\text{ph}}\,\eta_{\text{conv}}\;\Delta E\,\Delta\theta .

随着区间被细化,ΔE,Δθ→0\Delta E, \Delta\theta \to 0,这个黎曼和收敛于积分,而对胞元的求和化为对以散射体密度加权的能谱的积分。余下的恰是主公式,

P(t)=∬Φ(E,θ,t) σ(E) Δp vph ηconv  dE dθ,P(t) = \iint \Phi(E,\theta,t)\,\sigma(E)\,\Delta p\,v_{\text{ph}}\,\eta_{\text{conv}}\;dE\,d\theta ,

其中积分号不是装饰,而是一个自动执行聚合的记账装置。这样读这个方程可以化解诸多困惑:在能谱变量中取到连续极限后,积分就是”对众多稀有事件的求和”,而散射体密度通过它所乘的那些因子进入。这一过渡的完整构造见完整推导,跨越不同相互作用通道的并行聚合见多通道能流。

面与体:二维对三维

一个关键的定量要点区分了在表面采集的转换器与在整个体积内采集的转换器,这是一个维度标度的问题。表面相互作用在一个面积上累积,所以参与的散射体数目随线度 LL 按 L2L^2 增长。体积相互作用在整个物体上累积,所以计数按 L3L^3 增长。对于特征尺寸为 LL、组成单元间距为 dd 的器件,两个计数为

Nsurf∼(Ld)2,Nvol∼(Ld)3,N_{\text{surf}} \sim \left(\frac{L}{d}\right)^{2}, \qquad N_{\text{vol}} \sim \left(\frac{L}{d}\right)^{3},

所以体积计数比表面计数大一个因子 L/dL/d,对于厘米量级的物体与亚纳米量级的间距,这约为 10710^{7}。这正是为何一个每个单元耦合微弱却能穿透体相的场,与一个只在边界处相互作用的场,被置于根本不同的地位来处理:可用的 NN 以及由此得到的聚合 Nμ1N\mu_1 要大许多个数量级。在此意义上,一个弱相互作用、深穿透的通量恰恰是体积聚合的理想候选者,正因为它的微弱使它能触及 L3L^3 个散射体中的每一个,而不是在表面被吸收。该框架通过对体积密度而非表面密度积分来明确保持这一区分,而任何具体估算都必须说明它处于哪种情形。

聚合论证许可什么、不许可什么

该框架的严谨性要求像陈述其威力一样明确地陈述这一推理的界限。聚合能合法地把一个微小的单事件量转化为一个潜在的宏观总量,而大数定律能合法地使该总量平稳。它不能做的,是凭空制造能量或规避热力学:求和中的每一项仍受守恒律与效率上限的约束,所以把许多项聚合起来也不可能产出多于通量所输送的能量。聚合也无法挽救一个单事件贡献真正为零的机制——零乘以 102210^{22} 仍然是零。因此该论证是针对某个特定谬误的必要纠正,而非万能溶剂:它表明单个事件的微小性本身不是有效的反对,同时保留了单个事件必须非零且在热力学上被允许这一要求。把聚合估算贯彻到数字、并把每个因子都标注为示例性的具体实例,见算例。与相干论证一并阅读,这两章回答了”它太小了”这一反对意见最常见的两个版本:相干可以提高每个靶的耦合,而聚合可以提高每个器件的计数,两者都不违反守恒律。

延伸阅读

  • Feller, W. (1968). An Introduction to Probability Theory and Its Applications, Vol. I (3rd ed.). Wiley —— 期望的线性性与大数定律。
  • Reif, F. (1965). Fundamentals of Statistical and Thermal Physics. McGraw-Hill —— 众多微观贡献的聚合与相对涨落的 1/N1/\sqrt{N} 抑制。
  • van Kampen, N. G. (2007). Stochastic Processes in Physics and Chemistry (3rd ed.). North-Holland —— 众多稀有事件之和与离散随机贡献的连续极限。
↑