时间机器（三）

但由于Kay，Radzikowski和Wald（1997），重命运再次再次逆转。 他们定理的细节太技术性来在这里审查，但论证的结构很容易掌握。 ⟨ψ|tab|ψ⟩|tab |Naïve计算结果导致必须减去的异，以产生具有有限值的重字预期值⟨ψ|tab|ψ⟩r|tab⟨ψ|tab|ψ⟩r。 标准重整化程序使用的限制程序，即在数学上定义，且仅当某个条件获得。[30] KRW定理表明，在H +（σ）上侵犯该条件，因此，应力 - 能量张量的期望值在年表视场中没有明确定义。

虽然KRW定理无疑是半古典量子重力的根本重要性，但它不用作为棘手的时间机器的有效的无效结果。 首先，定理假设与霍克宁的年表保护定理在一起，H +（Σ）是紧凑的产生的，我们重复它远未清除这种假设，以便在操作中看到棘手时间机器是必要的。 即使接受了紧凑地生成的H +（Σ）作为时间机器的必要条件，也可以获得第二种和更基本的预留。 KRW定理通过提供具有可疑荒谬的缺陷缺失：大致，如果您尝试操作Thornian Time机器，您将最终实现无效的半古典量子重力。 但是，半古典量子重力从未被视为任何垫脚石到真正量子的重力，并且当普朗克级物理学发挥作用时，它的分解预计会表现出来。 这种担心是由visser（1997,2003）的调查结果强调，在年表中，违反模型的违规模型可以预期在达到H +（Σ）之前发挥作用。

因此，如果某些量子机制是作为按年度保护的基础，则必须在第三度的量子中找到重力。 环路量子重力和弦理论都证明了固化古典一般相对论理论的一些曲率奇异性的能力。 但是，据我们所知，没有示威性的是，这些方法中的任何一种都可以摆脱在各种解决方案中展出的ACAUSAL功能。 制定完全成熟量子的重心理论的替代方法试图通过从因果套构造它来捕获空间的平坦结构。[31] 由于这些集合必须是无循环的，即，由于因果集中的任何元素都可以在自身上导致，CTC被排除出先验。 实际上，由于诸如苯甲料（1977）而导致的定理表明，任何普朗克级方法编码的任何普朗克级方法都不能仅允许CTC在平滑的经典时刻或其量子对应物中的相应现象中。[32]

总而言之，使用前两度量子参与的现有无伐地点不是很令人信服，第三程度的参与是足够成熟的，以允许有用的声明。 然而，在弦理论的低维上对称陈述中的时间行程的可能性迅速增长的文献。 审查这些最近的结果和对时间旅行者野心的命运的讨论，参见Smeenk和Wüthich（2010）。

6.结论

霍金吩咐“[i] T似乎有一个年表保护机构，这可以防止封闭时间般的曲线的外观，使宇宙为历史学家安全”（1992A，603）。 他可能是对的，但到目前为止，没有令人信服的论据，即这样的机构被安置在古典一般相对论或半古典量子重力中。 判断该机构是否被纳入环路量子重力或弦理论，为时尚早。 但即使它应该结果是错误的，在物理法律不支持年表保护机构的情况下，它仍然可能是法律支持反时间机构的情况。 因为它可以结果是，虽然法律不阻止CTC的发展，但它们也没有使CTCS的外观归因于任何会是时间机器的工作。 我们认为，在古典一般相对论理论中，示范将在古典一般相对论理论中产生强大的推定，这是对满足爱因斯坦的现场方程和能源条件的任何模型以及拥有部分Cauchy Surfaceσ0的任何模型CTCS，有令人满意的D +（Σ0）的空闲扩展，满足Einstein的现场方程和能量条件，但不包含Σ0的未来的CTC。 毫无疑问，了解一个设备意味着“负责”CTC的发展意味着什么。 探索这些替代方案是哲学家希望为迄今为止的持续讨论做出贡献的一个地方，这主要是由物理界主要携带的。 参与本次讨论意味着哲学家必须通过争夺逻辑体操的活动与时间旅行的悖论，以获得更加艰巨但（我们认为）奖励挖掘物理基础的活动。

时间机器可能永远不会看到日光，也许是因为源于基本物理法律的原因。 但即使有关各种理论中的数学定理成功地建立了时间机器的不可能性，了解为什么时间机器无法建造，将在物理学基础上阐明核心问题。 例如，由于我们在第4节中所说，例如，通用相对论理论的时间机器应被解释为研究PenRose宇宙审查猜想的财富时的核心问题。 本猜想可以说可以使一般相对论理论中最重要的开放问题构成。 类似地，如第5节中所讨论的，与时间机器的各个方面相关的数学定理提供了对搜索量子的重心搜索的结果。 总而言之，研究操作时间机器的可能性证明不是科学的外围或无聊的周末活动，而是一种探讨经典和量子理论的基础的有用方式。