第32章 量子化学与近似模型的多样性

32.1 成键问题如何取得量子表述

电子对图式能够说明许多连接关系，却没有仅凭两个点就给出一条键的长度和能量。为什么两个氢原子能够形成稳定分子，稳定距离在哪里，把它们分开需要多少能量，都是比电子计数更严格的问题。量子成键研究的重要变化，是把这些问题转化成共同数学约束下的计算任务，同时让计算结果能够返回实验尺度。

本章用氢分子作为共同对象。科恩在其诺贝尔讲演中并列早期不同波函数近似，并给出键长与结合能的比较。[C32-01] 这项比较把模型差别落在共同的两项性质上：键长检验能量极小点的位置，结合能检验结合相对分离的稳定程度。二者可以分别偏离，因此图像是否直观不能替代对计算结果的逐项判断。

在通常的电子结构计算中，核的位置被暂时作为参数，求取相应电子状态及能量；改变核间距离，就能够比较能量如何变化。这种分离具有明确的近似身份，不能理解为原子核在真实分子中永远静止。它把一个同时包含核与电子运动的问题整理为可以逐步处理的任务，并在需要时继续加入振动等修正。近似的意义在于控制省略，而不是否认被省略的过程存在。

海特勒—伦敦类型的氢分子试探函数把与两个中心相关的安排组合起来，并满足相应对称性和电子统计约束。科恩的回顾指出，这种早期处理给出了稳定结合的半定量说明，却在典型化学精度要求下仍有明显误差。[C32-01] 本章据此讨论解释突破与定量不足的并存，不把1927年的工作描述成已经达到后来高精度计算的水平。

这一步的改变不只是多了一套符号。对于一条键线，解释者可以讨论它连接哪些原子；对于能量随核间距离变化的描述，还可以追问哪里存在最低点、不同候选之间相差多少，以及某个计算结果是否足以区分实验。结构因此获得了另一种证据联系：不仅要在纸上画得合乎价数，还需要同能量与测量相容。

不过，能量最低点并不自动等于实验中一定获得的产物。制备可能受路径、势垒、温度和其他条件影响。这里研究的首先是规定模型和状态下的稳定关系，而不是全套合成命运。若把基态计算的结果直接当作所有实验条件中的唯一结局，便把量子理论的成功扩大到了它尚未计算的任务。

氢分子的简洁也有双重作用。它减少了组成和结构候选的复杂性，使近似差别容易暴露；但这种简洁不能保证同样方法对复杂分子具有同等效果。两个电子问题中的良好表现，是向更大对象推进的重要依据，却不是无限迁移的许可证。模型历史必须同时记录成功的起点与扩展时增加的负担。

从上一章到本章，化学对象没有凭空消失。氢分子的身份、气体实验与光谱资料为计算规定共同目标，计算又使键长和能量获得更细比较。对象并非单方面由方程发明，也非完全独立于模型才被被动描写。实际材料与计算安排通过可测关系连接，使某些候选被支持，另一些候选被排除。

32.2 不同近似各自在回答什么

价键与分子轨道常被画成两条互相竞争的道路。比较它们时，最容易犯的错误是只选一幅直观图，便把整个方法家族裁判为真实或虚假。实际上，每一类方法内部都存在不同精细程度；一个最简模型同另一个经过大量改进的模型相比较，所得差异不能全部归因于基本图像。

以氢分子为例，局域于不同中心的组合提供一种接近成键原子对的起点；简单分子轨道表示则让两个电子占据由两个中心的函数组合而成的轨道。两种起点都尝试描述同一个电子系统，但表达中首先突出的关系不同。它们可以给出不同质量的近似，也可以通过增加表示能力逐步改善。对象相同，不等于所有近似具有相同误差。

科恩列出的早期比较具有一个很直观的启示：一种近似可能在键长上较接近参考值，却在结合能上较差；增加进一步的变分自由度又能够显著改善结果。[C32-01] 因此，“更准确”需要指明是哪一项性质。若只挑有利指标，任何方法都可能被塑造成赢家；若把多个指标压成未经说明的总分，真正的误差结构也会被遮住。

