Disjointly universal inner functions

Dimitris Papathanasiou; \"Ozgur Martin; Sibel \c{S}ahin

arxiv: 2606.19225 · v1 · pith:AI6ZA4N6new · submitted 2026-06-17 · 🧮 math.FA

Disjointly universal inner functions

\"Ozgur Martin , Dimitris Papathanasiou , Sibel \c{S}ahin This is my paper

Pith reviewed 2026-06-26 19:17 UTC · model grok-4.3

classification 🧮 math.FA

keywords inner functionsBlaschke productssingular inner functionscomposition operatorsdisjoint universalityhyperbolic derivativepseudo-hyperbolic distancetopological semigroup

0 comments

The pith

Two sequences of composition operators admit disjointly universal Blaschke products and singular inner functions exactly when their symbols meet geometric conditions on hyperbolic derivatives and pseudo-hyperbolic distances.

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

The paper establishes characterizations for when two sequences of composition operators admit disjointly universal Blaschke products and singular inner functions. These characterizations are expressed in terms of geometric properties of the symbols, specifically their hyperbolic derivatives and pseudo-hyperbolic distances. A sympathetic reader would care because the result ties dynamical universality properties directly to measurable geometric features of the symbols in the semigroup of inner functions under composition. The work first develops an abstract disjoint universality criterion for sequences of maps on metrizable complete topological semigroups and then applies it to this concrete setting.

Core claim

We characterize when two sequences of composition operators admit disjointly universal Blaschke products and singular inner functions. The characterizations we provide depend on geometric features of the symbols like their hyperbolic derivatives and pseudo hyperbolic distances. To achieve our results, we build a disjoint universality criterion for sequences of maps that act on a metrizable, complete topological semigroup.

What carries the argument

A disjoint universality criterion for sequences of maps acting on a metrizable complete topological semigroup, specialized to the semigroup of inner functions under composition.

Load-bearing premise

The abstract criterion for disjoint universality on a metrizable complete topological semigroup applies without additional restrictions when specialized to the semigroup of inner functions under composition.

What would settle it

Finding sequences of symbols satisfying the stated conditions on hyperbolic derivatives and pseudo-hyperbolic distances yet yielding no disjointly universal Blaschke product or singular inner function would falsify the claimed equivalence.

read the original abstract

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 gives a new abstract criterion for disjoint universality on metrizable complete topological semigroups and applies it to get geometric characterizations for disjointly universal inner functions, but the transfer step needs checking.

read the letter

The paper's main contribution is a general criterion for when sequences of maps on a metrizable complete topological semigroup have disjoint universal vectors, followed by its use to characterize when two sequences of composition operators admit disjointly universal Blaschke products and singular inner functions. The characterizations are stated in terms of hyperbolic derivatives and pseudo-hyperbolic distances of the symbols.

They separate the abstract tool from the application cleanly, which is a plus. The semigroup criterion is presented first as an independent result, and the geometric conditions that come out for the inner-function case line up with standard patterns in the composition-operator literature.

The soft spot is the specialization itself. The abstract criterion requires the semigroup to be metrizable and complete with jointly continuous multiplication. The paper asserts that the inner functions under composition satisfy this without further restrictions, but the abstract gives no detail on how the topology is set up or how the density and orbit conditions are verified in that setting. If those checks hold in the proofs, the characterizations follow directly; if the topology fails to make composition continuous or the space complete, the geometric conditions rest on extra work not covered by the general theorem.

This is a narrow paper for people already working on universality questions for composition operators on Hardy spaces. A reader tracking disjoint universality or semigroup techniques in analysis will get the characterizations and the reusable criterion. It is coherent enough on its own terms to deserve referee time rather than a desk rejection.

Referee Report

2 major / 2 minor

Summary. The paper develops a general disjoint-universality criterion for sequences of maps acting on metrizable complete topological semigroups and applies it to characterize when two sequences of composition operators admit disjointly universal Blaschke products and singular inner functions. The characterizations are expressed via geometric conditions on the symbols, specifically their hyperbolic derivatives and pseudo-hyperbolic distances.

Significance. If the specialization is valid, the work supplies concrete, geometrically checkable criteria for universality phenomena in composition operators on inner functions, extending abstract semigroup methods to holomorphic dynamics. The general criterion itself is a reusable tool that could apply beyond this setting, and the results offer falsifiable predictions grounded in standard hyperbolic geometry.

major comments (2)

