{"id":"f90879ca-2893-435a-9108-f00419fcd2d2","arxiv_id":"2512.13720","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"For a quasi-static single-joint muscle model, metabolic cost is proved to equal P0T + C1ΔAℓ + C2∫(ℓ−ℓ0)²dt plus a cubic remainder, with ΔAℓ the time-integral of length deviation.","lead":"This paper derives a mathematical formula that connects small movements during a held posture to the body's energy use: total metabolic cost is a baseline term plus a term from the average drift (the 'absement' of length) plus a term from the wobble variance. The proposed payoff: metabolic cost during posture holding might be estimated from video-tracked muscle kinematics instead of oxygen consumption.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The core claim depends on reducing metabolic power to an instantaneous function of length; velocity- or history-dependent cost terms, present in real muscle, can contribute independently of absement and mean/variance, breaking the 'unique first-order statistic' claim.","rationale":"The reader's conditional verdict is appropriate. The paper's mathematics is sound under its stated assumptions, and I do not find a fatal internal error. However, the theorem is not as broad as advertised: the expansion is a Taylor expansion of an arbitrary smooth φ(ℓ), and the only physical content is the reduction to such a scalar function. That reduction, not the linearity of αa+βF, is the weakest link. A nonlinear instantaneous cost would preserve the absement term, whereas a velocity- or history-dependent cost destroys it. Since real muscle metabolic power is velocity/history-dependent, the 'unique first-order sufficient statistic' claim cannot be said to hold for actual quasi-isometric contractions without validation. The paper acknowledges this in §5.3 but still frames absement as universal. A conditional verdict requiring validation of the quasi-static reduction—or tempering of the claims—is the right outcome, so I leave the reader's verdict unchanged.","tokens_in":14926,"tokens_out":7962,"duration_ms":84477,"concrete_test":"Take the velocity-dependent cost P_met = φ(ℓ)+γ(ℓ̇)² with φ as in the model, and compare two trajectories over fixed T: δℓ₁(t)=a sin(2πf₁t) and δℓ₂(t)=a sin(2πf₂t), with f₁≠f₂, same T (integer periods) and zero mean. Both have ΔA_ℓ=0 and ∫δℓ²dt=a²T/2, but E_met differs by γa²(2π)²(f₁²−f₂²)T/2. If this difference is nonzero, Theorem 1's 'only mean and variance' conclusion is violated for the velocity-dependent extension. More empirically, run the proposed protocol on sinusoidal vs broad-band length perturbations matched in mean and variance; any systematic residual correlated with the power spectrum would falsify the quasi-static reduction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof is internally correct: given P_met(t)=αa+βF(ℓ,a), quasi-static equilibrium Q=0 gives a=a*(θ), invertibility r0≠0 gives θ=Θ(ℓ), so P_met=φ(ℓ), and Taylor expansion yields absement. But the load-bearing premise is not the linearity of (3). Replacing αa+βF by any smooth instantaneous function H(a,F) still reduces to φ(ℓ), so the absement term survives. What is essential is that P_met is an instantaneous function of state with no dependence on ℓ̇ or history. Real muscle energetics has such terms (Fenn effect, shortening/lengthening heat, force depression/enhancement, activation dynamics). Under a minimal velocity-dependent model P_met=φ(ℓ)+h(ℓ)ℓ̇+γℓ̇²+..., the first-order term gains h(ℓ0)[ℓ(T)-ℓ(0)] (a boundary term, not absement), and the second-order term gains γ∫ℓ̇²dt, which for zero-mean sinusoidal δℓ=a sin(2πft) equals γa²(2πf)²T/2. Two trajectories can have identical ΔA_ℓ and ∫δℓ²dt but different ∫ℓ̇²dt, so the theorem's conclusion that only mean and variance matter fails as soon as velocity-dependent cost is admitted. The paper's own §5.3 correctly says validation is future work, and the abstract's proposed residual-frequency test is exactly the right probe; but the marketing of absement as a universal first-order sufficient statistic for quasi-isometric loading is not established for real muscle.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces deviation absement ΔA_ℓ = ∫₀ᵀ(ℓ(t)−ℓ₀)dt as a first-order predictor of metabolic cost during quasi-isometric muscle loading. Under a single-degree-of-freedom quasi-static model with metabolic power P_met = αa + βF(ℓ,a), the paper eliminates activation via the implicit function theorem, reduces the energy functional to ∫φ(ℓ)dt, and proves an asymptotic expansion E_met = P₀T + C₁ΔA_ℓ + C₂∫₀ᵀδℓ²dt + O(‖δℓ‖³_L∞). It then proposes a linear-regression identification scheme for P₀, C₁, C₂ and argues that a residual dependence on oscillation frequency would mark the limits of the quasi-static reduction.","tokens_in":15292,"tokens_out":5517,"duration_ms":57800,"significance":"The mathematical derivation is elementary but correct under the stated assumptions: the reduction to a one-dimensional integral and the Taylor expansion are cleanly presented, and the proof in Appendix B is explicit. The main strength is a concrete, falsifiable consequence: within the model, only the mean and variance (equivalently absement and the second raw moment) of length deviation enter at second order, so a frequency-dependent residual would identify the failure of the quasi-static premise. However, the claimed 'unique first-order sufficient statistic' is conditional on the instantaneous-state cost model of Eq. (3); the paper itself acknowledges (§5.3) that experimental validation is future work. As a theoretical contribution with a testable prediction the paper is valuable, but the abstract and conclusions overstate its status as a quantitative assessment of real muscle energetics.","major_comments":[{"comment":"The uniqueness claim is an artifact of the instantaneous-state cost model. The reduction to E_met(ℓ)=∫φ(ℓ)dt requires P_met to be a function of state (ℓ,a) only. If a velocity-dependent cost is admitted, e.g. P_met=φ(ℓ)+h(ℓ)ℓ̇+γℓ̇², the first-order term becomes h(ℓ₀)[ℓ(T)−ℓ(0)] rather than ΔA_ℓ, and the second-order term gains γ∫ℓ̇²dt. Two trajectories can have identical ΔA_ℓ and ∫δℓ²dt but different ∫ℓ̇²dt, so absement is no longer the unique first-order kinematic statistic. Since real muscle energetics includes Fenn/heat and history-dependent terms, the paper's abstract and conclusion should explicitly frame the result as conditional on the instantaneous-state assumption, and should not claim uniqueness for real muscle without further defense. The proposed frequency-residual test is a good probe, but the manuscript should not market absement as a universal sufficient statistic in advan","section":"§2.3, Eq. (3); Theorem 1"},{"comment":"The explicit formula C₂ = β/(2r₀²)(Fθθ + 2FθaCθ + FaaCθ²) is incomplete. In Appendix B the full second-order coefficient includes contributions from the curvature of a*(θ), namely αB + βFaB with B = ½a*''(θ₀), and also the ℓθθ term in Fℓκ₀. The §3.3 derivation approximates a*(θ) only to first order before computing the quadratic term, which is inconsistent with a genuine second-order expansion. Because C₂ is one of the three regression coefficients in the proposed identification scheme, this discrepancy is not a cosmetic detail; the formula should be corrected, or §3.3 should state explicitly that the full coefficient is given in Appendix B.","section":"§3.3, C₂ formula"},{"comment":"The paper describes the result as enabling 'quantitative assessment of metabolic cost' and claims the formalism makes it possible to 'recover physically meaningful coefficients ... by means of linear regression,' yet §5.3 lists experimental validation as future work. Without validation or at least a synthetic-data demonstration of the identification procedure, these claims overreach. The manuscript should either present the result as a conditional theoretical hypothesis with a clearly specified falsification protocol, or include a numerical check of the regression scheme on simulated trajectories to support the practical claims.","section":"Abstract; §5.3"}],"minor_comments":[{"comment":"The proof of Lemma 1 states that any linear integral functional on C[0,T] can be represented as ∫k(t)h(t)dt. This is not true for arbitrary continuous linear functionals (which are represented by signed measures); it holds only for integral functionals with a bounded measurable kernel. Since the lemma concerns integral descriptors, the wording should be tightened to avoid an invalid generalization.","section":"§A"},{"comment":"The phrase 'sufficient statistic' is used in a non-statistical sense. Consider 'unique linear integral descriptor' or 'leading asymptotic coordinate' to avoid confusion with the statistical term.","section":"Throughout"},{"comment":"The parameters α, β, and the reference length ℓ₀ are free parameters, so the 'universal' expansion is universal only within a model family with three undetermined coefficients. This should be stated explicitly in the abstract.","section":"§2.3"},{"comment":"References [14] and [19] are from hydraulophone music and earthquake early warning; their connection to muscle energetics is loose. The authors may wish to clarify the analogy or shorten that discussion.","section":"References"},{"comment":"The notation F is used both for the force function F(ℓ,a) and for the composed function F(θ,a)=F(ℓ(θ),a). This is convenient but can confuse the reader when derivatives such as Fθθ are introduced; a short remark or distinct symbol would help.","section":"§3.3"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The math here is correct and clearly presented. The reduction of the cost functional to ∫φ(ℓ)dt under quasi-static equilibrium, the implicit function theorem step, and the Taylor expansion with the cubic remainder all check out. Lemma 1 and Theorem 1 are proven cleanly in the appendices, and the paper is honest about several limitations, especially in §5.2–5.3. The genuinely new and useful piece is the moment-based regression protocol: predict metabolic cost from T, ΔAℓ, and ∫δℓ²dt, then test for residual frequency dependence. That is a crisp, falsifiable hypothesis and worth taking seriously.\n\nThe soft spot is not the derivation—it is the claim that absement is the \"unique first-order sufficient statistic\" for real quasi-isometric loading. The stress-test note gets this right. What the proof actually requires is that metabolic power be an instantaneous function of the state (ℓ, a), with no dependence on ℓ̇ or history. The linear-in-activation-and-force form is not the essential assumption; any smooth instantaneous function reduces to φ(ℓ), so the Taylor structure survives. But real muscle energetics has velocity-dependent and history-dependent terms: Fenn effect, shortening/lengthening heat, force depression/enhancement, activation dynamics. As the stress-test note shows, even a minimal velocity-dependent term P_met = φ(ℓ) + h(ℓ)ℓ̇ + γℓ̇² changes the first-order term to a boundary contribution h(ℓ0)[ℓ(T)−ℓ(0)] and adds γ∫ℓ̇²dt at second order. Two trajectories can share the same mean and variance yet differ in ∫ℓ̇²dt, so the theorem's conclusion that only mean and variance matter does not survive for real muscle. The paper itself says in §5.3 that experimental validation is future work and that an extended model should include velocity-dependent terms, so the limitation is acknowledged—but the abstract and conclusions still market absement as universal. That overreach should be fixed.\n\nThe regression coefficients are fitted, not predicted, so \"quantitative assessment\" is actually \"a plausible model with fitted coefficients.\" That is fine if stated that way. The proposed residual-frequency test is exactly the right way to probe the quasi-static assumption; if frequency dependence vanishes after controlling for mean and variance, the model wins. If not, the model has a boundary.\n\nMy take: this deserves a serious referee, but a conditional accept with requests to temper the uniqueness claims and to frame the result as a quasi-static approximation with a built-in falsification test. I would bring it to a reading group for the discussion of when Taylor expansions become \"sufficient statistics\" and when they do not.","headline":"Solid Taylor-expansion math for a quasi-static muscle model, but the paper overmarkets absement as a universal metabolic predictor; the testable moment-based protocol is the real contribution.","tokens_in":15784,"tokens_out":1212,"would_cite":false,"duration_ms":13221,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper claims that the metabolic cost of quasi-isometric muscle loading is, to second order, a function of only two kinematic summaries of the muscle-length trajectory: the deviation absement and the integral of the squared deviation.","keywords":["absement","metabolic cost","quasi-isometric muscle loading","posture holding","asymptotic expansion","muscle activation","tremor","indirect calorimetry"],"falsifier":"Compare metabolic cost (indirect calorimetry) for two protocols that match the mean and variance of muscle-fascicle length deviation but differ in the frequency or ordering of deviations (e.g., slow drift vs. high-frequency tremor with same amplitude distribution). If the measured energy differs beyond experimental error, the second-order truncation is wrong. A more direct test: vary activation at fixed length and vary force at fixed activation separately to check whether the joint cost is linear in (a, F), as the model requires.","tokens_in":14757,"feed_emoji":"💪","tokens_out":6415,"duration_ms":55664,"temperature":0.7,"pith_summary":"During quasi-isometric posture holding, the paper claims, the total metabolic cost can be decomposed asymptotically into three terms: a baseline cost P0T, a first-order cost proportional to the deviation absement (the time integral of muscle-length deviation, which equals T times the mean deviation), and a second-order cost proportional to the integral of the squared deviation (T times the sum of squared mean and variance). The result follows from eliminating muscle activation through joint-moment equilibrium, reducing the cost functional to an integral of a single smooth length-dependent function, and Taylor-expanding it. If correct, this means that no trajectory detail beyond the mean and variance of length deviation matters to second order, and that the parameters can be recovered by linear regression from ordinary kinematic recordings and indirect calorimetry. This matters because traditional scalar metrics such as time under tension ignore the temporal structure that the paper shows is energetically significant.","feed_headline":"Posture-holding energy cost reduces to mean drift plus tremor","feed_subtitle":"Mean drift and variance, computed from kinematics, fix the calories burned while holding a pose.","key_machinery":"The carrying device is the reduction of the cost functional to a scalar function of length. The quasi-static moment balance Q(θ,a)=0 is solved locally for activation a*(θ) by the implicit-function theorem (with non-degeneracy condition Q_a≠0), so metabolic power becomes φ(ℓ) = α a*(Θ(ℓ)) + β F(ℓ, a*(Θ(ℓ))) after inversion to length. Taylor expansion of ∫φ(ℓ(t))dt to second order yields the theorem; the first variation is necessarily an integral against a constant kernel, which is what forces the absement (the time integral of displacement, a named quantity from integral kinematics) to be the unique linear descriptor, and the second-order term to be the integral of the squared deviation.","core_discovery":"The central claim is Theorem 1: under the model assumptions, the metabolic energy functional E_met(ℓ) admits, for small deviations from a reference posture, the asymptotic representation E_met(ℓ) = P0 T + C1 ΔA_ℓ + C2 ∫_0^T (ℓ(t)−ℓ0)^2 dt + O(‖ℓ−ℓ0‖^3_{L∞}), where ΔA_ℓ = ∫_0^T (ℓ(t)−ℓ0) dt is the deviation absement and the constants are fixed by local derivatives of the force law, moment arm, and external moment at equilibrium. Lemma 1 sharpens the first-order term: any linear functional that matches the first variation of E_met must be proportional to ΔA_ℓ, making absement the unique first-order sufficient statistic. The paper presents this as a fundamental, not phenomenological, variable:","pith_inferences":["A direct experimental falsification suggested by the paper's structure: two protocols with identical mean and variance of length deviation but different frequency content should have identical metabolic cost under the theorem; if calorimetry shows a difference, the quasi-static reduction breaks at the second-order level.","In a multi-joint extension, the paper's proof structure suggests a vector-valued absement is the first-order coordinate, one per joint, with cross-coupling in the quadratic term.","The linear-cost premise could be probed by independent measurement of activation-dependent and force-dependent cost; the theorem requires the coefficients α and β to be constant across the trajectory."],"forward_implications":["The optimal posture-holding strategy to first order is to keep the time-averaged muscle length at the reference value; once mean drift is minimized, the remaining cost is reduced by minimizing length variance (tremor amplitude).","A practical parameter-identification protocol follows directly: record muscle length (e.g., ultrasound) or joint angle, compute T, ΔA_ℓ, and ∫x²dt, and fit multiple linear regression against measured metabolic cost to recover P0, C1, C2.","No separate cycle-specific predictor is needed for periodic variations within the model: periodicity contributes only through its mean (absement) and dispersion (second moment).","The three-term decomposition gives a physical interpretation: P0T is the cost of ideal holding, C1ΔA_ℓ the cost of systematic drift, and C2∫x²dt the cost of tremor/variability."],"fun_headline_variants":["Muscle energy cost from mean drift and tremor","Absement predicts calorie burn in isometric holds","Quasi-static muscle cost: mean plus variance","Pose-holding energy: drift and jitter suffice"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is that metabolic power is exactly a linear combination of activation and force, P_met = α a + β F with constant positive coefficients; if real muscle energetics are nonlinear in activation or force (or history-dependent), the reduction of cost to a function of length alone fails.","fun_headline_variants_meta":{"raw":{"variants":["Muscle energy cost from mean drift and tremor","Absement predicts calorie burn in isometric holds","Quasi-static muscle cost: mean plus variance","Pose-holding energy: drift and jitter suffice"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000183,"raw_usage":{"total_tokens":1230,"prompt_tokens":903,"completion_tokens":327,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":647,"completion_tokens_details":{"reasoning_tokens":266}},"tokens_in":647,"tokens_out":327,"duration_ms":4759,"temperature":1.0,"reasoning_tokens":266,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T16:55:52.407600+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compare metabolic cost (indirect calorimetry) for two protocols that match the mean and variance of muscle-fascicle length deviation but differ in the frequency or ordering of deviations (e.g., slow drift vs. high-frequency tremor with same amplitude distribution). If the measured energy differs beyond experimental error, the second-order truncation is wrong. A more direct test: vary activation at fixed length and vary force at fixed activation separately to check whether the joint cost is linear in (a, F), as the model requires.","supporting_citations":[],"review_version":1}