还应区分对一个点的描述与对一条曲线的描述。模型在平衡位置附近给出相近能量，并不保证把原子逐渐拉开时仍然可靠。反应和解离涉及一系列结构，可能要求表示能够随过程保持适当的电子关系。若只在最低点附近检验，后来将模型用于远离该区域的路径时，便增加了尚未验证的外推。这个问题可以用氢分子这样简单的对象提出，不需要先诉诸巨大复杂系统。

同理，绝对能量的改善也不必等于所有能量差的改善。比较两个状态时，关键是两边误差如何相互关联。若一个方法对两边近似程度不平衡，单项能量看似下降，差值却可能变差。因此，变分意义上的进步与化学任务中的进步需要分别说明。数学上有保证的量应当保留其保证，未由该保证覆盖的性质则仍需单独验证。

公平比较首先需要固定共同问题。相同核电荷、电子数、总电荷和目标状态，是同一计算对象的基础；随后需要明确几何处理、基组范围、相关处理及参考量的定义。这里列举的是比较责任，不是声称早期作者已经使用今天全部标准术语。历史研究可以据现有文本恢复这些责任，缺失之处则不能靠现代常识替作者补齐。

另一个任务会改变比较重点。如果目标是理解某类取代为何改变反应方向，一个能突出局部连接与电子供给的表示可能更便于组织推理；如果目标是整理光谱中的能级关系，另一种表示可能更直接。穆利肯在诺贝尔讲演的开篇明确强调，分子光谱曾为分子轨道研究提供方向。[C32-02] 模型的形成因此具有具体问题来源，不能只按后来教科书的统一次序倒推。

任务不同并不意味着评价标准任意。解释反应方向的模型仍需面对实际反应资料，解释光谱的模型也必须面对谱线和选择规则。多样性只有在共同或可转换的约束下才有研究价值。如果一个模型在任何失败面前都改说自己回答的是另一个问题，它便失去了可检验性。改变任务可以合理，却必须公开说明改变发生在哪里。

密度泛函理论进一步改变了组织电子结构问题的方式。霍恩伯格与科恩1964年的论文针对外势中相互作用电子的基态，建立以密度为变量的能量泛函与变分联系。[C32-03] 这不是说所有电子问题都只需一张普通密度图，也不是宣布复杂信息已经无条件被一个数替代。其对象、状态与数学条件都是结论的一部分。

1965年科恩与沈吕九的论文则推进可操作的近似方程，把交换与相关效应纳入有效处理。[C32-04] 理论存在性与可用计算由此需要分开：证明某种精确关系存在，不等于已经知道实际计算所需的精确函数。近似方案必须接受额外检验，而不能仅凭它站在一个严格定理之后便免除误差责任。

这些方法不是从同一个按钮中弹出的不同答案。它们在表示、近似与计算成本上作出不同选择，也因此适合不同范围。研究者选择方法，实际上是在安排一个受资源限制的证据过程：怎样以可完成的计算取得对当前问题足够强的约束。选择是否合理，要由问题、成本与验证共同判断，而不是由方法名称的声望决定。

32.3 精确性与化学可用性的双重审查

一项计算可以在数学上执行得十分精细，却没有回答实验者真正需要的问题。假如输入的是错误异构体，数值收敛得再好也不能自动修正对象选择；假如实验发生在溶液中，而模型比较的是孤立分子，结果间的差别需要先检查状态是否对应。计算精度、模型适当性与样品身份，是三项相连但不能互相代替的审查。

反过来，一个近似很粗的模型也可能对某个特定差值表现良好。某些误差在比较中抵消，并不意味着模型对绝对值同样准确。我们应当保留这类局部成功，同时拒绝不加检验的推广。最有用的说明不是“方法可靠”四个字，而是它在哪些性质、材料族和条件范围内获得过怎样的支持。

氢分子提供了一个可以不靠夸张数字说明的例子。判断是否形成稳定结合，是一种任务；判断平衡键长，是第二种任务；判断能量差达到足以区分相近化学过程的精度，又是更严格的任务。早期计算可以在第一项上具有决定意义，在后两项上仍需要改进。思想史若只用今天的精度判定早期工作失败，会忽略问题首次获得可计算表达的贡献；若只赞美首次成功，又会掩盖后续工作的必要性。

