{"id":"1bac34e3-ef14-4a14-9786-96f6e56151c9","arxiv_id":"2505.22294","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Goursat distributions in dimensions 4 to 6 define Lie systems, and their k-contact property is classified with one negative class and two classes only on a dense subset.","lead":"This paper classifies geometric structures called Goursat distributions on four, five, and six dimensional spaces, showing which admit special symmetry fields and which define Lie systems. The results connect differential geometry to control theory, including trailer systems used in robotics.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2's k-contact classification for classes 7 and 8 rests on unverified symbolic computations; the dense-subset Reeb data is asserted, not demonstrated.","rationale":"The stress-test identifies the same weak point as the reader. The classification's claim for Goursat classes 1-6 is well-supported: classes 1-5 have explicit generators whose Lie brackets can be checked directly from Table 1, and class 6's exclusion from four-contact is justified by a rank drop argument on x5=0. For classes 7 and 8, however, both the VG Lie algebra closure and the four-contact status rest on 'long calculations performed with symbolic mathematical programs' with no code or derivation. The table footnote explicitly says global Reeb fields on R6 are open. The most load-bearing unchecked assertions are: (i) the listed 8/12 vector fields close under Lie bracket with the stated structure constants; (ii) the four S_i are Lie symmetries, commute, and have a determinant with X1,X2 that is nonzero on a dense open set. A CAS check of these identities would settle the matter. If the determinant's zero set has interior or a bracket fails, the k-contact part of the theorem for classes 7/8 collapses. Thus the reader's CONDITIONAL verdict is appropriate; no adjustment is needed.","tokens_in":10076,"tokens_out":18152,"duration_ms":173249,"concrete_test":"In a CAS (e.g., SageMath or Maple with DifferentialGeometry), enter the Table 1 generators for class 7 and class 8. (a) Compute [Xi,Xj] for all i,j and compare with the stated structure constants to confirm the VG algebra closure. (b) For each S_i in Table 1 (with Y_i and the ∂6 coefficient as printed), compute [S_i,X_1], [S_i,X_2] modulo ⟨X_1,X_2⟩, and [S_i,S_j]; verify all vanish. (c) Compute det([S_1,S_2,S_3,S_4,X_1,X_2]) as a polynomial; check that it is not identically zero, identify its zero set Z, and verify Z has empty interior. If any bracket fails or Z has interior, the 'four-contact (on a dense subset)' entry for that class is false.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 2's k-contact classification for classes 7 and 8 depends entirely on the assertion that the four vector fields S1,...,S4 in Table 1—obtained from the functions Aµi = x1^(4-i)(x1x3-3x2)^(i-1)—are Lie symmetries of D, commute, and span a complement to D on a dense subset of R6. No derivation or code is supplied (\"long calculations performed with symbolic mathematical programs\"), and the table itself notes that extending them to all of R6 is open. The paper never names the dense subset, proves the determinant condition, or verifies the commutation/symmetry relations. If these algebraic identities fail—or if the zero set of the determinant has nonempty interior—the four-contact classification for classes 7/8 collapses. The VG Lie algebra closures for these classes, which make the Goursat distributions Lie systems, similarly depend on unshown structure constants for 8- and 12-dimensional algebras. Classes 1-6 are not the issue: their generators bracket-check by hand, and class 6's exclusion uses a clean rank argument on x5=0.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies Goursat distributions on R^4, R^5, and R^6 and claims that each admits a basis of generators contained in a finite-dimensional Vessiot–Guldberg (VG) Lie algebra, making the associated control systems Lie systems. It further characterizes which of these Goursat distributions are k-contact: classes 1–5 are k-contact (two-, three-, or four-contact), class 6 is not, and classes 7 and 8 are claimed to be four-contact on a dense subset. Applications to zero- and one-trailer systems and to parabolic Cartan geometries are discussed, with three explicit examples of k-contact distributions arising from flat Cartan geometries.","tokens_in":10344,"tokens_out":4663,"duration_ms":47112,"significance":"If the unverified computations for classes 7 and 8 can be supplied, the paper would provide a complete local classification of Goursat distributions in dimensions up to six as Lie systems and would identify new k-contact structures, extending the framework of [12]. The explicit vector fields, structure constants, and Reeb vector fields in Table 1 are a useful resource, and the class 6 exclusion argument via the rank of D^4 on x_5=0 is convincing and checkable. The paper is weaker for classes 7 and 8, where the central claims are deferred to 'long calculations performed with symbolic mathematical programs' with no reproducible computation or identification of the dense subset; as written, those parts cannot be verified by the reader.","major_comments":[{"comment":"The four-contact classification for classes 7 and 8 rests entirely on the assertion that the four vector fields S1,...,S4 in Table 1, constructed from Aμi = x1^(4-i)(x1x3-3x2)^(i-1), are Lie symmetries of D, commute pairwise, and span a complement to D on a dense subset of R^6. The manuscript does not identify the dense subset, prove the determinant condition for D ⊕ ⟨S1,...,S4⟩ = TR^6, or verify the symmetry and commutation relations; it refers only to 'long calculations performed with symbolic mathematical programs'. Since the table itself states that extending the Reeb vector fields to all of R^6 is open, the four-contact statement for these classes is not established in the written record.","section":"§2, Theorem 2 and Table 1 (classes 7 and 8)"},{"comment":"The Lie-system claim for classes 7 and 8 relies on the asserted 8-dimensional (class 7) and 12-dimensional (class 8) VG Lie algebra closures with the listed nonzero structure constants. No computation is shown for these closures, and it is not demonstrated that the brackets of the displayed generators close on the indicated spans with those constants. This is a load-bearing gap, because containment in a finite-dimensional Lie algebra is exactly what makes these distributions Lie systems.","section":"§2, Table 1 (classes 7 and 8)"}],"minor_comments":[{"comment":"In the recursive definition of ad^k_{X2} X1, the base case ad^0_{X2} X1 = X1 should be stated explicitly.","section":"§1.1"},{"comment":"The column header 'R/commuting Lie symmetries S' is confusing; it should be split into separate columns for Reeb vector fields and commuting Lie symmetries where applicable.","section":"Table 1"},{"comment":"The table footnote uses D both for the distribution D and for the function D = x6+1 in classes 7 and 8; this collision should be resolved by renaming the function, for example Δ.","section":"Table 1 footnote"},{"comment":"The symbol '/subsetplus' in 'iso(2) = so(2) /subsetplus R^2' appears to be a typo for the semidirect product symbol; please correct it.","section":"§3"},{"comment":"The phrase 'originates new types of k-contact distributions' is imprecise: the paper classifies existing Goursat distributions as k-contact rather than constructing new distributions; consider rephrasing.","section":"Abstract"},{"comment":"Reference [12] is cited as an arXiv preprint; if a published version now exists, it should be cited.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The central issue is verifiability of the symbolic computations for classes 7 and 8. I recommend asking the authors to provide an appendix with the bracket computations, the determinant of the Reeb frame, and a description of the dense subset, or to deposit a reproducible script (e.g., Maple, Mathematica, or DifferentialGeometry). The class 6 argument and the Cartan geometry examples are solid, and the paper's fit with the journal is good, but the main new classification claims for classes 7 and 8 are currently not checkable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing to know: this paper gives a complete classification table for Goursat distributions on R4–R6 as Lie systems and k-contact structures. The table is explicit and largely checkable by hand for classes 1–6, and the class-6 negative result is a clean rank argument. The soft spot is classes 7 and 8, where the proof rests on unshown symbolic computation.\n\nWhat is actually new: Table 1, which lists explicit generators, structure constants, and Reeb vector fields for all Goursat classes on R4–R6, and the assertion that class 6 is not k-contact. The applications to trailer systems are concrete and give new examples of Lie systems. The authors honestly state that extending the Reeb fields for classes 7 and 8 to all of R6 is open.\n\nWhere it gets soft: the proof of Theorem 2 for classes 7 and 8 says 'long calculations performed with symbolic mathematical programs' and supplies neither code nor a derivation. The dense subset on which the Reeb fields work is never named or proven to be nonempty with interior. That is a real gap in the central claim, but it is an addressable one: the table gives the actual expressions, so a referee can verify them. If they fail, the k-contact part shrinks, but the Lie-system classification of classes 1–6 stands independently.\n\nThe Cartan geometry section is more of a survey of examples and ends with a speculative remark about flatness not being necessary; it is not a proof of anything deep, but it is clearly labeled as inspection.\n\nOverall: the classification is probably correct, and the explicit data makes the paper useful even before full verification. I would send it to a serious referee, with the request that the authors provide a reproducibility appendix (computations or code) and a precise description of the dense subset for classes 7 and 8. This is a paper for specialists in Goursat distributions, k-contact geometry, and geometric control theory; I would not bring it to a general reading group, but it deserves more than a desk reject.","headline":"A useful and likely correct classification table for Goursat distributions on R4–R6, with a verification gap in the symbolic computations for classes 7 and 8.","tokens_in":10810,"tokens_out":4239,"would_cite":true,"duration_ms":41775,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D10","58A30","34A26"],"pacs":[],"model":"deepseek-v4-flash","headline":"In dimensions four through six, every Goursat distribution is a Lie system, and Table 1 classifies which are k-contact.","keywords":["Goursat distribution","k-contact geometry","Lie system","Vessiot–Guldberg Lie algebra","superposition rule","trailer system","Kumpera–Ruiz normal form","parabolic Cartan geometry"],"falsifier":"A direct symbolic check that the vector fields $X_1,\\ldots,X_{12}$ of class 8 satisfy $[X_i,X_j]=\\sum_k c^k_{ij}X_k$ with the listed structure constants, and that the proposed $S_1,\\ldots,S_4$ commute, preserve the distribution, and span a complement to it at a generic point of $\\mathbb{R}^6$, would settle the classification; any failed bracket identity or any point where the symmetries are not supplementary refutes the $k$-contact claim for that class.","tokens_in":9903,"feed_emoji":"📐","tokens_out":10341,"duration_ms":91730,"temperature":0.7,"pith_summary":"This paper claims that every Goursat distribution on $\\mathbb{R}^4$, $\\mathbb{R}^5$, or $\\mathbb{R}^6$ is generated by vector fields lying in a finite-dimensional Vessiot–Guldberg Lie algebra, so each one underlies a Lie system with a superposition rule. It also characterises which of these distributions are $k$-contact: classes 1 through 5 are two-, three-, or four-contact, class 6 is not $k$-contact, and classes 7 and 8 are four-contact only on a dense subset of $\\mathbb{R}^6$. A reader should care because Goursat distributions model nonholonomic systems such as trailer robots, and the classification turns these into explicitly solvable Lie systems in dimensions where few such systems were known. The results also connect $k$-contact geometry, a generalisation of contact geometry, to parabolic Cartan geometries through explicit examples.","feed_headline":"Every Goursat distribution in dimensions 4–6 is a Lie system","feed_subtitle":"Table 1 says which are k-contact, giving new solvable control systems and Cartan-geometry links.","key_machinery":"The working object is the Goursat distribution, a rank-two distribution whose derived flag grows by exactly one dimension at each step. The machinery is the Kumpera–Ruiz normal-form classification of these distributions on manifolds of dimension four, five, and six, combined with the construction of Vessiot–Guldberg Lie algebras spanned by the two generators and their iterated brackets $\\operatorname{ad}^k_{X_2}X_1$. The $k$-contact criterion is that the distribution be maximally non-integrable and admit $k$ commuting Lie symmetries spanning a complement; Table 1 realises this by explicit Reeb vector fields, and the Schouten–Nijenhuis bracket $[Y, X_1\\wedge X_2] = f\\, X_1\\wedge X_2$ decides when no such symmetries can exist.","core_discovery":"The central discovery is that the Kumpera–Ruiz normal forms for Goursat distributions on $\\mathbb{R}^4$, $\\mathbb{R}^5$, and $\\mathbb{R}^6$, expressed as pairs $\\langle X_1, X_2\\rangle$, close under Lie bracket on finite-dimensional Lie algebras of vector fields, with structure constants listed in Table 1. Consequently each such distribution gives a locally automorphic Lie system, meaning its general solution can be written through a superposition rule. The same table records commuting Lie symmetries for each class: classes 1–5 admit global Reeb vector fields and are two-, three-, or four-contact; class 6 is shown not to be four-contact because its symmetries cannot span a complement to the distribution on the submanifold $x_5 = 0$; and classes 7 and 8 admit Reeb vector fields generated from the functions $A^i_\\mu = x_1^{4-i}(x_1 x_3 - 3 x_2)^{i-1}$ for $i=1,\\ldots,4$, valid on a dense subset, with extension to all of $\\mathbb{R}^6$ left open.","pith_inferences":["The dense-subset Reeb vector fields in classes 7 and 8 hint that the $k$-contact structure may degenerate on an explicit singular locus; locating that locus would settle whether the open extension problem is solvable or genuinely obstructed.","The parametrisation of Reeb vector fields by arbitrary functions $A(x_1,x_2,x_3)$ suggests that other choices of $A$ could produce new $k$-contact structures on $\\mathbb{R}^6$, possibly new Lie systems beyond the four-contact examples listed.","The same Schouten–Nijenhuis criterion used to rule out class 6 could be applied to Goursat distributions in dimension seven and higher, giving a route toward a full classification of higher-dimensional Goursat $k$-contact structures.","If the flat Cartan examples are representative, $k$-contact geometry may serve as a practical test for whether a distribution comes from a flat parabolic geometry, since all three flat models checked here are $k$-contact."],"forward_implications":["Every Goursat control system on $\\mathbb{R}^4$, $\\mathbb{R}^5$, or $\\mathbb{R}^6$ inherits a superposition rule from its Vessiot–Guldberg Lie algebra, so its general solution can be assembled from a generic family of particular solutions.","The zero-trailer system is a conservative contact Lie system invariant under the Euclidean group $\\mathrm{ISO}(2)$, and its general solution is obtained by applying that group action to one particular solution.","The one-trailer system, a front-wheel-driven car with trailer, and the Martinet sphere recover and extend previously known Lie systems, now placed inside the Goursat classification of Table 1.","Flat parabolic Cartan geometries of types $(SO(3,4),P_1)$, $(G_2,P_1)$, and $(Sp(4,1),P)$ give rise to three-contact distributions, and the $(2,3,5)$ example shows flatness is not necessary for a Cartan-type distribution to be $k$-contact.","Class 6 Goursat distributions are not $k$-contact, so the $k$-contact condition is a genuine restriction inside the Goursat family."],"supporting_citations":[{"why":"Supplies the Kumpera–Ruiz normal forms that are the starting point for listing the vector fields in Table 1.","marker":"[9]"},{"why":"Gives the Goursat classification and the trailer-system examples that the paper recasts as Lie systems and k-contact distributions.","marker":"[18]"},{"why":"Provides the definition of k-contact distributions and the symmetry-spanning criterion the paper applies.","marker":"[12]"},{"why":"Establishes the Vessiot–Guldberg Lie algebra framework that turns the generator families into Lie systems.","marker":"[4]"},{"why":"Defines locally automorphic Lie systems, the property used to assert superposition rules from the table.","marker":"[8]"},{"why":"Supplies the Schouten–Nijenhuis bracket identity used to prove that class 6 is not k-contact.","marker":"[14]"},{"why":"Defines conservative contact Lie systems, the structure used to analyse the zero-trailer system.","marker":"[11]"},{"why":"Provides the control-theory Lie systems (car with trailer, Martinet sphere) that the classification recovers and extends.","marker":"[19]"}],"fun_headline_variants":["Every Goursat distribution in R^4–R^6 is a Lie system","k-contact classification for all Goursat on R^4–R^6","Goursat in low dims: every distribution is a Lie system","From Goursat to Lie: new k-contact pathways in low dims"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The classification in Table 1 depends on symbolic computations that are reported without derivation or reproducible code, and for classes 7 and 8 the Reeb vector fields are only shown to exist on a dense subset of $\\mathbb{R}^6$, not on the whole manifold.","fun_headline_variants_meta":{"raw":{"variants":["Every Goursat distribution in R^4–R^6 is a Lie system","k-contact classification for all Goursat on R^4–R^6","Goursat in low dims: every distribution is a Lie system","From Goursat to Lie: new k-contact pathways in low dims"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001457,"raw_usage":{"total_tokens":5839,"prompt_tokens":894,"completion_tokens":4945,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":510,"completion_tokens_details":{"reasoning_tokens":4860}},"tokens_in":510,"tokens_out":4945,"duration_ms":39142,"temperature":1.0,"reasoning_tokens":4860,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T13:10:36.486671+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct symbolic check that the vector fields $X_1,\\ldots,X_{12}$ of class 8 satisfy $[X_i,X_j]=\\sum_k c^k_{ij}X_k$ with the listed structure constants, and that the proposed $S_1,\\ldots,S_4$ commute, preserve the distribution, and span a complement to it at a generic point of $\\mathbb{R}^6$, would settle the classification; any failed bracket identity or any point where the symmetries are not supplementary refutes the $k$-contact claim for that class.","supporting_citations":[{"cited_title":"In: Monge-Ampère equations and related topics (Florence, 1 980), pp","cited_arxiv_id":null,"evidence_quote":"Supplies the Kumpera–Ruiz normal forms that are the starting point for listing the vector fields in Table 1."},{"cited_title":"ESAIM - Control Optim","cited_arxiv_id":null,"evidence_quote":"Gives the Goursat classification and the trailer-system examples that the paper recasts as Lie systems and k-contact distributions."},{"cited_title":"Dissertationes Math","cited_arxiv_id":null,"evidence_quote":"Establishes the Vessiot–Guldberg Lie algebra framework that turns the generator families into Lie systems."},{"cited_title":"Journal o f Physics A: Mathe- matical and Theoretical 52(21) (4 2019), 10.1088/1751-8121/ab15f2 Novel pathways in k-contact geometry 9","cited_arxiv_id":null,"evidence_quote":"Defines locally automorphic Lie systems, the property used to assert superposition rules from the table."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines conservative contact Lie systems, the structure used to analyse the zero-trailer system."},{"cited_title":"Sistemas de Lie y sus aplicaciones en F\\'{\\i}sica y Teor\\'{\\i}a de Control","cited_arxiv_id":"1106.3775","evidence_quote":"Provides the control-theory Lie systems (car with trailer, Martinet sphere) that the classification recovers and extends."}],"review_version":1}