{"id":"2a04a1d5-2b43-4059-b5d5-9c874b7baac7","arxiv_id":"1908.01912","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For geodesically accessible affine connection control systems, a quotient mechanical control system exists if and only if there is an involutive distribution on the configuration manifold that is invariant under the connection, the curvature, and the control vector fields.","lead":"This mathematics paper identifies exactly when a mechanical control system can be reduced to a smaller mechanical system without losing its mechanical structure. The result gives a precise, distribution-based test that can be checked directly from the connection and the control vector fields.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4's iff depends on a completeness assumption absent from its statement; a simple R^2\\{0} example solves (ii) without a fiber bundle, so the unqualified claim fails.","rationale":"The paper's central global claim is Theorem 4, and its only-if direction is valid only under the completeness of ℑ. The manuscript does state this assumption in the paragraph before Theorem 4, but the theorem statement itself omits it, which is a real presentation and scoping defect. The R^2 \\ {(0,0)} example shows the assumption is not a formal convenience: without it, question (ii) can be solvable while the configuration map is not a fiber bundle. This confirms the reader's weakest_assumption exactly. I found no comparably serious flaw in the local Theorem 1 argument; the steps left as 'by computing' are fillable, and the example for non-geodesically accessible systems is consistent with the claimed caveats. Because the defect is already reflected in the reader's CONDITIONAL verdict, no change to that verdict is needed.","tokens_in":10591,"tokens_out":41938,"duration_ms":446941,"concrete_test":"Verify the counterexample against the unqualified statement of Theorem 4: (a) Q = R^2 \\ {(0,0)}, flat ∇, g1 = ∂_x, g2 = ∂_y; Sym(g1,g2) = TQ, so the system is geodesically accessible; (b) τ(x,y,v_x,v_y) = (x,v_x) maps every trajectory of the ACCS to a trajectory of ẋ = v_x, ẋ_dot = u_1 on R, so question (ii) is solvable; (c) Φ(x,y) = x is not a fiber bundle because Φ^{-1}(0) = R \\ {0} is not locally trivial. If (a)-(c) hold, the iff in Theorem 4 fails without the completeness rider; with the rider, the example is excluded and Theorem 4 stands.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Most load-bearing concern: Theorem 4 is stated as an 'if and only if' with no completeness hypothesis, but its only-if proof applies Mckay's theorem (Theorem 3), which requires all vector fields in the symmetric-product closure ℑ to be complete. Completeness is mentioned only in the preceding paragraph. It is genuinely necessary: take Q = R^2 \\ {(0,0)} with the flat connection and controls g1 = ∂_x, g2 = ∂_y. The system is geodesically accessible and question (ii) is solvable via τ: TQ → TR, τ(x,y,v_x,v_y) = (x,v_x); the quotient is the flat ACCS ẋ = v_x, ẋ_dot = u_1 on R. But the configuration map Φ(x,y)=x is not a fiber bundle: Φ^{-1}(0) ≅ R \\ {0} has two components, whereas nearby fibers are R. The vertical distribution D = span ∂_y is not the vertical distribution of any fiber bundle (leaves over x=0 are two half-lines), so the conclusion of Theorem 4 fails. The theorem becomes correct only if the completeness assumption is made part of its statement. This is the single most load-bearing issue; the local Theorem 1 arguments are consistent, and the completeness issue was correctly identified by the reader.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies quotients of affine connection control systems (ACCSs) that are themselves mechanical control systems. It distinguishes a local question (i) and a global question (ii): when does a geodesically accessible ACCS admit, locally or globally, a quotient mechanical control system. The main local result, Theorem 1, characterizes solvability of (i) by the existence of an involutive distribution D on the configuration manifold such that the affine connection restricts to D, the curvature condition R(X,v)v lies in D for all X in D and v in TQ, and the control vector fields satisfy [g_i,D] subset D. The global result, Theorem 4, adds that Q is a fiber bundle whose vertical distribution satisfies the same conditions. The paper also proves structural corollaries: quotient maps must be tangent maps of submersions, quotient systems inherit geodesic accessibility, and it gives an example showing that non-geodesically accessible systems need not have mechanical quotients that are affine connection systems.","tokens_in":10841,"tokens_out":9711,"duration_ms":111112,"significance":"The problem is natural and the local characterization is potentially useful: it provides an intrinsic distributional test for the existence of mechanical quotients and identifies the resulting quotient map as the tangent map of a configuration-space submersion. The paper builds on established external results (Sussmann's orbit theorem, the Ricardo-Respondek characterization, and McKay's fiber-bundle theorem) rather than introducing ad-hoc assumptions, and the example in Section 2 correctly marks the boundary of the local theorem. However, the global theorem as stated is not correct without an explicit completeness hypothesis, and several central proof steps are asserted rather than demonstrated. The results are therefore promising but not publishable in their current form; the difficulties appear fixable within the manuscript's scope.","major_comments":[{"comment":"Theorem 4 is stated as an unqualified 'if and only if', but its only-if proof invokes Theorem 3, whose hypotheses include completeness of the vector fields in both families. That completeness assumption is introduced only in the preceding paragraph and is not repeated in the theorem statement. Without it the theorem is false. For example, take Q = R^2 \\ {(0,0)} with the flat connection and controls g1 = ∂x, g2 = ∂y. The system is geodesically accessible, and τ(x,y,v_x,v_y) = (x,v_x) is a global quotient map onto the flat affine connection control system on R, so question (ii) is solvable. Yet the induced configuration map Φ(x,y) = x is not a fiber bundle: the fiber over 0 is R \\ {0}, whereas nearby fibers are R. The vertical distribution D = span{∂y} is also not the vertical distribution of any fiber bundle. Thus the theorem must either include the completeness assumption in its statement or explicitly state that it is a standing assumption for the whole section, and it should also specify completeness of the vector fields of the quotient system.","section":"Section 3, Theorem 4 and the preceding paragraph"},{"comment":"The proof asserts that, because the system is geodesically accessible, the orbit of {S, g1^vlft, ..., gm^vlft} equals the neighborhood U. Sussmann's orbit theorem gives an immersed submanifold, and openness of the orbit is an additional statement that needs a rank argument or a precise citation. The next step, that the orbit of the quotient system equals V because τ is surjective, also needs a sentence explaining how τ(U) = V and the invariance of orbits under τ produce the claimed equality in V. These points are load-bearing because Proposition 1 is the bridge between question (i) and the distributional conditions used in Theorem 1.","section":"Section 2, Proposition 1 proof"},{"comment":"In the sufficiency part, the proof states that the distribution ~D = span{D^vlft, [S,D^vlft]} is involutive 'by computing' and then asserts that in adapted coordinates the quotient system has the form (28), with Christoffel symbols and control components depending only on the surviving coordinates (x^{k+1}, ..., x^n). This is a central step: the independence properties are exactly what make the quotient an affine connection control system on the reduced configuration space. The derivation should be written out, or a lemma given, showing that conditions (24), (26), and (27) imply the required coordinate independence. As written, the reader cannot verify the sufficiency claim directly.","section":"Section 2, proof of Theorem 1"}],"minor_comments":[{"comment":"Several theorem-like environments have duplicated titles, e.g. 'Theorem 1 Theorem Question (i) ...' and 'Corollary 1 Corollary ...' in the text; these are formatting errors that should be cleaned up.","section":"Throughout"},{"comment":"The blanket analyticity assumption is stated in the introduction and is used implicitly in Proposition 1; it would help to repeat this hypothesis in the statements of Theorem 1 and Theorem 4 so the reader does not have to infer it from the prose.","section":"Introduction and Section 3"},{"comment":"The notation in the coordinates (V,z^i) and the statement span{V1,...,Vn} = span{∂/∂y1,...,∂/∂yn} is confusing: the V_i are vector fields on TQ, and the y^i are base coordinates, so the identification should be explained explicitly.","section":"Section 2, proof of Proposition 3"},{"comment":"The journal name in reference [10] is misspelled as 'Scoeity'; it should be 'Society'.","section":"Reference [10]"}],"recommendation":"major_revision","confidential_remarks":"The paper is a reasonable contribution to geometric control, and I see no novelty or citation-practice concern. The main risk is the global theorem: if the authors do not add the completeness hypothesis to Theorem 4, the theorem is demonstrably false. I believe this is fixable in revision, along with the proof gaps in Proposition 1 and the sufficiency part of Theorem 1."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nYou should know two things about this paper. First, the local characterization (Theorem 1) is a genuine and useful result: a geodesically accessible affine connection control system admits a local quotient that is mechanical iff there is an involutive distribution D such that ∇ restricts to D, R(X,v)v lies in D for all X in D and all v, and [g_i,D] ⊆ D. The proof constructs an invariant distribution on TQ and the logic is coherent. The corollary for irreducible Riemannian manifolds is a nice byproduct, and the example showing what can go wrong without geodesic accessibility is well chosen.\n\nSecond, the global theorem (Theorem 4) is not correct as stated. The only-if direction invokes Mckay's theorem, which requires completeness of the vector fields in the symmetric-product closure ℑ. The completeness assumption is mentioned in the paragraph before the theorem but is absent from the statement, and it is load-bearing. A simple counterexample: Q = R^2 \\ {(0,0)} with the flat connection and controls g1 = ∂_x, g2 = ∂_y. This is geodesically accessible. The map τ(x,y,v_x,v_y) = (x,v_x) is a quotient to the flat ACCS on R. But the induced configuration map Φ(x,y) = x is not a fiber bundle: the fiber over 0 is R \\ {0}, while neighboring fibers are R. So the conclusion of Theorem 4 fails. The theorem needs either a completeness hypothesis or a weaker conclusion.\n\nSmaller soft spots: Proposition 1's claim that the orbit fills the neighborhood U is not fully justified, and the involutivity computation in Theorem 1 is left as 'by computing.' These are minor next to the Theorem 4 problem.\n\nWho should read this? Geometric control researchers working on model reduction and symmetry. The local theorem is the main substance and is worth taking seriously. The global result needs correction. A referee can engage with the paper, but the authors should be asked to fix the statement of Theorem 4 and its proof.\n\nMy recommendation: send it out for peer review, but make the completeness issue impossible to miss.","headline":"The local quotient theorem is a solid new result, but the global theorem is misstated as an iff and needs a completeness hypothesis or a weaker conclusion.","tokens_in":11323,"tokens_out":5661,"would_cite":true,"duration_ms":51675,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C05","93B27","70Q05","58A30"],"pacs":[],"model":"deepseek-v4-flash","headline":"Mechanical quotients exist exactly when an invariant distribution is present","keywords":["affine connection control systems","mechanical control systems","quotient systems","geodesic accessibility","invariant distributions","symmetric product","fiber bundles","geometric control"],"falsifier":"Exhibit a geodesically accessible affine connection control system on a noncompact manifold whose control vector fields are not complete, yet which still admits a global quotient map satisfying (7). If the configuration manifold is not a fiber bundle over the quotient configuration space, then Theorem 4's global characterization fails as stated; a concrete search would use polynomial control fields on $\\mathbb{R}^n$ that blow up in finite time but generate $T\\mathbb{R}^n$ under symmetric products.","tokens_in":10390,"feed_emoji":"⚙️","tokens_out":9500,"duration_ms":86009,"temperature":0.7,"pith_summary":"This paper asks when an affine connection control system, a second-order mechanical system driven by forces, can be quotiented to another mechanical control system without losing the mechanical structure. For geodesically accessible systems—those whose control fields generate the full tangent space under the symmetric product—a local quotient exists exactly when the configuration manifold carries an involutive distribution $D$ satisfying three conditions: the affine connection restricts to $D$, the curvature satisfies $R(X,v)v \\in \\Gamma(D)$ for every $X \\in \\Gamma(D)$ and $v \\in \\Gamma(TQ)$, and each control field brackets into $D$. The quotient map must then be the tangent map of a submersion between configuration spaces, and the quotient system is again geodesically accessible. Globally, under a completeness assumption on the vector fields generated from the controls by the symmetric product, the same conditions characterize quotients for which the configuration manifold is a fiber bundle. If the characterization is right, it gives a precise geometric test for when reducing a mechanical control system preserves its mechanical structure.","feed_headline":"Mechanical quotients exist exactly when an invariant distribution does","feed_subtitle":"For geodesically accessible systems, three geometric conditions decide when a local quotient is mechanical.","key_machinery":"The load-bearing object is an invariant distribution $D$ on the configuration manifold, lifted to the tangent bundle as $\\tilde D = \\operatorname{span}\\{D^{vlft}, [S, D^{vlft}]\\}$, where $S$ is the geodesic spray and $D^{vlft}$ denotes the vertical lifts of sections of $D$. The three conditions on $D$ make $\\tilde D$ invariant under the geodesic spray and under the control fields, and they ensure the quotient inherits an affine connection structure. The proof is carried by the bracket identities $[S, X^{vlft}] = -X \\oplus \\nabla_{v_q} X$ and $[S,[S,X^{vlft}]] = -2\\nabla_{v_q}X \\oplus (R(X,v_q)v_q + \\mathrm{ver}(\\nabla^H_{v_q^H}(\\nabla_{v_q}X)^{vlft}))$, together with an orbit theorem argument that shows the quotient map is a submersion.","core_discovery":"The central result is Theorem 1: question (i) is solvable if and only if there exists an involutive distribution $D$ on the configuration manifold such that the affine connection restricts to $D$, the curvature satisfies $R(X,v)v \\in \\Gamma(D)$ for all $X \\in \\Gamma(D)$ and $v \\in \\Gamma(TQ)$, and $[g_i,D] \\subseteq D$ for each control field $g_i$. Whenever such a quotient exists, the quotient map has the form $T\\Phi$ for a submersion $\\Phi$ between configuration manifolds, and the quotient mechanical control system is itself a geodesically accessible affine connection system. The global version, Theorem 4, states that question (ii) is solvable if and only if the configuration manifold has a fiber bundle structure whose vertical distribution satisfies the same conditions, with the added assumption that the vector fields in the symmetric-product closure are complete.","pith_inferences":["If the completeness assumption in Theorem 4 fails, the local result should persist but the fiber-bundle conclusion likely weakens to a foliation or an immersion statement, since the only-if proof invokes a theorem requiring completeness.","The three distribution conditions could be used as a practical reduction test in geometric mechanics: before quotienting an underactuated system, look for involutive distributions closed under the connection and curvature, not merely control-invariant subspaces.","The worked non-geodesically-accessible example suggests that without geodesic accessibility, the quotient can acquire drift and dissipation-like terms, so the geodesically accessible class is the natural setting for structure-preserving reduction."],"forward_implications":["A local quotient that preserves mechanical structure exists for a geodesically accessible affine connection system precisely when the three distribution conditions hold.","Every such quotient map is the tangent lift of a submersion between configuration manifolds, so the structure-preserving quotient is a morphism of the mechanical category.","The quotient of a geodesically accessible system is again geodesically accessible, and a fully actuated mechanical system quotients to a fully actuated system.","On an irreducible Riemannian manifold with its Levi-Civita connection, no nontrivial local mechanical quotient exists, because the only totally geodesic distribution is the entire tangent space.","Globally, the configuration manifold must be a fiber bundle over the quotient configuration manifold, with its vertical distribution satisfying the same conditions, provided the generated vector fields are complete."],"supporting_citations":[{"why":"Supplies the 4-tuple definition of a mechanical control system on which the paper's notion of a quotient mechanical system rests.","marker":"[6]"},{"why":"Introduces geodesic accessibility and gives the Lie-algebra characterization used to prove the quotient inherits the mechanical structure.","marker":"[8]"},{"why":"Sussmann's orbit theorem is used to show the quotient map is a submersion.","marker":"[10]"},{"why":"Provides the irreducibility criterion for the corollary and the definition of vertical distribution for fiber bundles.","marker":"[9]"},{"why":"McKay's fiber-bundle theorem upgrades the global quotient map to a fiber bundle map in the only-if direction of Theorem 4.","marker":"[12]"}],"fun_headline_variants":["Mechanical quotients exist iff an involutive distribution does","Three conditions pick mechanical quotients","Involutive distribution is the key to mechanical quotients","Geometric existence condition for mechanical quotients","Mechanical quotients: when does an involutive distribution suffice?"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The global characterization in Theorem 4 rests on the assumption that every vector field in the symmetric-product closure of the control fields is complete, a condition stated just before the theorem rather than in it, and on analyticity throughout; if completeness fails, the fiber-bundle conclusion of the only-if direction need not follow.","fun_headline_variants_meta":{"raw":{"variants":["Mechanical quotients exist iff an involutive distribution does","Three conditions pick mechanical quotients","Involutive distribution is the key to mechanical quotients","Geometric existence condition for mechanical quotients","Mechanical quotients: when does an involutive distribution suffice?"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000545,"raw_usage":{"total_tokens":2518,"prompt_tokens":766,"completion_tokens":1752,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":382,"completion_tokens_details":{"reasoning_tokens":1678}},"tokens_in":382,"tokens_out":1752,"duration_ms":12892,"temperature":1.0,"reasoning_tokens":1678,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:02:29.336106+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a geodesically accessible affine connection control system on a noncompact manifold whose control vector fields are not complete, yet which still admits a global quotient map satisfying (7). If the configuration manifold is not a fiber bundle over the quotient configuration space, then Theorem 4's global characterization fails as stated; a concrete search would use polynomial control fields on $\\mathbb{R}^n$ that blow up in finite time but generate $T\\mathbb{R}^n$ under symmetric products.","supporting_citations":[{"cited_title":"Bullo and A","cited_arxiv_id":null,"evidence_quote":"Supplies the 4-tuple definition of a mechanical control system on which the paper's notion of a quotient mechanical system rests."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces geodesic accessibility and gives the Lie-algebra characterization used to prove the quotient inherits the mechanical structure."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Sussmann's orbit theorem is used to show the quotient map is a submersion."},{"cited_title":"Kobayashi and K","cited_arxiv_id":null,"evidence_quote":"Provides the irreducibility criterion for the corollary and the definition of vertical distribution for fiber bundles."},{"cited_title":"Mckay: Sussmann’s orbit theorem and maps, Differential Geometry and its Applica- tions 25, 277 (2007)","cited_arxiv_id":null,"evidence_quote":"McKay's fiber-bundle theorem upgrades the global quotient map to a fiber bundle map in the only-if direction of Theorem 4."}],"review_version":1}