{"id":"ceb1b100-e28e-4cce-8134-9e819a399356","arxiv_id":"2411.16966","paper_version":2,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For K-quasiregular maps of the upper half plane, the geometric-mean distance h_{H2,c} is shown to satisfy an explicit distortion bound, and h_{H2,c} is a metric for every c >= 1.","lead":"This paper proves a new explicit bound for how much a quasiregular map of the upper half plane can distort a certain hyperbolic-type distance. It also shows that this distance is a metric for a wider range of parameters than previously known, using a new Bernoulli inequality.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader's weakest_assumption points to Lemma 3.3 B(2), and I confirm the proof there is defective. However, I found an even simpler repair than the reader anticipated, using the bound -log t <= 1/(2c) available on the stated interval; this shows the lemma is true and Theorem 3.1 is sound. I checked the rest of the proof chain: Lemma 2.8 and Theorem 1.3 are correct; case A of Theorem 3.1 is algebraically consistent; Lemma 3.4 C is valid; the use of [AVV] (4.2) and the Schwarz lemma in Section 4.4 is formally correct. Therefore no load-bearing concern remains. The only non-correctness issue is the word 'sharp' in the abstract, which overstates what Theorem 1.4 proves. Since the printed proof still contains the erroneous inequalities, the reader's CONDITIONAL verdict is appropriate; acceptance should follow after the one-line repair.","tokens_in":8406,"tokens_out":22433,"duration_ms":184691,"concrete_test":"Symbolically verify the repaired Lemma 3.3 B(2): write u=t^{1/K} and bound B2'(K) = (1+c)K^c log(1+2ct) - 2c u(-log t)/(K^2(1+2cu)). Since t >= e^{-1/(2c)} implies -log t <= 1/(2c) and u <= 1, the negative term is <= 1/K^2 <= 1, while the positive term is >= 2 log(1+2e^{-1/2}) > 1; hence B2'(K)>0 and B2(K)>0. Optionally, evaluate B2 numerically at c=1, t=0.61, K=1.1, 1.5, 2 to confirm positivity.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No significant objection identified. The only real defect in the proof is in Lemma 3.3 B(2), used in case B of Theorem 3.1. The printed chain contains false inequalities: for t in (e^{-1/(2c)},1), neither \"log(1+2ct)>1\" (e.g., c=1, t=0.61 gives 0.797) nor \"1+2ct >= e\" (e.g., c=1, t=0.7 gives 2.4) need hold. Hence the lower bound for B2'(K) in Lemma 3.3 is not justified as written. This gap is repairable and does not threaten the central claim: since t >= e^{-1/(2c)}, one has -log t <= 1/(2c), so the negative part of B2'(K) = (1+c)K^c log(1+2ct) - [2c t^{1/K}(-log t)]/[K^2(1+2ct^{1/K})] is at most 1/K^2 <= 1, while the positive part is at least (1+c) log(1+2c e^{-1/(2c)}) >= 2 log(1+2e^{-1/2}) > 1. Thus B2'(K)>0 and B2(K)>0 follows from B2(1)=0. The rest of Section 3 and the application of (4.2) in Section 4.4 are formally consistent. The abstract's \"sharp\" is stronger than the proven optimality (Remark 3.10 only concerns K^{1+c}), but that is an overstatement, not a correctness issue.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the hyperbolic-type metric h_{D,c}(x,y)=log(1+c d(x,y)/(sqrt(d_D(x)d_D(y)))) on proper subdomains of metric spaces. For the upper half plane H2, the paper proves that h_{H2,c} is a metric for every c>=1 (Theorem 1.3), improving the general c>=2 result of [DHV]. The main theorem (Theorem 1.4) asserts an explicit distortion bound for K-quasiregular self-maps f of H2: for all x,y in H2 and c>=1, h_{H2,c}(f(x),f(y)) <= lambda(K)^{1/2} K^{1+c} max{h_{H2,c}(x,y)^{1/K}, h_{H2,c}(x,y)}, with lambda(K) in [1, exp(pi(K-1/K))) explicitly defined in (4.1). The proof reduces the Schwarz lemma for quasiregular maps, together with estimates for the special function phi_{K,2} from [AVV], to a new Bernoulli-type inequality (Theorem 3.1). The paper also establishes auxiliary comparison results between h_{H2,c} and the hyperbolic metric, and it claims sharpness of the exponent K^{1+c} in Theorem 3.1.","tokens_in":8648,"tokens_out":8938,"duration_ms":72750,"significance":"The paper addresses a natural problem in quasiregular distortion theory, and Theorem 1.4 would provide a concrete, explicit distortion bound for the half-plane metric h_{H2,c}. The statement is clean and appears new even in the conformal case K=1 for c>1, where the bound reduces to an identity. A strength of the paper is that the proof is elementary at its core and relies only on established external tools: the Schwarz lemma for quasiregular mappings [HKV] and the estimates for phi_{K,2} and lambda(K) from [AVV]. These are standard published results, not ad hoc or circular. The metric property for c>=1 (Theorem 1.3) is a useful addition to the theory of hyperbolic-type metrics. However, the claimed sharpness is not established in full: Remark 3.10 only shows that the exponent K^{1+c} cannot be replaced by K^2 in Theorem 3.1 for one numerical example, and the proof of Lemma 3.3 B(2) contains a false numerical bound that needs repair.","major_comments":[{"comment":"The proof of Lemma 3.3 B(2) contains a load-bearing gap. In the chain estimating partial derivative with respect to K of B2(K), the manuscript states that for e^{-1/(2c)} <= t < 1 one has log(1+2ct) > 1 and 1+2ct >= e. Both assertions are false: for c=1 and t=0.7, we have e^{-1/2} < 0.7, but log(2.4) approximately 0.875 < 1 and 2.4 < e. Consequently the displayed inequality '>= -2c/e^2 + (1+c)' and the conclusion that partial derivative of B2 with respect to K is positive are not justified as written. Since B2(1)=0, the positivity claim for B2(K) is essential to case B of Theorem 3.1 and hence to Theorem 1.4. The statement itself is repairable: from t >= e^{-1/(2c)} one obtains -log t <= 1/(2c), so the negative term in the derivative is at most 1/K^2 <= 1, while the positive term is at least (1+c) log(1+2c e^{-1/(2c)}) >= 2 log(1+2e^{-1/2}) > 1; hence B2'(K)>0 follows. But this repair is not in the manuscript, so the proof is incomplete at this point.","section":"Section 3, Lemma 3.3 B(2)"}],"minor_comments":[{"comment":"The word 'sharp' applied to Theorem 1.4 is stronger than what is proved. Remark 3.10 only demonstrates that K^{1+c} in Theorem 3.1 cannot be replaced by K^2 for a specific triple (K,c,t); it does not prove optimality of the full bound in Theorem 1.4, including the role of lambda(K). Suggest rephrasing to 'explicit' or adding a precise statement of what is optimal.","section":"Abstract and Section 1"},{"comment":"There are typographical errors in the displayed computation: 'K c > K >= 1' should read 'K^c > K >= 1', and '2ct1/K' should read '2ct^{1/K}' in several places. These typos make the argument harder to follow.","section":"Section 3, Lemma 3.3 B(2)"},{"comment":"The word 'inequalites' should be 'inequalities'.","section":"Section 3, Lemma 3.4"},{"comment":"The numerical counterexample to replacing K^{1+c} by K^2 is stated without showing the actual numerical values of both sides. A short explicit computation would make the remark reproducible.","section":"Section 3, Remark 3.10"},{"comment":"In the proof of Theorem 1.4, the use of the Bernoulli inequality (2.5) is correct, but the passage with c1=2c and c2=1 could be spelled out explicitly, since the variables are rescaled by a factor of 2c.","section":"Section 4.4"}],"recommendation":"major_revision","confidential_remarks":"The paper is basically sound and the central claim is likely correct, but the written proof of Lemma 3.3 B(2) is incomplete because of a false inequality. The repair is straightforward, and I do not see other load-bearing errors. The overstatement of 'sharpness' should be corrected. I would be happy to see the revised version."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is worth engaging. Its two concrete claims are that h_{H2,c} is a metric for every c >= 1 (improving the known c >= 2), and that an explicit distortion bound holds for K-quasiregular maps of the half plane. The main engine is a new Bernoulli-type inequality, Theorem 3.1, which is the genuinely new piece. The metric proof is clean: the subadditivity argument via Lemma 2.11 is sound, and Theorem 2.14 gives useful comparisons. The distortion proof is structurally sound, resting on the standard Schwarz lemma for quasiregular maps and the estimates for phi_{K,2} from [AVV]; that reliance is legitimate, not circular.\n\nThe one real defect is in Lemma 3.3 B(2). The printed chain uses log(1+2ct) > 1 and 1+2ct >= e for t in (e^{-1/(2c)}, 1), and both are false. As written, positivity of B2'(K) is not established. The stress-test repair is correct: from t >= e^{-1/(2c)} you get -log t <= 1/(2c), so the negative term in B2'(K) is at most 1/K^2 <= 1, while the positive term is at least (1+c) log(1+2c e^{-1/(2c)}) >= 2 log(1+2e^{-1/2}) > 1. That fixes the lemma, so the central claim survives. I agree with the reader that this is a repairable gap, not a fatal flaw.\n\nOne overstatement: the abstract says 'sharp' for the distortion result, but Remark 3.10 only shows K^{1+c} cannot be replaced by K^2 in the Bernoulli inequality. That does not establish optimality of the constants in Theorem 1.4. It is an overstatement, not a correctness issue.\n\nThe paper is for researchers in geometric function theory, especially those working with hyperbolic-type metrics and quasiregular maps. It gives explicit constants and a new elementary inequality that may find independent use. It deserves a serious referee: the main ideas are sound, and the proof can be fixed with a short correction. I would send it to peer review, asking the authors to repair Lemma 3.3 and soften the 'sharp' language in the abstract and introduction.","headline":"Useful, correctable paper: the half-plane metric constant and the new Bernoulli inequality are real contributions, but Lemma 3.3 has a false estimate that is easily repaired.","tokens_in":9255,"tokens_out":1766,"would_cite":true,"duration_ms":16535,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["30C60"],"pacs":[],"model":"deepseek-v4-flash","headline":"Quasiregular self-maps of the half plane obey an explicit, nearly sharp distortion bound.","keywords":["quasiregular mappings","upper half plane","hyperbolic-type metric","Bernoulli inequality","Schwarz lemma","Möbius transformations","hyperbolic geometry","quasiconformal mappings"],"falsifier":"Evaluate the disputed step in Lemma 3.3 B(2): at $c=1$, $t=0.7$, the claimed lower bound $1+2ct\\ge e$ fails, so the proof as written cannot stand as it is. A direct computation of the derivative $\\partial B_2/\\partial K$ on the stated interval, or a finite grid search of Theorem 3.1 over $K\\ge1$, $c\\ge1$, $t>0$, would settle whether the Bernoulli inequality itself is true; one violating triple would refute the proof of the main theorem, while a repaired derivative estimate would restore it.","tokens_in":8140,"feed_emoji":"📐","tokens_out":15326,"duration_ms":127564,"temperature":0.7,"pith_summary":"This paper establishes an explicit, structurally sharp distortion bound for $K$-quasiregular self-maps of the upper half plane with respect to the hyperbolic-type metric $h_{\\mathbb{H}^2,c}$. The main theorem says that after applying such a map, the $h_{\\mathbb{H}^2,c}$-distance of two points can grow by at most a factor $\\lambda(K)^{1/2}K^{1+c}$, with $\\lambda(K)$ explicitly constrained to $[1,e^{\\pi(K-1/K)})$, and with the original distance raised to the power $1/K$ when that is the larger term. This matters because hyperbolic-type metrics are standard tools in geometric function theory, and quantitative control of their distortion under quasiregular maps was not available in this explicit form. As a byproduct, the paper shows that $h_{\\mathbb{H}^2,c}$ is a genuine metric on the upper half plane for every $c\\ge1$, and in the analytic case $K=1$ the bound reduces to exact nonexpansiveness.","feed_headline":"Half-plane quasiregular maps get an explicit distortion bound","feed_subtitle":"A hyperbolic-type metric is shown to distort by at most a K-dependent factor; for analytic maps the bound reduces to nonexpansiveness.","key_machinery":"The machinery is the metric $$h_{D,c}(x,y)=\\log\\left(1+c\\frac{d(x,y)}{\\sqrt{d_D(x)d_D(y)}}\\right)$$ together with a two-parameter Bernoulli inequality, Theorem 3.1: $$\\log(1+2c\\max\\{t^K,$t^{{1/K}}$\\})\\le $K^{{1+c}}$\\max\\{\\log(1+2ct),(\\log(1+2ct))^{1/K}\\}$$ for $c\\ge1$, $K\\ge1$, $t>0$. The proof splits into three ranges of $t$ and handles each with a separate lemma. The quasiregular Schwarz lemma enters through the capacity special function $\\varphi_{K,2}$, while the auxiliary constant $\\lambda(K)$ is defined as the squared ratio of this function at $1/\\sqrt2$; known estimates give $\\lambda(K)\\in[1,e^{\\pi(K-1/K)})$. The new Bernoulli inequality is what makes the exponent $1/K$ appear on the metric side of the final estimate.","core_discovery":"At the center of the paper is Theorem 1.4: for every $K\\ge1$ there is a constant $\\lambda(K)\\in[1,\\exp(\\pi(K-1/K)))$ such that whenever $f:\\mathbb{H}^2\\to\\mathbb{H}^2$ is $K$-quasiregular with $f(\\mathbb{H}^2)=\\mathbb{H}^2$, all $x,y\\in\\mathbb{H}^2$, and all $c\\ge1$, $$h_{\\mathbb{H}^2,c}(f(x),f(y)) \\le \\$\\lambda$(K)^{1/2}$K^{{1+c}}$\\max\\{h_{\\mathbb{H}^2,c}(x,y)^{1/K},h_{\\mathbb{H}^2,c}(x,y)\\}.$$ The authors call this result sharp, and the proof is a chain: the quasiregular Schwarz lemma controls the map through the capacity function $\\varphi_{K,2}$, an estimate from the theory of elliptic integrals converts that control into the form $\\max\\{t^{1/K},t^K\\}$, and a new Bernoulli-type inequality produces the final metric expression with the factor $K^{1+c}$.","pith_inferences":["The same chain—Schwarz lemma, $\\max\\{t^{1/K},t^K\\}$ bound, Bernoulli step—should extend to other simply connected domains once a matching capacity function and a comparison between $h_{D,c}$ and the hyperbolic metric are available.","A natural next test is to locate the optimal constant in Theorem 1.4: the gap between the lower value $1$ and $\\lambda(K)^{1/2}K^{1+c}$ grows with $K$, and numerical optimization over the constants in the three lemmas could show whether the upper end of the $\\lambda(K)$ interval is ever attained.","The Bernoulli inequality of Theorem 3.1 is a standalone two-variable estimate and may be useful in other distortion problems where Schwarz-lemma bounds arrive in the form $\\max\\{t^K,t^{1/K}\\}$."],"forward_implications":["For $K=1$, the multiplicative constant collapses to $1$, so every analytic self-map of $\\mathbb{H}^2$ is nonexpansive in $h_{\\mathbb{H}^2,c}$ for every $c\\ge1$.","The estimate is uniform over the whole half plane and depends on $K$ only through the explicit factor $\\lambda(K)^{1/2}K^{1+c}$, with $\\lambda(K)\\in[1,e^{\\pi(K-1/K)})$.","Remark 3.10 shows that the power $K^{1+c}$ in the Bernoulli inequality cannot be replaced by $K^2$: the sharper form fails at $K=1.2$, $c=5$, $t=0.001$.","Theorem 1.3 provides a genuine metric for every $c\\ge1$ in the half-plane case, so the distortion estimate applies to an actual metric rather than a quasi-metric."],"supporting_citations":[{"why":"Supplies the numerical range of $\\lambda(K)$ and the capacity inequality (4.2) that converts the Schwarz-lemma bound into the $\\max\\{t^{1/K},t^K\\}$ form.","marker":"[A VV]"},{"why":"Provides the quasiregular Schwarz lemma, the special function $\\varphi_{K,2}$, and the Bernoulli comparison used repeatedly in the proof.","marker":"[HKV]"},{"why":"Gives the hyperbolic distance formulas used to rewrite $h_{\\mathbb{H}^2,c}$ in terms of hyperbolic distance.","marker":"[B]"}],"fun_headline_variants":["Sharp distortion bound for half-plane quasiregular maps","Quasiregular maps on half-plane get explicit bound","New bound on hyperbolic metric distortion for quasiregular maps","Half-plane quasiregular distortion: sharp estimate found","Quasiregular map distortion tied to K-factor"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing step is an auxiliary estimate in Lemma 3.3 B(2) asserting that $1+2ct\\ge e$ for $e^{-1/(2c)}<t<1$; that estimate is false, so the written proof of the Bernoulli inequality is incomplete at that point.","fun_headline_variants_meta":{"raw":{"variants":["Sharp distortion bound for half-plane quasiregular maps","Quasiregular maps on half-plane get explicit bound","New bound on hyperbolic metric distortion for quasiregular maps","Half-plane quasiregular distortion: sharp estimate found","Quasiregular map distortion tied to K-factor"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000607,"raw_usage":{"total_tokens":2760,"prompt_tokens":809,"completion_tokens":1951,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":425,"completion_tokens_details":{"reasoning_tokens":1868}},"tokens_in":425,"tokens_out":1951,"duration_ms":14067,"temperature":1.0,"reasoning_tokens":1868,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:43:10.740461+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the disputed step in Lemma 3.3 B(2): at $c=1$, $t=0.7$, the claimed lower bound $1+2ct\\ge e$ fails, so the proof as written cannot stand as it is. A direct computation of the derivative $\\partial B_2/\\partial K$ on the stated interval, or a finite grid search of Theorem 3.1 over $K\\ge1$, $c\\ge1$, $t>0$, would settle whether the Bernoulli inequality itself is true; one violating triple would refute the proof of the main theorem, while a repaired derivative estimate would restore it.","supporting_citations":[],"review_version":1}