arxiv: 2604.25320 · v1 · submitted 2026-04-28 · 🧮 math.CV

Recognition: unknown

Stability of Blaschke products under forward iteration

Annika Moucha, Daniela Kraus, Oliver Roth

Pith reviewed 2026-05-07 13:48 UTC · model grok-4.3

classification 🧮 math.CV

keywords Blaschke productsforward iterationindestructible Blaschke productsmaximal Blaschke productsholomorphic self-mapsunit diskcomplex dynamics

0 comments

The pith

Indestructible and maximal Blaschke products remain in their classes under forward iteration.

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

The paper establishes that forward iteration preserves membership in the indestructible and maximal classes of Blaschke products. Forward iteration supplies a natural way to chain holomorphic self-maps of the unit disk and appears in work on wandering domains and possible extensions of the Denjoy-Wolff theorem. If the stability holds, sequences built by iterating these maps keep their defining properties, so long-term dynamical features can be tracked without leaving the special classes.

Core claim

We prove that the classes of indestructible and maximal Blaschke products are stable under forward iteration. Forward iteration of holomorphic self-maps generalizes ordinary iteration and is used to study phenomena such as wandering domains in the unit disk.

What carries the argument

Forward iteration applied to Blaschke products, the operation that chains holomorphic self-maps while the indestructible and maximal properties are shown to be invariant.

If this is right

Repeated forward iterates of an indestructible Blaschke product remain indestructible.
Maximal Blaschke products can be chained into longer sequences while preserving maximality.
Constructions involving wandering domains can use these stable classes without losing the defining traits.
The stability supplies a tool for extending single-map results such as the Denjoy-Wolff theorem to iterated settings.

Where Pith is reading between the lines

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

The result may allow classification of all members of these classes by examining their finite iterates.
Numerical checks on low-degree Blaschke products could confirm the stability for concrete maps.
Similar invariance questions could be posed for other classes of holomorphic self-maps beyond Blaschke products.

Load-bearing premise

The forward iteration is well-defined for the holomorphic self-maps of the unit disk that arise from the given Blaschke products.

What would settle it

An explicit Blaschke product that is maximal (or indestructible) whose forward iterate fails to be maximal (or indestructible), verified by direct computation of its Blaschke factors or associated inner function.

read the original abstract

Forward iteration of holomorphic self-maps generalizes the iteration of a single function in a natural way. This framework arises in complex dynamics, for instance in the study of wandering domains and in seeking suitable extensions of the Denjoy-Wolff theorem. Here, we consider forward iteration of Blaschke products. We prove that the classes of indestructible and maximal Blaschke products are stable under forward iteration.

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

The paper proves that indestructible and maximal Blaschke products stay in their classes under forward iteration of disk self-maps.

read the letter

The core result is that these two classes of Blaschke products remain indestructible or maximal when you apply forward iteration. The authors frame this as a direct stability statement inside the existing setup for holomorphic self-maps of the unit disk, linking it to questions about wandering domains and Denjoy-Wolff-type theorems. That stability claim looks new relative to the cited literature on iteration of Blaschke products. The paper does a clean job of stating the definitions and the forward-iteration operation without extra machinery, then delivering the proof that the properties are preserved. It stays focused and avoids unnecessary generality. The argument appears to rest on standard properties of zeros and Blaschke factors rather than new estimates, which keeps it short. The main limitation is that the abstract gives no detail on how the proof treats infinite-degree cases or zero accumulation points under iteration. If those steps are handled carefully in the full text, the result holds; otherwise a referee might ask for an extra lemma. No circularity or hidden assumptions show up in the description. This is a narrow but solid incremental note aimed at people already working in holomorphic dynamics on the disk. A reader who needs a reference for stability of these classes under iteration will find it useful. It is worth sending to peer review because the claim is precise, the setting is standard, and the verification is feasible for experts in the area.

Referee Report

0 major / 1 minor

Summary. The manuscript proves that the classes of indestructible and maximal Blaschke products remain stable under forward iteration of holomorphic self-maps of the unit disk. Forward iteration is presented as a natural generalization of single-function iteration, with connections to wandering domains and extensions of the Denjoy-Wolff theorem in complex dynamics.

