Pith. sign in

REVIEW 1 major objections 3 minor 17 references

Complex symmetry and cyclicity of composition operators on $H^2(\mathbb{C}_+)$

T0 review · 1 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read This paper proves that for affine symbols on the right half-plane, composition operators on H²(C+) are complex symmetric precisely when they are normal, and it completes the cyclicity and hypercyclicity classification.

desk verdict The affine classification is right, but Proposition 4 has a false distinctness claim that needs a fix before publication. read the letter →

arxiv 1908.08592 v2 pith:RBRZQ3S4 submitted 2019-08-22 math.FA

S. Waleed Noor , Osmar R. Severiano This is my paper · ORCID
classification math.FA MSC 47B3347A1647B32
keywords complexsymmetrycyclicitycompositionoperatorsHardyspacerighthalf-planeaffinesymbolDenjoy-Wolfftheoremhypercyclicity
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 proves a complete classification for composition operators $C_\phi f = f\circ\phi$ induced by affine self-maps $\phi(w)=aw+b$ ($a>0$, $\operatorname{Re}(b)\ge 0$) on the Hardy-Hilbert space $H^2(\mathbb{C}_+)$ of the right half-plane. The central result is that $C_\phi$ is complex symmetric if and only if it is normal, i.e., exactly when $a=1$ or $\operatorname{Re}(b)=0$. The paper also characterizes cyclicity: $C_\phi$ is cyclic precisely for parabolic non-automorphisms and hyperbolic non-automorphisms with $a>1$, equivalently $a\ge 1$ and $\operatorname{Re}(b)>0$, and proves that no such operator is hypercyclic. Because affine maps are the only linear-fractional self-maps of $\mathbb{C}_+$ that induce bounded composition operators, this closes the linear-fractional case for the half-plane.

What carries the argument

The argument rests on two pieces. First, the adjoint identity $C_\phi^* = a^{-1}C_\psi$ with $\psi(w)=a^{-1}w+a^{-1}\overline{b}$ turns operator questions into symbol identities; normality, self-adjointness, and unitarity become statements about $\phi\circ\psi=\psi\circ\phi$. Second, cyclicity is decided through the classical Denjoy–Wolff theorem: for a non-automorphic self-map with an interior fixed point $\alpha$, the reproducing kernels $k_w$ with $w\neq\alpha$ are shown to be cyclic vectors for the adjoint operator, because any function in $H^2(\mathbb{C}_+)$ that vanishes on the iterates $\psi^{[n]}(w)$—a sequence of distinct points converging to $\alpha$—must be identically zero. For contracting symbols ($0<a<1$, $\operatorname{Re}(b)>0$), non-cyclicity follows from the infinite-multiplicity eigenvalues of the adjoint together with the standard fact that such an adjoint cannot belong to a cyclic operator.

What would settle it

A concrete way to test the classification is to search for an affine symbol of type I ($0<a<1$, $\operatorname{Re}(b)>0$) whose composition operator is cyclic, or a type II symbol whose operator is complex symmetric; either example would contradict Theorems 6 and 9. A more basic check is to look for a non-automorphic self-map of $\mathbb{C}_+$ with an interior fixed point whose iterates coincide at some point, which would invalidate Proposition 4 and reopen the cyclicity of type II operators.

Watch

Extended reading notes

Core claim

The paper's discovery is that on $H^2(\mathbb{C}_+)$, the properties of complex symmetry and normality coincide for affine composition operators, and that cyclicity splits the hyperbolic non-automorphisms by whether the multiplier $a$ is below or above $1$. Theorem 6 states that $C_\phi$ is complex symmetric if and only if $a=1$ or $\operatorname{Re}(b)=0$; Theorem 9 states that $C_\phi$ is cyclic if and only if $a\ge 1$ and $\operatorname{Re}(b)>0$; Theorem 10 states that no affine symbol gives a hypercyclic operator. A byproduct is a new short proof of the adjoint formula $C_\phi^* = a^{-1}C_\psi$ with $\psi(w)=a^{-1}w+a^{-1}\overline{b}$, which the authors use to re-derive the normal, self-adjoint, and unitary classifications. The argument uses the interplay between the two properties: because the adjoint of a type I operator is a scalar multiple of a type II operator, and because cyclicity of an operator and its adjoint are equivalent when the operator is complex symmetric, proving type I is not cyclic while type II is cyclic rules out complex symmetry for both.

Load-bearing premise

