{"id":"b177bc1d-2dd4-46eb-9fa4-5cb779532ac7","arxiv_id":"2607.00863","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Solutions to P(i∇)u=0 are exactly the multi-layer distributions of order ≤N on S^{d-1}, or satisfy a higher-order Laplace equation under flatness.","lead":"The paper classifies all solutions u to P(i∇)u=0 on R^d, for symbols P vanishing to finite order N on the unit sphere, as multi-layer distributions supported on the sphere (in the Lizorkin sense, with no decay assumed on u). It also gives an equivalent characterization via (1+Δ)^{N+1}u=0 when P meets a flatness condition, extending classical Helmholtz rigidity results.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly flags the admissible-symbol definition, but the sketched proof relies only on standard properties of distribution support, the structure theorem, and local invertibility under flatness; these hold in the Lizorkin setting without further restrictions. No load-bearing gap is visible, so the UNVERDICTED verdict (driven by abstract-only access) does not require adjustment once the full text is consulted.","tokens_in":1717,"tokens_out":436,"duration_ms":44146,"concrete_test":"Take d=2, N=0, P(ξ) = 1 - |ξ|^2 (flatness holds). Confirm directly that the Lizorkin-distribution solutions to P(i∇)u = 0 are exactly the solutions to (1 + Δ)u = 0 by verifying that any û supported on S^1 satisfies the equation and conversely that any solution has FT supported on S^1 (via explicit Fourier inversion on the circle).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The argument recasts P(ξ) û = 0 as a division problem in Lizorkin distributions. Support of û is forced to S^{d-1} by the zero-set assumption on P (standard localization for multiplication by a smooth function). The structure theorem then expresses any distribution supported on the hypersurface as a finite sum of normal derivatives of surface distributions; the finite vanishing order of P bounds the derivative order, yielding precisely the multi-layer distributions of order ≤ N. Under the flatness condition, P(ξ) = (1 - |ξ|^2)^{N+1} Q(ξ) with Q smooth and non-vanishing on S^{d-1}, so multiplication by Q is invertible on the space of such layers; hence P û = 0 is equivalent to (1 - |ξ|^2)^{N+1} û = 0, i.e., to (1 + Δ)^{N+1} u = 0. Both directions are covered by these facts; no hidden assumption or indexing mismatch appears.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript studies the PDE P(i∇)u=0 on R^d for admissible symbols P with zero set exactly the unit sphere S^{d-1} vanishing to finite order N. Working in Lizorkin distributions (no decay assumptions on u), it claims a complete classification: u solves the equation if and only if its Fourier transform û is a multi-layer distribution on S^{d-1} of order at most N. Under an additional flatness condition on P, this is equivalent to (1+Δ)^{N+1}u=0. The proof recasts the equation as a division problem and combines the vanishing order of P with the structure theorem for distributions supported on hypersurfaces, unifying and extending Helmholtz-type results.","tokens_in":1919,"tokens_out":451,"duration_ms":22184,"significance":"If the result holds, it offers a clean, parameter-free if-and-only-if classification that extends known rigidity theorems for simple zeros on the sphere to arbitrary finite orders. The approach relies on standard distribution theory (division and structure theorem) without ad-hoc assumptions or fitted parameters, providing a falsifiable description of all solutions. This strengthens the toolkit for analyzing PDEs whose symbols vanish on spheres and could impact related work in harmonic analysis.","major_comments":[],"minor_comments":[{"comment":"Abstract: 'W}e study' is a typographical error and should read 'We study'.","section":"Abstract"},{"comment":"The notions of 'Lizorkin distributions' and 'multi-layer distribution' (including the precise meaning of 'order at most N') are used without an explicit definition or reference in the opening paragraphs; a brief recall or citation would improve accessibility.","section":null},{"comment":"The flatness condition (P(ξ)=(1-|ξ|^2)^{N+1}Q(ξ) with Q non-vanishing on the sphere) is central to the alternative characterization but is stated only in the abstract; an explicit equation number or displayed formula in the main text would help.","section":null}],"recommendation":"accept","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their positive summary, significance assessment, and recommendation to accept the manuscript.","responses":[],"tokens_in":1265,"tokens_out":38,"duration_ms":6454,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"This paper classifies solutions to P(i∇)u=0 on R^d for symbols P that vanish to finite order N exactly on the unit sphere. The result states that û must be a multi-layer distribution on S^{d-1} of order at most N, or, under flatness, that u satisfies (1+Δ)^{N+1}u=0.\n\nThe main advance is the extension beyond the simple-zero case already in the literature. Working in Lizorkin distributions removes all decay or boundedness assumptions on u, which is a genuine improvement for rigidity statements. The proof turns the equation into a division problem and applies the structure theorem for hypersurface-supported distributions, with the vanishing order of P directly limiting the layer order. The flatness alternative is a clean extra statement that converts the condition into an explicit iterated Laplacian equation.\n\nThe logic holds up. Support is forced to the sphere by the zero-set assumption, and the order bound follows from standard facts about multiplication and the structure theorem. The stress-test outline confirms both directions without gaps or indexing issues.\n\nThe setup is narrow by design: admissible symbols must have zero set exactly the sphere. That fits the stated goal but means the result does not cover symbols with other zero sets. The division step is described at a high level; explicit verification would be useful but does not appear to be a load-bearing problem.\n\nThis is for people working on constant-coefficient PDEs, distribution methods, and rigidity results without growth conditions. A reader who knows the N=1 case will see the generalization immediately.\n\nIt deserves peer review. The classification is precise, the method is standard but applied to a broader class, and the claims are verifiable from the given steps.","headline":"Extends Liouville/Helmholtz rigidity to arbitrary finite-order zeros on the sphere using Lizorkin distributions and a flatness alternative.","tokens_in":2391,"tokens_out":426,"would_cite":false,"duration_ms":24744,"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":"Solutions to P(i∇)u=0 are exactly those whose Fourier transforms are multi-layer distributions of order at most N on the unit sphere.","keywords":["Liouville theorem","division problem","multi-layer distributions","Lizorkin distributions","Helmholtz equation","polyharmonic equation","Fourier transform","admissible symbols"],"falsifier":"A Lizorkin distribution u satisfying P(i∇)u=0 whose Fourier transform is not a multi-layer distribution of order at most N supported on the sphere would falsify the classification.","tokens_in":2602,"feed_emoji":"📐","tokens_out":723,"duration_ms":25719,"temperature":0.7,"pith_summary":"The paper classifies all solutions to the equation P(i∇)u=0 on R^d for admissible symbols P that vanish exactly on the unit sphere S^{d-1} to a finite order N. It works in the space of Lizorkin distributions and requires no boundedness or decay conditions on u. The solutions are those u for which the Fourier transform û is a multi-layer distribution supported on the sphere of order at most N. When P satisfies an additional flatness condition, the solutions are instead the functions annihilated by (1+Δ)^{N+1}. The proof reduces the PDE to a division problem and applies the structure theorem for distributions.","feed_headline":"PDE solutions are multi-layer distributions on the unit sphere","feed_subtitle":"For symbols vanishing to order N exactly on S^{d-1}, u solves P(i∇)u=0 iff its Fourier transform is a multi-layer distribution of order at m","key_machinery":"Recasting the PDE as a division problem in Lizorkin distributions, using the finite vanishing order of P on the sphere together with the structure theorem for distributions supported on a manifold.","core_discovery":"For admissible symbols P whose zero set is exactly the unit sphere S^{d-1} and which vanish there to order N, u solves P(i∇)u=0 if and only if û is a multi-layer distribution on S^{d-1} of order at most N. If P satisfies a flatness condition, the same equation holds if and only if (1+Δ)^{N+1}u=0. The argument recasts the PDE as a division problem in Lizorkin distributions and combines the vanishing order of P with the structure theorem for distributions.","pith_inferences":["Analogous classifications may be possible for other hypersurfaces provided a corresponding division result holds in the distribution space.","Explicit parametrizations of the solution space could be obtained by combining the multi-layer description with spherical harmonic expansions.","The characterizations may be useful for constructing fundamental solutions or studying uniqueness questions for related boundary-value problems."],"forward_implications":["The result unifies Helmholtz-type rigidity theorems for simple zeros with the case of zeros of arbitrary finite order.","The classification requires no growth restrictions on the solution u.","Under the flatness condition the solutions coincide with the kernel of the polyharmonic operator of order N+1.","The same division-plus-structure approach applies to any admissible symbol with the stated vanishing properties."],"fun_headline_variants":["Sphere multi-layer distributions classify all PDE solutions","Division yields generalized Liouville theorem for vanishing symbols","Order N sphere zeros determine distribution order of Fourier transform","Lizorkin framework extends Helmholtz results to finite order zeros"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The symbols P are admissible with zero set exactly the unit sphere and vanish there to some finite order N.","fun_headline_variants_meta":{"raw":{"variants":["Sphere multi-layer distributions classify all PDE solutions","Division yields generalized Liouville theorem for vanishing symbols","Order N sphere zeros determine distribution order of Fourier transform","Lizorkin framework extends Helmholtz results to finite order zeros"]},"model":"grok-4.3","cost_usd":0.007031,"raw_usage":{"total_tokens":3267,"prompt_tokens":694,"num_sources_used":0,"completion_tokens":60,"cost_in_usd_ticks":70312000,"prompt_tokens_details":{"text_tokens":694,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2513,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":694,"tokens_out":60,"duration_ms":20741,"temperature":1.0,"reasoning_tokens":2513,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-02T09:24:10.972002+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A Lizorkin distribution u satisfying P(i∇)u=0 whose Fourier transform is not a multi-layer distribution of order at most N supported on the sphere would falsify the classification.","supporting_citations":[],"review_version":1}