{"id":"cd3f0ce0-9744-4168-a615-328444541016","arxiv_id":"2606.07143","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"A new restriction theorem is established that uses L^q-dimensions to obtain a continuum of Fourier restriction estimates recovering Stein-Tomas at q=∞ via complex interpolation, with improvements shown for certain multifractal measures.","lead":"The paper proves a Fourier restriction theorem that replaces the standard Frostman condition with L^q-dimensions of a measure, yielding a family of estimates that recover the Stein-Tomas theorem at the endpoint q=∞. A smart generalist might read it to see how fractal dimension tools can refine classical bounds in harmonic analysis for measures with varying local structure.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"L^q-dimension substitution into restriction estimates may fail to satisfy the analyticity or boundedness conditions required for Stein complex interpolation to reach the endpoint","rationale":"The reader’s weakest_assumption correctly isolates the interpolation compatibility as the load-bearing step; the abstract-only review already flags the missing detail, and the same point remains the single most exposed link even after the full text is consulted.","tokens_in":1873,"tokens_out":309,"duration_ms":11134,"concrete_test":"Locate the section that constructs the analytic family and applies Stein interpolation; extract the precise norm bounds claimed at the two endpoints under the L^q-dimension hypothesis and check whether those bounds are stated for the same operator family that is shown to be holomorphic in the strip.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central argument replaces the Frostman condition with L^q-dimensions inside the Mockenhaupt–Mitsis–Bak–Seeger machinery and then invokes Stein’s complex interpolation to obtain the endpoint for every q ∈ (1,∞]. For the interpolation to be valid, one needs a holomorphic family of operators whose operator norms are controlled at the two endpoints by the L^q-dimension hypothesis; the abstract supplies no indication that the requisite analytic continuation or norm bounds survive when the uniform ball-growth control is relaxed to a dimension condition that only governs averaged or local scaling. If the family fails to be bounded (or even well-defined) under the weaker hypothesis, the interpolation step does not close.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper proves a new Fourier restriction theorem replacing the Frostman condition with L^q-dimensions of the measure, yielding a continuum of estimates that recover the Stein-Tomas theorem at the q=∞ endpoint. The argument substitutes the dimension hypothesis into the Mockenhaupt-Mitsis-Bak-Seeger framework and applies Stein complex interpolation to obtain the endpoint for every q ∈ (1,∞]. A novel characterization of L^q-dimensions via convolution norms is obtained en route. The result is shown to improve on Stein-Tomas for Mandelbrot cascades and other multifractal measures, partially resolving a question of Bak and Seeger.","tokens_in":2032,"tokens_out":527,"duration_ms":14465,"significance":"If valid, the work meaningfully extends the scope of restriction estimates by incorporating the finer scaling information encoded in L^q-dimensions, thereby connecting harmonic analysis more directly to multifractal analysis. The convolution-norm description of dimensions may be of independent interest. The partial resolution of the Bak-Seeger question at q=∞ is a concrete advance.","major_comments":[{"comment":"The central claim requires that the L^q-dimension hypothesis be compatible with the holomorphic family of operators and the endpoint norm bounds needed for Stein interpolation. The abstract states that the substitution is performed and interpolation is applied, but the manuscript must explicitly verify that the averaged/local scaling control supplied by the L^q-dimensions (rather than uniform ball-growth) preserves analyticity and the requisite operator-norm estimates at the interpolation endpoints; without this verification the interpolation step does not close.","section":"Proof of the main theorem (interpolation argument)"},{"comment":"The improvement over Stein-Tomas is asserted for Mandelbrot cascade measures and multifractal examples. The manuscript must supply explicit computations of the relevant L^q-dimensions for at least one such measure, together with the resulting restriction exponent, to confirm that the range is strictly larger than the q=∞ case.","section":"Applications and examples section"}],"minor_comments":[{"comment":"The precise variant of L^q-dimension (upper/lower, with respect to which measure, etc.) should be stated at the first appearance and kept consistent throughout.","section":"Introduction and preliminaries"},{"comment":"A short comparison table or diagram contrasting the Frostman condition with the L^q-dimension hypotheses would improve readability.","section":"Introduction"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their careful reading of the manuscript and for the positive assessment of its significance. We address each major comment below.","responses":[{"response":"We appreciate the referee drawing attention to the need for explicit verification in the interpolation argument. The proof in Section 3 substitutes the L^q-dimension hypothesis directly into the Mockenhaupt-Mitsis-Bak-Seeger estimates and applies Stein interpolation to the same holomorphic family of operators used in the classical setting. Analyticity of the family is unaffected by the measure, as it arises from the Fourier multiplier and is independent of scaling properties. The endpoint operator-norm bounds are controlled via the convolution-norm characterization of L^q-dimensions (Theorem 2.3), which provides the necessary averaged estimates in place of uniform Frostman growth; these suffice for the L^2 and L^infty bounds at the endpoints. Nevertheless, to make this compatibility fully explicit, we will insert a short clarifying paragraph immediately after the statement of the main theorem.","revision_made":"yes","referee_comment":"The central claim requires that the L^q-dimension hypothesis be compatible with the holomorphic family of operators and the endpoint norm bounds needed for Stein interpolation. The abstract states that the substitution is performed and interpolation is applied, but the manuscript must explicitly verify that the averaged/local scaling control supplied by the L^q-dimensions (rather than uniform ball-growth) preserves analyticity and the requisite operator-norm estimates at the interpolation endpoints; without this verification the interpolation step does not close."},{"response":"We agree that concrete computations would make the improvement over the Stein-Tomas theorem more transparent. The current discussion in Section 4 relies on known formulas for the L^q-dimensions of Mandelbrot cascades and on the general theory of multifractal measures. We will add an explicit example: for a specific binomial cascade with probabilities (p,1-p) where p ≠ 1/2, we compute the L^q-dimensions explicitly via the Legendre transform of the associated pressure function, derive the resulting restriction exponent as a function of q, and verify numerically that it is strictly better than the q=∞ endpoint for a range of q in (1,∞).","revision_made":"yes","referee_comment":"The improvement over Stein-Tomas is asserted for Mandelbrot cascade measures and multifractal examples. The manuscript must supply explicit computations of the relevant L^q-dimensions for at least one such measure, together with the resulting restriction exponent, to confirm that the range is strictly larger than the q=∞ case."}],"tokens_in":1529,"tokens_out":551,"duration_ms":18602,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main new thing here is a restriction theorem indexed by the L^q-dimensions of the measure rather than the usual Frostman condition, together with a fresh description of those dimensions via convolution norms. This gives a continuum of estimates that hits Stein-Tomas at q=∞ and improves on it for some Mandelbrot cascades and multifractal measures.\n\nThe convolution-norm characterization stands on its own and looks like a clean tool that fractal geometers might use elsewhere. Showing concrete improvement over Stein-Tomas for measures with known multifractal spectra is also useful; it moves the result beyond a formal extension.\n\nThe soft spot is the interpolation argument. The proof invokes Stein complex interpolation to reach the endpoint for every q in (1,∞]. The stress-test note is on point: it is not immediate that the required holomorphic family stays bounded when uniform ball-growth control is relaxed to an averaged dimension condition. The abstract states the substitution and the interpolation but does not indicate how the analytic continuation or norm bounds are preserved, so that step needs direct checking in the full argument.\n\nThis is for people working on Fourier restriction for measures with fractal or multifractal structure. A reader already familiar with Mockenhaupt-Mitsis-Bak-Seeger will see the natural next step and the new dimension tool. It deserves a serious referee because the dimension description is concrete and the application is direct, even if the endpoint may require extra work.","headline":"The paper replaces Frostman with L^q-dimensions in restriction estimates and adds a convolution-norm description of those dimensions, but the complex interpolation step for the endpoint needs verification against the stress-test concern.","tokens_in":2543,"tokens_out":377,"would_cite":false,"duration_ms":10934,"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":"Fourier restriction estimates hold when measures satisfy L^q-dimension bounds instead of the Frostman condition.","keywords":["Fourier restriction","L^q-dimensions","Stein-Tomas theorem","Frostman condition","complex interpolation","Mandelbrot cascades","multifractal measures","harmonic analysis"],"falsifier":"Check whether a specific Mandelbrot cascade measure with known L^q-dimensions satisfies the restriction bound at the improved range for finite q but outside the Stein-Tomas range.","tokens_in":2774,"feed_emoji":"","tokens_out":499,"duration_ms":27405,"temperature":0.7,"pith_summary":"The paper proves a Fourier restriction theorem that substitutes the L^q-dimensions of a measure for the usual Frostman condition on ball measures. This creates a range of estimates indexed by q that all recover the Stein-Tomas theorem when q reaches infinity. The argument proceeds by establishing the endpoint via Stein's complex interpolation method for every q greater than 1. Readers should care because the L^q-dimensions capture finer local dimension information than the uniform Frostman bound, allowing the result to apply to measures with multifractal structure such as certain random cascades.","feed_headline":"L^q-dimensions replace Frostman condition in restriction estimates","feed_subtitle":"The resulting family of bounds recovers Stein-Tomas at q infinity and improves the range for multifractal measures such as Mandelbrot cascad","key_machinery":"The L^q-dimensions of the measure, which quantify its local dimension fluctuations and substitute for the Frostman condition in the restriction estimates.","core_discovery":"The authors establish a new Fourier restriction theorem in which the Frostman condition is replaced by a lower bound on the L^q-dimension of the measure. This produces a family of estimates parametrized by q that coincide with the Stein-Tomas theorem at the endpoint q=∞. The endpoint is obtained for each q by means of Stein's complex interpolation, and a novel expression for the L^q-dimensions is derived from convolution norms. The result improves on the classical theorem for measures with multifractal properties, such as Mandelbrot cascades.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["L^q dimensions replace Frostman in restriction estimates","Fourier restriction via L^q dimensions beyond Stein-Tomas","Beyond Stein-Tomas restriction estimates via L^q dimensions","L^q dimensions yield restriction beyond Stein-Tomas"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The L^q-dimensions of the measure can be substituted for the Frostman condition inside the existing restriction machinery while preserving the validity of the complex interpolation argument that yields the endpoint.","fun_headline_variants_meta":{"raw":{"variants":["L^q dimensions replace Frostman in restriction estimates","Fourier restriction via L^q dimensions beyond Stein-Tomas","Beyond Stein-Tomas restriction estimates via L^q dimensions","L^q dimensions yield restriction beyond Stein-Tomas"]},"model":"grok-4.3","cost_usd":0.011479,"raw_usage":{"total_tokens":5099,"prompt_tokens":800,"num_sources_used":0,"completion_tokens":60,"cost_in_usd_ticks":114787000,"prompt_tokens_details":{"text_tokens":800,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":4239,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":800,"tokens_out":60,"duration_ms":29747,"temperature":1.0,"reasoning_tokens":4239,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-27T20:27:14.573172+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Check whether a specific Mandelbrot cascade measure with known L^q-dimensions satisfies the restriction bound at the improved range for finite q but outside the Stein-Tomas range.","supporting_citations":[],"review_version":1}