The load-bearing premise is that the Denjoy–Wolff iterates of a non-automorphic self-map with an interior fixed point remain distinct for every starting point other than that fixed point; the cyclicity argument for expanding symbols collapses if two iterates ever coincide, because then a nonzero function could vanish on the evaluation sequence without being identically zero.

Editorial extensions

If this is right

  • For affine symbols on the right half-plane, complex symmetry and normality coincide, so any future non-normal complex symmetric composition operator on $H^2(\mathbb{C}_+)$ must come from a non-affine symbol.
  • The cyclic operators in this class are exactly those with $a\ge 1$ and $\operatorname{Re}(b)>0$, with explicit cyclic vectors: any kernel $k_w$ with $w$ not equal to the fixed point for expanding symbols, and the kernel $k_1$ for parabolic non-automorphisms.
  • No composition operator induced by an affine self-map of $\mathbb{C}_+$ is hypercyclic; in the expanding hyperbolic case this follows because the norms $\|C_\phi^n\|$ tend to $0$.
  • Because the affine maps are the only linear-fractional self-maps of $\mathbb{C}_+$ that induce bounded composition operators, the classification covers the entire linear-fractional case for $H^2(\mathbb{C}_+)$.

Reading between the lines

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

  • The same cyclicity-excludes-complex-symmetry mechanism may extend to other Hilbert spaces of analytic functions on a half-plane, provided reproducing kernels separate points and the Denjoy–Wolff iterates remain distinct; spaces without point evaluations would require a different argument.
  • The non-cyclicity of automorphic symbols is obtained via similarity to multiplication by $e^{ist}$; this suggests a rigidity of boundary behaviour that might persist for non-affine self-maps whose boundary action is a nontrivial rotation.
  • A testable extension is to ask whether the coincidence of complex symmetry with normality survives on weighted Hardy spaces of the half-plane, where the adjoint formula changes and may break the argument.
  • Since the linear-fractional case is now closed, the natural next family is non-linear-fractional self-maps of $\mathbb{C}_+$; the paper's two-part mechanism (adjoint identity plus iteration geometry) indicates where non-normal complex symmetric examples might first appear.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 3 minor

Summary. The paper studies composition operators C_φ on the Hardy-Hilbert space H^2(C_+) induced by affine self-maps φ(w)=aw+b with a>0 and Re(b)≥0. It proves a short adjoint formula and then characterizes complex symmetry (Theorem 6: C_φ is complex symmetric iff a=1 or Re(b)=0, i.e., exactly when it is normal), cyclicity (Theorem 9: C_φ is cyclic iff a≥1 and Re(b)>0), and hypercyclicity (Theorem 10: no affine C_φ is hypercyclic). The proof strategy is to show that type I hyperbolic non-automorphisms are not cyclic, while type II are cyclic, using the adjoint relation and the interplay between complex symmetry and cyclicity.

Significance. If the results hold, this gives a complete and clean classification for affine composition operators on H^2(C_+), complementing known disk results. The direct proofs of the adjoint formula and of the normal, self-adjoint, and unitary characterizations are elegant and largely self-contained, with external theorems used appropriately. The main theorems are sharp and stated as explicit if-and-only-if criteria. However, the current proof of Proposition 4 contains a gap that is load-bearing for the cyclicity claims, so the paper needs revision before the results can be considered fully established.

major comments (1)
  1. [Proposition 4 and its proof] The proof asserts that for every non-automorphic self-map Ψ of the disk with an interior fixed point β, the iterates Ψ^{[n]}(z) are distinct for each z≠β, citing [17, Lemma 1]. This assertion is false without univalence. For example, G(z)=z(z-1/2)/(1-z/2) maps D into D, is non-automorphic, fixes 0 and 1, and satisfies G(1/2)=0, so the orbit of 1/2 is 1/2,0,0,... . Conjugating by the Cayley map gives a self-map ψ of C_+ with an interior fixed point whose iterates are not distinct, so the proof's claim that every kernel k_w with w≠α is a cyclic vector for C_ψ^* does not follow. Since Proposition 4 is used to prove Corollary 5 and hence Theorems 6 and 9, this is a load-bearing gap. The gap is repairable for the paper's actual application: for affine type I symbols ψ(w)=aw+b with 0<a<1, univalence gives distinct iterates by direct computation, so the authors should either restrict Proposition 4 to univalent symbols or replace it with a direct affine-iteration argument.
