REVIEW 2 major objections 3 minor 7 references
Correction to: The Double-Wedge Algebra for Quantum Fields on Schwarzschild and Minkowski Spacetimes
T0 review · 2 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The central claim of this erratum is that Theorem 3.2 of the 1985 double-wedge algebra paper is true, and that a faulty line in its published proof can be repaired by a stronger spectral assertion: the one-particle Hamiltonian has no…
desk verdict Honest, focused erratum that repairs a flawed line in a 1985 proof; the one missing verification is a spectral fact the author cites to the original paper, and that is acceptable for a correction. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The mechanism is the second quantization $d\Gamma$ on the Fock space built over the doubled one-particle Hilbert space. The one-particle Hamiltonian $h_B$ of the double-wedge system is passed to the doubled space as $\tilde h_B$, and the corrected proof hinges on the spectral fact that $h_B$, hence $\tilde h_B$, has no eigenvectors at all. The paper also invokes the notion of a ground one-particle structure from the companion papers, which supplies an alternative route requiring only that $h_B$ has no zero eigenvalue.
What would settle it
Exhibit a nonzero vector $x$ in the one-particle Hilbert space with $h_B x = a x$ for some nonzero $a$. Then the two-particle Fock vector $(x\oplus 0)\otimes(0\oplus x)$ would satisfy $d\Gamma(\tilde h_B)\psi = 0$ while $\psi$ is not a multiple of the vacuum, directly falsifying the corrected step. Alternatively, checking whether the last equality in Appendix A3 of the original paper really implies the absence of eigenvectors would settle the matter.
Extended reading notes
Core claim
The central claim is that Theorem 3.2 of the original paper is true and that its proof can be repaired. The faulty published line asserted that $\tilde h_B$ having no zero eigenvalues implies $d\Gamma(\tilde h_B)\psi=\psi\Rightarrow\psi=\Omega$; the author explains this was not even what he had intended, and that the intended statement $d\Gamma(\tilde h_B)\psi=0\Rightarrow\psi=\lambda\Omega$ is also false in general: if $h_B$ had an eigenvector $x$ with eigenvalue $a\neq 0$, then the two-particle vector $(x\oplus 0)\otimes(0\oplus x)$ would be annihilated by $d\Gamma(\tilde h_B)$ without being a multiple of the vacuum. The correction therefore strengthens the hypothesis to the assertion that $h_B$ has no eigenvectors at all, which the paper says follows from the last equality in Appendix A3 of the original article. With that fact, $d\Gamma(\tilde h_B)\psi=0\Rightarrow\psi=\lambda\Omega$ is valid. The erratum additionally notes that, in the quasi-free Bose case, an alternative proof from the companion paper avoids this step entirely and needs only the absence of a zero eigenvalue.
Load-bearing premise
The whole correction rests on the assertion that $h_B$ has no eigenvectors at all; the erratum states this follows from an equality in the original paper's appendix, but does not show the derivation, and if it were false the repaired inference would fail.
Editorial extensions
If this is right
- Theorem 3.2 of the original paper remains true, and the repaired proof removes the faulty step rather than changing the statement.
- The corrected inference, $d\Gamma(\tilde h_B)\psi=0\Rightarrow\psi=\lambda\Omega$ once $\tilde h_B$ has no eigenvectors, is the load-bearing claim that was missing from the 1985 text.
- In the quasi-free Bose case, Theorem 2 of the companion paper offers an alternative proof of Theorem 1.3 that dispenses with Condition (a) and needs only the absence of a zero eigenvalue.
- As far as the author can determine, no subsequent work that relies on Theorem 3.2 is invalidated by this correction.
Reading between the lines
- A reader who wants to rely on the repaired proof must still verify the unstated step: the erratum asserts, but does not derive, that $h_B$ has no eigenvectors at all, so the correction is not fully self-contained.
- The same failure mode is a warning for other second-quantized uniqueness arguments: when a doubled operator is involved, having no zero eigenvalue is insufficient; one must know that no eigenvectors exist at all.
- A natural extension would be to write out a self-contained proof of the no-eigenvector property directly from the double-wedge data, removing the dependence on the original appendix equality.
- The later constructions extending the Hartle-Hawking-Israel state across Kruskal can be read as independent evidence that the theorem's content is sound even though its original proof line was faulty.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This erratum corrects an error in the proof of Theorem 3.2 of the author's 1985 paper on the double-wedge algebra for quantum fields on Schwarzschild and Minkowski spacetimes. The original proof line is identified as wrong, and a replacement sentence is proposed: since the one-particle operator hB (and hence its doubled version \tilde hB = hB \oplus (-hB)) has no eigenvectors at all, d\Gamma(\tilde hB)\psi = 0 implies \psi = \lambda\Omega. The author gives a counterexample showing the earlier, weaker replacement statement (based only on absence of zero eigenvalues) is false, and asserts that the no-eigenvector property follows from Appendix A3 of the original paper. The erratum also lists minor typographical corrections to two companion papers and briefly comments on subsequent work that builds on the original results.
Significance. If the proposed repair is valid, this erratum upholds the truth of a theorem that has been cited in the literature, preventing a formally incorrect proof from being propagated. The paper is transparent about the original error and gives a concrete counterexample to illustrate why the initially corrected statement was still insufficient. The main logical repair is standard in Fock space theory once the spectral fact about hB is accepted. However, the erratum leaves the load-bearing spectral assertion ('hB has no eigenvectors at all') unproved, merely referring to an appendix of the original paper. Since the entire corrected inference reduces to this fact, its demonstration is needed for the erratum to be self-contained. The alternative proof sketched via [2] is also only summarized, not proved. These gaps are bounded and likely easily filled, but they currently prevent the corrected proof from being fully verified from this document alone.
major comments (2)
- [Main text, paragraph beginning 'There is an error'] The central claim of the corrected proof is that hB has no eigenvectors at all, stated to 'easily follow from the last equality in Appendix A3 of [1]'. This fact is load-bearing: the counterexample in the preceding paragraph shows that the inference d\Gamma(\tilde hB)\psi = 0 \Rightarrow \psi = \lambda\Omega fails if hB has any nonzero eigenvalue a paired with -a, and it also fails if hB has a zero eigenvector. The erratum does not reproduce the argument or quote the exact equation from Appendix A3. I request that this be supplied, either as a short proof or as an explicit statement from [1] with enough surrounding detail to make the step verifiable without consulting the appendix.
- [Main text, paragraph beginning 'Actually, as is explained'] The alternative proof based on Theorem 2 of [2] is only sketched, and the assertion that it requires only absence of a zero eigenvalue is not demonstrated here. If this alternative is meant to provide independent support for the theorem, it should state precisely which condition in [2] corresponds to 'no zero eigenvalue' and why that condition is indeed part of the definition of a 'ground one-particle structure'. At present, this part of the erratum remains too telegraphic to verify without access to [2].
minor comments (3)
- [Main text, counterexample paragraph] The counterexample is written with an unsymmetrized tensor product (x \oplus 0) \otimes (0 \oplus x). In the bosonic Fock space over \tilde h, physical two-particle states must be symmetric. The argument can be repaired by symmetrizing the tensor product, and the conclusion is unaffected, but the erratum should make this explicit.
- [Main text, paragraph about [2] and [3]] The list of corrections to [2] and [3] is clear, but the first item for [3] contains a small grammatical awkwardness: 'given dynamical system ( D, T (t))' should be 'given dynamical system (D, \sigma, T (t))'. This is a presentation issue, not a technical one.
- [Main text, final paragraph before References] The sentence 'While I have privately make the content of that erratum known' contains a typo: 'make' should be 'made'. Please correct this in the published version.
Circularity Check
No significant circularity: the corrected proof rests on an independent spectral fact from the original paper, not on the theorem being proved.
full rationale
This erratum corrects a specific faulty line in the proof of Theorem 3.2 of [1]. No step fits the enumerated circularity patterns. The replacement inference "dΓ(˜hB)ψ=0 ⇒ ψ=λΩ" is justified by the assertion that hB (and hence ˜hB) has no eigenvectors at all, which the erratum attributes to the last equality in Appendix A3 of [1]. That is a citation to a concrete, checkable spectral fact about the same operator, not a restatement of Theorem 3.2 itself, and not a fitted parameter presented as a prediction. The explicit counterexample with eigenvalues a and −a shows the paper is carefully distinguishing the faulty inference from the corrected one, so it is not renaming a known result or smuggling in an ansatz. The alternative proof via [2] is likewise a citation to a separate published theorem; it is only sketched here, but it is not the primary derivation and does not make the conclusion equivalent to its premise. The main caveat is the verification gap: the empty-point-spectrum property of hB is asserted to "easily follow" from [1] but is not demonstrated in this erratum. That is a rigor/correctness risk, not circularity, because the property is independently checkable and is not the same as the theorem being proved. An honest non-finding is therefore appropriate.
Assumptions & free parameters
assumptions (4)
- domain assumption The one-particle Hamiltonian hB has no eigenvectors at all.
- standard math For an operator A with no eigenvectors, dΓ(A)ψ = 0 implies ψ = λΩ (λ a complex number).
- domain assumption The quasi-free Bose case is the only case relevant to Theorem 3.2 of [1].
- domain assumption Theorem 2 of [2] is valid and applies here.
Cite this review
Pith. "Pith review of Correction to: The Double-Wedge Algebra for Quantum Fields on Schwarzschild and Minkowski Spacetimes." pith.science (2026). https://pith.science/paper/VJMYCPB2
@misc{pith2026250615731,
author = {Pith},
title = {Pith review of: Correction to: The Double-Wedge Algebra for Quantum Fields on Schwarzschild and Minkowski Spacetimes},
year = {2026},
howpublished = {\url{https://pith.science/paper/VJMYCPB2}},
note = {Machine review of arXiv:2506.15731}
}
read the original abstract
There is an error in the proof (but not the truth) of Theorem 3.2 in the author's 1985 paper "The Double-Wedge Algebra for Quantum Fields on Schwarzschild and Minkowski Spacetimes" in "Communications in Mathematical Physics". The author became aware of that error and of how it may be corrected soon after it went to print, and two companion papers published soon afterwards (in Helvetica Physica Acta) refer to an "erratum to appear". This is that erratum. We also take the opportunity to note a few (unrelated and minor) corrections to those two companion papers and also to very briefly mention related more recent work.
Reference graph
Works this paper leans on
-
[1]
Kay, B.S.: The double-wedge algebra for quantum fields on Schwarzschild and Minkowski spacetimes. Commun. Math. Phys. 100 57-81 (1985)
work page 1985
-
[2]
Helvetica Physica Acta 58 1030-1040 (1985)
Kay, B.S.: Purification of KMS states. Helvetica Physica Acta 58 1030-1040 (1985)
work page 1985
-
[3]
Helvetica Physica Acta, 58 1017- 1029 (1985)
Kay, B.S.: A uniqueness result for quasi-free KMS states. Helvetica Physica Acta, 58 1017- 1029 (1985)
work page 1985
-
[4]
Kay, B.S.: Quantum theory in curved spacetime: Elsevier Encyclopedia of Mathemat- ical Physics (Second Edition), M. Bojowald and R.J. Szabo (eds) 5 357-381 (2025) [arXiv:2308.14517]
arXiv 2025
-
[5]
Sanders, K.: On the construction of Hartle-Hawking-Israel states across a static bifurcate Killing horizon. Lett. Math. Phys. 105 575-640 (2015) [arXiv:1310.5537]
work page Pith review arXiv 2015
-
[6]
Reviews in Mathematical Physics33 2150028 (2021) [arXiv:1806.07645]
G´ erard, C.: The Hartle-Hawking-Israel state on spacetimes with stationary bifurcate Killing horizons. Reviews in Mathematical Physics33 2150028 (2021) [arXiv:1806.07645]
arXiv 2021
-
[7]
The ${\mathscr P}(\varphi)_2$ Model on the de Sitter Space
Barata, J.C.A., J¨ akel C.D. and Mund J.: The P (ϕ)2 model on de Sitter space. Memoirs of the American Mathematical Society281 1389 (2023) [arXiv:1311.2905] 2
work page Pith review arXiv 2023
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.