分子有序性与SAT-to-Ising退火之间的物理类比
计算机科学中的逻辑
2025-11-04 v1
摘要
随着温度下降，分子系统可能发生自发有序，由随机行为转向有序结构。本研究演示了这种热力学有序性在分子系统中与计算复杂问题集合中逻辑一致性发展之间的直接类比。我们将布尔SAT问题实例映射到成对的Ising哈密顿量模型中。随后，我们使用模拟退火法，通过从高熵随机分配到低熵有序分配（能量最小值）的热力学演化，将系统冷却至分子冷却类比。这表明系统中发生了快速的“一级”或“逻辑晶体化”。背骨刚性程度与系统中观察到的物理有序程度并不强相关；因此，看起来系统中主要发生约束满足的局部对齐。因此，我们提供了满足可满足逻辑配置类似于分子系统中低能晶体状态的经验证据，并为统一的热力学视角下的计算一致性和复杂性提供了证据。
引用
@article{arxiv.2511.01216,
title = {A Physical Analogy between Molecular Ordering and SAT-to-Ising Annealing},
author = {ShivKishan Dubey and Rohit Sharma},
journal= {arXiv preprint arXiv:2511.01216},
year = {2025}
}
备注
09 pages, 2 Figures along with 4 subfigures