在化学中，大多数重要概念都源于实验观察。原子论来自定比定律，分子结构来自晶体学，高分子来自粘度测量。这些概念有一个共同特征：没有实验数据，它们无法被提出，也无法被确认。

        但也有一类化学概念，走的是另一条路。它们的核心洞见不是通过实验“发现”的，而是通过数学推导“确立”的。

        在理论化学中，这并非例外。我们可以从其中一个最著名的案例说起。

密度泛函理论（DFT）：一个“难以置信”的数学证明

        1960年代，沃尔特·科恩（Walter Kohn）提出了一个在当时看来近乎不可思议的主张。

        当时的化学家和物理学家普遍认为，要精确描述一个分子，必须知道每个电子的波函数——那是一个包含了所有电子坐标信息的复杂数学对象，其复杂程度随着电子数增加急剧上升。

        但科恩的论证表明：分子的电子能量，只取决于电子密度的分布——一个仅需三个空间坐标描述的函数。

        这在直觉上很难接受。电子之间存在复杂的相互作用，怎么可以仅仅用一个“密度”就搞定所有事情？

        但科恩的工作提供了严格的数学证明：只要知道电子密度，原则上就能精确计算分子能量。这个结论不依赖于任何新的实验数据，完全来自于严密的数学推导。

        化学家们花了相当长的时间才接受这个观点，因为它挑战了当时理论化学的核心工作方式。但最终，这个“不可能”被接纳为现代化学最重要的理论工具之一。科恩因此获得了1998年诺贝尔化学奖。

单分子混合态：另一种数学推导的产物

        约六十年后，“单分子混合态”的概念也遵循了类似的路径——它的核心结论，同样来自数学推导，而非实验发现。

        这个概念的论证逻辑非常简短：

假设一个分子体系有足够的结构自由度，使得理论可能存在的结构种类数，超过样品中的实际分子总数。那么，任意两个分子具有完全相同结构的概率在统计上趋近于零。

        这是一个数学推论。一旦“结构自由度”和“分子总数”这两个数量关系成立，结论就自然成立，不需要等待任何实验数据来“验证”。

        就像科恩不需要通过实验来“证明”电子密度决定了能量一样，“单分子混合态”的提出也不依赖于某一个实验的确认——它只是一个逻辑上的必然推论。

相同点：两者都挑战了“默认假设”

        这两种推导之间有一个值得注意的相似之处。

        在DFT诞生之前，化学家默认：要理解分子，必须处理复杂的波函数。科恩证明了：不需要。

        在“单分子混合态”被提出之前，化学家默认：同一种物质中的所有分子结构相同。这个概念的论证表明：不需要——在某些体系中，这个假设在数学上站不住脚。

         两者都以数学推导的方式，表明一个长期被默认的假设，在更广阔的逻辑视野中只是特例。

不同之处：推导基础不一样

        尽管两者都是数学推导的产物，但它们所依赖的数学层次有所不同。

        DFT的推导基于量子力学的第一原理（如Hohenberg-Kohn定理），它是在物理定律框架内的数学演算。

        而“单分子混合态”的推导基础更加“底层”——它几乎只依赖组合数学和计数逻辑。它不预设新的物理定律，也不依赖于量子力学。它只是指出，在一个结构自由度足够高的体系中，“所有分子都相同”这个假设在统计上是不成立的。

        这使得“单分子混合态”在某种意义上更接近一个数学化学的概念——它的论证链条几乎全部由组合数学构成，而不依赖于微观物理理论。

这并不意味着实验不重要

        在DFT的案例中，实验的地位是确认与校准：理论框架建立后，实验工作通过参数化和验证，使其成为实用的计算工具。

        在“单分子混合态”的案例中，实验可以起到类似的作用：它不负责“证明”概念成立——因为数学已经完成了这项工作——而是负责“确认”这一推论在真实的化学体系中如何具体呈现。

        就像非欧几何不需要实验来“证明”其逻辑可能性，但物理学家后来通过实验确认了现实空间是否存在曲率一样。

结语

        密度泛函理论和“单分子混合态”的共同点在于：它们都表明，化学中有些概念不是通过实验“发现”的，而是通过数学“推导”出来的。

        这种“推导”使得这些概念不需要等待实验证据来“验证”——它们已经在逻辑上成立了。

        DFT的故事说明，这类概念可以改变一个学科的基础工作方式，并获得最高的学术认可。

        “单分子混合态”是否会有同样的影响，取决于它是否会像DFT一样，在未来被广泛接受和应用。但它们的诞生方式——通过数学而非实验——是相通的。

        这或许也意味着，化学中还有一些类似的概念，仍然有待被发现、被推导、被提出——就像DFT一样，从一个反直觉的数学起点，最终成为学科的核心工具。

支持单位：