arxiv: 2604.27832 · v1 · submitted 2026-04-30 · 🧮 math.DS · math.CV

Recognition: unknown

Two remarks on transcendental shift-like maps on mathbb{C}^N

Ramanpreet Kaur

Pith reviewed 2026-05-07 06:41 UTC · model grok-4.3

classification 🧮 math.DS math.CV

keywords transcendental mapsshift-like mapsJulia setwandering domainscomplex dynamicshigher dimensionsFatou setHénon maps

0 comments

The pith

Transcendental shift-like maps on C^N always have non-empty Julia sets and admit examples with escaping wandering domains.

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

This paper extends Bedford's study of polynomial shift-like maps, which serve as higher-dimensional analogs of Hénon maps, to the transcendental setting on C^N. It proves that the Julia set of any such transcendental map is non-empty by adapting techniques from one-variable complex dynamics. The work also constructs a concrete example featuring an escaping wandering domain, a feature absent from the polynomial versions. These results point to structural differences in how transcendental maps organize their chaotic and regular behaviors compared to polynomial ones. Readers interested in several-variable holomorphic dynamics will see how basic invariants like the Julia set persist even when the maps grow faster than any polynomial.

Core claim

The Julia set of every transcendental shift-like map of type ν on C^N is non-empty, and there exists at least one such map that possesses an escaping wandering domain in its Fatou set, in contrast to the polynomial shift-like maps studied earlier.

What carries the argument

Transcendental shift-like map of type ν, obtained by replacing the polynomial entries in Bedford's definition with transcendental entire functions while preserving the cyclic shift structure on the coordinates.

If this is right

The Julia set remains a non-empty invariant set carrying the chaotic dynamics for this entire class of maps.
Fatou components can include wandering domains that escape to infinity, enlarging the possible types of regular behavior.
Polynomial and transcendental shift-like maps differ sharply in the existence of escaping wandering domains.
Methods originally developed for one-variable transcendental maps carry over to these multi-variable cyclic constructions.

Where Pith is reading between the lines

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

The same non-emptiness might hold for other families of transcendental maps on C^N that are not strictly shift-like.
The explicit escaping-domain example could serve as a model for constructing maps with prescribed Fatou components in higher dimensions.
One could test whether the Julia sets of these maps have positive Lebesgue measure or Hausdorff dimension N+1.

Load-bearing premise

The definition of a transcendental shift-like map extends the polynomial case directly enough that one-variable non-emptiness arguments still apply in several variables.

What would settle it

An explicit transcendental shift-like map of type ν on C^N whose iterates remain bounded on a dense open set, making the Julia set empty, would disprove the non-emptiness claim.

read the original abstract

In \cite{Bedford}, the dynamics of a particular polynomial diffeomorphism of $\mathbb{C}^N$, called a polynomial shift-like map of type $\nu$, has been studied as a higher dimensional analog of H\'enon maps. In this note, we prove that the Julia set of their transcendental counterpart is non-empty. In addition, an example of a transcendental shift-like map with an escaping wandering domain has been provided which, in fact, showcases a contrast with the dynamics of a polynomial shift map.

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.

Desk Editor's Note private letter to a colleague

This note shows the Julia set is non-empty for transcendental shift-like maps and gives a concrete escaping wandering domain example that differs from the polynomial case.

read the letter

The main things to know are that the Julia set of these transcendental shift-like maps is non-empty and that there is an explicit example with an escaping wandering domain. Both claims are new relative to the polynomial work cited from Bedford, and the example is useful because it illustrates a dynamical contrast that does not appear in the polynomial setting. The paper keeps the scope narrow, which is appropriate for a short note. It delivers two existence results without claiming to resolve larger questions about Julia sets in several variables. The construction of the example appears concrete and is presented as a direct contrast, which is the stronger of the two contributions. The non-emptiness argument is the more routine extension. The main soft spot is whether the proofs properly control the transcendental case in several variables. The stress-test concern about normality arguments and the lack of automatic extension of one-variable tools is reasonable to raise. If the paper does not add growth conditions such as finite order or controlled tracts on the entire functions, the reduction to slices or the application of Montel-type results could leave gaps that are not visible in the polynomial setting. Without the full proofs it is impossible to check the estimates, but the abstract gives no indication that extra restrictions were imposed. This note is for people already working on shift-like maps or transcendental dynamics in C^N. It is not broad enough to interest a general complex dynamics audience, but the specific results are the kind that specialists would want to see checked. It deserves peer review because the claims are modest, the example is explicit, and a referee can verify the arguments in a reasonable amount of time.

Referee Report

2 major / 1 minor

Summary. The manuscript defines transcendental shift-like maps of type ν on C^N by replacing the polynomial components in Bedford's construction with transcendental entire functions. It proves that the Julia set of these maps is non-empty and constructs an explicit example featuring an escaping wandering domain, contrasting this behavior with that of polynomial shift-like maps.

Significance. If the results hold, this note provides foundational results on the dynamics of transcendental shift-like maps in several complex variables. The non-emptiness of the Julia set is a basic but essential starting point, while the explicit construction of an escaping wandering domain demonstrates a concrete dynamical distinction from the polynomial case, which may stimulate further research on differences between polynomial and transcendental dynamics in higher dimensions. The work relies on explicit constructions rather than abstract arguments.

major comments (2)

