{"id":"319f67fd-7204-4afe-83bf-658458c69346","arxiv_id":"1908.11259","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"A mass formula and a Smarr-like first law for two-center BPS black holes are derived, predicting a continuous family of solutions with arbitrary intercenter distance.","lead":"This paper derives formulas that link the total mass of a two-center BPS black hole to the distance between the centers, their angular momentum, and the scalar fields at infinity. It also defines an 'effective force' between the centers that is always attractive and approaches Newton's law at large distances.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Continuous-family prediction lacks proof that Eq. (11) admits physical scalar values for all r; the mass relation is necessary but not shown sufficient.","rationale":"The reader's weakest assumption identifies the same load-bearing concern: the continuous family is inferred from the mass relation without solving the implicit scalar-moduli equation. In the specific nv=1 two-center example, the dropped λ_a terms are less problematic because q1 and q2 can span both P± eigenspaces; the deeper issue is sufficiency. The paper itself acknowledges that the mass relations 'have to be complemented by the implicit equations for the moduli at infinity,' which is an explicit admission that Eq. (14)/(18) is not a complete existence condition. The abstract nevertheless presents the formula as predicting a continuous class of solutions, which overstates the logical status of the result. This does not invalidate the derived mass formula as a necessary relation, and the toy-model numerics provide some inductive support, so rejection is not warranted. Conditional acceptance is the correct disposition: the family prediction should be accepted only after the proposed check demonstrates that Eq. (11) has physical solutions across the claimed range of r. I therefore leave the reader's CONDITIONAL verdict unchanged.","tokens_in":7661,"tokens_out":13919,"duration_ms":143567,"concrete_test":"Take the toy model of the Supplementary Material (prepotential F=-iX0X1, charges q1=(1,8,0,-1)q0 and q2=(1,8,-4,1)q0, minimal mass ratio mi=(9/16,7/16)). For a dense log-spaced grid of r from 0.01 to 100 (in units of 2 q0), solve Eq. (11) together with Eq. (18) for z_infinity = chi + i e^{-phi} and check that Re z_infinity > 0, e^{-2U}=<R|I> > 0, and the solution branch is continuous. If a physical z_infinity exists for every sampled r, the continuous-family claim is supported; if Eq. (11) fails or leaves the physical domain at some r*, then Eq. (18) is only a necessary condition and the abstract's prediction must be weakened.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim in the abstract—that Eq. (18) predicts a continuous class of BPS black holes with r in (0, infinity) and M in (infinity, M_infinity)—is an existence statement, but the paper establishes only a necessary algebraic condition. For fixed charges, J=<q1|q2> is fixed, the no-NUT condition fixes N1=-N2=J/r, and Eq. (14) fixes M(r). The scalar field at infinity z_infinity is then determined by the implicit equation (11), which contains z_infinity on both sides through P-=P-(z_infinity). The paper explicitly states that these mass relations 'have to be complemented by the implicit equations for the moduli at infinity,' and no proof is given that for every r in (0, infinity) a physical solution z_infinity exists, with admissible scalar values, positive metric factor, and positive entropy. The supplementary figure shows numerical branches for two specific charge configurations, but it does not establish the generic charge regime or a continuity argument over all r. In models with more than one vector multiplet, q1 and q2 do not span the full symplectic space, so the λ_a terms cannot be assumed to vanish; the paper does not justify Eq. (18) in that case either. The mass formula may well be correct, but the family prediction is not secured by the derivation as written.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes new ``Smarr-like'' mass formulas for multicenter BPS black holes in N=2, d=4 supergravity. Starting from the standard IWP form and the symplectic vector ansatz I = I_∞ + Σ_i q_i/|x-x_i|, the author derives from the asymptotic flatness condition ⟨S I_∞| I_∞⟩ = 1 a quadratic mass relation, Eq. (8). For the two-center case with one vector multiplet, this is specialized to Eq. (14), and for the minimal-mass configuration m_i = m_i,min to Eq. (18), which relates the ADM mass M to the intercenter distance r, the angular momentum J, and the symplectic invariants A and α. The paper then defines an effective intercenter force F = dM/dr and claims the formula predicts a continuous family of BPS black holes with r ∈ (0,∞) and M ∈ (∞, M_∞). A supplementary numerical example for two charge configurations is presented.","tokens_in":7930,"tokens_out":2955,"duration_ms":28488,"significance":"If the derivation were fully valid and the existence claim properly established, the result would be a useful local constraint on multicenter BPS black holes, complementing the known non-local Denef-Moore integrability conditions. The use of symplectically invariant quantities (A, α, det(S)) is attractive and could provide a compact diagnostic for when a two-center solution exists for a given set of charges, masses, and intercenter distance. The paper also introduces a suggestive effective-force language. However, the manuscript currently leaves the central derivation partly implicit, overstates the generality of Eq. (18), and does not prove the claimed continuous family of solutions; these gaps currently limit the paper's significance. The supplementary numerical work is a positive step but covers only two toy configurations.","major_comments":[{"comment":"The step from the asymptotic flatness condition ⟨S I_∞|I_∞⟩ = 1 to the mass relation Eq. (8) is not shown. The text merely states that writing the condition in terms of contravariant components and using −2 Im(α_i) = M_i, 2 Re(α_i) = N_i gives 1 = a M_ADM^2 + b M_ADM + c + λ_a λ̄_a. The definitions of a, b, c and the decomposition of the metric g_{i\\bar k} = (A + iS)/2 do not by themselves make the algebra transparent. Since Eqs. (14) and (18) are the paper's central claims, this intermediate derivation must be written out explicitly so that the coefficients and the λ_a term can be checked.","section":"Section 2, Eq. (8)"},{"comment":"Eq. (18) is presented in the abstract and conclusion as the two-center mass relation, but within the body it is derived only for the minimal-mass configuration m_i = m_i,min, where (M_0^2)_min = A. For generic relative masses the correct formula is Eq. (14), which contains M_0^2 = 1/(S^{-1}_{ij} m_i m_j) and therefore depends on m_i in a nontrivial way. The abstract's formula M^2 = A(1 + α J^2(1 + 2M/r + A/r^2)) is not the general two-center relation; presenting it as such overstates the result. The paper should either state explicitly that Eq. (18) holds only for the minimal-mass configuration, or extend the derivation to generic m_i.","section":"Section 3, Eq. (18)"},{"comment":"The claimed prediction of a continuous family of BPS black holes for all r ∈ (0,∞) is an existence statement, but the paper establishes only a necessary algebraic condition. The mass relation (14) or (18) is complemented, as the author notes, by the implicit scalar-moduli equations Eq. (11). The paper does not prove that for every r a physically admissible solution z_∞ exists satisfying Eq. (11) together with the mass relation, positive metric factor e^{2U}, and positive horizon entropies. The supplementary figure shows numerical branches for two specific charge configurations but does not establish the generic charge regime or provide a continuity argument over all r. Without this, the continuous-family prediction is not secured by the derivation as written.","section":"Section 3 and Eq. (11)"},{"comment":"The passage from the general mass relation Eq. (8) to the two-center formula Eq. (14) drops the λ_a λ̄_a term without justification. In the two-center one-scalar model (n̄ = 2) the symplectic space has dimension 4 and q_1, q_2 may span it, but in models with more vector multiplets the charge vectors do not span the full symplectic space, and the λ_a terms cannot be assumed to vanish. The paper claims the mass relations are valid 'in any N=2 SUGRA,' but no argument is given that Eq. (14) (and hence Eq. (18)) survives the presence of the extra basis vectors s_a. This is a load-bearing gap in the generality claim.","section":"Section 3, transition from Eq. (8) to Eq. (14)"}],"minor_comments":[{"comment":"There are numerous typos and grammatical issues: 'intercencenter' in the abstract, 'continuos' for 'continuous', 'cuadratic' for 'quadratic', 'fullfilment' for 'fulfillment', 'neccesary' for 'necessary', 'desiderable' for 'desirable', and 'simmetric' for 'symmetric'. These should be corrected.","section":"Throughout"},{"comment":"The sentence 'Eq.(8) possibly admits solutions with r_ij → ∞' is unclear: the dependence on r_ij enters through N_i via Eq. (3), but the limit is not discussed carefully, and the later statement 'at infinity we recover the familiar Newton law F ∼ 1/r^2' would benefit from a sign convention and a clearer definition of F in terms of M(r).","section":"Section 2, Eq. (8)"},{"comment":"The figure axes and legends are difficult to read, particularly the mixing of M, r_12, Re(z_∞), |dM/dr|, and |S| in the same plot with different scales. A caption clarifying which curve corresponds to which quantity and the parameter values would substantially improve reproducibility.","section":"Supplementary material, Fig. 1"},{"comment":"The notation m_i,min = ⟨S q_i|Q⟩/⟨S Q|Q⟩ is introduced without derivation; it would be helpful to show that this extremizes M_∞^2 under the constraint Σ_i m_i = 1, since this is used to obtain Eq. (18).","section":"Section 3, Eq. (16)"}],"recommendation":"major_revision","confidential_remarks":"The paper is a short draft with a promising central idea, but in its current form the main derivation is too compressed, the generality of Eq. (18) is overstated, and the existence claim for the continuous family lacks support. The author should be encouraged to supply the missing algebra for Eq. (8), justify or remove the λ_a truncation, and either prove or considerably soften the r ∈ (0,∞) existence claim. With those changes, the result could be a useful contribution to the multicenter BPS black hole literature."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Let me give you the short version: this is a neat repackaging of the asymptotic flatness condition for two-center BPS black holes into a mass formula with a Smarr-like first law, but the abstract goes beyond what the derivation supports. The key formula is probably correct as a necessary condition; the paper just doesn't prove the sufficiency or the claimed continuous family.\n\nWhat's actually new: the explicit dependence of M_ADM on r and J in Eq. (14), the minimal-mass simplification to Eq. (18), and the interpretation of dM/dr as an effective force. That packaging is useful. The derivation follows the standard symplectic expansion of [20], and the paper is honest about the need to complement the mass relation with the implicit moduli equations (Eq. 11). The numerical example in the supplement at least shows the formula works for two charge configurations.\n\nThe soft spots are real but not fatal to the core formula. First, Eq. (8) is pulled from the asymptotic flatness condition with no intermediate steps; the reader has to trust that the algebra works out. Second, the two-center reduction drops the λ_a terms without comment. For a single modulus and two centers the charge vectors do not generically span the full symplectic space, so those terms should be absent only under extra assumptions. Third, Eq. (18) is derived for the minimal mass configuration, yet the abstract quotes it as the general two-center relation. Fourth, the prediction of a continuous family of solutions for all r in (0,∞) is an existence claim. The paper shows that the quadratic mass equation has a real positive root for any r, but it does not show that the scalar moduli at infinity, fixed by Eq. (11), exist and are physical across that range. Without that, you have a necessary algebraic relation, not a family of solutions.\n\nThe stress-test note is on point: the λ_a issue and the missing existence argument are the two things that need fixing. I don't think they sink the mass formula itself—it may well be correct—but they do sink the abstract's stronger claim.\n\nWho is this for? Specialists in N=2 supergravity and multicenter black holes. A good referee could turn it into a solid paper by making the derivation explicit, handling the λ_a terms, and either proving or reframing the existence claim. I'd send it out, not desk-reject it, but with a clear expectation of heavy revision. I wouldn't cite it in my next paper until the gaps are closed.","headline":"Plausible repackaging of the two-center BPS mass relation, but the abstract's continuous-family prediction is not proven and the derivation skips key steps.","tokens_in":8452,"tokens_out":3978,"would_cite":false,"duration_ms":37558,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.70.-s","04.65.+e"],"model":"deepseek-v4-flash","headline":"A new mass formula for two-center BPS black holes relates their ADM mass to the intercenter distance and angular momentum, and yields an always-attractive effective force between the centers.","keywords":["BPS black holes","multicenter solutions","ADM mass formula","N=2 supergravity","Smarr relation","symplectic invariants","intercenter distance","special geometry"],"falsifier":"Solve the implicit scalar equation of Eq. (11) together with Eq. (14) for the paper's toy-model charge pairs across $r\\in(0,\\infty)$; any interval of $r$ with no physically admissible scalar value would falsify the claimed continuum.","tokens_in":7424,"feed_emoji":"🕳️","tokens_out":10339,"duration_ms":88703,"temperature":0.7,"pith_summary":"This paper derives mass formulas for two-center BPS black holes in $N=2$, $d=4$ supergravity, aiming to replace non-local existence criteria for multicenter solutions with local relations among macroscopic quantities. The central result is a quadratic relation between the ADM mass $M$, intercenter distance $r$, angular momentum $J$, charges, and moduli at infinity; in the minimal-mass configuration it reads $M^2 = A(1+\\alpha J^2(1+2M/r + A/r^2))$, with $A$ and $\\alpha$ symplectic invariants. The relation yields a Smarr-like differential $dM = \\Omega\\,dJ + \\Phi_i\\,dq_i + F\\,dr$, where $F$ is an effective intercenter force that is always attractive. The author argues that fixed charges therefore admit a continuous family of BPS configurations at every separation, with masses running from infinity down to a finite limiting mass.","feed_headline":"Mass formula: two-center BPS black holes exist at any separation","feed_subtitle":"ADM mass depends on separation and spin through symplectic invariants; the intercenter force is always attractive.","key_machinery":"The load-bearing object is the symplectic vector $I_\\infty$, the asymptotic value of the harmonic symplectic vector whose inner products with the charge vectors fix the scalar moduli at infinity. Expanding $I_\\infty$ in a basis built from the charge vectors $q_1,q_2$ and eigenvectors of the stabilization matrix $S$, the contravariant components are identified with the partial masses $M_1,M_2$ and NUT charges $N_1,N_2$. The asymptotic flatness condition $\\langle S I_\\infty|I_\\infty\\rangle=1$ then becomes a quadratic equation in the ADM mass. The integrability condition for the rotation 1-form $\\omega$ fixes the NUT charge difference as $N_1=-N_2=J/r$, and this is what puts the intercenter distance $r$ and the angular momentum $J$ into the mass relation.","core_discovery":"The paper's central claim is that the asymptotic flatness condition of a two-center BPS solution, expressed as $\\langle S I_\\infty | I_\\infty\\rangle = 1$ in the symplectic formalism, reduces to a quadratic mass formula once the vector $I_\\infty$ is expanded in a basis adapted to the two charge vectors. For the mass configuration that minimizes $M_\\infty$, the formula takes the form $M^2 = A(1+\\alpha J^2(1+2M/r + A/r^2))$, where $A = \\langle S Q | Q\\rangle$ and $\\alpha = 1/|\\det S|$, with $Q=q_1+q_2$. Under the conditions $A>0$ and $\\det S<0$, this equation has a unique positive root $M(r)$ for every $r>0$, interpolating from $M\\to\\infty$ as $r\\to 0$ to $M\\to M_\\infty$ as $r\\to\\infty$. The paper further derives the Smarr-like differential $dM = \\Omega\\,dJ + \\Phi_i\\,dq_i + F\\,dr$, in which $F=\\partial M/\\partial r$ is always negative and behaves as $-1/r^2$ at large separation.","pith_inferences":["A direct test of the paper's claim would be to solve Eq. (11) numerically for the toy-model charge pairs and check monotonic variation of $z_\\infty$ with $r$; the paper's figures suggest such variation but do not establish it over the full interval.","If the continuous family exists, it would mean two-center BPS states have a continuous mass spectrum bounded below by $M_\\infty$, akin to marginal bound states in which the intercenter force never vanishes at finite separation.","The structural similarity between this formula and the extremal Kerr-Newman relation $M^2=Q^2+J^2/M^2$ suggests looking for an analogous $r$-dependent Smarr law for non-BPS or near-extremal multi-center systems."],"forward_implications":["For fixed charges with $A>0$ and $\\det S<0$, the mass formula has a unique positive solution for every $r>0$, so two-center BPS configurations form a continuous one-parameter family rather than isolated solution points.","The effective force $F=\\partial M/\\partial r$ is negative at all distances, recovering the Newtonian $F\\sim -1/r^2$ falloff at infinity and a $f_0+f_1/r^2$ form at short distances.","The Smarr-like differential $dM=\\Omega\\,dJ+\\Phi_i\\,dq_i+F\\,dr$ provides an effective angular velocity and electromagnetic potentials alongside a force term depending on the separation.","The same expansion method extends to models with more scalars and more centers, giving analogous mass relations with additional symplectic-invariant coefficients.","At the minimal-mass relative configuration, the mass at infinite separation has an explicit value, giving a finite lower bound $M_\\infty$ for the continuous family."],"supporting_citations":[{"why":"States the non-local integrability and scalar-positivity conditions for multicenter BPS solutions that the new local mass formula aims to complement.","marker":"[15]"},{"why":"Provides the systematic construction of N=2 multicenter BPS solutions and the toy model prepotential used in the example.","marker":"[18]"},{"why":"Supplies the symplectic basis, projectors, and contravariant-component formalism through which the asymptotic flatness condition becomes the mass relation.","marker":"[20]"},{"why":"Gives the one-center extremal mass formula $M^2+G^{ab}\\Sigma_a\\Sigma_b-V_{bh}=0$ that the two-center relation extends.","marker":"[11]"},{"why":"Provides one-center extremal mass relations whose Smarr-like differential structure motivates the two-center first law.","marker":"[22]"}],"fun_headline_variants":["BPS black hole pairs: any separation, always attractive","Two-center BPS black holes form a continuous family","New mass formula: BPS pairs span all separations","Smarr formula for BPS pairs: force is always attractive","BPS black holes: mass tied to separation and spin"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The prediction of a continuous family of two-center BPS black holes assumes that the scalar-moduli equations can be solved together with the mass formula at every separation; the paper solves the mass formula but does not show that physically admissible scalar values exist across the entire range.","fun_headline_variants_meta":{"raw":{"variants":["BPS black hole pairs: any separation, always attractive","Two-center BPS black holes form a continuous family","New mass formula: BPS pairs span all separations","Smarr formula for BPS pairs: force is always attractive","BPS black holes: mass tied to separation and spin"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000829,"raw_usage":{"total_tokens":3698,"prompt_tokens":1097,"completion_tokens":2601,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":713,"completion_tokens_details":{"reasoning_tokens":2520}},"tokens_in":713,"tokens_out":2601,"duration_ms":19187,"temperature":1.0,"reasoning_tokens":2520,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T10:21:06.964150+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve the implicit scalar equation of Eq. (11) together with Eq. (14) for the paper's toy-model charge pairs across $r\\in(0,\\infty)$; any interval of $r$ with no physically admissible scalar value would falsify the claimed continuum.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the systematic construction of N=2 multicenter BPS solutions and the toy model prepotential used in the example."},{"cited_title":"Bates and F","cited_arxiv_id":null,"evidence_quote":"Supplies the symplectic basis, projectors, and contravariant-component formalism through which the asymptotic flatness condition becomes the mass relation."},{"cited_title":"Supersymmetry, attractors and cosmic censorship","cited_arxiv_id":"hep-th/0606201","evidence_quote":"Provides one-center extremal mass relations whose Smarr-like differential structure motivates the two-center first law."}],"review_version":1}