pith. sign in

arxiv: 1907.04720 · v1 · pith:G3KJYTXHnew · submitted 2019-07-10 · 🧮 math.CV · math.DS

Constructing a quasiregular analogue of z exp(z) in dimension 3

Luke Warren This is my paper

Pith reviewed 2026-05-24 23:27 UTC · model grok-4.3

classification 🧮 math.CV math.DS
keywords quasiregular mappingstranscendental typesingle zerodimension 3quasimeromorphic mappingsessential singularitydynamicsbackward orbit
0
0 comments X

The pith

A quasiregular analogue of z exp(z) is constructed in three dimensions with exactly one zero.

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

The paper builds an explicit quasiregular mapping from R^3 to R^3 that serves as a direct analogue to the complex function z exp(z). This yields the first concrete example of a quasiregular map of transcendental type possessing precisely one zero. The same construction is adjusted to produce a family of such maps whose dynamical properties are then examined. The work additionally produces the first quasimeromorphic mappings with an essential singularity at infinity whose backward orbit of infinity is both non-empty and finite.

Core claim

The central claim is the construction of a quasiregular mapping in dimension 3 that is of transcendental type and has exactly one zero, realized as an analogue of the entire function z exp(z); modifications of the construction further produce families of such maps and quasimeromorphic examples with controlled backward orbits at infinity.

What carries the argument

The explicit construction technique, using piecewise definitions or approximations, that enforces bounded distortion quasiregularity while preserving transcendental type and a single zero.

If this is right

  • Explicit quasiregular mappings of transcendental type with exactly one zero exist in dimension 3.
  • A family of such mappings can be generated and their iteration dynamics studied in detail.
  • Quasimeromorphic mappings exist with an essential singularity at infinity where the backward orbit of infinity is non-empty and finite.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The construction technique could be adapted to produce analogues of other transcendental functions in dimension 3 or higher.
  • These maps open the possibility of studying value distribution and iteration for quasiregular maps in a manner parallel to classical complex dynamics.
  • The single-zero property may constrain the preimage structure under iteration for maps of this type.

Load-bearing premise

The specific construction method actually produces a map that remains quasiregular with bounded distortion, of transcendental type, and with exactly one zero.

What would settle it

An explicit check, by direct computation or analysis of the constructed map, that it has bounded distortion, transcendental growth, and precisely one zero would confirm or refute the claim.

read the original abstract

We construct a quasiregular analogue of the function $z\exp(z)$ in dimension 3, which gives the first explicit example of a quasiregular mapping of transcendental type that has exactly one zero. We then modify the construction to create a family of such quasiregular mappings and study their dynamics. From this, we also construct the first quasimeromorphic mappings with an essential singularity at infinity where the backward orbit of infinity is non-empty and finite.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 4 minor

Summary. The paper constructs an explicit quasiregular mapping in R^3 that is an analogue of the entire function z exp(z). The mapping is of transcendental type and has exactly one zero; this is presented as the first such explicit example. The construction is then modified to produce a family of quasiregular mappings whose dynamics are studied. From the same framework the authors also obtain the first quasimeromorphic mappings with an essential singularity at infinity whose backward orbit of infinity is non-empty and finite.

Significance. If the explicit construction is valid, the result supplies the first concrete quasiregular transcendental map in dimension three with a single zero, together with a controlled family and new examples of quasimeromorphic maps with prescribed backward orbits. These objects are of interest for the dynamics of quasiregular mappings and for the classification of singularities at infinity in higher dimensions. The explicit, non-abstract nature of the construction is a positive feature.

minor comments (4)
  1. [§2] §2, Definition 2.3: the piecewise definition of the map on the cylinders is given without an explicit verification that the distortion remains bounded across the interfaces; a short estimate or reference to the smoothing lemma used would clarify quasiregularity.
  2. [Figure 3] Figure 3: the projection of the zero set is difficult to read at the scale shown; a zoomed inset or coordinate labels would help the reader verify the single-zero claim.
  3. [§4.2] §4.2, paragraph after (4.5): the statement that the family is 'parameter-free' appears to depend on a fixed choice of the smoothing radius; a sentence clarifying the dependence would avoid ambiguity.
  4. [Theorem 5.1] Theorem 5.1: the proof that the backward orbit of infinity is finite relies on an inductive counting argument; adding one sentence linking the induction step to the quasiregularity constant K would make the dependence explicit.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work, the recognition of its significance as the first explicit quasiregular transcendental map in dimension three with a single zero, and the recommendation for minor revision. No major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; explicit construction is self-contained

full rationale

The paper's central result is an explicit construction of a quasiregular map in dimension 3 that is of transcendental type with exactly one zero. This is achieved via a direct (piecewise or approximation-based) definition that enforces bounded distortion and the required zero count without reducing any prediction or uniqueness claim to a fitted parameter or prior self-citation. No load-bearing step equates an output to its input by construction, and the derivation does not invoke self-citations for uniqueness theorems or ansatzes. The result stands as an independent existence proof on its own terms.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no information on free parameters, axioms, or invented entities used in the construction.

