{"id":"d3227ba5-27e6-4b7d-b306-2fa06156b4d3","arxiv_id":"2607.08277","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Lifted rough maximal operators satisfy optimal weak-type estimates precisely when γ ∈ ℝ\\{0} (p>1) or γ ∈ (-∞,-n)∪(0,∞) (p=1, Ω∈ L(log L)), with applications to Poisson integrals and H^{1}.","lead":"The paper proves sharp weak-type bounds for a new family of lifted rough maximal operators on the upper half-space. These bounds resolve an open question of Sjögren–Soria on generalized Poisson integrals and yield a new Hardy-space characterization via truncated rough singular integrals.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly isolates the L(log L) hypothesis as the sole non-classical assumption and notes that it is indispensable for Lemma 2.3. That hypothesis is standard (Christ–Rubio de Francia) and is used only where the classical theory already demands it; the necessity constructions cover precisely the complementary range of γ. The applications (Sjögren–Soria question, lifted M^*_Ω, H^1 characterization) follow by direct comparison or Cotlar-type inequalities that inherit the same range. No estimate gap that would shrink the stated range of γ is visible, so the ACCEPT verdict stands.","tokens_in":34797,"tokens_out":556,"duration_ms":6292,"concrete_test":"Verify the entropy sum that appears after (3.7) in the proof of Theorem 3.1: with c_k = ∫_{E_k} R(λ)^{n+γ} dλ and x_k = ∫_{E_k} R(λ)^n dλ, confirm that ∑ c_k log(1/c_k) remains finite for every γ>0 under the sole assumption ∫_0^∞ R(λ)^n dλ < ∞; if the sum diverges for some admissible φ the application to generalized Poisson integrals would require an extra logarithmic hypothesis, contradicting the claim that none is needed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim of Theorem 1.1 is internally consistent and fully supported by the written arguments. Sufficiency for p>1 follows from the classical strong-type bound of M_Ω (Theorem A) plus a change of variables; the endpoint p=1 uses a transparent dyadic decomposition into bad cubes (Lemmas 2.1–2.2) together with a height decomposition of Ω that produces the level-set control of Lemma 2.3, which is the only place L(log L) is required. Necessity is obtained by explicit counter-examples (Theorem 2.6) that exploit lower bounds on the kernel averages (Lemmas 2.7–2.9). The same L(log L) hypothesis is classical for the unlifted operator and is therefore not an artificial restriction. No hidden circularity, free parameters, or range gaps appear.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper introduces the family of lifted rough maximal operators M_\theta^\theta in the upper half-space and proves optimal weak-type estimates for them. For p ∈ (1, ∞) and Ω ∈ L^{1}(S^{n-1}) nontrivial, the estimate (1.3) holds for all f ∈ L^p if and only if γ \neq 0. For the endpoint p = 1 and Ω ∈ L(log L), the estimate (1.4) holds if and only if γ ∈ (-∞, -n) ∪ (0, ∞). The proofs rely on dyadic decompositions into (D, f)-bad cubes (Lemmas 2.1–2.2), a height decomposition of Ω, and a key level-set estimate for the resulting dyadic functionals (Lemma 2.3). Necessity is established by explicit counter-examples (Theorem 2.6) that use lower bounds on kernel averages (Lemmas 2.7–2.9). Applications include weak-type bounds for generalized Poisson integrals without logarithmic assumptions on the radial profile (Theorem 3.1, answering Sjögren–Soria), weak-type (1,1) bounds for the lifted rotation operator M*_Ω (Theorem 3.4), and a Cotlar-type inequality that yields a weak-type characterization of truncated rough singular integrals and a new H^{1} characterization (Theorem 3.8, Corollary 3.9).","tokens_in":35019,"tokens_out":1004,"duration_ms":8562,"significance":"The work extends the isotropic lifting theory of Dai–Li–Yang–Yuan–Zhao to rough kernels and obtains the sharp range of the weight parameter γ. The answer to the Sjögren–Soria question (no logarithmic integrability needed for α < 0) is a concrete advance, and the observation that the lifted rotation operator is weak-type (1,1) while the unlifted one is not is striking. The new H^{1} characterization via truncated rough singular integrals under an L(log L)-Dini condition is a natural and useful addition to the real-variable theory of Hardy spaces. The arguments are self-contained analytic proofs that rest only on classical facts (Calderón–Zygmund rotation, Seeger’s weak-type bound, Aoki–Rolewicz) and on the authors’ earlier isotropic paper; there are no free parameters or circular steps.","major_comments":[],"minor_comments":[{"comment":"In the abstract and Theorem 1.1 the family is indexed by \theta ∈ (0, ∞), while the body works with \theta ∈ (0,1) and reduces to M^Ω via the change of variables t \to \theta t. A one-sentence clarification that the two formulations are equivalent would avoid a momentary mismatch for the reader.","section":null},{"comment":"Lemma 2.3(i) states that the implicit constant depends only on n, yet the subsequent applications (e.g., Theorem 2.5) also track dependence on γ. It would be cleaner to record the γ-dependence explicitly in the statement of the lemma.","section":null},{"comment":"In the proof of Theorem 3.1 the entropy sum is bounded by a convergent series involving (k+1)2^{-kγ} x_k; a brief remark that the same argument works for any γ > 0 (not merely γ ∈ (0,1)) would make the range transparent.","section":null},{"comment":"Several places use the abbreviation “L” for L(log L)(S^{n-1}) after page 25; introducing the abbreviation once in a displayed line would improve readability.","section":null},{"comment":"Typographical: “Su fficiency” and “di fferent” appear with a space before the ligature throughout; these are harmless but easily cleaned.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is a solid, carefully written contribution that sits comfortably in the scope of a first-rate analysis journal. The L(log L) hypothesis is classical and unavoidable for the endpoint theory; no hidden novelty or citation issues were detected. I see no reason to request a major revision."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper does exactly what the abstract claims. The authors introduce the lifted rough maximal operators M_\theta^Ω and prove the optimal weak-type range for γ: for p>1 the estimate holds precisely when γ\neq0; for p=1 and Ω in L(log L) it holds precisely when γ\notin[-n,0]. That is new; the isotropic case was already treated by Dai–Li–Yang–Yuan–Zhao, but the rough kernel forces an essentially different argument (bad-cube decompositions + height decomposition of Ω) that cannot be read off from the isotropic paper.\n\nThe payoff is clean. By a change of variables the same estimate answers the 1996 Sjögren–Soria question on generalized Poisson integrals without any logarithmic assumption on the radial profile, and it extends the result to higher dimensions. They also show that the lifted rotation operator M*_Ω is weak (1,1) even though the unlifted version is not, and they obtain a Cotlar-type inequality that yields a new H^{1} characterization via truncated rough singular integrals under a mild L(log L)-Dini condition. All of this is classical real-variable technique, fully spelled out, with matching necessity counter-examples.\n\nThe only real restriction is the classical L(log L) hypothesis at the endpoint; without it the key level-set estimate fails, but that is the same barrier that already appears for the unlifted operator, so it is not an artificial limitation. No free parameters, no circularity, and the citation pattern is appropriate.\n\nThis is for people who work on rough singular integrals, maximal functions, or real-variable Hardy spaces. It is not a paradigm shift, but it is a clean, usable advance that a serious referee should see. I would send it out.","headline":"Solid, self-contained resolution of the Sjögren–Soria question via a new lifted rough maximal operator; the range of γ is sharp and the proofs are fully written out.","tokens_in":35617,"tokens_out":483,"would_cite":true,"duration_ms":5996,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["42B25","42B20","42B30"],"pacs":[],"model":"grok-4.5","headline":"Lifted rough maximal operators have optimal weak-type bounds precisely when the height exponent avoids a critical range, and the bounds answer a 1996 question on Poisson integrals.","keywords":["lifted rough maximal operators","weak-type estimates","generalized Poisson integrals","method of rotations","Hardy spaces","truncated rough singular integrals","L(log L) kernels"],"falsifier":"Construct a single nonnegative function in L^1 whose angular kernel is merely integrable (not L(log L)) and check whether the weak-type integral for the lifted operator remains finite for some height exponent inside (-n,0); divergence would falsify the necessity of the Orlicz condition.","tokens_in":35697,"feed_emoji":"📐","tokens_out":707,"duration_ms":6853,"temperature":0.7,"pith_summary":"The paper introduces a family of lifted rough maximal operators that live in the upper half-space and act at a controlled height scale. It proves that these operators satisfy a sharp weak-type estimate with respect to a weighted measure on the half-space if and only if the weight exponent lies outside a short exceptional interval. For p greater than 1 the exceptional set is just the origin; for the endpoint p equals 1 the Orlicz condition on the angular kernel is needed and the exceptional set grows to a closed interval of length n. The estimates recover classical strong bounds when the lift is removed, yet they are fine enough to control generalized Poisson integrals without any logarithmic integrability on the radial profile, settling an open question of Sjögren and Soria. The same machinery shows that the lifted version of the rotation-method maximal operator is weak type (1,1) even though its unlifted counterpart is not, and yields a new characterization of the Hardy space H^1 by truncated rough singular integrals.","feed_headline":"Lifted rough maximal operators gain sharp weak bounds","feed_subtitle":"The bounds settle a 1996 question on Poisson integrals and give a new H^{1} characterization","key_machinery":"A dyadic decomposition of nonnegative L^1 functions into “bad cubes” (maximal or minimal according to the sign of the height exponent) together with a height decomposition of the rough kernel; the resulting level-set estimates for the discretized dyadic functionals are controlled by a sparse-type covering argument that replaces the isotropic geometric covering used for the unrough case.","core_discovery":"For a nontrivial integrable angular kernel, the family of lifted rough maximal operators satisfies the weak-type bound (1.3) for every L^p function (p>1) if and only if the height exponent is nonzero; under the stronger L(log L) condition the endpoint bound (1.4) holds if and only if the exponent lies in (-∞,-n)∪(0,∞). The constants are independent of both the function and the scale parameter.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Lifted rough maximal operators get optimal weak-type bounds","Sharp weak estimates for lifted rough max operators settle 1996 query","Lifted rough maximal ops obey weak bounds iff height exponent nonzero","Optimal weak-type for lifted rough max ops and new H1 characterization","Lifted variants of rough max operators restore weak-(1,1) bounds"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"The endpoint theory for p=1 requires the angular kernel to lie in the Orlicz space L(log L); without that extra integrability the key level-set estimate fails.","fun_headline_variants_meta":{"raw":{"variants":["Lifted rough maximal operators get optimal weak-type bounds","Sharp weak estimates for lifted rough max operators settle 1996 query","Lifted rough maximal ops obey weak bounds iff height exponent nonzero","Optimal weak-type for lifted rough max ops and new H1 characterization","Lifted variants of rough max operators restore weak-(1,1) bounds"]},"model":"grok-4.5","effort":"low","cost_usd":0.00571,"raw_usage":{"total_tokens":1653,"prompt_tokens":956,"num_sources_used":0,"completion_tokens":93,"cost_in_usd_ticks":57100000,"prompt_tokens_details":{"text_tokens":956,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":604,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":956,"tokens_out":93,"duration_ms":5591,"temperature":1.0,"reasoning_tokens":604,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-10T10:10:52.771632+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Construct a single nonnegative function in L^1 whose angular kernel is merely integrable (not L(log L)) and check whether the weak-type integral for the lifted operator remains finite for some height exponent inside (-n,0); divergence would falsify the necessity of the Orlicz condition.","supporting_citations":[],"review_version":1}