{"id":"c09ba81b-44bf-4a3e-9496-03143827b764","arxiv_id":"1908.01320","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For analytic functions f on the unit disc whose alpha-th power is a sum of two weighted Bergman kernel functions, the sharp norm inequality ||f||_{A^{2alpha}_alpha} <= ||f||_{H^2} holds for all alpha > 1.","lead":"This paper computes how certain weighted norms of analytic functions change when the weight exponent changes, then uses the sign of that change to prove a sharp Hardy-Littlewood inequality for functions built from two kernel terms. The result is a partial step toward a long-standing conjecture with recent applications to Dirichlet polynomials and the Riemann zeta function.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.1 hinges on an unproved derivative identity for N_β; the argument is valid only if this identity is correct, yet the paper dismisses it as 'by straight-forward computation'.","rationale":"The reader's weakest assumption correctly identifies the derivative identity in Theorem 4.1 as the most fragile point. I attempted a concrete consistency check for a non-trivial case (w=(0,0.5), c=(1,1), α=2) and found the asserted derivative formula and the definition of \\hat D_β to be mutually consistent, so the concern is about a missing derivation rather than a demonstrated error. However, the proof of the paper's central theorem genuinely rests on this unproved identity, and the manuscript's own admission of a false monotonicity claim in Theorem 3.6's proof makes it imprudent to accept the identity without an explicit computation. The verdict CONDITIONAL is therefore appropriate; the change would be to UNCHANGED only if the derivative identity is supplied or independently verified. I do not see a more serious objection to Theorem 4.1: the reduction steps for two kernels are plausible, the use of Theorem 3.8 is limited to real w where its deformation argument is sound, and the numerical test I performed supports the derivative formula. The flaw in Theorem 3.6 does not directly enter Theorem 4.1. Thus the reader's conditional acceptance is the right call, pending the requested computation.","tokens_in":16846,"tokens_out":49130,"duration_ms":432113,"concrete_test":"Independently derive d/dβ N_β for N_β = (f W_β^{-1} f*)^{1/β}, with f_i = F^β(w_i), using the chain rule and the identities d/dβ W_β = -W_β ∘ Log(1-w_i\\bar w_j). Compare the result with (1/β^2) N_β^{1-β} \\hat D_β(f,w). Then evaluate both sides numerically for w=(0,0.5), F^2 = 1 + (1-0.5 z)^{-2}, and β=1.2, 1.5, 1.8; if the two sides differ by more than numerical error, Theorem 4.1's proof collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central chain in Theorem 4.1 case (1) is: for N_β := (F^β(w) W_β^{-1} F^β(w)*)^{1/β}, the derivative is asserted to be d/dβ N_β = (1/β^2) N_β^{1-β} \\hat D_β(F^β(w), w), and the inequality \\hat D_β ≤ 0 then gives monotonicity of N_β. Every subsequent inequality (N_α^{1/2} ≤ N_β^{1/2}, then the Hardy-norm bound) depends on this identity. The paper does not display the computation or state the branch conditions needed for the logarithms in \\hat D_β to match the derivative of F^β(w). Without this derivation, Theorem 4.1 is unsupported at its decisive step. A spot check with w=(0,0.5), c=(1,1), α=2 gives consistency, so the issue is an omitted proof rather than a known falsehood, but the gap is load-bearing. The paper's own admission in Section 5.2 that a monotonicity assertion in the proof of Theorem 3.6 is contradicted numerically further underscores that 'by straight-forward computation' assertions in this manuscript need independent verification.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the inequality ||f||_{A_α^{2α}} ≤ ||f||_{H^2} for α>1, which is equivalent to a Hardy-Littlewood/Carleman-type inequality. For zero-free f in H^2, the authors define N_f(α)=||f||_{A_α^{2α}} and observe that if N_f is decreasing in α, then the desired a priori inequality follows. The main technical result is a discrete derivative formula for ∂_α N_f(α) when f^α is a finite linear combination of reproducing kernels of A^2_α (Theorem 2.4), expressed through a quantity D_f(α). Several sufficient conditions for D_f(α)≤0 are given (Theorems 2.7, 3.6, 3.8). The central application is Theorem 4.1: if f=ηF with η inner and F zero-free, and if F^α is a linear combination of exactly two reproducing kernels, then ||F||_{A_α^{2α}} ≤ ||F||_{A_β^{2β}} for every 1≤β≤α, and consequently ||f||_{A_α^{2α}}≤||f||_{H^2}, with equality only for one-kernel functions. Some numerical evidence is presented in Section 5.","tokens_in":17085,"tokens_out":16126,"duration_ms":138527,"significance":"If the main theorem is correct, it gives a nontrivial partial resolution of a long-standing conjecture by proving the inequality for a dense family of two-kernel combinations, and it identifies the extremal functions. The derivative formula for finite kernel combinations is elegant and potentially useful beyond this application. The reduction from an infinite-dimensional norm inequality to a finite-dimensional algebraic sign condition is a promising strategy. The paper also provides explicit equality characterizations and numerical evidence. However, the central proof relies on an unproved derivative identity, and the paper itself reports a numerical failure of a related monotonicity statement; these issues must be resolved before the result can be accepted.","major_comments":[{"comment":"The identity d/dβ N_β = (1/β^2) N_β^{1-β} \\hat D_β(F^β(w),w) is asserted as 'by straight-forward computation' but is not derived. This identity is the exact bridge that converts the algebraic inequality \\hat D_β≤0 into the monotonicity N_α^{1/2}≤N_β^{1/2}, so it is load-bearing for the main theorem. The computation is not routine: it requires differentiating F^β(w) with respect to β, which involves log F(w), and reconciling the branch of log F^β with the principal branch Log used in \\hat D_β. Please provide the complete derivation and state precisely the branch assumptions needed for each β∈[1,α].","section":"Section 4, proof of Theorem 4.1, case (1), after Definition 4.3"},{"comment":"The paper states that 'In the proof of Theorem 3.6, we showed that Dα(c,w) is non-increasing in α under the given conditions. However, Figure 1 shows that this is not always true.' As written, the proof of Theorem 3.6 derives D_α(c,w)≤0 from the monotonicity of D_t along the path t∈[0,α]. If that path monotonicity can fail, the proof is invalid. The authors must clarify exactly which monotonicity statement is false, correct the proof if possible, or else withdraw or restrict Theorem 3.6 and identify which of the paper's claims remain supported.","section":"Section 5.2(1)"},{"comment":"Two assertions in the proof of Theorem 3.8 are also made without derivation: the formula d/dt D_t = |c1|^2 (d/dt a11,t) Log(|f1,t|^2/(a11,t N_t)) and the equality D_1=0. Since Theorem 4.1 relies directly on Theorem 3.8 to conclude \\hat D_β≤0, these steps should be expanded. In light of the admitted numerical failure of a similar monotonicity argument in Section 5.2, the 'by direct computation' statements in this proof need independent verification.","section":"Theorem 3.8 proof"}],"minor_comments":[{"comment":"The word 'Hadmadard' should be 'Hadamard' in the phrase 'Hadmadard product'.","section":"Section 5.1(2)"},{"comment":"The name 'Jenson' should be 'Jensen' in the proof of Lemma 3.7.","section":"Lemma 3.7 proof"},{"comment":"The notation n_i and m_i in equation (1.4) is introduced without a defining sentence; a brief explanation would improve readability.","section":"Equation (1.4)"},{"comment":"Remark 2.6 attributes a question about monotonicity of N_f(α)^{2α} to reference [4], but the introduction attributes a closely related question to [6, Question 1]; please verify the intended reference.","section":"Remark 2.6"},{"comment":"Theorem 3.9 condition (1) should explicitly note that the points w_i are real because (c,w) is assumed to lie in Λ_α∪Γ; otherwise the statement appears to claim the result for arbitrary w∈D^k, which is not proved in the text.","section":"Theorem 3.9"}],"recommendation":"major_revision","confidential_remarks":"The main theorem is likely correct and the approach is promising, but the proof has a genuine gap at the derivative identity in Section 4, and the internal admission in Section 5.2 about a false monotonicity statement means the authors' 'straight-forward computation' assertions need to be audited. If the derivative identity cannot be proved, Theorem 4.1 is unsupported. The authors should also clarify the status of Theorem 3.6 before resubmission."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know before reading. The paper does something real: it computes the alpha-derivative of N_f(alpha) on the dense set of functions whose alpha-th power is a finite linear combination of Bergman kernels (Thm 2.4), and derives the contraction inequality when F^alpha = c1 K_{w1,alpha} + c2 K_{w2,alpha} (Thm 4.1). That is a new partial result toward Conjectures 1 and 2, not a repackaging. The Stoke's/residue computation behind Thm 2.4 is the strongest part; the branch handling there appears to hold together. The two-kernel theorem also has correct equality cases.\n\nThe soft spots are in proportion. The decisive derivative identity in Thm 4.1, d/dβ N_β = (1/β^2) N_β^{1-β} \\hat D_β(...), is asserted 'by straight-forward computation' and never shown. That is a load-bearing omission. The whole chain N_α^{1/2} ≤ N_β^{1/2} depends on it, and the branch choice in \\hat D must match the derivative of F^β(w); neither is discussed. I ran the spot check and it is consistent, so I suspect it is true, but 'straightforward' is not enough at the hinge of the paper's main application.\n\nMore worrying is the admission in Section 5.2(1). In the proof of Theorem 3.6 the reader is told D_α is non-increasing in α; Figure 1 contradicts that. The authors flag it, which is honest, but it means the proof of Theorem 3.6 as printed is not valid. That does not directly kill Theorem 4.1 because the k=2 case is handled by a different deformation (Theorem 3.8), but it poisons the authority of the phrase 'by straight-forward computation' elsewhere in the manuscript. Any referee should ask for a rewrite of Section 3 and full details of the derivative identity.\n\nOn the citation pattern: the relevant prior work by Burbea and by Brevig–Ortega-Cerdà–Seip–Zhao is cited and used fairly. No fitted parameters; no circularity in the main inequality.\n\nWho this is for: people working on Hardy/Bergman contractivity and its applications to Dirichlet polynomials. A serious referee should see it, not a desk reject. If the derivative identity is verified and Thm 3.6 is repaired or clearly separated from the main argument, this is a publishable partial result.","headline":"A real partial advance on the Hardy–Littlewood contraction conjecture, with a new derivative calculus and a two-kernel theorem—but the main proof's decisive derivative identity is asserted rather than shown, and the paper itself admits a monotonicity step in Theorem 3.6 is numerically false.","tokens_in":17612,"tokens_out":3888,"would_cite":true,"duration_ms":39251,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["30H20","30H10"],"pacs":[],"model":"deepseek-v4-flash","headline":"For two-kernel combinations of reproducing kernels, the generalized Carleman inequality holds, with equality only for a single kernel.","keywords":["Carleman's inequality","Hardy-Littlewood inequality","weighted Bergman spaces","Hardy spaces","reproducing kernels","norm monotonicity","derivative formula","unit disc"],"falsifier":"Take $\\alpha=3/2$, $w_1=0$, $w_2=0.6$, $c_1=1$, $c_2=1+i$, and compute $N_f(\\beta)$ numerically on a fine grid of $\\beta\\in[1,\\alpha]$. A single $\\beta$ where $N_f(\\beta)$ increases, or where the finite-difference derivative disagrees with the paper's formula (2.5)-(2.6), would refute Theorem 4.1.","tokens_in":16646,"feed_emoji":"📐","tokens_out":7667,"duration_ms":68570,"temperature":0.7,"pith_summary":"Carleman's inequality and its Hardy-Littlewood generalization assert that a holomorphic function's weighted Bergman norm is controlled by its Hardy norm. The paper attacks the generalized form by studying how the norm $N_f(\\alpha)=\\|f\\|_{A_\\alpha^{2\\alpha}}$ varies with $\\alpha$: if it always decreases, the inequality follows. For functions whose $\\alpha$-th power is a finite sum of reproducing kernels, the authors compute the derivative exactly. They then prove the decrease—and hence the norm inequality—when only two kernels are involved, with equality only for a single kernel. If the same decrease could be shown for all finite sums, the full conjecture would follow.","feed_headline":"Carleman-type inequality proven for two-kernel sums","feed_subtitle":"Weighted Bergman norm decreases in α for sums of two kernels, proving the conjecture there.","key_machinery":"The central object is the reproducing kernel $K_{w,\\alpha}(z)=(1-\\bar w z)^{-\\alpha}$ of the weighted Bergman space $A_\\alpha^2$, together with the exact derivative formula of Theorem 2.4: when $f^\\alpha=\\sum_i c_iK_{w_i,\\alpha}$, one has $\\partial_\\alpha N_f(\\alpha)=\\frac{1}{2\\alpha^2}N_f(\\alpha)^{1-2\\alpha}D_f(\\alpha)$, where $D_f(\\alpha)$ is a bilinear sum of logarithmic terms involving the values of $f^\\alpha$, the points $w_i$, and the norm itself. The proof of the two-kernel theorem rests on an identity for the projected norm, $\\frac{d}{d\\beta}N_\\beta=\\frac{1}{\\beta^2}N_\\beta^{1-\\beta}\\widehat D_\\beta(F^\\beta(w),w)$, where $\\widehat D_\\beta$ is the two-kernel version of $D_f$. The sign of $\\widehat D_\\beta$ controls monotonicity, and Theorem 3.8 shows it is always non-positive for two points, with equality only when one coefficient vanishes or the two points coincide. The integral computations leading to the derivative formula use Stokes' theorem and residue calculus to evaluate logarithmic integrals over the disc.","core_discovery":"The central claim is Theorem 4.1: suppose $f\\in H^2$ factors as $f=\\eta F$, where $\\eta$ is inner and $F$ is zero-free, and suppose that for some $\\alpha>1$ the function $F^\\alpha$ is a linear combination of two reproducing kernels, $F^\\alpha=c_1K_{w_1,\\alpha}+c_2K_{w_2,\\alpha}$ with $K_{w,\\alpha}(z)=(1-\\bar w z)^{-\\alpha}$. Then for every $1\\le \\beta\\le \\alpha$, the norm inequality $\\|F\\|_{A_\\alpha^{2\\alpha}}\\le \\|F\\|_{A_\\beta^{2\\beta}}$ holds, with equality if and only if $F^\\alpha$ is a single kernel term. Consequently $\\|f\\|_{A_\\alpha^{2\\alpha}}\\le\\|f\\|_{H^2}$, with equality exactly when $f=cK_{w,1}$. The proof differentiates the projected norm $N_\\beta=\\|P_{w,\\beta}F^\\beta\\|^{1/\\beta}_{A_\\beta^2}$ and shows that its derivative has the sign of a two-kernel expression $\\widehat D_\\beta$, which the authors prove is non-positive. This settles the generalized Carleman/Hardy-Littlewood inequality for a non-integer range of $\\alpha$, not just integer $\\alpha$ as in Burbea's earlier result.","pith_inferences":["Because finite linear combinations of reproducing kernels are dense in $A_\\alpha^2$, the remaining obstacle to the full conjecture is purely finite-dimensional: prove $D_\\alpha(c,w)\\le 0$ for all $k$, $c$, and $w$. The numerical examples in the paper suggest the sign is subtle for $k\\ge 3$, so a counterexample may exist.","The same derivative machinery could be adapted to other one-parameter families of norms, such as weighted Bergman norms with different weights, or to Hardy spaces over the infinite-dimensional torus via the Bohr transform, where contractive inequalities imply bounds for Dirichlet polynomials.","A testable next step is to search numerically for $k=3$ complex coefficients where $D_\\alpha(c,w)>0$, since the paper's sufficient conditions (positive coefficients, collinear points) do not cover that case; finding one would delimit exactly how far the monotonicity program can go."],"forward_implications":["For any $f\\in H^2$ whose $\\alpha$-th power is a two-kernel combination, Conjecture 2 holds: $\\|f\\|_{A_\\alpha^{2\\alpha}}\\le\\|f\\|_{H^2}$ for every $\\alpha>1$, with extremals exactly the single reproducing kernels.","The stronger monotonicity statement $\\|F\\|_{A_\\alpha^{2\\alpha}}\\le\\|F\\|_{A_\\beta^{2\\beta}}$ for $1\\le\\beta\\le\\alpha$ holds in this class, so the norm is decreasing in the parameter $\\beta$.","By Corollary 4.4, the conclusion transfers to Conjecture 1 for $p=2/\\alpha$, yielding $\\|f\\|_{A^2_{2/p}}\\le\\|f\\|_{H^p}$ for such functions.","The derivative formula gives a finite, computable criterion $D_\\alpha(c,w)\\le 0$ that would imply the full Conjecture 2 if established for all finite kernel sums, as shown in Proposition 3.3.","The equality cases identify the extremal functions of the inequality as $f(z)=c/(1-\\bar w z)$, matching the known extremal for Carleman's inequality."],"supporting_citations":[{"why":"Poses Conjecture 2 and Question 1, proves the integer-$\\alpha$ case, and supplies the lemma that integer powers are monotone; the paper targets this conjecture.","marker":"[6]"},{"why":"Burbea's sharp inequalities prove (1.3) for integer $\\alpha>1$, the result that Theorem 4.1 extends to non-integer $\\alpha$ for two-kernel functions.","marker":"[9]"},{"why":"Aronszajn's reproducing kernel theory supplies the kernel functions $K_{w,\\alpha}$ and the Hilbert-space structure used throughout.","marker":"[1]"},{"why":"Carleman's original inequality is the $p=1$ case embedded in the conjecture.","marker":"[10]"},{"why":"Vukotić's exposition connects Carleman's inequality to the Hardy-Littlewood embedding and the isoperimetric theorem, framing the problem.","marker":"[14]"},{"why":"Zhu's limit (2.1) between Bergman and Hardy norms is used to turn monotonicity in $\\alpha$ into the norm inequality.","marker":"[16]"}],"fun_headline_variants":["Two-kernel sums verify Carleman-type norm bound","Sharp inequality holds for two reproducing kernels","Norm monotonicity proven for two-kernel combinations","Carleman-type bound proven via two-kernel derivatives","Two-kernel F^α yields norm decrease theorem"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof's load-bearing step is an unproved derivative identity, stated as 'by straight-forward computation', for the projected two-kernel norm; if that identity is not exactly right, the norm inequality does not follow.","fun_headline_variants_meta":{"raw":{"variants":["Two-kernel sums verify Carleman-type norm bound","Sharp inequality holds for two reproducing kernels","Norm monotonicity proven for two-kernel combinations","Carleman-type bound proven via two-kernel derivatives","Two-kernel F^α yields norm decrease theorem"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000213,"raw_usage":{"total_tokens":1432,"prompt_tokens":963,"completion_tokens":469,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":579,"completion_tokens_details":{"reasoning_tokens":394}},"tokens_in":579,"tokens_out":469,"duration_ms":5222,"temperature":1.0,"reasoning_tokens":394,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:17:45.585142+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $\\alpha=3/2$, $w_1=0$, $w_2=0.6$, $c_1=1$, $c_2=1+i$, and compute $N_f(\\beta)$ numerically on a fine grid of $\\beta\\in[1,\\alpha]$. A single $\\beta$ where $N_f(\\beta)$ increases, or where the finite-difference derivative disagrees with the paper's formula (2.5)-(2.6), would refute Theorem 4.1.","supporting_citations":[{"cited_title":"Brevig, J","cited_arxiv_id":null,"evidence_quote":"Poses Conjecture 2 and Question 1, proves the integer-$\\alpha$ case, and supplies the lemma that integer powers are monotone; the paper targets this conjecture."},{"cited_title":"Burbea, Sharp inequalitites for holomorphic functions","cited_arxiv_id":null,"evidence_quote":"Burbea's sharp inequalities prove (1.3) for integer $\\alpha>1$, the result that Theorem 4.1 extends to non-integer $\\alpha$ for two-kernel functions."},{"cited_title":"Aronszajn, Theory of reproducing kernels, Trans","cited_arxiv_id":null,"evidence_quote":"Aronszajn's reproducing kernel theory supplies the kernel functions $K_{w,\\alpha}$ and the Hilbert-space structure used throughout."},{"cited_title":"Carleman, Zur theorie der minimalfl¨ achen,Math","cited_arxiv_id":null,"evidence_quote":"Carleman's original inequality is the $p=1$ case embedded in the conjecture."},{"cited_title":"Vukoti´ c, The isoperimetric inequality and a theorem of Hardy and Littlewood","cited_arxiv_id":null,"evidence_quote":"Vukotić's exposition connects Carleman's inequality to the Hardy-Littlewood embedding and the isoperimetric theorem, framing the problem."},{"cited_title":"Zhu, Translating inequalities between Hardy and Bergman spaces","cited_arxiv_id":null,"evidence_quote":"Zhu's limit (2.1) between Bergman and Hardy norms is used to turn monotonicity in $\\alpha$ into the norm inequality."}],"review_version":1}