10. 无序、边界与模型验证
本课位置: 第 10/10 课。先完成前一课的推导;使用下方练习检查理解。
1. 目标与假设
有限紧束缚模型可以明确观察边界和无序。开链删除端点连接,周期链把两端重新连上。随机现场能描述一类无序,随机跳跃描述另一类。分布形式、相关性和强度都是物理假设。一个随机样本不能代表整个无序系综,也不能据此给出可靠统计误差。
逆参与比衡量正交归一系数的集中程度。均匀分布在 N 个站点给出 1/N,单站点完全局域给出一。随体系大小的标度有助于区分延展和局域,但有限尺寸与边界态可能制造类似局域的表现。非正交基组中普通系数平方不是直接物理概率,所以不能机械使用简单公式,应使用适当度量或空间密度定义。
验证应分层进行。代数检查包括厄米性、态数、重叠正定、对称和已知极限;数值检查包括矩阵大小、跳跃范围、本征方程残差和系综误差;物理检查则在适用域内比较参考能带性质、总能、电荷、力或响应。这些检查互补。一个矩阵满足对称并不证明其化学准确,也不能保证在训练外环境中可靠。
统计研究需要对独立无序样本计算同一观测量,并跟踪平均值标准误差。相关的邻近本征值之间的散布不能代替独立样本误差。应比较不同大小和边界条件,区分教学模型与拟合预测模型,并明确标注示意数例。相互作用问题可衔接量子蒙特卡罗,轨道投影可衔接分子方法与 DFT,实际电荷模型则可衔接 DFTB+ 软件入口。
2. 逐步推导
逐行阅读等式及其假设。DFT 方程默认采用原子单位,另有说明除外;紧束缚参数保持明确能量和长度单位。匕首表示共轭转置,坐标上的撇号表示独立积分变量。
2.1. 可复现模型包括随机实验定义
应记录随机种子或完整无序样本、分布、独立样本数、边界和大小。种子保证重建,不使单样本具有代表性。检查观测量是否有稀有长尾,平均值可能掩盖巨大样本差异。加无序前先验证无缺陷链能量、迹及均匀态参与比,并记录本征向量归一约定。本课算例未执行无序模拟,而是提供未来实现应通过的检查。
3. 计算示例
八站点均匀态逆参与比为八分之一,平均分布在两个站点的态为二分之一。后者说明权重集中,却不能单独判定来自无序、化学缺陷还是受对称保护的边缘。
4. 习题与解释性答案
习题. M 个独立样本的标准差为 s,平均值标准误差是多少?
解释性答案. 在有限方差和独立条件下为 s/√M。误差减半约需四倍独立样本。相关样本会减少有效样本数,所以不能无条件套用。
进一步检查. 写出算例各参数的单位和适用范围。改变一个假设,指出推导哪一步必须重做。正确解释应说明受到影响的约束、算符或边界条件,而不只是说结果会变化。
5. 误区与局限
逆参与比依赖基组并受有限尺寸影响。局域化结论应结合尺寸标度、边界检查和合适响应证据。
图为原创教学示意,不是数值材料模拟输出。
6. 联系与来源
- Slater–Koster, 轨道几何原始构造 (1954)
- Su–Schrieffer–Heeger, 聚乙炔中的孤子 (1979)
- Marzari et al., 最大局域 Wannier 函数综述 (2012)
解释、推导和假设算例为原创教学综合。所引文献建立相关理论,不是这些教学数值的来源。
7. 关联理论与实践
量子力学 · 密度泛函理论 · ABACUS · DFTB+