[§4] §4 (application of the general criterion): the claim that the abstract theorem transfers directly to the semigroup of inner functions under composition requires explicit verification that the chosen topology renders the space metrizable and complete and that composition is jointly continuous. Without this check, the geometric characterizations in Theorems 4.1 and 4.2 do not follow from the general result.
[§3–4] The hypotheses of the general criterion (density of orbits or the requisite semigroup conditions) are not shown to hold for the concrete sequences of composition operators on inner functions; this verification is load-bearing for the main theorems.

minor comments (2)

[Introduction] The notation for the pseudo-hyperbolic distance and hyperbolic derivative should be introduced with a brief reminder in the introduction for readers outside the immediate subfield.
[§2] A short remark on why the topology on inner functions satisfies the metrizability and completeness assumptions would improve readability even if standard.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. The points raised concern the rigor of the application of the abstract criterion, and we will revise the manuscript to supply the requested explicit verifications.

read point-by-point responses

Referee: [§4] §4 (application of the general criterion): the claim that the abstract theorem transfers directly to the semigroup of inner functions under composition requires explicit verification that the chosen topology renders the space metrizable and complete and that composition is jointly continuous. Without this check, the geometric characterizations in Theorems 4.1 and 4.2 do not follow from the general result.

Authors: We agree that an explicit verification is necessary for full rigor. The topology on the space of inner functions is the standard topology of uniform convergence on compact subsets of the disk. Under this topology the space is a complete metrizable topological semigroup with jointly continuous composition. We will add a short dedicated paragraph or remark in §4 that records these standard facts and confirms that the hypotheses of the general criterion are met. revision: yes
Referee: [§3–4] The hypotheses of the general criterion (density of orbits or the requisite semigroup conditions) are not shown to hold for the concrete sequences of composition operators on inner functions; this verification is load-bearing for the main theorems.

Authors: The geometric conditions on hyperbolic derivatives and pseudo-hyperbolic distances stated in Theorems 4.1 and 4.2 are precisely the conditions that guarantee the required density of orbits (and the other semigroup hypotheses) for the two sequences of composition operators. We will revise §4 to include an explicit verification step that derives the abstract hypotheses directly from these geometric assumptions, thereby making the passage from the general criterion to the concrete characterizations fully transparent. revision: yes

Circularity Check

0 steps flagged

Derivation chain is self-contained; general criterion proven independently before specialization

full rationale

The paper first constructs and proves a general disjoint-universality criterion for sequences of maps acting on any metrizable complete topological semigroup. This abstract result is established on its own terms without reference to inner functions. The paper then applies the criterion to the specific semigroup of inner functions under composition, obtaining geometric characterizations in terms of hyperbolic derivatives and pseudo-hyperbolic distances. No equation or claim reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the specialization step is a direct logical consequence of the independently derived general theorem rather than a renaming or tautological restatement of the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract supplies no explicit free parameters, axioms, or invented entities. The central claim rests on the unstated details of the semigroup criterion and its application, which cannot be audited from the given text.

pith-pipeline@v0.9.1-grok · 5574 in / 1096 out tokens · 18314 ms · 2026-06-26T19:17:22.410836+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

13 extracted references

[1]

Bayart,Disjoint frequent hypercyclicity of composition operators,Adv

F. Bayart,Disjoint frequent hypercyclicity of composition operators,Adv. Math.,418(2023), 108945, ISSN 0001-8708

2023
[2]

Bayart, P

F. Bayart, P. Gorkin, S. Grivaux, R. Mortini,Bounded universal functions for sequences of holomor- phic self-maps of the disk,Ark. Mat.,47(2009), 205–229

2009
[3]

Bayart, ´E

F. Bayart, ´E. Matheron,Dynamics of Linear Operators, Cambridge University Press, 2009

2009
[4]

B` es,¨O

J. B` es,¨O. Martin,Compositional disjoint hypercyclicity equals disjoint supercyclicity ,Houston J. Math.,38(4) (2012), 1149–1163

2012
[5]

B` es, A

J. B` es, A. Peris,Disjointness in hypercyclicity,J. Math. Anal. Appl.,336(2007), 297-315

2007
[6]

Chalmoukis,Blaschke products and singular inner functions are residual sets, https://sites.google.com/view/nikolaoschalmoukis/notes?authuser=0

N. Chalmoukis,Blaschke products and singular inner functions are residual sets, https://sites.google.com/view/nikolaoschalmoukis/notes?authuser=0
[7]

J. B. Garnett,Bounded Analytic Functions, Pure and Applied Mathematics96, Academic Press, Orlando, FL, 1981. 22 ¨O. MARTIN, D. PAPATHANASIOU, AND S. S ¸AHIN

1981
[8]

Grosse-Erdmann, R

