{"id":"6d6a698b-423b-434e-b14d-de23f51a894e","arxiv_id":"2505.15349","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"In the stringless Taub-NUT spacetime, Misner-string singularities reappear on every spacelike hypersurface used in Komar integrals, restoring the Smarr formula only when included and making charges hypersurface-dependent.","lead":"This paper shows that even after removing the Misner string singularities from the Taub-NUT spacetime, every spacelike hypersurface used in Komar integrals still contains such singularities. This explains why the stringless Taub-NUT spacetime appears to violate the Smarr mass formula unless string contributions are included, and it implies that different hypersurface choices can yield different thermodynamic results.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central claim relies on an unshown computation: that the induced metric of the t(+)=0 hypersurface has a Misner-string singularity and its Komar flux exactly matches Ref [9]. This must be verified explicitly.","rationale":"The reader flagged the missing pullback computation of the induced metric for the t(+)=0 hypersurface. I confirm this is the central gap, and I broaden it: the paper also omits the Komar flux calculation over the excised cone that would demonstrate the string contributions are identical to those of the stringy solutions in Ref [9]. Since the stringless 4D spacetime is smooth and the Komar 2-form is regular, the finiteness and exact value of the cone flux are non-obvious; they depend on the nontrivial winding of the hypersurface around the south pole. My proposed concrete test directly settles this by computing the flux and comparing with Ref [9]. I do not find an internal inconsistency in the paper; the local identification of the stringless patches with the s=±1,0 solutions makes the claim plausible, and the note explicitly restricts its conclusion to the Lorentzian hypersurface approach. The 'different physics' assertion is speculative, but it is not load-bearing for the Smarr consistency argument. Therefore, the reader's CONDITIONAL verdict remains appropriate, and I recommend no change to that verdict.","tokens_in":6222,"tokens_out":29398,"duration_ms":260914,"concrete_test":"Compute explicitly, in the two-patch Misner construction, the pullback of the metric and of the Komar 2-form K[k] to the hypersurfaces t(+)=0, t(-)=0, and t(+)=2Nφ. For each, excise a cone at θ=constant around the relevant string axis, evaluate the flux ∫K over the cone and over the excluded disk regions at the horizon and infinity in the limit ε→0, and compare with the ψ±N± terms of Ref [9]. If the flux does not reproduce Ref [9] for all three slicings, the claimed necessity of string contributions is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The argument's load-bearing step is the assertion that the hypersurface t(+)=0 in the Misner stringless spacetime has an induced metric with a Misner-string singularity on the negative z-axis, and that the Komar integral over this singular hypersurface receives exactly the string contributions computed in Ref [9]. The paper states this without displaying the pullback of the metric or the evaluation of the Komar flux through the excised cone. This matters because the stringless 4D metric and its Komar 2-form are smooth; the nonvanishing of the cone flux is therefore not automatic and depends on the nontrivial winding of the section around the south pole. Moreover, the periodic identification t ∼ t+8πN and the need to exclude small disks around the string intersections on the horizon and infinity spheres could modify the limiting procedure. If the cone flux turned out to vanish or to differ from the s=±1,0 results of Ref [9], the Smarr formula would reduce to the inconsistent M=2ST and the central claim would fail. The note also asserts that different hypersurfaces 'lead to different physics' without specifying an observable; but this is secondary to the main calculation.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the Lorentzian Taub-NUT spacetime in which Misner's procedure has been used to remove the Misner-string singularities of the 4D metric. It claims that, despite the 4D regularity, any spacelike hypersurface used in a Komar-integral derivation of the Smarr formula inherits a Misner-string singularity: for example, the hypersurface t^(+)=0 in the northern patch has an induced metric of the s=-1 form with a singularity on the negative z-axis. The authors conclude that the string contributions computed in Ref. [9] must be included even in the stringless spacetime, so the Smarr formula is again Eq. (19), and that different choices of hypersurface can lead to different physics.","tokens_in":6377,"tokens_out":6988,"duration_ms":62538,"significance":"If the central claim is correct, the paper resolves an apparent inconsistency in the Lorentzian thermodynamics of the stringless Taub-NUT solution: the naive result M=2ST is not the full Smarr formula because the spacelike hypersurfaces necessarily contain Misner-string singularities whose Komar flux must be added. The observation that different time slices contain different strings and yield different thermodynamic charges is a potentially important and non-obvious conclusion. The paper is concise and clearly written, and it explicitly identifies the three hypersurfaces corresponding to s=0,±1. However, the main technical step—the explicit pullback computation and the evaluation of the Komar flux on the excised cone—is not shown, so the conclusion is presently conditional on an unverified calculation.","major_comments":[{"comment":"The load-bearing claim is that the induced metric on t^(+)=0 has a Misner-string singularity along the negative z-axis. This is asserted without the explicit pullback computation. Writing the pullback of Eq. (11) to t^(+)=0 gives ds^2_Σ = λ(r)[2N(cosθ-1)dφ]^2 − λ^{-1}(r)dr^2 − (r^2+N^2)dΩ^2; the paper should show explicitly why this 3-metric is singular at θ=π (for example, by exhibiting the non-vanishing of g_φφ on the axis or by giving the local transverse metric and its conical character). It should then compute the Komar flux through a small tube surrounding that axis and show that it equals the string contribution ψ_− N_− of Ref. [9]. This is not a formality: the 4D Komar 2-form is smooth in the stringless spacetime, so a non-vanishing cone flux is not automatic but follows from the nontrivial winding of the section around the south pole. If the flux vanished or differed from Ref. [9], the Smarr formula would reduce to M=2ST and the central claim would fail.","section":"Section 3, Eq. (20)"},{"comment":"The conclusion that different hypersurfaces 'lead to different physics' is not substantiated. The paper shows that different time slices contain different Misner-string singularities and that the formal string charges take different values, but it does not specify an observable physical quantity that would distinguish these choices. If the hypersurfaces are related by a gauge transformation, the difference might be a gauge artifact rather than a physical difference. The authors should either give an explicit invariant (for instance, a conserved charge measured by a family of observers, or a holonomy of the S^1 fibration) or soften the claim to say that the Komar charges are slice-dependent, without asserting a difference in observable physics.","section":"Section 3, final paragraph"}],"minor_comments":[{"comment":"The abstract contains a typo: 'Mister-string singularities' should be 'Misner-string singularities'.","section":"Abstract"},{"comment":"There is a duplicated article in 'Notice that the the 1-form A'; it should read 'the 1-form A'.","section":"Section 1, paragraph 1"},{"comment":"The parenthetical sentence 'all the coordinates in this piece of the should bear a (+) label' is missing the word 'solution'; it should read 'piece of the solution'.","section":"Footnote 1"},{"comment":"The footnote explaining the notation '.=', '=.' and '≑' is garbled and contains a typo ('noly' for 'only'). The definitions of the three types of identities are not clearly distinguished, and the sentence is not grammatical. Please rewrite it so that the on-shell, reducibility, and combined conditions are each associated with the correct symbol.","section":"Footnote 5"}],"recommendation":"major_revision","confidential_remarks":"The paper is a short note whose central claim is plausible but rests on an explicit computation that is not included. I would ask the authors to add an appendix or a section displaying the pullback of the metric to t^(+)=0 and the evaluation of the Komar flux through the excised cone, and to address the 'different physics' overstatement. The self-citation [18] is peripheral and does not affect my assessment. If the computation is supplied and confirms the claimed string contributions, the note would be a useful clarification for the Taub-NUT thermodynamics literature."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a small but real clarification of the Lorentzian Taub-NUT thermodynamics story. The authors show that after Misner's procedure removes the strings from the full 4D solution, every spacelike hypersurface you would use in a Komar integral still hits a Misner-string singularity. So the string contributions from Ref. [9] must be included, and the resulting charges are slice-dependent. As far as I know this observation is new, and it resolves an apparent inconsistency in a clean way.\n\nWhat I like: the logic is sound and the construction is simple. The key step is the induced metric on t(+)=0. The paper does not display the pullback, but it is a one-line calculation: in the southern patch t(-)=-4Nφ, so the bracket in the metric becomes 2N(cosθ-1)dφ, and the spatial metric has gφφ going to a nonzero constant at θ=π instead of vanishing. That is a genuine conical singularity in the 3-metric even though the 4D spacetime is smooth. The stress-test worry that this step is unshown is fair, but the step checks out; I reproduced it in a couple of lines.\n\nWhere I would press: the transfer of the string-integral results from Ref. [9] to the stringless hypersurface is asserted rather than demonstrated. The tube around the string in the hypersurface is a different embedding than the cone in the singular 4D solution, and the equality of the fluxes should be shown or at least justified more carefully. My quick check suggests it works, but a referee should ask for the explicit integral. The closing remark about different hypersurfaces leading to \"different physics\" is also vague: no observable is identified, and as written it reads as interpretation rather than result. Finally, the paper is terse—maybe too terse for the conceptual weight it carries. The reliance on Ref. [9] is not circular; the new claim is geometric, not a re-derivation of the Smarr formula.\n\nBottom line: this is a useful note for people working on NUT-charged black holes and Lorentzian thermodynamics. It deserves a serious referee, but the referee should ask for the explicit pullback/flux computation and a sharper statement of what \"different physics\" means.","headline":"A short but genuine clarification: Misner's stringless Taub-NUT still puts string singularities on every spacelike slice used for Komar integrals, so the string contributions to the Smarr formula cannot be avoided.","tokens_in":6967,"tokens_out":5935,"would_cite":true,"duration_ms":56620,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Misner strings reappear on every time slice of stringless Taub-NUT","keywords":["Taub-NUT spacetime","Misner string","Komar integral","Smarr formula","Lorentzian black hole thermodynamics","NUT charge","spacelike hypersurface singularities"],"falsifier":"Compute explicitly the pullback of the Misner-glued metric to the hypersurface $t_{(+)}=0$ and examine the induced 3-metric near the negative $z$-axis; if it turns out to be regular there, or if the integral of the Komar 2-form over a small cone around that axis vanishes in the zero-radius limit, then the string contributions are not needed and the Smarr formula $M=2TS$ would be the correct one for the stringless spacetime.","tokens_in":5995,"feed_emoji":"🕳️","tokens_out":8401,"duration_ms":69484,"temperature":0.7,"pith_summary":"The paper confronts a puzzle: in the Lorentzian Taub-NUT spacetime with the strings removed by Misner's gluing construction, a direct Komar-integral computation over a $t=0$ slice yields the inconsistent relation $M=2TS$, as if the NUT charge contributed nothing to the mass. The authors establish that the inconsistency is an artifact of forgetting that every spacelike hypersurface used in the integral inherits a Misner-string singularity, even though the full four-dimensional metric is regular outside the horizon. Once the contributions of those unavoidable hypersurface strings are added, by the same cone-excision calculation used in the singular case, the general Smarr formula $M=2(TS+\\psi_+N_++\\psi_-N_-)$ is satisfied identically. They further show that different choices of hypersurface ($t_{(+)}=0$, $t_{(-)}=0$, or $t_{(+)}=2N\\varphi$) place the string on different axes and lead to different thermodynamic charges, so the physics depends on the time slice in the Lorentzian approach. The interest is that a globally regular spacetime can still require string-like boundary terms in the covariant derivation of black-hole thermodynamics.","feed_headline":"Misner strings reappear on every time slice of stringless Taub-NUT","feed_subtitle":"Even after removing Misner strings from the full spacetime, every spacelike slice hides one, and Komar integrals must count it.","key_machinery":"The central object is the Komar charge 2-form $K[k]$ associated to the horizon-generating Killing vector $k$, integrated over a spacelike hypersurface with boundaries at the bifurcation sphere $B_H$, the sphere at infinity $S^2_\\infty$, and cones $T_\\pm$ surrounding the Misner strings (the axis line singularities of the one-form $A=2N(\\cos\\theta+s)d\\varphi$, analogous to Dirac strings). The mechanism is the identity $0=\\int_{\\Sigma_3} dK[k]$ together with Stokes' theorem, which turns the sum of boundary integrals into the Smarr formula; when a string is present, one excises a narrow cone around it and adds the string boundary integral, written as $\\psi_\\pm N_\\pm$ with $\\psi_\\pm$ the string surface gravities and $N_\\pm$ the conjugate charges. The paper's additional machinery is Misner's two-patch construction, in which overlapping northern and southern Taub-NUT patches are glued by $t_{(+)}=t_{(-)}+4N\\varphi$ with $t_{(\\pm)}$ periodic with period $8\\pi N$, and the observation that the induced metric on any $t=\\text{const}$ slice of this regular spacetime is exactly the metric of a singular patch, so the string reappears at the slice level.","core_discovery":"The central claim is that Misner's string-removal construction does not remove the Misner strings from the spacelike hypersurfaces on which the Komar integrals are evaluated. Choosing $t_{(+)}=0$ forces $t_{(-)}=-4N\\varphi$, and the induced metric is the same as that of the $t=0$ slice of the singular solution with $s=-1$, carrying a Misner-string singularity along the negative $z$-axis; the choices $t_{(-)}=0$ and $t_{(+)}=2N\\varphi$ give strings on the positive axis and on both semiaxes. Therefore the identity $0=\\int_{\\Sigma_3} dK[k]$ must be evaluated on a hypersurface with conical excisions around those string lines, and the boundary integrals acquire string contributions $\\psi_\\pm N_\\pm$ exactly as in the computation for spacetimes with explicit Misner strings. The conclusion is that the Smarr formula for the stringless Taub-NUT spacetime is the same general formula $M=2(TS+\\psi_+N_++\\psi_-N_-)$, with one of the pairs $(N_+,N_-)$ vanishing according to which semiaxis carries the string, and not the naive $M=2TS$. The paper also observes that these different string-carrying hypersurfaces are physically inequivalent, so observers on different slices experience different physics.","pith_inferences":["Beyond the paper: the same mechanism may explain other apparent Smarr-formula inconsistencies in NUT-charged or magnetic-type spacetimes written in globally regular coordinates, where a hidden line singularity on the Cauchy surface supplies the missing boundary term.","A concrete extension would be to scan the one-parameter family of hypersurfaces $t_{(+)}=\\alpha\\varphi$ and trace how the string locations and charges $\\psi_\\pm,N_\\pm$ vary with $\\alpha$; the paper only discusses three values.","One could test the physical-equivalence claim by computing the Hamiltonian energy on each slice; if the charges genuinely differ, the stringless Taub-NUT spacetime has no observer-independent thermodynamics in the Lorentzian formulation.","The result sharpens the Dirac-monopole analogy: just as the Dirac string cannot be removed from the vector potential, the Misner string cannot be removed from the initial-data slice, only moved."],"forward_implications":["The stringless Taub-NUT spacetime satisfies the same Smarr relation as the singular one, $M=2(TS+\\psi_+N_++\\psi_-N_-)$, so the NUT charge contributes to the mass through hypersurface string terms rather than through the sphere integrals.","Any spacelike hypersurface used in the Komar computation carries at least one Misner string; there is no globally regular time slice for the connection $A$.","Thermodynamic charges and potentials are hypersurface-dependent: the slicings $t_{(+)}=0$, $t_{(-)}=0$, and $t_{(+)}=2N\\varphi$ yield different $N_\\pm$ and $\\psi_\\pm$, and hence different physics.","The Euclidean approach, which never chooses a hypersurface, does not see these string contributions and its known difficulties for the stringless Taub-NUT spacetime persist."],"supporting_citations":[{"why":"Supplies the cone-excision method and the Smarr formula with string contributions that the paper reproduces in the stringless case.","marker":"[9]"},{"why":"Gives Misner's two-patch gluing construction that removes the strings from the full spacetime; the paper shows the strings survive on hypersurfaces.","marker":"[5]"},{"why":"Establishes that keeping the Misner strings and including their Komar contributions gives consistent Lorentzian thermodynamics, which this note extends.","marker":"[8]"},{"why":"Defines the Komar charge 2-form whose boundary integrals are the basis of the Smarr derivation.","marker":"[14]"},{"why":"Shows the U(1)-bundle construction for the Dirac monopole that is essentially identical to Misner's procedure, describing the topology replacing the removed strings.","marker":"[4]"}],"fun_headline_variants":["Misner strings haunt every slice of stringless Taub-NUT","Komar integrals can't dodge Misner strings in Taub-NUT","Stringless Taub-NUT still hides a Misner string per slice","Different slices of Taub-NUT carry different Misner strings","String removal fails on every Taub-NUT time slice"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument relies on the slice $t_{(+)}=0$ having a genuine Misner-string singularity in its induced metric along the negative $z$-axis; the paper states this inherited singularity rather than displaying the explicit pullback calculation that proves it.","fun_headline_variants_meta":{"raw":{"variants":["Misner strings haunt every slice of stringless Taub-NUT","Komar integrals can't dodge Misner strings in Taub-NUT","Stringless Taub-NUT still hides a Misner string per slice","Different slices of Taub-NUT carry different Misner strings","String removal fails on every Taub-NUT time slice"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000822,"raw_usage":{"total_tokens":3593,"prompt_tokens":936,"completion_tokens":2657,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":552,"completion_tokens_details":{"reasoning_tokens":2566}},"tokens_in":552,"tokens_out":2657,"duration_ms":17006,"temperature":1.0,"reasoning_tokens":2566,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T15:18:38.501228+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute explicitly the pullback of the Misner-glued metric to the hypersurface $t_{(+)}=0$ and examine the induced 3-metric near the negative $z$-axis; if it turns out to be regular there, or if the integral of the Komar 2-form over a small cone around that axis vanishes in the zero-radius limit, then the string contributions are not needed and the Smarr formula $M=2TS$ would be the correct one for the stringless spacetime.","supporting_citations":[],"review_version":1}