{"id":"40c8176d-178b-4944-a7a0-0ba10c7478d0","arxiv_id":"2602.18163","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For polynomial graphs in R^4 with identically zero Hessian determinant, oscillatory integral decay and maximal-operator boundedness exponents are determined by the Newton-polyhedron height h(φ).","lead":"This paper proves sharp decay rates for the Fourier transform of surface measures on hypersurfaces in R^4 whose Gaussian curvature is zero, and finds the exact L^p range for the associated maximal operators. The results extend a two-dimensional theory to a new class of three-dimensional polynomial phases, giving exponents in terms of the Newton-polyhedron height of the phase function.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central reduction depends entirely on the external classification Theorem 3.1; if [4] has an omitted case or only supplies a complex linear change, Theorems 4.1/5.1 do not cover the claimed polynomial class.","rationale":"The reader's weakest assumption is exactly the external classification Theorem 3.1, and I agree that this is the most load-bearing point. The rest of the proof is a careful series of reductions that are internally coherent; I found no internal contradiction in the Newton-polyhedron computations or the sharpness arguments beyond secondary terseness (e.g., Corollary 4.2's one-sentence stability proof). The classification is used at every stage: to construct adapted coordinates, to prove uniform Fourier decay, to prove maximal-operator boundedness, and to derive necessary integrability conditions. If it fails, the main theorems do not cover the stated class. The paper's own evidence for Theorem 3.1 is only a citation, which is acceptable practice, but for a foundational claim of this importance an independent verification would materially increase confidence. A computational test over low-degree polynomials is feasible and would settle whether the concern is real. Since this concern matches the reader's weakest assumption and does not move the verdict from CONDITIONAL, I recommend UNCHANGED.","tokens_in":26819,"tokens_out":38157,"duration_ms":299259,"concrete_test":"Run an independent computer-algebra verification of Theorem 3.1: enumerate (or randomly generate) real polynomials in R[x1,x2,x3] with det(Hess)=0 up to total degree 8, and test real-linear equivalence to either a polynomial in at most two variables or the form Q1(x1)+Q2(x1)x2+Q3(x1)x3, using the de Bondt–van den Essen algorithm. If every test case is equivalent, the classification concern is settled; if any case fails, the central reduction collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorems 4.1, 5.1, 5.5, and 6.1 all reduce an arbitrary real polynomial φ with det(D²φ)≡0 to the normal form of Theorem 3.1, quoted from [4] without proof. Every subsequent quantity—height, Fourier decay exponent, L^p threshold, contact index—is computed from the normal-form exponents ν1, ν2, ν3. If the classification has an unlisted exceptional case, or if the invertible matrix A is only guaranteed over C while φ is real, the theorems do not apply to the full class announced in the abstract. Theorem 3.2 only proves adaptedness after the normal form is assumed; it does not independently establish the classification. The cited theorem is plausible and likely correct, so this is a verification risk rather than an identified falsehood, but it is load-bearing because a single missing case would leave the central claims unsubstantiated for a nonempty family of phases.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies polynomial graph hypersurfaces in R^4 with identically zero Gaussian curvature, i.e. phases ϕ(x1,x2,x3) with ϕ(0)=0, ∇ϕ(0)=0, and det D²ϕ≡0. It proves: existence of adapted coordinates (Theorem 3.2) via the algebraic classification Theorem 3.1 quoted from [4]; sharp uniform Fourier decay of surface-carried measures with exponent 1/h(ϕ) and at most one logarithmic factor (Theorem 4.1); stability under small analytic perturbations (Corollary 4.2); L^p boundedness of the associated maximal operator for p>max{h(ϕ),2} (Theorem 5.1), with sharp threshold p>h(ϕ) when h(ϕ)≥2 (Corollary 5.3) and in the case h(ϕ)<2 with D²ϕ(0)=0 (Theorem 5.5); the integrability criterion for |ϕ|^{-1/p} (Proposition 5.2); and equality of the uniform oscillation, oscillation, uniform contact, and contact indices to 1/h(ϕ) (Theorem 6.1). The main arguments reduce the zero-Hessian polynomial to a two-variable phase or the normal form Q1(x1)+Q2(x1)x2+Q3(x1)x3, then apply prior 2D results of Varchenko, Ikromov–Müller, and others.","tokens_in":27005,"tokens_out":37269,"duration_ms":336768,"significance":"If the classification and reductions are correct, the paper gives a sharp, invariant description of Fourier decay and maximal-operator boundedness for a natural class of degenerate non-convex hypersurfaces in R^4. A notable strength is that the exponent is the coordinate-invariant Newton height h(ϕ), with no fitted constants, and the results confirm the Iosevich–Sawyer and Stein–Iosevich–Sawyer conjectures in this setting. The paper is, however, heavily dependent on the external algebraic classification Theorem 3.1, and several proof steps in the genuinely 3D cases are terse or contain incorrect statements. These issues are repairable, but they make the manuscript unsuitable for acceptance in its present form.","major_comments":[{"comment":"The entire reduction rests on Theorem 3.1, quoted from [4, Thm 3.3] without proof. The statement asserts an invertible matrix A∈R^{3×3}, while the classification in the literature is often stated over C. The authors should either prove the real version or explain why the complex normal form can be chosen real. If the quoted theorem has any unlisted exceptional case, Theorems 4.1, 5.1, 5.5, and 6.1 do not cover the full polynomial class announced in the abstract. This is a verification risk rather than a detected counterexample, but it is load-bearing.","section":"Theorem 3.1; used throughout §§4–5"},{"comment":"In the proof of sharpness (11), the text says that Erdélyi's lemma gives a nonzero constant C independent of x2 and x3. For the phase λ x1^{ν1} Q̃(x1,x2,x3), the leading asymptotic constant is proportional to Q̃(0,x2,x3)^{-1/ν1}, which depends on x2,x3. The conclusion (11) can still be recovered by dominated convergence with a continuous nonzero limit function of (x2,x3), but the proof as written is incorrect. Please correct this step.","section":"Theorem 4.1, proof, Part 2, Case 1"},{"comment":"The statement that the hyperplane {t1=ν1} touches the Newton polyhedron of ϕ 'only at (ν1,0,0)' is false. For ϕ=x1^{ν1}Q̃ with Q̃(0)≠0, the Newton polyhedron is the half-space t1≥ν1, so the supporting hyperplane contains the entire unbounded face {ν1}×R^2_+. The dyadic decomposition that follows can still be justified by the subsequent verification that ∂_{x1}²φ_k≠0 on the annulus, but the geometric claim should be corrected or removed.","section":"Theorem 5.1, proof, Case 1"},{"comment":"The proof of the stability result is only a paragraph. Corollary 3.4 gives a local analytic change reducing the unperturbed ϕ to a function of two variables, but the perturbed phase ϕ+Φ is not a small 2D perturbation of the reduced phase after that change: it becomes a 3D perturbation, and the linear frequency terms are transformed. Karpushkin's 2D stability theorem therefore does not apply directly. Please provide the reduction, for example by splitting according to the size of the transformed ξ3-frequency and then applying the 2D stability result with parameters.","section":"Corollary 4.2"}],"minor_comments":[{"comment":"The displayed bound after 'this is equivalent to' contains a typo: 2^{k(1/p - 3k/(2ν2+1))} should read 2^{k(1/p - 3/(2ν2+1))}; the next sentence uses the corrected exponent.","section":"Theorem 5.1, proof, Case 2"},{"comment":"In the displayed formula for Φ(y), 'Q(φ_1^ν(y))' should be 'Q(φ_1(y))'.","section":"Theorem 3.2, proof, Part 1(a)"},{"comment":"The estimate ∫_R ||η(·,·,x3)||_{C^3(R^2)} dx3 ≤ diam(U)||η||_{C^3(R^2)} is notated inconsistently; the norm on the right should be over R^3 or over U. Similarly, in Part 2 Case 1, 'C^1' norms are used without precise domains.","section":"Section 4, proof of Theorem 4.1, Part 1"},{"comment":"The phrase 'the maximal operator M with ρ(x0)>0' is imprecise because the operator in (15) is defined through η, the projected density. It would be clearer to say 'with η(0)>0' throughout.","section":"Corollary 5.3"},{"comment":"The definition of ν(ϕ) refers to Varchenko's exponent and the dimension of the principal face, but the precise relation is only sketched. A short explanation or a pointer to the exact statement in [19] and [38] would improve readability.","section":"Section 4, definition of ν(ϕ)"}],"recommendation":"major_revision","confidential_remarks":"The paper's central claims appear defensible, but the manuscript currently has several load-bearing gaps: the real-linear form of the external classification theorem, an incorrect statement in the sharpness proof of Theorem 4.1, an erroneous Newton-polyhedron claim in Theorem 5.1, and a too-brief stability argument for Corollary 4.2. These are local and repairable, so major revision rather than rejection seems appropriate. The editors may also wish to consider whether the heavy reliance on [4], [17], [18], [19], and [21] should be made more explicit in the introduction."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The one thing to know: this is a genuine, if narrow, advance. For polynomial hypersurface graphs in R^4 with identically zero Gaussian curvature, the paper proves sharp oscillatory decay with exponent 1/h(φ) and, for the main cases, sharp L^p boundedness of the maximal operator at p > h(φ). The genuinely new part is the three-variable normal form Q1(x1)+Q2(x1)x2+Q3(x1)x3, which comes from the Hessian-zero classification and is not covered by the earlier 2D theory. That part is handled cleanly via adapted coordinates and scaling, and the results are consistent with the Varchenko/Arnold picture.\n\nWhat the paper does well: it reduces the hard cases to the authors' established sharp 2D results and to Varchenko, and the reductions are mostly careful. The index identities in Theorem 6.1 are a neat summary. The proof of adapted coordinates for the normal form is the core new technical work and it looks correct on reading, modulo the points below.\n\nSoft spots, in proportion:\n\n1. Theorem 3.1 is load-bearing and imported from de Bondt–van den Essen without proof. If that theorem has an omitted exceptional case, or if the invertible change is only guaranteed over C rather than R, the main theorems do not cover the full class announced in the abstract. I don't have evidence of an error, but a referee should verify the statement against [4] before signing off.\n\n2. In the maximal-operator proof (Case 1 of Part 2 of Theorem 5.1), the assertion that the hyperplane t1=ν1 touches the Newton polyhedron only at (ν1,0,0) is false: the orthant (ν1,0,0)+R³+ intersects that hyperplane in a 2D face. The subsequent dyadic decomposition does not seem to actually use the \"only at\" part, so this looks like a local geometric slip rather than a load-bearing flaw, but it should be corrected.\n\n3. The stability corollary (4.2) is dispatched in one sentence via Corollary 3.4 and Karpushkin. That's plausible but terse; the full oscillatory integral with linear terms is not obviously invariant under the analytic flattening, so a few more lines would help.\n\n4. The abstract says the exact boundedness exponent is determined, but the case h(φ)<2 with rank(D²φ(0))=1 is left open (openly acknowledged). The claims are still substantial.\n\nBottom line: this deserves a serious referee, not a desk reject. The central argument is plausible and the proof strategy is sound; the flagged issues are verification risks and minor slips, not demonstrated contradictions. I'd send it to review with a request to check Theorem 3.1 carefully and fix the geometric statement. If you work in oscillatory integrals or maximal operators, citing it is reasonable once the classification point is confirmed.","headline":"Genuine but narrow advance on zero-curvature hypersurfaces in R^4; referee it, but verify the imported Hessian-zero classification.","tokens_in":27565,"tokens_out":13070,"would_cite":true,"duration_ms":108215,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["42B25","42B10"],"pacs":[],"model":"deepseek-v4-flash","headline":"For polynomial hypersurfaces in R^4 with zero Gaussian curvature, the Newton height h(φ) fixes the sharp Fourier decay rate 1/h(φ) and, for h(φ) ≥ 2, the exact L^p boundedness exponent of the maximal operator.","keywords":["Fourier transform of surface-carried measures","maximal operators","hypersurfaces","oscillatory integrals","Newton polyhedron","adapted coordinate system","vanishing Gaussian curvature","height"],"falsifier":"Find a three-variable polynomial φ with det(D²φ) ≡ 0 that cannot be reduced by any invertible linear change to two variables or to Q1(x1)+Q2(x1)x2+Q3(x1)x3 — counterexamples to the analogous classification are known in five variables, so three variables is the place to search. Alternatively, for a model phase such as φ = x1²x2 (height 2), compute lim_{ξ4→∞} ξ4^{1/2}∫e^{iξ4x1²x2}η(x)dx with η(0) ≠ 0: if the limit is not a non-zero constant, the sharpness claim (11) fails.","tokens_in":26653,"feed_emoji":"🎯","tokens_out":15249,"duration_ms":127944,"temperature":0.7,"pith_summary":"Polynomial hypersurfaces in R^4 whose Gaussian curvature vanishes identically are governed, this paper argues, by a single number: the height h(φ) of the polynomial phase φ that graphs the surface. For such surfaces the Fourier transform of the surface-carried measure decays like (1+|ξ|)^{−1/h(φ)} times at most one logarithm, with the decay sharp along the normal direction — the first sharp three-dimensional results of this kind. The same height controls the maximal operator: when h(φ) ≥ 2 it is bounded on L^p(R^4) exactly for p > h(φ), and the same criterion holds for h(φ) < 2 when the Hessian at the origin vanishes, while the two-curvature case gives p > 3/2. The route is a classification of polynomials with identically vanishing Hessian determinant into a two-variable form or the form Q1(x1) + Q2(x1)x2 + Q3(x1)x3, which makes an adapted coordinate system available and reduces the analysis to known two-dimensional estimates. As a consequence, all four oscillation and contact indices of the surface equal 1/h(φ).","feed_headline":"One number, Newton height, sets sharp Fourier and L^p exponents","feed_subtitle":"The Newton height h(φ) gives sharp Fourier decay 1/h and the exact maximal bound p>h.","key_machinery":"The central object is the Newton polyhedron of φ at the origin — the convex hull of the exponent vectors in the Taylor support, shifted by the positive orthant — and its height h(φ), the supremum over smooth coordinate systems of the distance from the origin to the polyhedron along the diagonal. The load-bearing structural input is a classification theorem from the algebraic literature: every polynomial in three variables with identically zero Hessian determinant is, after an invertible linear change of variables, either a function of at most two variables or of the form Q1(x1) + Q2(x1)x2 + Q3(x1)x3. From this normal form the paper constructs an adapted coordinate system in which the distanc","core_discovery":"The paper claims that for any polynomial φ: R^3 → R with φ(0)=0, ∇φ(0)=0 and det(D²φ) ≡ 0, the oscillatory integral giving the Fourier transform of the surface-carried measure satisfies |∫ e^{i(ξ4φ + ξ1x1 + ξ2x2 + ξ3x3)}η dx| ≤ C||η||_{C³}(log(2+|ξ|))^ν (1+|ξ|)^{−1/h(φ)}, with ν ∈ {0,1} tracking whether the principal face of the Newton polyhedron is a vertex when h ≥ 2; along the normal direction ξ1=ξ2=ξ3=0 the estimate is sharp, in that ξ4^{1/h}(log ξ4)^{−ν} times the integral tends to a non-zero constant. It further claims the maximal operator is bounded on L^p(R^4) for p > max{h(φ),2}, the necessary condition p > h(φ) is also sufficient when h(φ) ≥ 2, and also when h(φ) < 2 provided D²φ(0","pith_inferences":["The classification step is the true reach of the method: the paper's final section sketches the same results for smooth phases admitting the same normal form, but a smooth phase with det(D²φ) ≡ 0 outside the normal form would escape the exponent 1/h(φ).","The unresolved h(φ) < 2 case with exactly one non-zero principal curvature is tied to the same open problem in R^3; since the proof reduces the averaging operator to a two-variable phase, progress in three dimensions would likely settle it in R^4 as well.","Sharpness is proved only in the normal direction; testing (10) for oblique frequency directions — for example, numerically or via model phases with fold-type singularities — would show whether the logarithmic factor ν is genuinely needed off the normal."],"forward_implications":["Every polynomial phase in the class has sharp Fourier decay exponent 1/h(φ) along the normal direction, with at most one logarithmic factor; no polynomial phase of this type decays faster.","When h(φ) ≥ 2, the maximal operator is bounded on L^p(R^4) exactly for p > h(φ), so the boundedness exponent equals the Newton height.","When h(φ) < 2 and the Hessian at the origin vanishes, boundedness holds exactly for p > h(φ); when two principal curvatures are non-zero, it holds for p > 3/2.","The uniform oscillation, oscillation, uniform contact, and contact indices all equal 1/h(φ), so the height determines the complete asymptotic picture for this class.","The estimates are stable under sufficiently small analytic perturbations of φ, and two long-standing conjectures linking Fourier decay to maximal boundedness are confirmed for these hypersurfaces."],"fun_headline_variants":["Newton height dictates sharp Fourier decay and maximal exponents","Newton height fixes Fourier decay rate and Lp bound","Hypersurface maximal operator: exact p from Newton height","Newton height: the single parameter for Fourier and Lp sharpness","Zero-curvature hypersurfaces: Newton height sets all sharp exponents"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"Everything hangs on the classification, supplied by another paper, that every three-variable polynomial whose Hessian determinant vanishes identically can be linearly transformed into either two variables or the form Q1(x1)+Q2(x1)x2+Q3(x1)x3; if that classification has an unlisted exceptional form, the sharp estimates do not cover the full class claimed.","fun_headline_variants_meta":{"raw":{"variants":["Newton height dictates sharp Fourier decay and maximal exponents","Newton height fixes Fourier decay rate and Lp bound","Hypersurface maximal operator: exact p from Newton height","Newton height: the single parameter for Fourier and Lp sharpness","Zero-curvature hypersurfaces: Newton height sets all sharp exponents"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000342,"raw_usage":{"total_tokens":1710,"prompt_tokens":725,"completion_tokens":985,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":469,"completion_tokens_details":{"reasoning_tokens":902}},"tokens_in":469,"tokens_out":985,"duration_ms":8652,"temperature":1.0,"reasoning_tokens":902,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T21:59:41.279822+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a three-variable polynomial φ with det(D²φ) ≡ 0 that cannot be reduced by any invertible linear change to two variables or to Q1(x1)+Q2(x1)x2+Q3(x1)x3 — counterexamples to the analogous classification are known in five variables, so three variables is the place to search. Alternatively, for a model phase such as φ = x1²x2 (height 2), compute lim_{ξ4→∞} ξ4^{1/2}∫e^{iξ4x1²x2}η(x)dx with η(0) ≠ 0: if the limit is not a non-zero constant, the sharpness claim (11) fails.","supporting_citations":[],"review_version":1}