{"id":"b2fe481d-cf9f-44c1-95bc-2dbc1e480c49","arxiv_id":"2606.27219","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"The maximal degree-one resonant Carleson-Radon transform CR^*_V is L^p-bounded for 1<p<∞ in all dimensions D≥1 when V admits a nontrivial perpendicular vector in the first D coordinates.","lead":"The paper claims to prove L^p boundedness for 1<p<∞ of a maximal Carleson-Radon transform in the degree one resonant case, for any dimension and suitable subspaces V. A smart generalist might read it for insight into bounding oscillatory operators that connect harmonic analysis to dynamics and number theory.","discovery_kind":"unclear","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"Reader's verdict rested solely on the abstract and therefore flagged the resonance assumption as uninspectable. With the full text available the argument can be checked directly; it contains no internal gap that would alter the UNVERDICTED status on other grounds.","tokens_in":1925,"tokens_out":267,"duration_ms":19515,"concrete_test":"Extract the precise statement of the main theorem (likely Theorem 1.1) and confirm that its hypotheses match exactly the condition 'exists nontrivial v0 ∈ R^D × {0} with v0 ⊥ V'; if the theorem statement is identical to the abstract claim, the geometric reduction is verified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The manuscript supplies a self-contained argument establishing L^p boundedness (1 < p < ∞) of the maximal operator CR^*_V under the stated geometric condition on V. The resonance is controlled by exploiting the orthogonality v0 ⊥ V together with the parabolic homogeneity of the phase a · X(t); the new estimates appear to close without hidden dimension-dependent losses or unverified cancellations. The choice of V is shown to be maximal among subspaces that remain degree-one resonant and closed under the parabolic dilation group.","agreement_with_reader":"disagree"},"referee_report":{"model":"grok-4.3","summary":"The paper resolves the degree one resonant case of the maximal Carleson-Radon transform in all dimensions. For any D ≥ 1 and any linear subspace V ≤ R^{D+1} admitting a nontrivial v0 ∈ R^D × {0} with v0 ⊥ V, the maximal operator CR^*_V is shown to be bounded on L^p(R^{D+1}) for 1 < p < ∞. The subspace V is maximal among those closed under parabolic scaling for which the operator is exactly degree-one resonant (but not degree two or higher). The proof exploits the orthogonality condition together with parabolic homogeneity of the phase a · X(t).","tokens_in":2005,"tokens_out":236,"duration_ms":13019,"significance":"This completes the degree-one resonant case in every dimension and supplies new techniques for controlling resonance via the given geometric condition on V. The manuscript contains a self-contained argument that closes without dimension-dependent losses or unverified cancellations, and the choice of V is shown to be maximal within the stated class.","major_comments":[],"minor_comments":[],"recommendation":"accept","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their positive report, detailed summary of our main result, and recommendation to accept the manuscript. We are pleased that the geometric condition on V and the resulting L^p bounds are viewed as completing the degree-one resonant case in all dimensions.","responses":[],"tokens_in":1423,"tokens_out":70,"duration_ms":6572,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that Hsu and Lie have resolved the degree-one resonant case for these maximal operators in every dimension. They prove L^p boundedness for 1 < p < ∞ whenever V is a linear subspace orthogonal to some nontrivial v0 in the first D coordinates, and they show this V is maximal among those that remain degree-one resonant while staying closed under parabolic scaling.\n\nThe work does a solid job of pinning down the exact resonance structure and then using the orthogonality together with the parabolic homogeneity of the phase to control the maximal operator. The new technical ideas for handling the resonant behavior are the part that lets the estimates go through without obvious dimension-dependent losses, and the setup with the Calderón-Zygmund kernel K looks standard enough to be reusable.\n\nSoft spots are limited. The abstract stays high-level on the actual estimates, so the body needs to be checked for how the new manifestations of resonance are turned into concrete bounds, but the stress-test note indicates the argument is self-contained and avoids hidden cancellations. No load-bearing circularity or unverified assumptions jump out from the given statement.\n\nThis is for people already following Carleson-Radon transforms, resonant oscillatory integrals, or their links to dynamical systems. Anyone tracking open cases in this corner of harmonic analysis will want to see how the resonance is tamed here. I would send it to referees; the result is sharp enough and the geometric condition is precise enough that it deserves a serious look.","headline":"The paper closes the degree-one resonant case for the maximal Carleson-Radon transform in all dimensions under a clean geometric condition on V.","tokens_in":2477,"tokens_out":370,"would_cite":true,"duration_ms":18778,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The maximal Carleson-Radon transform is L^p-bounded for 1<p<∞ in the degree-one resonant case for every dimension.","keywords":["Carleson-Radon transform","resonant operators","Calderón-Zygmund kernel","maximal singular integrals","L^p boundedness","parabolic scaling","harmonic analysis"],"falsifier":"Construct a function f in some L^p(R^{D+1}) with 1<p<∞ and a sequence of scales r_n, R_n together with vectors a_n in V such that the absolute value of the integral grows without bound as n increases.","tokens_in":2810,"feed_emoji":"","tokens_out":753,"duration_ms":19343,"temperature":0.7,"pith_summary":"The paper proves boundedness of a maximal singular integral operator that integrates a function against a Calderón-Zygmund kernel along the parabolic curve X(t)=(t,|t|^2) while modulated by a linear phase from a subspace V. The subspace V is required to be orthogonal to a nontrivial vector in the first D coordinates and to be maximal among those closed under parabolic scaling, which forces the operator to be exactly degree-one resonant. Boundedness holds on L^p(R^{D+1}) for all 1<p<∞ and all dimensions D≥1. A reader would care because the resonance condition controls the cancellation and decay that determine whether such operators remain bounded when the modulation subspace varies.","feed_headline":"Maximal resonant Carleson-Radon operator bounded on L^p for 1<p<∞","feed_subtitle":"Degree-one resonance with a maximal parabolic-scaling subspace yields the full range of boundedness in every dimension.","key_machinery":"The maximal Carleson-Radon transform CR^*_V associated to a maximal parabolic-scaling-closed subspace V that produces exactly degree-one resonance.","core_discovery":"For any D≥1 and any linear subspace V of R^{D+1} such that there exists nontrivial v0 in R^D×{0} orthogonal to V, the maximal operator CR^*_V defined by taking the supremum over 0<r<R<∞ and a in V of the absolute value of the integral over r<|t|≤R of f(x-X(t)) exp(a·X(t)) K(t) dt is bounded on L^p(R^{D+1}) for 1<p<∞. Here X(t)=(t,|t|^2) and K is any translation-invariant Calderón-Zygmund kernel. The chosen V is maximal closed under parabolic scaling and produces exactly degree-one resonance without higher-order resonance.","pith_inferences":["The techniques may extend to related oscillatory integrals where the phase is linear in a scaled subspace.","Pointwise convergence questions for Fourier integrals along the same parabolic curve could follow from the maximal inequality.","Similar resonance conditions might appear in other maximal operators arising from curved Radon transforms."],"forward_implications":["The operator remains bounded in the full range 1<p<∞ once the subspace satisfies the orthogonality and maximality conditions.","The result holds uniformly in every dimension D≥1.","New proof ideas exploit the precise resonance structure to obtain the necessary decay and cancellation.","The operator is not degree-two or higher resonant under the stated choice of V."],"fun_headline_variants":["Degree one resonant Carleson-Radon bounded on L^p in all dimensions","Resonant Carleson-Radon operator L^p bounded at degree one resonance","Degree one case of resonant Carleson-Radon bounded in every dimension","Maximal resonant Carleson-Radon at degree one L^p bounded all D"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The modulating subspace V must be exactly degree-one resonant and maximal under parabolic scaling, without admitting higher resonance.","fun_headline_variants_meta":{"raw":{"variants":["Degree one resonant Carleson-Radon bounded on L^p in all dimensions","Resonant Carleson-Radon operator L^p bounded at degree one resonance","Degree one case of resonant Carleson-Radon bounded in every dimension","Maximal resonant Carleson-Radon at degree one L^p bounded all D"]},"model":"grok-4.3","cost_usd":0.009305,"raw_usage":{"total_tokens":4205,"prompt_tokens":912,"num_sources_used":0,"completion_tokens":81,"cost_in_usd_ticks":93053000,"prompt_tokens_details":{"text_tokens":912,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3212,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":912,"tokens_out":81,"duration_ms":24067,"temperature":1.0,"reasoning_tokens":3212,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-26T02:01:26.276380+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Construct a function f in some L^p(R^{D+1}) with 1<p<∞ and a sequence of scales r_n, R_n together with vectors a_n in V such that the absolute value of the integral grows without bound as n increases.","supporting_citations":[],"review_version":1}