{"id":"3d2ada2b-50ec-481f-96a9-126c5f56c955","arxiv_id":"2606.25288","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Derives corrected closure Φ'(E)=A(E)−C(E) and adjoint identity B(0)=Φ'(E*) for vital-rate feedback in size-structured harvesting, with well-posedness and numerical certification.","lead":"The paper analyzes a size-structured population model where an environmental variable generated by the population affects growth and mortality, deriving a corrected stationary closure and an adjoint reduction for harvesting control. It also proves well-posedness and shows numerical behavior in a density-dependent growth model.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Stationary adjoint reduction to exact rank-one correction requires unstated conditions on how scalar E enters g(E,l) and μ(E,l)","rationale":"The reader's weakest_assumption already isolates the precise modeling hypothesis needed for the rank-one reduction and the consequent identity. Because the full manuscript is now referenced but the concern is structural rather than derivational, the existing UNVERDICTED verdict is unaffected.","tokens_in":1733,"tokens_out":310,"duration_ms":19317,"concrete_test":"In the density-dependent von Bertalanffy numerical example, recompute the stationary adjoint operator directly from the linearized transport equation at E* (without invoking the claimed reduction) and extract its leading eigenvalue; compare the resulting B(0) with the independently computed Φ'(E*) from the integrated balance A(E)−C(E). Agreement to machine precision confirms the reduction; divergence falsifies it.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The identity B(0)=Φ'(E*) is obtained only after the nonlocal switching operator is reduced to rank one via the stationary adjoint. The abstract states that the scalar environmental feedback 'permits' this reduction, yet supplies no explicit structural hypothesis (e.g., separability, monotonicity, or compactness of the perturbation operator) that would guarantee the correction term is exactly rank one rather than higher rank when the vital-rate maps are nonlinear. If that structural hypothesis fails, both the identity and the claimed equivalence between closure sensitivity and threshold fragility collapse.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript develops theory for controlled size-structured transport models with vital-rate feedback from a scalar environmental variable E generated by the population. It presents a corrected stationary closure theory with Φ'(E) = A(E) - C(E) as an integrated balance between residence-time amplification and cumulative survival loss. It establishes an exact stationary adjoint reduction where the nonlocal switching correction is rank one, and proves the identity B(0) = Φ'(E*) linking the zero-discount feedback gain to the closure derivative. Additionally, it shows finite-horizon well-posedness, compactified optimal-control existence in a spatial-BV policy class, and provides numerical certification in a density-dependent von Bertalanffy model regarding when minimum-size harvesting persists or when feedback creates multiple-switch harvest windows.","tokens_in":1849,"tokens_out":626,"duration_ms":25704,"significance":"If the central derivations hold, the identity B(0)=Φ'(E*) provides a direct link showing the same scalar governs stationary closure sensitivity and threshold fragility under vital-rate feedback. The exact rank-one reduction of the switching correction is a technical strength that simplifies the adjoint analysis. The well-posedness and existence results, together with the numerical certification, add concrete value for applications to size-selective harvesting policies.","major_comments":[{"comment":"The stationary adjoint reduction (abstract and corresponding section): the claim that the nonlocal switching correction has exact rank one (S = S_red - A/(1-B) ψ) requires an explicit structural hypothesis on how the scalar E enters g(E,l) and μ(E,l) to guarantee the perturbation operator is rank one rather than higher rank. The abstract states only that the feedback 'permits' the reduction; without the precise condition (e.g., separability of the vital-rate maps), the reduction and the subsequent identity may not hold in the stated generality.","section":"Stationary adjoint reduction"},{"comment":"The identity B(0)=Φ'(E*) (abstract): the manuscript should clarify whether this equality is derived independently from the adjoint reduction or follows by construction once B and Φ are defined within the same stationary framework. If the latter, the claim that the scalar 'governs' both quantities would need rephrasing to avoid overstating its novelty.","section":"Identity B(0)=Φ'(E*)"}],"minor_comments":[{"comment":"Notation: the sans-serif fonts for A(E) and C(E) are nonstandard; define them explicitly at first use and consider consistent math-italic notation for clarity.","section":"Notation"},{"comment":"The numerical certification section should include a brief statement on discretization error or verification against the analytic identities to strengthen the computational results.","section":"Numerical results"}],"recommendation":"major_revision","confidential_remarks":"The manuscript fits the scope of math.AP but would benefit from additional citations to recent works on size-structured models with environmental feedback to better contextualize the contribution."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful and constructive report. We address each major comment below and indicate the revisions that will be incorporated.","responses":[{"response":"We agree that an explicit structural hypothesis should be stated for full clarity. Because E is a single scalar environmental variable, any dependence of the vital rates on the population occurs only through E; the first variation of g and μ is therefore of the form (∂g/∂E)δE and (∂μ/∂E)δE. This produces a rank-one update to the transport operator. We will revise the abstract and the stationary-adjoint section to state explicitly: “Under the standing assumption that the vital rates g and μ depend on the population solely through the scalar E, the nonlocal switching correction is exactly rank one.” This makes the hypothesis visible without altering the existing proofs.","revision_made":"yes","referee_comment":"[Stationary adjoint reduction] The stationary adjoint reduction (abstract and corresponding section): the claim that the nonlocal switching correction has exact rank one (S = S_red - A/(1-B) ψ) requires an explicit structural hypothesis on how the scalar E enters g(E,l) and μ(E,l) to guarantee the perturbation operator is rank one rather than higher rank. The abstract states only that the feedback 'permits' the reduction; without the precise condition (e.g., separability of the vital-rate maps), the reduction and the subsequent identity may not hold in the stated generality."},{"response":"The identity is obtained directly from the rank-one adjoint reduction in the stationary setting; it is not an independent derivation. We will revise the abstract and the paragraph introducing the identity to read: “the zero-discount feedback gain therefore satisfies B(0)=Φ'(E*), thereby linking stationary closure sensitivity to threshold fragility under the same scalar.” This removes any implication of independent novelty while preserving the substantive observation that one scalar controls both quantities once the rank-one structure is in place.","revision_made":"yes","referee_comment":"[Identity B(0)=Φ'(E*)] The identity B(0)=Φ'(E*) (abstract): the manuscript should clarify whether this equality is derived independently from the adjoint reduction or follows by construction once B and Φ are defined within the same stationary framework. If the latter, the claim that the scalar 'governs' both quantities would need rephrasing to avoid overstating its novelty."}],"tokens_in":1501,"tokens_out":525,"duration_ms":22092,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"Hi,\n\nThe main things to know are that the paper derives a corrected stationary closure derivative Φ'(E) = A(E) − C(E) that accounts for residence-time effects instead of simple monotonicity, and shows the nonlocal switching correction reduces exactly to rank one with the identity B(0) = Φ'(E*) tying closure sensitivity to threshold fragility.\n\nThey work in a size-structured transport model where a scalar E generated by the population feeds back into growth g(E,l) and mortality μ(E,l). The first part replaces the usual pointwise argument with an integrated balance between amplification and survival loss. The second reduces the adjoint operator to S_red minus a rank-one term, from which the zero-discount gain identity follows. They also prove finite-horizon well-posedness and existence of optimal controls in a spatial-BV policy class, then run numerics on a density-dependent von Bertalanffy model to illustrate when single-threshold harvesting holds and when feedback produces multiple-switch windows.\n\nThe derivations are targeted and the numerical check is useful for seeing the practical difference the feedback makes. The link between the two sensitivities is a clean observation if the reduction holds.\n\nThe soft spot is that the abstract says the scalar feedback “permits” the rank-one reduction without stating the structural conditions on how E enters the vital rates. If g and μ are nonlinear in a non-separable way, the perturbation operator could have higher rank and both the identity and the claimed equivalence would fail. The numerics cover only one model family, so it is unclear how often multiple switches appear in other cases.\n\nThis is for people working on adjoint methods or optimal harvesting in structured populations. A reader already using closure approximations or threshold policies would pick up the specific identities and the numerical test. It deserves a serious referee because the results are concrete and the numerics give some verification, even if the generality of the rank-one claim needs tighter hypotheses.\n\nI would send it for review.","headline":"Corrected closure formula and rank-one adjoint reduction link sensitivity to threshold fragility in feedback harvesting models, but the conditions making the reduction exact are not spelled out.","tokens_in":2281,"tokens_out":477,"would_cite":false,"duration_ms":20708,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Zero-discount feedback gain equals stationary closure derivative, so the same scalar governs sensitivity and fragility","keywords":["size-structured populations","vital-rate feedback","threshold harvesting","stationary closure","adjoint reduction","optimal control","density-dependent models"],"falsifier":"Independently computing the zero-discount gain B(0) from the adjoint equation and the closure derivative Φ'(E*) from the integrated balance in the von Bertalanffy numerical example, and verifying whether they are identical.","tokens_in":2630,"feed_emoji":"","tokens_out":684,"duration_ms":34106,"temperature":0.7,"pith_summary":"The paper studies size-structured harvesting where vital rates depend on a population-generated scalar environmental variable E. It derives a corrected closure theory in which the derivative Φ'(E) equals an integrated balance A(E) minus C(E) between residence-time amplification and survival loss, rather than pointwise monotonicity. An exact stationary adjoint reduction shows the rank-one switching correction yields the identity B(0) = Φ'(E*), so this scalar controls both closure sensitivity and threshold fragility. The work also proves well-posedness for finite-horizon controls and optimal policy existence in a BV class, with numerics on von Bertalanffy growth showing conditions for single versus multiple harvest switches.","feed_headline":"Feedback scalar equates closure sensitivity and harvest fragility","feed_subtitle":"The same value controls stationary response and optimal switch points in size-structured models with vital-rate feedback.","key_machinery":"The rank-one nonlocal switching correction in the stationary adjoint, which produces the identity B(0) = Φ'(E*) between feedback gain and closure derivative","core_discovery":"In a controlled size-structured transport model with environmental feedback E, the stationary closure derivative is given by the integrated balance Φ'(E) = A(E) − C(E), and the zero-discount feedback gain satisfies B(0) = Φ'(E*), establishing that the same scalar governs stationary closure sensitivity and threshold fragility through a rank-one adjoint reduction.","pith_inferences":["This identity could reduce the computational cost of solving optimal control problems by allowing direct use of the closure derivative for threshold selection.","The rank-one structure may generalize to other nonlocal feedback mechanisms in population models.","Empirical validation could involve measuring how environmental changes affect both stationary densities and harvest threshold stability in real fisheries.","If the scalar unifies these quantities, harvest policies might be designed around feedback strength estimates rather than size distributions alone."],"forward_implications":["The closure derivative requires an integrated balance accounting for inflow residence density changes due to crowding.","The same scalar Φ'(E*) determines both how stationary profiles respond to E and how fragile the optimal harvest thresholds are.","Finite-horizon dynamics are well-posed and optimal controls exist in the spatial-BV policy class.","Numerical results in density-dependent von Bertalanffy models identify when minimum-size harvesting persists versus when feedback induces multiple-switch windows."],"fun_headline_variants":["Scalar Ties Sensitivity to Harvest Fragility","One Scalar Rules Closure and Threshold Gain","Feedback Unites Derivative and Harvest Scalar","Same Value Links Response and Fragility"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The environmental feedback must be a single scalar E generated by the population that modifies vital rates in a way allowing the rank-one reduction of the switching correction.","fun_headline_variants_meta":{"raw":{"variants":["Scalar Ties Sensitivity to Harvest Fragility","One Scalar Rules Closure and Threshold Gain","Feedback Unites Derivative and Harvest Scalar","Same Value Links Response and Fragility"]},"model":"grok-4.3","cost_usd":0.005462,"raw_usage":{"total_tokens":2620,"prompt_tokens":655,"num_sources_used":0,"completion_tokens":49,"cost_in_usd_ticks":54624500,"prompt_tokens_details":{"text_tokens":655,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1916,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":655,"tokens_out":49,"duration_ms":19173,"temperature":1.0,"reasoning_tokens":1916,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-25T21:28:11.152466+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Independently computing the zero-discount gain B(0) from the adjoint equation and the closure derivative Φ'(E*) from the integrated balance in the von Bertalanffy numerical example, and verifying whether they are identical.","supporting_citations":[],"review_version":1}