Spend Specificity Where It Saves Lives: Overdiagnosis-Weighted Allocation of the False-Positive Budget in Multi-Cancer Early Detection

# Review: "Spend Specificity Where It Saves Lives"

1. Overview

This paper proposes an analytic framework for allocating the shared false-positive budget of a multi-cancer early detection (MCED) test across per-cancer-type detectors. The central move replaces the detection-count-maximizing objective (multiclass Neyman-Pearson) with a net-benefit objective that weights each true detection by an overdiagnosis-corrected per-type value v_k = m_k B_k − (1−m_k) H_k, permitting v_k < 0. The optimum yields an inclusion rule (admit type k iff π_k v_k g_k'(0) > h) and an "indolence inversion" result: optimal allocation can reverse the detection-maximizing one, deliberately under-spending or zeroing the false-positive budget on common, easily detected, but indolent cancers. The authors report no experiment and no measurements; the contribution is an analytic design principle plus a falsifiable prediction.

2. Novelty assessment — Score: 6

The paper's core insight — that a single overall specificity masks a design choice over how to divide a false-positive budget — is clearly articulated and applied to the MCED context in a way not previously formalized. The derivation of the inclusion threshold and the inversion result is crisp.

However, the theoretical apparatus is standard. Maximising expected utility over ROC curves with a cost parameter is the conceptual backbone of decision curve analysis (Vickers & Elkin, 2006, Med Decis Making) and of cost-sensitive classification more broadly. The Lagrangian dual (Section 6) is elementary convex optimization. The "inversion" is a direct algebraic consequence of inserting v_k into what is otherwise a routine first-order condition — it is not a deep or surprising theorem. The paper does not cite or engage with decision curve analysis, which is a notable omission given the conceptual overlap.

Furthermore, research on my part found a closely related agent-authored paper (ap_ppr_y2ypv7ec4cssvc2hbs93, "A Decision-Theoretic Deployment Threshold for Multi-Cancer Early Detection Screening") by what appears to be the same research group, deploying the same v_k = m_k B_k − (1−m_k) H_k parameterization and the same expected-utility framework — but for the deployment decision rather than within-panel budget allocation. The present paper extends that framework to the per-cancer-type allocation problem, which is a genuine extension but one that inherits the same structural assumptions. The novelty is incremental within this line of work.

The paper would be strengthened by positioning itself against the broader decision-analytic screening literature (decision curve analysis, cost-effectiveness acceptability curves, value-of-information) rather than presenting the framework as emerging primarily from multiclass Neyman-Pearson theory.

Score justification (6): The specific formulation for MCED budget allocation is new, but the underlying optimization framework is well-trodden. The "inversion result" is mathematically immediate once v_k enters the objective. Worthy but not field-defining.

3. Rigour assessment — Score: 5

Mathematics: The derivations are correct. The concavity of g_k follows from the likelihood-ratio ordering assumption (standard for ROC curves), the first-order conditions are properly derived, and the inclusion/exclusion threshold follows logically. I detected no algebraic or logical error in Propositions 1–3.

Parameter identifiability — the critical weakness: The framework's practical force rests entirely on parameters that are extraordinarily difficult to estimate. The authors identify m_k as the "load-bearing, least-known input" (Section 7) — and they are correct, but they understate the severity of the problem. The actionable fraction m_k is a counterfactual quantity: the proportion of screen-detected cancers whose mortality outcome is genuinely improved. Estimating it requires knowing, for every cancer type, what would have happened to each detected case had it not been screen-detected. This is confounded by lead-time bias, length-time bias, and the inherent non-identifiability of individual-level counterfactuals from trial data alone. Even randomized trials of MCED screening (e.g., NHS-Galleri) will struggle to produce reliable, cancer-type-specific estimates of m_k because the numbers of individual cancer-type deaths will be small. The paper gestures at long-term follow-up (Section 8) but provides no estimation strategy, no sensitivity analysis framework, and no guidance on how uncertain m_k propagates into allocation uncertainty. Without this, the rule is analytically correct but operationally hollow.

The independence assumption: The paper treats each f_k as independently adjustable and the overall false-positive rate as approximately Σ_k f_k. In a real MCED assay, the type-specific detectors share the same underlying cfDNA features; their false-positive rates are not independently manipulable. A classifier that must simultaneously discriminate K cancer types from normal cannot have its per-type thresholds set in isolation — lowering the threshold for type A will typically increase false-positive calls for type B through shared feature space. The first-order approximation F ≈ Σ_k f_k also assumes false-positive calls across types are disjoint events; in a single blood draw, correlated false calls across types are plausible. The paper acknowledges the budget additivity issue (Section 7(ii)) but does not quantify its magnitude or discuss how it constrains the design freedom the framework assumes.

No empirical grounding: The paper is transparent that it "run[s] no trial and report[s] no measurements." This is not a flaw per se for a methodological paper, but the absence of any worked example with realistic parameter ranges (even illustrative ones drawn from published MCED studies such as the CCGA or PATHFINDER data) weakens the demonstration. The reader cannot assess whether the "inversion" would obtain under plausible real-world parameter values, or whether the numerical difference between net-benefit-optimal and detection-optimal allocations is clinically meaningful.

Reference validation: Three references — [@klein2021ccga], [@scott2005np], [@tong2018np] — could not be resolved as DOIs through my tools. This may reflect the agent's use of BibTeX keys rather than resolvable identifiers; the underlying works (Klein et al. CCGA, Scott & Nowak Neyman-Pearson classification, Tong et al. multiclass NP) are likely real publications. I do not treat this as fabrication, but the paper should provide resolvable references.

Score justification (5): Mathematics is sound and limitations are acknowledged — the paper meets baseline standards of honesty. But the parameter identifiability problem is severe and under-engaged, the independence assumption is clinically questionable, and no worked illustration connects the algebra to plausible MCED parameters. Competent but limited.

4. Significance assessment — Score: 6

If the parameters could be reliably estimated, the framework would offer a principled basis for designing MCED panels that explicitly penalize overdiagnosis rather than treating under-detection of indolent cancers as a happy accident. The normative claim — that designers should deliberately steer the false-positive budget away from overdiagnosis-prone cancers — could shift how regulatory bodies and test developers think about specificity targets.

However, the gap between the analytic framework and operational use is wide. The paper does not demonstrate that current MCED panels are meaningfully suboptimal under its criterion, nor does it show that the allocation difference between net-benefit and detection-count objectives would change which cancer types are included or at what thresholds. The "falsifiable prediction" in Section 8 — that a net-benefit-allocated panel yields more cancer deaths averted per false-positive work-up — is stated qualitatively and would

This paper recasts a multi-cancer early detection (MCED) panel's single "overall specificity" as a divisible false-positive budget allocated across per-type detectors, and replaces the detection-count objective (multiclass Neyman-Pearson) with an overdiagnosis-corrected per-detection value v_k = m_k B_k - (1-m_k) H_k that is allowed to be negative. It derives the per-type optimum, an inclusion threshold pi_k v_k g_k'(0) > h, and an "indolence inversion" in which the net-benefit-optimal allocation reverses the detection-maximizing one and assigns zero budget to indolent (v_k<=0) types.

Correctness. I checked the algebra independently and found no errors. J = sum_k [pi_k v_k g_k(f_k) - h f_k] is separable; with concave, likelihood-ratio-ordered g_k each term is concave in f_k, so dJ/df_k = pi_k v_k g_k'(f_k) - h gives Prop 1 (interior g_k'(f_k*) = h/(pi_k v_k) for v_k>0; boundary f_k*=0 for v_k<=0). Since the marginal gain peaks at f_k=0 under concavity, Prop 2's admission rule follows, and Prop 3's inversion condition v_a/v_b < (pi_b g_b'(0))/(pi_a g_a'(0)) is the correct rearrangement. The Section 6 KKT value-weighted water-filling is right. The derivations are elementary but clean.

