{"id":"53ee3061-9c19-4b02-94e9-20874ccd558e","arxiv_id":"2505.11686","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Near the horizons of the self-dual Schwarzschild-Taub-NUT solution in Klein space, an infinite-dimensional symmetry algebra of supertranslations and superrotations is shown to exist, with integrable Noether charges.","lead":"This paper studies the geometry near the horizons of a special type of black hole in a two-time, two-space (Kleinian) spacetime, and shows it has an infinite family of hidden symmetries. The result matters for the 'celestial holography' program, which tries to understand gravity through scattering amplitudes in such spacetimes.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed algebra depends on the unproven state-independence truncation (3.11), which excludes nonzero Z and v-dependent Y solutions of (3.9).","rationale":"The reader's weakest assumption identified the same point: the state-independence condition (3.11) is stated but not derived, and on it rests the entire algebra (3.14)-(3.16). My analysis confirms that this is the most load-bearing link. The relaxed fall-offs (3.2)-(3.3) alone do not force Z = 0 or ∂_v Y^A = 0; the specific background admits nonzero Z solutions to (3.9), and the paper gives no argument that these are excluded. Since the central claim asserts that the geometry exhibits the algebra, an unstated truncation of the asymptotic Killing solution space makes the claim weaker than the abstract suggests. However, the assumption is explicit in Section 3, so the paper is not internally inconsistent; it is conditional. A concrete check of whether the discarded modes close under the adjusted bracket, and whether they preserve the fall-offs, would settle the matter. If the full system yields a larger closed algebra, the present result remains valid as a subalgebra but the claim of completeness is unsupported. If the full system does not close, the reported algebra may be an artifact of the projection. In either case, the verdict should be conditional pending this check rather than an unconditional accept.","tokens_in":12278,"tokens_out":24719,"duration_ms":265989,"concrete_test":"Take the metric (3.18) and solve the full asymptotic Killing system (3.4)-(3.9) without imposing (3.11), including the family Z = Z_0(x^A) e^{v/(4M)} and the corresponding v-dependent Y^A. Compute the adjusted bracket (3.14) for two such solutions and check whether it closes, and whether the result contains the algebra (3.15)-(3.16) as a subalgebra. Also verify directly whether these Z and Y^A preserve the boundary fall-offs (3.2)-(3.3) for arbitrary Z_0; if they do, the state-independent algebra is a proper subalgebra and the paper's claim of the near-horizon symmetry must be qualified.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central symmetry result is obtained only after imposing state-independence in Eq. (3.11), which forces Z = 0 and ∂_v Y^A = 0 in the asymptotic Killing equations (3.9). This assumption is not derived from the relaxed fall-offs (3.2)-(3.3) or from the self-dual Taub-NUT background. For that background (κ = 1/(4M), θ_A = 0), the first equation of (3.9) admits the nonzero family Z = Z_0(t, φ) e^{v/(4M)}, and the second equation then allows ∂_v Y^B to be sourced by ∂_A Z. The paper does not show that such solutions are excluded by a stronger boundary condition, nor that they fail to preserve (3.2)-(3.3) at the required order. Because the algebra (3.14)-(3.16) is obtained by projecting onto the Z = ∂_v Y = 0 sector, the claim that the near-horizon geometry exhibits this algebra is conditional on a truncation that is asserted rather than proved. If the omitted modes close only with field-dependent structure functions, the reported bracket is not the full near-horizon symmetry and the maximal algebra may differ.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the near-horizon geometry of the self-dual Schwarzschild–Taub-NUT solution in Kleinian (2,2) signature. After passing to coordinates adapted to the null horizon at ρ = 0, the authors propose relaxed fall-off conditions (3.2)–(3.3) that permit O(ρ) terms in g_ρμ. Solving the asymptotic Killing equations yields a general expansion for symmetry generators, and after imposing a state-independence condition, Eq. (3.11), the authors obtain a closed algebra of supertranslations and superrotations, Eqs. (3.14)–(3.16). They then compute the Noether charge variation for the supertranslation sector using two independent formulas, Eqs. (4.4) and (4.8), which match and are integrable, and they discuss the relation to the diffeomorphism mapping static and stationary self-dual Kleinian solutions. The central claim is that the Kleinian self-dual horizon exhibits a local infinite-dimensional BMS-like symmetry with integrable charges.","tokens_in":12327,"tokens_out":30924,"duration_ms":270997,"significance":"If the derivation is correct, the paper offers a nontrivial extension of near-horizon asymptotic symmetry analysis to Kleinian signature, showing that relaxed fall-offs can still yield a BMS-type algebra. The explicit cross-check of the charge formula through two independent expressions is a genuine strength, as is the explicit construction of the asymptotic Killing algebra. The subject is timely for celestial holography and the recent program on Kleinian black holes. However, the symmetry claim is conditional on the state-independence truncation, and the displayed metric components contain inconsistencies that must be resolved before the charge results can be fully accepted.","major_comments":[{"comment":"The state-independence condition that forces Z = 0 and ∂_vY^A = 0 is assumed, not derived. For the specific background considered (κ = 1/(4M), θ_A = 0), the first equation in (3.9) admits the family Z = Z_0(t,φ) e^{v/(4M)}, and the second equation then sources ∂_vY^B from ∂_AZ. These modes do not obviously violate the relaxed fall-offs (3.2)–(3.3), and the paper does not show that they yield vanishing charges or are pure gauge. Since the algebra (3.14)–(3.16) is obtained by projecting onto the Z = 0, ∂_vY^A = 0 sector, the claim that the geometry 'exhibits' this symmetry should be justified by an additional boundary condition (e.g., regularity in v, finiteness of charges, or a stricter fall-off) or explicitly stated as a property of a chosen subalgebra of the full asymptotic symmetry group. The abstract and conclusions should be adjusted accordingly.","section":"Section 3, Eq. (3.11)"},{"comment":"The metric expansions in (2.14) and (3.18) are mutually inconsistent for the same coordinate system: (2.14) gives g_ρv = 1 + ρ/(2M) + O(ρ²) and g_tφ = -M e^{v/(2M)} + O(ρ), while (3.18) gives g_ρv = 2(1 + ρ/(2M)) + ... and g_tφ = -2M e^{v/(2M)} + O(ρ). Equation (2.13) does not cleanly reproduce either expansion. Since the boundary data (κ, θ_A, Ω_AB) in (2.15) and the charge integrals (4.4), (4.6), and (4.8) depend on these components, the authors need to correct the metric expansion and re-derive the boundary data and charges if necessary.","section":"Sections 2 and 3, Eqs. (2.14), (2.15), (3.18)"}],"minor_comments":[{"comment":"The coordinate definition v = 2Mθ + 2M logρ is dimensionally ambiguous because the logarithm contains a dimensionful argument; please specify the scale (e.g., log(ρ/(2M))) and use it consistently in (2.13), (2.14), and (3.18).","section":"Section 2, Eq. (2.13)"},{"comment":"The resolution of the asymptotic Killing equations (3.4) leading to (3.5) is not shown; please add a short derivation or an explicit reference to the analogous computation in [17].","section":"Section 3, Eq. (3.5)"},{"comment":"The integrability claim is demonstrated only for the supertranslation sector (Y^A = 0); the text should state explicitly that the superrotation charges are not analyzed.","section":"Section 4"},{"comment":"References [27] and [28] are identical and should be merged.","section":"References"},{"comment":"The definition of the exponential integral should be written unambiguously, e.g., Ei(z) = ∫_{-∞}^{z} (e^τ/τ) dτ.","section":"Eq. (4.5)"},{"comment":"Minor typos such as 'from this conditions' should be corrected.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper fits the journal's scope and the central idea is plausible, but the consistency of the metric expansions and the status of the state-independence truncation need to be addressed before the results can be relied upon. These issues appear correctable, so I do not recommend rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here is my read. The paper does a careful, honest job on a narrow but real extension: for the self-dual Schwarzschild-Taub-NUT solution in Klein space, it writes the horizon metric in coordinates that realize relaxed near-horizon fall-offs (3.2)-(3.3), derives the asymptotic Killing vectors in the state-independent sector, and shows they close into the familiar semi-direct sum of supertranslations and two Witt algebras. The algebra itself is not new—same bracket as in [17]—but the relaxed boundary conditions and the v-dependent horizon geometry are new, and the supertranslation charge is cross-checked through two independent formulas, (4.4) and (4.8), which match. That deserves credit. The paper also flags its own conceptual limitation around the meaning of the charges. This should go to peer review. The real soft spot is the one the stress-test note identifies. Equation (3.11) is not derived from (3.2)-(3.3); it is an extra state-independence assumption that kills Z and v-dependent Y. On this background, the first equation in (3.9) admits nonzero Z, and the second can then source v-dependent Y. The paper does not prove these modes are excluded by the boundary conditions, nor that they fail to preserve the fall-offs at the required order. So the claimed algebra is a closed subalgebra under an asserted truncation, not necessarily the full near-horizon symmetry. That does not invalidate the result, but the abstract's phrasing—'the infinite-dimensional algebra underlying the local symmetries'—overstates what is proven. A referee should ask the authors to either rule out the extra modes or present the result as 'a closed subalgebra.' Minor issues: the derivation of (3.5) from (3.4) is compressed; the charge analysis covers only supertranslations, not superrotations; and there is a duplicated reference [28,28,29]. Who gets value: people working on near-horizon symmetries, celestial holography, or Kleinian signature black holes. It is a subfield advance, not a breakthrough. Recommendation: send it to a serious referee. The caveat is fixable by proof or by a more modest claim.","headline":"The paper is honest and checkable, but the headline algebra is conditional on a state-independence assumption that the authors state rather than prove.","tokens_in":811,"tokens_out":1374,"would_cite":true,"duration_ms":52126,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83C40","83C30","81T40"],"pacs":[],"model":"deepseek-v4-flash","headline":"Near the horizons of self-dual black holes in Klein space, the geometry admits an infinite-dimensional symmetry generated by supertranslations and superrotations.","keywords":["Klein space","self-dual black holes","Taub-NUT","near-horizon symmetries","supertranslations","superrotations","Noether charges","celestial holography"],"falsifier":"Impose the stricter fall-off conditions of earlier null-surface analyses, namely α = β_A = γ = 0 in (3.2), and re-solve the asymptotic Killing equations for the self-dual Kleinian metric (3.18); if the only solutions are the four Killing vectors of the exact metric, then the infinite-dimensional symmetry is an artifact of the relaxed boundary conditions rather than a robust feature of the horizon geometry.","tokens_in":11886,"feed_emoji":"🕳️","tokens_out":4304,"duration_ms":44667,"temperature":0.7,"pith_summary":"This paper studies the near-horizon region of self-dual Schwarzschild–Taub–NUT solutions in Klein space, i.e., in a spacetime with (2,2) signature. It establishes that, despite the unusual signature, the geometry near the Kleinian horizon exhibits an infinite-dimensional symmetry algebra similar to the Bondi–van der Burg–Metzner–Sachs algebra: supertranslations and superrotations. The result is obtained by generalizing earlier near-horizon fall-off conditions and solving the asymptotic Killing equations. The associated Noether charges are shown to be integrable. This matters because Klein-space black holes are a testing ground for celestial holography, and horizon symmetries provide a concrete handle on their microscopic structure.","feed_headline":"Near Kleinian black-hole horizons, an infinite symmetry survives","feed_subtitle":"Supertranslations and superrotations form a closed algebra, and their charges are integrable.","key_machinery":"The central object is the relaxed set of near-horizon boundary conditions (3.2)–(3.3), where the metric components are expanded as g_ρρ = αρ + O($ρ^{2}$), g_ρA = β_A ρ + O($ρ^{2}$), g_vρ = 1 + γρ + O($ρ^{2}$), and the transverse metric is Ω_AB + ω_AB ρ + O($ρ^{2}$). These generalize the stricter fall-offs of earlier null-surface analyses (the case α = β_A = γ = 0). The argument then imposes state independence, forcing Z = 0 and ∂_v Y^A = 0 in the asymptotic Killing expansion, which simplifies the symmetry generators and yields the closed algebra. The modified Lie bracket (3.14), {ξ_1, ξ_2} = L_{ξ_1}ξ_2 − δ_{ξ_1}ξ_2 + δ_{ξ_2}ξ_1, is the device that makes the algebra close despite the relaxed fall-offs.","core_discovery":"The paper proves that the near-horizon geometry of the self-dual Kleinian Schwarzschild–Taub-NUT metric (with mass equal to the NUT charge) admits a local infinite-dimensional symmetry. In coordinates where the horizon sits at ρ = 0, the asymptotic Killing vectors take the form ξ^v = f + O($ρ^{2}$), ξ^A = Y^A − $Ω^{{AB}}$ ∂_B f ρ + O($ρ^{2}$), and ξ^ρ = −∂_v f ρ + O($ρ^{2}$), with f and Y^A arbitrary functions of the horizon coordinates. With the modified Lie bracket (3.14), these close into the algebra (3.15)–(3.16): a semi-direct sum of the supertranslation algebra generated by f and two copies of the Witt algebra generated by Y^A. The paper also computes the Noether charge variations for supertranslations and finds them integrable, with charges expressible in terms of the exponential integral function; the charges are v-dependent because the horizon sections themselves depend on the null time.","pith_inferences":["If the v-dependence of the charges is interpreted as flux through the horizon sections, the Kleinian horizon could provide a (2,2)-signature analog of gravitational memory, where the supertranslation charges evolve as the null time advances.","The relaxed fall-offs might be the natural boundary conditions for any self-dual black hole in Klein space, suggesting that the same infinite-dimensional symmetry appears for the full self-dual Kerr–Taub-NUT family, not just the static configuration studied here.","A concrete testable extension would be to couple a scalar or graviton probe to the self-dual Kleinian black hole and compute the corresponding memory effect; a nonzero late-time displacement would give the charges a dynamical meaning beyond their formal integrability."],"forward_implications":["The near-horizon region of self-dual Kleinian black holes carries the same type of BMS-like symmetry that appears for Lorentzian black-hole horizons, extended here to (2,2) signature.","The supertranslation Noether charges are integrable even though they depend on the null time v, so a well-defined charge can be assigned to each horizon section.","The static and stationary self-dual Kleinian solutions are related by a large diffeomorphism that does not belong to the near-horizon asymptotic symmetry group, since it changes the location of the horizon.","The relaxed boundary conditions used here are compatible with the presence of nontrivial O(ρ) terms in g_ρμ, which earlier treatments had set to zero, so the result extends the known horizon-symmetry analysis to a broader class of null surfaces."],"supporting_citations":[{"why":"Introduces black holes in Klein space and shows the self-dual static solution is diffeomorphic to a stationary one, providing the geometric setting for this work.","marker":"[1]"},{"why":"Establishes supertranslations and superrotations at the black-hole horizon, the symmetry structure that this paper adapts to Kleinian signature.","marker":"[15]"},{"why":"Provides the soft-hair interpretation of horizon supertranslations, motivating the physical relevance of the charges computed here.","marker":"[16]"},{"why":"Supplies the original near-horizon fall-off conditions and the charge formula that this paper relaxes and extends.","marker":"[17]"},{"why":"Independently considers similar relaxed near-horizon boundary conditions, supporting the generality of the fall-off prescription used here.","marker":"[26]"}],"fun_headline_variants":["Infinite symmetry found near Kleinian black hole horizons","Klein space horizons host supertranslations and superrotations","Near-horizon symmetry algebra of self-dual Kleinian black holes","Integrable charges for Kleinian near-horizon symmetries","Self-dual Kleinian horizons yield infinite symmetry algebra"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction assumes the near-horizon metric falls off with coefficients independent of ρ and that the asymptotic Killing vectors are state-independent, forcing Z = 0 and ∂_v Y^A = 0; if the physically appropriate boundary conditions instead fix g_vρ = 1 exactly or allow the Killing vectors to depend on the metric functions, the algebra could reduce to the trivial Killing isometries or fail to close.","fun_headline_variants_meta":{"raw":{"variants":["Infinite symmetry found near Kleinian black hole horizons","Klein space horizons host supertranslations and superrotations","Near-horizon symmetry algebra of self-dual Kleinian black holes","Integrable charges for Kleinian near-horizon symmetries","Self-dual Kleinian horizons yield infinite symmetry algebra"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.0006,"raw_usage":{"total_tokens":2781,"prompt_tokens":903,"completion_tokens":1878,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":519,"completion_tokens_details":{"reasoning_tokens":1794}},"tokens_in":519,"tokens_out":1878,"duration_ms":12487,"temperature":1.0,"reasoning_tokens":1794,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T20:50:52.324693+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Impose the stricter fall-off conditions of earlier null-surface analyses, namely α = β_A = γ = 0 in (3.2), and re-solve the asymptotic Killing equations for the self-dual Kleinian metric (3.18); if the only solutions are the four Killing vectors of the exact metric, then the infinite-dimensional symmetry is an artifact of the relaxed boundary conditions rather than a robust feature of the horizon geometry.","supporting_citations":[{"cited_title":"Near-Horizon Symmetries of L ocal Black Holes in General Relativity,","cited_arxiv_id":null,"evidence_quote":"Independently considers similar relaxed near-horizon boundary conditions, supporting the generality of the fall-off prescription used here."}],"review_version":1}