Significance. If the result holds, it establishes useful invariance properties for two important classes of Blaschke products under a generalized iteration framework. This could support further work on holomorphic dynamics in the disk, particularly where standard iteration does not apply. The paper relies on standard definitions from the literature and a direct argument rather than reductions to fitted quantities, which is a strength.

minor comments (1)

The introduction would benefit from a short concrete example of a forward iteration sequence to illustrate the definition before the main theorem.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. We are pleased that the invariance properties established for indestructible and maximal Blaschke products under forward iteration are viewed as potentially useful for further work in holomorphic dynamics.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper establishes stability of indestructible and maximal Blaschke products under forward iteration of holomorphic self-maps of the disk. This is a direct theorem proof relying on standard definitions of Blaschke products, indestructibility, maximality, and forward iteration from the complex analysis literature. No equations reduce a claimed prediction or result to a fitted parameter or self-defined input by construction. No load-bearing self-citations are invoked to justify uniqueness or an ansatz that would collapse the central claim. The argument proceeds from holomorphic properties and iteration well-definedness, which are independent of the stability conclusion itself.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard definitions and properties of Blaschke products and holomorphic self-maps of the disk; no free parameters or invented entities are indicated in the abstract.

axioms (2)

standard math Blaschke products are holomorphic self-maps of the unit disk with the usual product representation.
Invoked implicitly as the objects under study.
domain assumption Forward iteration is defined via composition of a sequence of holomorphic self-maps.
Central to the framework described in the abstract.

pith-pipeline@v0.9.0 · 5349 in / 1072 out tokens · 51863 ms · 2026-05-07T13:48:21.633603+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

35 extracted references · 2 canonical work pages · 1 internal anchor

[1]

Abate and A

M. Abate and A. Christodoulou. Random iteration on hyperbolic Riemann surfaces.Ann. Mat. Pura Appl., (4) 201:2021–2035, 2022

2021
[2]

Abate and I

M. Abate and I. Short. Iterated function systems of holomorphic maps. Adv. Math., 490:110818, 2026

2026
[3]

L. Ahlfors. An extension of Schwarz’s lemma.Trans. Amer. Math. Soc., 42:359–364, 1938

1938
[4]

J. R. Akeroyd and P. Gorkin. Uniform approximation by indestructible Blaschke products.J. Math. Anal. Appl., 434:1419–1434, 2016

2016
[5]

J. R. Akeroyd. A note on uniform approximation by the indestructibles.J. Math. Anal. Appl., 505:125525, 2022

2022
[6]

A. M. Benini, V . Evdoridou, N. Fagella, P. J. Rippon, and G. M. Stallard. Classifying simply connected wandering domains.Math. Ann., 383(3):1127–1178, 2022

2022
[7]

C. Bishop. An indestructible Blaschke product in the little Bloch space.Publ. Mat., Barc., 37(1):95–109, 1993

1993
[8]

W. D. Blizard. Multiset theory.Notre Dame J. Formal Logic30(1):36–66, 1989

1989
[9]

Bracci, D

F. Bracci, D. Kraus, and O. Roth. A new Schwarz–Pick lemma at the boundary and rigidity of holomorphic maps. Adv. Math., 432:109262, 2023

2023
[10]

Carath ´eodory.Funktionentheorie, Band II

C. Carath ´eodory.Funktionentheorie, Band II. Birkh ¨auser, Basel, 1950

1950
[11]

A note on the boundary dynamics of holomorphic iterated function systems

A. Christodoulou. A note on the boundary dynamics of holomorphic iterated function systems. ArXiv Preprint (2025), arXiv:2507.16358

work page internal anchor Pith review arXiv 2025
[12]

Christodoulou and I

A. Christodoulou and I. Short. Stability of the Denjoy–Wolff theorem.Ann. Fenn. Math., 46(1):421–431, 2021

2021
[13]

G. R. Ferreira. A note on forward iteration of inner functions.Bull. Lond. Math. Soc., 55(3):1143–1153, 2023

2023
[14]

