{"id":"c908eb44-a14b-4b7e-b660-17bb8c8a6e57","arxiv_id":"2412.09882","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For radial functions, the paper determines the full Lp-improving region for spherical maximal operators over fractal dilation sets in dimensions d≥3, and for quasi-Assouad regular sets in d=2.","lead":"This paper finds exact exponent ranges for the spherical maximal operator acting on radial functions, when the allowed sphere radii form a fractal subset of [1,2]. Results differ sharply between dimensions three and higher, where only the Minkowski dimension matters, and dimension two, where the Assouad spectrum also plays a role.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the high-dimensional radial characterization is internally coherent; the cited reduction lemma is from published work and appears correctly applied, with remaining issues being presentation-level.","rationale":"The reader's weakest_assumption points to the quoted pointwise inequality (2.1), and I agree that it is load-bearing. However, it is properly attributed to [17, Lemma 3.1], and the paper uses it in exactly the regime for which it was proved, with only the localization E⊂[1,2] added. The high-dimensional positive proofs then proceed by standard dyadic decomposition, Young's inequality for sequences, and interpolation; the necessary conditions in Sections 4.2-4.4 match the claimed boundaries. I specifically checked the delicate union over β+ε in Corollary 2.9: for β' > β, the triangles Δ(β') lie inside Δ(β), and their union misses the edge [Q1(β),Q2(β)] but covers the open triangle, so the stated inclusion is safe. For β=1, the theorem's part (iii) is the only place where the logarithmic characteristic enters; this is consistent with the counterexamples in Proposition 4.1, and the type set is then described by combining (iii) with the universal lower bound from Theorem 1.1. In two dimensions, the mathematical arguments are more intricate, but the theorem statements are conditional in the expected way: full sharpness in the case 2γ<β+1 requires the additional characteristic assumptions of Theorem 1.8, while Theorem 1.4 only claims inclusions without those assumptions. Thus the abstract overstates the unconditional scope of the two-dimensional sharpness, and the acknowledgment indicates potential overlap with concurrent work [6], but these are not correctness failures of the central high-dimensional claim. No load-bearing mathematical concern was identified.","tokens_in":24957,"tokens_out":51668,"duration_ms":522133,"concrete_test":"Independently re-derive (2.1) from (1.14)-(1.15) for E⊂[1,2], d≥3, specifically verifying that the constants are uniform for p=p0=1+β/(d-1) and p=p1=1+p0/d in the critical case r∼t; if the reduction fails at these exponents, the high-dimensional triangle result in Theorem 1.2 would not follow.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I checked the main line of the proof of Theorem 1.2. Proposition 2.8 establishes the two endpoints Q1(β) and Q2(β) under the Minkowski-characteristic assumption, Corollary 2.9 gives the triangle-minus-segment by replacing β with β+ε, and Proposition 4.1 supplies matching necessity when the characteristic is unbounded. The pointwise reduction (2.1) quoted from [17, Lemma 3.1] is load-bearing, but it is a published lemma and the paper's usage for E⊂[1,2], d≥3, and p=p0(β), p1(β) is consistent with the derivation sketched from (1.14)-(1.15). I did not find an internal inconsistency in the endpoint β=1 statement: Theorem 1.2(iii), together with the standard bound T_E^rad⊂Δ(1) and the lower bound Δ(1)∖[Q1(1),Q2(1)] from M_E≤M_[1,2], yields the stated characterization. The genuine weaknesses are presentation-level: the abstract's unconditional phrase 'sharp results' for quasi-Assouad regular sets in two dimensions is stronger than Theorem 1.4/1.5 in the case 2γ<β+1, where full sharpness requires the additional characteristic assumptions of Theorem 1.8; and the acknowledgment concedes that [6] may subsume the high-dimensional results. These affect novelty and framing, not the correctness of the stated theorems.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies Lp-improving bounds for the spherical maximal operator M_E over a dilation set E⊂[1,2], restricted to radial functions. In dimensions d≥3, Theorem 1.2 characterizes the radial type set completely in terms of the upper Minkowski dimension β of E: if the β-Minkowski characteristic is bounded, the type set is the full triangle ∆(β), and if not, it is ∆(β) minus the closed vertical segment [Q1(β),Q2(β)]; for β=1, an endpoint characterization on the segment involves a logarithmic Minkowski characteristic. In dimension d=2, the paper shows that the radial type set depends on further fractal information: Theorems 1.4, 1.5, and 1.8 provide lower bounds, necessary conditions, and endpoint estimates in terms of the quasi-Assouad and Assouad dimensions. The proofs use the pointwise reduction of spherical means on radial functions to one-dimensional maximal averages, dyadic decompositions, interpolation arguments, and independent counterexamples for the necessary conditions.","tokens_in":25176,"tokens_out":12606,"duration_ms":124991,"significance":"Theorem 1.2 gives a clean and apparently complete description of radial Lp-improving bounds for higher-dimensional restricted dilation sets, depending only on the upper Minkowski dimension; this is a substantial complement to the general-function theory of Anderson–Hughes–Roos–Seeger and Roos–Seeger. The two-dimensional results are also interesting because they reveal that Assouad-type dimensions enter the radial problem in a way that they do not in higher dimensions, and the quadrilateral region Q(β,γ) provides a genuinely new shape for the radial type set. The proofs are detailed, the necessary conditions come from explicit counterexamples rather than from the positive estimates, and the load-bearing reduction from [17, Lemma 3.1] appears to be applied correctly. The main caveats are that the abstract overstates the two-dimensional sharpness for arbitrary quasi-Assouad regular sets, and the acknowledgment indicates that the overlapping preprint [6] may subsume parts of the results; these affect framing and novelty rather than the correctness of the stated theorems.","major_comments":[{"comment":"The abstract claims that sharp results are obtained in two dimensions for quasi-Assouad regular sets, but this is not established for all such sets. When 2γ≥β+1, Theorem 1.5 supplies the upper bound T^rad_E⊂Q(β,γ) and Theorem 1.4(ii) supplies the matching lower bound, so equality follows. When 2γ<β+1, however, only the inclusions of Theorem 1.4(i) and the necessary conditions of Theorem 1.5 are proved; full sharpness on the boundary requires the additional characteristic assumptions of Theorem 1.8. The abstract and Remark 1.6 should be qualified to state precisely in which cases the two-dimensional characterization is complete.","section":"Abstract and Theorems 1.4, 1.5, 1.8"}],"minor_comments":[{"comment":"The first sentence of the proof says 'Since R2 is bounded on L∞(µ_d)' but the lemma concerns R1 alone; it should read 'Since R1 is bounded on L∞(µ_d)'.","section":"Lemma 2.2, proof"},{"comment":"In the displayed inclusion after (3.16), '(O.Q2(2γ∗−1))' contains a period instead of a comma and should be '(O, Q2(2γ∗−1))'.","section":"Corollary 3.12"},{"comment":"The acknowledgment states that Beltran–Roos–Seeger [6] has obtained similar high-dimensional results and a complete two-dimensional characterization; the introduction should explicitly explain which theorems in the present paper are new relative to [6] and what differences remain, so that the reader can assess the incremental contribution.","section":"Acknowledgments and References"},{"comment":"There are several minor typographical issues, such as 'OPERA TORS' in the title and inconsistent formatting of 'Lp−' instead of 'Lp-'; these do not affect the mathematics but should be corrected in the final version.","section":"Abstract and Introduction"}],"recommendation":"minor_revision","confidential_remarks":"The mathematical content appears sound: I did not find a load-bearing technical error, and the main line of proof is coherent and consistent with the published reduction lemma it relies on. The substantive concern is novelty: the acknowledgment concedes that [6] has obtained similar high-dimensional results and a complete characterization in two dimensions. If that preprint indeed contains all the results of this paper, the incremental contribution would be limited. The editor should verify the overlap with [6] and decide whether the present paper's independent proofs and exposition still warrant publication. The abstract overclaim about sharpness in all quasi-Assouad regular two-dimensional cases is fixable by rewording."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Main thing you should know: the paper is mathematically honest and the proofs look sound, but the author openly states in the acknowledgments that Beltran–Roos–Seeger [6] have obtained similar high-dimensional results and a complete two-dimensional characterization for all E. That is the single most important fact about this submission. If [6] is as complete as stated, the main results here are not new. The paper is still a serious, detailed treatment, but it is a marginal contribution unless the overlap is resolved in the author's favor.\n\nWhat is genuinely useful: Theorem 1.2 gives the full radial type set in d≥3, depending only on dim_M E, and the 2D results (Theorems 1.4, 1.5, 1.8) identify the role of the Assouad spectrum and give endpoint restricted weak type results under characteristic hypotheses. I followed the chain of Proposition 2.8, Corollary 2.9, and Proposition 4.1 for Theorem 1.2; the reduction (2.1) is quoted from a published lemma and is used correctly. The necessary conditions in Section 4 are real counterexamples, not fitted definitions. That is solid work.\n\nSoft spots, in order of seriousness. (1) The abstract says 'sharp results are obtained for quasi-Assouad regular sets' in 2D. That is broader than the theorems. In the case 2γ<β+1, the full triangle ∆(β) is obtained only under the extra characteristic assumptions sup χ_{M,β}<∞ and sup χ_{A,γ}<∞ (Theorem 1.8); Theorem 1.4 alone gives only the interior/ray inclusion. The equality T_E^rad=Q(β,γ) for quasi-Assouad regular sets is established only when 2γ≥β+1. So the sharpness claim should be conditioned. (2) The acknowledgment to [6] is honest but damaging for novelty; it should be moved into the introduction and the paper repositioned, otherwise a referee will have to adjudicate priority. (3) Minor typo: in the proof of Lemma 2.2, 'Since R2 is bounded...' should read 'R1'. (4) Several estimates, e.g. (3.11) and (3.12), are quoted from [17] with little detail; acceptable for experts but it slows verification.\n\nBottom line: I would not desk-reject this without a referee, because the proofs are detailed and the subject is active. But I would send it out with instructions to check overlap with [6], and I would not accept it as is. If [6] really covers the same ground, the incremental content is too small for a standalone research paper; if the author can carve out a genuinely new 2D endpoint or characteristic-dependent contribution, it could become publishable.","headline":"Detailed and internally coherent radial Lp-improving results whose novelty is substantially conceded in the paper's own acknowledgments; the 2D 'sharpness' claim is also broader than the theorems.","tokens_in":25760,"tokens_out":4755,"would_cite":false,"duration_ms":48383,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["42B25","28A80"],"pacs":[],"model":"deepseek-v4-flash","headline":"For radial functions, the sharp Lp-improving region of the spherical maximal operator over a restricted dilation set is a triangle fixed by the upper Minkowski dimension in dimensions $d\\ge 3$.","keywords":["Lp-improving bounds","spherical maximal operators","radial functions","restricted dilation sets","Minkowski dimension","quasi-Assouad dimension","Assouad spectrum","Lorentz spaces"],"falsifier":"Take $d\\ge3$ and a concrete set where (1.10) fails, such as $E=\\{1+2^{-n}:n\\ge1\\}$, which has $\\beta=0$ and $\\sup_\\delta N(E,\\delta)=\\infty$. Theorem 1.2(ii) predicts strong-type bounds exactly on $\\Delta(0)\\setminus[Q_1(0),Q_2(0)]$; checking the annulus counterexample from Section 4.3 at points inside that triangle and on the missing side would decide whether the predicted boundary is correct. If any point outside the missing side also fails, or a point on the missing side succeeds, the dichotomy in Theorem 1.2 is false.","tokens_in":24674,"feed_emoji":"🔺","tokens_out":10942,"duration_ms":102387,"temperature":0.7,"pith_summary":"This paper asks how much the range of $L^p\\to L^q$ bounds for the localized spherical maximal operator $M_E$ improves when the function is radial, with $E\\subset[1,2]$ a possibly fractal set of dilation radii. The main answer is a complete characterization in dimensions $d\\ge 3$: the radial type set is always the triangle $\\Delta(\\beta)$ determined by the upper Minkowski dimension $\\beta=\\dim_M E$, with one side $[Q_1(\\beta),Q_2(\\beta)]$ removed exactly when the normalized covering count $\\sup_{\\delta} \\delta^{\\beta}N(E,\\delta)$ is infinite. In two dimensions the paper proves that the region is generally a quadrilateral $Q(\\beta,\\gamma)$ controlled also by the quasi-Assouad dimension, and for quasi-Assouad regular sets with $2\\gamma\\ge\\beta+1$ this quadrilateral is sharp. The significance is that radial symmetry removes the non-radial Knapp-type obstructions, so the radial type set is strictly larger than the general-function type set and has a different geometric shape.","feed_headline":"One fractal dimension sets radial spherical-maximal bounds in d≥3","feed_subtitle":"For radial functions, the sharp type set is a triangle fixed by upper Minkowski dimension — with one side that can vanish","key_machinery":"The load-bearing object is the one-dimensional reduction of the spherical average on radial functions: $A_t f(x)=c_d\\int_{|r-t|}^{r+t}K_t(r,s)f_0(s)\\,ds$ with $r=|x|$, and in $d\\ge3$ a pointwise inequality bounds $M_E f$ by a one-dimensional maximal operator $M_{E,p}$ together with two simpler remainder operators $R_1,R_2$. The proof then reduces the problem to weighted $L^p$ estimates for these one-dimensional operators, with geometry entering through the Minkowski characteristic $\\chi^E_{M,\\beta}(\\delta)=\\delta^\\beta N(E,\\delta)$ and the distance-to-$E$ layers $D_n=\\{r:2^{-n}<\\mathrm{dist}(r,E)\\le2^{-n+1}\\}$. In two dimensions the kernel has square-root singularities, so the decomposition is finer, involving operators $M_{E,p}$, $\\widetilde M_{E,p}$, and $R_{1,E},\\dots,R_{4,E}$, and local covering numbers $N(E\\cap I,\\delta)$ bring in the Assouad spectrum; Bourgain's interpolation lemma converts the resulting restricted weak-type endpoints into strong-type conclusions.","core_discovery":"The central claim is that for radial functions the sharp $L^p$-improving region of $M_E$ can be read off from the covering numbers $N(E,\\delta)$ alone in dimensions $d\\ge3$: with $\\beta=\\dim_M E$, one has $T_E^{\\mathrm{rad}}=\\Delta(\\beta)$ when $\\beta<1$ and $\\sup_{0<\\delta<1}\\delta^\\beta N(E,\\delta)<\\infty$, and $T_E^{\\mathrm{rad}}=\\Delta(\\beta)\\setminus[Q_1(\\beta),Q_2(\\beta)]$ otherwise; for $\\beta=1$, the endpoint question is settled by the logarithmic condition $\\sup (\\log(1/\\delta))^{q/d}\\delta N(E,\\delta)<\\infty$. In two dimensions, the same radial problem is governed by local covering numbers $N(E\\cap I,\\delta)$, so the (quasi-)Assouad dimension enters: for quasi-Assouad regular sets with $2\\gamma\\ge\\beta+1$ the sharp region is the quadrilateral $Q(\\beta,\\gamma)$, which degenerates to $\\Delta(\\beta)$ when $2\\gamma<\\beta+1$.","pith_inferences":["Editorial inference: Theorem 1.2 makes a sharp dichotomy prediction that can be stress-tested on sets with slowly divergent covering counts, such as $E=\\{1+2^{-n}\\}$; such examples should lose exactly the side $[Q_1(0),Q_2(0)]$, not a larger set.","Editorial inference: The contrast between dimensions suggests that in $d=2$ any complete description of $T_E^{\\mathrm{rad}}$ for all $E$ must use a scale-local dimension such as the Assouad spectrum, while in $d\\ge3$ the global Minkowski dimension suffices because the kernel lacks the singularities that make local accumulations of $E$ visible.","Editorial inference: The same reduction to one-dimensional weighted averages should yield radial $L^p$-improving bounds for spherical maximal operators over other curves or over higher-codimension sets, where no non-radial Knapp obstruction is present; this would be a testable extension beyond the paper's statements."],"forward_implications":["For $E=[1,2]$ in all dimensions $d\\ge2$, radial functions satisfy strong-type estimates exactly on $\\Delta(1)\\setminus[Q_1(1),Q_2(1)]$, a strictly larger region than the general-function type set $P(1,1)$.","For $d\\ge3$, two dilation sets with the same upper Minkowski dimension have identical radial type sets; no Assouad-type information is needed.","If $\\sup_\\delta \\delta^\\beta N(E,\\delta)$ is finite, every point of the triangle $\\Delta(\\beta)$ is bounded; if it is infinite, the entire closed side $[Q_1(\\beta),Q_2(\\beta)]$ fails simultaneously.","In $d=2$, for a quasi-Assouad regular set with $2\\gamma\\ge\\beta+1$, the sharp radial region is the quadrilateral $Q(\\beta,\\gamma)$; finite unions of such sets yield the intersection of the corresponding quadrilaterals.","At the endpoint $\\beta=1$, the radial $L^{d/(d-1)}\\to L^q$ boundedness for $d/(d-1)\\le q\\le d^2/(d-1)$ is equivalent to $\\sup_\\delta (\\log(1/\\delta))^{q/d}\\delta N(E,\\delta)<\\infty$."],"supporting_citations":[{"why":"Supplies the pointwise inequality (Lemma 3.1) reducing radial spherical maximal operators to one-dimensional operators, and the two-dimensional decomposition (Lemma 5.1) used throughout.","marker":"[17]"},{"why":"Establishes the general-function type set P(β,γ) and the restricted weak-type endpoints that the radial results are compared against and interpolate from.","marker":"[1]"},{"why":"Gives the sharp type set T_E=P(β,γ) for quasi-Assouad regular sets and introduces the Assouad spectrum notation used in the two-dimensional statements.","marker":"[12]"},{"why":"Provides the Lp-improving bounds for the circular maximal operator on [1,2] and the Knapp counterexample that forces the non-radial necessary conditions.","marker":"[13]"},{"why":"Supplies the necessary condition T_{[1,2]}⊂P(1,1)\\setminus[P1(1),P2(1)] in higher dimensions, the background for the radial improvement.","marker":"[14]"},{"why":"Gives the radial endpoint restricted weak-type bound for M_{(0,∞)} and the radial reduction formula that underlies the one-dimensional approach.","marker":"[9]"},{"why":"Provides the pointwise estimate for characteristic functions of radial sets used in the two-dimensional Proposition 3.3.","marker":"[11]"},{"why":"The Stein counterexample with radial data that excludes the segment [Q1(β),Q2(β)] in the necessary-direction arguments.","marker":"[18]"},{"why":"Bourgain's interpolation trick converts restricted weak-type estimates for dyadically decomposed operators into strong-type conclusions.","marker":"[3]"},{"why":"Provides the abstract version of Bourgain's interpolation argument used to obtain the endpoint restricted weak-type results in Proposition 3.10.","marker":"[5]"}],"fun_headline_variants":["Radial spherical maximal: Minkowski dimension fixes d≥3","Radial Lp bounds: Minkowski dim suffices in d≥3","2D Assouad, d≥3 Minkowski for radial spherical max","Sharp radial spherical maximal: one fractal dimension in d≥3"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the quoted pointwise inequality (2.1) from [17, Lemma 3.1] that reduces the $d$-dimensional radial spherical maximal operator to one-dimensional integral operators; if that reduction fails for some dilation set $E$ or dimension $d$, the triangle bounds for $d\\ge3$ are not established.","fun_headline_variants_meta":{"raw":{"variants":["Radial spherical maximal: Minkowski dimension fixes d≥3","Radial Lp bounds: Minkowski dim suffices in d≥3","2D Assouad, d≥3 Minkowski for radial spherical max","Sharp radial spherical maximal: one fractal dimension in d≥3"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000266,"raw_usage":{"total_tokens":1592,"prompt_tokens":909,"completion_tokens":683,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":525,"completion_tokens_details":{"reasoning_tokens":603}},"tokens_in":525,"tokens_out":683,"duration_ms":6508,"temperature":1.0,"reasoning_tokens":603,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T16:37:01.786314+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $d\\ge3$ and a concrete set where (1.10) fails, such as $E=\\{1+2^{-n}:n\\ge1\\}$, which has $\\beta=0$ and $\\sup_\\delta N(E,\\delta)=\\infty$. Theorem 1.2(ii) predicts strong-type bounds exactly on $\\Delta(0)\\setminus[Q_1(0),Q_2(0)]$; checking the annulus counterexample from Section 4.3 at points inside that triangle and on the missing side would decide whether the predicted boundary is correct. If any point outside the missing side also fails, or a point on the missing side succeeds, the dichotomy in Theorem 1.2 is false.","supporting_citations":[{"cited_title":"Sph erical maximal operators on radial functions","cited_arxiv_id":null,"evidence_quote":"Supplies the pointwise inequality (Lemma 3.1) reducing radial spherical maximal operators to one-dimensional operators, and the two-dimensional decomposition (Lemma 5.1) used throughout."},{"cited_title":"Anderson, Kevin","cited_arxiv_id":null,"evidence_quote":"Establishes the general-function type set P(β,γ) and the restricted weak-type endpoints that the radial results are compared against and interpolate from."},{"cited_title":"Spherical maximal funct ions and fractal dimensions of dilation sets","cited_arxiv_id":null,"evidence_quote":"Gives the sharp type set T_E=P(β,γ) for quasi-Assouad regular sets and introduces the Assouad spectrum notation used in the two-dimensional statements."},{"cited_title":"A generalization of Bourgain’s circul ar maximal theorem","cited_arxiv_id":null,"evidence_quote":"Provides the Lp-improving bounds for the circular maximal operator on [1,2] and the Knapp counterexample that forces the non-radial necessary conditions."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the necessary condition T_{[1,2]}⊂P(1,1)\\setminus[P1(1),P2(1)] in higher dimensions, the background for the radial improvement."},{"cited_title":"A note on the spherical maximal operator f or radial functions","cited_arxiv_id":null,"evidence_quote":"Gives the radial endpoint restricted weak-type bound for M_{(0,∞)} and the radial reduction formula that underlies the one-dimensional approach."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the pointwise estimate for characteristic functions of radial sets used in the two-dimensional Proposition 3.3."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The Stein counterexample with radial data that excludes the segment [Q1(β),Q2(β)] in the necessary-direction arguments."},{"cited_title":"Estimations de certaines fonctions maxi males","cited_arxiv_id":null,"evidence_quote":"Bourgain's interpolation trick converts restricted weak-type estimates for dyadically decomposed operators into strong-type conclusions."},{"cited_title":"Classes of singular integral operators along variable lines","cited_arxiv_id":null,"evidence_quote":"Provides the abstract version of Bourgain's interpolation argument used to obtain the endpoint restricted weak-type results in Proposition 3.10."}],"review_version":1}