{"id":"9630ebf5-245e-4c81-bd7e-2fcc7e23d9ac","arxiv_id":"2505.19130","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The new Bourgain-Morrey-Lorentz space M^{t,r}_{p,q} has a block-space predual, supports bounded maximal, Calderón-Zygmund, fractional integral and commutator operators, and yields BMO and CMO commutator characterizations.","lead":"This paper defines a new family of function spaces, the Bourgain-Morrey-Lorentz spaces, and identifies their predual as a block space. It then proves boundedness of classical harmonic analysis operators on these spaces and derives BMO and compactness characterizations for commutators.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 2.16's dyadic-grid equivalence is unproved as written and underwrites every dyadic-maximal reduction; without a bounded-multiplicity covering argument, Theorem 4.1 and its operator corollaries collapse.","rationale":"The paper's principal positive theorem, Theorem 3.5, identifies the predual of M^{t,r}_{p,q}(R^n) with the block space H^{t',r'}_{p',q'}(R^n). Reading the proof in good faith, the main logical steps of Theorem 3.5 are present: the embedding M↪H^* follows from the Lorentz-Hölder and ℓ^r/ℓ^{r'} inequalities; the converse uses Lemma 3.4 to localize a functional, reconstructs f from local Lorentz duals, and recovers the ℓ^r norm by dualizing a finite-support coefficient sequence. I did not find a fatal error there, though some notation is circular and the proof of (3.4) is abbreviated. The genuinely defective bridge is Lemma 2.16, exactly as the reader flagged. The proof replaces a sum over the standard grid by a sum over a fixed shifted grid using a covering cube R that may lie in any of the 3^n grids, without showing R belongs to the fixed grid or controlling the multiplicity of the assignment. This is not merely a missing constant; the displayed inequality is a non-sequitur. The same-scale finite-covering argument is available and would prove the lemma, so I do not conclude the result is false; I conclude the proof is incomplete. Because Theorem 4.1 depends directly on Lemma 2.16, and Theorem 4.1 underlies the sharp-maximal, commutator, and compactness results, the operator applications rest on an unproved equivalence. The central duality claim is independent of this defect, so the appropriate verdict remains CONDITIONAL rather than REJECT. Other issues noted by the reader, such as the false display in Theorem 4.12 and the abbreviated proof in Theorem 5.6, are consistent with the same assessment: the paper needs revision but its main construction is plausible.","tokens_in":40932,"tokens_out":31263,"duration_ms":215931,"concrete_test":"Fix n=1 and the shifted grid D^a with a=1. For each standard dyadic interval Q_{j,m}, list the at-most-two intervals of the same side length in D^a whose union covers Q_{j,m}, and run the same construction in reverse. This defines a transfer matrix with entries in {0,1}; check that its operator norm on ℓ^r is bounded by a constant independent of the scale, which follows if every row and column has at most two non-zero entries. If the transfer is bounded, Lemma 2.16 is true and the missing step can be supplied by this covering argument; if the row/column sums are unbounded, the claimed equivalence is false and Theorem 4.1 cannot be repaired as written.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing weak point is Lemma 2.16, the claimed equivalence of the standard dyadic norm with the norm over any fixed shifted dyadic grid. The proof is a non-sequitur. Lemma 2.15 supplies, for each cube Q of the standard dyadic grid D, a cube R in the union of all 3^n shifted grids with Q⊂R and |R|≤6^n|Q|. The display then sums over R∈D as though R belonged to the fixed grid D. No argument shows R∈D, and no bounded-multiplicity estimate is given for the assignment Q↦R. The reverse direction is also unjustified: from R⊂13Q one cannot sum over the fixed grid D because R is not in D. A same-scale covering by at most 2^n cubes of the fixed shifted grid would prove the lemma, but the paper does not supply it. Without Lemma 2.16, the dyadic reduction in Theorem 4.1 fails, and with it the Hardy-Littlewood maximal bound on M^{t,r}_{p,q}. Since Theorem 4.1 is the engine for the sharp-maximal inequality (4.10), the commutator estimate in Theorem 4.25, and the compactness argument in Section 6, the operator applications collapse until the missing summation step is supplied. The central duality Theorem 3.5 does not appear to depend on Lemma 2.16, so this is a proof gap in the advertised applications rather than a refutation of the predual result.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces Bourgain-Morrey-Lorentz spaces M^{t,r}_{p,q}(R^n), a Lorentz-parameter extension of Bourgain-Morrey spaces, and studies their fundamental properties, duality, and the boundedness of classical harmonic analysis operators on them. The main positive result is Theorem 3.5, which identifies the predual of M^{t,r}_{p,q}(R^n) with a block space H^{t',r'}_{p',q'}(R^n). Building on this duality, the paper claims boundedness of the Hardy-Littlewood maximal operator, sharp maximal operator, Calderón-Zygmund operators, fractional integrals, and commutators on these spaces, plus a weak Hardy factorization and a BMO characterization via commutator boundedness, and a compactness criterion for commutators.","tokens_in":41295,"tokens_out":18284,"duration_ms":110730,"significance":"If the main results are correct, the paper extends the known duality theory for Bourgain-Morrey and Morrey-Lorentz spaces and offers a unified framework for operator boundedness in this class. The predual theorem (Theorem 3.5) is the clear centerpiece and appears to be supported by a plausible argument. The paper also explicitly identifies prior sources ([15], [10], [25]) and avoids circular reasoning or parameter fitting. However, several load-bearing proofs, especially Lemma 2.16, Theorem 4.12/4.14, Theorem 4.25, and Theorem 5.6, contain gaps that affect the advertised applications. The core duality result may survive, but the operator-theoretic claims across Sections 4-6 require substantial repair.","major_comments":[{"comment":"The proof of Lemma 2.16 is defective. Lemma 2.15 produces, for each cube Q, a cube R in the union of all 3^n shifted dyadic grids, not necessarily in the fixed grid D. The display then sums over R∈D as though the assignment Q↦R stayed inside D. No argument establishes R∈D, and no bounded-multiplicity estimate for the map Q↦R is given. The reverse inequality is equally unjustified: from R⊂13Q one cannot sum over R∈D. This lemma is load-bearing because Theorem 4.1 uses it to transfer dyadic-maximal bounds from each shifted grid back to the standard M^{t,r}_{p,q} norm. A correct proof needs a covering by cubes of the same grid with controlled multiplicity (e.g., for each Q∈D find R∈D with Q⊂R and |R|≤C|Q|, or use the bounded overlap of the 3^n grids and adjust the ℓ^r summation). Until this is supplied, the maximal-operator boundedness and all later operator results that depend on it are not established.","section":"Theorem 4.12 and Corollary 4.14"},{"comment":"Theorem 4.12 and Corollary 4.14 state the impossible condition 1/t2 = 1/t2 − α/n. The intended condition is presumably 1/t2 = 1/t1 − α/n, as used in the proof. As written, the hypotheses are empty. Additionally, the proof of Theorem 4.12 applies Theorem 4.1 to the scaled parameters p2(1−s), q2(1−s), t2(1−s), r2(1−s) with s = t1α/n. Theorem 4.1 requires 1≤q≤∞, but q2(1−s) can be < 1 under the stated assumptions, so the invoked maximal bound may be out of range. The theorem should be restated with correct exponent relations and, if the fractional-integral result is intended for all allowed parameters, a proof that covers the quasi-norm case q<1.","section":"Theorem 4.25"},{"comment":"The proof of Theorem 4.25 asserts ∥M_η(f)∥_{M^{t,r}_{p,q}} ≲ ∥f∥_{M^{t,r}_{p,q}} for η∈(1,min(p,q)) without proof. Theorem 4.1 establishes boundedness of M only for η=1. The cited self-improvement result [28] applies to quasi-Banach lattices with the Fatou property, but the Fatou property is proved only for the block space H (Theorem 3.8), not for M^{t,r}_{p,q}. Unless the Fatou property for M^{t,r}_{p,q} is established and the self-improvement argument is invoked, or a direct proof of the M_η bound is given, the commutator boundedness theorem lacks the necessary justification at this step.","section":"Theorem 5.6"},{"comment":"Theorem 5.6 claims the two-sided norm equivalence ∥f∥_{H^1} ≈ inf Σ |λ_{k,j}| ∥g_{k,j}∥_{H'} ∥h_{k,j}∥_M. The proof constructs a representation with the sum bounded by C∥f∥_{H^1}, which gives the upper bound for the infimum. The reverse inequality, inf ≥ c∥f∥_{H^1}, requires showing that every term gT*(h)−hT(g) lies in H^1 with norm controlled by ∥g∥_{H'}∥h∥_M. This membership is asserted without proof; the proof of Lemma 5.5 only bounds the H^1 distance between an atom and such a term, not the H^1 norm of the term itself. Since the claimed equivalence is used in the statement of the factorization theorem and in Theorem 5.7, the missing lower bound must be provided.","section":"Theorem 6.2, Case 1"},{"comment":"In the proof of Theorem 6.2, Case 1, the argument obtains convergence of [b,T](φ_k) to G in M^{t,r}_{p,q} and also convergence to 0 in M^{t2,r}_{p,q} with t2 > t, claiming a contradiction with ∥G∥_{M^{t,r}_{p,q}} ≳ 1. However, no embedding between M^{t,r}_{p,q} and M^{t2,r}_{p,q} is stated or proved; convergence in the second space does not automatically imply the limit in the first is zero. The contradiction requires an additional argument (e.g., an embedding or a localization estimate) that is not present.","section":"Theorem 4.15 proof"}],"minor_comments":[{"comment":"In the proof of Theorem 4.15, the notation H^{q',r'}_{p',q'} appears (in the estimate for I_k) where H^{t',r'}_{p',q'} is clearly intended.","section":"Section 4.2"},{"comment":"In the proof of Theorem 4.12, the power rule for the norm is written with compressed notation; defining s = 1 − t1α/n explicitly would make the chain of equalities much easier to follow.","section":"Section 5.5"},{"comment":"In the proof of Theorem 5.7, the interchange of the infinite sum over j,k with the limit L→∞ in ⟨b_L, f⟩ is not justified in the text. Since the terms g_{k,j}T*(h_{k,j})−h_{k,j}T(g_{k,j}) have compact support, a dominated-convergence argument is possible, but it should be written out.","section":"Section 4.5"},{"comment":"The definition of the finite overlapping property (Definition 4.5) requires that every admissible decomposition of f be finite overlapping, which is a very strong condition. Theorem 4.7 claims the constructed decomposition of M(b) satisfies this property, but no proof is given. If the property is not actually needed for the subsequent arguments, it should be simplified or removed; if it is needed, a verification must be provided.","section":"References"},{"comment":"There are minor typographical issues in the references, e.g., the title of [15] is garbled as 'J. Funct. Anal., 284 (1) (2023) 52' and should be completed; also the notation 'Mont' appears in the reference to [15] in Section 1.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper's core duality result (Theorem 3.5) is a genuine contribution and appears to be correct in its main lines. The problems are concentrated in the operator applications: Lemma 2.16 is a non-sequitur that affects all dyadic-maximal reductions; Theorem 4.12 contains an impossible exponent condition; Theorem 4.25 relies on an unproved M_η bound; and Theorem 5.6 overclaims a two-sided equivalence without the necessary H^1 membership estimate. These are substantial but likely fixable technical gaps rather than refutations of the central duality theorem. The manuscript would benefit from a careful revision that either supplies the missing arguments or restricts the claims to the parameter ranges where the current proofs work. I recommend major revision rather than rejection, provided the authors can repair the load-bearing steps."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: the paper introduces a genuinely new two-parameter family of Bourgain-Morrey-Lorentz spaces with a block-space predual, and that predual theorem (Theorem 3.5) is the real contribution. The proof of the dyadic norm equivalence in Lemma 2.16, however, is a non-sequitur, and since Theorem 4.1 and its operator corollaries lean on it, those applications are not established as written.\n\nWhat is new: the additional parameter q in M^{t,r}_{p,q} is a real extension — q=p gives Bourgain-Morrey, r=∞ gives Morrey-Lorentz, and the paper's own remarks acknowledge these limits. The block space H^{t',r'}_{p',q'} and the duality theorem are new for this family. The proof of Theorem 3.5 is detailed and does not depend on Lemma 2.16, so the central result has a good chance of being correct. The authors are honest about where they adapt [15] and [10]; there is no fitted parameter or circular reasoning.\n\nSoft spots, in order of severity. Lemma 2.16: Lemma 2.15 gives, for each standard dyadic cube Q, a containing cube R in the union of the 3^n shifted grids. The proof then sums over R in the fixed grid D as if R belonged to D. No argument shows R ∈ D, and no bounded-multiplicity estimate is supplied for the map Q ↦ R. The reverse direction has the same problem. This is exactly the load-bearing bridge for the dyadic maximal reduction, so Theorem 4.1, the sharp maximal inequality (4.10), the commutator bound, and the compactness result all inherit the gap until it is repaired. The natural fix is a standard argument showing a cube in one shifted grid is contained in a bounded number of comparable cubes in any other grid; the paper doesn't provide it.\n\nSecond, Theorem 4.12 and Corollary 4.14 state the condition 1/t2 = 1/t2 − α/n, impossible for α > 0. Almost certainly it should read 1/t2 = 1/t1 − α/n. The proof uses the correct relation, so this is a typo, but it needs fixing.\n\nThird, Theorem 5.6 claims a norm equivalence for the Hardy factorization, but the proof only constructs a representation with controlled coefficients. The reverse inequality for the infimum is not shown; the displayed equivalence is not justified. The BMO characterization may still hold, but this needs a real argument.\n\nThe paper deserves a serious referee. The predual theorem is a solid extension, and the flaws are identifiable and repairable. It should go to review with the expectation of a major revision. For a reading group, the duality part is instructive, but the dyadic gap will need to be worked through.","headline":"Genuinely new predual for Bourgain-Morrey-Lorentz spaces, but the dyadic-norm equivalence is a real gap that blocks the operator applications as written.","tokens_in":41840,"tokens_out":2981,"would_cite":false,"duration_ms":19040,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["42B35","42B20","46E30","46A20"],"pacs":[],"model":"deepseek-v4-flash","headline":"New Morrey-type spaces have a dyadic block space as their predual, and this duality drives the paper's operator bounds.","keywords":["Bourgain-Morrey-Lorentz space","block space","predual","Calderón-Zygmund operator","commutator","BMO","Hardy factorization","compact operator"],"falsifier":"Compute the ratio of the Bourgain-Morrey-Lorentz norms on two different shifted dyadic grids for a sparse sum of characteristic functions of cubes chosen so that each is covered by a cube from only one grid; an unbounded ratio as the number of scales grows would falsify Lemma 2.16 and break the maximal-operator application. For the duality claim itself, exhibit a continuous linear functional on the block space that is not given by integration against any locally integrable function, or a nonzero $f\\in M^{t,r}_{p,q}$ whose integral against every block vanishes; either would refute Theorem 3.5.","tokens_in":40727,"feed_emoji":"","tokens_out":10068,"duration_ms":69738,"temperature":0.7,"pith_summary":"This paper introduces a new family of function spaces, the Bourgain-Morrey-Lorentz spaces $M^{t,r}_{p,q}(\\mathbb{R}^n)$, obtained by summing local Lorentz norms over dyadic cubes with a scale weight. Its central assertion is that the predual of each such space is a block space $H^{t',r'}_{p',q'}(\\mathbb{R}^n)$: every continuous linear functional on the block space is integration against a function in the Bourgain-Morrey-Lorentz space, with equivalent norms. This duality matters because it is the engine for the paper's later results: boundedness of the Hardy-Littlewood maximal operator, Calderón-Zygmund operators, fractional integrals, and commutators on these spaces, plus a weak Hardy factorization that characterizes BMO functions through commutator boundedness and a compactness characterization via CMO. The paper also fixes the parameter ranges in which the spaces are nontrivial and shows they are not isomorphic to Lorentz spaces.","feed_headline":"A dyadic block space is the predual of a new Morrey-Lorentz family","feed_subtitle":"Duality yields bounded Calderón-Zygmund operators, a BMO commutator test, and a compactness characterization.","key_machinery":"The central object is the Bourgain-Morrey-Lorentz norm $$\\|f\\|_{$M^{{t,r}}$_{p,q}} = \\left(\\sum_{Q\\in\\mathcal{D}} |Q|^{r/t-r/p}\\|f\\|_{$L^{{p,q}}$(Q)}^r\\right)^{1/r},$$ which combines Morrey's scale-weighting with Lorentz's fine second parameter. The dual block space is built from $(p',q',t')$-blocks, so the duality is carried by the integral pairing and by two local ingredients: Hölder's inequality in Lorentz spaces (Lemma 2.4) and the fact that restricting a functional to a cube gives an $L^{p,q}$ function. A separate load-bearing mechanism is the equivalence between the standard dyadic norm and norms computed on any one of the $3^n$ shifted dyadic grids (Lemma 2.16); this is what lets the Hardy-Littlewood maximal operator be controlled by its dyadic pieces.","core_discovery":"The paper's main discovery is the duality $M^{t,r}_{p,q}(\\mathbb{R}^n) \\cong (H^{t',r'}_{p',q'}(\\mathbb{R}^n))^*$ for $1