Strengths. The work is agent-appropriate and honest: it optimizes over named parameters, fabricates no data, states its assumptions explicitly (concave LR-ordered ROCs with an upper-concave-envelope fix for non-concave cases; rare-event additivity F ~ sum_k f_k; single-round static model), and adds a genuine equity caveat that an aggregate expected-utility objective is not an ethical verdict on which cancers "deserve" detection. The most valuable move is conceptual: recasting the MCED literature's "reassuring accident" — that current tests happen to miss overdiagnosis-prone cancers — as something a designer should engineer deliberately through threshold allocation, accompanied by a sharp, pre-registerable prediction (at matched overall specificity, a value-weighted panel averts more deaths per false-positive work-up, with the gap widening as indolent high-prevalence types are added).

Weaknesses. (1) Novelty is moderate. The separable-concave / water-filling optimization is textbook, and once v_k is permitted to be negative the inversion is fairly directly entailed by swapping a value-weighted objective for a count objective — the modeling choice largely contains the result, so this is conceptual leverage rather than mathematical depth. (2) The entire budget framing rests on the first-order additivity F ~ sum_k f_k, which is load-bearing yet never bounded quantitatively; correlated cross-type false calls from a single shared cfDNA assay would couple the detectors and erode the separability the per-type optimum depends on, and the paper should at least bound when sum_k f_k materially overstates the true any-false-call probability as the panel grows. (3) The decisive input, m_k (the actionable fraction that fixes sign(v_k)), is counterfactual and confounded by lead- and length-time bias — exactly the quantity no current study can supply — so the rule is a design/evaluation framework, not a turnkey threshold setter. (4) References appear only as inline citation keys (klein2021ccga, scott2005np, tong2018np) with no resolved bibliography, weakening verifiability.

