{"id":"f0e9ff43-7e54-44a2-82ad-072bfd39f558","arxiv_id":"1908.01870","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For symmetric Case IV quadratic systems, the wave manifold is divided into twelve regions, with Lax-admissible shock arcs identified in the lateral and above-tunnel regions.","lead":"This paper decomposes the wave manifold for a class of quadratic conservation-law systems into regions where shock waves are admissible, separating slow and fast components of the characteristic and sonic surfaces. It is part of a long-running program to construct non-local solutions of Riemann problems, and it leaves part of the admissible-region classification open.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The Section 6 containment claim rests on the Appendix B L3 condition, whose 'Maple computation' is unreproducible and whose final displayed inequality is malformed; until that threshold is independently checked, the non-local admissible-region conclusion is not established.","rationale":"The paper is read as extending the wave-manifold program by decomposing the characteristic and sonic' surfaces into slow and fast components and by identifying, for symmetric Case IV, regions that can support Lax-admissible Hugoniot arcs. Much of the geometric machinery, including Lemma 1, Proposition 2, the surface Sigma, and the tangency properties of T f, is presented in enough detail to be checked. The weakest point is exactly the step the reader singles out: Appendix B reduces condition L3 to z^2 < 1/(b1+1) through an opaque Maple computation whose displayed result is not a well-formed expression. This step is load-bearing because nonlocal admissible arcs are admitted only under that threshold; without it, one cannot rule out admissible behavior outside the two claimed regions. The abstract's stronger wording about decomposing the wave manifold into admissible and non-admissible regions also exceeds the body, which explicitly leaves the local/nonlocal split inside the above-tunnel region undetermined. The concern does not move the reader's verdict; it reinforces the conditional verdict. The concrete test, an independent symbolic derivation or a released Maple worksheet, would settle whether the threshold is correct and whether the containment claim should stand as stated.","tokens_in":13875,"tokens_out":17044,"duration_ms":214012,"concrete_test":"Independently derive the Appendix B condition with symbolic algebra, using the stated parametric equations (26), Eq. (22), and the definition shug'C(z) = (az+b)/(cz+d) with Yhug' numerator f z^2 + g z + h. Compute Q(s) = (c^2 h - d c g + d^2 f) s^2 + (a g d + b c g - 2(a c h + b d f)) s + a^2 h - a b g + b^2 f and D = c^2 h - d c g + d^2 f; substitute s = sson'(t'_0, z0, Y0) and simplify. Check whether the result is exactly, up to positive factors, Y0^2((b1+1)z0^2 - 1) < 0, and verify that the roots z1 < z2 of Yhug' = 0 are ordered so that the slow/fast labeling required by L3 matches F(z1) < s < F(z2). If either check fails, the Section 6 containment claim and the z^2 < 1/(b1+1) threshold should be revised.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 6 concludes that admissible regions are contained in the lateral region z>0, Y>0, t<0 and in the above-tunnel region adjacent to Cs. For nonlocal arcs this conclusion uses the assertion that L3 holds iff (b1+1)z0^2 - 1 < 0. The stated proof is deferred to Appendix B, where a 'long straightforward computation' done in Maple replaces the derivation. The general quadratic inequality stated there is plausible, but the final expression is typeset as 'cond = Y 2 0 ((b1 + 1)z2 0− 1 2 < 0', which is not a well-formed inequality; the coefficients a, b, c, d, f, g, h needed to perform the substitution are not displayed. The threshold is then used to discard every nonlocal start with |z0| >= 1/sqrt(b1+1) and to justify the earlier restriction to (b1+1)z0^2 - 1 < 0 in Section 6. A sign or factor error in that computation would change the set of nonlocal admissible starts and therefore the containment claim. The appendix also does not show that the z-ordering z1 < z2 of the Hugoniot'-C intersections gives the slow/fast ordering assumed by L3 rather than the reverse. The paper's own final sentence concedes that the admissible regions inside the above-tunnel region are not fully determined, so the nonlocal part of the classification rests on this unverified algebraic condition.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the wave manifold for quadratic systems of two conservation laws in the symmetric Case IV of the Schaeffer-Shearer classification. In coordinates (t,z,Y), the authors decompose the characteristic surface C into slow and fast components Cs (t<0) and Cf (t>0) with fold curve t=0, describe how C, Son, and Son' divide the wave manifold into twelve regions, construct the surface Tf generated by Hugoniot curves through the fold curve, and split Son' into slow and fast parts Son'_s and Son'_f. The main claimed result is a partial classification of Lax-admissible regions: admissible regions are contained in two of the regions bounded by C, Son, Son', and Tf, namely the lateral region z>0, Y>0, t<0 and the above-tunnel region under Y=0, t<0, with local arcs starting at Cs and nonlocal arcs at Son'_s. The proof of the key L3 condition for nonlocal arcs is deferred to Appendix B, where it is asserted, via a 'long straightforward computation' in Maple, that L3 holds if and only if (b1+1)z0^2 - 1 < 0.","tokens_in":14102,"tokens_out":12128,"duration_ms":109500,"significance":"If the L3 threshold is correct, this paper would provide the first partial classification of Lax-admissible shock arcs for symmetric Case IV, backed by explicit parametrizations of C, Son, Son', Tf, and the sonic' fold curve, and a plausible twelve-region decomposition. The geometric framework and the explicit formulas for the slow/fast splittings are strengths, and the containment statement is clearly formulated as a falsifiable claim. However, the nonlocal part of the classification rests on an unreproducible and apparently garbled Maple computation in Appendix B, and a possible sign error in Section 6 affects the direction of admissible arcs. The result is therefore conditional on fixing these points.","major_comments":[{"comment":"The final displayed condition for L3, 'cond = Y 2 0 ((b1 + 1)z2 0− 1 2 < 0', is not a well-formed inequality, and the coefficients a, b, c, d, f, g, h introduced in the preceding general inequality are never given explicitly, so the claimed reduction of the L3 condition to (b1+1)z0^2 < 1 cannot be verified. This is load-bearing: Section 6 uses this threshold to restrict attention to (b1+1)z0^2 - 1 < 0 and to discard all nonlocal starts with |z0| >= 1/sqrt(b1+1). Please provide the complete computation, including explicit coefficients, or an independently checkable derivation.","section":"Appendix B"},{"comment":"The proof assumes that the roots z1 < z2 of Yhug' = 0 correspond to the slow and fast intersections with C in the order required by L3, but this is not established. If the labeling is reversed, the inequality shug'C(z1) < sson' < shug'C(z2) would be the wrong comparison, and the sign of the final condition could flip. Please show which of z1, z2 lies in Cs (t<0) and which in Cf (t>0), or otherwise justify that the z-ordering gives the required slow/fast ordering.","section":"Appendix B"},{"comment":"The text states that ds/dz at a point in Son'_s has the same sign as Y0((b1+1)z0^2-1), but the displayed denominator is (b1-1)z0^2-1, which is negative in the region (b1+1)z0^2-1<0 used later. If the denominator is indeed -1, then ds/dz has the opposite sign, reversing the conclusions about where the speed decreases. If this is a typo and should be (b1-1)z0^2+1, please correct it. This point determines whether nonlocal arcs enter the lateral region or the above-tunnel region, so it directly affects the main containment claim.","section":"Section 6, after Eq. (21)"}],"minor_comments":[{"comment":"The expression for t on the sonic' fold curve has a missing closing parenthesis; it should read t = -(b1+2) z ((b1-1) z^2 + 1) / ((z^2+1)((b1+1)^2 z^4 + 2(b1+3) z^2 + 1)).","section":"Equation (20)"},{"comment":"The name 'Sheaffer-Shearer' should be 'Schaeffer-Shearer' as in the reference list.","section":"Introduction and References"},{"comment":"Several formulas have ambiguous typesetting, for example the definition of t'_0 in Section 5 and the denominator in Eq. (21) mix z and z0; please reformat these expressions for clarity.","section":"Section 2.1 and Section 5"},{"comment":"There is a typo 'Straihgtforward' in the proof of Proposition 1; it should be 'Straightforward'.","section":"Section 4"}],"recommendation":"major_revision","confidential_remarks":"The central obstacle is the Appendix B Maple computation, which is neither reproducible nor correctly typeset; I recommend asking the authors for the Maple worksheet or a complete handwritten derivation. The possible sign issue in Section 6 must be resolved before the containment claim can be accepted. The paper's heavy citation of prior work is not circular, and the general geometric framework appears sound; with the requested fixes, the paper could become acceptable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version: the paper does something real—it splits C and Son' into slow/fast parts and cuts the wave manifold into twelve regions, with explicit equations for the key surfaces. The local admissible arcs (starting at Cs) are characterized cleanly and don't depend on the shaky part. The non-local arcs, which start at Son'_s, are another story: the key condition L3 is delegated to a Maple computation in Appendix B, the final displayed inequality is malformed, and the coefficients of the general rational inequality are never shown. That's not a small typo; it's the load-bearing step for the containment claim in Section 6.\n\nWhat's new: for the symmetric Case IV, the paper gives explicit characterizations of Cs (t<0) and Cf (t>0), the sonic' fold curves and the boundaries of Son'_s and Son'_f, and constructs the surface T f generated by Hugoniot curves through the fold curve, showing tangency to C and Son'. These derivations are mostly presented with enough algebra to be checked. The paper is honest about its own limit: it explicitly says the above-tunnel region is not fully determined.\n\nWeak points, in order of severity. First, Appendix B: L3 should hold iff (b1+1)z^2 - 1 < 0, but the proof is a 'long straightforward computation' in Maple, with no worksheet and no displayed coefficients; the final condition is printed as 'cond = Y 2 0 ((b1 + 1)z2 0− 1 2 < 0', which is not well-formed. If that threshold is wrong, the non-local admissible set changes. Second, the paper assumes without argument that the ordering z1 < z2 matches the slow/fast ordering used in L3; for a theorem about ordering this needs justification. Third, the abstract promises a decomposition into admissible/non-admissible regions, but the body gives only a partial classification; that's a framing issue, not a mathematical one.\n\nWould I referee it? Yes, with the request that the authors supply the Maple derivation or a clean algebraic proof of L3 and fix the abstract. The audience is people inside the wave-manifold program; for them this is useful, citable material. The local part stands; the non-local part should be marked provisional until L3 is checked.","headline":"Clear and mostly checkable geometry for symmetric Case IV, but the non-local admissibility classification depends on an unverifiable Maple computation in Appendix B.","tokens_in":14663,"tokens_out":3134,"would_cite":true,"duration_ms":30762,"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":"For quadratic systems of two conservation laws in symmetric Case IV, Lax-admissible shock arcs are confined to two regions of the wave manifold, with non-local arcs requiring $|z| < 1/\\sqrt{b_1+1}$.","keywords":["wave manifold","Lax admissibility","Hugoniot curves","shock curves","conservation laws","Riemann problem","sonic surface","characteristic surface"],"falsifier":"Re-run the omitted algebra: for a point on $\\mathrm{Son}'_s$, compute the two intersection speeds of the Hugoniot' curve with $C$, substitute the explicit formulas for $s_{\\mathrm{hug}'C}(z_1)$, $s_{\\mathrm{hug}'C}(z_2)$, and $s_{\\mathrm{son}'}$ into the inequality L3, and check whether it is exactly equivalent to $(b_1+1)z_0^2-1 < 0$; choosing $b_1=2$ and sample values $z_0$ on both sides of $1/\\sqrt{3}$ would settle the threshold numerically.","tokens_in":13628,"feed_emoji":"🌊","tokens_out":10258,"duration_ms":90221,"temperature":0.7,"pith_summary":"The paper aims to prove that, for quadratic systems of two conservation laws in symmetric Case IV, the shock-wave arcs that satisfy Lax admissibility can be located inside a geometric object called the wave manifold. The authors decompose the characteristic surface and the sonic' surface into slow and fast parts, and use these decompositions to split the wave manifold into twelve regions. Their main conclusion is a first partial classification: every admissible shock arc lies in one of two regions, a lateral region and an 'above the tunnel' region, and non-local admissible arcs require the parameter condition $|z| < 1/\\sqrt{b_1+1}$. If the classification is correct, it gives an explicit picture of where Riemann-problem solutions with shocks can be constructed, and which arcs are local versus non-local.","feed_headline":"Admissible shock arcs confined to two wave-manifold regions","feed_subtitle":"First partial classification for symmetric Case IV, with non-local arcs pinned to a parameter strip.","key_machinery":"The load-bearing object is the three-dimensional wave manifold $M$ embedded in $\\mathbb{R}^5$ by the Rankine-Hugoniot condition, together with three distinguished surfaces inside it: the characteristic surface $C$ (the plane $Y=0$ in the paper's coordinates), the sonic surface $\\mathrm{Son}$, and the sonic' surface $\\mathrm{Son}'$. The paper introduces coordinates $(z,Y,t)$ in which $t$ measures distance from the fold curve and in which $C$ becomes the plane $Y=0$; this makes $\\mathrm{Son}$ and $\\mathrm{Son}'$ ruled surfaces whose intersections with each $z$-slice are straight lines. The slow/fast decomposition of $C$ and $\\mathrm{Son}'$, separated by the fold curve and the sonic' fold curve, respectively, plus the surface $T_f$ generated by Hugoniot curves through the fold curve, lets the authors track where the Lax inequalities L1, L2, and L3 hold. In particular, L1 and L2 force admissible arcs to start at $C_s$ or $\\mathrm{Son}'_s$ and to end at $\\mathrm{Son}$ or at infinity, while L3 is checked only at $\\mathrm{Son}'_s$ and is claimed to reduce to $|z| < 1/\\sqrt{b_1+1}$.","core_discovery":"On the paper's own terms, the central discovery is that for the symmetric Case IV of quadratic conservation laws, the Lax admissible regions in the wave manifold decompose into two candidate families. Hugoniot curves through the slow characteristic surface $C_s$ form local admissible arcs; Hugoniot curves through the slow sonic' surface $\\mathrm{Son}'_s$ form non-local admissible arcs. The Lax condition L3, which must hold along such an arc, is reduced to the algebraic inequality $|z| < 1/\\sqrt{b_1+1}$. Combining these facts, the paper concludes that admissible regions are contained in two of the twelve regions bounded by the characteristic surface $C$, the sonic surface $\\mathrm{Son}$, the sonic' surface $\\mathrm{Son}'$, and the surface $T_f$: the lateral region $z>0$, $Y>0$, $t<0$, and the above-the-tunnel region under the half-plane $Y=0$, $t<0$. The paper leaves open which subregions inside the above-the-tunnel region are local versus non-local.","pith_inferences":["Beyond the paper: the same decomposition machinery could be applied to other cases in the standard 2x2 classification, where a similar single-parameter inequality might govern non-local admissibility.","Beyond the paper: because the Appendix B computation is only sketched and its printed formula is garbled, the exact threshold for L3 should be re-derived symbolically; a different threshold would change the non-local admissible regions but not the local ones.","Beyond the paper: the authors leave the local/non-local split in the above-the-tunnel region open; a reader could close it using the derivative and scalar-product computations already developed in Section 6."],"forward_implications":["Every admissible shock arc in symmetric Case IV starts either on the slow part of the characteristic surface (local arc) or on the slow part of the sonic' surface (non-local arc).","Non-local admissible arcs exist only for points satisfying $|z| < 1/\\sqrt{b_1+1}$; outside that strip condition L3 fails, so those arcs cannot be admissible.","The decomposition into twelve regions reduces the search for admissible arcs to checking just two candidate regions: the lateral region $z>0$, $Y>0$, $t<0$ and the above-the-tunnel region with $Y<0$, $t<0$.","In the lateral region, local and non-local admissible arcs are separated by the surface formed by Hugoniot curves through the inflection locus; in the above-the-tunnel region the local/non-local split is left undetermined."],"supporting_citations":[{"why":"Defines the Lax/Liu admissibility criteria in the wave manifold, which the paper uses as the shock-admissibility conditions under simplifying assumptions 6.1 and 6.2.","marker":"[1]"},{"why":"Supplies the structure of composite rarefaction-shock foliations and the tangency facts for Hugoniot curves through the fold curve.","marker":"[2]"},{"why":"Gives the intersections of Hugoniot curves with the sonic surface, used in defining the sonic and sonic' surfaces.","marker":"[3]"},{"why":"Establishes the wave manifold formalism, the blow-up coordinates, and the topological facts about C, Son, and Son'.","marker":"[4]"},{"why":"Shows Hugoniot curves foliate the wave manifold except along the secondary bifurcation and provides the equations for Son and Son'.","marker":"[5]"},{"why":"Provides the classification of 2x2 systems that defines symmetric Case IV and the flux function (3).","marker":"[6]"}],"fun_headline_variants":["Shock arcs split into two wave-manifold regions","Lax-admissible arcs confined to two specific regions","Quadratic laws: admissible arcs live in two regions","Two wave-manifold regions contain all admissible shocks"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the omitted computer-algebra reduction in Appendix B correctly proves that the third Lax admissibility condition holds exactly when $|z| < 1/\\sqrt{b_1+1}$; if that threshold is wrong, the claimed non-local admissible regions would change.","fun_headline_variants_meta":{"raw":{"variants":["Shock arcs split into two wave-manifold regions","Lax-admissible arcs confined to two specific regions","Quadratic laws: admissible arcs live in two regions","Two wave-manifold regions contain all admissible shocks"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000189,"raw_usage":{"total_tokens":1283,"prompt_tokens":840,"completion_tokens":443,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":456,"completion_tokens_details":{"reasoning_tokens":379}},"tokens_in":456,"tokens_out":443,"duration_ms":4266,"temperature":1.0,"reasoning_tokens":379,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:00:28.967402+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Re-run the omitted algebra: for a point on $\\mathrm{Son}'_s$, compute the two intersection speeds of the Hugoniot' curve with $C$, substitute the explicit formulas for $s_{\\mathrm{hug}'C}(z_1)$, $s_{\\mathrm{hug}'C}(z_2)$, and $s_{\\mathrm{son}'}$ into the inequality L3, and check whether it is exactly equivalent to $(b_1+1)z_0^2-1 < 0$; choosing $b_1=2$ and sample values $z_0$ on both sides of $1/\\sqrt{3}$ would settle the threshold numerically.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the Lax/Liu admissibility criteria in the wave manifold, which the paper uses as the shock-admissibility conditions under simplifying assumptions 6.1 and 6.2."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the structure of composite rarefaction-shock foliations and the tangency facts for Hugoniot curves through the fold curve."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the intersections of Hugoniot curves with the sonic surface, used in defining the sonic and sonic' surfaces."},{"cited_title":"Isaacson, D","cited_arxiv_id":null,"evidence_quote":"Establishes the wave manifold formalism, the blow-up coordinates, and the topological facts about C, Son, and Son'."},{"cited_title":"Marchesin and C","cited_arxiv_id":null,"evidence_quote":"Shows Hugoniot curves foliate the wave manifold except along the secondary bifurcation and provides the equations for Son and Son'."},{"cited_title":"Schaeffer and M","cited_arxiv_id":null,"evidence_quote":"Provides the classification of 2x2 systems that defines symmetric Case IV and the flux function (3)."}],"review_version":1}