{"id":"81161f18-16f3-420f-aecc-b85a3190b08d","arxiv_id":"2412.17090","paper_version":6,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Non-hyperelastic Cauchy elastic solids are classified through Darboux normal forms of the stress-work 1-form, giving up to six generalized energy functions in general, three for compressible isotropic solids, and two for incompressible isotropic solids.","lead":"This paper rebuilds the theory of elastic solids whose stress does not come from an energy function, showing that their constitutive behavior can be organized by a small number of generalized energy potentials. It is a framework for active and odd elastic materials that can absorb or release energy during cyclic deformations.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Global Darboux classification lacks constant-rank/patchwise hypothesis; the paper's own Hencky example switches rank at the natural state.","rationale":"The paper contains a large amount of correct local mechanics: the covariance derivation, the generalized Doyle-Ericksen formula, and the linear Cauchy elasticity protocols (§9) are internally consistent. The linear case is safe because dΩ is a constant 2-form, so its rank is constant. The load-bearing problem is the unqualified global use of Darboux normal forms. The Hencky example, which the authors themselves use to show non-hyperelasticity, has nonconstant rank; hence a material need not belong to a single Edelen type. This does not refute the local constitutive representation, but it changes the global claim: the 'number of potentials' is a local maximal count, and the taxonomy by type requires a stratification. The reader's weakest assumption identified exactly this missing constant-rank/patchwise condition. Since the fix is to add a hypothesis and reformulate the global statements patchwise, the CONDITIONAL verdict remains appropriate; no stronger action is needed.","tokens_in":68057,"tokens_out":31955,"duration_ms":276702,"concrete_test":"Using the Hencky model of §5.4.8, compute the Darboux rank of Ω = τ:dh♭ as a function of the principal stretches λ_i: show dΩ = −2µJ Σ_{i<j}(logλ_i − logλ_j)d(logλ_i)∧d(logλ_j), so rank(Ω) is 0 at λ_i=1 and 1 at generic non-equal stretches. Then attempt to construct global smooth potentials φ_i,ψ_i on the full strain space such that Ω = φ_1 dψ_1 + dψ_2 for this model; if the rank changes, Darboux normal coordinates cannot be global, confirming that the classification and Eq. (4.59) must be reformulated patchwise.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central classification (Abstract; §5.4, Eqs. (5.21)–(5.26)) treats the Edelen type of a Cauchy elastic solid as a global property. Darboux’s theorem (Thm. 3.1) is local and assumes constant Darboux rank on the neighborhood; the paper never states this hypothesis or the need for a rank stratification. This is not a pedantic gap: the paper’s own Example 1 (§5.4.8), the Hencky model τ = 2µJ h♯ + λJ logJ g♯, has Ω = Σ_i [2µJ logλ_i + λJ logJ] d(logλ_i) in principal stretches, and dΩ = −2µJ Σ_{i<j}(logλ_i − logλ_j) d(logλ_i)∧d(logλ_j). At the natural state λ_i = 1 the rank is 0 (dΩ = 0), while for non-equal stretches the rank is 1 (dΩ ≠ 0). Thus one material switches Edelen type across its strain space. Consequently the statements that an incompressible isotropic Cauchy solid 'is either hyperelastic or Ericksen elastic' (§5.4.2), the global potential counts in §5.4.4, and the global representation S = 2Σφ_i ∂ψ_i/∂C♭ (Eq. (4.59)) are not justified as global statements; they are valid only on each rank stratum, and the potentials may need to be defined patchwise.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a geometric formulation of nonlinear Cauchy elasticity built on the stress-work 1-form Ω = (1/2) S : dC♭. Its central claim is that Darboux's theorem classifies Cauchy elastic solids into six Edelen types, so that anisotropic Cauchy elasticity requires at most six generalized energy functions, compressible isotropic at most three, incompressible isotropic at most two, and transversely isotropic at most five (or four incompressible). On this basis the authors derive a generalized Doyle-Ericksen formula, discuss objectivity versus balance of angular momentum, revisit work theorems, introduce geometric hysteresis as net work over closed strain paths, connect the framework to active solids and odd elasticity, analyze linear Cauchy elasticity with antisymmetric elastic constants, and sketch Cauchy anelasticity and Cosserat-Cauchy elasticity.","tokens_in":68276,"tokens_out":9565,"duration_ms":93852,"significance":"If the classification is understood correctly, the paper gives a unifying and largely novel framework for a theory that has been marginalized since the 1940s. Its linear-theory analysis is concrete and useful: the decomposition into symmetric and antisymmetric elasticity tensors and the proposed cyclic displacement-control experiments for each symmetry class are actionable. The Hencky and Becker examples are worked carefully, and the connection between Cauchy elasticity, geometric hysteresis, and odd elasticity clarifies a currently active literature. The main mathematical engine is classical Darboux theory, but the application to constitutive equations is nontrivial and the paper contains a large number of internally consistent calculations. The principal weakness is that the Darboux classification is presented as a global property of a material whereas the theorem is local and requires constant rank; the paper's own Hencky example exhibits a rank change.","major_comments":[{"comment":"Darboux's theorem is local and requires constant Darboux rank on the chart, but the classification section never states this hypothesis and instead assigns each material a single Edelen type. The paper's own Example 1 in §5.4.8 shows the problem: for the Hencky model τ = 2µJ h♯ + λJ logJ g♯, the stress-work form is Ω = Σ_i [2µJ logλ_i + λJ logJ] d(logλ_i) and dΩ = −2µJ Σ_{i<j}(logλ_i − logλ_j) d(logλ_i)∧d(logλ_j), so dΩ = 0 at the natural state λ_i = 1 and dΩ ≠ 0 for unequal stretches. Thus a single material switches between rank 0 and rank 1, and the statements in §5.4.2 that an incompressible isotropic Cauchy solid is either hyperelastic or Ericksen elastic, the global potential counts in §5.4.4, and the global representation S = 2Σ φ_i ∂ψ_i/∂C♭ in Eq. (4.59) are not justified as global statements. They are valid only on each rank stratum, and the potentials may need to be defined patchwise.","section":"§3.1, Theorem 3.1; §5.4, Eqs. (5.21)–(5.26)"},{"comment":"The generalized Doyle-Ericksen formula is derived from the six-potential Darboux normal form before the rank-degeneracy issue is addressed. Since the normal form is local and the potentials are non-unique, as Remark 5.4 itself observes, the factorization P = Σ φ_i ∂ψ_i/∂F and the covariance conclusion that φ_i and ψ_i depend on C♭ only should be stated as local results on each Darboux chart. As written, Proposition 4.2 asserts a global constitutive representation that inherits the unsupported global Darboux assumption; a short patchwise statement would fix this without changing the local formula.","section":"§4.3.4, Eqs. (4.53)–(4.59)"},{"comment":"The pseudoelasticity reversal calculation assumes that on the reverse of the unloading path the internal variable takes the value η0, leading to W(−Γ) = W(Γ). For a history-dependent pseudoelastic material, reversing the unloading path starts from η = η̄(F1) at F1, not from η0, and the reverse path is a loading branch that requires its own evolution rule. The conclusion that pseudoelasticity is dissipative in the same sense as the examples considered is therefore not established by the calculation as written; the contrast with the Cauchy-elasticity identity W(−Γ) = −W(Γ) needs a more careful path-wise argument.","section":"§5.4.6, Eqs. (5.56)–(5.62)"}],"minor_comments":[{"comment":"There are numerous typos and stylistic inconsistencies: 'an strain energy function' in the abstract, 'hystresis' for 'hysteresis', 'isotopic' for 'isotropic', 'hyperealstic' in §5.4.8, and 'electrmagnetic' in §7. A careful proofreading pass is needed.","section":"Throughout"},{"comment":"The identity Ω = τ : dh♭ should be qualified by the specific logarithmic rate or by a reference to the Xiao–Bruhns–Meyers theorem, otherwise it may be read as a general coordinate identity for any strain measure.","section":"§4.2, Eq. (4.25)"},{"comment":"The paper defines the rank of a 1-form via (dΩ)^k and later the rank of the Pfaffian equation via Ω∧(dΩ)^r; the relation between the two notions is implicit and could be stated explicitly to avoid confusion.","section":"§3.1"},{"comment":"The terms 'at most five' and 'at most four' generalized energy functions for transversely isotropic solids are upper bounds on each rank stratum. Once the patchwise nature of the Darboux normal forms is acknowledged, these bounds should be phrased as local stratification statements rather than global material properties.","section":"§5.2.2 and §5.4.4"}],"recommendation":"major_revision","confidential_remarks":"This is a broad and ambitious paper. The main mathematical engine is Darboux's classical theorem applied to the stress-work 1-form; the novelty lies in the systematic application to Cauchy elasticity, the constitutive representations, and the linear experimental protocols. The rank-degeneracy issue is genuine and load-bearing, but it is fixable: the authors should restate the classification locally on rank strata and adjust the global counts and the generalized Doyle-Ericksen formula accordingly. The Hencky example in the paper already demonstrates the issue, so the fix is within the manuscript's own scope. I do not see grounds for rejection; the linear elasticity sections and the worked examples appear sound and valuable. The pseudoelasticity reversal calculation in §5.4.6 should also be revisited."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe thing to know: this is a real contribution, not just a repackaging. The Darboux classification of the stress-work 1-form is Edelen's, and the two-potential Ericksen class is Ericksen's—both are cited honestly—but the covariant derivation of the generalized Doyle-Ericksen formula, the symmetry-specific counts (six anisotropic, three compressible isotropic, two incompressible isotropic, five transversely isotropic), and the geometric-hysteresis interpretation are new and well executed. The linear theory section is also strong: the antisymmetric-constant structure for the eight symmetry classes is worked out carefully, and the proposed displacement-control protocols for measuring those constants are concrete enough to hand to an experimentalist.\n\nThe central math is internally consistent. I checked the Hencky and Becker examples; their non-hyperelasticity is shown cleanly. The linear work formulas for triclinic and orthotropic cases are correct. This is the best modern treatment of Cauchy elasticity I know.\n\nThe soft spot is real, though: the paper states the Edelen type and the potential counts as global facts about a material. Darboux's theorem is local and assumes constant rank of the stress-work 1-form. The paper never states this hypothesis, and its own Example 1 gives a Hencky model whose dΩ vanishes at the natural state but is nonzero elsewhere—so the same material belongs to different Edelen types on different rank strata. Consequently, claims like 'an incompressible isotropic Cauchy elastic solid is either hyperelastic or Ericksen' are only valid per stratum, and the constitutive representation (4.59) may need patchwise potentials. This does not sink the generic-case classification, but the authors should add a rank-stratification discussion and state the constant-rank assumption explicitly. It matters for the linear protocols if rank degenerates in the loading region.\n\nTwo smaller concerns: the transfer of existing eigenstrain and defect solutions to Cauchy elasticity is asserted, not demonstrated; and the active-solid examples are illustrative rather than validated against data. Neither is fatal.\n\nWho should read this: anyone working on odd elasticity, active solids, or the foundations of elasticity. It deserves a serious referee, and I would accept it for review with the expectation of revision on the global-vs-local point.","headline":"A serious, mostly sound revival of Cauchy elasticity; the Darboux classification and potential counts are the load-bearing part, but they need a rank-stratification caveat that the paper omits.","tokens_in":68877,"tokens_out":2251,"would_cite":true,"duration_ms":23223,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["74B20","74A20"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that every objective Cauchy elastic solid has a constitutive equation of the form $S = 2\\sum \\varphi_i \\, \\partial\\psi_i/\\partial C^\\flat$, with at most six generalized energy functions, because the stress-work 1-form…","keywords":["Cauchy elasticity","Green elasticity","hyperelasticity","stress-work 1-form","Darboux theorem","geometric hysteresis","odd elasticity","antisymmetric elastic constants"],"falsifier":"Compute the Darboux rank of $\\Omega$ on a small neighborhood of the natural state $C = I$ for a smooth objective Cauchy solid: if the rank $k$ changes at some strain value, no fixed number of Edelen-Darboux potentials can represent the solid globally, and the proposed measurement protocols of §9.2 would need patchwise reformulation.","tokens_in":67779,"feed_emoji":"⚙️","tokens_out":6718,"duration_ms":59180,"temperature":0.7,"pith_summary":"This paper revives the original, pre-energy theory of elasticity, Cauchy elasticity, in which stress depends directly on strain and no strain-energy function is assumed. Its central claim is that the fundamental object is the stress-work 1-form $\\Omega = \\tfrac{1}{2} S : dC^\\flat$, and that Darboux's theorem classifies this 1-form into a small number of canonical shapes. As a result, any objective Cauchy elastic solid can be written with at most six generalized energy functions (three for compressible isotropic, two for incompressible isotropic solids), and stress splits naturally into conservative and non-conservative parts. Because stress need not be conservative, cyclic deformations can yield net work whose sign flips when the cycle is reversed, a geometric hysteresis that is non-dissipative yet non-conservative. This matters for modeling active solids such as muscle and metamaterials, and it shows that the modern 'odd elasticity' is exactly linear Cauchy elasticity.","feed_headline":"One 1-form reduces Cauchy elasticity to six functions","feed_subtitle":"Non-hyperelastic solids reduce to six potential functions, and cyclic tests can expose their hidden constants.","key_machinery":"The stress-work 1-form $\\Omega = \\tfrac{1}{2} S : dC^\\flat$ is a differential 1-form on the strain manifold; its exterior derivative $d\\Omega$ measures the failure of the stress to be conservative. Darboux's theorem supplies six canonical (normal) forms for $\\Omega$, parameterized by Edelen-Darboux potentials $(\\varphi_i, \\psi_i)$, and these potentials replace the single strain-energy function of hyperelasticity. The generalized Doyle-Ericksen formula $S = 2\\sum \\varphi_i \\, \\partial\\psi_i/\\partial C^\\flat$ converts the normal forms into constitutive equations, while the Pfaffian equation $\\Omega = 0$ describes strain paths on which stress does zero work.","core_discovery":"On the paper's own terms, the mechanical response of a Cauchy elastic solid is fully encoded in the stress-work 1-form $\\Omega = \\tfrac{1}{2} S : dC^\\flat$ on the six-dimensional space of right Cauchy-Green strains. By Darboux's theorem this 1-form takes one of six normal forms, so the second Piola-Kirchhoff stress satisfies $S = 2\\sum_{i=1}^3 \\varphi_i \\, \\partial\\psi_i/\\partial C^\\flat$ (equivalently a generalized Doyle-Ericksen formula), where $(\\varphi_i, \\psi_i)$ are Edelen-Darboux potentials depending on strain. The number of potentials is six for general anisotropy, five for transversely isotropic solids, three for compressible isotropic solids, and two for incompressible isotropic solids, which forces incompressible isotropic Cauchy solids to be either hyperelastic or Ericksen elastic. The paper also establishes that objectivity implies the balance of angular momentum but not conversely, that balance laws follow covariantly without Noether's theorem, and that cyclic deformations carry a geometric hysteresis equal to the integral of $d\\Omega$ over the enclosed strain area.","pith_inferences":["A likely global refinement: the six-potential count is local to regions of constant Darboux rank; at symmetry boundaries or the unstressed state the rank may degenerate, so a global representation would be piecewise.","The work-line-bundle picture suggests that cyclic deformation protocols could be designed to measure not just individual antisymmetric constants but also the integrated curvature, which would give a bulk signature distinguishing conservative from non-conservative response without knowing the potentials.","Viewing active-muscle stresses as Edelen-Darboux potentials yields testable predictions: a muscle whose active stress depends on both $I_1$ and $I_4$ should perform net work in a strain cycle, whereas one depending only on $I_4$ should not.","The geometric hysteresis is a phase-like quantity, so in anisotropic solids one could look for analogies to the Berry phase: reversing the order of two stretching cycles should exchange the sign of net work, an experiment realizable with soft robotic or metamaterial actuators."],"forward_implications":["Any objective Cauchy elastic solid exhibits a natural additive decomposition of stress into conservative and non-conservative parts, with the non-conservative part acting like a deformation-dependent body force.","Incompressible isotropic Cauchy elasticity is exhausted by hyperelastic and Ericksen solids; no third incompressible isotropic non-hyperelastic type exists.","Linear anisotropic Cauchy elasticity carries 15 antisymmetric elastic constants beyond the symmetric ones, and all of them can be measured through sinusoidal displacement-control cyclic tests by reading the geometric hysteresis.","Strain-dependent active stress in biological solids is a Cauchy elastic effect; in the absence of a potential, active stress contributes non-zero net work in cyclic deformations.","Cosserat-Cauchy elastic solids in three dimensions are characterized by at most 24 generalized energy functions."],"supporting_citations":[{"why":"Supplies the Darboux classification of the stress-work 1-form into six canonical forms that the paper extends to covariance and symmetry counts.","marker":"[Edelen, 1977]"},{"why":"Introduces the stress-work 1-form and the integrability postulate defining Ericksen materials.","marker":"[Ericksen, 1956]"},{"why":"Establishes thermodynamic consistency of Cauchy elasticity and the sign-reversal of cyclic stress work.","marker":"[Green and Naghdi, 1971]"},{"why":"Provides the normal forms theorem on which the whole classification of generalized energy functions rests.","marker":"[Darboux, 1882]"},{"why":"Analyzes the stress-work 1-form and shows objectivity and angular-momentum balance need not be equivalent for Cauchy materials.","marker":"[Kadić, 1980]"},{"why":"Gives the classical Doyle-Ericksen formula that the paper generalizes to six potentials.","marker":"[Doyle and Ericksen, 1956]"}],"fun_headline_variants":["Cauchy elasticity: six potentials, no energy function","Cyclic tests expose hidden constants in non-hyperelastic solids","One 1-form, six potentials: Cauchy elasticity simplified","Darboux theorem reduces Cauchy elasticity to six functions","Isotropic Cauchy solids need only three potentials"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole classification assumes the stress-work 1-form is smooth on the strain manifold and keeps a constant Darboux rank, so the same number of potentials holds everywhere.","fun_headline_variants_meta":{"raw":{"variants":["Cauchy elasticity: six potentials, no energy function","Cyclic tests expose hidden constants in non-hyperelastic solids","One 1-form, six potentials: Cauchy elasticity simplified","Darboux theorem reduces Cauchy elasticity to six functions","Isotropic Cauchy solids need only three potentials"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00044,"raw_usage":{"total_tokens":2227,"prompt_tokens":935,"completion_tokens":1292,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":551,"completion_tokens_details":{"reasoning_tokens":1215}},"tokens_in":551,"tokens_out":1292,"duration_ms":11501,"temperature":1.0,"reasoning_tokens":1215,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T05:48:50.836589+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the Darboux rank of $\\Omega$ on a small neighborhood of the natural state $C = I$ for a smooth objective Cauchy solid: if the rank $k$ changes at some strain value, no fixed number of Edelen-Darboux potentials can represent the solid globally, and the proposed measurement protocols of §9.2 would need patchwise reformulation.","supporting_citations":[],"review_version":1}