Pith. sign in

REVIEW 1 major objections 5 minor 1 cited by

On distortion of quasiregular mappings of the upper half plane

T0 review · 1 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Quasiregular self-maps of the half plane obey an explicit, nearly sharp distortion bound.

desk verdict 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. read the letter →

arxiv 2411.16966 v2 pith:5I3DCLAE submitted 2024-11-25 math.CV

Masayo Fujimura , Matti Vuorinen This is my paper · ORCID
classification math.CV MSC 30C60
keywords quasiregularmappingsupperhalfplanehyperbolic-typemetricBernoulliinequalitySchwarzlemmaMöbiustransformationshyperbolicgeometryquasiconformal
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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}$.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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}\}$.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 5 minor

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.

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 (1)
  1. [Section 3, Lemma 3.3 B(2)] 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.
minor comments (5)
  1. [Abstract and Section 1] 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.
  2. [Section 3, Lemma 3.3 B(2)] 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.
  3. [Section 3, Lemma 3.4] The word 'inequalites' should be 'inequalities'.
  4. [Section 3, Remark 3.10] 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.
  5. [Section 4.4] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the derivation uses established external estimates and a self-contained, independent Bernoulli-type inequality.

full rationale

I walked the derivation chain in Sections 2–4. Theorem 1.4 combines two cited external ingredients with a new inequality proved in the paper. The Schwarz lemma for quasiregular mappings is quoted from [HKV, 16.2], and the estimate (4.2) for the special function phi_{K,2}, together with the bound lambda(K) in [1, exp(pi(K-1/K))), is quoted from [AVV, (10.3), 10.24, Thm 10.35]. These are published, parameter-free results with stated assumptions that do not include Theorem 1.4; they are not outputs of the present paper and are not fitted to any data. The lambda(K) appearing in Theorem 1.4 is explicitly defined in (4.1) in terms of phi_{K,2}, so it is not a free parameter chosen after the fact; its required estimate comes from an external source. The new component, Theorem 3.1, is proved from Lemma 3.2, Lemma 3.3, and Lemma 3.4, which are proved directly. The proof contains a genuine gap in Lemma 3.3 B(2): the printed chain uses the false assertion '1 + 2ct >= e' for e^{-1/(2c)} < t < 1, and 'log(1+2ct)>1' is also false in part of that range. However, this is a correctness defect in an auxiliary estimate, not circular reasoning, and the reader's note indicates the positivity can be recovered by a weaker bound. No step in the paper reduces, by definition or by self-citation, to its own inputs, and no fitted input is renamed as a prediction. The self-citations to books and papers co-authored by Vuorinen are load-bearing, but they are independent evidence under the stated criteria, so they do not raise the circularity score. Honest finding: no significant circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claim rests on standard theorems from [HKV] and [AVV]; no free parameters or invented entities appear. The auxiliary inequality Theorem 3.1 is proven, not postulated.

assumptions (5)
  • standard math Schwarz lemma for K-quasiregular mappings: tanh(rho_H(f(x),f(y))/2) <= phi_{K,2}(tanh(rho_H(x,y)/2))
    Invoked in Section 4.4 to bound h_{H2,c}(f(x),f(y)) in terms of phi_{K,2}; cited to [HKV, Thm 16.2].
  • standard math Inequality (4.2): eta_K(t) <= lambda(K) max{t^{1/K}, t^K}, with lambda(K) defined via phi_{K,2}
    Used in Section 4.4 to convert the Schwarz lemma bound into powers of sh(rho/2); cited to [AVV, (10.3), 10.24].
  • standard math Bernoulli inequality: log(1 + c1 t) <= (c1/c2) log(1 + c2 t) for c1 >= c2 >= 1
    Used throughout, e.g., in Theorem 2.14 and in deriving the factor lambda^{1/2} in Theorem 1.4; cited to [HKV, (5.6)].
  • standard math Subadditivity criterion: if g(0)=0, g increasing, and g(t)/t decreasing for t>0, then g(s+t) <= g(s)+g(t)
    Used in the proof of Theorem 1.3 to obtain the triangle inequality for h_{H2,c}; cited to [HKV, p.80, Ex 5.24].
  • standard math Estimate lambda(K) in [1, exp(pi(K - 1/K))) and properties of complete elliptic integrals
    Gives the explicit range of lambda(K) in Theorem 1.4; cited to [AVV, Thm 10.35].

how reviews work

0 comments
Cite this review

Pith. "Pith review of On distortion of quasiregular mappings of the upper half plane." pith.science (2026). https://pith.science/paper/5I3DCLAE

