{"id":"123c82cc-fd76-446c-ad16-b2c666453705","arxiv_id":"2501.01627","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Zygmund's growth condition on the real part is sufficient, and in a natural class necessary, for a harmonic quasiregular mapping to belong to the Hardy space h1.","lead":"This paper proves that if the real part u of a harmonic quasiregular mapping grows no faster than Zygmund's condition u log+ u, then the whole mapping belongs to the Hardy space h1. It also proves a partial converse showing this growth condition cannot be weakened, and applies classical conjugate-function theorems to coefficient problems.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The Laplacian computation for |f| in §2.1 is wrong as printed: the cross term should be 2Re(\\overline{h'}g'f²), not 2Re(h'g'f²). The proof of inequality (2) needs this correction; the rest of the argument survives.","rationale":"The reader's weakest-assumption pick (uniform quasiregularity) is not where I find the risk. That bound is part of the definition and is used legitimately. The load-bearing soft spot is the computation of Δ|f| in §2.1: the printed formula has the wrong cross term. I confirmed this with a concrete harmonic example where the printed formula gives a nonzero Laplacian for a function whose modulus is locally harmonic. The mistake is consequential for the proof as written, since inequality (2) is derived from this formula. However, the final inequality is invariant under the needed correction, so the theorem itself is not threatened; the fix is a one-character change (conjugate h′ in the cross term). I would therefore change ACCEPT to CONDITIONAL: the paper is acceptable after the Laplacian computation is corrected. No other part of the argument—the lower bound for Δ(u log u), Green's theorem, the u≤−1 reduction, or the converses—appears to harbor a comparable issue.","tokens_in":8807,"tokens_out":28484,"duration_ms":247675,"concrete_test":"Recompute Δ|f| for f(z)=iz+\\bar z at z=1 using the identity Δ|f| = ΔU/(2|f|) − |∇U|²/(4|f|³) with U=|f|²; the true value is 0, while the printed formula gives 2√2. Then replace Re(h′g′f²) by Re(\\overline{h′}g′f²) in §2.1 and check that the derivation of Δ|f| ≤ (|h′|+|g′|)²/|f| and hence inequality (2) is unchanged.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Section 2.1 derives the central comparison Δ|f| ≤ K²Δ(u log u) from the displayed identity Δ|f| = [|f|²(|h'|²+|g'|²) − 2Re(h′g′f²)]/|f|³. This identity is not correct. For f=h+\\bar g, direct differentiation of |f|²=f\\bar f gives Δ|f| = [|f|²(|h'|²+|g'|²) − 2Re(\\overline{h'}g′f²)]/|f|³. The missing conjugate changes the value: for the harmonic function f(z)=iz+\\bar z (h=iz, g=z), at z=1 the true Laplacian of |f| is 0, whereas the printed formula yields 8/|f|³ = 2√2. Since the pointwise inequality used in Green's theorem is obtained from this displayed Laplacian, the proof as typeset is not formally valid. The defect is local and repairable: with the corrected cross term one obtains the same bound Δ|f| ≤ (|h'|+|g'|)²/|f| because −2Re(\\overline{h'}g′f²) ≤ 2|h′||g′||f|², so inequality (2) and the subsequent integration go through unchanged. Thus the central theorem remains credible, but the manuscript should be corrected before acceptance.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a Zygmund-type theorem for harmonic K-quasiregular mappings in the unit disk. Theorem 1 states that if f = u + iv is harmonic K-quasiregular, u ≥ 1 (or u ≤ −1), v(0) = 0, and u ∈ h log⁺ h, then f ∈ h¹ and M₁(r,f) is bounded by an explicit expression involving the integral of |u| log⁺ |u|. The proof compares the Laplacians of |f| and u log u via Green's theorem. Theorem 2 gives a partial converse, without quasiregularity but with Im h non-vanishing, showing that f ∈ h¹ forces u ∈ h log⁺ h. Section 3 applies the classical Riesz and Kolmogorov theorems to obtain Hardy–Littlewood type coefficient estimates for harmonic functions. The paper also includes a detailed introduction situating the results in the recent work of Liu–Zhu and Kalaj.","tokens_in":9097,"tokens_out":17490,"duration_ms":140107,"significance":"The main theorem is a natural and nontrivial extension of Zygmund's classical theorem to harmonic quasiregular mappings, a line of research advanced by Liu–Zhu and Kalaj. The proof is clean and the constants are explicit, including the quasiregularity parameter K. The partial converse and the coefficient application are useful additions. If the small algebraic error in the proof of Theorem 1 is corrected, the paper makes a solid contribution to the Hardy-space theory of harmonic quasiregular mappings.","major_comments":[{"comment":"The displayed identity for Δ|f| contains an algebraic error: the cross term should be 2Re(\\overline{h'} g' f²), not 2Re(h' g' f²). Direct differentiation of |f|² = (h + \\bar g)(\\bar h + g) gives Δ|f| = [ |f|²(|h'|² + |g'|²) − 2Re(\\overline{h'}g' f²) ] / |f|³. The error is visible in the intermediate step where the derivative of |f| with respect to \\bar z is taken; the factor should involve \\overline{h'} and \\overline{g'} in the second product. With the corrected identity, the subsequent bound Δ|f| ≤ (|h'| + |g'|)²/|f| follows exactly as written, because −2Re(\\overline{h'}g' f²) ≤ 2|h'||g'||f|². Thus the central inequality (2) and the rest of the proof of Theorem 1 remain valid after this local correction.","section":"Section 2.1"}],"minor_comments":[{"comment":"The decomposition of f in terms of U and V is written as f = ½(U + iV) + ½(\\bar U − i\\bar V), but the second term should be ½(\\bar U + i\\bar V) (equivalently, the conjugate of ½(U − iV)). The subsequent identification h = ½(U+iV) and g = ½(U−iV) is correct, so this appears to be a typo.","section":"Section 3, proof of Theorem 3(i)"},{"comment":"In the chain of inequalities bounding ∫ u log u dθ, the term |Φ| ∫ R dθ should be ∫ |Φ| R dθ, since Φ depends on θ. The final bound by (π/2)∫ R dθ is unaffected because |Φ| ≤ π/2, but the displayed inequality as written is not literally correct.","section":"Section 2.2, proof of Theorem 2"},{"comment":"There are several typographical errors, such as 'Kolm ogorov' in the abstract and inconsistent spacing in the references. These should be cleaned up in the final version.","section":"Abstract and Introduction"}],"recommendation":"minor_revision","confidential_remarks":"The paper is a good fit for a serious journal in complex analysis and geometric function theory. The main theorem is significant and the proof method is sound. The algebraic error in §2.1 is of a local nature and clearly repairable; it does not undermine the main result. The additional minor issues listed above should be addressed. I recommend minor revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe central result is real. Theorem 1 is a new Zygmund-type theorem for harmonic K-quasiregular mappings: if the real part satisfies u ≥ 1 and u ∈ h log⁺ h, then the whole mapping is in h¹, with an explicit bound involving K². This is the expected next step after the Liu–Zhu Riesz theorem and Kalaj’s Kolmogorov theorem, and it is genuinely absent from the prior literature. The partial converse (Theorem 2) is also new and shows the growth condition is sharp. Lemma 1, which upgrades f ∈ h¹ to F = h+g ∈ H¹ under a sign condition on Im h, is a neat and useful observation.\n\nThe proof strategy is transparent. The Green’s theorem comparison between Δ|f| and Δ(u log u) is the right tool, and the assumptions are chosen to make it clean: u ≥ 1 keeps f away from zero, so no regularization is needed. I verified the main steps and they check out, with one important exception.\n\nThere is a typo in the displayed Laplacian of |f| in §2.1. The cross term should be 2Re(\\overline{h′}g′f²), not 2Re(h′g′f²). The printed formula is numerically false (try f(z)=iz+\\bar{z} at z=1). The good news is that the subsequent inequality Δ|f| ≤ K² Δ(u log u) still goes through with the corrected identity, since the same absolute-value bound applies. So the theorem survives, but the manuscript must be corrected before it is in final form.\n\nMinor: the Section 3 applications overlap in part with Chen–Hamada [3]; a brief acknowledgment would be fair. Also, the hypothesis Im h ≠ 0 in Theorem 2 is restrictive, but the authors flag it and it is unavoidable in their argument.\n\nOverall: this paper deserves a serious referee and acceptance after a minor revision. The main result is new, the writing is honest, and the proof is repairable. I would cite it.","headline":"Genuine new Zygmund-type theorem for harmonic K-quasiregular mappings; the proof is sound except for a fixable conjugate typo in the Laplacian identity.","tokens_in":9670,"tokens_out":9627,"would_cite":true,"duration_ms":78753,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["31A05","30H10","30C62"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves Zygmund's theorem for harmonic quasiregular mappings: if the real part u satisfies the minimal growth condition u ∈ h log+ h and is bounded away from zero, then the whole mapping f, and in particular its imaginary part…","keywords":["Hardy spaces","harmonic mappings","quasiregular mappings","Zygmund theorem","h log+ h","Riesz theorem","Kolmogorov theorem","Hardy-Littlewood theorem"],"falsifier":"A concrete disproof would be a harmonic K-quasiregular map f = u + iv on the disk with u ≥ 1, v(0) = 0, u ∈ h log+ h, but ∫$₀^{{2π}}$ |f($re^{{iθ}}$)| dθ unbounded as r → 1. One can search for it among the extremal families for the Riesz inequality, numerically evaluating M₁(r, f) while keeping |ω| < k; if any such family violates inequality (1), the theorem fails.","tokens_in":8587,"feed_emoji":"🌀","tokens_out":9313,"duration_ms":86303,"temperature":0.7,"pith_summary":"This paper proves Zygmund's theorem for harmonic quasiregular mappings: if the real part u satisfies the minimal growth condition u ∈ h log+ h and is bounded away from zero, then the whole mapping f, and in particular its imaginary part v, lies in the harmonic Hardy space $h^{1}$, with an explicit bound involving the quasiregularity constant K. The result is false for general harmonic functions, so the uniform quasiregularity bound on the complex dilatation is exactly what restores the classical analytic-function conclusion. The proof compares the Laplacians of |f| and u log u to get Δ|f| ≤ $K^{2}$ Δ(u log u), then integrates via Green's theorem. A partial converse shows the growth condition is best possible.","feed_headline":"Zygmund's h^1 criterion holds for harmonic quasiregular maps","feed_subtitle":"A uniform distortion bound restores the classical result: if Re f grows like u log u, the whole map lands in h^1.","key_machinery":"The load-bearing object is the comparison of Laplacians Δ|f| ≤ K² Δ(u log u), with Δ(u log u) = |h' + g'|²/u and Δ|f| bounded above using the dilatation bound |ω| ≤ k. This inequality converts the growth of u into growth of |f|; integrating it via Green's theorem yields the integral-mean estimate (1). The converse uses the auxiliary analytic function F = h + g: when Im h is non-vanishing, f ∈ $h^{1}$ implies F ∈ $H^{1}$, and then a polar-coordinate estimate on Re(F log F) yields u ∈ h log+ h.","core_discovery":"Theorem 1 is the central discovery: a harmonic K-quasiregular mapping f = u + iv in the unit disk, with v(0) = 0 and u ≥ 1 (or u ≤ −1), belongs to $h^{1}$ whenever u ∈ h log+ h, and satisfies M₁(r, f) ≤ (K²/2π) ∫$₀^{{2π}}$ |u($re^{{iθ}}$)| log⁺|u($re^{{iθ}}$)| dθ + |u(0)|[1 − K² log|u(0)|]. In particular v ∈ $h^{1}$ with the same bound. The proof rests on the pointwise inequality Δ|f| ≤ K² Δ(u log u), where K = (1+k)/(1−k) and k is the uniform bound on the complex dilatation; this comparison transfers the Zygmund growth of u to the integral means of f. Theorem 2 provides a partial converse: for a harmonic f = h + overloaded{g} with Re f ≥ C and Im h non-vanishing, f ∈ $h^{1}$ forces Re f ∈ h log+ h, showing the growth condition cannot be weakened.","pith_inferences":["The method suggests a broader principle: under a uniform distortion bound, the distinction between h log+ h and h^1 that separates analytic from harmonic functions disappears; one might expect the same Laplacian comparison to work for other subharmonic growth functions.","If the authors' suspicion in Remark 1 is correct, the lower bound u ≥ 1 can be weakened to u ≥ C or even u > 0; testing this would amount to removing the positivity assumption in the Green's theorem step.","The explicit K² constant likely reflects the proof method rather than optimality; matching the sharp constants known for analytic functions (K = 1) and for Riesz-type inequalities may require a sharper comparison than Δ|f| ≤ K² Δ(u log u).","The same strategy of comparing the Laplacian of a nonlinear function of u with that of |f| could yield Zygmund-type criteria for membership in h^p for other p, not just p = 1."],"forward_implications":["If the real part u of a harmonic K-quasiregular mapping lies in h log+ h and is bounded away from zero, then the mapping itself, and its imaginary part, lie in h^1 — something that fails for general harmonic functions.","Since every h^p for p > 1 is contained in h log+ h, the theorem subsumes the Riesz-type results for 1 < p ≤ 2 in the quasiregular setting.","The converse (Theorem 2) shows the h log+ h restriction is sharp: any h^1 harmonic map with non-vanishing Im h has real part in h log+ h.","As an application, the Hardy–Littlewood coefficient theorem has a harmonic analogue: f ∈ h^p (1 < p ≤ 2) implies ∑ (n+1)^{p−2}(|a_n|^p + |b_n|^p) < ∞, and f ∈ h^1 implies this sum converges for every p < 1.","For decreasing coefficients a_n, b_n, f ∈ h^1 and Im h ≠ 0 imply ∑ (a_n + b_n)/(n+1) < ∞, the harmonic version of Pavlović's criterion."],"supporting_citations":[{"why":"Provides the classical Zygmund theorem and the h^p framework that the paper extends to quasiregular mappings.","marker":"[7]"},{"why":"Establishes the Riesz-type theorem for harmonic quasiconformal maps that motivates the growth-condition problem addressed here.","marker":"[12]"},{"why":"Gives the refined Riesz and Kolmogorov inequalities for harmonic quasiregular maps and the Green's theorem technique reused in the proof.","marker":"[10]"},{"why":"Supplies the decreasing-coefficient criterion used to derive the harmonic Hardy–Littlewood coefficient results in Theorem 3.","marker":"[16]"}],"fun_headline_variants":["Zygmund's theorem passes to quasiregular harmonic maps","Uniform distortion restores Zygmund's h^1 for harmonic maps","Quasiregularity rescues Zygmund's theorem for harmonic maps","Zygmund's growth condition on Re f suffices for quasiregular harmonic maps"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The theorem stands on the uniform bound |ω(z)| ≤ k < 1 for the complex dilatation, the property that defines K-quasiregularity; if that bound degrades (allowing k → 1 or no uniform bound), the Laplacian comparison Δ|f| ≤ K²Δ(u log u) breaks down and the conclusion is known to be false for merely harmonic functions.","fun_headline_variants_meta":{"raw":{"variants":["Zygmund's theorem passes to quasiregular harmonic maps","Uniform distortion restores Zygmund's h^1 for harmonic maps","Quasiregularity rescues Zygmund's theorem for harmonic maps","Zygmund's growth condition on Re f suffices for quasiregular harmonic maps"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001001,"raw_usage":{"total_tokens":4246,"prompt_tokens":967,"completion_tokens":3279,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":583,"completion_tokens_details":{"reasoning_tokens":3195}},"tokens_in":583,"tokens_out":3279,"duration_ms":21504,"temperature":1.0,"reasoning_tokens":3195,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T22:26:08.761912+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete disproof would be a harmonic K-quasiregular map f = u + iv on the disk with u ≥ 1, v(0) = 0, u ∈ h log+ h, but ∫$₀^{{2π}}$ |f($re^{{iθ}}$)| dθ unbounded as r → 1. One can search for it among the extremal families for the Riesz inequality, numerically evaluating M₁(r, f) while keeping |ω| < k; if any such family violates inequality (1), the theorem fails.","supporting_citations":[{"cited_title":"Liu and J.-F","cited_arxiv_id":null,"evidence_quote":"Establishes the Riesz-type theorem for harmonic quasiconformal maps that motivates the growth-condition problem addressed here."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the refined Riesz and Kolmogorov inequalities for harmonic quasiregular maps and the Green's theorem technique reused in the proof."},{"cited_title":"Pavlovi´ c","cited_arxiv_id":null,"evidence_quote":"Supplies the decreasing-coefficient criterion used to derive the harmonic Hardy–Littlewood coefficient results in Theorem 3."}],"review_version":1}