{"id":"1a0a75ae-5855-41b3-91c6-da6e1251193a","arxiv_id":"2505.21268","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For admissible one-direction families of weighted composition operators on weighted Bergman spaces, essential norm commutes with integration when the weights have constant argument at the boundary direction.","lead":"The paper proves a general condition under which the essential norm of an integrated family of weighted composition operators on Bergman spaces equals the integral of their essential norms. This yields exact essential norm formulas for Volterra and generalized Hilbert matrix operators.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Main proof of Theorem 2.8 is sound, but the Volterra and Hilbert formulas in §4 drop a 1/t factor from u_t(1), so the printed essential-norm values are incorrect.","rationale":"I examined the central chain in Theorem 2.8. Proposition 2.7 establishes sup_{W_0} limsup ||S_t f_n|| ≤ lim_c ||S_t f_{c,ξ}||; since f_{c,ξ}∈W_0, the reverse inequality is automatic. The proof of this upper bound uses only local injectivity near ξ, the boundary-point condition, and the continuity of u_t and φ_t' near ξ; it does not use the horocycle condition (d). The final equality with the essential norm uses the (M_p) property for A^p_α and formula (2), which are standard and cited. Lemma 2.5 and dominated convergence justify interchanging lim_c and the t-integral when arg u_t(ξ) is constant. I therefore did not find a gap in the main theorem.\n\nThe reader's weakest assumption, condition (d), is not the load-bearing point. The condition is only invoked to assert equality in display (7), but that equality is not needed for Proposition 2.7 or Theorem 2.8. I disagree with the reader's choice of weakest assumption.\n\nThe real, concrete defect is in the examples. Both §4.1 and §4.2 appear to omit a 1/t factor in the boundary value u_t(1) of the weight. For the Volterra representation, the integral over t introduces a derivative ∂φ_t/∂t, which contains the factor (1-t)-type terms; at the boundary point 1 this is exactly the 1/t factor that is missing from the printed integrand. For the Hilbert matrix operator, the same missing factor changes the Beta-function evaluation. These are not cosmetic: the abstract explicitly promises calculation of essential norms of Volterra operators and generalized Hilbert matrix operators. The formulas as printed are therefore incorrect, even though the mechanism behind them, Theorem 2.8, appears valid.\n\nBecause the errors are localized and correctable, I recommend keeping the reader's conditional verdict rather than accepting or rejecting outright. The fix is a recomputation of the boundary limits in §4, and the corrected formulas should be checked against the known Beta-function expression for the Hilbert matrix essential norm.","tokens_in":16823,"tokens_out":34919,"duration_ms":378637,"concrete_test":"Recompute the §4 formulas from Theorem 2.8: for §4.1 take φ_t'(1)=1/t and u_t(1)=τL/t; for §4.2 take φ_t'(1)=(1-t)/t and u_t(1)=1/t, then evaluate ∫_0^1 |u_t(1)| φ_t'(1)^{-(2+α)/p}dt. If the results are |L|∫_0^1 t^{(2+α)/p-1}dt and B((2+α)/p,1-(2+α)/p) rather than the printed expressions, the example formulas in the paper are missing a factor and must be corrected.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The main theorem's proof survives scrutiny: Proposition 2.7's domination bound needs only the upper estimate, and the reverse inequality is immediate because the test sequence f_{c,ξ} lies in W_0. Thus the horocycle condition (d) is not actually load-bearing, contrary to the reader's weakest-assumption assessment. The genuine load-bearing problem is in §4. In the Volterra example, φ_t(z)=tz/(1-(1-t)z), so φ_t'(1)=1/t, while u_t(z)=τ(φ_t(z)/t)(1-φ_t(z))g'(φ_t(z)) gives u_t(1)=τ L/t with L=lim(1-z)g'(z). Theorem 2.8 therefore yields ||V_g||_e=|L|∫_0^1 t^{(2+α)/p-1}dt, not the printed ∫_0^1 t^{(2+α)/p}dt. In the Hilbert example, φ_t(z)=t/(1-(1-t)z), so φ_t'(1)=(1-t)/t, and u_t(1)=1/t; the correct integrand is t^{(2+α)/p-1}(1-t)^{-(2+α)/p}, not t^{(2+α)/p}(1-t)^{-(2+α)/p}. The corrected Hilbert value is B((2+α)/p,1-(2+α)/p)=π/sin(π(2+α)/p). These calculations are advertised in the abstract, so they must be fixed even though the proof of Theorem 2.8 is not affected.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies when the essential norm of an integrated family of weighted composition operators equals the integral of the essential norms on weighted Bergman spaces A^p_α (p>1, α≥0). It introduces the notion of an admissible family with a common boundary direction ξ, proves a sufficient interchange theorem (Theorem 2.8) under a constant-argument condition on u_t(ξ), and then applies this to compute essential norms of Volterra and generalized Hilbert operators. It also provides necessary conditions for the equality, including a two-direction failure analysis, and a short section on M-ideal characterizations.","tokens_in":17152,"tokens_out":39191,"duration_ms":391337,"significance":"If the main theorem is correct, it gives a clean geometric sufficient condition for the essential norm to commute with integration, avoiding univalence and Carleson-measure estimates. The proof of Theorem 2.8 is coherent and uses standard tools (Minkowski, Fatou, the (M_p) property, and approximate evaluation maps). The paper also supplies a non-univalent example and explicit calculations, which are valuable as test cases. However, the advertised applications in Section 4 contain a systematic exponent error that affects the printed values of the essential norms, and Proposition 3.1 has a proof gap. These issues are local and correctable, but they must be fixed before the paper can be accepted.","major_comments":[{"comment":"The final displayed formula for the essential norm of V_g is missing a factor t^{-1}. With u_t(z)=τ(φ_t(z)/t)(1-φ_t(z))g'(φ_t(z)) and φ_t(z)=zt/(1-(1-t)z), one has u_t(1)=τ L/t and φ_t'(1)=1/t. Therefore |u_t(1)|/φ_t'(1)^{(2+α)/p}=|L| t^{(2+α)/p-1}, not |L| t^{(2+α)/p}. The correct value is ∥V_g∥_e = |L| p/(2+α), where L=∠lim_{z→1}(1-z)g'(z). This error changes the advertised application and must be corrected.","section":"§4.1 (Volterra operator)"},{"comment":"The same missing t^{-1} factor appears in the generalized Hilbert matrix example. For u_t(z)=t^{λ-1}/(1-(1-t)z)^λ and φ_t(z)=t/(1-(1-t)z), we have u_t(1)=1/t and φ_t'(1)=(1-t)/t, so the integrand should be t^{(2+α)/p-1}(1-t)^{-(2+α)/p}. The correct essential norm is B((2+α)/p,1-(2+α)/p)=π/sin(π(2+α)/p), not the printed integral of t^{(2+α)/p}(1-t)^{-(2+α)/p}. This is the central example extending [9, Example 7.4], so the correction is essential.","section":"§4.2 (generalized Hilbert operator)"},{"comment":"The proof of Proposition 3.1 is incomplete. The assumption that no sequence (f_n)∈W_0(∂B_{A^p_α}) satisfies lim_n ∥S_t f_n∥=∥S_t∥_e for almost every t does not, by itself, imply the displayed strict inequality sup_{(f_n)} limsup_n ∥∫_0^1 S_t f_n dt∥ < ∫_0^1 ∥S_t∥_e dt. Minkowski's inequality only gives an upper bound by sup_{(f_n)} ∫ limsup_n ∥S_t f_n∥ dt, and passing from the non-existence of a pointwise maximizing sequence to strict inequality of the integrals requires a measurable-selection or compactness argument that is not supplied. The statement may be true under additional uniformity assumptions, but as written the proof does not establish it.","section":"§3, Proposition 3.1"}],"minor_comments":[{"comment":"In equation (3), the nontangential limit of (ξ-z)/(ξ-φ_t(z)) should be φ_t'(ξ)^{-1}, not φ_t(ξ)^{-1}. The surrounding argument confirms the intended limit.","section":"Eq. (3)"},{"comment":"The role of condition (d) in Proposition 2.7 is more delicate than a first reading suggests: the upper estimate alone gives a constant C, and the identification C=lim_c ∥S_t f_c∥ uses (d). Without (d), the domination inequality sup_{W_0}≤lim_c ∥S_t f_c∥ is not obtained.","section":"§2, condition (d)"},{"comment":"In the Volterra example, the notation 'lim_{z∈D,z→1}' near the final formula should specify the nontangential limit, consistent with the earlier definition of L.","section":"§4.1"},{"comment":"Several minor typos appear, such as 'INTEGRA TION' and 'F AMIL Y' in the title and 'easy-to-check' missing a hyphen; these should be cleaned up.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"The exponent errors in Section 4 are localized and the corrected values are standard; they do not affect the proof of Theorem 2.8. However, the gap in Proposition 3.1 needs a substantive fix or a reformulation. I recommend a major revision rather than rejection, as the core theorem appears sound and the issues are within the scope of a revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main result, Theorem 2.8, is the real thing: a clean sufficient condition for the essential norm to pass through integration for admissible families of weighted composition operators, with necessary conditions in Section 3 showing why two-direction families fail. The domination argument via the approximate evaluation maps f_{c,ξ} is genuinely new, and the proof is coherent, using standard tools (Minkowski, dominated convergence, the (M_p) property). It extends the earlier example in [9] to a general framework and yields new essential norms. Credit is due for that.\n\nThe serious problem is in Section 4. I checked the examples against the theorem. For the Volterra operator, φ_t'(1)=1/t and u_t(1)=|L|/t (with L=lim(1-z)g'(z)), so the integrand from Theorem 2.8 is t^{(2+α)/p-1}, not t^{(2+α)/p} as printed. For the generalized Hilbert operator, u_t(1)=1/t and φ_t'(1)=(1-t)/t, so the correct integrand is t^{(2+α)/p-1}(1-t)^{-(2+α)/p}, not t^{(2+α)/p}(1-t)^{-(2+α)/p}. The corrected Hilbert essential norm is B((2+α)/p, 1-(2+α)/p)=π/sin(π(2+α)/p), which is clean. Since these values are advertised in the abstract, the formulas must be fixed. The proof of Theorem 2.8 is not affected.\n\nI also want to flag that the stress-test note's claim about condition (d) is not right. The domination inequality in Proposition 2.7 genuinely needs (d): it is used to show that the test sequence f_{c,ξ} attains the upper bound, and without it the inequality B ≤ C in the proof of Theorem 2.8 is not established. The reverse inequality in the theorem does follow from f_{c,ξ} ∈ W_0, but only after the domination has been proved. So the reader's original weakest-assumption assessment was correct.\n\nMinor soft spot: Section 5 is a sketch, but it is clearly labeled as such and is not central to the paper. The reliance on the author's own prior work is acceptable because those lemmas and results are independently published.\n\nThis paper is for operator theorists working on Bergman spaces and essential norms. It deserves a serious referee; the main theorem is important enough, and the Section 4 error is local and fixable. My recommendation is to send it to peer review with a required revision of the examples.","headline":"The main interchange theorem is new and the proof holds up, but the Volterra and Hilbert essential-norm formulas in Section 4 are off by a missing t^{-1} factor and need correcting before the paper is publishable.","tokens_in":17638,"tokens_out":6369,"would_cite":true,"duration_ms":63645,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["47B91","47B38","47G10","30H20","47A30"],"pacs":[],"model":"deepseek-v4-flash","headline":"On weighted Bergman spaces, the essential norm of an averaged family of weighted composition operators equals the integral of their essential norms under a geometric admissibility condition.","keywords":["essential norm","weighted composition operators","weighted Bergman spaces","admissible family","approximate evaluation maps","Volterra operator","generalized Hilbert matrix operator","M-ideals of compact operators"],"falsifier":"Let $\\phi_t$ fix both $1$ and $-1$ and satisfy $(W_{-1,1})$, with $u_t$ chosen so that the two boundary quotients $\\Theta_t(-1)/\\Theta_t(1)$ vary with $t$; then Lemma 3.2 and Proposition 3.3 show $\\lim_c \\|\\int_0^1 S_t g_{c,\\theta}\\,dt\\| < \\int_0^1 \\lim_c \\|S_t g_{c,\\theta}\\|\\,dt$, so equality (1) fails for this concrete two-direction family.","tokens_in":16631,"feed_emoji":"📐","tokens_out":7876,"duration_ms":71423,"temperature":0.7,"pith_summary":"This paper proves a sufficient geometric condition under which the essential norm of an averaged family of weighted composition operators equals the average of their essential norms on the weighted Bergman spaces $A^p_\\alpha$ ($p>1$, $\\alpha\\ge0$). The condition, called admissibility, requires the composition symbols to share a single boundary direction $\\xi$, to fix that boundary point, and to map small neighbourhoods of it onto regions containing a horocycle touching $\\xi$; the weights must have continuous boundary behaviour and constant argument at $\\xi$. When it holds, Theorem 2.8 gives $\\|\\int_0^1 S_t\\,dt\\|_e = \\int_0^1 \\|S_t\\|_e\\,dt$, with both sides equal to $\\int_0^1 |u_t(\\xi)|/\\phi'_t(\\xi)^{(2+\\alpha)/p}\\,dt$. The value is that many integral operators, including Volterra and generalized Hilbert matrix operators, have such representations, so their essential norms can be read off from boundary data without constructing compact approximants. The paper also shows the equality is delicate: if the family touches the boundary at two points, it can fail even for simple symbols.","feed_headline":"Essential norm passes through the integral on weighted Bergman spaces","feed_subtitle":"For weighted composition families with one boundary direction, essential norm commutes with integration, giving exact Volterra and Hilbert…","key_machinery":"The load-bearing object is the admissible family: weights $u_t$ and composition symbols $\\phi_t$ sharing one boundary direction $\\xi$, with $\\phi_t(\\xi)=\\xi$, $\\phi_t(\\mathbb{D})$ touching $\\partial\\mathbb{D}$ only at $\\xi$, $\\phi_t$ and $u_t$ continuous near $\\xi$, and the horocycle condition that the image under $\\phi_t$ of every small neighbourhood of $\\xi$ contains a horocycle (a disk internally tangent to the unit circle at $\\xi$) touching $\\xi$; condition $(W_\\xi)$ adds the integrability and local continuity in $t$ needed for $\\int_0^1 S_t\\,dt$ to be a bounded operator. The proof engine is the comparison between approximate evaluation maps $f_{c,\\xi}=(\\xi-z)^{-c_n}/\\|(\\xi-z)^{-c_n}\\|$ and arbitrary weakly null sequences: Proposition 2.7 shows that under admissibility the former dominate the latter for each $S_t$, so the essential norm of $S_t$ is attained in the limsup sense by the same test sequence, allowing the interchange of supremum and integral.","core_discovery":"The central claim is Theorem 2.8: if $\\{S_t = u_t C_{\\phi_t}\\}$ is an admissible family with direction $\\xi\\in\\partial\\mathbb{D}$ and $\\arg u_t(\\xi)$ is constant in $t$, then on $A^p_\\alpha$, $$\\sup_{(f_n)\\in W_0(\\partial B_{A^p_\\$\\alpha$})}\\limsup_n \\left\\|\\$int_0^{1}$ S_t f_n\\,dt\\right\\|_{A^p_\\$\\alpha$} = \\$int_0^{1}$ \\lim_c \\|S_t f_{c,\\xi}\\|_{A^p_\\$\\alpha$}\\,dt = \\$int_0^{1}$ \\frac{|u_t(\\xi)|}{\\phi'_t(\\xi)^{(2+\\$\\alpha$)/p}}\\,dt,$$ and consequently $\\|\\int_0^1 S_t\\,dt\\|_e = \\int_0^1 \\|S_t\\|_e\\,dt$. The proof identifies the approximate evaluation maps $f_{c,\\xi}$ as maximizers for the essential norm of each $S_t$; Proposition 2.7 shows these test functions dominate every weakly null sequence of unit norm, so the usual upper bound from Minkowski's inequality is forced to be an equality. Section 3 supplies necessary conditions: for a family with two boundary directions, equality holds only when the boundary quotients $\\Theta_t(\\pm1)$ are pointwise proportional, which makes the two-direction case generically fail. The machinery is then applied to compute exact essential norms of Volterra operators and generalized Hilbert matrix operators, and to give an admissible example with non-univalent symbol.","pith_inferences":["A natural testable extension is to move from the disk to the unit ball or polydisk: if an analogous horocycle condition makes a family of weighted composition operators dominate all weakly null sequences, the same interchange of essential norm and integration should hold, with the boundary data rewritten in several variables.","The two-direction obstruction suggests a general heuristic for integral operators: equality (1) is expected precisely when all noncompact contributions concentrate at one boundary point; any averaging across different boundary points creates cancellation that strictly lowers the essential norm.","Because the method avoids Carleson-measure estimates and univalence, other integral operators with a mean-of-composition representation, for instance Cesàro-type or slant-type operators, could be treated by verifying the geometric admissibility conditions and then reading the essential norm off a one-dimensional boundary integral.","One could attempt to weaken condition (d) to a quantitative version: if the horocycle is replaced by a sector of fixed aperture, the domination by $f_{c,\\xi}$ might still hold with a constant, yielding a two-sided bound rather than equality; this would give an error term measuring how far (1) is from holding."],"forward_implications":["For Volterra operators $V_g$ with $(1-z)g'(z)$ bounded and continuous near $1$, the essential norm on $A^p_\\alpha$ is $|\\lim_{z\\to1}(1-z)g'(z)|\\int_0^1 t^{(2+\\alpha)/p}\\,dt$.","For the generalized Hilbert matrix operator $H_\\lambda$, the essential norm on $A^p_\\alpha$ is $\\int_0^1 t^{(2+\\alpha)/p}(1-t)^{-(2+\\alpha)/p}\\,dt$, extending a previous result to all admissible $\\alpha$.","A family with two boundary directions satisfies the interchange only under a rigid proportionality condition on the two boundary quotients; otherwise the strict Minkowski inequality gives $\\|\\int S_t\\,dt\\|_e < \\int \\|S_t\\|_e\\,dt$.","The proof does not need univalence of $\\phi_t$; Section 4.3 exhibits an admissible family with a non-univalent symbol and computes its essential norm.","Proposition 5.1 yields a new characterization of $K(X)$ being an $M$-ideal in $L(X)$ for separable $X$, replacing the norm in Kalton's upper bound by the essential norm."],"supporting_citations":[{"why":"Supplies the Julia-Carathéodory theorem and angular derivative identity used to prove the boundedness of $(\\xi-z)/(\\xi-\\phi_t(z))$ and the boundary limits in Lemma 2.5.","marker":"[2]"},{"why":"Gives property (M_p) for $A^p_\\alpha$, which identifies the essential norm with the supremum over weakly null sequences used throughout.","marker":"[7]"},{"why":"Earlier exact essential norm computation for generalized Hilbert matrix operators; provides the integral representation and the benchmark result extended in Section 4.2.","marker":"[9]"},{"why":"Provides the two-direction test functions $g_{c,\\theta}$ and the comparison result used in Proposition 3.3.","marker":"[12]"},{"why":"Standard reference for weighted Bergman spaces; supplies norm estimates and evaluation estimates used in Proposition 2.1 and Section 4.","marker":"[15]"},{"why":"Characterizes boundedness of Volterra operators on Bergman spaces, used in Section 4.1.","marker":"[1]"},{"why":"Characterizes boundedness of the Hilbert matrix operator on Bergman-type spaces, used in Section 4.2.","marker":"[5]"},{"why":"Defines property (M_p) and the equality of the essential norm with the weakly null supremum, used in the proof of Theorem 2.8.","marker":"[14]"}],"fun_headline_variants":["Essential norm integrates on Bergman spaces under one direction","When essential norm passes through the integral: Bergman criterion","Exact essential norms for Volterra and Hilbert via composition","Boundary direction decides essential norm integral equality","Commutativity of essential norm and integration on weighted Bergman"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the geometric condition (d): for every small neighbourhood of the boundary point $\\xi$, the image under $\\phi_t$ of that neighbourhood must contain a horocycle touching $\\xi$; only under this condition do the test functions $f_{c,\\xi}$ dominate every weakly null sequence, which is the step that turns the general upper bound into equality.","fun_headline_variants_meta":{"raw":{"variants":["Essential norm integrates on Bergman spaces under one direction","When essential norm passes through the integral: Bergman criterion","Exact essential norms for Volterra and Hilbert via composition","Boundary direction decides essential norm integral equality","Commutativity of essential norm and integration on weighted Bergman"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000165,"raw_usage":{"total_tokens":1268,"prompt_tokens":984,"completion_tokens":284,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":600,"completion_tokens_details":{"reasoning_tokens":206}},"tokens_in":600,"tokens_out":284,"duration_ms":3757,"temperature":1.0,"reasoning_tokens":206,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T13:34:28.181916+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Let $\\phi_t$ fix both $1$ and $-1$ and satisfy $(W_{-1,1})$, with $u_t$ chosen so that the two boundary quotients $\\Theta_t(-1)/\\Theta_t(1)$ vary with $t$; then Lemma 3.2 and Proposition 3.3 show $\\lim_c \\|\\int_0^1 S_t g_{c,\\theta}\\,dt\\| < \\int_0^1 \\lim_c \\|S_t g_{c,\\theta}\\|\\,dt$, so equality (1) fails for this concrete two-direction family.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives property (M_p) for $A^p_\\alpha$, which identifies the essential norm with the supremum over weakly null sequences used throughout."},{"cited_title":"Lindstr¨ om, S","cited_arxiv_id":null,"evidence_quote":"Earlier exact essential norm computation for generalized Hilbert matrix operators; provides the integral representation and the benchmark result extended in Section 4.2."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the two-direction test functions $g_{c,\\theta}$ and the comparison result used in Proposition 3.3."},{"cited_title":"Zhu.Operator theory in function spaces, volume 138 ofMathematical Surveys and Monographs","cited_arxiv_id":null,"evidence_quote":"Standard reference for weighted Bergman spaces; supplies norm estimates and evaluation estimates used in Proposition 2.1 and Section 4."},{"cited_title":"Aleman and A","cited_arxiv_id":null,"evidence_quote":"Characterizes boundedness of Volterra operators on Bergman spaces, used in Section 4.1."},{"cited_title":"Jevti´ c and B","cited_arxiv_id":null,"evidence_quote":"Characterizes boundedness of the Hilbert matrix operator on Bergman-type spaces, used in Section 4.2."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines property (M_p) and the equality of the essential norm with the weakly null supremum, used in the proof of Theorem 2.8."}],"review_version":1}