{"id":"90b39bfc-4c48-4a53-a3a1-171b4b11506c","arxiv_id":"2502.08406","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper gives the full if-and-only-if characterization of embeddings and compact embeddings between Hardy and weighted Bergman spaces on the unit ball for all exponents and weights.","lead":"This paper determines exactly when weighted Bergman spaces fit inside Hardy spaces on the unit ball, and when Hardy spaces fit inside weighted Bergman spaces, including when the inclusion is compact. It completes a classification that was previously known only in special cases and introduces a new notion, tight fitting, for contractive embeddings.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 14 is false as stated; a discrete Carleson measure gives (a) without (b), so the proof of Theorem B(b) is unsupported.","rationale":"The central claim of the paper is the complete if-and-only-if classification. Theorem B(b) (and hence Theorem B and the claimed completeness of the classification for q≤p) is proved solely through Theorem 14. The reader correctly identified Theorem 14 as the weakest assumption, citing the unproved adaptation from M-harmonic to holomorphic. Our stress test goes further: the theorem as stated is not merely unproved but false. The counterexample with dyadic point masses satisfies the Carleson condition for (a) by the standard theorem, while the cone-maximal function C_∞(φ) is infinite on the whole boundary, because the grid is fine enough to enter every cone with density O(1-r_k). Since the proof of Theorem 16(b) applies Theorem 14 as an equivalence in both directions, the necessity part loses its foundation. We therefore recommend rejection of the current version. If the authors can replace Theorem 14 by a correct statement that still implies the claimed α=-1 threshold (e.g., a version with φ=μ(B(z,1))/(1-|z|^2)^{mq+n q/p}), the final classification may survive, but the burden is on them. No ad hominem intended; the issue is a mathematical false lemma.","tokens_in":27945,"tokens_out":49767,"duration_ms":458467,"concrete_test":"Independently compute the two sides of Theorem 14 for the measure μ=Σ_{k≥1}Σ_{j=1}^{⌈2^k⌉} 2^{-5k/2}δ_{1-2^{-k})e^{2πij/⌈2^k⌉} with n=1,p=4,q=2,m=1. Check: (i) that μ(B(a,1))≤C(1-|a|^2)^{5/2} for all a, giving (a) by the standard Carleson theorem; (ii) that φ(a_{k,j}) grows like 2^{k/2} and that for each ζ the grid points enter Γ(ζ), so C_∞(φ) is identically infinite. If both checks pass, Theorem 14 is false. A simpler check: run the same verification with p=4,q=2,m=1 in any standard code that evaluates μ(B(a,1)) and φ on a fine grid; the sup over cones will be unbounded while the Carleson condition holds.","verdict_should_be":"REJECT","load_bearing_attack":"The classification for q≤p rests on Theorem 14, a Carleson-measure characterization asserted without proof. But Theorem 14 is false as stated. Work in the unit disc (n=1) with p=4, q=2, m=1. Let r_k=1-2^{-k}, N_k=⌈2^k⌉, a_{k,j}=r_k e^{2π i j/N_k}, and μ=Σ_{k,j} 2^{-5k/2} δ_{a_{k,j}}. The standard Carleson bound μ(B(a,1))≤C(1-|a|^2)^{5/2} holds because the points on each circle have angular spacing ~2^{-k} and dyadic circles are separated. By the classical Carleson theorem for derivatives, (a) holds: ∫|f'|^2 dμ ≤ C||f||_{H^4}^2. Yet φ(a_{k,j})=μ(B(a_{k,j},1))/(1-|a_{k,j}|^2)^3 ≥ 2^{-5k/2}/2^{-3k} = 2^{k/2} → ∞. For every ζ∈∂D, the cone Γ(ζ) has angular width O(1-r_k), so the grid (with N_k~2^k) places a point in Γ(ζ) for all large k; hence C_∞(φ)(ζ)=sup_{Γ(ζ)} φ=∞ for every ζ, so C_∞(φ)∉L^{4/(4-2)}(∂D). Thus condition (b) fails though (a) holds. Theorem 16(b) invokes this equivalence in both directions for the measure dμ=(1-|z|^2)^{mq+α}dV; the necessity argument collapses. The final classification may be true, but this proof does not establish it.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims a complete classification of when weighted Bergman spaces A^p_α embed into Hardy spaces H^q on the unit ball of C^n, and vice versa, for all 0<p,q<∞ and all real α, together with compactness of these embeddings. Theorem A treats p<q and gives the conditions (n+1+α)/p ≤ n/q for A^p_α⊂H^q and n/p ≤ (n+1+α)/q for H^p⊂A^q_α, with compactness exactly when the inequality is strict. Theorem B treats q≤p and gives thresholds in α depending on whether q<2 or q≥2, again with compactness for strict inequalities. The proofs reduce most cases to known growth estimates, classical embedding theorems for weighted Bergman spaces, and a Carleson-measure criterion stated as Theorem 14. A final section introduces the notion of 'tight fitting' and a conjecture about contractive embeddings.","tokens_in":28318,"tokens_out":22394,"duration_ms":233175,"significance":"If the classification is correct, it settles a natural and previously incomplete set of embedding and compact-embedding questions between Hardy and weighted Bergman spaces, including the delicate case q≤p. The paper gives several clean reductions to external results rather than introducing fitted parameters, and the statements are falsifiable and precise. The main value is the systematic completeness of the classification and the explicitly identified boundary cases. However, the central case H^p⊂A^q_α for q≤p rests on Theorem 14, a Carleson-measure characterization whose proof is only sketched by reference to an M-harmonic version in [1] and an unstated adaptation to holomorphic functions. This gap is load-bearing and must be repaired before the main theorem can be considered established.","major_comments":[{"comment":"Theorem 14 is a full if-and-only-if Carleson-measure criterion for m-th derivative embeddings of holomorphic Hardy spaces, and it is the sole support for the proof of Theorem B(b). The proof supplied is not a proof: it cites Arsenović [1] for the M-harmonic case and then states that the other half follows from the proofs in [1] when M-harmonic functions are replaced by holomorphic functions. That adaptation is nontrivial: the M-harmonic result gives one direction directly, but the converse requires re-running the argument in the holomorphic category, and no details are provided. I am not convinced by the alternative suggestion that a discrete measure with local bound μ(B(a,1))≤C(1-|a|^2)^{5/2} in the case p=4, q=2, m=1, n=1 disproves the theorem, because that local bound is weaker than the condition φ∈L^{p/(p-q)} known to be necessary for (a); a measure can satisfy such a local bound yet fail (a). But regardless of whether the theorem is true, the manuscript must contain a complete proof of Theorem 14 or a citation to a published theorem that states exactly this holomorphic m-th-derivative version. As written, the proof of Theorem B(b) is unsupported.","section":"Section 5, Theorem 14"},{"comment":"The compactness direction for A^p_α compactly contained in H^q is asserted with the sentence 'Part (b) is proved in exactly the same way. We omit the details.' This is not merely cosmetic: the test functions for part (a) are H^p functions, while for part (b) they must be normalized in A^p_α and their H^q norms must be shown to stay bounded away from zero, and the role of the derivative-based definition of A^p_α when n+1+α≤0 should be checked. Please include the details or explicitly state the analogous computation.","section":"Section 3, Theorem 9(b)"}],"minor_comments":[{"comment":"The term 'M-harmonic Hardy space ℋ^p' is used without definition; define it or provide a precise reference.","section":"Section 5, Theorem 14 proof"},{"comment":"In the proof for n=1, the notation dA(z) appears after integrals were written with dν(z); clarify the measure being used.","section":"Section 5, Lemma 15"},{"comment":"If the omitted proof is intended to be literally the same as part (a) with p and q interchanged, it would be helpful to say this explicitly at the end of the proof, since the equality conditions differ between the two directions.","section":"Section 3, Theorem 9(b)"}],"recommendation":"major_revision","confidential_remarks":"The central risk is the status of Theorem 14. An expert in Carleson measures and Luecking/Arsenović theorems should be asked to verify whether the holomorphic version with m-th derivatives follows from [1] as claimed. I did not find the proposed discrete-measure counterexample convincing, but the absence of a proof is a genuine gap that affects the main theorem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, the paper is not a rewrite of known results: the compactness characterizations in the p<q direction are genuinely new and proved cleanly, and the 'tight fitting' language is a useful way to organize contractive embedding results. Second, the q≤p half, which is the advertised new classification, rests on Theorem 14, a Carleson-measure equivalence that is false as stated.\n\nThe counterexample is in the unit disc. Let p=4, q=2, m=1, put atoms at r_k=1−2^{−k} equally spaced with N_k≈2^k points, each of mass 2^{−5k/2}. The measure satisfies the Carleson bound μ(B(a,1))≤C(1−|a|^2)^{5/2}, so the derivative inequality (a) holds by the classical Carleson theorem. But φ(z)=μ(B(z,1))/(1−|z|^2)^3 equals about 2^{k/2} at the atoms, and every cone Γ(ζ) contains such atoms for large k, so A_∞(φ)≡∞ and (b) fails. Thus (a) does not imply (b), directly contradicting Theorem 14.\n\nTheorem 16(b) invokes Theorem 14 for the absolutely continuous measure (1−|z|^2)^{mq+α}dV. The counterexample doesn't disprove the classification itself, but it pulls the proof's load-bearing wall down; the necessity direction for H^p⊂A^q_α when q<p is unsupported, and the compactness assertions in that range ride on the same theorem. The paper's own admission that one half of Theorem 14 is an unstated adaptation from M-harmonic to holomorphic is a warning sign that was worth taking seriously.\n\nWhat is good: The p<q half (Theorem A) is correctly proved, with compactness handled via standard sequences and Lemma 4. Section 6's tight fitting conjecture is a nice synthesis of Kulikov and related work, though not a theorem. The paper is clearly written and the citations are appropriate.\n\nBottom line: The final classification may well be true, but this proof does not establish it unless Theorem 14 is repaired or bypassed. I'd send it to a referee with expertise in Carleson measures—this is a serious paper, but it needs major revision rather than acceptance.","headline":"The p<q half is fine, but Theorem B rests on a false Carleson-measure theorem, so the full classification is not proven.","tokens_in":28839,"tokens_out":9931,"would_cite":false,"duration_ms":98285,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["32A35","32A36"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper determines exactly when Hardy and weighted Bergman spaces on the unit ball embed into each other, and exactly when the embedding is compact.","keywords":["Hardy spaces","weighted Bergman spaces","compact embeddings","unit ball","Carleson measures","holomorphic Sobolev spaces","tight fitting","contractive embeddings"],"falsifier":"For $q<2$ and $\\alpha=-1$, the theorem predicts $H^p\\not\\subset A^q_{-1}$, and the proof reduces this to divergence of the integral $\\int_{\\Gamma(1)} d\\tau(z)$, where $d\\tau(z)=d\\nu(z)/(1-|z|^2)^{n+1}$ and $\\Gamma(1)$ is the admissible approach region at the boundary point $1$. A direct computation of this integral on the unit disk, where $\\Gamma(1)$ is the region between two tangent circles and the integral diverges logarithmically, settles the borderline case; if the analogous divergence failed in higher dimension, the threshold $\\alpha>-1$ would move.","tokens_in":27765,"feed_emoji":"📐","tokens_out":10154,"duration_ms":105933,"temperature":0.7,"pith_summary":"This paper determines exactly when the Hardy space $H^p$ and the weighted Bergman space $A^q_\\alpha$ on the unit ball in $\\mathbb{C}^n$ are contained in one another, for every $0<p,q<\\infty$ and every real weight $\\alpha$, and exactly when the inclusion map is compact. When $p<q$, the answers are the two inequalities $(n+1+\\alpha)/p \\le n/q$ and $n/p \\le (n+1+\\alpha)/q$; compactness is equivalent to strict inequality. When $q\\le p$, the answers depend on whether $q$ is below or above $2$: the weight threshold is $\\alpha\\le -1$ or $\\alpha<-1$ for $A^p_\\alpha\\subset H^q$, and $\\alpha>-1$ or $\\alpha\\ge -1$ for $H^p\\subset A^q_\\alpha$, again with compactness given by strictness. These results complete earlier partial results and reduce the whole problem to one Carleson-measure estimate for derivatives of Hardy functions.","feed_headline":"Every Hardy–Bergman embedding is now classified, including compactness","feed_subtitle":"Two growth-exponent inequalities decide containment on the ball; strict inequality decides compactness.","key_machinery":"The proof runs through two main tools. The first is the derivative definition of weighted Bergman spaces: for $\\alpha\\le -1$, the space $A^p_\\alpha$ is defined using a radial derivative $R^m$ chosen so that $mp+\\alpha>-1$, turning these spaces into holomorphic Sobolev spaces. The second is a Carleson-measure theorem for derivatives of Hardy functions, stated as Theorem 14, which characterizes boundedness of the map $f\\mapsto R^m f$ from $H^p$ to $L^q(d\\nu)$ in terms of membership of an averaged function in $L^{p/(p-q)}$ on the unit sphere. The averaging uses admissible approach regions $\\Gamma(\\zeta)$ and the exponent $\\tau=2/(2-q)$ when $q<2$, with a radial supremum $A_\\infty$ when $q\\ge 2$. Growth estimates for Hardy and Bergman functions, together with the known compact-embedding theory for weighted Bergman spaces, supply the necessary and sufficient directions.","core_discovery":"The central claim is a complete if-and-only-if classification. For $p<q$, the embedding $A^p_\\alpha\\subset H^q$ holds exactly when $(n+1+\\alpha)/p \\le n/q$, the embedding $H^p\\subset A^q_\\alpha$ holds exactly when $n/p \\le (n+1+\\alpha)/q$, and each inclusion is compact exactly when its inequality is strict. For $q\\le p$, the classification splits at $q=2$: $A^p_\\alpha\\subset H^q$ holds for $\\alpha\\le -1$ when $q\\le 2$ and for $\\alpha<-1$ when $q>2$, while $H^p\\subset A^q_\\alpha$ holds for $\\alpha>-1$ when $q<2$ and for $\\alpha\\ge -1$ when $q\\ge 2$; compactness is again strictness of the $\\alpha$ condition. The paper also introduces the notion of a tight fitting, meaning a proper, contractive, non-compact embedding, and formulates a conjecture that places several known contractive-embedding results into one framework.","pith_inferences":["The paper leaves implicit that the strictness dichotomy at $q=2$ reflects two different mechanisms: for $q<2$ the Hardy-to-Bergman inclusion is controlled by a non-tangential integral that diverges at $\\alpha=-1$, while for $q\\ge 2$ a radial supremum criterion makes $\\alpha=-1$ admissible.","A testable extension is to apply the same Carleson-measure machinery to embeddings between Hardy spaces and other derivative-defined spaces such as holomorphic Besov or Dirichlet-type spaces, which appear here as $A^2_\\alpha$ for special $\\alpha$.","Settling the tight-fitting conjecture in all dimensions would make Carleman's inequality an endpoint case of a parameterized contractive embedding, with kernel functions as the unique extremals; the present paper's compactness results indicate why the borderline cases are exactly the non-compact ones."],"forward_implications":["The only equality $H^p=A^q_\\alpha$ as normed spaces occurs at $p=q=2$ and $\\alpha=-1$; every other inclusion is proper, and away from the borderline cases the inclusion is compact.","For $q\\le p$ and $\\alpha<-1$, the embedding $A^p_\\alpha\\subset H^q$ is always compact, so weighted Bergman spaces with weights below $-1$ sit compactly inside every Hardy space with equal or smaller exponent.","When $p<q$, only the growth exponents $(n+1+\\alpha)/p$ and $n/p$ decide containment; changing the weight while keeping the quotient fixed preserves both containment and compactness status.","When $p<q$ and equality holds in the parameter inequality, the inclusion is never compact; the paper exhibits normalized kernel functions that converge to zero locally but keep fixed norm in the target space."],"supporting_citations":[{"why":"Supplies the invariant-harmonic Carleson-measure theorem from which half of Theorem 14 is deduced after passing from these harmonic functions to holomorphic functions.","marker":"[1]"},{"why":"Contains the embeddings that become Lemmas 5 and 7, the endpoint cases from which both parts of Theorem A are built.","marker":"[3]"},{"why":"Establishes the original Carleson-measure theorem for derivatives of Hardy spaces in the upper half-space, the template adapted to the unit ball in Theorem 14.","marker":"[14]"},{"why":"Sets up the derivative definition of weighted Bergman spaces and supplies the growth estimates used in the pointwise necessary conditions.","marker":"[25]"},{"why":"Provides standard Hardy and Bergman space theory, including integral estimates and sphere-area identities used throughout the proofs.","marker":"[26]"},{"why":"Characterizes compact embeddings between weighted Bergman spaces and serves as the comparison model for compactness in Theorem B.","marker":"[28]"}],"fun_headline_variants":["All Hardy–Bergman embeddings classified, compactness included","Compactness of Hardy–Bergman embeddings: strict inequality decides","Tight fitting: new lens on Hardy–Bergman embeddings","Two inequalities fully determine Hardy–Bergman containment","Complete Hardy–Bergman embedding classification, compact case included"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that a criterion for boundedness of derivative maps from Hardy spaces into weighted Lebesgue spaces, a criterion proved for one broad class of harmonic functions and then assumed to carry over to holomorphic functions, is valid in the holomorphic setting.","fun_headline_variants_meta":{"raw":{"variants":["All Hardy–Bergman embeddings classified, compactness included","Compactness of Hardy–Bergman embeddings: strict inequality decides","Tight fitting: new lens on Hardy–Bergman embeddings","Two inequalities fully determine Hardy–Bergman containment","Complete Hardy–Bergman embedding classification, compact case included"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000287,"raw_usage":{"total_tokens":1658,"prompt_tokens":891,"completion_tokens":767,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":507,"completion_tokens_details":{"reasoning_tokens":686}},"tokens_in":507,"tokens_out":767,"duration_ms":7776,"temperature":1.0,"reasoning_tokens":686,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T05:13:04.296102+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For $q<2$ and $\\alpha=-1$, the theorem predicts $H^p\\not\\subset A^q_{-1}$, and the proof reduces this to divergence of the integral $\\int_{\\Gamma(1)} d\\tau(z)$, where $d\\tau(z)=d\\nu(z)/(1-|z|^2)^{n+1}$ and $\\Gamma(1)$ is the admissible approach region at the boundary point $1$. A direct computation of this integral on the unit disk, where $\\Gamma(1)$ is the region between two tangent circles and the integral diverges logarithmically, settles the borderline case; if the analogous divergence failed in higher dimension, the threshold $\\alpha>-1$ would move.","supporting_citations":[{"cited_title":"weighted Bergman spaces","cited_arxiv_id":null,"evidence_quote":"Supplies the invariant-harmonic Carleson-measure theorem from which half of Theorem 14 is deduced after passing from these harmonic functions to holomorphic functions."},{"cited_title":"only if part","cited_arxiv_id":null,"evidence_quote":"Contains the embeddings that become Lemmas 5 and 7, the endpoint cases from which both parts of Theorem A are built."},{"cited_title":"Carleman, Zur theorie der minimalflachen, Math","cited_arxiv_id":null,"evidence_quote":"Establishes the original Carleson-measure theorem for derivatives of Hardy spaces in the upper half-space, the template adapted to the unit ball in Theorem 14."},{"cited_title":"Rudin, Function Theory in the Unit Ball of ℂ)u1D4⋯B, Springer, New York, 1980","cited_arxiv_id":null,"evidence_quote":"Sets up the derivative definition of weighted Bergman spaces and supplies the growth estimates used in the pointwise necessary conditions."},{"cited_title":"Wojtaszczyk, Banach Spaces for Analysts, Cambridge Univ","cited_arxiv_id":null,"evidence_quote":"Provides standard Hardy and Bergman space theory, including integral estimates and sphere-area identities used throughout the proofs."},{"cited_title":"Hardy spaces on the complex ball are isomorphic to Hardy spaces on the disc, 1 ≤ /u1D45D <∞","cited_arxiv_id":null,"evidence_quote":"Characterizes compact embeddings between weighted Bergman spaces and serves as the comparison model for compactness in Theorem B."}],"review_version":1}