minor comments (3)
  1. [Proposition 1 proof] The displayed computation writes (C_φ k_α)(w)=1/(aw+b+α), but the correct kernel evaluation is 1/(aw+b+\bar α); the missing conjugate also appears in the subsequent equalities. The final identity is correct once the conjugates are restored.
  2. [Proposition 7 proof] In the equality k_1(w+nb)=k_{b_n}(w) with b_n=1+nb, the conjugate is missing in the denominator; the displayed formula should be 1/(w+\overline{1+nb}). This is a typo and does not affect the argument.
  3. [General presentation] The paper would benefit from a brief remark that Proposition 4 is needed only for univalent affine symbols, clarifying why the proof focuses on the affine case despite the general statement.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the affine composition-operator results are derived from direct kernel computations and independent external theorems.

full rationale

The paper contains no fitted inputs, no renamed empirical regularities, and no load-bearing self-citations. The adjoint formula in Proposition 1 is reproved from the elementary kernel identity C*_φ k_α = k_φ(α). Theorem 2's normality, self-adjointness, and unitarity criteria follow from an explicit computation of the commutation relation φ∘ψ = ψ∘φ, not from assuming the target classification. For complex symmetry, the paper uses the standard external fact that normal operators are complex symmetric and then excludes the remaining hyperbolic non-automorphisms by a cyclicity argument: type I operators are shown non-cyclic via Bourdon–Shapiro's multiple-eigenvalue criterion, and type II operators are shown cyclic via Proposition 4, which relies on Denjoy–Wolff theory and Worner's lemma. These are independent external results, not results of the present authors, and they are not assumed in the form of the theorem being proved. The cyclicity theorem for parabolic non-automorphisms is proved by a direct orbit-and-Blaschke-condition argument, and the non-hypercyclicity theorem follows from the decay of ||C_φ^n||. The only questionable step is Proposition 4's appeal to Worner's lemma that iterates are distinct for non-univalent symbols; a skeptical reviewer may question the validity of that lemma in full generality. But this is a correctness concern about an external citation, not a circularity: the paper does not define, fit, or presuppose the target conclusion through that lemma. The affine case actually used later can be verified directly, so the central classification is not obtained by reduction to its own inputs. No circular step can be quoted from the manuscript.

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

No free parameters or invented entities. The proof rests on standard theorems (Denjoy-Wolff, Blaschke condition, Worner's lemma, Bourdon-Shapiro criterion), Matache's boundedness classification, and the independent adjoint/similarity formulas of Gallardo-Gutiérrez and Montes-Rodríguez [4]; none of these were authored by the present authors, so no circularity burden.

assumptions (7)
  • standard math Matache's boundedness classification: the only linear fractional self-maps inducing bounded composition operators on H^2(C+) are φ(w)=aw+b with a>0 and Re(b)≥0.
    Invoked in the Introduction (Eq. 0.2) to reduce the problem to affine symbols; cited to Matache [13].
  • standard math Denjoy-Wolff theorem for non-automorphic disk self-maps with interior fixed point β: iterates converge locally uniformly to β.
    Used in Proposition 4 to get ψ^{[n]}(w) converging to the fixed point α.
  • standard math Worner's lemma [17, Lemma 1]: iterates of such a map are distinct for each z≠β.
    Used in Proposition 4 to ensure f vanishes on a sequence of distinct points with limit in C+, forcing f≡0.
  • standard math Bourdon-Shapiro cyclicity criterion [2, Prop. 2.7]: an operator with an eigenvalue of infinite multiplicity has a non-cyclic adjoint.
    Used in Section 2.1 to prove type I operators are not cyclic.
  • standard math Blaschke condition for H^2(C+) zero sequences: a nonzero function cannot have zeros z_n with ∑ Re(z_n)/(1+|z_n|^2)=∞.
    Used in Proposition 7 to show the orbit of k1 is cyclic for parabolic non-automorphisms.
  • standard math Similarity formulas of Gallardo-Gutiérrez and Montes-Rodríguez [4, Theorem 7.1]: parabolic automorphisms of C+ are similar to multiplication by exponentials on L2(R+,dt), hyperbolic automorphisms to multiplication operators on L2(R,dt).
    Used in Theorem 9 to reduce the non-cyclicity of automorphic symbols to Lemma 8; this is independent prior work by other authors.
  • standard math Normal operators are complex symmetric and normal operators are not hypercyclic.
    Used in Theorem 6 to cover the normal cases and in Theorem 10 to rule out hypercyclicity for automorphic and parabolic non-automorphic symbols.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Complex symmetry and cyclicity of composition operators on $H^2(\mathbb{C}_+)$." pith.science (2026). https://pith.science/paper/RBRZQ3S4

@misc{pith2026190808592,
  author       = {Pith},
  title        = {Pith review of: Complex symmetry and cyclicity of composition operators on $H^2(\mathbbC_+)$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RBRZQ3S4}},
  note         = {Machine review of arXiv:1908.08592}
}
abstract

