{"id":"aa8ef1bb-d466-41b4-928e-bdf4bc7158cc","arxiv_id":"1908.09129","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":2.0,"correctness_risk":"high","formal_verification":"none","parameter_count":1,"one_line_summary":"Only homothetic motion is possible for four masses fixed at the vertices of a regular tetrahedron; no rotating, shape-preserving solution exists, but the proof offered here is incomplete.","lead":"Four masses that remain at the corners of a regular tetrahedron can only move by uniformly shrinking or growing; a rotating, shape-preserving orbit is impossible, according to this paper's proof attempt. The paper aims to re-derive a classical 1941 result, but its decisive step is an unreported numerical calculation, so the proof is not verifiable.","discovery_kind":"replication","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The decisive numerical elimination of the non-homothetic branch (Section 5, after Eq. 26) is unreported; the central contradiction is asserted, not demonstrated.","rationale":"The reader's REJECT is appropriate; I find the same hinge. The paper's central claim is that only homothetic regular-tetrahedral configurations exist, but the only step excluding non-homothetic solutions is an unreported numerical calculation. Section 5 states that 'even a single numerical result proves or disproves the validity of (19)', so the computation is not peripheral: it is the entire elimination of the non-homothetic branch. Without the data, algorithm, or code, the presented derivation does not establish the theorem, regardless of whether Wintner's theorem is true. The manuscript also lacks machine-checked proof or shipped code, so there is no independent support for the numerical assertion. The proposed test independently re-runs the calculation from the equations in the text; if it finds a real solution, the conclusion collapses; if it finds none for many R_i choices, the numerical claim is supported. My recommendation is unchanged: REJECT.","tokens_in":8633,"tokens_out":6136,"duration_ms":60478,"concrete_test":"Independently implement the numerical check described after Eq. (26). Fix a regular tetrahedron r_i (e.g., vertices of a regular tetrahedron centered at the origin), choose arbitrary R_i with |R_i|=|r_i| and R_i·r_i=0, compute A_ij, B_ij, C_ij, D_ij via (24), and solve (23) for all six pairs i<j as a trigonometric polynomial system in θ1,...,θ4. Verify whether any solution exists with all |cos θ_i|≤1 and |sin θ_i|≤1; repeat for several independent choices of R_i and report residuals. If no real solution is found, the numerical claim is verified; if any choice admits one, the non-homothetic branch is not excluded and the proof collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof's decisive step is the sentence after Eq. (26): 'numerical calculation proved that minimun at one of cos θi and sin θi had to exceeded 1, which implies θi involve complex values.' This unreported computation is the only argument that rejects (19), the non-homothetic branch, and thereby forces (20). No input vectors R_i, no coefficients A_ij, B_ij, C_ij, D_ij, no algorithm, no code, and no output are given. A reader cannot verify that the trigonometric system (23) has no real solution, cannot check whether all six pair constraints were enforced (the text lists only four in (21), omitting pairs (1,3) and (2,4)), and cannot assess whether the boundedness of cos θ_i and sin θ_i was applied correctly. Moreover, the text says 'taking an arbitrary pair of vectors R_i' and 'even a single numerical result proves or disproves the validity of (19)'; a single arbitrary failure is not enough unless independence from the choice of R_i is shown. Since all preceding steps only set up this numerical elimination, the central claim is unsupported unless the calculation is reproducible and exhaustive.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper aims to prove that, for the four-body problem constrained to a regular tetrahedral configuration, the only homographic solution is the homothetic one. The author extends a relative-vector method of Broucke and Lass, derives a central-force equation for each mass, and then argues by contradiction that a non-homothetic homographic solution would require the real solvability of a trigonometric system (Eq. (23)). The paper claims that an unreported numerical calculation shows this system has no real solutions, forcing the homothetic branch. The conclusion agrees with the known result of Wintner (1941), article 371.","tokens_in":8875,"tokens_out":9412,"duration_ms":91430,"significance":"If the proof were complete, the paper would offer an elementary, self-contained derivation of a known result in celestial mechanics. It uses an interesting construction with relative vectors and a trigonometrization of the non-homothetic branch. However, the argument's decisive step is an unreported numerical calculation, and several analytical steps are either unjustified or stated with insufficient rigor. The manuscript in its current form does not provide a verifiable proof of the central claim.","major_comments":[{"comment":"The decisive rejection of the non-homothetic branch rests entirely on an unreported numerical calculation. The text states that 'numerical calculation proved that minimun at one of cos θi and sin θi had to exceeded 1', but it gives no input data for the vectors R_i, no coefficients A_ij, B_ij, C_ij, D_ij, no algorithm, no output, and no discussion of the numerical method. A reader cannot verify the claim or assess whether the constraints (21) were enforced completely. Furthermore, the statement 'even a single numerical result proves or disproves the validity of (19)' is logically incorrect: Eq. (19) is an existence assertion, and a single failed choice of R_i does not rule out other choices. This missing calculation is load-bearing for the main conclusion, since all preceding steps only set up the system that this calculation is supposed to eliminate.","section":"Section 5, after Eq. (26)"},{"comment":"The derivation of the central-force equation (12) assumes that the rotation operators in (9) are time-independent ('Since they are independent from time t, the following relation ... are induced after differentiating (10) twice'). However, the paper explicitly considers tetrahedra that 'varies its size and orientation in three-dimensional space'. For a rotating configuration, the relative vectors S_n are related to S_1 by rotations that are not constant in the inertial frame, so the differentiation leading to (11) is unjustified. The final result (12) can be obtained directly from the equal-instantaneous-edge-length and center-of-mass conditions, but the proof as written has a logical gap at this point.","section":"Section 4, Eqs. (9)-(11)"},{"comment":"The step from Eq. (18) to the dichotomy (19)/(20) is not justified as stated. The text says 'Trivially, the summation where cosine is multiplied becomes zero', but this is only true if all r_i(t) scale by the same time-dependent factor, i.e., if the configuration remains similar to the initial one. That condition is not established before the dichotomy is drawn. The later remark that the ratios of distances are conserved and the directions of r_i(t) are solid is stated after the reduction, so the logical ordering is unclear. This step is central to separating the homothetic and non-homothetic branches.","section":"Section 5, Eq. (18)"},{"comment":"There are several technical errors in the geometric setup. In Eq. (2), the fifth line repeats 'S_4' instead of defining S_3, and the loop relations in Eq. (3) are incorrect: for the given definitions, S1+S4+S5 = 2(x4-x1) ≠ 0 and S5+S2-S6 = 2(x4-x2) ≠ 0. In Eq. (9), the operator for S6 has vector-part norm sqrt(2/3+7/3)=sqrt(3), not 1, so it is not a rotation operator, and the coefficients for S4 and S5 similarly appear inconsistent with unit quaternion norms. These errors undermine the reliability of the subsequent algebra in Section 4.","section":"Section 3, Eqs. (2), (3), and (9)"}],"minor_comments":[{"comment":"The notation '×' is used ambiguously for both quaternion multiplication and vector cross product, and it is never defined rigorously; this makes Eqs. (9), (16), and (22) difficult to interpret.","section":"General"},{"comment":"The reference list contains incomplete entries (e.g., 'Montgomery, R., A new solution to the three-body problem, differential equations 1001'), and the text refers to Wintner (1941) in places but the reference list cites Wintner (1947).","section":"References"},{"comment":"The formula for x_i(t) in Eq. (25) appears dimensionally inconsistent: the factor ||r_i(t)|| / ||r_i|| multiplies a vector, but the numerator and denominator are lengths, so the expression is a scalar times [r_i cos θ + r_i' sin θ]; the intended meaning should be clarified.","section":"Section 5, Eq. (25)"}],"recommendation":"reject","confidential_remarks":"The manuscript is a preprint that appears to be an early-stage work. The central claim is a known result in the literature, but the proof is not verifiable because the key numerical step is omitted. The analytical derivations contain multiple errors, and the paper does not meet the standard of a refereed journal publication. The result might be salvageable if the numerical calculation were documented and the analytical gaps were fixed, but that would require substantial new work."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nYou can skip this one. The paper's first half is a reasonable self-contained derivation that under a regular tetrahedral constraint the four-body equations reduce to a central-force problem for each mass. That part is fine, though standard. The second half aims to prove Wintner's 1941 result that no non-homothetic homographic solution exists for this configuration, and there the argument falls apart.\n\nThe decisive problem is the numerical calculation after Eq. (26). The author says it 'proved that minimun at one of cos θi and sin θi had to exceeded 1', but no data, algorithm, code, or even the chosen vectors R_i are given. The test is asserted, not demonstrated. Worse, the claim that 'even a single numerical result proves or disproves the validity of (19)' is false unless the result is independent of the arbitrary choice of R_i; with an arbitrary pair, one counterexample only shows that that particular choice fails. The stress-test note is right: the central contradiction is assumed.\n\nThere are also logical gaps before that. From Eq. (18) they split into (19) and (20) as if the two summed terms in (18) must each vanish or sinθ=0. That does not follow: the sum of two time-dependent vector terms being zero does not imply each term is zero unless the terms are shown to be linearly independent over time. They do not show that. And they only enforce four of the six pair constraints in (21) without arguing why the other two are redundant.\n\nI would also flag a conceptual slip: they equate 'non-homothetic homographic' with 'non-planar'. Wintner's dichotomy is between homothetic and planar; the latter includes relative equilibria, which are non-homothetic but planar. The setup in (17) with independent bivectors n_i already assumes the orbits lie in distinct planes, so the paper does not address the planar non-homothetic case at all.\n\nCredit where due: the paper is not a crackpot submission. The author has read Broucke–Lass and Wintner and attempts a genuine vector-based approach. But a proof that rests on an unverifiable numerical assertion and a non-sequitur at the key dichotomy does not meet the bar. Since the theorem is already in Wintner, even a successful elementary proof would be of pedagogical value only, and that value is not realized here.\n\nMy recommendation: desk reject. It does not deserve referee time as written. If the author supplies the numerical computation and fixes the logical steps, a short note might be worth a second look, but the current manuscript is not there.","headline":"The paper gives a competent derivation of the Keplerian decoupling for a regular tetrahedral four-body configuration, but the claimed no-go theorem for non-homothetic solutions depends on an unreported numerical step and an unjustified dichotomy.","tokens_in":9350,"tokens_out":4093,"would_cite":false,"duration_ms":37145,"reading_group":"no","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper argues that four arbitrary masses at the vertices of a regular tetrahedron have no non-homothetic homographic solution: the only shape-preserving motion is a uniform collapse or expansion about the center of mass.","keywords":["Four-body problem","Tetrahedral configuration","Homothetic solution","Homographic solution","Relative coordinates","Quaternion rotation","Celestial mechanics","N-body problem"],"falsifier":"Run the numerical search over $\\theta_1,\\dots,\\theta_4$ for equations (23)–(24) using the construction described after equation (22): choose any two arbitrary equal-length perpendicular vectors $\\vec R_i$ and check whether any real solution has all $|\\cos\\theta_i|\\le 1$ and $|\\sin\\theta_i|\\le 1$. A single such real solution would exhibit a non-homothetic homographic branch and falsify the paper's conclusion; an exhaustive, reproducible computation that always finds a value outside $[-1,1]$ would verify the asserted rejection.","tokens_in":8385,"feed_emoji":"🔺","tokens_out":9698,"duration_ms":90755,"temperature":0.7,"pith_summary":"This paper claims that four arbitrary masses placed at the vertices of a regular tetrahedron have no non-homothetic homographic solution under Newtonian gravity: the only shape-preserving motion is a uniform collapse or expansion about the common center of mass. The proof works in relative coordinates and reduces the constrained four-body equations to an effective two-body central-force problem. A hypothetical rotating branch is then set up with synchronized conic orbits, and the requirement that the tetrahedral shape persist is translated into algebraic equations in four rotation angles. The paper states that solving those equations forces one of $\\cos\\theta_i$ or $\\sin\\theta_i$ beyond the unit interval, so the rotating branch is rejected. If correct, this gives an elementary, independent route to a conclusion previously drawn in article 371 of Wintner (1941).","feed_headline":"Four-body tetrahedra cannot rotate; only uniform collapse remains","feed_subtitle":"A geometric argument shows any shape-preserving tetrahedral motion must shrink or grow uniformly, matching a known theorem.","key_machinery":"The central object is the relative-vector formulation together with the quaternion-style rotation formula $\\vec v' = \\vec v\\times[\\cos\\theta+\\sin\\theta\\,\\hat n]$. The relative vectors decouple the tetrahedral equations into a two-body problem, and the rotation formula is what lets the paper parametrize every conceivable non-homothetic homographic orbit as synchronized rotations of fixed vectors $\\vec r_i$ about plane normals $\\hat n_i$. The load-bearing algebraic system is (23)–(24), expressing that the rotated vectors $\\vec r_i'$ preserve the tetrahedral inner products; the asserted absence of real solutions for the angles $\\theta_i$ is the entire mechanism by which the non-homothetic branch is excluded.","core_discovery":"On the paper's own terms, the central discovery is a geometric nonexistence theorem: for four arbitrary masses that always form a regular tetrahedron, homographic motion is necessarily homothetic. Starting from six relative position vectors $S_n$ and the rotation representation $\\vec v' = \\vec v \\times [\\cos\\theta + \\sin\\theta\\,\\hat n]$, the paper derives $\\ddot S_n = -G\\mu S_n/\\|S_n\\|^3$ and then $\\ddot{\\vec x}_i = -G\\kappa_i^{3/2}\\vec x_i/(\\mu^2\\|\\vec x_i\\|^3)$, so each vertex feels a Newtonian central force toward the barycenter. Postulating a non-homothetic homographic solution forces the alternative $\\sum m_i(\\vec r_i \\times \\hat n_i)=0$ or $\\sin\\theta(t)=0$; the first alternative would be a rotating tetrahedral branch. To test it, the paper writes the rotated position vectors $\\vec r_i'$ as rotations of arbitrary perpendicular vectors $\\vec R_i$ through angles $\\theta_i$ and obtains equations (23)–(24). It then asserts, without displaying the computation, that the only possible solutions have a trigonometric value above 1, leaving $\\sin\\theta(t)=0$ as the only real branch.","pith_inferences":["Because the decisive numerical check is not reported, the paper's own argument leaves an explicit gap; a documented reproduction of that calculation would either complete the proof or reveal a counterexample.","The same rotation-based construction could be tried on regular simplex configurations in more than four bodies; a generalization could sharpen or test the known nonexistence for $i>4$.","One can turn the algebraic system (23)–(24) into a computational existence check independent of the paper's conclusion: search for real $\\theta_i$ satisfying all inner-product equations, with the unit constraints, for random choices of $\\vec R_i$."],"forward_implications":["If the tetrahedral four-body system has any shape-preserving motion, that motion is a homothetic collapse or expansion: all four masses move radially toward or away from the barycenter with distances in fixed ratios.","The relative-vector method that solves the triangular three-body problem carries over to four bodies, reducing the constrained equations to a two-body central-force problem.","Every homographic solution of the regular tetrahedral four-body problem is either planar or homothetic, so a spinning, shape-preserving tetrahedral orbit is impossible.","Numerical searches or analytic studies of tetrahedral four-body motion can be restricted to the homothetic family; the alleged non-homothetic branch is a dead end."],"supporting_citations":[{"why":"Supplies the relative-coordinate formulation and the perturbation vector $\\Omega$ that this paper extends from three bodies to a tetrahedral four-body system.","marker":"Broucke and Lass 1973"},{"why":"Identified the homothetic tetrahedral fall toward the center of mass, the solution class this paper says is the only one possible.","marker":"Lehmann-Filhes 1891"},{"why":"The source of article 371, the classical theorem that every homographic solution is planar or homothetic, whose conclusion the paper reproduces by a different route.","marker":"Wintner (1941)"},{"why":"Provides the vector rotation formula used in Section 4 to express all relative edges in terms of $S_1$ and to parametrize the non-homothetic branch.","marker":"Wintner (1947)"},{"why":"Prior study of the tetrahedral four-body problem that this paper's tetrahedral configuration investigation builds on.","marker":"Delgado and Vidal 1999"}],"fun_headline_variants":["Tetrahedral four-body motion: rotation impossible, scaling only","No rotating tetrahedra: four masses must just expand or shrink","Homographic tetrahedral solution forced to be homothetic","Four masses on a tetrahedron can't spin, only scale"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything hinges on the unreported numerical calculation in Section 5 that one of $\\cos\\theta_i$ or $\\sin\\theta_i$ must exceed 1; if that calculation is wrong or cannot be reproduced, the proof that only the homothetic solution exists collapses.","fun_headline_variants_meta":{"raw":{"variants":["Tetrahedral four-body motion: rotation impossible, scaling only","No rotating tetrahedra: four masses must just expand or shrink","Homographic tetrahedral solution forced to be homothetic","Four masses on a tetrahedron can't spin, only scale"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000205,"raw_usage":{"total_tokens":1372,"prompt_tokens":906,"completion_tokens":466,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":522,"completion_tokens_details":{"reasoning_tokens":395}},"tokens_in":522,"tokens_out":466,"duration_ms":5305,"temperature":1.0,"reasoning_tokens":395,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:21:22.698980+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the numerical search over $\\theta_1,\\dots,\\theta_4$ for equations (23)–(24) using the construction described after equation (22): choose any two arbitrary equal-length perpendicular vectors $\\vec R_i$ and check whether any real solution has all $|\\cos\\theta_i|\\le 1$ and $|\\sin\\theta_i|\\le 1$. A single such real solution would exhibit a non-homothetic homographic branch and falsify the paper's conclusion; an exhaustive, reproducible computation that always finds a value outside $[-1,1]$ would verify the asserted rejection.","supporting_citations":[{"cited_title":"and Lass, H., A note on relative motion in the g eneral three-body problem, Celestial mechanics, 8, 5-10 (1973)","cited_arxiv_id":null,"evidence_quote":"Supplies the relative-coordinate formulation and the perturbation vector $\\Omega$ that this paper extends from three bodies to a tetrahedral four-body system."},{"cited_title":"Princeton University Press, Princeton, N ew Jersey (1947)","cited_arxiv_id":null,"evidence_quote":"Provides the vector rotation formula used in Section 4 to express all relative edges in terms of $S_1$ and to parametrize the non-homothetic branch."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Prior study of the tetrahedral four-body problem that this paper's tetrahedral configuration investigation builds on."}],"review_version":1}