熱平衡化の問題は、一般的な形では解決不可能な問題であることを証明(外部記事)
https://www.univ.gakushuin.ac.jp/about/pr/press/20210824release.html
今回の証明ではまず、熱平衡化現象が実はコンピュータと同等以上の計算能力を有していることを証明します。
#Turingマシンの停止性問題
元論文
Naoto Shiraishi, Keiji Matsumoto; "Undecidability in quantum thermalization"