{"id":"22bd7ec7-edf8-4cfe-adc2-e3fa9a41ad33","arxiv_id":"2608.17918","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new family of weight classes characterizes boundedness of fractional maximal operators on multiplier-weighted Lorentz spaces, with applications to commutators, critical Hardy inequalities, and fractional Schrödinger equations.","lead":"This paper introduces new 'Lorentz-Muckenhoupt' weight classes and uses them to decide when fractional maximal operators are bounded on weighted Lorentz spaces. The results yield a partial answer to an open commutator question and new Hardy and Schrödinger estimates with singular potentials.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Sufficiency for (1.2) hinges on Lemma 4.8, imported from an unreviewed preprint; if [51, Lemmas 2.3–2.4] do not yield the reverse-measure bound for A^{[∞]}_{p,q}, Theorem 4.9 and the main characterization fail.","rationale":"The reader's weakest_assumption is exactly the external Lemma 4.8. I re-read Theorem 4.9 and the surrounding lemmas. The necessity direction is supported by Corollary 3.3 and Theorem 3.2 and is not the problem. The sufficiency proof is a standard sparse argument whose only genuinely outsourced step is Lemma 4.8. If that lemma holds, the chain in Theorem 4.9 closes: Lemma 4.8 gives dyadic doubling for sigma, the dyadic fractional maximal inequality gives the final L^p(sigma) to L^q(sigma) bound, and (4.4) follows. If it fails, (1.2) for s>q, the advertised extension beyond A_{p,q}, has no proof. I found no internal inconsistency in the other sections; the commutator, Hardy, and Schrödinger applications are downstream of the same maximal operator result, so their correctness rests on the same lemma. The correct action is to keep the CONDITIONAL verdict and ask the authors either to prove Lemma 4.8 directly or to replace the preprint citation with a peer-reviewed source; no verdict change is needed.","tokens_in":21655,"tokens_out":23232,"duration_ms":211023,"concrete_test":"Obtain [51] (arXiv:2410.04031) and verify that Lemmas 2.3 and 2.4 apply verbatim to the class A^{[∞]}_{p,q}=A_{(p,p),(q,∞)} for 0<=α<d, and that they yield the quantitative statement sigma(Q) <= C(d,p,q)[w]_{A^{[∞]}_{p,q}}^{p'} sigma(E) whenever |E| >= c_d|Q|. Independently, attempt a direct derivation of Lemma 4.8 from Definition 3.4 via the distribution function of w; if such a derivation requires a reverse Hölder inequality for w, which is available only for A_{p,q} and not for A^{[∞]}_{p,q}, then Theorem 4.9's sufficiency for s>q is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (1.2) is the iff statement in Theorem 4.9. Its necessity can be recovered from Corollary 3.3 and Theorem 3.2, so it is not the weak point. The sufficiency proof is a sparse domination argument whose only non-routine input is Lemma 4.8: for w in A^{[s]}_{p,q} and sigma=w^{-p'}, the inequality (|E|/|Q|)^{2p'} <= C sigma(E)/sigma(Q), together with the quantitative version sigma(Q) <= C[w]^{p'} sigma(E) whenever |E| >= c_d|Q|. This lemma is what converts sparse sums over sigma(Q) into sums over sigma(E_Q); without it the displayed chain in Theorem 4.9 stops at sigma(Q) and the claimed [w]^{q+p'} bound cannot be closed. The proof of Lemma 4.8 is a single sentence: 'Both follow from [51, Lemmas 2.3 and 2.4]', where [51] is an arXiv preprint. The rest of the sparse argument (Lemma 4.7, the dyadic fractional maximal inequality for M_{alpha,sigma}) is standard once Lemma 4.8 grants dyadic doubling, so the entire burden of the sufficiency direction falls on an unverified external citation. If the reverse-measure conclusion requires a stronger class than A^{[∞]}_{p,q}—for example the full A_{p,q} with its reverse Hölder property—then the promised extension to s>q and to critical powers such as |x|^{-d/q} is unsupported.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces Lorentz–Muckenhoupt classes A(p,r),(q,s) defined by normalized Lorentz norms over cubes, studies their structural properties, and characterizes the boundedness of the fractional maximal operator M_alpha on multiplier-weighted Lorentz spaces L^{p,r}_w. The central characterization is (1.2): for 1<p<=q<infinity, 1/p-1/q=alpha/d and q<=s<=infinity, M_alpha : L^{p,p}_w -> L^{q,s}_w is bounded if and only if w in A(p,p),(q,s)=:A^{[s]}_{p,q}. The paper also supplies counterexamples outside this range, quantitative estimates for the operator norm, and applications to commutators of fractional integrals, critical Hardy inequalities, and fractional Schroedinger equations. The structural sections are largely self-contained, but the sufficiency direction of the main maximal theorem relies on a single lemma imported from an unreferenced preprint.","tokens_in":21969,"tokens_out":16544,"duration_ms":147771,"significance":"If Theorem 4.9 is fully justified, the paper gives a genuine extension of Muckenhoupt theory to multiplier weights in Lorentz spaces, including critical power weights such as |x|^{-d/q} that lie outside classical A_{p,q}. The applications are nontrivial and the paper is honest about the ranges it does not settle, with explicit counterexamples and open problems. The necessity arguments via the local averaging operator are standard and appear correct, and the structural results (Theorems 3.2, 3.10, 3.13) are proved in reasonable detail. The decisive issue is that the sufficiency proof of the main characterization is conditional on Lemma 4.8, whose proof is delegated to the unpublished preprint [51].","major_comments":[{"comment":"Lemma 4.8 is load-bearing for the main result, but its proof is a single sentence: 'Both follow from [51, Lemmas 2.3 and 2.4]', where [51] is an arXiv preprint. This lemma is the only step in the sufficiency proof of Theorem 4.9 that converts the sparse sum over sigma(Q) into a sum over sigma(E_Q); without it the displayed chain in Theorem 4.9 stops at sigma(Q) and the claimed [w]^{q+p'} bound cannot be closed. The asserted reverse-measure inequality for A^{[infinity]}_{p,q} is not a routine consequence of the definition, and the paper gives no independent verification. Since (1.2), (4.4), and the quantitative statements in Theorem 4.13 all depend on this step, the main characterization is currently unsupported as written. A complete proof of Lemma 4.8, or a precise citation to a published verifiable source, must be supplied.","section":"Section 4.3, Lemma 4.8 and Theorem 4.9"},{"comment":"The quantitative estimate [sigma]_{R_{c_d}} <= C [w]^{p'}_{A^{[s]}_{p,q}} is stated to be 'exactly the quantitative conclusion of Lemma 4.8'. Since Lemma 4.8 is unproved, the upper bound in (4.7), the exponent 1+p'/q in (4.4), and the comparison with Proposition 4.12 that follows Theorem 4.13 all rest on the same unverified external citation. The authors should either prove the reverse-measure property directly or state precisely which weaker quantitative conclusion is valid under which hypotheses.","section":"Section 4.3, Theorem 4.13 and equation (4.8)"},{"comment":"The paper presents the case r=p, q<=s<=infinity as a complete characterization, but the proof of the sufficiency direction uses the sparse domination argument only after Lemma 4.8 is granted. If the reverse-measure conclusion actually requires the stronger full A_{p,q} class or an additional self-improvement property, then the promised extension to s>q, including the critical powers in Example 3.14, would fail. The authors should make explicit which property of A^{[s]}_{p,q} is being used and verify it within the paper, since no property of this strength is proved in Sections 2 or 3.","section":"Section 4.3 and Section 1, table before (1.2)"}],"minor_comments":[{"comment":"There is a typo: 'fractional Schr¨odinger equationn' should read 'fractional Schr¨odinger equation'.","section":"Section 1, last line"},{"comment":"The endpoint class A*_{p,q} is mentioned but never defined; please give its definition or a precise reference to the definition in [51].","section":"Section 4.3, before Lemma 4.7"},{"comment":"The notation d_{P h_j}(lambda) appears without definition; the distribution function should be introduced before this proof.","section":"Section 4.3, proof of Lemma 4.7"},{"comment":"The heading 'Lorentz–Munckenhoupt weights' misspells Muckenhoupt.","section":"Section 3, Theorem 3.8"},{"comment":"The proof of Lemma 4.8 and the comparison in Remark 5.6 rely on the arXiv preprints [51] and [52]; please update these to published versions if available, or otherwise state their verification status.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The main risk is the reliance on [51] for Lemma 4.8, which is the single non-routine input in the sufficiency proof of the central characterization. If the authors can prove Lemma 4.8 inside the paper, or if [51] is by then published and the lemma verified, the paper could be acceptable. I would also ask the editor to check the relationship with [52], since one of the authors is involved and the comparison in Remark 5.6 is not independently verified."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a real paper, not a repackaging. The Lorentz–Muckenhoupt classes A(p,r),(q,s) are new; the power-weight classification and the monotonicity/interpolation structure are clean, and Theorem 4.9—the iff for M_alpha : L^{p,p}_w -> L^{q,s}_w when r=p and s>=q—is a solid new result in weighted harmonic analysis. The partial answer to Cruz-Uribe's commutator question and the critical Hardy endpoint are honest applications. The authors also deserve credit for laying out a table of what is known and what is open, including cases where their class is necessary but not sufficient.\n\nWhere I would push back: the sufficiency direction of Theorem 4.9 rests on Lemma 4.8, and the proof of that lemma is a one-sentence citation to an arXiv preprint, Sweeting [51]. The stress-test note is right about this. Lemma 4.8 is the reverse-measure step that converts sparse sums over sigma(Q) into sums over sigma(E_Q); without it the displayed chain in Theorem 4.9 cannot close, and the quantitative [w]^{1+p'/q} bound does not follow. The authors disclose the dependency, but a referee cannot verify the main theorem without either a proof of Lemma 4.8 or a peer-reviewed source for it. The same goes for the sparse decomposition, which is asserted as standard and not proved.\n\nOn the other hand, I do not see a fatal gap. The necessity direction is standard Muckenhoupt reasoning via the local averaging operator, and it checks out. The class definitions, duality, interpolation, and the Ap,q identification in the range r>=p, s<=q are coherent. The applications are not inflated: Theorem 5.5 is explicitly a partial answer, and the critical Hardy inequality in Theorem 5.9 has real endpoint content even if that endpoint partly overlaps with known results.\n\nSo the verdict is conditional in exactly one place: if Lemma 4.8 holds, the main characterization and the applications stand; if it fails, Theorem 4.9 collapses. That is a load-bearing external dependency, not a cosmetic one. I would send this to a serious referee, and I would tell the authors to either prove Lemma 4.8 in the paper or wait until [51] is published. A short self-contained proof would make this a strong paper.","headline":"A genuinely useful new weight class with a clean diagonal characterization, but the main sufficiency proof leans on an unverified lemma from an unreviewed preprint.","tokens_in":22544,"tokens_out":2434,"would_cite":true,"duration_ms":22032,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":["42B25","42B20","46E30"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper introduces Lorentz–Muckenhoupt weight classes and proves a complete characterization of the fractional maximal operator on multiplier-weighted Lorentz spaces, with applications to commutators, Hardy inequalities, and fractional…","keywords":["Lorentz–Muckenhoupt classes","multiplier weighted Lorentz spaces","fractional maximal operator","Muckenhoupt weights","commutators of fractional integrals","Hardy inequalities","fractional Schrödinger equation"],"falsifier":"Compute the reverse-measure ratio for the endpoint weight $w(x)=|x|^{-d/q}$: take $Q$ a cube centered at the origin, $\\sigma=w^{-p'}$, and let $E\\subset Q$ be any measurable set with $|E|=\\tfrac12|Q|$ that concentrates near the boundary of $Q$. Lemma 4.8 predicts $\\sigma(Q)\\le C\\sigma(E)$ with $C$ bounded by a power of the characteristic $[w]_{A_{(p,p),(q,\\infty)}}$; if the ratio $\\sigma(Q)/\\sigma(E)$ grows without bound for a sequence of such sets while the characteristic stays bounded, the sufficiency direction of the main theorem collapses, whereas a uniform bound would confirm the load-bearing step.","tokens_in":21417,"feed_emoji":"📐","tokens_out":27710,"duration_ms":225862,"temperature":0.7,"pith_summary":"The paper introduces a two-parameter family of Lorentz–Muckenhoupt weight classes and uses them to give a complete characterization of the fractional maximal operator on multiplier-weighted Lorentz spaces. In the diagonal case the boundedness of $M_\\alpha\\colon L^{p,p}_w\\to L^{q,s}_w$ is shown to hold exactly when $w$ lies in the new class $A_{(p,p),(q,s)}$, for every $q\\le s\\le\\infty$ with $1/p-1/q=\\alpha/d$. This matters because the new class contains critical power weights, such as $|x|^{-d/q}$, that fall outside the classical Muckenhoupt $A_{p,q}$ classes, so the theorem supplies endpoint estimates that the older theory cannot reach. The same weight classes are then applied to three problems: characterizing commutators of fractional integrals via BMO (a partial answer to an open two-weight question), proving a Hardy inequality at the critical exponent $p=d$ where the classical inequality fails, and constructing unique mild solutions of fractional Schrödinger equations with singular potentials.","feed_headline":"New weight class pins down fractional maximal bounds","feed_subtitle":"They reach critical power weights that classical Muckenhoupt classes miss, enabling new endpoint estimates.","key_machinery":"The central object is the Lorentz–Muckenhoupt class $A_{(p,r),(q,s)}$, defined on cubes $Q$ by the product of normalized Lorentz norms of $w$ and $w^{-1}$, namely $\\|w\\|_{L^{q,s}(Q)}\\|w^{-1}\\|_{L^{p',r'}(Q)}$; it is the multiplier-weight analogue of the classical $A_{p,q}$ condition. The argument is carried by a sparse-level-set decomposition of the dyadic fractional maximal operator, which expresses the weighted Lorentz norm of $M_\\alpha f$ as a sparse sum over cubes. A reverse-measure estimate for $\\sigma=w^{-p'}$—quoted from external lemmas—allows each sparse cube's $\\sigma(Q)$ to be replaced by $\\sigma(E_Q)$ of a disjoint subset $E_Q$ of comparable size, converting the sparse sum into an unweighted dyadic fractional maximal inequality with respect to $\\sigma$. The two-weight version of the class computes the exact norm of fractional averaging operators and yields the necessary condition for boundedness.","core_discovery":"The paper's central discovery is the characterization (1.2): for $1<p\\le q<\\infty$, $0\\le\\alpha<d$, $1/p-1/q=\\alpha/d$, and $q\\le s\\le\\infty$, the fractional maximal operator $M_\\alpha$ is bounded from $L^{p,p}_w$ to $L^{q,s}_w$ if and only if $w$ belongs to the Lorentz–Muckenhoupt class $A_{(p,p),(q,s)}$, whose characteristic is the supremum over cubes $Q$ of the product of normalized Lorentz norms $\\|w\\|_{L^{q,s}(Q)}\\|w^{-1}\\|_{L^{p',p'}(Q)}$. The proof uses a sparse-level-set decomposition to reduce the weighted estimate to a dyadic fractional maximal operator with respect to the measure $\\sigma=w^{-p'}$, after a reverse-measure lemma transfers weights from cubes to sparse subsets. In the range $p\\le r\\le s\\le q$ the new class coincides with the classical $A_{p,q}$ class, so the theorem extends the classical theory; for $r=p$ and $s>q$ the class is strictly larger and contains critical power weights such as $|x|^{-d/q}$, which are not in $A_{p,q}$. The paper then derives direct consequences: a weighted BMO characterization of commutators of fractional integrals that partially answers an open two-weight question, a Hardy inequality at the critical exponent $p=d$, and a fixed-point theorem for fractional Schrödinger equations with singular potentials.","pith_inferences":["A natural extension is to test whether the same $A_{(p,r),(q,s)}$ machinery characterizes other sublinear operators, such as singular integrals or Marcinkiewicz integrals, on multiplier-weighted Lorentz spaces; the sparse argument appears to transfer whenever a scalar sparse bound is available.","The exact quantitative exponent $\\Gamma_s$ for $s>q$ is left open between $1+p'/s$ and $1+p'/q$; interpolating between the endpoints $s=q$ and $s=\\infty$, or refining the reverse-measure constant in Lemma 4.8, may close the gap.","The remaining open endpoint cases—$r=1$, and the $p=1$ weak-type endpoint problem—reduce to the size of the gap between $A_{(p,1),(q,\\infty)}$ and $A_{(p,p),(q,\\infty)}$; identifying a weight in the larger class that fails would settle the characterization negatively.","Because the Schrödinger fixed-point argument uses only the Hölder-type product inequality for Lorentz spaces, the same proof should extend to other rearrangement-invariant spaces with $t=d/(\\alpha-\\beta-\\gamma)$ playing the same role."],"forward_implications":["For every $q\\le s\\le\\infty$, checking the single condition $w\\in A_{(p,p),(q,s)}$ decides whether $M_\\alpha$ maps $L^{p,p}_w$ into $L^{q,s}_w$, so the characterization is directly usable: one product of two normalized Lorentz norms over all cubes decides boundedness.","The class $A_{(p,p),(q,\\infty)}$ contains the critical power weight $|x|^{-d/q}$, even though $|x|^{-d}$ is not locally integrable; the theorem therefore supplies endpoint weak-type bounds for $M_\\alpha$ that cannot be obtained from classical $A_{p,q}$ theory.","A weighted BMO characterization holds for commutators of fractional integrals: $b\\in BMO$ exactly when $[b,I_\\alpha]$ is bounded on $L^{p,r}_w\\to L^{p_\\alpha,s}_w$, and the partial answer to the open two-weight commutator question follows by Lorentz duality.","The Hardy inequality at $p=d$ has the endpoint replacement $\\||x|^{-d/q}u\\|_{L^{q,\\infty}}\\lesssim\\|\\nabla u\\|_{L^{d,1}}$ for $d\\le q<\\infty$, and the right-hand side cannot be replaced by any $\\|\\nabla u\\|_{L^{d,r}}$ with $r>1$.","For the fractional Schrödinger equation $(-\\Delta)^{\\alpha/2}u-a(x)u=f$, a unique mild solution exists in $X^{q,\\rho}_\\beta$ whenever the multiplier $A=|x|^{\\beta+\\gamma}a(x)$ has sufficiently small $L^{t,\\infty}$ norm, which covers the critical Hardy potential $a(x)=\\lambda|x|^{-\\alpha}$ for small $\\lambda$."],"supporting_citations":[{"why":"Supplies the Lorentz-space definitions, embeddings, and duality that the normalized cube norms and the multiplier-space norms rely on throughout.","marker":"[3]"},{"why":"Poses the open two-weight commutator question that Theorem 5.5 partially answers.","marker":"[12]"},{"why":"Provides the off-diagonal extrapolation theorem used to pass from the initial weighted Lebesgue pair to the full Lorentz range in Theorem 4.2.","marker":"[13]"},{"why":"Gives the extrapolation result that Theorem 4.2 applies to reach all admissible pairs of indices.","marker":"[21]"},{"why":"Supplies the sharp weighted bounds for the fractional maximal operator and fractional integral under $A_{p,q}$, used to calibrate the quantitative constants and sharpness discussion.","marker":"[31]"},{"why":"Contains the reverse-measure lemmas (Lemmas 2.3 and 2.4) quoted in Lemma 4.8, which carry the sufficiency direction of the main maximal-operator characterization.","marker":"[51]"}],"fun_headline_variants":["Lorentz-Muckenhoupt classes characterize fractional maximal bounds","Critical power weights now in scope for maximal operators","New weight class yields endpoint estimates beyond classical theory","Partial answer to Cruz-Uribe question via Lorentz weights","Hardy inequality at critical exponent restored by new weights"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The sufficiency proof of the main characterization relies on an external reverse-measure lemma: for $w\\in A_{(p,p),(q,s)}$ and $\\sigma=w^{-p'}$, the $\\sigma$-measure of any measurable set that fills a fixed fraction of a cube controls the $\\sigma$-measure of the whole cube, with a constant depending only on the weight characteristic; the paper quotes this lemma from another source rather than proving it.","fun_headline_variants_meta":{"raw":{"variants":["Lorentz-Muckenhoupt classes characterize fractional maximal bounds","Critical power weights now in scope for maximal operators","New weight class yields endpoint estimates beyond classical theory","Partial answer to Cruz-Uribe question via Lorentz weights","Hardy inequality at critical exponent restored by new weights"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00074,"raw_usage":{"total_tokens":3302,"prompt_tokens":945,"completion_tokens":2357,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":561,"completion_tokens_details":{"reasoning_tokens":2280}},"tokens_in":561,"tokens_out":2357,"duration_ms":15561,"temperature":1.0,"reasoning_tokens":2280,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-27T20:11:22.446141+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the reverse-measure ratio for the endpoint weight $w(x)=|x|^{-d/q}$: take $Q$ a cube centered at the origin, $\\sigma=w^{-p'}$, and let $E\\subset Q$ be any measurable set with $|E|=\\tfrac12|Q|$ that concentrates near the boundary of $Q$. Lemma 4.8 predicts $\\sigma(Q)\\le C\\sigma(E)$ with $C$ bounded by a power of the characteristic $[w]_{A_{(p,p),(q,\\infty)}}$; if the ratio $\\sigma(Q)/\\sigma(E)$ grows without bound for a sequence of such sets while the characteristic stays bounded, the sufficiency direction of the main theorem collapses, whereas a uniform bound would confirm the load-bearing step.","supporting_citations":[{"cited_title":"Bennett and R","cited_arxiv_id":null,"evidence_quote":"Supplies the Lorentz-space definitions, embeddings, and duality that the normalized cube norms and the multiplier-space norms rely on throughout."},{"cited_title":"Cruz-Uribe,Two weight inequalities for fractional integral operators and commutators, in Advanced Courses of Mathematical Analysis VI, World Scientific, Hackensack, NJ, 2017, pp","cited_arxiv_id":null,"evidence_quote":"Poses the open two-weight commutator question that Theorem 5.5 partially answers."},{"cited_title":"Cruz-Uribe, J","cited_arxiv_id":null,"evidence_quote":"Provides the off-diagonal extrapolation theorem used to pass from the initial weighted Lebesgue pair to the full Lorentz range in Theorem 4.2."},{"cited_title":"Harboure, R","cited_arxiv_id":null,"evidence_quote":"Gives the extrapolation result that Theorem 4.2 applies to reach all admissible pairs of indices."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the sharp weighted bounds for the fractional maximal operator and fractional integral under $A_{p,q}$, used to calibrate the quantitative constants and sharpness discussion."},{"cited_title":"On those Weights Satisfying a Weak-Type Inequality for the Maximal Operator and Fractional Maximal Operator","cited_arxiv_id":"2410.04031","evidence_quote":"Contains the reverse-measure lemmas (Lemmas 2.3 and 2.4) quoted in Lemma 4.8, which carry the sufficiency direction of the main maximal-operator characterization."}],"review_version":1}