{"id":"13838f43-ab6f-4264-888d-ce56fa468684","arxiv_id":"1908.02751","paper_version":2,"verdict":"REJECT","confidence":"HIGH","novelty_score":3.0,"correctness_risk":"high","formal_verification":"none","parameter_count":5,"one_line_summary":"The paper derives Darboux-frame equations, Killing equations, and parametric formulas for magnetic curves and helices on an ellipsoid equipped with an anisotropic metric, but the results are reparametrizations of standard spherical curve results.","lead":"This paper rewrites spherical curve theory for an ellipsoid by using an anisotropic inner product, then classifies magnetic trajectories and rolling-ellipse helices on that ellipsoid. A generalist might read it because it advertises explicit formulas for charged-particle paths on ellipsoids, although the formulas reduce to known sphere results under a re-scaling.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Prop. 4.2's V satisfies B(V,γ)=-kg, so V is not a tangent Killing field of S_E^2; the derivation of Thm 4.3's ODE therefore has no valid Killing-field premise.","rationale":"I read the paper as attempting to classify magnetic trajectories on the ellipsoid S_E^2 by reducing the Lorentz force equation to an ODE for geodesic curvature. For this to work, the vector field V appearing in V×_E T=∇_T T must be a genuine Killing vector field of the surface. Proposition 4.2 constructs V along each curve by V=δT-kgγ-y. The reader's weakest assumption, and my own check, is that this V is not shown to extend to a global Killing field; indeed it cannot, because it has a nonzero normal component B(V,γ)=-kg. Since the entire derivation of Theorem 4.3 uses Proposition 3.2, which requires a global Killing field, the central 'if and only if' is unsupported. The paper contains no machine-checked proof or reproducible numerical verification; the examples merely plot curves that satisfy the algebraic equation, not genuine magnetic trajectories. Thus the concern is load-bearing. I agree with the reader's verdict: the paper should be rejected, or at best the claims substantially reduced. Since the reader already says REJECT, I mark UNCHANGED.","tokens_in":14659,"tokens_out":6401,"duration_ms":67616,"concrete_test":"Take the curve from Example 4.1: γ(s)=(cos 3s/√(2a1), sin 3s/√(2a2), 1/√(2a3)) and construct V(s)=δT-kgγ-y using the Darboux frame. Compute B(V(s),γ(s)); the result is -kg(s)=-√2≠0. Since any tangent vector X at γ(s) satisfies B(X,γ(s))=0, this single computation shows V is not a vector field on S_E^2, hence cannot be a Killing field. This settles the concern: the vector field in Proposition 4.2 cannot support the Killing-field hypotheses of Proposition 3.2 and Theorem 4.3. If the authors intended V as an ambient Killing field of R^3 with the B-metric, they must provide it explicitly and prove that its restriction to the ellipsoid has the form (26); no such field is given.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim, Theorem 4.3, classifies magnetic trajectories on the ellipsoid S_E^2 via the ODE kg'' + δ kg kg' = 0. The derivation depends on the vector field V(s)=δ(s)T - kg(s)γ - y introduced in Proposition 4.2 being the restriction of a global Killing vector field of S_E^2. This is impossible for any curve with kg ≠ 0. On S_E^2, the position vector γ is the unit normal, so the tangent space at γ(s) is the B-orthogonal complement of γ(s). A Killing vector field of the surface is, in particular, a tangent vector field along every curve. Direct computation gives B(V,γ)=δB(T,γ)-kgB(γ,γ)-B(y,γ)=-kg. For the paper's own examples (Example 4.1, kg=√2), B(V,γ)=-√2≠0, so V is not tangent and cannot be a vector field on S_E^2 at all, let alone a Killing field. Consequently, Proposition 3.2 cannot be invoked: the assertions V(v)=0 and V(kg)=0, used to conclude that δ is constant and to derive the ODE, have no justification. Moreover, the Lorentz equation V×_E T=∇_T T is satisfied identically by the algebraic definition of V for any curve, so without the Killing condition the 'classification' would apply to every curve. The missing global extension is not a minor gap: it severs the only link between the ODE and magnetic trajectories of genuine Killing fields on the ellipsoid.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies curves on the 'elliptical 2-sphere' S_E^2, defined by a1 x^2 + a2 y^2 + a3 z^2 = 1 and equipped with the elliptical inner product B. It introduces a Darboux frame along curves, derives variation formulas, and then uses these to characterize magnetic trajectories of Killing vector fields via the Lorentz force equation V times_E T = nabla_T T. The main claim (Theorem 4.3) is that a curve is such a magnetic trajectory iff its geodesic curvature satisfies kg'' + delta kg kg' = 0; Theorem 4.4 gives explicit parametrizations. The second half of the paper interprets helices on S_E^2 as trajectories of points on a great ellipse rolling without slipping on a fixed ellipse and connects them to cycloids and satellite curves. Various examples are plotted with Mathematica.","tokens_in":1658,"tokens_out":1836,"duration_ms":53473,"significance":"If the central characterization were correct, the paper would contribute a concrete family of magnetic curves on ellipsoids and a rolling-geometry interpretation of helices, with potential applications in geometric mechanics. The paper does provide several explicit parametrized examples and figures, which are useful for visual intuition. However, the main results are not supported because the vector field V used in the magnetic characterization is not a vector field on the surface, and the connection employed in the Lorentz force equation is not the Levi-Civita connection as stated. These issues invalidate the principal theorems and the derived classification, so the paper's significance is currently not realized.","major_comments":[{"comment":"The vector field V(s) = delta T - kg gamma - y defined in Eq. (26) is not a vector field on S_E^2 unless kg = 0. Since S_E^2 is defined by B(x,x)=1, the position vector gamma is the unit normal, and the tangent space at gamma(s) is the B-orthogonal complement of gamma(s). Directly, B(V,gamma)=delta B(T,gamma)-kg B(gamma,gamma)-B(y,gamma)=-kg, which is nonzero for any curve with nonzero geodesic curvature. For Example 4.1, kg=sqrt(2), so B(V,gamma) is nonzero. Therefore V is not tangent to the surface and cannot be a Killing vector field of S_E^2. Consequently, Proposition 3.2 cannot be invoked to conclude V(v)=0 and V(kg)=0; the derivation of Eq. (32) lacks its essential premise. This is a load-bearing flaw in Theorem 4.3.","section":"§4, Proposition 4.2 and Theorem 4.3"},{"comment":"The Lorentz force equation is stated with nabla as the Levi-Civita connection of S_E^2, but the computations use the ambient connection in R^3. In the proof of Proposition 4.1, nabla_T T is computed as -gamma + kg y, which includes the normal component -gamma. For the Levi-Civita connection of the surface, the covariant derivative along a curve should be tangential, with the normal component removed by the second fundamental form. The paper's equations are consistent only if nabla is interpreted as the ambient derivative, contradicting the stated definition. This affects the meaning of the magnetic trajectory equation and calls into question the connection between the paper's curves and genuine magnetic trajectories on the ellipsoid.","section":"§4, Eq. (20) and subsequent computation"},{"comment":"The parametrization (41) is claimed to be a helix with Killing axis V(s) = (0,0,-1). However, a constant vector field is not tangent to S_E^2 and is not a Killing field of the surface metric. The paper does not prove that the stated V is a Killing vector field along the curve, nor that the curve satisfies the definition of a helix given in Theorem 5.1 (tangent making a constant angle with a constant Killing field). The derivation of the curvature kg = cot(k s) in Eq. (42) is also not shown. This leaves the rolling-ellipse interpretation, a central advertised contribution, unsupported.","section":"§6, Helical trajectories via elliptical rotation"},{"comment":"The proof of Theorem 4.4 states that the elliptical Darboux frame equation leads to a third order differential equation, but no derivation is given. Since the ODE and the definition of magnetic trajectory are invalidated by the non-tangency of V, the explicit parametrizations in Eqs. (33) and (34), even if they solve the stated ODE, are not established as magnetic trajectories on S_E^2. The classification of all magnetic curves is therefore not proven.","section":"§4, Theorem 4.4"}],"minor_comments":[{"comment":"The terminology 'elliptical 2-sphere' is used inconsistently with the title's 'elliptical 2-sphere' and the abstract's 'elliptical 2-sphere' notation; please standardize.","section":"Throughout"},{"comment":"In the derivation of V(v), the term is computed as v B(nabla_t V, t), but the final expression is -v w with w = -B(nabla_t V, t); this is consistent only up to a sign convention that is not explained.","section":"Lemma 3.1 and Eq. (7)"},{"comment":"The text refers to eq.(42) but the intended reference is Eq. (26); this cross-reference error should be corrected.","section":"Proposition 4.2, proof"},{"comment":"After Eq. (38), the proof states 'Using the equation V(v)=0 in Lemma 3.1. we present delta is a constant', but delta is not defined in this section and the argument is unclear; the proof should be rewritten.","section":"Theorem 5.1, proof"},{"comment":"The sectional curvature formula (2) and the curvature tensor (4) are stated for a space form, but the paper does not verify that S_E^2 with the B-induced metric has constant sectional curvature; a brief justification is needed.","section":"§2, Preliminaries"}],"recommendation":"reject","confidential_remarks":"The manuscript's central claim rests on a vector field that is not tangent to the surface, as can be verified directly from Eq. (26) for the paper's own examples. The connection misidentification compounds the issue. In my assessment, these are load-bearing errors that cannot be fixed by local revisions within the current framework; a substantive reworking of the definition of magnetic trajectories on the ellipsoid would be required. I therefore recommend rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nI've read Ozdemir and Ates's paper. It is not a serious piece of mathematics in its current form. The main classification theorem is built on an invalid premise, and the paper never notices that the 'elliptical 2-sphere' with the B-metric is just the round sphere in disguise.\n\nWhat the paper does well: it spells out the Darboux frame and variational formulas in a self-contained way, and the rolling-ellipse parametrizations in Section 6 are explicit and appear internally consistent. The examples and figures are useful for visualization. The idea of interpreting helices as rolling ellipses is a known spherical construction transplanted, but it is carried out concretely.\n\nHowever, the central claims have load-bearing holes. Proposition 4.2 defines V(s)=δT−kgγ−y along a curve. On the surface, γ is the unit normal, so V is not tangent whenever kg≠0 (indeed B(V,γ)=−kg). It cannot be the restriction of a Killing field of the surface, yet Theorem 4.3 uses Proposition 3.2 on exactly that premise. Without a global Killing extension, the ODE kg''+δ kg kg'=0 has no documented link to magnetic trajectories. Moreover, the Lorentz equation (20) uses ∇_T T = −γ+kg y, which is the ambient derivative; the Levi-Civita connection of the ellipsoid projected to the tangent plane would give ∇_T T=kg y. That inconsistency is not minor—it is the mathematical engine of the paper. The hypergeometric formula (34) is malformed, and the text is full of corrupted references ('Theorem Teo', 'Proposition Pro1', an unnumbered theorem) suggesting inadequate proofreading.\n\nAlso, the geometric setting is isometric to the round sphere: the rescaling (x,y,z)→(√a1 x, √a2 y, √a3 z) turns the B-metric ellipsoid into the unit sphere. The Darboux equations, Killing equations, and magnetic ODE are therefore the standard spherical ones in scaled coordinates. The paper never acknowledges this, and the claimed novelty is substantially reduced.\n\nI would not send this to a serious referee. It has a load-bearing flaw and misses the isometry. The reader's rejection is correct. If the authors repair the Killing-field issue and acknowledge the isometry, there could be a modest classroom note here, but as it stands the paper is not publishable.\n\nRecommendation: reject; do not send to referees. If you want to be helpful, point them to the Killing-field tangent condition and the isometry to the round sphere.","headline":"A curve theory paper with concrete explicit formulas, but the central magnetic-trajectory theorem rests on an invalid Killing-field premise and the setup is isometric to the round sphere.","tokens_in":15621,"tokens_out":2534,"would_cite":false,"duration_ms":25275,"reading_group":"no","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53A04","53C20"],"pacs":[],"model":"deepseek-v4-flash","headline":"On an ellipsoid, magnetic trajectories are governed by a single ordinary differential equation for geodesic curvature, with all solutions given explicitly; helices are rolling great ellipses.","keywords":["elliptical 2-sphere","magnetic trajectory","Killing vector field","Darboux frame","geodesic curvature","elliptical rotation","helix","satellite curves"],"falsifier":"Check whether the explicit curve in Example 4.3, with $k_g(s)=s$, is a magnetic trajectory of a global Killing field by testing whether $V = -s\\gamma(s) - y(s)$ extends to a vector field whose flow preserves $a_1x^2+a_2y^2+a_3z^2=1$; if it does not, that example contradicts the claim that the ODE characterizes magnetic trajectories, and the 'only if' direction of Theorem 4.3 collapses.","tokens_in":14422,"feed_emoji":"🧲","tokens_out":9539,"duration_ms":92357,"temperature":0.7,"pith_summary":"This paper studies the paths of a point moving on the elliptical 2-sphere $\\mathbb{S}_E^2 = \\{a_1x^2+a_2y^2+a_3z^2=1\\}$ under the influence of a magnetic field generated by a Killing vector field. It claims that these magnetic trajectories are exactly the curves whose Darboux geodesic curvature $k_g$ satisfies the differential equation $k_g'' + \\delta k_g k_g' = 0$ for a constant $\\delta$, and it gives explicit parametric formulas for all solutions. It further claims that helices on this surface—curves whose tangent keeps a constant angle with a Killing field—have curvature $k_g = \\cot\\theta$ with $\\theta$ obeying a second-order equation, and that these helices are exactly the traces of a point on a great ellipse rolling without slipping on a fixed ellipse. If correct, this gives a uniform description of charged-particle trajectories and rolling-curve geometry on ellipsoids, with ready-to-use parametrizations.","feed_headline":"Ellipsoid magnetic trajectories reduce to one differential equation","feed_subtitle":"The paper gives all solutions explicitly and shows these curves are rolling ellipses.","key_machinery":"The engine of the paper is the elliptical Darboux frame $\\{t, \\gamma, y\\}$ along a unit-speed curve $\\gamma$ on $\\mathbb{S}_E^2$, with $t = \\gamma'$, $y = \\gamma \\times_E \\gamma'$, and frame equations $t' = -\\gamma + k_g y$, $y' = -k_g t$. This frame diagonalizes the Lorentz force: with respect to $\\{t, \\gamma, y\\}$ the force matrix has entries built from $k_g$ and a quasislope function $\\delta$. A variational Lemma computes how the speed and geodesic curvature change under a vector field $V$, and Proposition 3.2 asserts that these variations vanish when $V$ is a Killing field. Substituting the along-curve form $V = \\delta t - k_g \\gamma - y$ into the variation formulas yields the ODE $k_g'' + \\delta k_g k_g' = 0$. The explicit trajectory formulas then follow by solving the third-order frame equation, and the rolling-ellipse description is produced by composing the elliptical rotations around two axes given by the rotation matrix theorem.","core_discovery":"The central claim is that on the elliptical 2-sphere $\\mathbb{S}_E^2$, the magnetic trajectory equation $\\nabla_T T = V \\times_E T$ for a Killing field $V$ is equivalently converted, via the Darboux frame $\\{t, \\gamma, y\\}$, into the scalar condition $k_g'' + \\delta k_g k_g' = 0$ with constant $\\delta$; conversely every curve satisfying this ODE is presented as a magnetic trajectory with $V = \\delta t - k_g\\gamma - y$. The constant-curvature solutions give circles with explicit trigonometric parametrizations, and the nonconstant solutions are written in closed form with hyperbolic tangents and hypergeometric functions. On the kinematics side, the paper claims that helices, characterized by $k_g = \\cot\\theta$ and $\\theta''\\sin^2\\theta - \\omega\\theta'\\cos\\theta = 0$, are exactly the paths of a point fixed on a great ellipse when the ellipse rolls without slipping on a fixed ellipse, and therefore are special cases of elliptical satellite curves and cycloids.","pith_inferences":["The same Darboux-frame variation machinery should transfer to spaces of constant sectional curvature with the curvature constant $C$ changed in sign, giving analogous magnetic-trajectory ODEs on spheres and hyperbolic spaces.","The rolling-ellipse derivation suggests a purely kinematic route to Theorem 5.1: impose the no-slip relation between the rolling angle and arclength and derive $k_g = \\cot(ks)$ directly, bypassing the variational apparatus.","The explicit formulas of Theorem 4.4 are concrete enough for numerical comparison; integrating the Lorentz force equation with the stated initial data and overlaying the plotted curves would test whether the ODE and frame equations produce identical trajectories.","The closed-form hypergeometric solutions could be examined for periodicity conditions on the ellipsoid parameters $a_1,a_2,a_3$; if closed trajectories only occur for rational relations among these parameters, that would give a classification of periodic magnetic trajectories."],"forward_implications":["Every magnetic trajectory on the ellipsoid is determined by a single scalar function $k_g$ governed by a first-order solvable ODE, so the whole family is explicitly parametrized.","The constant-curvature solutions are periodic curves on the ellipsoid; choosing different constant values $k_g = c$ produces one-parameter families of closed trajectories.","Helices on the ellipsoid are exactly rolling great ellipses, so the same curves can be generated kinematically without integrating the Lorentz force equation.","Because helices satisfy the magnetic ODE when $\\delta = 2k$ (Corollary 6.1), the magnetic and rolling descriptions coincide on that subfamily, giving a concrete bridge between the variational and kinematic viewpoints.","The elliptical rotation construction also supplies explicit parametrizations of satellite curves and cycloids on the ellipsoid, so the helix result embeds those families into one framework."],"supporting_citations":[{"why":"Supplies the elliptical rotation matrix that produces the rolling-ellipse trajectories and the explicit helix, satellite, and cycloid parametrizations.","marker":"[16]"},{"why":"Gives the Killing magnetic field setup on the 2D and 3D spheres that is extended here to the ellipsoid.","marker":"[6]"},{"why":"Provides the spherical general-helix characterization that Theorem 5.1 adapts to the elliptical 2-sphere.","marker":"[2]"},{"why":"Establishes the Killing magnetic curve equations in Euclidean 3-space whose pattern the Lorentz force equation follows.","marker":"[10]"},{"why":"Extends the Killing magnetic curve method to Minkowski 3-space, supporting the variational treatment.","marker":"[11]"},{"why":"Introduces magnetic flows on Riemann surfaces, the conceptual basis for treating magnetic trajectories as variational objects.","marker":"[17]"},{"why":"Supplies the Killing equation technique connecting curvature variations with Killing vector fields, used in Proposition 3.2.","marker":"[12]"},{"why":"Introduces N-magnetic and B-magnetic curves in 3D Riemannian manifolds, motivating the Darboux-frame Lorentz force formulation.","marker":"[4]"}],"fun_headline_variants":["Ellipsoid magnetic paths solve a single ODE","Rolling ellipses describe magnetic curves","Magnetic trajectories on ellipsoids become one equation","Elliptic 2-sphere: magnetic curves are rolling ellipses","Killing fields yield explicit magnetic helix paths"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The classification assumes that the vector field defined only along the curve by $V = \\delta t - k_g \\gamma - y$ is actually the restriction of a genuine symmetry (Killing) field of the whole ellipsoid; the paper does not prove such an extension exists, and the field is not even tangent to the surface in general.","fun_headline_variants_meta":{"raw":{"variants":["Ellipsoid magnetic paths solve a single ODE","Rolling ellipses describe magnetic curves","Magnetic trajectories on ellipsoids become one equation","Elliptic 2-sphere: magnetic curves are rolling ellipses","Killing fields yield explicit magnetic helix paths"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000689,"raw_usage":{"total_tokens":3180,"prompt_tokens":1060,"completion_tokens":2120,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":676,"completion_tokens_details":{"reasoning_tokens":2046}},"tokens_in":676,"tokens_out":2120,"duration_ms":14297,"temperature":1.0,"reasoning_tokens":2046,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:45:28.604574+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check whether the explicit curve in Example 4.3, with $k_g(s)=s$, is a magnetic trajectory of a global Killing field by testing whether $V = -s\\gamma(s) - y(s)$ extends to a vector field whose flow preserves $a_1x^2+a_2y^2+a_3z^2=1$; if it does not, that example contradicts the claim that the ODE characterizes magnetic trajectories, and the 'only if' direction of Theorem 4.3 collapses.","supporting_citations":[{"cited_title":"Magnetic fields in 2D and 3D sphere","cited_arxiv_id":null,"evidence_quote":"Supplies the elliptical rotation matrix that produces the rolling-ellipse trajectories and the explicit helix, satellite, and cycloid parametrizations."},{"cited_title":"First, we study the features of variational vector field along a curve and calculate the variational formulas for its Darboux curvatures","cited_arxiv_id":null,"evidence_quote":"Gives the Killing magnetic field setup on the 2D and 3D spheres that is extended here to the ellipsoid."},{"cited_title":"The real vector space 𝑅3 equipped with the elliptical inner product 𝐵 : 𝑅3 × 𝑅3 → 𝑅; 𝐵(𝑢, 𝑣) = 𝑎1𝑥1𝑦1 + 𝑎2𝑥2𝑦2 + 𝑎3𝑥3𝑦3","cited_arxiv_id":null,"evidence_quote":"Provides the spherical general-helix characterization that Theorem 5.1 adapts to the elliptical 2-sphere."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the Killing magnetic curve equations in Euclidean 3-space whose pattern the Lorentz force equation follows."},{"cited_title":"Magnetic vortex filament flows","cited_arxiv_id":null,"evidence_quote":"Extends the Killing magnetic curve method to Minkowski 3-space, supporting the variational treatment."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces magnetic flows on Riemann surfaces, the conceptual basis for treating magnetic trajectories as variational objects."},{"cited_title":"General helices in the 3-dimensional Lorentzian space forms","cited_arxiv_id":null,"evidence_quote":"Supplies the Killing equation technique connecting curvature variations with Killing vector fields, used in Proposition 3.2."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces N-magnetic and B-magnetic curves in 3D Riemannian manifolds, motivating the Darboux-frame Lorentz force formulation."}],"review_version":1}