误差还具有来源上的区别。表示空间不够丰富，会限制可以得到的答案；电子相关处理不足，会遗漏某些相互依赖；数值实现与停止标准会产生计算误差；外部状态选择不合适，则可能使模型回答了另一个对象。这些问题不应全被归入“计算机算得不准”。定位误差来源，决定下一步是增加计算资源、改变近似还是重新审查实验对应。

实验参考也不是没有误差的终点。所谓键长可能对应不同的平均方式与状态，能量数据可能涉及零点运动或温度处理。若理论结果与实验表格采用的定义不同，差值中就混入了口径差异。最严格的比较不是把一个数字宣布为绝对真值，而是说明参考数据如何取得、修正涉及什么，以及理论量怎样转换成可比较的测量量。

这项责任与第一编的样品代表性问题相通。试样必须说明代表哪批材料，计算对象也必须说明代表哪种实验状态。理论使用一个清楚的孤立分子，并不自动说明实验样品没有聚集、杂质或其他构型。反过来，实验中的复杂性也不应被用来逃避模型检验；可以通过更有针对性的测量缩小对应范围，让双方都承担具体责任。

基准比较因此需要独立性。若某项实验数据既用于调整模型又作为唯一验证材料，拟合成功的证据力就应相应限定。保留未用于调节的对象或性质，能够检查模型是否超出记住已有数据的范围。这个原则并不专属于计算化学，却在大量可调参数与多种方法并存时尤其重要。没有独立检验的漂亮吻合，不能自动说明发生机制被正确恢复。

此外，解释的清楚与预测的精确不总是同步增加。更复杂的展开可能使能量更接近参考值，却不容易归结为一条简单化学规则；一个较简明的模型能够显示趋势，却未必给出足够精确的数值。这不是要求在二者之间永久择一，而是允许不同层次协同：用严格计算约束结果，用较清楚的表示组织理解，再检查简化解释是否保留关键区别。

所谓可用性也不能只由计算者决定。若某个结果将影响合成路线选择，所需的是能区分候选的可靠程度，而不是输出位数；若结果用于解释实验谱线，可能更需要状态之间的相对关系。报告中保留许多小数，并不会自动提高决策所需的确信。数值的精细外观与证据的实际分辨能力必须分开。

科恩所列氢分子结果提供的是有限的近似比较，本章未重新计算，也不据此排列整个方法家族。后续检验应固定共同对象与参考性质，分别报告误差和成本，再检查扩展到其他分子时哪些优势保持。这样，早期结合解释的成功与后来所需的定量精度，就能在同一问题上接续而不互相替代。

若一项计算只给平衡键长，就还没有接受解离曲线的检验。比较表应保留这个空缺，不能从一处极小点附近的吻合推断整个拉伸过程可靠，也不能把尚未计算的区间直接计作失败。

这种审查同时防止两种哲学越界。计算困难不能直接证明化学在逻辑上不可还原；量子计算成功也不能直接证明每一个化学问题都已被解决。前者把实践限制误当本体证明，后者把局部成功误当无限覆盖。严密的讨论需要保留中间地带：基本理论可能具有广泛约束力，而实际问题仍需专门模型、对象选择和实验支持。

32.4 从多样模型返回同一物质

既然同一氢分子可以有不同表示，我们凭什么说这些模型研究的是同一个对象？最直接的回答不是寻找一幅所有方法都必须采用的图像，而是检查共同约束：核组成、电子数、状态定义、可比较能量与实验性质是否一致。不同表示可以从不同方向接近这些约束，只要对应关系明确，就不必因为图像不同而宣布出现了不同物质。

模型内部的某些对象还可能依赖表示选择。轨道图像、局域电荷或键的分解方式，往往需要说明使用了什么定义和程序；它们可以非常有解释价值，却不宜未经论证便当作与总电荷或可测能量同等直接的量。两个程序给出不同分解，可能反映方法差别，也可能提示模型问题。判断需要回到共同可检验的后果。

这并不取消结构概念。结构仍然组织化学问题，只是必须区分连接关系、几何参数、电子状态和动态分布。某个实验对连接具有很强约束，对瞬时几何却未必同样确定；某个计算给出一处能量极小点，也未必说明样品只有这一构型。把这些层级分开，反而能让不同技术各自承担最适合的证据责任。

