{"id":"8f4982e6-a954-464a-bc64-b65bed869ea7","arxiv_id":"2508.15199","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors construct smooth characteristic initial data on any admissible cone for the 3D compressible Euler equations, resolving the open characteristic initial data problem.","lead":"This math paper claims to solve a long-open problem: setting up starting data on a cone-shaped surface for the equations of three-dimensional compressible gas flow. If correct, it gives researchers a general tool for studying how gas flows and their waves behave over long times.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Recursive closure on the cone requires infinite-order vertex compatibility, which the abstract does not state; 'arbitrary smooth entropy/angular velocity' is therefore not yet supported.","rationale":"The reader's weakest assumption identifies exactly this: admissibility of C0 and compatibility at the vertex S_{0,0} so that mixed derivatives commute at every order of the recursion. My reading of the abstract confirms that this is the most load-bearing unstated condition. The claim 'arbitrary smooth entropy function and angular velocity' is stronger than what can hold if the transport-wave hierarchy needs infinite-order compatibility; such compatibility typically imposes additional differential constraints on the free data and on the cone. Without access to the actual proof, the concern cannot be resolved, so the reader's UNVERDICTED verdict remains appropriate. I do not see a reason to move to ACCEPT or REJECT: the abstract is plausible but the key technical step is unverifiable from the supplied text.","tokens_in":10863,"tokens_out":4243,"duration_ms":59518,"concrete_test":"Choose a simple axisymmetric cone C0 over a small sphere in Sigma_0, and prescribe smooth entropy and angular velocity data that satisfy the 0th-order vertex conditions but violate the first differentiated characteristic constraint at S_{0,0}. Run the first two levels of the transport-wave recursion symbolically: compute the first normal derivative of rho from the wave equation and separately from the differentiated entropy/transport equation, then check whether mixed partial derivatives at S_{0,0} commute. If the two values differ, arbitrary smooth data are not sufficient and the theorem requires explicit compatibility hypotheses in the definition of 'admissible.'","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that for any admissible cone C0, arbitrary smooth entropy and angular velocity determine smooth characteristic data (rho,v,s) on C0 via a recursive transport-wave hierarchy. The load-bearing point is closure of this hierarchy at the vertex sphere S_{0,0}=C0∩Sigma_0. On a characteristic cone the acoustic wave operator is degenerate in the conormal direction, so the wave equations used in the recursion can determine normal derivatives only to the extent that they are actually constraints along C0. At every order k, a mixed derivative computed by differentiating the transport equations must agree with the same mixed derivative computed from the wave equations; otherwise the recursively produced Taylor expansion is not the Taylor expansion of any smooth function on C0. For arbitrary smooth free data these infinite-order compatibility conditions are not automatic; they are differential constraints on the free data at S_{0,0}. The abstract does not state these conditions, nor does it indicate why the recursion itself enforces them, only referring to 'admissible hypersurfaces.' If the two characteristic directions of the acoustical metric along C0 degenerate at any point, or if the free data fail the vertex compatibility conditions, the hierarchy either degenerates or yields inconsistent higher-order derivatives. Because the supplied full text is unreadable, the existence of a compatibility argument is unverified, and the 'arbitrary smooth' assertion is a genuine soft spot.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to resolve the characteristic initial data problem for the three-dimensional compressible Euler equations. For an 'initial cone' C0 in D=[0,T]×R^3, with data (ρ̊,v̊,s̊) prescribed at S_{0,0}=C0∩Σ0, the abstract asserts that arbitrary smooth entropy and angular velocity determine smooth initial data (ρ,v,s) on C0 that make C0 characteristic. The method is described as a vector-field recursion that determines all derivatives along C0 via transport and wave equations, in contrast to the intersecting-hypersurface approach of Speck–Yu and the symmetric-reduction approach of Lisibach. The supplied full text, however, is largely unreadable mojibake and begins with a header for a different arXiv submission; only the abstract can be assessed.","tokens_in":11120,"tokens_out":4094,"duration_ms":46193,"significance":"If the theorem is correct, this would be a substantial advance: it would provide a complete characteristic initial data construction for 3D compressible Euler, analogous to Christodoulou's characteristic initial value formulation for vacuum Einstein equations, and would open a new route to studying long-time dynamics of compressible Euler flows. The abstract's plan—a recursion alternating transport and wave equations—is plausible and could be a genuine technical contribution. However, because no proof is inspectable in the text provided, the significance is entirely conditional. I can credit the clarity of the advertised claim and the apparent novelty of the method, but I cannot verify soundness.","major_comments":[{"comment":"The full text provided for review is unreadable: it consists of replacement characters and begins with the header 'arXiv:2508.15200v1 [cond-mat.mtrl-sci]', which is a different submission. No definitions, equations, or proof steps can be inspected. Since the paper's central claim is a theorem, this is a load-bearing failure of presentation. A readable manuscript is required before any soundness assessment.","section":"Full text (entire proof)"},{"comment":"The theorem statement quantifies over 'admissible hypersurfaces' but does not define admissibility. It also claims that arbitrary smooth entropy and angular velocity determine smooth data, but does not state the vertex compatibility conditions at S_{0,0}=C0∩Σ0. In a recursive construction on a characteristic cone, derivatives computed from transport equations and from wave equations must agree to all orders at the vertex; without such compatibility conditions, or a proof that the recursion enforces them, the assertion that arbitrary smooth free data determine smooth data is not supported.","section":"Abstract"},{"comment":"The claimed recursion 'determines all (including 0-th) order derivatives along C0 via transport equations and wave equations' requires justification for the 0th-order normal derivatives. On a characteristic cone the acoustic wave operator is degenerate in the conormal direction, so the wave equation does not determine the normal derivative unless that derivative is actually constrained by the characteristic condition. The abstract does not explain how the recursion avoids this degeneracy; the proof must show that the wave equations used are non-degenerate in the required directions.","section":"Abstract"}],"minor_comments":[{"comment":"S_{0,0}=C0∩Σ0 is used without defining Σ0; presumably Σ0={0}×R^3, but this should be stated explicitly.","section":"Abstract notation"},{"comment":"The contrast with Speck–Yu [19] and Lisibach [11] cannot be checked because the full text's bibliography is unreadable; the citations should be verified in a clean version.","section":"Abstract references"},{"comment":"The term 'cone' and the phrase 'angular velocity' suggest a spherical-coordinate setup, but no coordinate system is described in the abstract. The geometric meaning of 'initial cone' and 'admissible' should be given in the theorem statement.","section":"Abstract geometry"}],"recommendation":"uncertain","confidential_remarks":"The submitted full text appears to be a corrupted extraction, and it even contains the header of a different arXiv paper. If this is an artifact of the submission system, the authors should resubmit a clean version. As it stands, I cannot verify the proof, and the abstract omits the admissibility and vertex-compatibility hypotheses that the theorem statement needs. I recommend requesting a properly formatted manuscript before substantive review."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take. The paper makes a substantial claim: a general construction of characteristic initial data for 3D compressible Euler on arbitrary admissible cones, extending the Speck-Yu intersecting-hypersurface case and Lisibach's symmetric case. If the construction is correct, it fills a real gap and provides the kind of recursive tool that could be used for long-time stability arguments. The abstract states the problem clearly and positions the result honestly against prior work. That part earns credit.\n\nThe soft spot is the one the stress-test flags: the assertion that 'arbitrary smooth entropy function and angular velocity' determine smooth characteristic data needs a compatibility argument at the vertex S_{0,0}=C0∩Σ0. On a characteristic cone, the acoustic wave operator degenerates along the conormal direction, so the wave equations in the recursion may only determine normal derivatives up to constraints. For the recursion to yield a genuine Taylor expansion, the mixed derivatives computed from transport and wave equations must agree at all orders. That is a nontrivial infinite-order condition, and the abstract's phrase 'admissible hypersurfaces' doesn't tell us how it is handled. This is not a detected error, but it is the first thing a referee must check.\n\nThe real obstacle for me is that the supplied full text is unreadable mojibake and begins with a header for a different arXiv submission (2508.15200, cond-mat). So I cannot inspect the definitions of admissibility, the recursion, or the closure argument. That is an extraction artifact rather than a defect of the authors' manuscript, but it means I cannot verify anything beyond the abstract.\n\nRecommendation: yes, send this to peer review. The claim is important enough and the authors are clearly working within the established framework; a competent referee should be able to determine whether the vertex compatibility holds. I would not cite it myself until I can read the actual PDF and the referee reports.","headline":"General characteristic data for 3D Euler would be a real step forward, but the proof is unreadable in the supplied copy; referee it with an eye on vertex compatibility.","tokens_in":11605,"tokens_out":2578,"would_cite":false,"duration_ms":28460,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q31","35L60","35L05"],"pacs":[],"model":"deepseek-v4-flash","headline":"The characteristic initial data problem for three-dimensional compressible Euler is resolved: smooth entropy and angular velocity on an admissible cone determine all derivatives of the fluid data along the cone, making it characteristic.","keywords":["compressible Euler equations","characteristic initial data","acoustical geometry","transport equations","wave equations","vector field method","admissible hypersurfaces","entropy"],"falsifier":"Take a cone whose acoustical characteristic directions become tangent or coincide somewhere, and run the recursion: if the transport equations lose determinacy and no unique data are obtained, the claim fails. Alternatively, at the vertex choose an entropy and angular velocity that violate the compatibility conditions with the given density, velocity, and entropy, and show the resulting Taylor coefficients fail the Euler equations at second order.","tokens_in":10740,"feed_emoji":"🌊","tokens_out":5292,"duration_ms":52821,"temperature":0.7,"pith_summary":"This paper claims to solve the characteristic initial data problem for the three-dimensional compressible Euler equations, an open analogue of the relativistic construction for vacuum Einstein equations. It shows that, within acoustical geometry, choosing smooth entropy and angular velocity on an admissible cone—once density, velocity, and entropy are fixed on the base sphere at the cone's intersection with the initial time slice—produces smooth fluid data on the entire cone that make the cone a characteristic surface. The construction works by a vector field method that recursively determines every derivative of the solution along the cone through alternating transport and wave equations. If correct, it closes a gap left by intersecting-hypersurface and symmetric-reduction constructions, and provides a general tool for generating characteristic data for long-time fluid dynamics studies.","feed_headline":"Cone data for 3D Euler built recursively from entropy and spin","feed_subtitle":"A transport-wave recursion settles the open characteristic initial data problem, an analogue of the relativistic construction.","key_machinery":"The mechanism is a vector field method on acoustical geometry. Along the cone, the paper sets up a transport-wave hierarchy: derivatives of the entropy and angular velocity along the characteristic directions are governed by transport equations, while the other derivatives satisfy wave equations for the acoustic metric. The recursion determines all orders of derivatives—starting from the zeroth-order data at the vertex—thereby constructing smooth characteristic data without requiring a separate symmetric or intersecting-surface assumption.","core_discovery":"The central claim is that the characteristic initial data problem for the three-dimensional compressible Euler equations is resolved for admissible cones. Given an initial cone C0 in [0,T]xR^3 and data (rho0, v0, s0) on the sphere S_{0,0}=C0∩Sigma_0, any smooth entropy function and angular velocity on the cone determine smooth data (rho, v, s) on all of C0 such that C0 is characteristic. The paper proves this by recursively computing all derivatives of the solution along C0: the entropy and angular velocity drive transport equations, and the remaining derivatives are fixed by wave equations associated with the acoustical metric. This differs from earlier works that treated intersecting hyper","pith_inferences":["The 'admissible' condition is likely the non-degeneracy of the two characteristic directions of the acoustical metric along the cone and compatibility of all mixed derivatives at the vertex; if a cone violates either, the recursive scheme either degenerates or produces inconsistent data.","The same transport-wave recursion may apply to other quasilinear hyperbolic systems that admit an acoustical geometry, such as relativistic fluids or nonlinear wave equations on curved backgrounds.","A concrete check would be to compute the Taylor expansion of a known solution near a cone vertex and confirm the recursion reproduces the expansion to all orders, which would also reveal the precise degree-of-freedom count.","The freedom in choosing entropy and angular velocity suggests the characteristic data space for 3D Euler has the expected five-parameter family per point, matching the physical unknowns."],"forward_implications":["Any smooth admissible cone can now carry characteristic initial data, so a full solution can be evolved from the cone as a Cauchy surface.","The recursion gives explicit control of all higher derivatives on the cone, opening the door to local well-posedness and continuation results across characteristic surfaces.","The method extends the classical vector field toolkit from relativistic problems to the first-order quasilinear Euler system, offering a model for other hyperbolic systems with acoustical structure.","Long-time dynamics studies can use these data to place fluid configurations along outgoing or incoming cones, matching the setup used in nonlinear stability theorems."],"supporting_citations":[{"why":"Speck-Yu's intersecting-hypersurface construction is the prior state of the art that this paper explicitly differs from and generalizes.","marker":"[19]"},{"why":"Lisibach's symmetric-reduction case is another earlier construction that this paper extends to arbitrary admissible cones.","marker":"[11]"}],"fun_headline_variants":["Recursive transport-wave construction fixes 3D Euler cone data","3D Euler cone data built by transport-wave recursion from entropy and spin","Entropy and angular velocity recursively determine all 3D Euler cone data","3D compressible Euler: cone data fixed by entropy and spin recursively","Solving the 3D Euler characteristic data problem recursively"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"Everything rests on the cone being 'admissible,' meaning its two characteristic directions stay non-degenerate and the data at the vertex are compatible so that mixed derivatives commute at every order; if these fail, the constructed data would not actually be characteristic.","fun_headline_variants_meta":{"raw":{"variants":["Recursive transport-wave construction fixes 3D Euler cone data","3D Euler cone data built by transport-wave recursion from entropy and spin","Entropy and angular velocity recursively determine all 3D Euler cone data","3D compressible Euler: cone data fixed by entropy and spin recursively","Solving the 3D Euler characteristic data problem recursively"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001037,"raw_usage":{"total_tokens":4206,"prompt_tokens":756,"completion_tokens":3450,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":500,"completion_tokens_details":{"reasoning_tokens":3360}},"tokens_in":500,"tokens_out":3450,"duration_ms":27878,"temperature":1.0,"reasoning_tokens":3360,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T18:02:33.741626+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a cone whose acoustical characteristic directions become tangent or coincide somewhere, and run the recursion: if the transport equations lose determinacy and no unique data are obtained, the claim fails. Alternatively, at the vertex choose an entropy and angular velocity that violate the compatibility conditions with the given density, velocity, and entropy, and show the resulting Taylor coefficients fail the Euler equations at second order.","supporting_citations":[{"cited_title":"Characteristic initial value problem for the 3 D compressible E uler equations","cited_arxiv_id":null,"evidence_quote":"Speck-Yu's intersecting-hypersurface construction is the prior state of the art that this paper explicitly differs from and generalizes."},{"cited_title":"Characteristic initial value problem for spherically symmetric barotropic flow","cited_arxiv_id":null,"evidence_quote":"Lisibach's symmetric-reduction case is another earlier construction that this paper extends to arbitrary admissible cones."}],"review_version":1}