K.-G. Grosse-Erdmann, R. Mortini,Universal functions for composition operators with non- automorphic symbol,Journal d’Analyse Math´ ematique107(1) (2009), 355-376

2009
[9]

Grosse-Erdmann, A

K.-G. Grosse-Erdmann, A. Peris Manguillot,Linear Chaos, Universitext, Springer, London, 2011

2011
[10]

Heins,Auniversal Blaschke product,Arch

M. Heins,Auniversal Blaschke product,Arch. Math.(Basel)6(1954), 41–44

1954
[11]

Sanders, S

R. Sanders, S. ShkarinExistence of disjoint weakly mixing operators that fail to satisfy the Disjoint Hypercyclicity Criterion,J. Math. Anal. Appl.,417(2014), 834-855

2014
[12]

J. H. Shapiro,Composition Operators and Classical Function Theory, Universitext: Tracts in Math- ematics, Springer, New York, 1993

1993
[13]

Walmsley,AConstructive Approach to the Universality Criterion for Semigroups (2017), Bowling Green State University, Doctoral dissertation

D. Walmsley,AConstructive Approach to the Universality Criterion for Semigroups (2017), Bowling Green State University, Doctoral dissertation. OhioLINK Electronic Theses and Dissertations Center. ¨Ozgur Martin, Department of Mathematics, Mimar Sinan Fine Arts University, Istan- bul, T¨urkiye Email address:ozgurmartin@gmail.com Dimitris Papathanasiou, Saba...

2017

[1] [1]

Bayart,Disjoint frequent hypercyclicity of composition operators,Adv

F. Bayart,Disjoint frequent hypercyclicity of composition operators,Adv. Math.,418(2023), 108945, ISSN 0001-8708

2023

[2] [2]

Bayart, P

F. Bayart, P. Gorkin, S. Grivaux, R. Mortini,Bounded universal functions for sequences of holomor- phic self-maps of the disk,Ark. Mat.,47(2009), 205–229

2009

[3] [3]

Bayart, ´E

F. Bayart, ´E. Matheron,Dynamics of Linear Operators, Cambridge University Press, 2009

2009

[4] [4]

B` es,¨O

J. B` es,¨O. Martin,Compositional disjoint hypercyclicity equals disjoint supercyclicity ,Houston J. Math.,38(4) (2012), 1149–1163

2012

[5] [5]

B` es, A

J. B` es, A. Peris,Disjointness in hypercyclicity,J. Math. Anal. Appl.,336(2007), 297-315

2007

[6] [6]

Chalmoukis,Blaschke products and singular inner functions are residual sets, https://sites.google.com/view/nikolaoschalmoukis/notes?authuser=0

N. Chalmoukis,Blaschke products and singular inner functions are residual sets, https://sites.google.com/view/nikolaoschalmoukis/notes?authuser=0

[7] [7]

J. B. Garnett,Bounded Analytic Functions, Pure and Applied Mathematics96, Academic Press, Orlando, FL, 1981. 22 ¨O. MARTIN, D. PAPATHANASIOU, AND S. S ¸AHIN

1981

[8] [8]

Grosse-Erdmann, R

K.-G. Grosse-Erdmann, R. Mortini,Universal functions for composition operators with non- automorphic symbol,Journal d’Analyse Math´ ematique107(1) (2009), 355-376

2009

[9] [9]

Grosse-Erdmann, A

K.-G. Grosse-Erdmann, A. Peris Manguillot,Linear Chaos, Universitext, Springer, London, 2011

2011

[10] [10]

Heins,Auniversal Blaschke product,Arch

M. Heins,Auniversal Blaschke product,Arch. Math.(Basel)6(1954), 41–44

1954

[11] [11]

Sanders, S

R. Sanders, S. ShkarinExistence of disjoint weakly mixing operators that fail to satisfy the Disjoint Hypercyclicity Criterion,J. Math. Anal. Appl.,417(2014), 834-855

2014

[12] [12]

J. H. Shapiro,Composition Operators and Classical Function Theory, Universitext: Tracts in Math- ematics, Springer, New York, 1993

1993

[13] [13]

Walmsley,AConstructive Approach to the Universality Criterion for Semigroups (2017), Bowling Green State University, Doctoral dissertation

D. Walmsley,AConstructive Approach to the Universality Criterion for Semigroups (2017), Bowling Green State University, Doctoral dissertation. OhioLINK Electronic Theses and Dissertations Center. ¨Ozgur Martin, Department of Mathematics, Mimar Sinan Fine Arts University, Istan- bul, T¨urkiye Email address:ozgurmartin@gmail.com Dimitris Papathanasiou, Saba...

2017