{"id":"3401f9bb-3358-48d6-ad8b-b295a8cf4fc7","arxiv_id":"2411.12552","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"The corotational stability postulate implies that all standard incremental Cauchy stress moduli (Young, equibiaxial, planar tension, bulk) are positive in diagonal homogeneous deformations of isotropic hyperelastic materials.","lead":"This paper shows that a single mathematical stability condition, the corotational stability postulate, forces the stress-strain curves of any isotropic elastic material to rise monotonically in the standard laboratory tests: simple stretching, biaxial stretching, planar tension, and hydrostatic pressure.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (4.4) silently assumes reparameterization by λ1; CSP itself supplies the missing λ̇1≠0, so the gap is real but repairable.","rationale":"The reader's weakest assumption points to the solvability of the lateral stress-free conditions as the load-bearing step. In good faith, this is partially correct but mislocated: the actual unproven premise in (4.4) is the reparameterization of the path by λ1 (λ̇1 ≠ 0). The lateral stretches do not need to be pre-expressed as functions of λ1 through solving σ2 = σ3 = 0; the given path itself suffices if it is regular over λ1. Moreover, CSP directly enforces such regularity, because with σ2 = σ3 = 0 the CSP inner product reduces to σ̇1λ̇1/λ1, making a zero axial stretch rate incompatible with positivity. Hence the central claim is mathematically sound and the proof is repairable with one additional observation. The other concerns raised by the reader—the incompressible pressure cancellation and the deferred equivalence to TSTS-M^+—are not load-bearing for the positivity conclusion: the pressure term cancels owing to tr D = 0, and the theorem uses only the definition of CSP, not the equivalence. The verdict remains CONDITIONAL because the paper should explicitly supply the missing reparameterization justification and, ideally, a remark on the pressure cancellation in §4.2.","tokens_in":24049,"tokens_out":19494,"duration_ms":192450,"concrete_test":"Add and verify the missing lemma: for any admissible uniaxial path with D ≠ 0 and σ2 = σ3 = 0, CSP implies λ̇1 ≠ 0 (if λ̇1 = 0, the inner product σ̇1λ̇1/λ1 vanishes). Then define σ̃(λ1) as the value of σ1 at the unique time with axial stretch λ1 and re-derive (4.4) using only the chain rule and the inverse function theorem for t ↦ λ1, without any additional solvability assumption on the lateral equations. If this derivation goes through for the compressible uniaxial case, the central claim is verified as stated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In §4.1 the uniaxial computation (4.4) writes λ2 = λ3 = λ2(λ1(t)) and then performs the chain-rule step ∂t[σ1(·)] = Dλ1σ̃(λ1(t))·λ̇1(t). This is valid only if the admissible path can be locally reparameterized by the axial stretch, i.e. if λ̇1(t) ≠ 0 along the path; otherwise the reduction to a single term fails and the conclusion Dλ1σ̃ > 0 is not established. The paper neither proves λ̇1 ≠ 0 nor states it as an assumption. The reader's proposed condition—solvability of σ2 = σ3 = 0 for λ2, λ3 by the implicit function theorem—is not the right requirement: the lateral stretches are already given along the admissible path, and the needed condition is merely that the path is a graph over λ1. This condition is actually forced by CSP: since σ2 = σ3 = 0 identically along a uniaxial path, the CSP inner product reduces to σ̇1λ̇1/λ1, so any nonzero admissible path with λ̇1 = 0 would give a zero inner product, contradicting CSP. Thus the proof can be repaired by adding a one-sentence lemma, but as written the step (4.4) is not fully justified.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the corotational stability postulate (CSP) in isotropic nonlinear elasticity, defined by the requirement that the inner product of any corotational stress rate with the deformation rate be strictly positive for all nonzero symmetric D. It recalls the equivalence between CSP and the TSTS-M^+ monotonicity condition in the logarithmic strain, and then specializes to homogeneous, diagonal deformation families corresponding to uniaxial tension, equibiaxial extension, planar tension, and hydrostatic tension. The central technical content is Section 4, where the CSP inequality is reduced along these test paths to positivity of the relevant incremental Cauchy stress moduli (Eqs. (4.4)-(4.10)). The paper also recalls known consequences of CSP (Baker-Ericksen and tension-extension inequalities, local invertibility of the Cauchy stress-stretch relation) and illustrates the results with compressible and incompressible versions of exponentiated Hencky, Neo-Hooke, and quadratic Hencky energies.","tokens_in":24263,"tokens_out":18848,"duration_ms":178872,"significance":"If the central claim is accepted, CSP emerges as a clean and easily checkable sufficient condition for monotone, physically reasonable stress-strain response in the standard homogeneous tests, complementing the rank-one convexity/LH-ellipticity condition. The derivations in Section 4 are elementary and transparent, and the examples provide concrete, falsifiable predictions, e.g., that exp-Hencky energies have monotone uniaxial Cauchy stress while quadratic Hencky energies can have non-monotone response. The paper is also honest about what CSP does not imply: it does not imply convexity of the energy nor LH-ellipticity. The main weakness is that the admissible-path structure used in the key reductions is not stated as a formal assumption, and one of the worked incompressible examples contains a quantitative formula error.","major_comments":[{"comment":"The chain-rule reduction in Eq. (4.4) is not fully justified as written. The manuscript assumes λ2 = λ3 = λ2(λ1(t)) without proving that the lateral conditions σ2 = σ3 = 0 determine λ2 and λ3 as locally smooth functions of λ1, nor that the admissible path can be reparameterized by λ1. Since the derivation divides by |λ̇1|²/λ1 to conclude Dλ1σ̃(λ1) > 0, the existence of admissible nonzero paths with λ̇1 ≠ 0 is needed. A short lemma repairs this: along a uniaxial path with σ2 = σ3 = 0 identically, the CSP inner product equals σ̇1 λ̇1/λ1, so any nonzero admissible path must have λ̇1 ≠ 0, and local reparameterization by λ1 follows. Please add this lemma and state the corresponding standing assumptions on existence and regularity of the admissible paths for Eqs. (4.4)-(4.6) as well.","section":"Section 4.1, Eq. (4.4)"},{"comment":"The incompressible reductions silently omit the pressure-rate term. Since σ = τ = -p 1 + τ_e when det F = 1, the material derivative contains -ṗ 1, and its inner product with D is -ṗ tr D. The reduction to ∑∂t[τ_i] λ̇_i/λ_i is valid only because tr D = 0 for isochoric motion. This one-line justification should be stated explicitly; as written, the derivation appears to ignore the pressure contribution without explanation.","section":"Section 4.2, Eqs. (4.8)-(4.10)"}],"minor_comments":[{"comment":"The principal stress formula in Eq. (5.16) contains an erroneous division by λ_i. For the incompressible exponentiated Hencky energy, τ_i = ∂W/∂log λ_i = 2μ exp(k‖log V‖²) log λ_i, so the displayed σ_i = τ_i = -p + 2μ (log λ_i)/λ_i e^{...} is inconsistent with Eq. (5.2) evaluated at det F = 1. The formulas in (5.17)-(5.18) and the corresponding curves should be corrected; the qualitative monotonicity conclusion is unaffected.","section":"Example 5.4, Eq. (5.16)"},{"comment":"The equivalence (1.1) ⇔ (1.3) is quoted from a submitted article and an in-preparation article. Since Section 4 repeatedly invokes the implication TSTS-M^+ ⇒ ⟨∂tσ,D⟩ > 0, the paper would be more self-contained if this equivalence were either proved here or explicitly declared as an imported result whose proof is available elsewhere.","section":"Footnote 1 and reference [25]"},{"comment":"The phrase \"diagonal, homogeneous deformations\" is broader than the class of standard tests (uniaxial, equibiaxial, planar, hydrostatic) analyzed in Section 4; a qualifier such as \"in standard homogeneous tests\" would make the scope of the claim more precise.","section":"Title and abstract"}],"recommendation":"major_revision","confidential_remarks":"The central theorem is likely correct, and the paper is suitable for Math.AP once the admissible-path assumptions are made explicit and the example formula is corrected. The heavy reliance on submitted/in-preparation papers from the same group for the CSP/TSTS equivalence is a concern: the editor may wish to verify that the equivalence in [30] and [25] is either accepted or proved in this manuscript before final acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here’s my take. The main theorem—CSP forces positive incremental Young, equibiaxial, planar-tension, and bulk moduli along diagonal homogeneous deformation families—is correct, and as far as I can tell it is new in that specific form. The uniaxial, equibiaxial, planar, and hydrostatic derivations in Section 4 are elementary but sound; the lateral stress conditions kill the extra terms and strict positivity of the CSP inner product does the rest. I also give the authors credit for being explicit that the conclusion is limited to constant-principal-axis paths and that CSP does not imply convexity or LH-ellipticity. The exp-Hencky / Neo-Hooke / Hencky examples genuinely illustrate the claim, including the non-monotone Hencky case.\n\nThe soft spots are real but minor. The stress-test note is right: step (4.4) silently assumes the uniaxial path can be reparameterized by λ1, i.e. that λ̇1≠0. This is not an implicit-function-theorem issue for the lateral stretches—the path already gives λ2=λ2(λ1(t)). The missing one-liner is that CSP itself excludes λ̇1=0 on an admissible path, since with σ2=σ3=0 the inner product would vanish. So the gap is real but trivially repairable, and it doesn’t threaten the central argument. The reader’s stated weakest assumption about solvability of σ2=σ3=0 for λ2,λ3 is beside the point.\n\nThe incompressible section leans on the equivalence between CSP and Hill’s inequality for the Kirchhoff stress, which is cited rather than demonstrated. Given the authors’ prior work that is probably fine, but a referee should ask for the pressure-cancellation calculation or a precise reference. The equivalence to TSTS-M^+ for all reasonable corotational rates is deferred to an in-preparation paper; again, that’s a dependency, not a flaw in Section 4.\n\nWho is this for? People working on constitutive inequalities in finite elasticity and on rate-type stability postulates. It won’t change the world, but it sharpens a program the same group has been developing, and the main implication is worth having on the record. It deserves a serious referee; I’d recommend conditional acceptance with a request for the small reparameterization lemma and a fuller treatment of the incompressible equivalence.","headline":"CSP implies positive incremental moduli in the four standard homogeneous tests, and the proof is basically right, with one small reparameterization gap that CSP itself closes.","tokens_in":24877,"tokens_out":2928,"would_cite":true,"duration_ms":27396,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["74B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that a single rate-type stability condition, the corotational stability postulate, forces every standard diagonal deformation test in isotropic hyperelasticity—uniaxial, equibiaxial, planar, and hydrostatic tension—to…","keywords":["corotational stability postulate","incremental Cauchy stress moduli","isotropic hyperelasticity","logarithmic strain","Hill inequality","Drucker stability","Baker-Ericksen inequality","tension-extension inequality"],"falsifier":"Search for an isotropic hyperelastic energy that satisfies the true-stress–true-strain monotonicity condition TSTS-M+ for all positive definite symmetric stretch tensors but whose compressible uniaxial path, obtained by solving $\\sigma_2(\\lambda_1,\\lambda_2,\\lambda_2)=\\sigma_3(\\lambda_1,\\lambda_2,\\lambda_2)=0$ for a smooth $\\lambda_2(\\lambda_1)$, has a negative slope $d\\tilde{\\sigma}_1/d\\lambda_1$ at some $\\lambda_1>1$; if such an energy exists, equation (4.4) and the central claim are contradicted.","tokens_in":23812,"feed_emoji":"📈","tokens_out":14636,"duration_ms":127193,"temperature":0.7,"pith_summary":"This paper tries to establish that one constitutive assumption, the corotational stability postulate (CSP), is strong enough to make Cauchy stress increase with stretch in every classical homogeneous test. For isotropic hyperelastic materials, when a homogeneous deformation keeps its principal axes fixed, the arbitrary corotational rate in CSP reduces to the ordinary material derivative, and the postulate becomes a monotonicity requirement along scalar loading curves. From that reduction the paper derives positive incremental moduli for uniaxial tension, equibiaxial extension, planar tension, and hydrostatic tension, in both compressible and incompressible response. A reader should care because CSP is a minimal rate-type stability condition that is independent of convexity and of local material stability, so these monotonicity consequences give it concrete physical content as a constitutive stability postulate.","feed_headline":"Corotational stability forces standard stress moduli positive","feed_subtitle":"One rate-type postulate keeps uniaxial, equibiaxial, planar and bulk Cauchy moduli from going negative.","key_machinery":"The load-bearing object is the corotational stability postulate (CSP): for every nonzero symmetric deformation rate tensor $D$, the inner product of $D$ with any corotational stress rate $\\frac{\\mathrm{D}^{\\circ}}{\\mathrm{D}t}[\\sigma]$ is positive, where a corotational rate adds to the material derivative a commutator term $\\sigma\\Omega - \\Omega\\sigma$ with an arbitrary spin tensor $\\Omega$. The decisive simplification is that for a diagonal, homogeneous family $F(t) = \\mathrm{diag}(\\lambda_1(t), \\lambda_2(t), \\lambda_3(t))$, the spin term vanishes and the material derivative becomes the ordinary time derivative of the principal stresses, so CSP reduces to a sum over principal rates. In each standard test the lateral boundary conditions eliminate lateral terms, leaving one term of the form $D_{\\lambda_1} \\tilde{\\sigma}(\\lambda_1)\\, |\\dot{\\lambda}_1|^2 / \\lambda_1$; because the factor $|\\dot{\\lambda}_1|^2/\\lambda_1$ is positive, positivity of the inner product is exactly positivity of the scalar derivative. This identity is what converts a tensor inequality into four positive incremental moduli.","core_discovery":"On the paper's own terms, the central discovery is the reduction encoded in equation (4.4): for a diagonal homogeneous deformation family, the positivity condition $\\langle \\frac{\\mathrm{D}^{\\circ}}{\\mathrm{D}t}[\\sigma], D \\rangle > 0$ collapses to a single term $D_{\\lambda_1} \\tilde{\\sigma}(\\lambda_1) \\, |\\dot{\\lambda}_1|^2 / \\lambda_1 > 0$, so the slope of the uniaxial Cauchy stress–stretch curve must be positive; the same calculation with different lateral constraints yields positivity of the incremental equibiaxial, planar tension, and bulk moduli, and their incompressible analogues with Kirchhoff stress in place of Cauchy stress. Since CSP is equivalent to monotonicity of the Cauchy stress as a function of logarithmic strain, the paper also recalls that CSP implies the Baker–Ericksen and tension–extension inequalities and local invertibility of the Cauchy stress–stretch relation. The conclusion is deliberately restricted to diagonal, homogeneous deformations, and the paper stresses that CSP neither implies nor is implied by convexity of the energy in the deformation gradient or the stretch tensor, nor by the local material stability condition known as LH-ellipticity.","pith_inferences":["The paper proves only the forward direction: CSP forces positive incremental moduli; it does not establish that these monotonicities are sufficient for CSP, and the compressible Neo-Hooke example showing monotone uniaxial response without CSP indicates they are not.","Because the proof uses only constancy of the principal axes, the same reduction plausibly extends to other homogeneous deformation families whose principal axes stay fixed beyond the four protocols named, whenever the lateral constraints are smooth.","The result gives a cheap screening test for proposed constitutive energies: if a computed uniaxial Cauchy stress–stretch curve has a negative slope at some stretch, that energy necessarily violates CSP.","The reliance on smooth lateral-stretch functions makes the conclusion local; a material whose lateral response bifurcates or loses smoothness in a test protocol could evade the positivity statement exactly at those stretches."],"forward_implications":["Any isotropic hyperelastic material satisfying CSP has a monotone increasing Cauchy stress in uniaxial tension, so its incremental Young's modulus is never negative.","The same monotonicity holds for equibiaxial extension, planar tension, and hydrostatic tension, giving positive incremental equibiaxial, planar tension, and bulk moduli.","In incompressible response CSP coincides with Hill's inequality, so the incompressible uniaxial, equibiaxial, and planar tension stress–stretch curves are monotone.","CSP implies the Baker–Ericksen inequalities and the tension–extension inequalities, and it makes the Cauchy stress–stretch relation locally invertible.","CSP is compatible with energies that are neither convex nor LH-elliptic, so these positive-modulus conclusions are not consequences of convexity or local material stability."],"supporting_citations":[{"why":"Introduces the corotational stability postulate and establishes its equivalence to the true-stress–true-strain monotonicity condition TSTS-M+, which the paper's argument starts from.","marker":"[30]"},{"why":"Provides the exponentiated Hencky energy that satisfies CSP throughout despite non-convexity, demonstrating that the positive-modulus conclusion is independent of convexity.","marker":"[35, 36]"},{"why":"Supplies the known implications of CSP for the Baker–Ericksen and tension–extension inequalities recalled in the introduction.","marker":"[22, 5]"},{"why":"Ties the incompressible version of CSP to Hill's inequality, which Section 4.2 uses to derive positive incompressible moduli.","marker":"[44]"},{"why":"Documents competing definitions of incremental elastic moduli and gives the definition of the incremental Young's modulus in uniaxial tension that the paper compares with its simpler slope-based definition.","marker":"[28, 43]"},{"why":"Defines second-order internal work, the concept Section 2 carefully distinguishes from CSP in the nonlinear setting.","marker":"[39]"}],"fun_headline_variants":["CSP forces positive incremental stress moduli","Corotational stability ensures positive Cauchy moduli","One postulate keeps Cauchy stress moduli positive","Stability condition implies positive incremental moduli","For diagonal deformations, CSP forces positive moduli"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof assumes that in each loading protocol the unconstrained lateral stretches can be expressed smoothly in terms of the pulled stretch, so the lateral stress conditions can be eliminated; if no such smooth lateral branch exists at some stretch, the reduction of the CSP inner product to one scalar derivative, and hence the positivity conclusion there, is not established.","fun_headline_variants_meta":{"raw":{"variants":["CSP forces positive incremental stress moduli","Corotational stability ensures positive Cauchy moduli","One postulate keeps Cauchy stress moduli positive","Stability condition implies positive incremental moduli","For diagonal deformations, CSP forces positive moduli"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000774,"raw_usage":{"total_tokens":3552,"prompt_tokens":1199,"completion_tokens":2353,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":815,"completion_tokens_details":{"reasoning_tokens":2284}},"tokens_in":815,"tokens_out":2353,"duration_ms":16383,"temperature":1.0,"reasoning_tokens":2284,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T17:24:16.595334+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Search for an isotropic hyperelastic energy that satisfies the true-stress–true-strain monotonicity condition TSTS-M+ for all positive definite symmetric stretch tensors but whose compressible uniaxial path, obtained by solving $\\sigma_2(\\lambda_1,\\lambda_2,\\lambda_2)=\\sigma_3(\\lambda_1,\\lambda_2,\\lambda_2)=0$ for a smooth $\\lambda_2(\\lambda_1)$, has a negative slope $d\\tilde{\\sigma}_1/d\\lambda_1$ at some $\\lambda_1>1$; if such an energy exists, equation (4.4) and the central claim are contradicted.","supporting_citations":[{"cited_title":"Hypo-elasticity, Cauchy-elasticity, corotational stability and monotonicity in the logarithmic strain","cited_arxiv_id":"2409.20051","evidence_quote":"Introduces the corotational stability postulate and establishes its equivalence to the true-stress–true-strain monotonicity condition TSTS-M+, which the paper's argument starts from."},{"cited_title":"Sur les restrictions ` a imposer ` a l’´ energie de d´ eformation d’un mat´ eriau hyper´ elastique","cited_arxiv_id":null,"evidence_quote":"Ties the incompressible version of CSP to Hill's inequality, which Section 4.2 uses to derive positive incompressible moduli."},{"cited_title":"On the second-order work in plasticity","cited_arxiv_id":null,"evidence_quote":"Defines second-order internal work, the concept Section 2 carefully distinguishes from CSP in the nonlinear setting."}],"review_version":1}