[Definition of transcendental shift-like maps] The definition of a transcendental shift-like map of type ν (extending Bedford's polynomial construction) must include explicit growth or order restrictions on the entire functions to ensure the map remains a diffeomorphism and to permit reduction to one-variable normality arguments in C^N. Without such conditions, the applicability of one-variable techniques is not automatic.
[Proof of non-emptiness of the Julia set] In the proof that the Julia set is non-empty, the argument adapts normality or orbit-density techniques from one-variable transcendental dynamics. In C^N these do not extend verbatim (Montel theorems and maximum-modulus principles fail to hold in the same form), so the reduction to coordinatewise slices requires additional justification that escaping sets control the dynamics on open sets; this is load-bearing for the central claim.

minor comments (1)

[Abstract] The abstract refers to 'their transcendental counterpart' without briefly indicating the precise class of entire functions or the value of ν; a short clarifying phrase would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive comments, which help clarify the presentation. We address each major comment below, indicating the revisions we will make to the next version of the paper.

read point-by-point responses

Referee: [Definition of transcendental shift-like maps] The definition of a transcendental shift-like map of type ν (extending Bedford's polynomial construction) must include explicit growth or order restrictions on the entire functions to ensure the map remains a diffeomorphism and to permit reduction to one-variable normality arguments in C^N. Without such conditions, the applicability of one-variable techniques is not automatic.

Authors: We agree that the definition should be stated with explicit growth conditions to make the reduction to one-variable arguments fully rigorous. In the manuscript the transcendental entire functions are taken to be of finite order (as is standard to control growth in transcendental dynamics), which ensures that the resulting map is a holomorphic diffeomorphism of C^N and that the coordinatewise slices inherit the necessary normality properties. We will revise the definition in Section 2 to include the explicit requirement that each entire function is of finite order, thereby justifying the applicability of one-variable techniques without additional assumptions. revision: yes
Referee: [Proof of non-emptiness of the Julia set] In the proof that the Julia set is non-empty, the argument adapts normality or orbit-density techniques from one-variable transcendental dynamics. In C^N these do not extend verbatim (Montel theorems and maximum-modulus principles fail to hold in the same form), so the reduction to coordinatewise slices requires additional justification that escaping sets control the dynamics on open sets; this is load-bearing for the central claim.

Authors: The referee correctly identifies that the reduction from C^N to coordinate slices requires explicit justification, since standard one-variable tools do not apply verbatim. Our argument proceeds by showing that non-normality of the iterates on a suitable slice (where the escaping set is dense) implies non-normality on an open set in C^N, using the shift-like structure of the map to decouple the coordinates. We will expand the proof of Theorem 1.1 with an additional lemma that makes this reduction precise, explaining how the escaping set in the transcendental coordinate forces the failure of normality in a full neighborhood in C^N. This addition will strengthen the exposition while preserving the original line of reasoning. revision: yes

Circularity Check

0 steps flagged

No circularity: results derived from explicit extension and direct proofs

full rationale

The paper defines transcendental shift-like maps of type ν by direct substitution of transcendental entire functions into the polynomial shift-like form introduced in the external Bedford reference. It then proves non-emptiness of the Julia set via adapted normality arguments on slices and constructs an explicit example exhibiting an escaping wandering domain. Neither step reduces to a self-definition, a fitted parameter renamed as a prediction, or a load-bearing self-citation; the cited Bedford work supplies only the base polynomial construction, while the new claims rest on independent verification against the extended definition. The derivation is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on the definition of polynomial shift-like maps of type ν from the cited work and on standard notions from complex dynamics (Julia set, Fatou set, wandering domain). No free parameters, new invented entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)

domain assumption Definition of polynomial shift-like map of type ν from Bedford's cited work
The transcendental counterpart is defined by extending this prior definition.

pith-pipeline@v0.9.0 · 5369 in / 1278 out tokens · 46370 ms · 2026-05-07T06:41:32.222989+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

9 extracted references · 1 canonical work pages

[1]

R. L. Adler, A. G. Konheim, and M. H. McAndrew, Topological entropy, Trans. Amer. Math. Soc. 114(1965), 309–319

1965
[2]

Arosio, A

L. Arosio, A. M. Benini, J. E. Fornæss, and Han Peters, Dynamics of transcendental H´ enon maps, Math. Ann.373(2019), no. 1-2, 853–894

2019
[3]

Arosio, A

L. Arosio, A. M. Benini, J. E. Fornæss, and Han Peters, Dynamics of transcendental H´ enon maps III: Infinite entropy, J. Mod. Dyn.17(2021), 465–479. 12 RAMANPREET KAUR

2021
[4]

Bedford and V

E. Bedford and V. Pambuccian, Dynamics of shift-like polynomial diffeomorphisms ofC N, Conform. Geom. Dyn.2(1998), 45–55

1998
[5]

J. S. C´ anovas and J. M. Rodr´ ıguez, Topological entropy of maps on the real line. Topology Appl.153 (2005), no. 5-6, 735–746

2005
[6]

Dujardin, H´ enon-like mappings inC2

R. Dujardin, H´ enon-like mappings inC2. Amer. J. Math. 126 (2004), no. 2, 439–472

2004
[7]

J. L. Schiff, Normal families. Universitext. Springer-Verlag, New York, 1993

1993
[8]

Wendt, The entropy of entire transcendental functions, arXiv:2011.02163 [math.DS], 2005

M. Wendt, The entropy of entire transcendental functions, arXiv:2011.02163 [math.DS], 2005

work page arXiv 2011
[9]

Yomdin, Volume growth and entropy

Y. Yomdin, Volume growth and entropy. Israel J. Math. 57 (1987), no. 3, 285–300. Department of Mathematics, Institute of Mathematics and Applications, Bhubaneswar- 751029, India Email address:ramanpreet.ima@iomaorissa.ac.in, preetmaan444@gmail.com

1987