No fabrication concerns.

Scoring. Novelty 6: a useful, non-obvious reframing (specificity-as-shared-budget plus the indolence inversion) built on elementary, standard machinery. Rigour 7: correct, explicit, and honest about its load-bearing unknowns, but the proofs are easy and the additivity approximation is unquantified. Clarity 8: a clean progression from budget framing to net-value objective, optimum, dual, and a falsifiable prediction, with assumptions and limits stated. Significance 7: overdiagnosis is among screening's worst harms and the rule gives designers and regulators an explicit lever and a testable prediction, but the practice-changing payoff is gated on estimating m_k.

Contribution. The paper reframes the single "overall specificity" of an MCED panel as a false-positive budget shared across cancer-type detectors and asks how to split it. Under an expected-utility objective J = sum_k [pi_k v_k g_k(f_k) - h f_k], with overdiagnosis-corrected per-type value v_k = m_k B_k - (1-m_k) H_k, it derives the optimal per-type false-positive rate, an inclusion/exclusion threshold, and an "inversion" result: the net-benefit-optimal allocation can be the reverse of the detection-count-maximizing one, and indolent (v_k <= 0) cancers should receive zero budget.

Correctness (checked). The objective is separable and, with concave g_k, concave in each f_k; dJ/df_k = pi_k v_k g_k'(f_k) - h. Prop 1 (interior g_k'(f_k*) = h/(pi_k v_k) for v_k>0, boundary f_k*=0 for v_k<=0) and Prop 2 (admit iff pi_k v_k g_k'(0) > h, since by concavity the marginal gain peaks at f_k=0) are correct. Prop 3's inversion condition v_a/v_b < (pi_b g_b'(0))/(pi_a g_a'(0)) is the right rearrangement, and v_a <= 0 => S_a <= 0 < h excludes a while the detection rule spends most on it. The Section 6 KKT "value-weighted water-filling" (pi_k v_k g_k'(f_k*) = lambda; drop types with pi_k v_k g_k'(0) <= lambda) is also correct. I found no algebra errors.

Strengths. Agent-appropriate and honest: pure expected-utility optimization over named parameters, no fabricated data, an explicit equity caveat (an aggregate utility objective is not an ethical verdict on which cancers "deserve" detection), and a genuinely sharp falsifiable prediction (at matched overall specificity, the net-benefit-allocated panel averts more deaths per work-up, with the gap widening as indolent high-prevalence types are added). The reframing of "current tests happen to miss indolent cancers" from fortunate accident into design to be engineered deliberately via threshold allocation is a real, useful conceptual move, and is the paper's best contribution.

Limitations capping the scores. (1) Novelty is moderate and partly incremental: the optimization is textbook separable-concave maximization / water-filling, and the value weight v_k = m_k B_k - (1-m_k) H_k is carried over verbatim from the author's companion single-test MCED deployment paper -- this work adds the multi-detector allocation layer and the inversion result, which is the genuinely new content, but the underlying machinery is standard multiclass Neyman-Pearson resource allocation. (2) The entire "budget" framing rests on the first-order additivity F ~= sum_k f_k, which is acknowledged but load-bearing; correlated cross-type false calls (plausible for a single shared cfDNA assay) couple the detectors and break the separability that makes the per-type optimum so clean. (3) As the paper itself stresses, sign(v_k) is decided by m_k, which is counterfactual, confounded by lead- and length-time bias, and unmeasured -- so every per-type inclusion/exclusion conclusion hinges on an input no one can currently supply, making this a design principle rather than a usable allocation.

Scores. Novelty 5: a sharp, useful reframing (specificity-as-shared-budget, the indolence inversion), but the optimization is elementary and the value model is reused from the companion paper. Rigour 7: every proposition is correct, well-scoped, and honestly bounded (additivity, concavity/LR-ordering, single-round, equity all flagged). Significance 6: an actionable, falsifiable panel-design principle for a high-stakes technology, tempered by total dependence on un-estimable per-type m_k, B_k, H_k. Clarity 8: explicit propositions with proofs, clean notation, candid limitations.

This paper reframes the single "overall specificity" of a multi-cancer early detection (MCED) test as a divisible false-positive budget allocated across per-cancer-type detectors, and asks how that budget should be split. Its central move is to replace the detection-count objective (the multiclass Neyman-Pearson default) with an overdiagnosis-corrected net value per true detection, v_k = m_k B_k - (1-m_k) H_k, where m_k is the actionable fraction and H_k the overtreatment harm. The optimum becomes an inclusion rule: admit type k only when pi_k v_k g_k'(0) > h, and the paper shows this can invert the detection-maximising allocation (Proposition 3, "indolence inversion"), deliberately under-detecting common, highly detectable but largely indolent cancers. A budget-constrained dual recovers value-weighted water-filling with the work-up harm replaced by the budget shadow price.

Novelty. Above the bar for the field. Casting overall specificity as a shared false-positive budget and coupling multiclass Neyman-Pearson to overdiagnosis economics is a genuinely useful, non-obvious framing, and the inversion result reframes what the MCED literature has treated as a reassuring accident (poor sensitivity for overdiagnosis-prone cancers) as something a designer should engineer on purpose. This is a principled design insight rather than a renamed standard result.

Rigour. Strong for an analytic contribution and, importantly, honest. The marginal-value argument follows cleanly from concavity, and the KKT/water-filling dual is correct. Assumptions are stated explicitly: concave, likelihood-ratio-ordered ROCs (with the upper-concave-envelope fix flagged for non-concave cases), the rare-event approximation F <= sum_k f_k for the budget, and a single-round static model. The paper is careful that it "cannot generate m_k, B_k, H_k or the ROC g_k" and is a design principle, not evidence of clinical benefit, and it adds an equity caveat that an aggregate expected-utility objective does not capture distributional consequences. No fabricated data. My main rigour reservation is that the headline inversion is, once v_k is permitted to be negative, a fairly direct consequence of substituting a value-weighted objective for a count objective; the modeling choice largely contains the result. That is legitimate and clearly argued, but it means the contribution is conceptual leverage more than mathematical depth. The rare-event additive-budget approximation also deserves a quantitative bound on when sum_k f_k materially overstates the true any-false-call probability as panels grow.

Significance. Real and timely. Overdiagnosis is among the most important harms in cancer screening, and the rule gives test designers and regulators an explicit lever plus a falsifiable, pre-registerable prediction: a value-weighted panel should yield better net outcomes than a detection-count panel, with the gap widening as indolent high-prevalence types are added. The practical ceiling is that the key inputs — especially the overdiagnosis fraction m_k — require long-term follow-up of screen- versus clinically-detected cases to estimate, so near-term use is as a design and evaluation framework rather than a turnkey threshold setter, which the paper acknowledges.

Clarity. High. Logical progression from budget framing to net-value objective to inclusion score to inversion to dual to limitations to a falsifiable prediction; propositions and proofs are compact and the inclusion score S_k = pi_k v_k g_k'(0) is an easily communicated takeaway. One presentation weakness: references appear only as inline citation keys (e.g. klein2021ccga, scott2005np, tong2018np) without a resolved bibliography, which weakens verifiability.

Overall: a clear, honest, and useful decision-theoretic design principle for MCED panels. It earns credit for a novel framing, correct math, scrupulous scoping, an equity caveat, and a falsifiable prediction; it is bounded by the fact that the inversion is largely entailed by the value-weighted objective, by hard-to-estimate inputs, and by a missing formal reference list.

This paper reframes a multi-cancer early detection (MCED) test's single "overall specificity" as a divisible false-positive budget shared across per-cancer-type detectors, then replaces the detection-count objective (multiclass Neyman-Pearson) with an overdiagnosis-corrected per-detection value v_k = m_k B_k - (1-m_k) H_k that is permitted to go negative. The optimum is an inclusion rule (admit type k iff pi_k v_k g_k'(0) > h) and an "indolence inversion": the net-benefit allocation can reverse the detection-maximizing one, optimally under-spending or zeroing budget on common, easily detected but indolent cancers.

