{"id":"480f2498-710b-41df-ba3b-d0c73f369efa","arxiv_id":"2411.15886","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":5,"one_line_summary":"The 3D elastic wave system for admissible harmonic materials is shown to be locally well-posed with the divergence part in H^{3+} and the curl part in H^{4+}, the first low-regularity result for multi-wave-speed systems.","lead":"This paper proves that a special class of elastic materials, the admissible harmonic materials, admits local well-posedness for its wave equations at the optimal low regularity: the fast wave needs only H^{3+} initial data and the slow wave H^{4+}. It is the first positive low-regularity result for a wave system with two distinct wave speeds, where earlier work had shown shocks can form at H^3.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The curl-part estimates of Theorem 7.1 are asserted to follow from Wang [48, Theorem 1.1] without verifying that the quasilinear curl equation (4.4a) satisfies that theorem; this transfer is load-bearing for the bootstrap.","rationale":"The reader's verdict is CONDITIONAL, and the reader already identified the transfer from [48, Theorem 1.1] to the curl equation as the first fragile premise. My stress-test confirms this is the single most load-bearing concern: without the full curl-part energy and Strichartz estimates (7.1), the bootstrap for the divergence part cannot close, because the divergence-part energy estimates in Proposition 7.2 explicitly depend on the curl-part L∞ and Strichartz bounds, and the rescaled estimates (8.22) propagate those bounds into the geometric control of Proposition 12.8. I did not find an internally inconsistent step in the main analytic chain that would force rejection on its own; the paper is transparent that the Section 12 geometry proof is deferred, and the main issue is unverified inheritance rather than a demonstrated contradiction. I also note Proposition 2.4 contains an invalid argument: from the linear wave equation for curl U, vanishing of curl U at one time does not imply vanishing of its time derivative, so preservation of pseudo-irrotationality is not established. However, that proposition does not appear to be load-bearing for the analytic estimates of Theorem 5.1, which concern the system (2.14)/(4.3)–(4.4) with 'admissible' treated as the defining structural assumption. Thus I would keep the reader's CONDITIONAL verdict unchanged, with the concrete check above as the decisive test.","tokens_in":128,"tokens_out":6893,"duration_ms":181895,"concrete_test":"Derive the explicit reduced equation for w := curl ψ from (4.4a), using div ψ = 0 and the elliptic inversion ψ = curl Δ^{-1} w, so that h^{-1} = h^{-1}(w) and the equation becomes □_{h(w)} w^i = P^i(w)(∂w, ∂w). Then check each hypothesis of [48, Theorem 1.1] against this equation and the data (5.6b): (i) the metric h(w) is hyperbolic and has the required regularity on the bootstrap region; (ii) the nonlinearity is admissible quadratic; (iii) the Sobolev index required by Wang's theorem is exactly matched by the data class of w, and not one derivative lower; (iv) the theorem's output implies (7.1a)–(7.1c) verbatim, including the weighted L²_t L∞ estimate. If any of these checks fails, the proof of Theorem 5.1 is incomplete as written.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 5.1 and the bootstrap in Section 8 depend on Theorem 7.1: estimates (7.1a)–(7.1c) provide the H^{N+1} energy, the weighted Strichartz bound, and the L∞ control of the curl part. These enter Proposition 7.2, Lemma 7.5, and all the rescaled estimates (8.22). The proof of Theorem 7.1 is delegated in one sentence to [48, Theorem 1.1], elliptic estimates, and div ψ = 0. But the equation being applied to is (4.4a), □_{h(∂ψ)}(curl ψ)^i = f(∂ψ) ∂²ψ · ∂²ψ, which is not manifestly of the form covered by [48, Theorem 1.1]: the metric h depends on ∂ψ, the natural wave unknown is w = curl ψ, and the nonlinearity is quadratic in ∂²ψ. The paper never checks the derivative count that turns this into a quasilinear wave equation for w. In particular, using div ψ = 0 to express ∂ψ as a zeroth-order elliptic function of w is nontrivial: one must verify that the data assumptions (5.6b) give initial data for w in the exact Sobolev class required by Wang's theorem, and that the theorem's conclusions yield precisely (7.1b), including the ν^{2δ0}-weighted L²_t L∞ estimate. If this transfer loses even one derivative, the energy control in Proposition 7.2 and the subsequent rescaled curl-part estimates (8.22), on which the whole bootstrap relies, do not close. This is the most load-bearing gap in the text as written.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper claims a low-regularity local well-posedness (LWP) result for the three-dimensional elastic wave system, restricted to the class of 'admissible harmonic elastic materials' introduced in Definition 2.2. After the div/curl decomposition of Section 3, the dynamics is recast as a coupled pair of quasilinear wave equations associated with two distinct acoustic metrics: a faster 'divergence part' phi whose metric g depends on both dphi and dpsi, and a slower 'curl part' psi whose metric h depends on dpsi; the admissible-harmonic ansatz makes the slow part decoupled. The main theorems (Theorem 1.1 and Theorem 5.1) assert that for 3 < N < 7/2, with divergence-part data of Sobolev order N and curl-part data of order N+1 inside the hyperbolicity region, the classical existence time is bounded below in terms of the data size, the data regularity is propagated, and the Strichartz bound (5.8) holds; if the equivalence conditions of Proposition 4.1 are satisfied, phi + psi solves the admissible harmonic elastic wave equations (2.14). The proof is a bootstrap: energy estimates for both parts (Section 7), reduction of the improved Strichartz estimate to dyadic frequency-localized and decay estimates (Section 8), conformal energy estimates on g-null cones (Section 9), null-flux estimates (Section 10), and control of the causal geometry via transport and Hodge equations for the connection coefficients (Sections 11-12).","tokens_in":83255,"tokens_out":26525,"duration_ms":224550,"significance":"The result, if fully established, would be the first favorable low-regularity LWP for a quasilinear system with multiple wave speeds, at the H^{3+} level for the faster part, matching the H^3 shock-formation barrier of An-Chen-Yin [7]. The architecture is coherent and several features deserve credit: the bootstrap is honest — the parameters epsilon0, delta0, delta, delta1 in (5.9) are constrained by algebraic inequalities and the closure uses a genuine strict improvement (delta1 > 8 delta0 with T* small); the admissible-harmonic restriction (2.11) is explicit and narrows the claim; and the paper states plainly which steps are deferred (e.g., Section 1.5.1, Section 7.1, Section 9.3). The genuinely new structural inputs that are proved in the text include the geometric div/curl formulation (Proposition 3.1), the h-spacelike property of the g-null cones (Lemma 9.1), coerciveness of the h-null flux (Lemma 10.1), the null-flux estimates (Proposition 10.2), and the transport/Hodge structure equations with the multi-wave-speed curvature terms (Proposition 11.11). My concerns are concentrated in the load-bearing estimates whose proofs are omitted or deferred, listed below.","major_comments":[{"comment":"The stress-test concern lands: Theorem 7.1 is load-bearing and its proof is not in the text. It is the sole source of the curl-part controls (7.1a)-(7.1c), which enter Lemma 7.5, Proposition 7.2, the rescaled estimates (8.22), Proposition 12.7, and ultimately the closure of the bootstrap. The 'Discussion of the proof' asserts that the theorem follows from [48, Theorem 1.1], elliptic estimates, and div psi = 0, and then states 'we omit the details.' The manuscript never verifies that (4.4a), written for w = curl psi with h = h(dpsi) recovered from w through div psi = 0 and Lemma 6.4, is in the class of quasilinear wave equations to which [48, Theorem 1.1] applies; nor does it check that the data class (5.6b) maps to the regularity class required by that theorem, nor that its conclusions imply the precise weighted Strichartz bound (7.1b) with the dyadic weight nu^{2 delta0} and the factor T^{2 delta}. The transfer is plausible (w has H^N data with N > 3, above Wang's H^{2+} threshold), but a one-derivative loss at any point would break the rescaled curl-part estimates (8.22) and hence the geometry control. This gap must be repaired: either supply the verification, or restrict Theorem 5.1 to the case where the curl part is linear (3.7b), for which Remark 7.1's appeal to standard linear Strichartz estimates is appropriate.","section":"Section 7.1, Theorem 7.1"},{"comment":"The boundedness of the conformal energy, Theorem 9.1, is the step that produces the decay estimate (Theorem 8.5), which in turn yields the frequency-localized Strichartz estimate (Theorem 8.3) and the bootstrap improvement (Theorem 8.1). Its proof is not given: Section 9.3.3 states that 'We omit the detailed proof of these steps, since they follow identically from [48, Section 4,7]' and that 'the proof of Theorem 9.2 follows the same argument as in [48, Section 7].' The surrounding reductions are deferred in the same style: the implication Theorem 9.1 implies Theorem 8.5 is referred to [23, Section 8] and [48, Section 4]; Theorem 8.5 implies Theorem 8.4 is deferred to [23, Section 8.5]; and Theorem 8.4 implies Theorem 8.3 is attributed to the TT* argument in [23, Section 8.6] and [48, Appendix B]. Since the rescaled equations (8.20) contain (dd)^2 Psi source terms and since the metric g depends on both dphi and dpsi, neither of which has an analogue in [48], the claim that the argument carries over verbatim is not self-evident. Please provide the full conformal-energy argument or a precise lemma-by-lemma dictionary from [48, Sections 4 and 7] with all hypotheses checked for the multi-speed system.","section":"Section 9.3 (Theorem 9.1) and Section 8.5"},{"comment":"Theorem 5.1 is stated as a local well-posedness theorem, but the text proves only a priori estimates. Section 1.5.1 states that Theorem 1.1 'provides a priori estimates for smooth solutions' and that the 'remaining aspects ... could be shown by deriving uniform estimates for sequences of smooth solutions and their differences,' with a citation to [35, Sections 2-3]. No existence argument (approximation by smooth data, compactness), no uniqueness statement, and no difference estimates are contained in the paper. This division of labor is standard in the literature, but as written the theorem overclaims what is proved. Either add the well-posedness argument, including the difference estimates, which in the multi-speed setting do not follow automatically from the a priori estimates for a single solution, or reformulate Theorem 5.1 as an a priori estimate and regularity-propagation theorem with the LWP statement made conditional.","section":"Section 5.4 / Section 1.5.1"},{"comment":"The abstract states that the H^{3+} Sobolev assumption is 'optimal' for the divergence part. The cited H^3 ill-posedness of An-Chen-Yin [7] is a statement about the general elastic wave system, whereas the class treated here, the admissible harmonic materials (2.11), is a proper subclass. No argument is given that the plane-symmetric shock-formation examples of [7] belong to this subclass, so optimality for the class under study is not established by the matching argument presented. Concrete remedy: either verify that the examples in [7] satisfy (2.11), or soften the claim (e.g., 'optimal within the general class, and the expected threshold for the admissible harmonic class').","section":"Abstract and Section 1.1 (Remark 1.1)"},{"comment":"Proposition 4.1 is stated without proof, and the final sentence of Theorem 5.1 — 'if the equivalence conditions in Proposition 4.1 are verified, then U := phi + psi is the solution to the admissible harmonic elastic wave equations (2.14)' — depends on it, as does the interpretation of Theorem 1.1 as a theorem about the elastic system. The forward direction is the content of Proposition 3.1 (proved), but the converse direction, assembling phi and psi (with div psi = 0, curl phi = 0, and the prescribed P-terms and metrics) into a solution of (2.14), requires an argument that is not supplied. Please provide the proof or a precise reference, since the main theorem's connection to the elastic wave equations is load-bearing.","section":"Section 4, Proposition 4.1"}],"minor_comments":[{"comment":"The first term on the left-hand side is not squared: the display reads ||(dd)^2 dpsi||_{L^2_t L^infty_x} + sum nu^{2 delta0} ||P_nu (dd)^2 dpsi||^2_{L^2_t L^infty_x} lesssim T^{2 delta}_*; for consistency of the powers with the right-hand side and with (1.22b), either the first term should be squared or the right-hand side should carry the corresponding power.","section":"Section 7.1, Eq. (7.1b)"},{"comment":"The derivative count in the displayed Strichartz estimates is inconsistent: (5.8) states ||(dd)(d) phi^i||_{L^2_t L^infty_x} lesssim 1, while (1.6a) is typeset with a different count (the printed text is ambiguous between '(dd)^2 phi^i' and '(dd)(dd) phi^i'); under the paper's own convention (d = spatial, dd = spacetime), these displays should all carry the same number of derivatives, and the notation should be unified.","section":"Section 1.1, Eqs. (1.6a)-(1.6b) and Section 5.4, Eq. (5.8)"},{"comment":"The footnote notes that [47, Appendix C] is proved for 2 < N < 5/2 with the norm ||(dd)^2 g||_{H^{N-2}(Sigma_0)} in place of the present ||(dd)^2 g||_{H^{N-3}(Sigma_0)}, and asserts that the proofs are 'exactly the same'; since the transferred estimate (11.32) is used in the initial-foliation estimates of Proposition 11.3, a sentence explaining why the index shift is harmless would be useful.","section":"Section 11.2, footnote 48"},{"comment":"The sentence 'where a_i is a constant' in the display preceding (3.4) refers to a symbol that no longer appears in the equation; this appears to be a leftover from an earlier draft and should be removed or corrected.","section":"Section 3, after Eq. (3.4)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is unusually transparent about what is omitted, and I have credited that; nevertheless, the density of delegation is high for a paper whose headline is a theorem: Theorem 7.1 (curl-part energy and Strichartz), Theorem 9.1 (conformal energy), the TT* reductions of Section 8.5, and the approximation argument for LWP are all outside the text. The most likely point of failure, if any, is the transfer of Wang's theorem to (4.4a); an editor may wish to have the report reviewed by someone familiar with [48] in detail. The paper's scope fits a PDE journal well."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, this is the first low-regularity local well-posedness result for a genuinely multi-wave-speed quasilinear wave system, and the admissible harmonic material class is a real structural discovery: the div/curl decomposition with two acoustic metrics, plus the proof that the faster wave stays faster, gives a workable blueprint. Second, the paper is not self-contained: the load-bearing Theorem 7.1 for the curl part is delegated to Wang [48] in one sentence, and the transfer is never checked. That gap is exactly where the bootstrap could fail.\n\nWhat is genuinely new: the admissible harmonic class (2.11) decouples the dynamics into (1.15), yielding H^{3+} for the divergence part and H^{4+} for the curl part. The survey of prior low-regularity results (Sections 1.2-1.3) is accurate, and the parameter constraints in (5.9) are algebraic, not fitted constants. The authors are transparent about what is imported and what is new, which is worth crediting.\n\nSoft spots, in proportion. Theorem 7.1 is load-bearing: (7.1a)-(7.1c) feed the energy and Strichartz control of the curl part, and the rescaled bounds (8.22) and the whole bootstrap depend on them. The equation at hand, (4.4a), is a quasilinear wave for curl psi with metric h(dpsi) and a quadratic nonlinearity in d^2 psi. The paper asserts it fits [48, Theorem 1.1] without verifying the derivative count or the Sobolev class of the data for w = curl psi, and without checking that the conclusion yields exactly the weighted estimate (7.1b). This is repairable, since Wang's theorem is robust, but it is the central gap as submitted. The Section 8 reductions and the conformal energy bounds (Section 9.3) are likewise deferred, though the logic diagram makes the dependencies clear.\n\nProposition 2.4 is simply wrong: from d^2_t curl U - c2^2 Delta curl U = 0, vanishing of curl U at one time does not imply vanishing at later times. Preservation of pseudo-irrotationality needs the actual decoupled dynamics; as written, the proof does not work. Minor, but it should be fixed.\n\nThe abstract's 'optimal' overreaches: the H^3 ill-posedness of [7] is for the general elastic system, not the admissible harmonic class. The H^{3+} threshold may be the desired result, and matching the general-system barrier is suggestive, but it is not a proof of optimality within the restricted class.\n\nWho this is for: specialists in quasilinear waves, low-regularity well-posedness, and the vector field method. They will get real value from the structural blueprint and the honest problem decomposition, even while the deferred proofs prevent full certification from this text.\n\nRecommendation: engage with it. Send it to a serious referee, not a desk reject, and require full proofs or precise theorem-level transfer statements for Theorem 7.1, the Section 8 reductions, and the conformal energy bounds, plus a fix for Proposition 2.4.","headline":"First low-regularity LWP for a genuinely multi-speed wave system, but the proof leans on an unverified transfer of Wang's theorem and deferred geometric estimates; deserves a serious referee, not a desk reject.","tokens_in":83917,"tokens_out":3945,"would_cite":true,"duration_ms":35257,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q74","35L15","35L72"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves local well-posedness for admissible harmonic elastic waves with H^{3+} divergence-part data and H^{4+} curl-part data, and shows the H^{3+} level is optimal.","keywords":["elastic wave equations","low-regularity local well-posedness","multiple wave speeds","quasilinear wave systems","Strichartz estimates","vector field method","harmonic elastic materials","div-curl decomposition"],"falsifier":"One concrete check is to test whether the curl equation (4.4a) satisfies the hypotheses of the cited quasilinear wave equation theorem at the required regularity: if a counterexample shows the asserted bound $\\|\\partial\\!\\partial\\!\\partial^2 \\partial\\psi\\|_{L^2_t L^\\infty_x} \\leq T^{2\\delta}$ fails for some admissible data, the bootstrap does not close. A second test is to run a numerical simulation of a smooth admissible harmonic elastic wave with divergence-part data in $H^3$: if no shock forms in finite time, the claimed optimality of $H^{3+}$ would need revision.","tokens_in":82559,"feed_emoji":"🌊","tokens_out":4223,"duration_ms":39666,"temperature":0.7,"pith_summary":"This paper seeks to establish low-regularity local well-posedness for the three-dimensional elastic wave system, a quasilinear wave system with two distinct wave speeds. For the special class of admissible harmonic elastic materials, the authors split the displacement into a divergence part and a curl part, each governed by its own quasilinear wave equation with its own acoustic metric. They claim that the divergence part (the faster wave) needs only $H^{{3+}}$ initial regularity and the curl part (the slower wave) needs $H^{{4+}}$, and that this $H^{{3+}}$ level is optimal because $H^{3}$ data already permit instantaneous shock formation. If correct, this is the first favorable low-regularity local well-posedness result for a wave system with multiple wave speeds, resolving a difficulty that also appears in compressible Euler equations.","feed_headline":"Elastic waves stay smooth at H^{3+} for a special class of materials","feed_subtitle":"Divergence and curl parts split into two wave speeds, and the faster wave is shown to stay faster for the whole existence time.","key_machinery":"The central object is the div-curl decomposition $\\vec{U} = \\vec{\\phi} + \\vec{\\psi}$ with $\\mathrm{curl}\\,\\vec{\\phi}=0$ and $\\mathrm{div}\\,\\vec{\\psi}=0$, together with the two acoustic metrics $g(\\partial\\phi,\\partial\\psi)$ and $h(\\partial\\psi)$. The load-bearing mechanism is the ellipticity of $g-h$, which guarantees that the faster wave stays faster throughout the existence time, so that the null hypersurfaces of the faster metric are spacelike with respect to the slower metric. This produces a coercive cone-flux energy for the curl part along the faster-wave null cones, allowing the bootstrap to close via energy estimates, Strichartz estimates, frequency-localized decay estimates, and conformal energy estimates.","core_discovery":"For admissible harmonic elastic materials, the elastic wave system can be decomposed into a faster 'divergence-part' (curl-free) and a slower 'curl-part' (divergence-free), with the divergence part satisfying a quasilinear wave equation with metric $g(\\partial \\phi, \\partial \\psi)$ and the curl part satisfying its own quasilinear wave equation with metric $h(\\partial \\psi)$. The central claim is that, for data of size $D$ in $H^N$ for the divergence part and $H^{N+1}$ for the curl part with $3<N<7/2$, the classical existence time is bounded below in terms of $D$, the Sobolev regularity propagates, and the Strichartz estimate $\\|\\partial\\!\\partial\\!\\partial\\!\\partial \\phi\\|_{L^2_t L^\\infty_x} \\lesssim 1$ holds. The $H^{3+}$ regularity for the divergence part is claimed to be optimal, matching the $H^3$ ill-posedness barrier for general elastic waves.","pith_inferences":["Editorial inference: the sharp $H^{3+}$ result likely marks the boundary of low-regularity well-posedness for multi-speed hyperbolic systems; testing materials slightly outside the admissible harmonic class may reveal whether the decoupling is truly necessary.","Editorial inference: the proof's dependence on the ellipticity of $g-h$ suggests that the existence time should shrink as the data approach the boundary of the hyperbolicity region; a quantitative relation between $T$ and the distance to that boundary is a natural next step.","Editorial inference: in the exact admissible harmonic case where the curl part satisfies a linear wave equation, the loss of pseudo-irrotationality is governed by linear evolution, so vorticity creation could be studied explicitly.","Editorial inference: the same strategy may give a 2D analogue with threshold $H^{11/4+}$ for the divergence part, matching the known 2D ill-posedness exponent, and the decoupling structure could make that proof substantially simpler."],"forward_implications":["Local classical existence with data this rough would become available for admissible harmonic elastic materials with nonzero vorticity, not just for irrotational data.","The regularity threshold for the divergence part would be sharp: no improvement below $H^{3+}$ is possible for this class, because $H^3$ data already allow shock formation.","The Strichartz estimate $\\|\\partial\\!\\partial\\!\\partial\\!\\partial \\phi\\|_{L^2_t L^\\infty_x} \\lesssim 1$ would give the spacetime control needed to close energy estimates without Sobolev embedding above the classical threshold.","The decoupling structure would imply that the curl part evolves essentially independently of the divergence part, with the curl part's higher regularity propagated along the flow.","The multi-speed nature, previously an obstacle in compressible Euler and related systems, would be handled for this elastic model by the faster-wave-stays-faster property."],"supporting_citations":[{"why":"Supplies the low-regularity Strichartz and energy machinery for quasilinear wave equations, including the conformal energy method used here.","marker":"[48]"},{"why":"Provides the multi-speed geometric framework and energy estimates for compressible Euler equations that the paper adapts to elastic waves.","marker":"[12]"},{"why":"Establishes the H^3 ill-posedness for general elastic waves that makes the H^{3+} result optimal.","marker":"[7]"},{"why":"Classifies harmonic elastic materials and pseudo-irrotationality, the basis for the admissible harmonic class.","marker":"[16]"},{"why":"Provides the vector field method and geometric estimates for controlling the eikonal geometry used in the proof.","marker":"[23]"},{"why":"Contributes the geometric framework for low-regularity quasilinear wave equations that underlies the cone-flux and conformal energy estimates.","marker":"[22]"},{"why":"Shows how a priori estimates for smooth solutions imply local well-posedness in the low-regularity setting.","marker":"[35]"}],"fun_headline_variants":["Optimal H^{3+} regularity for elastic waves in 3D","Low-regularity well-posedness for multi-speed elastic waves","First low-regularity result for elastic waves with two speeds","Elastic wave taming: optimal H^{3+} regularity","Splitting elastic waves yields low-regularity well-posedness"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The curl-part energy and Strichartz estimates are borrowed from a known theorem for quasilinear wave equations, but the paper does not verify that this theorem's hypotheses actually hold for its curl equation with the rough metric $h(\\partial\\psi)$ and quadratic nonlinearity, so the bootstrap might fail to close if that transfer is invalid.","fun_headline_variants_meta":{"raw":{"variants":["Optimal H^{3+} regularity for elastic waves in 3D","Low-regularity well-posedness for multi-speed elastic waves","First low-regularity result for elastic waves with two speeds","Elastic wave taming: optimal H^{3+} regularity","Splitting elastic waves yields low-regularity well-posedness"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000841,"raw_usage":{"total_tokens":3651,"prompt_tokens":918,"completion_tokens":2733,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":534,"completion_tokens_details":{"reasoning_tokens":2640}},"tokens_in":534,"tokens_out":2733,"duration_ms":18328,"temperature":1.0,"reasoning_tokens":2640,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T13:49:23.500066+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"One concrete check is to test whether the curl equation (4.4a) satisfies the hypotheses of the cited quasilinear wave equation theorem at the required regularity: if a counterexample shows the asserted bound $\\|\\partial\\!\\partial\\!\\partial^2 \\partial\\psi\\|_{L^2_t L^\\infty_x} \\leq T^{2\\delta}$ fails for some admissible data, the bootstrap does not close. A second test is to run a numerical simulation of a smooth admissible harmonic elastic wave with divergence-part data in $H^3$: if no shock forms in finite time, the claimed optimality of $H^{3+}$ would need revision.","supporting_citations":[{"cited_title":"PDE 3 (2017), no","cited_arxiv_id":null,"evidence_quote":"Supplies the low-regularity Strichartz and energy machinery for quasilinear wave equations, including the conformal energy method used here."},{"cited_title":"Disconzi, Chenyun Luo, Giusy Mazzone, and Jared Speck, Rough sound waves in 3D compressible Euler flow with vorticity , Selecta Math","cited_arxiv_id":null,"evidence_quote":"Provides the multi-speed geometric framework and energy estimates for compressible Euler equations that the paper adapts to elastic waves."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the H^3 ill-posedness for general elastic waves that makes the H^{3+} result optimal."},{"cited_title":"Hadamard materials and harmonic materials , Comm","cited_arxiv_id":null,"evidence_quote":"Classifies harmonic elastic materials and pseudo-irrotationality, the basis for the admissible harmonic class."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the vector field method and geometric estimates for controlling the eikonal geometry used in the proof."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Contributes the geometric framework for low-regularity quasilinear wave equations that underlies the cone-flux and conformal energy estimates."},{"cited_title":"Smith and Daniel Tataru, Sharp local well-posedness results for the nonlinear wave equation , Ann","cited_arxiv_id":null,"evidence_quote":"Shows how a priori estimates for smooth solutions imply local well-posedness in the low-regularity setting."}],"review_version":1}