{"id":"7a614b76-407d-4bf5-9b29-3cffbfa15ff5","arxiv_id":"2411.14247","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A detailed worked example showing that the solution phase space method reproduces the known mass, angular momentum, entropy, first law, and Smarr relation for the BTZ black hole and three-dimensional Kerr-dS spacetime.","lead":"This paper uses an established method called the solution phase space method to compute the mass, angular momentum, and entropy of the BTZ black hole, a simple three-dimensional black hole. It is a detailed worked example that reproduces known results, useful mainly as a tutorial for researchers learning the method.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Integrability proof for the entropy charge contains a sign error; Eq. (E4) is incorrect and the stated check for ζ_H does not vanish, so the argument that ζ_H is integrable fails as written.","rationale":"The central computations of the paper — the BTZ charges Q∂t = m, Q∂φ = −j, QζH(±) = 4πr±, the first law δM = TδS + ΩδJ, and the Smarr relation — are correct; I reproduced them analytically, including the inner horizon signs and the KdS3 analytic continuation. The reader's weakest assumption about inner-horizon entropy being thermodynamic is reasonable but is an interpretive import supported by cited literature rather than an internal inconsistency. The most load-bearing internal defect is the sign error in Appendix E, Eq. (E4). The SPSM requires integrability to define conserved charges, and the paper's proof that ζH is integrable is invalid as written: the stated combination vanishes only after correcting the sign. Since the actual charge variation is exact (it integrates to 4πr±), the final results survive, but the pedagogical aim of a detailed, step-by-step exposition is undermined by a demonstrable algebra error in a key derivation. This warrants conditional acceptance: the paper should be accepted only after the appendix is corrected and the surrounding text is adjusted.","tokens_in":20820,"tokens_out":32702,"duration_ms":260261,"concrete_test":"Recompute Eq. (E4) with the correct signs: δ2Qξ1 − δ1Qξ2 = −(∂A/∂j + ∂B/∂m) δm δj. For A = 2π/κ, B = 2πΩ_H/κ in BTZ, evaluate ∂A/∂j and ∂B/∂m at l = 1, m = 2, j = 1 using the explicit r±(m, j). Confirm ∂A/∂j ≈ 1.27 and ∂B/∂m ≈ −1.27, so the corrected expression is zero, while the paper's ∂A/∂j − ∂B/∂m ≈ 2.54. Also verify by direct integration that δQζH = 4π δr± is exact, which independently establishes integrability despite the typo.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The derivation of the integrability condition in Appendix E has a sign error. From Eq. (E2), the condition is δ2Qξ1 − δ1Qξ2 = 0. With ξ = A∂t + B∂φ, choosing δ1 = δm and δ2 = δj, and using Q∂t = m, Q∂φ = −j, one obtains δ2Qξ1 = (∂B/∂m δm)(−δj) and δ1Qξ2 = (∂A/∂j δj)(δm). Hence δ2Qξ1 − δ1Qξ2 = −(∂A/∂j + ∂B/∂m) δm δj, not (∂A/∂j − ∂B/∂m) δm δj as printed in Eq. (E4). For the rescaled horizon vector ζH, with A = 2π/κ and B = 2πΩ_H/κ, explicit calculation using m = (r+^2 + r−^2)/l^2 and j = 2r+r−/l gives ∂A/∂j = −∂B/∂m (for example, at l = 1, m = 2, j = 1, ∂A/∂j ≈ 1.270 and ∂B/∂m ≈ −1.270). Thus the correctly signed combination vanishes and ζH is integrable, but the paper's printed combination ∂A/∂j − ∂B/∂m is nonzero. The appendix therefore does not prove what it claims. The final charges nonetheless survive because the charge variation integrates exactly to 4πr±, but a key proof step in the SPSM exposition is wrong as written.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper applies the solution phase space method (SPSM) to the rotating BTZ black hole in three-dimensional Einstein gravity. After reviewing the covariant phase space formalism and the SPSM, the author computes the surface charge densities for the Killing vectors ∂_t, ∂_φ and the rescaled horizon Killing vector ζ_H = (2π/κ) ξ_H, and obtains Q_{∂_t}=m, Q_{∂_φ}=-j, and Q_{ζ_H}(±)=4πr_±. Setting M=Q_{∂_t}, J=-Q_{∂_φ}, S(±)=Q_{ζ_H}(±) yields the standard BTZ mass, angular momentum, and entropy; the first law δM=TδS+ΩδJ and the Smarr relation M=(1/2)TS+ΩJ are then derived for both the outer and inner horizons. The same method is extended, by analytic continuation, to three-dimensional Kerr-de Sitter spacetime. The paper is explicitly pedagogical and benchmarks every charge against known BTZ thermodynamics.","tokens_in":21162,"tokens_out":11805,"duration_ms":106986,"significance":"The paper does not claim a new physical effect; its value is technical and pedagogical. Its strengths are the explicit surface-charge densities in Appendix D, the careful treatment of the integration surface and reference point, and the demonstration that the SPSM reproduces the known BTZ charges and first law, including the inner-horizon version, without taking the integration surface to the bifurcation surface. The KdS3 results provide a useful cross-check. Because the computations are shown in enough detail to be checked by hand, the paper is a potentially useful reference for readers wishing to learn the SPSM. The principal caveat is that the integrability proof in Appendix E contains a sign error, although the final charges are correct.","major_comments":[{"comment":"The integrability calculation in Eq. (E4) has a sign error. For ξ=A∂_t+B∂_φ, the SPSM charge variation is the one-form δQ_ξ=Aδm−Bδj, so closedness requires ∂A/∂j = −∂B/∂m, i.e. A_j+B_m=0. The printed expression (A_j−B_m)δmδj is therefore not the correct integrability condition. With the printed formula, the stated check for ζ_H does not vanish (for example at l=1, m=2, j=1, A_j−B_m≈2.54), whereas the correctly signed combination does vanish. The appendix thus fails as written to prove the integrability of ζ_H. This is a load-bearing step for the definition S=Q_{ζ_H}, although the final integrated charges are unaffected because δQ_{ζ_H} integrates exactly to 4πr_±.","section":"Appendix E, Eq. (E4)"},{"comment":"The KdS3 computation is presented only as an analytic continuation, and the charge variations in Eqs. (66)-(68) are asserted without showing the corresponding surface-charge densities or their integrals. Since the paper's stated goal is to give the most detailed possible derivation, this is a gap: either include the KdS3 analogs of Eqs. (46)-(48) or of the Appendix D results, or state explicitly that the continuation argument is the entire derivation.","section":"Sec. IV.D, Eqs. (66)-(68)"}],"minor_comments":[{"comment":"There are several typographical errors, including 'spactime' in the abstract, 'horzion' in Sec. IV, 'obtianed' in Sec. V, and 'dimenstions' in the Smarr-relation footnote; these should be corrected.","section":"Throughout"},{"comment":"The acronym is given as CPSF in the introduction and Sec. II.A, but 'CPSM' appears later in Sec. II.B and Sec. IV.A; the notation should be made consistent.","section":"Sec. II.A"},{"comment":"The notation in the integrability condition is under-specified: the symbols η, ξ, δ_1η and δ_2η are not precisely defined before Eq. (E4), which makes the sign error harder for a reader to detect.","section":"Appendix E, Eqs. (E1)-(E2)"},{"comment":"The thermodynamic potentials for KdS3 are assigned minus signs relative to the geometric quantities (T_H=−κ/2π, Ω_H=−Ω_+); a sentence explaining why this sign assignment is required for the first law would improve clarity.","section":"Sec. IV.D, Eqs. (75)-(76)"},{"comment":"The interpretation of Q_{ζ_H}(−)=4πr_− as the thermodynamic entropy of the inner horizon is an identification imported from Refs. [33,120]; the paper should state more explicitly that this is an assumption about inner-horizon mechanics rather than a derivation within the present computation.","section":"Sec. IV.C, Eq. (59)"}],"recommendation":"major_revision","confidential_remarks":"This is a technical/pedagogical note rather than a new physical claim. The explicit computations are useful and the final BTZ charges are correct, but the sign error in Appendix E occurs precisely in the step that establishes integrability of the entropy Killing vector. Because the error is local and the final charges survive, I recommend major revision rather than rejection; the authors should correct Eq. (E4) and either add the missing KdS3 derivation or explicitly reduce it to analytic continuation."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague, here's my read on arXiv:2411.14247. The paper is exactly what it says: a detailed, pedagogical run of the solution phase space method for the BTZ black hole (outer and inner horizons) and the KdS3 spacetime, reproducing the standard M=m, J=j, S=4πr±, first law and Smarr relation. The novelty is nil, and the author says so. The value is in the explicit computations: surface charge densities, integrability discussion, and the clean extension to KdS3 by analytic continuation. As a tutorial it is genuinely useful; I'd point a student to it to see SPSM in action.\n\nThat said, there is a real flaw in Appendix E. The integrability condition is δ2Q_{η1} − δ1Q_{η2}=0. With η=A∂t+B∂φ and Q_{∂φ}=−j, the correct expansion gives −(∂A/∂j + ∂B/∂m) δmδj, not the (∂A/∂j − ∂B/∂m) δmδj printed in Eq (E4). The paper's intermediate line also drops the minus sign before the second pair of terms. For the horizon Killing vector ζH=2π/κ ξH, the correct combination vanishes because ∂A/∂j = −∂B/∂m, so the conclusion that ζH is integrable is right. But as written, the check in the appendix does not vanish, and the proof step fails. For a paper whose raison d'être is showing every step, this is more than a typo; it is the central demonstration of integrability. It is fixable, but it needs fixing.\n\nThe other soft spots are minor. The KdS3 derivation is sketched rather than shown, and the author acknowledges that. The inner horizon assignments S(−)=4πr− and negative κ(−) rely on an imported identification from Castro-Rodriguez and a cosmic censorship reference, so they are interpretive steps rather than derivations; readers should be aware. These do not undermine the outer horizon BTZ result.\n\nThe citation pattern is fine: broad coverage, proper credit to Hajian-Sheikh-Jabbari for the method and to the earlier BTZ/KdS3 literature. No self-citation issue.\n\nThis paper is for students and researchers who want a worked SPSM example. It deserves a serious referee because it is a solid pedagogical computation and the error is correctable. My recommendation: send to peer review, and require a corrected Appendix E before acceptance.","headline":"A useful, self-contained SPSM tutorial for BTZ/KdS3 with standard results, but a sign error in the Appendix E integrability check invalidates the proof as printed even though the conclusion survives.","tokens_in":21703,"tokens_out":11916,"would_cite":false,"duration_ms":87917,"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":"The solution phase space method reproduces BTZ black hole thermodynamics exactly.","keywords":["solution phase space method","covariant phase space","BTZ black hole","conserved charges","first law of black hole thermodynamics","Smarr relation","inner horizon","Kerr-de Sitter spacetime"],"falsifier":"Deform the integration surface to a closed spacelike surface that passes through the ergosphere rather than a constant-radius circle and recompute $Q_{\\partial_t}$, $Q_{\\partial_\\phi}$, and $Q_{\\zeta_H}$; if any charge changes, the claimed surface-independence of the solution phase space method fails for the BTZ black hole.","tokens_in":20594,"feed_emoji":"🕳️","tokens_out":7774,"duration_ms":69096,"temperature":0.7,"pith_summary":"This paper sets out to show that the solution phase space method, a covariant phase space technique that evaluates conserved charges by integrating a surface charge density over any closed spacelike surface, works cleanly for the simplest rotating black hole, the BTZ solution in three dimensions. The aim is to demonstrate, step by step, that the mass and angular momentum of the BTZ black hole are the charges associated with time translation and axial rotation, while the entropy is the charge of a rescaled horizon Killing vector. The explicit results are $M=m$, $J=j$, and $S_{(\\pm)}=4\\pi r_{\\pm}$, reproducing known thermodynamics, and the same pattern extends by analytic continuation to three-dimensional Kerr-de Sitter spacetime. A sympathetic reader should care because the paper tests whether a general charge-formula framework survives contact with the simplest nontrivial case, and it supplies the detailed calculations needed to apply the method elsewhere.","feed_headline":"Solution phase space method reproduces BTZ thermodynamics exactly","feed_subtitle":"A single surface-charge formula recovers the mass, angular momentum, and entropy of both BTZ horizons.","key_machinery":"The load-bearing object is the solution phase space method: on the submanifold of solutions parametrized by the solution parameters $(m,j)$, one varies the metric by $\\hat\\delta g_{\\mu\\nu}=(\\partial g_{\\mu\\nu}/\\partial m)\\delta m+(\\partial g_{\\mu\\nu}/\\partial j)\\delta j$, builds the symplectic current of the covariant phase space formalism, and extracts a surface charge density $k_\\xi^{\\mu\\nu}$ such that integrating $k_\\xi$ over any closed compact codimension-2 surface gives the charge variation $\\delta Q_\\xi$. The central identity is the charge density (28), whose $tr$-component for the BTZ metric yields $\\delta Q_{\\partial_t}=\\delta m$, $\\delta Q_{\\partial_\\phi}=-\\delta j$, and $\\delta Q_{\\zeta_H}=2\\pi(\\delta m-\\Omega_H\\delta j)/\\kappa$; because the horizon Killing vector $\\xi_H$ itself fails the integrability condition, the method instead uses the rescaled vector $\\zeta_H=2\\pi\\xi_H/\\kappa$, which is integrable and whose charge is identified with the entropy.","core_discovery":"The paper's claim is that in the two-parameter BTZ family, the surface charges computed from the covariant phase space are $Q_{\\partial_t}=m$, $Q_{\\partial_\\phi}=-j$, and $Q_{\\zeta_H^{(\\pm)}}=4\\pi r_{\\pm}$, and that with the standard identifications $M=Q_{\\partial_t}$, $J=-Q_{\\partial_\\phi}$, $S_{(\\pm)}=Q_{\\zeta_H^{(\\pm)}}$, these satisfy the first law $\\delta M=T_{(\\pm)}\\delta S_{(\\pm)}+\\Omega_{(\\pm)}\\delta J$ and the Smarr relation $M=\\frac12 T_{(\\pm)}S_{(\\pm)}+\\Omega_{(\\pm)}J$ for both the outer and inner horizons. The inner horizon result is obtained by assigning the horizon Killing vector $\\xi_H=\\partial_t+\\Omega_{(\\pm)}\\partial_\\phi$ a rescaled partner $\\zeta_H=\\frac{2\\pi}{\\kappa}\\xi_H$ with surface gravity $\\kappa_{(\\pm)}=\\pm(r_+^2-r_-^2)/(l^2 r_\\pm)$, the negative sign for the inner horizon being justified by thermal instability and cosmic censorship considerations; this rescaling is what makes the charge integrable. The identical computation, after $l\\to il$ and $m\\to -m$, yields the mass, angular momentum, entropy $4\\pi r_+$, first law, and Smarr relation for three-dimensional Kerr-de Sitter spacetime, with temperature and angular velocity carrying opposite signs relative to their geometric definitions.","pith_inferences":["If the inner-horizon charge $S_{(-)}=4\\pi r_-$ is taken to be a genuine thermodynamic entropy, the natural next test is whether it satisfies a second-law-type inequality or a holographic counting in the same way the outer horizon entropy does; the paper does not address this.","The surface-independence of the charges suggests an immediate cross-check: computing the same integrals on a deformed surface that crosses the ergosphere would test whether the method's core promise is realized in a non-trivial geometry.","The same algorithm could be run for the charged BTZ solution to see whether the electric charge and potential slot into the first law with the same pattern; the paper lists this as a natural continuation.","If the negative surface gravity assignment is rejected, the inner-horizon results still stand as geometric identities, but they would lose their thermodynamic reading; that distinction is a decision point for future work."],"forward_implications":["For the BTZ black hole, the method assigns $M=m$, $J=j$, and $S_{(\\pm)}=4\\pi r_{\\pm}$, so it reproduces the accepted mass, angular momentum, and Bekenstein-Hawking entropy without any surface at infinity or at a bifurcation horizon.","The first law $\\delta M=T\\delta S+\\Omega\\delta J$ and the Smarr relation $M=\\frac12 TS+\\Omega J$ follow directly from the computed charges, for both the outer and inner horizons.","Because the charges are independent of the choice of integration surface, the same setup applies to three-dimensional Kerr-de Sitter spacetime by analytic continuation, giving $M=m$, $J=j$, and $S=4\\pi r_+$.","The inner horizon carries the same formal thermodynamics with a negative surface gravity, so the method yields an inner-horizon first law rather than breaking down there.","The method remains in principle available in the extremal case where no bifurcation surface exists, since the integration surface need not be a bifurcation horizon."],"supporting_citations":[{"why":"Introduces the solution phase space method and the integrability criterion that the paper applies to the BTZ black hole.","marker":"[33]"},{"why":"Establishes that black hole entropy can be defined as a Noether charge, grounding the identification of the charge of the rescaled horizon Killing vector with entropy.","marker":"[22]"},{"why":"Defines surface charges from the Noether charge and the entropy variation used to justify $\\hat\\delta S = (2\\pi/\\kappa)\\oint k_{\\xi_H}$.","marker":"[98]"},{"why":"Introduces the BTZ black hole solution whose conserved charges are the object of the paper.","marker":"[37]"},{"why":"Gives the geometry and known properties of the (2+1)-dimensional black hole that the paper's results are consistent with.","marker":"[38]"},{"why":"Supplies the framework for an inner-horizon first law, which the paper uses to interpret $S_{(-)}=4\\pi r_-$ thermodynamically.","marker":"[120]"},{"why":"Provide the three-dimensional Kerr-de Sitter spacetime and its thermodynamics, the comparison target for the extension section.","marker":"[89, 90]"},{"why":"Justifies the negative sign of the inner-horizon surface gravity, a step needed for the integrable rescaling on the inner horizon.","marker":"[109]"}],"fun_headline_variants":["One surface integral yields all BTZ charges","BTZ thermodynamics from covariant phase space","Two horizons, one charge formula: BTZ fully solved","Covariant phase space nails BTZ first law and Smarr","Phase space method also yields Kerr-dS charges"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes that the surface-charge integral for the rescaled horizon Killing vector on the inner horizon is the inner horizon's thermodynamic entropy, a step that relies on taking the inner horizon's surface gravity to be negative.","fun_headline_variants_meta":{"raw":{"variants":["One surface integral yields all BTZ charges","BTZ thermodynamics from covariant phase space","Two horizons, one charge formula: BTZ fully solved","Covariant phase space nails BTZ first law and Smarr","Phase space method also yields Kerr-dS charges"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000739,"raw_usage":{"total_tokens":3307,"prompt_tokens":960,"completion_tokens":2347,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":576,"completion_tokens_details":{"reasoning_tokens":2272}},"tokens_in":576,"tokens_out":2347,"duration_ms":16252,"temperature":1.0,"reasoning_tokens":2272,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T15:22:46.164165+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Deform the integration surface to a closed spacelike surface that passes through the ergosphere rather than a constant-radius circle and recompute $Q_{\\partial_t}$, $Q_{\\partial_\\phi}$, and $Q_{\\zeta_H}$; if any charge changes, the claimed surface-independence of the solution phase space method fails for the BTZ black hole.","supporting_citations":[],"review_version":1}