G. R. Ferreira and A. Nicolau. Mixing and ergodicity of compositions of inner functions.Discrete Contin. Dyn. Syst., 45(7):2066–2080, 2025

2066
[15]

J. B. Garnett.Bounded analytic functions. Springer, New York, 2007

2007
[16]

Gou ¨ezel and A

S. Gou ¨ezel and A. Karlsson. Subadditive and multiplicative ergodic theorems.J. Eur. Math. Soc., 22(6):1893– 1915, 2020

1915
[17]

Gumenyuk, M

P. Gumenyuk, M. Kourou, A. Moucha and O. Roth. Hyperbolic distortion and conformality at the boundary.Adv. Math., 470:110251, 2025

2025
[18]

M. Heins. Studies in the conformal mapping of Riemann surfaces, I.Proc. Natl. Acad. Sci. USA, 39:322–324, 1953

1953
[19]

M. Heins. On the Lindel ¨of principle.Ann. Math., (2) 61:440–473, 1955

1955
[20]

M. Heins. On a class of conformal metrics.Nagoya Math. J., 21:1–60, 1962

1962
[21]

O. Ivrii. Prescribing inner parts of derivatives of inner functions.J. Anal. Math., 139(2):495–519, 2019

2019
[22]

O. Ivrii. Critical structures of inner functions.J. Funct. Anal., 281(8):109138, 2021

2021
[23]

Ivrii and A

O. Ivrii and A. Nicolau. Analytic mappings of the unit disk which almost preserve hyperbolic area.Proc. Lond. Math. Soc., 129(5), 2024

2024
[24]

Ivrii and A

O. Ivrii and A. Nicolau. Analytic mappings of the unit disk with bounded compression. ArXiv Preprint (2025), arXiv:2507.15200

work page arXiv 2025
[25]

Jacques and I

M. Jacques and I. Short. Semigroups of isometries of the hyperbolic plane.Int. Math. Res. Not., 2022(9):6403– 6463, 2022

2022
[26]

Knuth.The Art of Computer Programming, Vol

D. Knuth.The Art of Computer Programming, Vol. 2.3rd ed., Addison–Wesley, 1997

1997
[27]

D. Kraus. Critical sets of bounded analytic functions, zero sets of Bergman spaces and nonpositive curvature. Proc. Lond. Math. Soc., 106(4):931–956, 2013

2013
[28]

Kraus and O

D. Kraus and O. Roth. Critical points, the Gauss curvature equation, and Blaschke products. InBlaschke Products and Their Applications, pages 133–157. Springer, 2013

2013
[29]

Kraus and O

D. Kraus and O. Roth. Composition and decomposition of indestructible Blaschke products.Comput. Methods Funct. Theory, 13(2):253–262, 2013

2013
[30]

Kraus and O

D. Kraus and O. Roth. Maximal Blaschke products.Adv. Math., 241:58–78, 2013

2013
[31]

McLaughlin

R. McLaughlin. Exceptional sets for inner functions.J. Lond. Math. Soc., s2-4(4):696–700, 1972

1972
[32]

H. S. Morse. Destructible and indestructible Blaschke products.Trans. Amer. Math. Soc., 257:247–253, 1980

1980
[33]

Z. Nehari. A generalization of Schwarz’s lemma.Duke Math. J., 14:1035–1049, 1947

1947
[34]

W. T. Ross. Indestructible Blaschke products. InBanach Spaces of Analytic Functions, volume 454 ofContemp. Math., pages 119–134. Amer. Math. Soc., Providence, RI, 2008

2008
[35]

J. V . Ryff. SubordinateH p functions.Duke Math. J., 33:347–354, 1966. 14 D. KRAUS, A. MOUCHA, AND O. ROTH D. KRAUS: DEPARTMENT OFMATHEMATICS, UNIVERSITY OFW ¨URZBURG, EMILFISCHERSTRASSE40, 97074, W ¨URZBURG, GERMANY. Email address:daniela.kraus@uni-wuerzburg.de A. MOUCHA: DEPARTMENT OFMATHEMATICS, UNIVERSITY OFW ¨URZBURG, EMILFISCHERSTRASSE40, 97074, W ¨...

1966