{"id":"64c1bac7-2219-42ae-b97d-6cc377c13132","arxiv_id":"2607.07677","paper_version":3,"verdict":"CONDITIONAL","confidence":"LOW","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Diauxic growth is the corner solution of a linear program that allocates a limited proteome budget to maximize linear growth utility under perfect substitutability of catabolic enzymes.","lead":"Bacteria choosing which sugar to eat first can be modeled as a simple budget problem: put all protein-making resources into the single most profitable enzyme. This economic framing explains why cells usually finish one sugar before starting the next, and when they use several at once.","discovery_kind":"unification","skeptic_critique":{"model":"grok-4.5","headline":"Abstract-only review leaves the claimed quantitative reproduction of diauxie/triauxie unverifiable; the corner-solution geometry is coherent but its empirical load-bearing status cannot be checked.","rationale":"The Reader correctly flags the linearity/perfect-substitutability premise as the modeling choice that converts cybernetic control into an LP whose corners are diauxie, and correctly notes that the abstract alone cannot verify quantitative soundness. That is precisely the load-bearing gap: the geometry is elegant and non-circular in design, but the claim that it actually reproduces the data with independent parameters is the part that must carry the paper’s scientific weight, and that part is invisible. No stronger internal contradiction is visible, so the verdict remains CONDITIONAL with low confidence; the concrete test simply operationalizes the inspection the Reader already requested.","tokens_in":2203,"tokens_out":469,"duration_ms":4884,"concrete_test":"Obtain the full manuscript (or the authors’ code/parameter tables). Re-estimate the two free parameters solely from the single-substrate growth curves, then generate the multi-substrate trajectories from the LP corner solutions alone; if the resulting SSE or residual structure is materially worse than the classical matching-law fit reported in the abstract, the empirical support for the corner explanation collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that the LP corner geometry, using only single-substrate parameters, reproduces Klebsiella oxytoca diauxic and triauxic batch curves with fit comparable to the classical matching law. Because only the abstract is available, the actual LP formulation (objective coefficients, proteome-budget coefficients, how cybernetic variables are extracted from the corner solution, and the numerical values of the two free parameters) cannot be inspected, nor can residual plots, parameter tables, or any post-hoc adjustments be examined. The geometric argument that perfect substitutability plus linear utility forces pure corners is internally consistent, yet the paper’s empirical warrant for that premise rests entirely on the uninspectable multi-substrate predictions. Without those numbers the claim that sequential use is the generic outcome of growth-maximizing specialization remains an untested assertion rather than a demonstrated result.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The manuscript recasts cybernetic enzyme-synthesis control as an explicit consumer-choice linear program: the cell allocates a limited proteome budget among competing catabolic enzymes so as to maximize a linear growth utility subject to a linear proteome-budget constraint. Because utility is linear, optima are geometric corners that assign the entire budget to the single most profitable enzyme whenever iso-utility and budget slopes differ; sequential (diauxic/triauxic) substrate use is thereby the generic outcome of growth-maximizing specialization under perfect substitutability, while co-utilization appears only in the degenerate equal-slope case. Using only kinetic and proteome-cost parameters estimated independently from single-substrate experiments, the LP-derived cybernetic variables are reported to reproduce Klebsiella oxytoca glucose–xylose and glucose–xylose–lactose batch curves at a fit comparable to the classical matching law.","tokens_in":2405,"tokens_out":934,"duration_ms":16846,"significance":"If the claimed LP formulation and the quantitative multi-substrate predictions hold, the paper supplies the missing explicit economic decision behind cybernetic matching, unifies sequential and simultaneous substrate use under a single geometric principle, and shows that diauxie need not invoke a distinct regulatory mechanism. The use of independently estimated single-substrate parameters for multi-substrate prediction is a genuine non-circular strength and would constitute a falsifiable, parameter-light account of choice behavior in sugar metabolism.","major_comments":[{"comment":"The central empirical claim—that LP-derived cybernetic variables, using only independently estimated single-substrate parameters, reproduce K. oxytoca diauxic and triauxic batch data at a fit comparable to the classical matching law—cannot be assessed from the abstract alone. No LP statement (objective coefficients, proteome-budget coefficients), no extraction rule mapping corner solutions to cybernetic variables, no parameter table, residual plots, or quantitative fit metrics are available for inspection. Without those elements the load-bearing quantitative claim remains unverifiable.","section":"Abstract"},{"comment":"The corner-solution geometry that explains diauxie rests on the modeling premise that growth utility is linear in allocated catabolic enzymes (perfect substitutability). The abstract presents this as the choice that turns cybernetic control into the stated LP, yet does not indicate whether robustness to nonlinear returns or imperfect substitutability is examined. If those alternatives produce interior optima, the claim that sequential use is the generic outcome of growth-maximizing specialization would be substantially weakened; a concrete sensitivity or alternative-utility test is therefore load-bearing for the central geometric argument.","section":"Abstract"},{"comment":"The abstract asserts that co-utilization occurs only in the degenerate equal-slope case, but does not state how (or whether) that degeneracy is identified a priori from single-substrate parameters versus diagnosed post hoc from multi-substrate trajectories. Clarification of the identification procedure is required for the claim that co-utilization is the non-generic special case to be falsifiable.","section":"Abstract"}],"minor_comments":[{"comment":"The abstract is clear and well-structured, but a full manuscript would need explicit numbering of the LP, definition of all symbols for utility and budget coefficients, and a table of the independently estimated single-substrate parameters used for the multi-substrate predictions.","section":"Abstract"},{"comment":"Citation of the original cybernetic matching-law papers (Ramkrishna, Kompala, Tsao and subsequent optimality results) should be complete and precise once the full text is available so that the claimed advance relative to prior work can be located exactly.","section":"Abstract"}],"recommendation":"uncertain","confidential_remarks":"Only the abstract was supplied for this review; the full text (equations, figures, parameter tables, residual diagnostics) is unavailable. Under those conditions a definitive accept/reject recommendation is not possible, which is why I have marked the recommendation 'uncertain'. If the full manuscript is later provided and the LP formulation plus the claimed single-substrate-parameter multi-substrate fits are documented and reproducible, the paper would be a strong candidate for major or minor revision rather than rejection; the geometric argument is internally coherent and the non-circular parameter strategy is a genuine strength. Scope appears appropriate for a q-bio.QM / systems-biology methods journal."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The one thing worth knowing is that this paper writes down the cybernetic matching rule as an explicit linear consumer-choice LP: maximize linear growth utility subject to a linear proteome budget. Under perfect substitutability the optimum is generically a corner, so sequential substrate use (diauxie/triauxie) is just the geometry of specialization rather than a separate regulatory program. Co-utilization is the knife-edge equal-slope case. That framing is clear and useful.\n\nWhat is actually new is the textbook LP statement and the geometric corner/degeneracy analysis. The optimality of the matching rule under ROI assumptions was already in the Ramkrishna–Kompala–Tsao line; the contribution is making the objective and constraint explicit and showing that the corner solutions recover the classical cybernetic variables. The experimental design is the right direction: parameters from independent single-substrate runs are used to generate multi-substrate predictions for K. oxytoca glucose–xylose and glucose–xylose–lactose batches, with fit claimed comparable to the matching law. No circular refitting of multi-substrate curves is indicated in the abstract. That is honest methodology if the numbers hold.\n\nThe soft spot is simply that we only have the abstract. We cannot inspect the LP coefficients, how the cybernetic variables are extracted from the corner, residual plots, parameter tables, or any post-hoc adjustments. The linearity/perfect-substitutability premise is load-bearing; if returns are substantially nonlinear or enzymes are imperfect substitutes, interior optima appear and the corner story weakens. The abstract asserts the premise works; without the full text that remains an assertion. The stress-test concern is therefore correct on the evidence we have: the geometry is coherent, the empirical warrant is not yet checkable.\n\nThis is for people who already work with cybernetic or resource-allocation models of microbial growth and want a clean optimality foundation. It is not a general-audience paper. It deserves a serious referee once the full text, equations, and data are available; the idea is sharp enough that desk rejection would be a mistake. I would not cite it yet, and I would not bring the abstract alone to reading group, but I would read the full paper and send it out for review.","headline":"Clean LP recasting of cybernetic control that makes diauxie a geometric corner; abstract-only, so the claimed multi-substrate fits remain unverifiable.","tokens_in":3001,"tokens_out":552,"would_cite":false,"duration_ms":4231,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.5","headline":"Sequential sugar use by bacteria is the generic corner solution of a linear program that maximizes growth subject to a limited proteome budget.","keywords":["cybernetic model","diauxie","proteome allocation","linear programming","bacterial metabolism","substrate choice","matching law","Klebsiella oxytoca"],"falsifier":"Simultaneous co-utilization of two sugars whose independently measured single-substrate profitabilities clearly differ, under batch conditions in which the linear program predicts a strict corner allocation to only the higher-return enzyme.","tokens_in":3070,"feed_emoji":"🦠","tokens_out":843,"duration_ms":25039,"temperature":0.7,"pith_summary":"The paper supplies the missing economic decision behind cybernetic models of microbial enzyme synthesis: the cell is cast as a consumer that allocates a limited proteome budget among competing catabolic enzymes. The allocation is written as a linear program that maximizes a linear growth utility subject to a linear proteome budget constraint. Because both the objective and the constraint are linear, the optimum is almost always a geometric corner: the entire budget is assigned to the single most profitable enzyme, producing sequential (diauxic or triauxic) substrate consumption as relative profitabilities change. Simultaneous co-utilization appears only in the degenerate case where the iso-utility and budget slopes coincide, allowing the optimum to lie anywhere along the budget line. Parameters estimated solely from single-substrate experiments generate cybernetic variables that reproduce Klebsiella oxytoca multi-substrate batch growth with a fit comparable to the classical matching law, showing that sequential use is the expected outcome of growth-maximizing specialization under perfect substitutability rather than a separate regulatory program.","feed_headline":"Diauxie is the corner solution of growth-maximizing proteome choice","feed_subtitle":"A linear program using only single-substrate parameters fits multi-sugar growth as well as the classical matching law","key_machinery":"The linear program maximizing a linear growth utility subject to a linear proteome budget constraint. Its geometry forces pure corner solutions whenever the iso-utility slope differs from the budget slope, concentrating enzyme synthesis on one substrate; only equal slopes allow allocation along the full budget line and thereby simultaneous use.","core_discovery":"Sequential substrate use (diauxie and triauxie) is the generic geometric outcome of growth-maximizing specialization under perfect substitutability: the linear program that maximizes linear growth utility subject to a linear proteome budget has a corner optimum that allocates the entire budget to the single most profitable catabolic enzyme; co-utilization occurs only in the degenerate equal-slope case.","pith_inferences":["If returns to catabolic enzymes were substantially nonlinear, interior proteome allocations could become optimal and simultaneous use would appear even for unequal substrates.","The same corner geometry may organize sequential resource use in other pathways or organisms that share a common biosynthetic budget among competing enzymes.","Accurate single-substrate return measurements alone should suffice to predict the order and timing of substrate switches without refitting multi-substrate experiments."],"forward_implications":["Diauxic and triauxic patterns arise automatically from successive corner choices as relative substrate profitabilities change during batch growth.","Co-utilization is predicted only when profitability slopes are equal and is therefore the special case, not the default.","Cybernetic variables derived from the LP, using solely single-substrate parameters, reproduce multi-substrate growth as well as the classical matching law.","No additional regulatory mechanism beyond growth-maximizing specialization under perfect substitutability is required to explain sequential sugar metabolism."],"fun_headline_variants":["Diauxie is the geometric corner of growth-max proteome LP","Sequential sugar use is LP corner under perfect substitutability","Proteome budget LP makes diauxie the generic growth optimum","Co-utilization only when LP slopes match; else full specialization","Growth utility LP corner yields diauxie from single-substrate params"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"Catabolic enzymes act as perfect substitutes whose returns enter a linear growth utility, so the iso-utility contours are straight lines that force a pure corner optimum unless their slope exactly matches the proteome budget line.","fun_headline_variants_meta":{"raw":{"variants":["Diauxie is the geometric corner of growth-max proteome LP","Sequential sugar use is LP corner under perfect substitutability","Proteome budget LP makes diauxie the generic growth optimum","Co-utilization only when LP slopes match; else full specialization","Growth utility LP corner yields diauxie from single-substrate params"]},"model":"grok-4.5","effort":"low","cost_usd":0.005708,"raw_usage":{"total_tokens":1564,"prompt_tokens":871,"num_sources_used":0,"completion_tokens":90,"cost_in_usd_ticks":57080000,"prompt_tokens_details":{"text_tokens":871,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":603,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":871,"tokens_out":90,"duration_ms":5004,"temperature":1.0,"reasoning_tokens":603,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-15T09:51:42.763057+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Simultaneous co-utilization of two sugars whose independently measured single-substrate profitabilities clearly differ, under batch conditions in which the linear program predicts a strict corner allocation to only the higher-return enzyme.","supporting_citations":[],"review_version":3}