{"id":"1d27ea01-72b2-433b-b842-d00928df6d0b","arxiv_id":"2606.25783","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Constructs multiple weak solutions to a cross-diffusion-advection system on the line, proving non-uniqueness by exhibiting both segregated and mixing behaviors from complementary half-line supports.","lead":"The paper constructs two distinct weak solutions to a cross-diffusion system with advection from segregated half-line initial data: one solution stays completely segregated while the other begins mixing after finite time. A smart generalist might read it to see how uniqueness can fail in mathematical models of population segregation and movement.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly isolates the specificity of the construction to this system and initial data; that is precisely where the claim is anchored. No additional internal inconsistency (e.g., circular use of uniqueness, unjustified passage to the limit, or mismatch between stated and proved exponent ranges) appears in the abstract description of the argument.","tokens_in":1688,"tokens_out":312,"duration_ms":29527,"concrete_test":"Substitute the explicitly constructed segregated and mixing density pairs into the weak form of the cross-diffusion-advection system (integrate against a smooth compactly supported test function) and verify that the distributional time derivative equals the divergence terms plus advection for both families, particularly across the interface at the onset of mixing.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is an explicit construction of both a segregated weak solution (supports remain disjoint for all time) and mixing weak solutions (supports overlap after finite time) for the same initial data on complementary half-lines. The abstract states that both satisfy the system in the weak sense, that infinitely many mixing solutions exist, and that the construction covers the full range of pressure exponents. Because the argument is presented as a direct construction rather than an abstract existence argument, and no hidden assumption about uniqueness criteria or entropy conditions is invoked to rule out one family, the construction itself is the load-bearing step; if it is carried out correctly, the non-uniqueness statement holds in the stated setting.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript constructs explicit weak solutions to a cross-diffusion system with advection on the real line for initial data supported on complementary half-lines x≤0 and x≥0. It produces a segregated solution whose supports remain disjoint for all time and infinitely many mixing solutions whose supports overlap after a finite time; the construction is claimed to hold for the full range of pressure exponents, with quantitative estimates on the mixing process available for a sub-range of exponents.","tokens_in":1792,"tokens_out":386,"duration_ms":12171,"significance":"If the explicit constructions are verified to satisfy the weak formulation, the result supplies one of the first concrete demonstrations of non-uniqueness for this class of equations together with an explicit mixing mechanism. The direct, parameter-free nature of the construction (no fitted parameters or auxiliary entropy conditions invoked to select one family) and its coverage of all pressure exponents constitute clear strengths.","major_comments":[],"minor_comments":[{"comment":"The introduction should state the precise weak formulation (including the sense in which the advection and cross-diffusion terms are integrated) before the construction begins, so that the subsequent verification steps can be checked against a single displayed definition.","section":null},{"comment":"Figure captions and the text describing the interface motion should use consistent notation for the free boundary locations; currently the symbols for the left- and right-moving fronts appear to be interchanged in one paragraph of §4.","section":"§4"},{"comment":"The quantitative estimates in the range p>2 are stated only for the L^1 distance between supports; an explicit statement of the constant dependence on the initial data and on p would make the result easier to compare with related literature.","section":"Theorem 5.3"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive assessment of the manuscript, the recognition of the explicit constructions demonstrating non-uniqueness, and the recommendation of minor revision. No specific major comments were listed in the report.","responses":[],"tokens_in":1131,"tokens_out":59,"duration_ms":15995,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core point is that the authors build, by hand, both a segregated weak solution that keeps the two densities on their original half-lines forever and a family of mixing weak solutions that start overlapping after finite time, all from the same initial data. They also get infinitely many mixing variants and quantitative mixing rates for some pressure exponents.\n\nThe construction itself is the main contribution. It is direct rather than abstract, covers the full range of exponents, and demonstrates mixing explicitly in a model class where such examples have been scarce. That is useful concrete information for people studying population cross-diffusion systems.\n\nThe result stays tightly tied to the whole line and these exact complementary half-line supports. Any shift in domain, advection terms, or initial support would require a fresh argument, so the scope is narrow. The abstract claims the functions satisfy the weak form, but the details of how the interfaces are handled and how the estimates close would need checking in the full text.\n\nThis is for readers working on uniqueness questions or mixing in cross-diffusion PDEs. The explicit nature makes it worth a serious referee even if revisions are needed on the verification steps.","headline":"The paper gives an explicit construction of non-uniqueness for a cross-diffusion-advection system on the line, with one segregated solution and infinitely many mixing ones from half-line initial data.","tokens_in":2305,"tokens_out":310,"would_cite":false,"duration_ms":15068,"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":"Cross-diffusion system with advection admits both segregated and mixing weak solutions from the same half-line initial data.","keywords":["cross-diffusion","advection","weak solutions","non-uniqueness","segregation","mixing","population dynamics","pressure exponents"],"falsifier":"A proof that every weak solution remains segregated for all time with these initial data, or a numerical approximation that stays strictly segregated without any invasion, would falsify the existence of mixing solutions.","tokens_in":2583,"feed_emoji":"","tokens_out":647,"duration_ms":29070,"temperature":0.7,"pith_summary":"The paper constructs two distinct weak solutions for a cross-diffusion system with advection describing two segregating population species. From initial densities supported exactly on the half-lines x ≤ 0 and x ≥ 0, one solution keeps the densities confined to their supports and completely segregated for all time, while the second class of solutions allows the densities to invade the opposite half-line after a finite time, producing mixing. The construction yields infinitely many mixing solutions and holds for the full range of pressure exponents, with quantitative estimates on the mixing process available for certain exponents. A sympathetic reader would care because the result supplies one of the first explicit demonstrations of non-uniqueness for this class of equations together with a concrete mixing phenomenon.","feed_headline":"Cross-diffusion system admits segregated and mixing solutions","feed_subtitle":"From half-line initial data, one weak solution stays segregated while infinitely many others mix after finite time","key_machinery":"Explicit construction of a segregated weak solution and infinitely many mixing weak solutions for the cross-diffusion-advection system with initial data supported on complementary half-lines.","core_discovery":"Starting from two initial densities supported on the half-lines x≤0 and x≥0, respectively, the cross-diffusion-advection system on the whole line admits a segregated weak solution that remains confined to the initial supports and stays completely segregated, as well as infinitely many mixing weak solutions in which the densities begin to invade the opposite half-line after a finite time.","pith_inferences":["Additional selection principles such as entropy or viscosity conditions may be needed to restore uniqueness in applications.","The half-line support geometry is essential to the construction, so the same non-uniqueness may not appear for initial data with different supports.","Numerical schemes could converge to either the segregated or a mixing solution depending on regularization or discretization details."],"forward_implications":["Weak solutions to the system are not unique.","Mixing can occur in finite time even though the initial data are completely segregated.","Infinitely many distinct mixing solutions exist.","The non-uniqueness result holds for every pressure exponent.","Quantitative estimates on the rate or extent of mixing are available for a certain range of exponents."],"fun_headline_variants":["Non-uniqueness for cross-diffusion weak solutions with advection","Half-line initial data produces segregated and mixing solutions","Mixing weak solutions invade opposite half-line in cross-diffusion","Segregated and infinite mixing solutions in cross-diffusion system"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The explicit construction of both segregated and mixing weak solutions is possible only for this specific cross-diffusion-advection system on the whole line with initial data exactly supported on complementary half-lines.","fun_headline_variants_meta":{"raw":{"variants":["Non-uniqueness for cross-diffusion weak solutions with advection","Half-line initial data produces segregated and mixing solutions","Mixing weak solutions invade opposite half-line in cross-diffusion","Segregated and infinite mixing solutions in cross-diffusion system"]},"model":"grok-4.3","cost_usd":0.007052,"raw_usage":{"total_tokens":3215,"prompt_tokens":573,"num_sources_used":0,"completion_tokens":62,"cost_in_usd_ticks":70524500,"prompt_tokens_details":{"text_tokens":573,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2580,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":573,"tokens_out":62,"duration_ms":18429,"temperature":1.0,"reasoning_tokens":2580,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-25T20:34:16.726496+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A proof that every weak solution remains segregated for all time with these initial data, or a numerical approximation that stays strictly segregated without any invasion, would falsify the existence of mixing solutions.","supporting_citations":[],"review_version":1}