@misc{pith2026241116966,
  author       = {Pith},
  title        = {Pith review of: On distortion of quasiregular mappings of the upper half plane},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5I3DCLAE}},
  note         = {Machine review of arXiv:2411.16966}
}
abstract

We prove a sharp result for the distortion of a hyperbolic type metric under $K$-quasiregular mappings of the upper half plane. The proof makes use of a new kind of Bernoulli inequality and the Schwarz lemma for quasiregular mappings.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Generalizations of four hyperbolic-type metrics and Gromov hyperbolicity

    math.CV 2024-12 accept novelty 6.0 of 10

    Generalized Gehring-Osgood, Dovgoshey-Hariri-Vuorinen, Nikolov-Andreev, and Ibragimov metrics on metric spaces are proved Gromov hyperbolic, with improved constants for the Gehring-Osgood and Nikolov-Andreev metrics.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages · cited by 1 Pith paper

  1. [1]

    Anderson, M.\,K

    G.\,D. Anderson, M.\,K. Vamanamurthy, and M. Vuorinen , Conformal Invariants, Inequalities, and Quasiconformal Maps, John Wiley & Sons, New York, 1997

    work page 1997

  2. [2]

    Beardon , The Geometry of Discrete Groups, Springer-Verlag, New York, 1983

    A.\,F. Beardon , The Geometry of Discrete Groups, Springer-Verlag, New York, 1983

    work page 1983

  3. [3]

    Dovgoshey, P

    O. Dovgoshey, P. Hariri, and M. Vuorinen , Comparison theorems for hyperbolic type metrics , Complex Var. Elliptic Equ. 61, 11, (2016), 1464--1480

    work page 2016

  4. [4]

    Fujimura, M

    M. Fujimura, M. Mocanu, and M. Vuorinen , Barrlund's distance function and quasiconformal maps , Complex Var. Elliptic Equ. 66, 8, 1225--1255 (2021)

    work page 2021

  5. [5]

    Gehring and K

    F.W. Gehring and K. Hag , The Ubiquitous Quasidisk. With contributions by Ole Jacob Broch. American Mathematical Society, Providence, RI, 2012. xii+171 pp

    work page 2012

  6. [6]

    Hariri, R

    P. Hariri, R. Kl\'en, and M. Vuorinen , Conformally Invariant Metrics and Quasiconformal Mappings, Springer Monographs in Mathematics, Springer, Berlin, 2020

    work page 2020

  7. [7]

    H\"ast\"o, Z

    P.A. H\"ast\"o, Z. Ibragimov, D. Minda, S. Ponnusamy, S. Sahoo, Isometries of some hyperbolic-type path metrics, and the hyperbolic medial axis. (English summary) In the tradition of Ahlfors-Bers. IV, 63--74, Contemp. Math., 432, Amer. Math. Soc., Providence, RI, 2007

    work page 2007

  8. [8]

    H\"ast\"o and R

    P. H\"ast\"o and R. Kl\'en,

    work page

Show all 14 references
  1. [9]

    Heinonen, Lectures on Analysis on Metric Spaces

    J. Heinonen, Lectures on Analysis on Metric Spaces. Springer-Verlag, New York, 2001

    2001

  2. [10]

    Papadopoulos, Metric spaces, convexity and non-positive curvature

    A. Papadopoulos, Metric spaces, convexity and non-positive curvature. Second edition. IRMA Lectures in Mathematics and Theoretical Physics, 6. European Mathematical Society (EMS), Z\" u rich, 2014. xii+309 pp

    2014

  3. [11]

    Rainio, Inequalities for geometric mean distance metric, Ukrainian Math

    O. Rainio, Inequalities for geometric mean distance metric, Ukrainian Math. J. 76 (10), 2024, arXiv 2404.01017. DOI: https://doi.org/10.3842/umzh.v76i10.7787

    2024 arXiv

  4. [12]

    Rickman , Quasiregular mappings, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], 26

    S. Rickman , Quasiregular mappings, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], 26. Springer--Verlag, Berlin, 1993

    1993

  5. [13]

    Y. Wu, G. Wang, G. Jia, and X. Zhang , Lipschitz constants for a hyperbolic type metric under M\"obius transformations. Czech. Math. J. 74, 445--460 (2024). https://doi.org/10.21136/CMJ.2024.0366-23

    2024

  6. [14]

    Q. Zhou, Z. Zheng, S. Ponnusamy, and T. Guan , Dovgoshey--Hariri--Vuorinen's metric and Gromov hyperbolicity. Arch. Math. 123, 319--327 (2024). https://doi.org/10.1007/s00013--024--02021--w

    2024 doi

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.