In this article, we completely characterize the complex symmetry, cyclicity and hypercyclicity of composition operators $C_\phi f=f\circ\phi$ induced by affine self-maps $\phi$ of the right half-plane $\mathbb{C}_+$ on the Hardy-Hilbert space $H^2(\mathbb{C}_+)$. We also provide new proofs for the normal, self-adjoint and unitary cases and for an adjoint formula discovered by Gallardo-Guti\'{e}rrez and Montes-Rodr\'{i}gues.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

  1. [4]

    Gallardo-Guti´ errez and A

    E. Gallardo-Guti´ errez and A. Montes-Rodr ´ ıguez, Adjoints of linear fractional composition operators on the Dirichlet space. Math. Ann. (2003) 327, 117-134. 8 S. W ALEED NOOR AND OSMAR R. SEVERIANO

    work page 2003

  2. [15]

    Matache, Invertible and normal composition operatos on the Hilbert H ardy space of a half-plane, Concr

    V. Matache, Invertible and normal composition operatos on the Hilbert H ardy space of a half-plane, Concr. Oper.,2016, 3:77-84

    work page 2016

  3. [1]

    Bayart and E

    F. Bayart and E. Matheron, Dynamics of linear operators . Cambridge Tracts in Math. (179), 2009

    work page 2009

  4. [2]

    P. S. Bourdon and J. H. Shapiro, Cyclic Phenomena for composition operators . Mem. Amer. Math. Soc. 125 (1997), no. 596

    work page 1997

  5. [3]

    Elliott and M

    S. Elliott and M. T. Jury, Composition operators on Hardy spaces of a half-plane. Bull. London Math. Soc. 44 (2012) 489495

    work page 2012

  6. [5]

    Gallardo-Guti´ errez and A

    E. Gallardo-Guti´ errez and A. Montes-Rodr ´ ıguez, The role of the spectrum in the cyclic be- havior of composition operators. Mem. Amer. Math. Soc. 167 ( 2004), no. 791

    work page 2004

  7. [6]

    S. R. Garcia and C. Hammond, Which weighted composition operators are complex symmet- ric?. Oper. Theory Adv. Appl., Volume 236, 2014, pp 171-179

    work page 2014

  8. [7]

    S. R. Garcia and M. Putinar, Complex symmetric operators and applications. Trans. Amer. Math. Soc., 358(3): (2006) 1285-1315 (electronic)

    work page 2006

Show all 17 references
  1. [8]

    S. R. Garcia and M. Putinar, Complex symmetric operators and applications. II . Trans. Amer. Math. Soc., 359(8):3913-3931 (electronic), 2007

    2007

  2. [9]

    S. R. Garcia and W. R. W ogen, Complex symmetric partial isometries . J. Funct. Anal., 257(4), 1251-1260, 2009

    2009

  3. [10]

    S. R. Garcia and W. R. W ogen, Some new classes of complex symmetric operators . Trans. Amer. Math. Soc., 362(11):6065-6077, 2010

    2010

  4. [11]

    Garnett, Bounded analytic functions

    John B. Garnett, Bounded analytic functions . GTM, volume 236, Springer 2007

    2007

  5. [12]

    Grosse-Erdmann, A

    K. Grosse-Erdmann, A. P. Manguillot, Linear Chaos , Springer-Verlag London, 2011

    2011

  6. [13]

    Matache, Composition operators on Hardy spaces of a half-plane , Proc

    V. Matache, Composition operators on Hardy spaces of a half-plane , Proc. Amer. Math. Soc. 127 (1999) 1483-1491

    1999

  7. [14]

    Matache, W eighted composition operators on H 2 and applications, Compl

    V. Matache, W eighted composition operators on H 2 and applications, Compl. Anal. Oper. Theory 2 (2008), 169-197

    2008

  8. [16]

    Narayan, D

    S. Narayan, D. Sievewright, D.Thompson, Complex symmetric composition operators on H 2, J. Math. Anal. Appl. 443 (2016), no. 1, 625630

    2016

  9. [17]

    W orner, Commutants of certain composition operators, Acta Sci

    T. W orner, Commutants of certain composition operators, Acta Sci. Math. (Szeged) 68 (2002), 413432. IMECC, Universidade Estadual de Campinas, Campinas-SP, Bra zil. E-mail address: waleed@ime . unicamp. br(1st author), osmar. rrseveriano@gmail. com(2nd author)

    2002

Pith tools

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