密度泛函理论的交换关联泛函——科学中最著名的"已知未知"

Hohenberg-Kohn定理证明了精确的交换关联泛函存在且唯一，但我们不知道它是什么。DFT 60年的发展史就是不断猜测这个泛函形式的历史——LDA假设它是局域的，GGA加入了密度梯度，meta-GGA加入了动能密度，杂化泛函混合了精确交换。每一步改进都是在"已知存在但未知形式"的函数上做更有根据的猜测。这是科学中最奇特的认识论处境之一。