pith-pipeline@v0.9.0 · 5595 in / 1082 out tokens · 20399 ms · 2026-05-24T23:27:37.466117+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

  1. [1]

    L.V Ahlfors: Zur Theorie der ¨Uberlagerungsfl¨ achen;Acta Math ; 65, 157-194 (1935)

    work page 1935

  2. [2]

    Bergweiler: Fatou-Julia theory for non-uniformly quasiregula r maps; Ergodic Theory Dynam

    W. Bergweiler: Fatou-Julia theory for non-uniformly quasiregula r maps; Ergodic Theory Dynam. Systems ; 33(1), 1-23 (2013)

    work page 2013

  3. [3]

    Bergweiler, D.A

    W. Bergweiler, D.A. Nicks: Foundations for an iteration theory of entire quasiregular maps; Israel J. Math. ; 201(1), 147-184 (2014)

    work page 2014

  4. [4]

    Drasin: The inverse problem of the Nevanlinna theory; Acta Math ; 138, 83-151 (1977)

    D. Drasin: The inverse problem of the Nevanlinna theory; Acta Math ; 138, 83-151 (1977). 12

    work page 1977

  5. [5]

    Drasin, P

    D. Drasin, P. Pankka: Sharpness of Rickman’s Picard theorem in a ll dimensions; Acta Math ; 214(2), 209-306 (2015)

    work page 2015

  6. [6]

    Hayman: Meromorphic functions; Clarendon Press, Oxford (1964)

    W.K. Hayman: Meromorphic functions; Clarendon Press, Oxford (1964)

    work page 1964

  7. [7]

    Iwaniec, G

    T. Iwaniec, G. Martin: Geometric Function Theory and Non-linear Analysis, Oxford Mathematical Monographs; Oxford University Pr ess, New York (2001)

    work page 2001

  8. [8]

    Martio, S

    O. Martio, S. Rickman, J. V¨ ais¨ al¨ a: Definitions for quasiregular map- pings; Ann. Acad. Sci. Fenn. Ser. A I Math. ; 448, 1-40 (1969)

    work page 1969

  9. [9]

    Nevanlinna: Zur Theorie der meromorphen Funktionen; Acta Math ; 46, 1-99, (1925)

    R. Nevanlinna: Zur Theorie der meromorphen Funktionen; Acta Math ; 46, 1-99, (1925)

    work page 1925

  10. [10]

    Nicks, D.J

    D.A. Nicks, D.J. Sixsmith: Periodic domains of quasiregular maps; Er- godic Theory Dynam. Systems ; 38(6), 2321-2344 (2018)

    work page 2018

  11. [11]

    Reshetnyak: Space mappings with bounded distortion

    Y. Reshetnyak: Space mappings with bounded distortion. (Rus sian); Sibirsk. Mat. Zh. ; 8, 629-659 (1967)

    work page 1967

  12. [12]

    Reshetnyak: On the condition of the boundedness of index f or map- pings with bounded distortion

    Y. Reshetnyak: On the condition of the boundedness of index f or map- pings with bounded distortion. (Russian); Sibirsk. Mat. Zh. ; 9, 368-374 (1968)

    work page 1968

  13. [13]

    Rickman: Asymptotic values and angular limits of quasiregular m ap- pings of a ball; Ann

    S. Rickman: Asymptotic values and angular limits of quasiregular m ap- pings of a ball; Ann. Acad. Sci. Fenn. Ser. A I Math. ; 5, 185-196 (1980)

    work page 1980

  14. [14]

    Rickman: The analogue of Picard’s theorem for quasiregular m ap- pings in dimension three; Acta Math ; 154, 195-242 (1985)

    S. Rickman: The analogue of Picard’s theorem for quasiregular m ap- pings in dimension three; Acta Math ; 154, 195-242 (1985)

    work page 1985

  15. [15]

    Rickman: Defect relation and its realization for quasiregular m ap- pings; Ann

    S. Rickman: Defect relation and its realization for quasiregular m ap- pings; Ann. Acad. Sci. Fenn. Ser. A I Math. ; 20, 207-243 (1992)

    work page 1992

  16. [16]

    Rickman: Quasiregular mappings; Ergebnisse der Mathematik und ihrer Grenzgebiete, vol

    S. Rickman: Quasiregular mappings; Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 3; Springer, Berlin (1993)

    work page 1993

  17. [17]

    Warren: On the iteration of quasimeromorphic map- pings; Math

    L. Warren: On the iteration of quasimeromorphic map- pings; Math. Proc. Cambridge Philos. Soc. , to appear in print; doi:10.1017/S030500411800052X

    work page doi:10.1017/s030500411800052x

  18. [18]

    Zorich: A theorem of M

    V.A. Zorich: A theorem of M. A. Lavrent’ev on quasiconformal m aps; Math. Sb. ; 74(3), 417-433 (1967). 13

    work page 1967