{"id":"2cca3de0-0c4d-46f4-a42b-5504cf185651","arxiv_id":"2607.28860","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"Claim: reduced Keyfitz–Kranzer fluxes are only φ(r), φ(rK(Θ)), or φ(Θ); the smooth case φ(u)=u_1^2-u_2^2 is a counterexample.","lead":"This math paper tries to organize a class of wave equations (Keyfitz–Kranzer systems) by assuming one wave speed is unchanged along its own characteristics, and claims this forces the flux into three simple forms. The classification is incomplete: the flux u_1^2 - u_2^2 meets the assumption but fits none of the three forms.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 2.19's reduced classification is false: φ(u)=u1^2-u2^2 is reduced but not of the three forms, because the Poincaré step only yields a local K.","rationale":"The paper's central claim is the trichotomy in Lemma 2.19: every reduced Keyfitz–Kranzer system has φ equal to one of φ(r), φ(rK(Θ)), or φ(Θ), with the Riemann-solution dichotomy then following. The proof's critical step is the assertion that the closed form v=∇ϑφ/(rφr) is globally a gradient, so that K=e^h is a smooth function on S^{n-1}. This is exactly where the argument breaks. The concrete counterexample φ=u1^2-u2^2 satisfies the defining reduced condition Dμμ=0 for arbitrary smooth data because μ=3φ and Dμφ=0 identically, yet it belongs to none of the three claimed classes. The failure is not a matter of convention or an edge case: it arises from a nontrivial cohomology / global-integrability obstruction that affects a whole family of homogeneous angular fluxes. I independently checked the algebra leading to v=-tan2ϑ and the impossibility of K^2=cos2ϑ. The determinant identity Lemma 2.14 and the special-case analyses of Sections 3–5 are not invalidated by this objection, but the advertised classification framework and the resulting dichotomy for Riemann solutions are unsupported. Therefore the paper overclaims its central result, and the reader's REJECT verdict is appropriate.","tokens_in":27055,"tokens_out":6893,"duration_ms":69361,"concrete_test":"Perform the following analytical check on the candidate counterexample: for φ(u)=u1^2-u2^2, n=2, compute μ=3φ, verify Dμμ=3Dμφ=0 using (2.5), then follow Lemma 2.19's derivation through (2.20)–(2.24) to obtain v(ϑ)=-tan2ϑ. Demonstrate that v is closed but has no single-valued primitive on S^1 (e.g., its local primitive is (1/2)ln|cos2ϑ|, with logarithmic singularities and a period obstruction), so K=e^h cannot exist. Then attempt the representation φ=f(rK(ϑ)) and show it forces K^2=const·cos2ϑ, impossible for real K. This settles whether the trichotomy covers all reduced systems.","verdict_should_be":"REJECT","load_bearing_attack":"From (2.15)–(2.17), reducedness gives (2.20). This implies ∂r(∇ϑφ/(rφr))=0, so v := ∇ϑφ/(rφr) is a closed 1-form on S^{n-1}. The proof of Lemma 2.19 then invokes the Poincaré lemma to represent v=∇h and sets K=e^h. That step requires a global primitive. On S^1, H^1(S^1)≠0, and even when v is locally exact, zeros of v or nonzero periods prevent a single smooth h. This is not a technicality: take n=2, φ(u)=u1^2-u2^2=r^2 cos 2ϑ. Then μ=φ+rφr=3φ, so Dμμ=3Dμφ=0 by (2.5); the system is reduced. The derivation gives v(ϑ)=-tan 2ϑ. There is no global h with v=∇h on S^1 (the local primitive (1/2)log|cos2ϑ| is singular and multivalued), so no smooth K=e^h. Moreover φ is not φ(r), not φ(ϑ), and cannot be written as f(rK(ϑ)): if f(rK)=r^2 cos2ϑ with K nonzero, then K^2 = const·cos2ϑ on each component, which is impossible over regions where cos2ϑ<0; if K≡0 on a region, φ would vanish there. Thus reduced systems are not exhausted by the three normal forms. Since Sections 3–5 and the advertised classical-vs-delta-shock dichotomy are built on Lemma 2.19, the central classification claim fails.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies n-dimensional Keyfitz–Kranzer systems with flux coefficient φ(r,Θ). It introduces a “reduced” constitutive hypothesis, D_μ μ = 0, and claims in Lemma 2.19 that this forces φ into one of three forms: φ(r), φ(r K(Θ)), or φ(Θ). On this basis it analyzes finite-time blow-up of smooth solutions, classical Riemann solutions, and delta-shock/vacuum solutions, with applications to chromatography, pressureless gas dynamics, and related models. The central advertised contribution is the classification of reduced systems and the resulting dichotomy between classical and singular Riemann solutions.","tokens_in":27507,"tokens_out":5994,"duration_ms":64303,"significance":"If the classification were correct, it would provide a useful unifying framework for many known examples of Keyfitz–Kranzer systems and would give a systematic justification for the appearance of delta-shocks and vacuum states. The paper also collects a wide range of applications and derives explicit delta-shock formulas for pressureless gas dynamics. However, the classification is false as stated: there is an elementary reduced system that is not of any of the three forms. Since the later sections depend structurally on Lemma 2.19, the advertised scope of the results is not established. The specific examples and conditional statements may remain valuable, but the paper's central claim fails.","major_comments":[{"comment":"The proof that the reduced condition forces φ = φ(r), φ(rK(Θ)), or φ(Θ) uses Poincaré’s lemma to conclude that the closed 1-form v(ϑ) = ∇_ϑ φ/(r φ_r) is a global gradient. This is false for n = 2 because H^1(S^1) ≠ 0. A concrete counterexample is φ(u) = u_1^2 - u_2^2 = r^2 cos 2ϑ. Then μ = φ + r φ_r = 3φ, so D_μ μ = 3 D_μ φ = 0 by Eq. (2.5); the system is reduced. But the resulting v(ϑ) = -tan 2ϑ has no smooth global primitive on S^1 (the local primitive is 1/2 log|cos 2ϑ|, which is singular and multivalued). Moreover φ is not of the form φ(r), φ(ϑ), or f(rK(ϑ)) with a single global K: on regions where cos 2ϑ changes sign, no real f can encode φ = r^2 cos 2ϑ as a function of rK alone. Thus Lemma 2.19 is false, and the classification framework of the abstract collapses.","section":"§2, Lemma 2.19 and Eqs. (2.20)–(2.24)"},{"comment":"The finite-time blow-up results, the classical Riemann classification, and the delta-shock representation theorem are all derived under the assumption that a reduced system belongs to one of the three normal forms. Since Lemma 2.19 is false, these results are conditional rather than the advertised classification. In particular, Theorem 5.32 and the discussion around Eqs. (4.25)–(4.30) and (5.25)–(5.28) describe delta-shock behavior only for systems already assumed to be of the form φ = φ(z) or φ = φ(Θ). The paper's abstract overstates the scope by claiming a classification of reduced systems, whereas the actual results presuppose the ansatz that the counterexample disproves.","section":"§3–§5 (Prop. 3.3, §4.2, Thm. 5.32)"}],"minor_comments":[{"comment":"Typo: “those with are classical” should be “those which are classical.”","section":"Abstract"},{"comment":"The Poincaré lemma step is too terse; even for n ≥ 3, where H^1(S^{n-1}) = 0, the construction K = e^h gives a positive K, whereas the later applications require K to change sign and vanish. The proof should specify the regularity and global hypotheses needed to pass from local exactness to a global K.","section":"§2, proof of Lemma 2.19"},{"comment":"The notation ˘δ_σ and the product δ_σ ˘δ_σ is confusing; the remark in footnote 4 is not a definition. A precise statement of the measure product would improve readability.","section":"§5, Eq. (5.18) and surrounding text"},{"comment":"Reference [25] has a typo: “chromotography” should be “chromatography.” Also, the arXiv identifier 2607.28860 appears to be outside the current arXiv numbering convention.","section":"References"},{"comment":"The paragraph beginning “The absence of shocks is a structural feature...” is more of an interpretive remark than a proof. If it is intended as a rigorous statement, it should be formulated as a lemma with a proof; otherwise it reads as editorializing.","section":"§4.3"}],"recommendation":"reject","confidential_remarks":"The reader's stress test is on point: the counterexample φ = u_1^2 - u_2^2 invalidates Lemma 2.19 and hence the central classification. The paper contains useful conditional results and a broad survey of applications, but the advertised framework is not correct as stated. A simple repair by adding a global gradient assumption would exclude a natural family of reduced systems and would require rewriting the main claims. I therefore recommend rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nYou should know before reading this paper that its advertised classification of 'reduced' Keyfitz–Kranzer systems does not hold. The proof of Lemma 2.19 invokes the Poincaré lemma to write a closed 1-form on S^{n-1} as a gradient. That step fails globally: for n=2, H^1(S^1) is nonzero, and even when the form is locally exact, zeros or sign changes of the would-be K obstruct a single smooth primitive. This is not a technicality. Take n=2 and φ(u)=u_1^2-u_2^2 = r^2 cos 2θ. Then rφ_r = 2φ, so μ = 3φ, and since D_μφ = 0 by the system's own identity (2.5)–(2.6), the system is reduced. Yet φ is not of the forms φ(r), φ(Θ), or f(rK(Θ)): any K that could produce r^2 cos2θ would have to vanish where cos2θ<0 while still carrying the r-dependence, which is impossible. So the abstract claim that reduced systems split into φ(r), φ(rK(Θ)), and φ(Θ) is false, and the finite-time blow-up / Riemann-solution dichotomy built on it collapses.\n\nWhat is actually good: Lemma 2.14's determinant identity for D_μμ is clean and, as far as I know, new. The special-case analyses in Sections 4 and 5 — the z=rK(Θ) case with K=a·Θ, the φ(Θ) fixed-point argument for delta-shocks, and the pressureless gas formulas — are carried out carefully and may well be correct on their own, but they cover only the special families the classification was supposed to generalize. The paper also engages the existing literature seriously and does not fit parameters or lean on self-citations.\n\nThe soft spot is the one above: the central theorem is unsupported, and the paper does not flag its reliance on global exactness. This is a substantial flaw, but the counterexample is simple enough that a referee would catch it quickly, and the remaining special-case results could be reorganized into a smaller paper without the classification claim.\n\nWho should read this: anyone working on delta-shock constructions in Keyfitz–Kranzer systems, as a source of explicit formulas, not as a framework. I would not cite the classification, but I might cite Lemma 2.14 if I needed that identity.\n\nRecommendation: if this were submitted to me, I would send it to peer review rather than desk-reject — the identity and the special cases deserve referee time — and the review would come back reject with a request to narrow the claims substantially.","headline":"The advertised trichotomy for reduced Keyfitz–Kranzer systems is false — a simple homogeneous quadratic breaks it — but the paper contains a useful determinant identity and several careful special-case delta-shock calculations.","tokens_in":27967,"tokens_out":4661,"would_cite":false,"duration_ms":48865,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35L65","35L67"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper claims that all reduced Keyfitz–Kranzer systems fall into exactly three constitutive classes, with finite-time amplitude blow-up confined to the two angular ones.","keywords":["Keyfitz-Kranzer system","conservation laws","delta shocks","Riemann problem","eigenvalue degeneracy","finite-time blow-up","constitutive classification","pressureless gas dynamics"],"falsifier":"For n=2, take φ(u)=u_1^2-u_2^2=r^2 cos 2θ. Then μ=3φ, so D_μ μ=3D_μ λ=0 identically and the system is reduced, but (2.21) gives v(θ)=-tan 2θ, which is not a smooth global vector field on S^1. Computing the Riemann solution for this φ and checking whether it fits the paper's three-case classification would settle the lemma; a match would be a counterexample.","tokens_in":26913,"feed_emoji":"💥","tokens_out":5450,"duration_ms":56361,"temperature":0.7,"pith_summary":"The paper aims to classify n-dimensional Keyfitz–Kranzer conservation laws whose constitutive function φ is 'reduced', meaning the largest eigenvalue μ stays constant along its own characteristics for every smooth initial datum. It argues that such φ must be one of three forms: purely radial φ(r), a product-form φ(rK(Θ)) with K a function on the sphere, or purely angular φ(Θ). From this trichotomy it derives a complete picture of singular behaviour: classical Riemann solutions in the radial case, and delta-shock or vacuum states once K has zeros or φ depends only on the direction. It also locates finite-time amplitude blow-up precisely in the K-zero and φ(Θ) cases, tying breakdown to a right-eigenvector deficiency. A reader should care because the classification turns a zoo of applications — chromatography, pressureless and relativistic gases, geometric optics — into a small set of normal forms with known wave structure.","feed_headline":"Reduced Keyfitz-Kranzer systems take one of three forms","feed_subtitle":"The trichotomy decides when solutions stay classical and when delta shocks or vacuum states appear.","key_machinery":"The load-bearing object is the reduced condition D_μ μ=0 expressed through the determinant identity (2.15): for smooth solutions, D_μ μ equals r times a 2×2 determinant whose columns are the r- and ϑ-derivatives of λ and μ contracted with ϑ_x. Vanishing of this determinant for arbitrary data yields the gradient equation (2.20)–(2.22), from which the scalar field z=rK(Θ) is read off via integration along level curves. The eigen-degeneracy sets Σ={rφ_r=0} and Υ (where μ is linearly degenerate) then organize the breakdown analysis: on Σ the system loses a right eigenvector, and the paper ties amplitude blow-up to exactly those subcases in which ∇_u φ does not vanish on Σ.","core_discovery":"The central claim is that imposing D_μ μ=0 as a structural condition forces the constitutive function φ to depend on u only through one of three quantities: r, z=rK(Θ), or Θ alone, where Θ=u/|u|. Lemma 2.19 derives this from the identity (2.15), which expresses D_μ μ as an r-scaled determinant built from the r- and ϑ-derivatives of λ and μ. When that determinant vanishes for all smooth data, the angular gradient of φ must be proportional to the r-derivative of rφ_r, leading to the z-form with an arbitrary scalar K(Θ); the other two forms are the degenerate limits. The paper then shows that the set where eigenvalues coincide, Σ, splits into classical and singular cases, and that finite-time u","pith_inferences":["The global-gradient step in Lemma 2.19 is the fragile point: on S^1 a closed 1-form need not be exact, and the example φ = u_1^2 - u_2^2 satisfies D_μ μ=0 (since μ=3φ) yet does not fit the three normal forms, suggesting the true classification may require local charts or multivalued K.","If the trichotomy survives only locally, then the 'arbitrary scalar field K(Θ)' is better read as a collection of charts with compatibility conditions across zeros of K, which would change the Riemann-problem analysis near those hypersurfaces.","The φ(Θ) case is structurally a singular limit: since the flux depends only on the direction, radial scaling is a symmetry, the characteristic fields are completely linearly degenerate, and the sphere geometry replaces the entropy-shock mechanism; one could test whether vanishing-pressure limits of other systems approach this case.","A numerical test on φ = r^2 cos 2θ with smooth data would directly check whether amplitude blow-up and Riemann structure follow the radial-case predictions or require a fourth normal form."],"forward_implications":["If the trichotomy is correct, every reduced Keyfitz–Kranzer system inherits the known Riemann-solution catalogue: classical waves (contact, shock, rarefaction) in the radial case; delta-shocks with singular mass concentrated on a curve when K changes sign across a hypersurface; and cavitation/vacuum or delta-shock solutions in the φ(Θ) case.","The representation formula (5.22) and generalized Rankine–Hugoniot relation (5.17) give an explicit weight for the delta shock, fixed by the left and right states and the speed s=[φ(z)z]/[z], so singular solutions are not just existence statements but computable profiles.","Finite-time blow-up of the amplitude r is confined to the two cases where the system has a right-eigenvector deficiency: K(Θ)=0 with ∇K≠0, and φ=φ(Θ) with ∇φ·Θ'<0; in the radial case μ_x blows up but r and |ϑ_x| stay bounded.","The pressureless gas examples (relativistic and nonrelativistic) are recovered as special cases of the φ(Θ)-type delta-shock construction, with explicit shock speeds and singular mass given by averages of the velocities weighted by square roots of densities.","The paper's entropy-flux pair (y, φ(z)y) for any smooth J(Θ) provides a family of conserved quantities that may single out admissible delta-shock solutions."],"fun_headline_variants":["Keyfitz-Kranzer systems split into three structural forms","Three forms arise from one eigenvalue condition","Structural condition yields trichotomy for conservation laws","Delta shocks and vacuum states tied to system form","One condition decides classical vs singular solutions"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The trichotomy rests on the assumption that the vector field v(ϑ) obtained from any reduced φ is the gradient of a single smooth function K on the entire sphere S^{n-1}, which fails globally on the circle and wherever K crosses zero.","fun_headline_variants_meta":{"raw":{"variants":["Keyfitz-Kranzer systems split into three structural forms","Three forms arise from one eigenvalue condition","Structural condition yields trichotomy for conservation laws","Delta shocks and vacuum states tied to system form","One condition decides classical vs singular solutions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000343,"raw_usage":{"total_tokens":1720,"prompt_tokens":740,"completion_tokens":980,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":484,"completion_tokens_details":{"reasoning_tokens":911}},"tokens_in":484,"tokens_out":980,"duration_ms":9110,"temperature":1.0,"reasoning_tokens":911,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T01:29:06.764718+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For n=2, take φ(u)=u_1^2-u_2^2=r^2 cos 2θ. Then μ=3φ, so D_μ μ=3D_μ λ=0 identically and the system is reduced, but (2.21) gives v(θ)=-tan 2θ, which is not a smooth global vector field on S^1. Computing the Riemann solution for this φ and checking whether it fits the paper's three-case classification would settle the lemma; a match would be a counterexample.","supporting_citations":[],"review_version":1}