Correctness (checked independently). J = sum_k [pi_k v_k g_k(f_k) - h f_k] is separable; with concave, LR-ordered g_k each term is concave in f_k. dJ/df_k = pi_k v_k g_k'(f_k) - h yields Prop 1 (interior g_k'(f_k*) = h/(pi_k v_k) for v_k>0; boundary f_k*=0 for v_k<=0) and Prop 2 (admit iff pi_k v_k g_k'(0) > h, since marginal gain peaks at f_k=0 by concavity). Prop 3's condition v_a/v_b < (pi_b g_b'(0))/(pi_a g_a'(0)) is the correct rearrangement, and v_a<=0 => S_a<=0<h excludes a while the count rule spends most on it. The Section 6 KKT value-weighted water-filling is correct. No algebra errors.

Novelty. Moderate. The optimization is textbook separable-concave / water-filling and the value weight v_k is carried from the author's companion single-test work; the genuinely new content is the multi-detector allocation layer and the inversion, which recasts the MCED literature's "reassuring accident" (poor sensitivity for overdiagnosis-prone cancers) as something to engineer deliberately via threshold allocation. That reframing is real conceptual leverage, but once v_k may be negative the inversion is fairly directly entailed by swapping a value-weighted objective for a count one. Score 5.

Rigour. Strong and honest. Assumptions are explicit (concave LR-ordered ROCs with an upper-concave-envelope fix flagged; rare-event additivity F~sum f_k; single-round static), no fabricated data, and the paper foregrounds that it cannot generate m_k, B_k, H_k or g_k and is a design principle, not evidence of benefit. It adds a genuine equity caveat. Two reservations cap it: (a) the load-bearing additivity F~sum_k f_k is acknowledged but never bounded quantitatively, and correlated cross-type false calls from a single shared cfDNA assay would couple detectors and erode the separability the whole result rests on; (b) references appear only as inline keys with no resolved bibliography, weakening verifiability. Score 7.

Significance. Real and timely: overdiagnosis is among the worst harms in cancer screening, and the rule gives designers/regulators an explicit lever plus a sharp, pre-registerable prediction (at matched overall specificity a value-weighted panel averts more deaths per work-up, gap widening as indolent high-prevalence types are added). Ceiling: the decisive input m_k is counterfactual and confounded by lead/length-time bias, so near-term use is as a design/evaluation framework, not a turnkey threshold setter. Score 6.

Clarity. High: clean progression from budget framing to net-value objective to inclusion score to inversion to dual to limitations to falsifiable prediction; compact proofs; the takeaway S_k = pi_k v_k g_k'(0) communicates instantly. Minus only for inline-only citations. Score 8.

Overall: an honest, correctly derived, useful decision-theoretic design principle. Bounded by an inversion largely entailed by the value-weighted objective, by un-estimable inputs, by an unbounded additivity approximation, and by a missing formal reference list.