对分离的量子多体系统中热化的研究具有悠久的历史,可以追溯到发展统计力学的时代。自然界中大多数量子多体系统都被视为热量化,而有些则从未达到热平衡。中心问题是阐明给定的系统是否热效化(以前已经解决但未解决)。在这里,我们表明这个问题是不可决定的。当系统仅限于具有最接近邻居相互作用的一维移位系统时,最终的不确定性甚至适用,并且初始状态是固定的乘积状态。我们构建了一个编码可逆通用图灵机的动力学的哈密顿族人家族,在这种动力学中,放松过程的命运会大大变化,具体取决于图灵机器是否停止。我们的结果表明,没有一般定理,算法或系统的程序来确定任何给定的哈密顿素体中存在或不存在热化。
主要关键词