{"id":"dd7fc60c-0ca6-48c6-a6c1-d3dd28cd55be","arxiv_id":"2507.19158","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Real and imaginary parts of a harmonic quasiregular mapping on the unit disk belong to the same Bergman space a^p for every p>0, and univalent harmonic maps lie in a^p for p<1/α.","lead":"This paper proves that if the real part of a harmonic quasiregular map on the unit disk lies in a Bergman space, then the imaginary part does too, for every positive p. It also shows that univalent harmonic mappings belong to these spaces for a range of p tied to the class order.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 2 is false as stated (omits |h(0)|^p term); Theorem 1's proof depends on it, though the application with f(0)=0 is safe, so the gap is repairable.","rationale":"The paper's central claim, Theorem 1, extends the Hardy-Littlewood Bergman theorem to harmonic K-quasiregular mappings for all p>0. The proof for 0<p≤1 relies on Theorem D (Fefferman-Stein pointwise estimate), the Möbius-invariance argument yielding (8), and Lemma 2 giving (9). Theorem D is standard, and the derivation of (8) is sound. The load-bearing weak point is Lemma 2: the inequality quoted from Zhu's book is stated without the |h(0)|^p term or an h(0)=0 normalization, so the lemma is false for constant h. In the proof of Theorem 1, the authors assume f(0)=0; since g(0)=0, h(0)=0, so the corrected inequality holds. In Theorem 3's application, f∈S_H also gives h(0)=0. Hence the falsehood is repairable and does not threaten the theorem's correctness, but it is a genuine gap in the written proof that must be fixed. The secondary concern, the growth estimate (11) cited to [8, p.98] without proof, is standard for S_H and its adaptation to S_H(K) with α_K is plausible; the authors should supply the proof or a precise reference. The reader's CONDITIONAL verdict is appropriate.","tokens_in":8811,"tokens_out":26379,"duration_ms":238677,"concrete_test":"Check the statement on the cited page [25, p.85]; if it includes |h(0)|^p or assumes h(0)=0, amend Lemma 2 accordingly. Then verify that in Theorem 1's proof, after the WLOG reduction f(0)=0, h(0)=g(0)=0, so the corrected inequality applies and the proof of (9) goes through. If the cited source contains no such normalization, test the lemma with h≡1; the failure confirms the statement is false, and the proof must be revised.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3.1, Lemma 2: the inequality ∫_D |h|^p dA ≤ C_p ∫_D |h'|^p (1-|z|^2)^p dA is quoted from [25, p.85] without the |h(0)|^p term or an h(0)=0 hypothesis; it is false as written (take h≡1). The proof of Theorem 1 uses Lemma 2 to pass from (8) to (9). The authors do first normalize f(0)=0, and since g(0)=0, h(0)=0, so the intended version applies. However, Lemma 2 is stated as a general lemma for any harmonic K-quasiregular f=h+g, with no normalization, and it is also used in Theorem 3's proof (where f∈S_H gives h(0)=g(0)=0). Thus the misstatement does not invalidate the theorems, but as written the proof has a false lemma at a load-bearing step. A corrected lemma should either include |h(0)|^p on the left or state f(0)=0.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies analogues of the Hardy-Littlewood theorem for harmonic Bergman spaces in the class of harmonic K-quasiregular mappings of the unit disk. Theorem 1 asserts that if f=u+iv is harmonic K-quasiregular and u belongs to the harmonic Bergman space a^p, then v belongs to a^p with a norm bound depending only on p and K; the case 0<p≤1 is the main novelty. Corollary 1 gives an integral-mean growth estimate under the same hypothesis. Theorems 2 and 3 turn to univalent harmonic mappings in the classes S_H and S_H(K): they claim f∈a^p for p<1/α (resp. p<1/α_K), and that f_z, f_{\\bar z}∈A^q with f_θ, r f_r∈a^q for q<1/(α+1) (resp. 1/(α_K+1)). The proofs use the Fefferman-Stein local L^p estimate, a gradient bound, Möbius invariance of the measure dτ(z)=(1-|z|^2)^{-2}dA(z), a derivative-Bergman inequality, and coefficient/growth estimates for univalent harmonic mappings.","tokens_in":9087,"tokens_out":21324,"duration_ms":209602,"significance":"Assuming the repaired statements, the results are significant and timely. The normalized version of Theorem 1 would close the range 0<p≤1 that is inaccessible to the Hardy-space Riesz theorem for quasiregular mappings, matching the classical Hardy-Littlewood Bergman-theorem phenomenon. The Bergman-space membership of S_H for p<1/α and the derivative conclusions for f_θ and r f_r are new and cannot be obtained from the known Hardy-space inclusions; the explicit range q<1/(α+1) for the derivatives is a concrete quantitative contribution. The proofs are based on standard tools and are mostly transparent, although the key growth estimate for h′ is quoted rather than proved.","major_comments":[{"comment":"Theorem 1 as stated is false because no normalization on f(0) (or, equivalently, on v(0)) is imposed. For any M>0 and ε>0, the function f(z)=iM+ε z is a harmonic 1-quasiregular mapping with u(z)=ε Re z and v(z)=M+ε Im z. Then u∈a^p with ∥u∥_p = ε∥Re z∥_p, while ∥v∥_p is bounded below by a positive constant times M for M large relative to ε. Hence ∥v∥_p/∥u∥_p is unbounded as M/ε→∞, contradicting the claimed inequality ∥v∥_p≤C_{p,K}∥u∥_p. The proof's first line 'Without loss of generality, we assume that f(0)=0' is not valid for the norm inequality, since subtracting f(0) changes v by the constant v(0), and v(0) is not controlled by ∥u∥_p. The theorem must be restated with v(0)=0 (or with the conclusion ∥v-v(0)∥_p≤C_{p,K}∥u∥_p). Corollary 1 inherits the same defect.","section":"Theorem 1 and Corollary 1"},{"comment":"Lemma 2 is false as stated. For f≡1, one has h≡1 and g≡0, so the left side ∫_D |f|^p dA equals 1 while the right side is 0. The inequality for analytic h quoted from [25, p. 85] must either include a term |h(0)|^p on the left or assume h(0)=0. In the intended applications in Theorem 1 and Theorem 3 one has f(0)=0, hence h(0)=0, so the argument is repairable by adding the hypothesis f(0)=0 to Lemma 2. As written, however, the proof of Theorem 1 uses a false lemma at the step from (8) to (9), and the same lemma is invoked in the proof of Theorem 3.","section":"Section 3.1, Lemma 2"},{"comment":"The growth estimate |h′(re^{iθ})|≤(1+r)^{α_K-1}/(1-r)^{α_K+1} in (11) is load-bearing for Theorems 2 and 3, since it determines the admissible range p<1/α_K. The manuscript only says that 'an argument similar to that in [8, p. 98]' leads to the estimate, giving neither a proof nor the exact theorem in Duren's book. A similar estimate is evidently needed for the S_H case in Theorem 2. Because the exponent α_K+1 enters directly into the final range of p, the authors should state (11) as a lemma with a complete proof, or provide a precise citation, before the paper can be accepted.","section":"Section 3.3, estimate (11)"}],"minor_comments":[{"comment":"The representation of a complex-valued harmonic f is consistently written as f=h+g, but it should be f=h+\\bar g with g(0)=0; the authors themselves use f=h+\\bar g in Theorem 3. The current notation makes the definition of F=h+g in Lemma 1 confusing.","section":"Section 1.1 and Lemma 1"},{"comment":"In the proof of Theorem 3, the displayed identity f = 1/2(H+iG)+1/2(H-iG) is missing a conjugation: the correct formula is f = 1/2(H+iG)+1/2\\overline{(H-iG)}. The subsequent identification of g with 1/2(H-iG) depends on this.","section":"Section 3.3"},{"comment":"The identities for the angular and radial derivatives should be -i f_θ = z h' - \\overline{z g'} and r f_r = z h' + \\overline{z g'}; the overline on z g' is missing in the text.","section":"Section 3.3"},{"comment":"The claim that the case p>1 of Theorem 1 follows immediately from Theorem C needs a short dilation argument: for u_r(z)=u(rz), Theorem C gives M_p(s,v_r)≤C M_p(s,u_r), and one integrates over s and lets r→1. A sentence explaining this would help the reader.","section":"Section 3.1"},{"comment":"The change of order of integration in (7) is justified by Tonelli's theorem since all integrands are nonnegative; a brief remark to this effect would improve readability.","section":"Section 3.1"}],"recommendation":"major_revision","confidential_remarks":"The main theorem as stated is false, but the counterexample is a constant-shift phenomenon and the intended statement with v(0)=0 is very likely correct. The paper needs a careful revision of the statements of Theorem 1 and Corollary 1, a corrected Lemma 2, and a proof or precise citation for (11). I would be willing to review the revised version."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read the Das-Rasila paper. The main thing you should know: the central claim is solid, and the proof of Theorem 1 is essentially correct after one small repair. The paper proves the Bergman-space analogue of the Hardy-Littlewood conjugate theorem for harmonic K-quasiregular mappings for every p>0, including the previously open p≤1 range. That is a real result. It also improves known Bergman membership for univalent harmonic mappings to p<1/α and gives the same for harmonic quasiconformal maps. The tools are standard—Möbius invariance, Fefferman-Stein, Hardy-Stein identity—but the combination is not in the literature, and the p≤1 case is not a trivial rerun of the Hardy-space argument.\n\nThe main strength is Theorem 1. The proof strategy is transparent: local boundedness estimates, Möbius invariance, and a derivative-Bergman inequality reduce the problem to a one-line application of the classical Bergman conjugate theorem. I checked the normalization; they set f(0)=0, so h(0)=g(0)=0, and the inequality in Lemma 2 is valid in the only place it is used. The stress-test note is right that Lemma 2 as stated is false: the quoted inequality for analytic h omits the |h(0)|^p term. As written it is a false lemma at a load-bearing step. But the actual application is safe, and the repair—adding |h(0)|^p to the left or stating f(0)=0—is trivial. Still, the authors should fix it; a referee should not have to reverse-engineer that.\n\nWeaker spots: the proof of Theorem 3 relies on growth estimate (11) cited to Duren's book with “an argument similar to” rather than a demonstration. For a bridge from α_K to a Bergman exponent that is one of the paper's advertised improvements, this is thin. I do not think it is wrong—the estimate is standard for classes with bounded |h''/h'|—but it needs a few lines or a precise reference. Theorems 2 and 3 also get a bit hand-wavy on the derivative-to-function step; the appeal to [9, p.78] for h',g'∈A^q is fine, but the proof would be easier to verify if the exponent calculation were shown.\n\nThe citation pattern looks honest. The paper cites its own earlier work only as context, and the main derivation relies on Fefferman-Stein and standard Bergman theory. No circularity.\n\nWho this is for: anyone working on harmonic quasiregular mappings or Bergman-space inclusion theorems. It deserves a serious referee. My recommendation: send to peer review. The Lemma 2 misstatement and the under-proved growth estimate should be flagged as mandatory minor revisions, but they are not fatal.","headline":"Theorem 1 is likely right and genuinely extends the Bergman conjugate theorem to harmonic quasiregular maps for all p>0; the manuscript has a false lemma as stated and a thinly cited growth estimate, both repairable.","tokens_in":9600,"tokens_out":1753,"would_cite":true,"duration_ms":16384,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["30H20","31A05","30C62"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that a harmonic $K$-quasiregular mapping's real and imaginary parts always lie in the same harmonic Bergman space $a^p$, for every $p>0$.","keywords":["harmonic Bergman space","harmonic quasiregular mapping","harmonic conjugate","Hardy–Littlewood theorem","Riesz theorem","univalent harmonic mapping","quasiconformal mapping","integral mean estimate"],"falsifier":"Check the lemma exactly as stated with the conformal (hence $K$-quasiregular) map $f(z)=M+z$, so $h(z)=M+z$ and $g=0$: the left side $\\int_{\\mathbb{D}}|M+z|^p\\,dA$ grows like $|M|^p$ while the right side is bounded independently of $M$ because $h'=1$, so the lemma cannot hold without the normalization $h(0)=0$ that the theorem's proof quietly uses. To test Theorem 1 itself, one would need a harmonic $K$-quasiregular $f=u+iv$ with $u\\in a^p$ and $v\\notin a^p$ for some $0<p\\le1$; the paper offers none, and finding one would refute the theorem.","tokens_in":8648,"feed_emoji":"📐","tokens_out":19613,"duration_ms":171304,"temperature":0.7,"pith_summary":"The paper proves that the classical Hardy–Littlewood theorem on harmonic conjugates in Bergman spaces, previously known for analytic functions, holds for harmonic quasiregular mappings for every $p>0$. Concretely, if $f=u+iv$ is a harmonic $K$-quasiregular mapping of the unit disk and $u$ belongs to the harmonic Bergman space $a^p$, then $v$ belongs to $a^p$ as well, with $\\|v\\|_p \\le C_{p,K}\\|u\\|_p$. The interesting case is $0<p\\le 1$, where the analogous Hardy-space statement fails and no such symmetry was previously known. The paper also shows that univalent harmonic mappings and harmonic quasiconformal mappings belong to $a^p$ for a new range of $p$, and that their partial derivatives belong to corresponding Bergman spaces.","feed_headline":"Real and imaginary parts of quasiregular maps share Bergman spaces","feed_subtitle":"A classical Bergman-conjugate result now covers quasiregular maps for all p>0, including 0<p≤1.","key_machinery":"The argument is carried by three mechanisms. The first is the Fefferman–Stein subharmonic mean-value inequality and a gradient estimate, which convert local averages of $|u|^p$ into pointwise control of $|\\nabla u|$ and hence of $|h'|$, where $f=h+g$ is the canonical decomposition into analytic parts. The second is quasiregularity itself, expressed as the analytic dilatation bound $|\\omega|\\le k<1$, equivalently $|g'|\\le k|h'|$; this lets the estimates for $h'$ dominate the whole mapping. The third is a Möbius-invariant measure $d\\tau(z)=(1-|z|^2)^{-2}dA(z)$ together with pseudo-hyperbolic disks $B_\\varepsilon(a)$, which turn the local estimate into the global bound $\\int_{\\mathbb{D}}|h'|^p(1-|a|^2)^p\\,dA(a)\\le C_{p,K}\\int_{\\mathbb{D}}|u|^p\\,dA$, and Lemma 2 reduces $\\int_{\\mathbb{D}}|f|^p\\,dA$ to that same expression. For the univalent results, the order $\\alpha=\\sup_{f\\in S_H}|h''(0)/2|$ and the coefficient-growth estimates (10)–(11) combine with a Hardy–Stein identity to control the integral means of $h'$.","core_discovery":"Quasiregularity is the geometric condition that restores a Riesz-type symmetry in Bergman spaces: for a harmonic $K$-quasiregular $f=u+iv$ with $u\\in a^p$, the imaginary part $v$ is automatically in $a^p$, and the norms are comparable, $\\|v\\|_p \\le C_{p,K}\\|u\\|_p$, for every $0<p<\\infty$. The proof treats $p>1$ by the known Hardy-space Riesz theorem for quasiregular mappings and $0<p\\le1$ by a new argument using local estimates and a Möbius-invariant measure. In the second part, every univalent harmonic mapping $f$ in the normalized class $S_H$ belongs to $a^p$ for $p<1/\\alpha$, where $\\alpha$ is the order of the class, and $f_z, f_{\\bar z}\\in A^q$ and $f_\\theta, r f_r\\in a^q$ for $q<1/(\\alpha+1)$; the same conclusions hold for $K$-quasiconformal maps with $\\alpha$ replaced by $\\alpha_K$.","pith_inferences":["The same local-estimate mechanism should extend to quasiregular mappings of the unit ball in higher dimensions, since the Fefferman–Stein inequality and pseudo-hyperbolic geometry have higher-dimensional analogues; the paper does not assert this.","Because the quoted analytic inequality fails without the $h(0)=0$ normalization, a fully general version of Lemma 2 would need an added $|h(0)|^p$ term on the right, which would make the proof independent of the normalization $f(0)=0$.","If the sharp Hardy-space range $p<1/\\alpha$ for univalent harmonic maps is eventually established in full, the Bergman inclusion in Theorem 2 would match it, suggesting that $\\alpha$ captures the real geometric obstruction; the paper proves inclusion only, not sharpness."],"forward_implications":["If $u$ is integrable to power $p$ on the disk for a harmonic quasiregular map, so is $v$, with a norm constant depending only on $p$ and the quasiregularity constant $K$.","For $0<p\\le1$, the integral means satisfy $M_p(r,f)\\le C_{p,K}(1-r)^{-1/p}\\|u\\|_p$, giving the same growth rate as for a single Bergman function.","The normalized univalent harmonic class $S_H$ is contained in $a^p$ for $p<1/\\alpha$, going beyond the range $p<1/\\alpha^2$ that follows from the known Hardy-space result.","The partial derivatives $f_z$, $f_{\\bar z}$, $f_\\theta$, and $r f_r$ of univalent harmonic maps lie in Bergman spaces for a positive range of exponents, a conclusion that typically fails in Hardy spaces.","For $K$-quasiconformal maps in $S_H(K)$, the same membership holds with $\\alpha_K$ in place of $\\alpha$, and for large $K$ this beats the earlier range $p<1/(2K)$."],"supporting_citations":[{"why":"Supplies the Fefferman–Stein subharmonic mean-value inequality used to control the analytic part from local averages of $|u|^p$.","marker":"[11]"},{"why":"Is the classical Hardy–Littlewood Bergman theorem for conjugate functions that the paper extends to quasiregular maps.","marker":"[12]"},{"why":"Provides the Hardy-space Riesz theorem for harmonic quasiregular mappings used in the $p>1$ case.","marker":"[18]"},{"why":"Gives the sharpened Riesz-type theorem for harmonic quasiregular mappings relied on for the $p>1$ input.","marker":"[4]"},{"why":"Supplies the pseudo-hyperbolic disk geometry and the analytic Bergman inequality quoted in Lemma 2.","marker":"[25]"},{"why":"Contains the Möbius-invariant measure, the gradient estimate, and an alternative proof of the Bergman conjugate theorem.","marker":"[20]"},{"why":"Provides the integral-mean estimate used to prove Corollary 1.","marker":"[22]"},{"why":"Gives the growth estimate for $|h'|$ on which the univalent and quasiconformal membership proofs depend.","marker":"[8]"}],"fun_headline_variants":["Quasiregular maps: Bergman membership of u forces v for all p","Riesz-type Bergman theorem holds for quasiregular harmonic maps","Hardy-Littlewood for quasiregular maps in Bergman spaces, all p","Imaginary part inherits Bergman space from real part via quasiregularity","Quasiregularity restores Bergman space symmetry between u and v"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of Theorem 1 depends on a quoted Bergman inequality for analytic $h$ that is false unless $h(0)=0$; the proof secretly has this normalization because it sets $f(0)=0$, but the lemma itself does not state it, and the inequality as written is refuted by $h(z)=M+z$ for large $M$, while Theorems 2 and 3 additionally rely on a growth estimate for $|h'|$ cited without proof.","fun_headline_variants_meta":{"raw":{"variants":["Quasiregular maps: Bergman membership of u forces v for all p","Riesz-type Bergman theorem holds for quasiregular harmonic maps","Hardy-Littlewood for quasiregular maps in Bergman spaces, all p","Imaginary part inherits Bergman space from real part via quasiregularity","Quasiregularity restores Bergman space symmetry between u and v"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000928,"raw_usage":{"total_tokens":4009,"prompt_tokens":1016,"completion_tokens":2993,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":632,"completion_tokens_details":{"reasoning_tokens":2884}},"tokens_in":632,"tokens_out":2993,"duration_ms":21928,"temperature":1.0,"reasoning_tokens":2884,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T18:01:47.787548+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check the lemma exactly as stated with the conformal (hence $K$-quasiregular) map $f(z)=M+z$, so $h(z)=M+z$ and $g=0$: the left side $\\int_{\\mathbb{D}}|M+z|^p\\,dA$ grows like $|M|^p$ while the right side is bounded independently of $M$ because $h'=1$, so the lemma cannot hold without the normalization $h(0)=0$ that the theorem's proof quietly uses. To test Theorem 1 itself, one would need a harmonic $K$-quasiregular $f=u+iv$ with $u\\in a^p$ and $v\\notin a^p$ for some $0<p\\le1$; the paper offers none, and finding one would refute the theorem.","supporting_citations":[{"cited_title":"Fefferman and E","cited_arxiv_id":null,"evidence_quote":"Supplies the Fefferman–Stein subharmonic mean-value inequality used to control the analytic part from local averages of $|u|^p$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Is the classical Hardy–Littlewood Bergman theorem for conjugate functions that the paper extends to quasiregular maps."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the pseudo-hyperbolic disk geometry and the analytic Bergman inequality quoted in Lemma 2."},{"cited_title":"Pavlovi´ c.Function classes on the unit disc—an introduction , volume 52 of De Gruyter Studies in Mathematics","cited_arxiv_id":null,"evidence_quote":"Contains the Möbius-invariant measure, the gradient estimate, and an alternative proof of the Bergman conjugate theorem."},{"cited_title":"Sobolewski","cited_arxiv_id":null,"evidence_quote":"Provides the integral-mean estimate used to prove Corollary 1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the growth estimate for $|h'|$ on which the univalent and quasiconformal membership proofs depend."}],"review_version":1}