关于热化难解性的更多讨论：（几乎）独立同分布输入与有限晶格
量子物理
2025-07-04 v1
摘要
本文是Shiraishi和Matsumoto[10]工作的扩展，讨论了对于简单初始状态，具有平移不变最近邻相互作用的一维晶格中局部可观测量长期平均的计算复杂度。如先前论文所示，该问题通常是难解的。在本文中，我们进一步细化了这一陈述。首先，我们考虑初始状态的限制，其中除单个位点外，所有位点的状态都相同。我们证明了该问题的这个版本也是不可判定的（RE-完全）。然后，我们转向晶格尺寸有限的情况：根据输入大小的定义，该问题的这个版本要么是EXPSPACE-完全的，要么是PSPACE-完全的。
引用
@article{arxiv.2507.02601,
title = {More on Intractability of Thermalization: (almost) i.i.d. inputs and finite lattices},
author = {Keiji Matsumoto},
journal= {arXiv preprint arXiv:2507.02601},
year = {2025}
}