{"id":"9966094e-bf0a-4991-9a8e-106b1e5afa52","arxiv_id":"1908.06011","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Using a new cot(theta/2) potential, the authors show that antipodal configurations on the sphere arise as limits of isosceles relative equilibria and satisfy a regularized equation of motion.","lead":"This paper studies the two-body problem on a sphere with a modified potential that stays finite at antipodal points. It shows that the limiting orbit with two antipodal particles, moving along the equator, can be called a conjugated equilibrium of a regularized version of the equations.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Regularized system (27) is degenerate at antipodal configurations: both sides vanish identically whenever R^2 + \\bar w_2 w_1 = 0, so any antipodal trajectory formally satisfies it. The 'conjugated equilibrium solution' is therefore not a meaningful dynamical object.","rationale":"The elementary convergence of w(t) = (\\alpha e^{2it}, -\\alpha e^{2it}) to z(t) as \\alpha \\to R is not in dispute; the paper correctly notes that z(t) is a geodesic circle and that it is not a solution of the unregularized system (9). The problem is the step that defines the limit as a 'conjugated equilibrium solution.' The proof of Theorem 3 consists of substituting z into (27), but (27) has been constructed so that every antipodal configuration makes both sides zero. The reader's conditional verdict identified the regularization as ad hoc; my check sharpens this to a degeneracy: even a fully accepted (27) imposes no dynamics on exactly antipodal configurations. Therefore the central claim, as stated, is not merely under-justified but vacuous. A meaningful continuation would need to fix the limiting phase of (R^2+\\bar w_2 w_1)/|R^2+\\bar w_2 w_1| along the isosceles family (here +1) and would produce a nonzero right-hand side at the antipodal point, rather than erasing the equation. Because this requires redefining the central object and supplying a nondegenerate regularization, I would move the reader's conditional verdict to reject for the current version.","tokens_in":7490,"tokens_out":17873,"duration_ms":160522,"concrete_test":"Substitute a generic antipodal trajectory into (27), for example w_1(t)=r e^{i f(t)} with constant r>0 and w_2(t)=-R^2/\\bar w_1(t), choosing f(t)=t^3. At every time R^2+\\bar w_2 w_1=0, so each equation of (27) becomes 0=0 term by term, although the geodesic bracket is nonzero for this f. If this substitution satisfies (27) while failing to be a geodesic or a relative equilibrium, the regularized system does not characterize the claimed 'conjugated equilibrium solution'.","verdict_should_be":"REJECT","load_bearing_attack":"Equation (27) is formed from (9) by multiplying each side by |R^2+\\bar w_2 w_1| and dividing by (R^2+|w_k|^2)^2. Whenever the two particles are antipodal, R^2+\\bar w_2 w_1 = 0 and the left-hand side has the factor |R^2+\\bar w_2 w_1| = 0 while the right-hand side has the factor R^2+\\bar w_2 w_1 = 0. Thus every differentiable antipodal curve w(t), with w_2(t) = -R^2/\\bar w_1(t), satisfies (27) identically, independently of the velocities, accelerations, or whether the motion is geodesic. The specific substitution z(t) = (R e^{2it}, -R e^{2it}) in Theorem 3 is therefore an identity, not a verification of an equilibrium condition. The regularized system imposes no equation of motion at antipodal points, so Definition 1 does not define a meaningful class of solutions. This is a stronger objection than calling the regularization ad hoc: even granting (27), the central object is vacuous. The additional factor inconsistencies among (13), (14), and (15) are secondary; the degeneracy of (27) alone undercuts the main claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This manuscript studies the two-body problem on the conformal sphere M_R^2 with a cotangent potential U_R = m_j m_k |R^2 + w_j \\bar w_k|/(R^2 |w_j - w_k|). The authors derive equations of motion (9), characterize elliptic relative equilibria for the two-body equal-mass case, and then take the limit alpha to R of the isosceles family w(t) = (alpha e^{2it}, -alpha e^{2it}). The limit z(t) = (R e^{2it}, -R e^{2it}) places the two particles at antipodal points on the geodesic circle |w| = R. The paper defines this as a \"conjugated equilibrium solution\" by verifying the regularized system (27), obtained by multiplying (9) by |R^2 + \\bar w_2 w_1|.","tokens_in":7841,"tokens_out":11753,"duration_ms":98426,"significance":"The proposed potential is attractive in that it is finite at antipodal configurations and reduces to the Newtonian potential as R tends to infinity, and the explicit limit computations in equations (23)-(25) are clear. However, the central construction is not sound as presented: the regularized system (27) is identically satisfied by every antipodal curve, so the main object introduced in Definition 1 is not a meaningful dynamical solution. The paper also contains algebraic inconsistencies in the relative-equilibrium equations. If the concept were redefined with a genuine, nondegenerate regularization, the result might be interesting, but the manuscript in its current form does not establish the existence or meaning of conjugated equilibrium solutions.","major_comments":[{"comment":"The regularized system (27) is degenerate at antipodal configurations. Whenever R^2 + \\bar w_2 w_1 = 0, the left-hand side of the first equation contains the factor |R^2 + \\bar w_2 w_1| = 0 and the right-hand side contains the factor R^2 + \\bar w_2 w_1 = 0, so the equation reduces to 0 = 0; the second equation behaves identically. Hence every differentiable curve w(t) with w_2(t) = -R^2 / \\bar w_1(t) satisfies (27), independently of its velocities or accelerations. The substitution z(t) = (R e^{2it}, -R e^{2it}) in Theorem 3 is therefore only a check of the identity 0 = 0, not a verification of an equilibrium condition. Because Definition 1 defines the conjugated equilibrium solution as a solution of this degenerate system, the central object of the paper is vacuous; the paper itself states that z(t) is not a solution of the original system (9).","section":"5, Theorem 3 and Eqs. (23)-(25)"},{"comment":"The limit argument does not establish an equilibrium. The potential (23) tends to zero along the limiting curve, and equation (8) shows that the force contains the quotient (R^2 + \\bar w_j w_k) / |R^2 + \\bar w_j w_k|, which has no well-defined value at the antipodal configuration. Invariance under the Killing vector field \\dot w = 2 i w and the geodesic character of |w| = R are not sufficient conditions for a relative equilibrium of the two-body problem; one still needs a force balance. Since z(t) is not a solution of (9), the claim that the limit \"behaves as a relative equilibrium\" is unsupported.","section":"5, Theorem 3 and Eqs. (23)-(25)"},{"comment":"The algebraic derivation of the relative-equilibrium equations contains inconsistencies. Substituting \\dot w_k = 2 i w_k into (9) yields 4 w_k (|w_k|^2 - R^2) / (R^2 + |w_k|^2) on the left, which after rearrangement gives 16 R^6 (|w_k|^2 - R^2) w_k / (R^2 + |w_k|^2)^3 and a single factor (R^2 + |w_j|^2) on the right; equations (11) and (14) instead display (R^2 + |w_k|^2)^4 in the denominator and (|w_j|^2 + R^2)^2 in the numerator of the summand. Equation (13) also has the opposite sign (R^2 - |w_{k,0}|^2). The proof of Corollary 2 claims that (14) follows from (13) by multiplication by e^{2it}, but such a multiplication cannot alter powers of the moduli. These discrepancies make the derivation of Theorem 2 unreliable as written, even if the classification itself is quoted from the literature.","section":"3-4, Eqs. (11)-(15)"}],"minor_comments":[{"comment":"The statement that potential (6) \"avoids the antipodal points as singularities\" is misleading in view of (8), where |R^2 + \\bar w_j w_k| appears in the denominator; the quotient (R^2 + \\bar w_j w_k) / |R^2 + \\bar w_j w_k| is undefined when the particles are antipodal.","section":"2.1 and Eq. (8)"},{"comment":"The velocity sign is inconsistent with the parametrization. For z_k(t) = R e^{2it} or z_k(t) = -R e^{2it}, the derivative is 2 i z_k(t), not -2 i z_k(t) as stated in both results.","section":"5, Theorem 3 and Corollary 3"},{"comment":"There are numerous typographical errors (e.g., \"W e\", \"substituing\", \"hypotesis\", \"a solution for that real equation\") and inconsistent notation, including the missing exponent in (16) where \"|β|2\" appears instead of \"|β|^2\".","section":"Throughout"}],"recommendation":"reject","confidential_remarks":"The referee report above states the main technical problem: equation (27) does not define a regularization, and the \"conjugated equilibrium solution\" is therefore an empty concept. The factor inconsistencies in Sections 3 and 4 add to the unreliability of the derivation. I see no local fix that would preserve the paper's central claim; the concept would need to be rebuilt with a well-posed equation at antipodal points and a physical or mathematical justification of the chosen regularization."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nYou asked about arXiv:1908.06011. The short version: the new cot(θ/2) potential is a useful modification that removes antipodal singularities, but the paper's central object, the 'conjugated equilibrium solution,' is built on a regularized system that degenerates at antipodal points, so the main claim is vacuous.\n\nWhat is genuinely good: the potential (6) is a natural variant that avoids the antipodal singularity while retaining the Newtonian limit as R→∞. The derivation of (6) from the trigonometric identity is clean, and the limit computation of the isosceles family to the equatorial geodesic is correct. The observation that the potential vanishes along that geodesic is also correct.\n\nThe soft spot is load-bearing. System (27) is obtained by multiplying both sides of (9) by the vanishing factor |R²+\\bar w₂ w₁| and dividing by (R²+|w_k|²)². At the antipodal configuration R²+\\bar w₂ w₁=0, the left-hand side has |R²+\\bar w₂ w₁|=0 and the right-hand side has the factor R²+\\bar w₂ w₁=0. So every differentiable antipodal curve w(t) with w₂(t)=−R²/\\bar w₁(t) satisfies (27) identically, independent of velocities or accelerations. The substitution z(t)=(R e^{2it}, −R e^{2it}) in Theorem 3 is therefore an identity, not a verification. The authors themselves say z(t) is not a solution of (9); but calling it a solution of a system that imposes no equation of motion at antipodal points is tautological. Definition 1 thus defines nothing.\n\nThere are also minor algebraic snags: equations (13), (14), and (15) disagree in powers of R and |w|; the gradient (8) looks like it has a miscalculation; and the notation in (16) mixes |β|² and |β|². These are probably typos, but they make the verification hard to trust and should be fixed in any revision.\n\nNet: the potential modification deserves a mention in future work on curved n-body potentials, but the 'conjugated equilibrium solution' does not exist as a dynamical object. The paper is not coherent on its own terms; the central proof is an identity. A serious editor would desk reject this. If you want a cautionary example of degenerate regularizations, it is worth a reading-group slot, but I would not cite it and would not send it to a referee.","headline":"The new cot(θ/2) potential is a useful tweak, but the 'conjugated equilibrium solution' is built on a degenerate regularization and the main claim is vacuous.","tokens_in":8287,"tokens_out":3510,"would_cite":false,"duration_ms":30329,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["70F15","53Z05"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper claims that on a sphere, two equal masses at antipodal points can move on the geodesic circle as a limiting relative equilibrium, provided the equations are regularized at antipodal singularities.","keywords":["two-dimensional conformal sphere","two-body problem","relative equilibria","conjugated points","antipodal points","regularized equations","isosceles equilibria","stereographic projection"],"falsifier":"Substitute $w_1(t)=\\alpha e^{2it}$, $w_2(t)=-\\alpha e^{2it}$ into the original system (9) and let $\\alpha\\to R$: the left-hand side of each equation tends to $0$, while the right-hand side tends to a nonzero vector of magnitude $m/(2R^2)$, so the limiting orbit does not satisfy (9). To test the regularized claim, note that at any antipodal pair $R^2+\\bar w_2 w_1=0$, making both sides of (27) vanish identically; hence (27) is satisfied by every differentiable antipodal trajectory, and the specific circular motion is selected by the Killing-invariance and geodesic requirements, not by the equations themselves.","tokens_in":7267,"feed_emoji":"🌐","tokens_out":16949,"duration_ms":155996,"temperature":0.7,"pith_summary":"The paper studies the equal-mass two-body problem on a two-dimensional sphere and claims that antipodal (conjugated) points, traditionally singular for the standard cotangent potential, become accessible as limits of isosceles relative equilibria. The central move is to replace the usual potential, which blows up at antipodal points, with a modified potential that vanishes there and only keeps binary collisions as singularities. Starting from the isosceles equilibria $w_1(t)=\\alpha e^{2it}$, $w_2(t)=-\\alpha e^{2it}$, the paper lets $\\alpha$ approach the sphere radius $R$. The limit is a pair of antipodal particles moving on the geodesic circle $|w|=R$ with velocity $-2iw$, which the paper names a conjugated equilibrium solution and shows satisfies a regularized version of the equations of motion, though not the original system. If the regularization is accepted, the result extends the known relative-equilibrium classification to the antipodal boundary while still recovering the Newtonian potential in the flat limit $R\\to\\infty$.","feed_headline":"Antipodal pairs form a new limiting equilibrium on a sphere","feed_subtitle":"On a sphere, equal masses at opposite points can orbit the equator as a limiting equilibrium","key_machinery":"The load-bearing object is the modified potential $U_R^{kj}=\\frac{m_jm_k|R^2+w_k\\bar w_j|}{R^2|w_k-w_j|}$, which uses $\\cot(\\theta/2)$ rather than $\\cot\\theta$: at antipodal points the factor $R^2+\\bar w_j w_k$ vanishes instead of producing a singularity, so only binary collisions remain singular. The second mechanism is the regularized system (27), which clears the antipodal singularity by multiplying the equations of motion (9) by the vanishing factor $|R^2+\\bar w_j w_k|$; it is in this regularized system that the limiting antipodal orbit is a solution. These two choices, the potential and the regularization, carry the entire argument, together with the isosceles family of relative equilibria that provides the limit.","core_discovery":"On the paper's own terms, the central discovery is Theorem 3: for equal masses moving under the modified potential $U_R^{kj}=\\frac{m_jm_k|R^2+w_k\\bar w_j|}{R^2|w_k-w_j|}$, the isosceles relative equilibria $w(t)=(\\alpha e^{2it}, -\\alpha e^{2it})$ converge as $\\alpha\\to R$ to $z(t)=(R e^{2it}, -R e^{2it})$. This limiting configuration consists of two antipodal particles on the equator, both moving with velocity $-2iz_k$; the potential vanishes identically along it, the curve is a geodesic of $\\mathbb{M}^2_R$, and the motion is invariant under the Killing vector field $\\dot z=2iz$. The configuration is a solution of the regularized system (27), obtained by multiplying the original equations (9) by the vanishing factor $|R^2+\\bar w_j w_k|$, and it is not a solution of the original system (9). The paper defines this limiting object as a conjugated equilibrium solution.","pith_inferences":["The paper does not point out that, because both sides of (27) vanish identically on any antipodal pair, the regularized equations alone do not determine the orbital motion; the 'equilibrium' status of the circular solution is really carried by the Killing invariance and the geodesic condition, not by a force balance.","The same regularization trick could be applied to other curved $n$-body potentials, so 'conjugated equilibrium' is tied to the choice of the vanishing factor, not to an invariant feature of the original dynamics.","A testable extension would be to check whether the limit survives for unequal masses or for $n>2$ equal masses: the algebraic system (26) would need new solutions, and any such antipodal configuration would again need to be tested against the original, unregularized equations."],"forward_implications":["With the modified potential, antipodal points are no longer singularities of the potential, so two equal masses can be placed exactly opposite each other and the equations acquire a well-defined limiting form there.","The isosceles relative equilibria have an explicit boundary case: as $\\alpha\\to R$, the motion becomes a pair of antipodal particles on the geodesic circle $|w|=R$, invariant under the Killing field $\\dot z=2iz$.","The right-angled relative equilibria have a separate limit in which one particle sits at the origin and the other moves on the equator with velocity $-2iw$, as stated in Corollary 3.","Both the original and the modified potentials reduce to the Newtonian potential as $R\\to\\infty$, so the flat two-body problem is recovered from the sphere in the large-radius limit.","The conjugated equilibrium is a solution only of the regularized system (27), so the notion of relative equilibrium is extended to antipodal configurations in a regularized sense."],"supporting_citations":[{"why":"Establishes the two-body problem on the sphere and the relative-equilibria classification that Section 4 uses as its starting point.","marker":"[2]"},{"why":"Supplies the reduction theory and the two-type classification (isosceles and right-angled) invoked in Theorem 2.","marker":"[3]"},{"why":"Co-source for the relative-equilibria classification and for the Möbius-type solution methods used in the proof.","marker":"[9]"},{"why":"Provides the cotangent potential, the equations of motion in the conformal sphere, and the antecedent right-angled limit that the antipodal construction extends.","marker":"[10]"}],"fun_headline_variants":["Antipodal pair yields a limiting geodesic equilibrium","Equal masses reach antipodal limiting equilibrium on sphere","Conjugated equilibrium emerges from antipodal isosceles orbits","Sphere's antipodal geodesic becomes a limiting relative equilibrium"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument rests on treating the regularized system (27), obtained by multiplying the original equations by the vanishing factor $|R^2+\\bar w_j w_k|$, as the correct continuation of the dynamics through antipodal points; without that choice the limiting orbit is not a solution of the original system, and the paper supplies no independent justification for preferring this particular regularization.","fun_headline_variants_meta":{"raw":{"variants":["Antipodal pair yields a limiting geodesic equilibrium","Equal masses reach antipodal limiting equilibrium on sphere","Conjugated equilibrium emerges from antipodal isosceles orbits","Sphere's antipodal geodesic becomes a limiting relative equilibrium"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000174,"raw_usage":{"total_tokens":1248,"prompt_tokens":877,"completion_tokens":371,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":493,"completion_tokens_details":{"reasoning_tokens":308}},"tokens_in":493,"tokens_out":371,"duration_ms":4597,"temperature":1.0,"reasoning_tokens":308,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:18:17.646277+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Substitute $w_1(t)=\\alpha e^{2it}$, $w_2(t)=-\\alpha e^{2it}$ into the original system (9) and let $\\alpha\\to R$: the left-hand side of each equation tends to $0$, while the right-hand side tends to a nonzero vector of magnitude $m/(2R^2)$, so the limiting orbit does not satisfy (9). To test the regularized claim, note that at any antipodal pair $R^2+\\bar w_2 w_1=0$, making both sides of (27) vanish identically; hence (27) is satisfied by every differentiable antipodal trajectory, and the specific circular motion is selected by the Killing-invariance and geodesic requirements, not by the equations themselves.","supporting_citations":[{"cited_title":"Two-Body Problem on a Sphere","cited_arxiv_id":null,"evidence_quote":"Establishes the two-body problem on the sphere and the relative-equilibria classification that Section 4 uses as its starting point."},{"cited_title":"Reduction and relative equilibria for the two-Body on spaces of constant curvature","cited_arxiv_id":null,"evidence_quote":"Supplies the reduction theory and the two-type classification (isosceles and right-angled) invoked in Theorem 2."},{"cited_title":"On certain M\\\"obius type solutions for the n-body problem in a positive space form","cited_arxiv_id":"1508.03209","evidence_quote":"Co-source for the relative-equilibria classification and for the Möbius-type solution methods used in the proof."},{"cited_title":"The positive curvature case","cited_arxiv_id":null,"evidence_quote":"Provides the cotangent potential, the equations of motion in the conformal sphere, and the antecedent right-angled limit that the antipodal construction extends."}],"review_version":1}