閉じた時間的曲線を持つ計算の計算可能性理論

本稿では、過去への時間移動能力、すなわち、幅や長さに制限のないドイッチェ的な閉じた時間的曲線（CTC）を備えたチューリングマシンによって何が計算可能かという問題を探求し、その計算能力が計算可能なマルコフ連鎖や量子チャネルの近似的な不動点を見つけることの複雑さと密接に関係していることを示す。