模型更换有时只改变计算效率，有时改变解释语言，也有时迫使研究者重新检查对象。三种情况都可能发生。若共同预测保持不变，新的表示可以提高可用性而不重分物质；若预测差别揭示此前样品归类有误，模型便参与身份修订。是否发生后一种变化，应由实际案例说明，不能因为使用了“新理论”便预先宣布对象重生。

从SDE的角度，本章关心的是可用模型怎样发生。显露是得到支持的性质与结构判断，差异序列包括计算与实验之间可检查的比较，特征纠缠则体现在表示空间限制可达精度，目标性质又决定哪些表示自由度不能删去；若省掉影响解离的电子关系，平衡附近的成功就不能支持整条曲线。这里并不把数学表达变成额外的物质实体，而是追踪一种研究能力怎样获得可重复使用的形式。

当模型进入软件，公共可重复性还依赖输入与版本。相同方法简称可能对应不同默认选择，单独保存输出图像会使后来者难以恢复计算。保留几何、状态、所用近似和关键设置，并不是在科学结论之外增加行政负担，而是让结论能够继续接受检查。一个可重复执行的程序并不保证模型正确，却能把程序差异与理论差异先行分开，使争论不至于停留在无法定位的答案冲突上。

这种能力具有真实创造性。过去无法完成的能量比较可能因新的近似与计算方法成为现实，新的候选因而进入合成或测量计划；某些看似合理的结构也可能在计算约束下被排除。但从计算可行到材料已经存在之间，仍然需要制备与验证。预测扩大了可研究的可能空间，不能独自承担现实生成的全部责任。

模型多样性也使学习者获得一种更成熟的统一观。统一不要求所有问题都使用同一层次的图像，而要求不同层次之间存在明确联系，不能在矛盾时任意切换。一个局部解释若同更严格计算冲突，需要查明简化何处失效；严格计算若同可靠实验冲突，也需要检查模型边界与输入条件。证据的相互限制，比外观一致更能维持共同对象。

理论由此不是在实验之外完成后才降临化学。实验提供需要解释的稳定关系，模型提出新的可区分预测，新的测量又决定哪些近似值得保留。这个循环不保证每一步都成功，却使失败能够被定位。可修订性不是对象不真实的证据，而是共同体能够继续追问同一对象的条件。

下一章将把焦点转向衍射与光谱。量子模型可以为结构候选提供有力约束，但仪器记录如何转换为结构仍有自己的逆问题。我们已经看到表示不同不必意味着物质不同；接下来还要面对另一面：相似信号也未必意味着结构唯一。两项认识合在一起，才能建立既坚定又可修订的化学身份。

本章来源与核验边界

[C32-01] Walter Kohn，Nobel Lecture: Electronic structure of matter—wave functions and density functionals，Reviews of Modern Physics 71，1253—1266（1999），第二节氢分子比较。https://hj.hi.is/reikniefnfr/KohnNobelLecture99.pdf 。初稿核验时直接核读PDF第二节相关段落；以作者回顾核对早期近似，不声称通读海特勒—伦敦1927德文原件。本章未抄列数值排行榜或复算数据。

[C32-02] Robert S. Mulliken，Spectroscopy, Molecular Orbitals, and Chemical Bonding，1966诺贝尔讲演。https://www.nobelprize.org/uploads/2018/06/mulliken-lecture.pdf 。核读官方搜索返回开篇光谱与分子轨道关系的片段；直接全文打开未成功，故只使用该限定陈述。

[C32-03] P. Hohenberg, W. Kohn，Inhomogeneous Electron Gas，Physical Review 136，B864（1964）。https://journals.aps.org/pr/abstract/10.1103/PhysRev.136.B864 。核读出版社摘要，限定于外势中相互作用电子基态与密度泛函变分关系。

[C32-04] W. Kohn, L. J. Sham，Self-Consistent Equations Including Exchange and Correlation Effects，Physical Review 140，A1133（1965）。https://journals.aps.org/pr/abstract/10.1103/PhysRev.140.A1133 。核读出版社摘要关于近似、自洽方程及交换相关有效势的说明。

正文关于公平比较、误差来源及模型权限是本书分析，不冒充初稿核验时完成的数值研究。早期方法讨论的依据范围已注明，后续正式定稿仍需原论文与模型细节对校。