{"id":"8ad3fbb3-c094-43ce-b890-b317218eb029","arxiv_id":"2508.20463","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For compact curved lines and the parabola, the paper determines sharp Lp-in to Lq-out ranges for Fourier extension estimates on a strip and on Radon slices, with one unresolved boundary segment in the parabola strip case.","lead":"This paper finds exact rules for when a wave made from a curved line stays small when you only look inside a thin strip in the plane or along slices through the plane. It matters because these tomographic bounds describe how oscillation can concentrate near straight lines, with different behavior for compact curves and for the parabola.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Unproved Perron-tree area bound in Section 5.3.4 leaves the exclusion of p=q in (2,4] for the transversal parabola unsupported.","rationale":"The reader's weakest assumption pinpoints the correct load-bearing gap. Section 5.3.4 is the only argument that removes the diagonal segment (p=q in (2,4]) from the admissible region in Theorem 4(a). It depends on a Perron-tree construction with a precise quantitative area bound and on the placement of the resulting rectangles inside the strip. Neither is proved in the manuscript; the citation to [1] covers only the general approach. Because the final counting inequality uses |K|≤J loglogJ/logJ=o(J), an error in the constant or in the containment would destroy the contradiction. This is an internal completeness issue, not a disagreement with consensus: the Besicovitch-set obstruction is plausible and consistent with known results, but the proof as written is a sketch. The surrounding material—the oscillatory integral propositions, the Knapp-type necessity arguments, and the reduction steps—is presented in much more detail and appears sound. The abstract's blanket 'characterize' wording is also stronger than Theorem 4(b), which explicitly leaves the interior of segment (B,D) open, and this should be corrected, but it is a presentation issue rather than the central proof gap. A revision that supplies the Perron-tree lemma (or replaces the argument with a self-contained Besicovitch-set construction) and moderates the abstract would justify the paper's claims; the current version warrants a conditional acceptance rather than rejection.","tokens_in":19449,"tokens_out":21837,"duration_ms":200152,"concrete_test":"Extract or prove the Perron-tree lemma: state the iteration rule for the triangle A0 with vertices (0,0), (-2J,1), (-4J,1), and verify that after J0=log2 J iterations the resulting set A^(J0) contains one rectangle R(v_j,b_j;c1J,c1/J) for each j=J,...,2J-1, all lying in the strip R×[-1/2,1/2] after the choice of b_j, and that |A^(J0)|≤C J loglogJ/logJ. If the lemma cannot be established with this quantitative bound, or if it gives only area ≳J, the necessity proof in Section 5.3.4 collapses. A numerical sanity check for J=16,32,64 implementing the construction and measuring the union area of the J rectangles would also indicate whether the bound is plausible.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 5.3.4 proves the necessity of p=q=2 for the transversal parabola strip estimate (1.5) by assuming a Perron-tree construction that produces a set A^(J0) of area at most J loglogJ/logJ containing J rectangles of dimensions c1J by c1/J in the directions v_j (j=J,...,2J-1), with K=∪R(v_j,b_j;c1J,c1/J) lying in the strip R×I. This is the only step excluding p=q in (2,4] from the 'if and only if' in Theorem 4(a). The area bound and the containment/placement of the rectangles are asserted rather than proved, with only a pointer to an approach 'similar to' Beckner-Carbery-Semmes-Soria [1]. No lemma statement, iteration rule, or error estimate for the Perron tree is given. If |A^(J0)| is not o(J), or if the rectangles cannot be placed inside the strip, the final inequality J ≤ C J^{2/p}|K|^{1-2/p} with |K|≤J loglogJ/logJ yields no contradiction for p>2, and the exclusion of the diagonal segment is unsupported. The abstract's claim to characterize the pairs is therefore not fully backed for this region.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies Fourier extension estimates for a curve in R^2 when the domain of integration is a strip, and the related Radon-transform bound. For a compact C^2 curve with nonzero curvature, Theorem 3 claims a full characterization of the pairs (p,q) for both the strip and Radon estimates, split into transversal and non-transversal cases. For the parabola, Theorem 4 claims analogous characterizations, with the notable feature that the strip estimate and the Radon estimate have different ranges, and that the non-transversal strip estimate fails at (p,q)=(4,4). The proofs use one-dimensional oscillatory integral estimates (Propositions 8--10), the Pan--Sampson--Szeptycki weighted Fourier estimate, the two-dimensional restriction theorem, interpolation, and Knapp/Gaussian/Besicovitch-type examples. The abstract states that the pairs (p,q) are characterized for both compact curves and the parabola.","tokens_in":19673,"tokens_out":6050,"duration_ms":63078,"significance":"If fully correct, the paper gives a clean model problem in which the strip geometry changes the admissible range relative to the classical restriction theorem, and it exhibits a Besicovitch-set obstruction for the parabola. The paper is clearly written and contains a number of self-contained technical contributions, such as the elementary proof of the weighted Fourier estimate in Lemma 7 and the detailed oscillatory-integral bounds in Section 3. The authors are also honest about the one unresolved segment in Theorem 4(b). However, the main characterization claim is not yet fully supported: the necessity proof in Section 5.3.4 depends on an unproved Perron-tree geometric lemma, and the statement of Theorem 4(b) explicitly leaves the interior of the segment (B,D) undecided, contradicting the abstract's claim of a complete characterization.","major_comments":[{"comment":"The exclusion of p=q in (2,4] for the transversal parabola strip estimate rests entirely on an unproved geometric assertion. The proof assumes that after J0 iterations of the Perron tree construction applied to the triangle A(0), one obtains a set A^(J0) of area at most J log log J / log J that contains rectangles R(v_j,b_j;c1/J,c1J) for j=J,...,2J-1 and lies inside the strip. No iteration rule, lemma statement, or proof of the area and containment estimates is provided; the text only refers to an approach 'similar to' Beckner--Carbery--Semmes--Soria [1]. This is load-bearing: without |A^(J0)| = o(J), the final inequality J ≲ J^{2/p} |A^(J0)|^{1-2/p} imposes no restriction for p>2, and the claimed if-and-only-if for the transversal parabola strip is unsupported. Please add a complete proof of this geometric lemma or replace the claim with a conditional statement.","section":"Section 5.3.4"},{"comment":"The abstract claims a characterization of the pairs (p,q) for the parabola, but Theorem 4(b) states that the estimate (1.5) 'does not hold in the complement of the given range except maybe in the interior of the segment (B,D)'. Thus the status of the open segment (B,D) is explicitly left undecided, and the theorem is not a full characterization as stated. The abstract and the theorem statement should be aligned: either the undecided segment must be resolved, or the claims should be weakened to describe the known sufficient and necessary regions separately.","section":"Theorem 4(b) and Abstract"}],"minor_comments":[{"comment":"The rectangle dimensions are written inconsistently: the text refers to rectangles of dimensions c1J by c1/J and then to R(v_j,b_j;c1/J,c1J), and later uses R(v_j,a_j;cj,c/j). Please standardize the order of length and width and replace 'cj' by a constant independent of j if that is what is meant.","section":"Section 5.3.4"},{"comment":"After the substitution h(u)=y^2, the displayed integral has the integrand written with 'du', but the variable of integration should be dy; as written, the change of variables is confusing.","section":"Section 4.3"},{"comment":"The interpolation argument with the restriction theorem is summarized in one sentence, and the notation '□ACDB' is not defined in Figure 1. Please spell out the interpolation pair and the resulting convex hull, including the treatment of endpoints.","section":"Section 5.2"},{"comment":"The change of variables leading from |Ef(x)|^q to the displayed integral is not shown; adding the scaling computation would make the Gaussian counterexample easier to verify.","section":"Section 5.3.6"}],"recommendation":"major_revision","confidential_remarks":"The Perron-tree gap in Section 5.3.4 is the main technical risk. It is likely fixable by importing a precise lemma from the Besicovitch-set literature, but without it the diagonal exclusion in Theorem 4(a) is unsupported. The discrepancy between the abstract and Theorem 4(b) is also likely repairable by rewording. The rest of the paper appears coherent and valuable, so I would not recommend rejection at this stage."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nQuick take: this is serious, mostly solid work. The genuinely new thing is the Besicovitch-set obstruction for the parabola, and the sharp Lp-Lq ranges for the strip and Radon estimates are a real step forward. But the paper is not as clean as the abstract claims: Theorem 4(b) leaves the interior of the segment (B,D) open, and the exclusion of p=q in (2,4] for the transversal parabola rests on an unproved geometric lemma.\n\nWhat the paper does well: Theorem 3 gives the full range for compact curves, and the reduction to one-dimensional oscillatory integral bounds via Pan-Sampson-Szeptycki is clean. The contour arguments in Section 3 are detailed and appear internally consistent. For the parabola, the new necessary conditions built on Besicovitch sets are a genuine addition; that phenomenon is absent in the compact case, so the authors are right to highlight it. The citation pattern is normal, and the proofs do not look circular.\n\nNow the soft spots, in proportion. The main one is Section 5.3.4. The Perron-tree construction is one paragraph: it asserts a set A^(J0) of area at most J loglogJ/logJ containing J rectangles of dimensions c1J by c1/J in the right directions and lying in the strip. No lemma statement, no iteration rule, no error estimate. That step is load-bearing: it is the only thing excluding p=q in (2,4] from Theorem 4(a). If the area bound fails, that diagonal segment is back in play. The pointer to Beckner-Carbery-Semmes-Soria [1] is not enough, because their construction is not obviously adapted to the placement constraint inside a strip. This should be fixed before publication. Minor: the interpolation step in Section 5.2 is stated more briefly than the surrounding detail would warrant; it may be fine, but it deserves a few more lines. And the abstract says \"characterize\" for the parabola while Theorem 4(b) explicitly says \"except maybe in the interior of the segment (B,D)\" — that mismatch should be corrected in a revision.\n\nBottom line: this deserves a serious referee, not a desk reject. The core is credible and the new obstruction is worth referee time. The revision should either prove the Perron-tree bound or drop the diagonal exclusion, and soften the abstract to match what is proved.\n\nBest,\n[You]","headline":"Solid harmonic analysis with a real new Besicovitch obstruction, but the abstract overclaims and the one step that excludes the diagonal for the parabola is an unproved Perron-tree bound.","tokens_in":20234,"tokens_out":2346,"would_cite":true,"duration_ms":24158,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["42B10"],"pacs":[],"model":"deepseek-v4-flash","headline":"For compact curves and the parabola, the paper determines exactly which exponent pairs make the Fourier extension estimate on a strip hold, and which make the corresponding Radon-transform estimate hold.","keywords":["Fourier extension operator","restriction estimates","Radon transform","strip estimates","oscillatory integrals","Besicovitch sets","parabola","Schrödinger local smoothing"],"falsifier":"Test the Perron-tree lemma directly: for large $J=2^{J_0}$, construct the $J_0$-th iterated set, compute its area, and check whether the rectangles $R(v_j,b_j;c_1/J,c_1J)$ lie in the strip. If the area is not $O(J\\log\\log J/\\log J)$, or if any rectangle leaves the strip, the proof that strip estimate (1.5) fails for $p=q\\in(2,4]$ in the transversal parabola case collapses; if the bounds hold, the exclusion is supported.","tokens_in":19227,"feed_emoji":"📐","tokens_out":21823,"duration_ms":171522,"temperature":0.7,"pith_summary":"Fourier extension takes a function on a curve and spreads it through the plane; the question here is which $L^p$-to-$L^q$ bounds survive when the output is measured only on a unit-width strip, or along lines (the Radon transform averages over lines). The paper establishes complete ranges for every compact curve with nonzero curvature: the strip estimate and the Radon-transform estimate are equivalent, and both hold exactly for $1/p+1/q\\le 1$ with $q\\ge 2$ when the strip is transversal to the curve, and exactly for $1/p+2/q\\le 1$ (strict when $p>q$) when it is not. For the parabola the two estimates diverge, and the paper gives the full range for the Radon-transform estimate in both directions, the full strip range in the transversal direction, and, in the non-transversal direction, the strip range up to a failure at $(4,4)$ and one unresolved segment. The parabola case connects to Schrödinger evolution: extension along the parabola is the Schrödinger propagator, so these are local smoothing-type estimates on a horizontal strip. The paper's explanation for the split is that a compact curve has only finitely many wave packets at the strip's scale, so a single wave packet is the only obstruction, while the parabola has infinitely many, allowing wave packets to be packed into a Besicovitch-type set inside the strip.","feed_headline":"Fourier extension on a strip: ranges found for curves, gap in parabola","feed_subtitle":"Curves are fully classified; the parabola leaves one segment open and hits a Besicovitch-set failure at (4,4).","key_machinery":"The central mechanism is a reduction to one-dimensional oscillatory integrals. After a shear, translation, and parabolic rescaling, the curve is locally the graph of $h$ with $h(0)=h'(0)=0$, and the Radon transform of $|E_\\Sigma f|^q$ becomes, in the non-transversal case, the $L^q$ norm of $T f(x)=\\int_0^\\infty e^{2\\pi i x\\xi^2}f(\\xi)\\,d\\xi$, with low- and high-frequency parts $T_{\\mathrm{low}}$ and $T_{\\mathrm{high}}$. The upper bounds for these one-dimensional operators rest on a weighted Fourier transform estimate (Lemma 7): $\\int_{\\mathbb{R}} |\\hat f(x)|^p |x|^{p-2}\\,dx \\lesssim \\|f\\|_{L^p}^p$ for $p\\in(1,2]$, and on complex interpolation with the two-dimensional restriction theorem. The necessity arguments use localized bump-function examples, dilation symmetry, and averaging over random signs to select favorable superpositions; the transversal parabola exclusion at $p=q\\in(2,4]$ uses a Perron-tree construction of a small-area set containing many long thin rectangles, in the style of [1].","core_discovery":"The paper's claim is a characterization, stated as Theorem 3 and Theorem 4. For a compact $C^2$ curve with nonzero curvature, the strip estimate (1.5) and the Radon estimate (1.6) are equivalent: in the transversal case both hold if and only if $1/p+1/q\\le 1$ and $q\\ge 2$, and in the non-transversal case if and only if $1/p+2/q\\le 1$, with the inequality required to be strict when $p>q$. For the parabola, the Radon estimate holds exactly on the line $1/p+1/q=1$ with $p\\le q$ in the transversal direction, and on the line $1/p+2/q=1$ with $p\\le q$ in the non-transversal direction. The strip estimate for the parabola has a larger admissible region: in the transversal direction it is the region cut by $1/p+3/q\\ge 1$ and $1/p+1/q\\le 1$, with $p=q$ allowed only at $(2,2)$; in the non-transversal direction, when $p\\le q$, it is the region with $1/p+3/q\\ge 1$ and $1/p+2/q\\le 1$ excluding $(4,4)$, and when $p>q$, it is the region with $1/p+1/q>1/2$ and $1/p+2/q<1$, apart from an undecided interior of the segment $(B,D)$.","pith_inferences":["The undecided segment $(B,D)$ sits exactly where the paper's interpolation between the low-frequency and high-frequency operators does not overlap; a direct endpoint analysis of $T_{\\mathrm{high}}$ is the natural next step, and the logarithmic divergence at $(4,4)$ suggests a log-loss estimate rather than a hard failure near that endpoint.","The mechanism separating compact curves from the parabola — finitely many versus infinitely many wave packets at the strip's scale — suggests a general principle: translation-invariant noncompact curves should behave like the parabola, with Besicovitch-type obstructions, while curves whose wave-packet family at the strip scale is finite should behave like compact curves.","Because the obstruction is geometric (packing long thin rectangles inside a strip), the same mechanism should appear in higher dimensions for slabs, with critical exponents governed by the Besicovitch dimension of $k$-plane arrangements; this is a testable extension, not a claim of the paper.","The fixed unit width of the strip is not an innocent normalization: it sets the scale at which wave packets are counted, so shrinking the width should interpolate continuously between the strip results and the Radon-transform results; verifying this interpolation is a concrete follow-up."],"forward_implications":["For compact curves with nonzero curvature, the line-concentration problem is closed: the strip estimate and the Radon estimate are equivalent and hold on the same explicit $(p,q)$ regions, so no further endpoint work is needed for such curves.","For the parabola, the Radon estimate is strictly more restrictive than the strip estimate, so concentration of mass on individual lines is controlled on a smaller set of exponent pairs than concentration inside a strip.","The strip estimate for the parabola fails at $(p,q)=(4,4)$ in the non-transversal case, and the Gaussian test function produces a logarithmic divergence, indicating the failure is quantitative rather than a borderline technicality.","Because the parabola extension is the Schrödinger propagator, the transversal strip results are $L^p\\to L^q$ local smoothing-type estimates on $\\mathbb{R}\\times I$, giving a complete picture at width 1 in the transversal direction.","The proof leaves only the interior of the segment $(B,D)$ open for the non-transversal parabola strip estimate; any improvement in the bounds for the high-frequency operator $T_{\\mathrm{high}}$ would directly shrink that gap."],"supporting_citations":[{"why":"Supplies the Perron-tree/Besicovitch-set construction used to exclude p=q in (2,4] in the transversal parabola strip case.","marker":"[1]"},{"why":"Introduced the Radon-transform estimate for |E_Σ f|^2 and the identity that reduces the transversal L^2 case to a one-dimensional computation.","marker":"[2]"},{"why":"Supplies the smooth approximations of homogeneous distributions used to prove necessity of p≤q in the one-dimensional oscillatory estimates and in the parabola cases.","marker":"[4]"},{"why":"Gives the base restriction theorem for compact curves, used with complex interpolation to obtain the upper bounds.","marker":"[6]"},{"why":"Proves the weighted Fourier estimate of Lemma 7, the main tool behind the upper bounds for the one-dimensional oscillatory operators.","marker":"[12]"},{"why":"Provides the two-dimensional restriction theorem used as an interpolation endpoint for the parabola upper bounds.","marker":"[15]"},{"why":"Completes the restriction theorem at the endpoint, entering the interpolated region used for the parabola strip estimates.","marker":"[21]"}],"fun_headline_variants":["Fourier strip estimates pinned down, parabola gap remains","Curves solved, parabola leaves a gap in Fourier strip bounds","Fourier extension on strips: full range for curves, gap for parabola","Parabola gap and Besicovitch failure in Fourier strip estimates","Strip Fourier estimates: curves done, parabola has open segment"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The exclusion of strip estimates at $p=q\\in(2,4]$ for the transversal parabola rests on an unproved geometric claim: an iterated triangle-splitting construction produces a set of area at most about $J\\log\\log J/\\log J$ that still contains $J$ rectangles of size about $1/J$ by $J$, all lying inside the strip; the paper cites the approach as similar to [1] but does not supply the area bound or the containment proof.","fun_headline_variants_meta":{"raw":{"variants":["Fourier strip estimates pinned down, parabola gap remains","Curves solved, parabola leaves a gap in Fourier strip bounds","Fourier extension on strips: full range for curves, gap for parabola","Parabola gap and Besicovitch failure in Fourier strip estimates","Strip Fourier estimates: curves done, parabola has open segment"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000281,"raw_usage":{"total_tokens":1728,"prompt_tokens":1074,"completion_tokens":654,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":690,"completion_tokens_details":{"reasoning_tokens":565}},"tokens_in":690,"tokens_out":654,"duration_ms":5808,"temperature":1.0,"reasoning_tokens":565,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T16:47:41.198552+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Test the Perron-tree lemma directly: for large $J=2^{J_0}$, construct the $J_0$-th iterated set, compute its area, and check whether the rectangles $R(v_j,b_j;c_1/J,c_1J)$ lie in the strip. If the area is not $O(J\\log\\log J/\\log J)$, or if any rectangle leaves the strip, the proof that strip estimate (1.5) fails for $p=q\\in(2,4]$ in the transversal parabola case collapses; if the bounds hold, the exclusion is supported.","supporting_citations":[{"cited_title":"Beckner, A","cited_arxiv_id":null,"evidence_quote":"Supplies the Perron-tree/Besicovitch-set construction used to exclude p=q in (2,4] in the transversal parabola strip case."},{"cited_title":"Bennett and S","cited_arxiv_id":null,"evidence_quote":"Introduced the Radon-transform estimate for |E_Σ f|^2 and the identity that reduces the transversal L^2 case to a one-dimensional computation."},{"cited_title":"Asymptotic behavior ofLp estimates for a class of multipliers with homogeneous unimodular symbols","cited_arxiv_id":null,"evidence_quote":"Supplies the smooth approximations of homogeneous distributions used to prove necessity of p≤q in the one-dimensional oscillatory estimates and in the parabola cases."},{"cited_title":"Inequalities for strongly singular convolution operators","cited_arxiv_id":null,"evidence_quote":"Gives the base restriction theorem for compact curves, used with complex interpolation to obtain the upper bounds."},{"cited_title":"Studia Math., 122(3):201–224, 1997","cited_arxiv_id":null,"evidence_quote":"Proves the weighted Fourier estimate of Lemma 7, the main tool behind the upper bounds for the one-dimensional oscillatory operators."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the two-dimensional restriction theorem used as an interpolation endpoint for the parabola upper bounds."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Completes the restriction theorem at the endpoint, entering the interpolated region used for the parabola strip estimates."}],"review_version":2}