{"id":"6af96858-99d9-4634-bf79-b5590f1c3c7b","arxiv_id":"1908.08592","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For affine φ(w)=aw+b on H^2(C+), Cφ is complex symmetric iff a=1 or Re(b)=0, cyclic iff a≥1 and Re(b)>0, and never hypercyclic.","lead":"Composition operators made from affine maps of the right half-plane are now fully classified for three operator properties: complex symmetry, cyclicity, and hypercyclicity. The answer is a compact table, and the most striking entry is that complex symmetry never happens outside the normal cases while hypercyclicity never happens at all.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 4's distinctness claim is false for non-univalent maps, leaving a gap in the proof; the affine case used later is directly repairable, so the central result likely survives with correction.","rationale":"The reader identified the distinctness of iterates in Proposition 4 as the weakest assumption. Closer inspection shows the concern is real: the cited lemma is not valid for general non-univalent self-maps, and there is an explicit counterexample to the proof's key claim. This makes Proposition 4 false as stated and leaves a gap in the written proof of Corollary 5. However, the only use in the paper is for affine type I symbols, which are univalent and have trivially distinct iterates (direct formula). Therefore the central results (Theorem 6, Theorem 9, Theorem 10) are very likely correct and the proof is repairable by a small change. The reader's verdict of ACCEPT is too strong for the manuscript as submitted because it contains a false auxiliary proposition; a conditional acceptance requiring the correction of Proposition 4 is the appropriate disposition.","tokens_in":7223,"tokens_out":31980,"duration_ms":305196,"concrete_test":"For the affine map psi(w)=aw+b with 0<a<1 and fixed point alpha=b/(1-a), compute psi^[n](w)=a^n w + (1-a^n)alpha and test distinctness: if psi^[m](w)=psi^[n](w) for m<n, then (a^m-a^n)(w-alpha)=0, which forces w=alpha since a^m != a^n. If this holds, the needed case of Proposition 4 is secured without Worner's lemma, and the main theorems are unaffected by the overbroad statement of Proposition 4.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Proposition 4 is used to prove Corollary 5 and hence is load-bearing for Theorem 6 and Theorem 9. Its proof claims, citing [17, Lemma 1], that for every non-automorphic self-map of the disk with interior fixed point beta, the iterates are distinct for each z != beta. This is false. 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. Thus the iterates of 1/2 are 1/2,0,0,..., not distinct. Conjugating by the Cayley map gives a self-map psi of C+ fixing infinity and 1, with bounded C_psi, and psi(3)=1, so the orbit of k_3 under C_psi^* is k_3,k_1,k_1,..., contradicting the proof's assertion that each kernel is cyclic. Consequently Proposition 4 as stated lacks a valid proof. The paper's actual applications are only to affine type I maps phi(w)=aw+b with 0<a<1, which are univalent; for those, psi^[n](w)=a^n w + (1-a^n)alpha and the iterates are distinct by a one-line computation. The central classification thus appears correct, but the manuscript should either restrict Proposition 4 to univalent symbols or replace the citation by a direct affine-iteration argument.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":7498,"tokens_out":3851,"duration_ms":34833,"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":[{"comment":"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.","section":"Proposition 4 and its proof"}],"minor_comments":[{"comment":"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.","section":"Proposition 1 proof"},{"comment":"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.","section":"Proposition 7 proof"},{"comment":"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.","section":"General presentation"}],"recommendation":"major_revision","confidential_remarks":"The gap in Proposition 4 is genuine but localized; the affine classification is very likely correct, and the proof can be repaired by restricting the proposition to univalent symbols or by a direct affine-iteration argument. I would encourage the authors to make this fix and to correct the minor conjugate typos. The paper is otherwise well-organized and suitable for publication in a mainstream operator theory journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First, the positive: the paper delivers a complete classification of affine composition operators on H^2(C+) for complex symmetry, cyclicity, and hypercyclicity. Theorem 6 (complex symmetric iff normal), Theorem 9 (cyclic iff a≥1 and Re(b)>0), and Theorem 10 (never hypercyclic) are new and, for the affine case, the arguments are mostly clean. The reproofs of the adjoint formula and of the normality characterization are welcome, and the paper acknowledges the prior work [4] and [15] properly.\n\nThe soft spot is Proposition 4. It claims that for any non-automorphic self-map of C+ with an interior fixed point, the adjoint C*ψ is cyclic. The proof leans on the assertion, citing Worner's Lemma 1, that the iterates Ψ^{[n]}(z) are distinct for every z ≠ β. That assertion is false for non-univalent maps. A concrete counterexample on the disk is G(z)=z(z-1/2)/(1-z/2), a non-automorphic Blaschke product fixing 0, with G(1/2)=0; the iterates of 1/2 are 1/2, 0, 0, ... . Conjugating by the Cayley map yields the same phenomenon in C+. So Proposition 4 as stated lacks a valid proof.\n\nThat said, the paper never needs the full strength. The cyclicity of type II operators only uses Proposition 4 for affine type I symbols, ψ(w)=aw+b with 0<a<1, and for those the iterates are ψ^{[n]}(w)=a^n w + (1-a^n)α, so distinctness is a one-line computation. Thus Theorems 6 and 9 survive, and the paper should simply restrict Proposition 4 to univalent symbols or replace it with the direct affine argument. The typo-level missing conjugates in the kernel formulas in Propositions 1 and 7 are minor and don't affect the results.\n\nThis is a subfield paper, but it closes a natural gap in the linear-fractional composition operator program on the half-plane, and the no-hypercyclicity contrast with the weighted disk examples is worth recording. I would send it to a referee, with the instruction to fix Proposition 4. After that, it's good to go.","headline":"The affine classification is right, but Proposition 4 has a false distinctness claim that needs a fix before publication.","tokens_in":8033,"tokens_out":5617,"would_cite":true,"duration_ms":54099,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["47B33","47A16","47B32"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["complex symmetry","cyclicity","composition operators","Hardy space","right half-plane","affine symbol","Denjoy-Wolff theorem","hypercyclicity"],"falsifier":"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.","tokens_in":7038,"feed_emoji":"","tokens_out":14326,"duration_ms":110524,"temperature":0.7,"pith_summary":"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.","feed_headline":"Complex symmetry equals normality on H²(C+) operators","feed_subtitle":"Cyclic affine composition operators are exactly those with a≥1 and Re(b)>0; none are hypercyclic.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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}_+)$."],"supporting_citations":[{"why":"Supplies the lemma that Denjoy–Wolff iterates of a non-automorphic disk self-map are distinct, which makes the cyclic-vector argument in Proposition 4 work.","marker":"[17]"},{"why":"Provides the original adjoint formula for affine composition operators and the similarity of automorphic operators to multiplication operators used in Theorem 9.","marker":"[4]"},{"why":"Supplies the multiple-eigenvalue criterion that rules out cyclicity for type I operators and the disk theory background for cyclic phenomena.","marker":"[2]"},{"why":"Source of the non-cyclicity argument for multiplication by $e^{ist}$ in Lemma 8 and the disk hypercyclicity contrast in Section 4.","marker":"[5]"},{"why":"Gives the norm formula $\\|C_\\phi\\|=\\sqrt{\\phi'(\\infty)}$ used to rule out hypercyclicity for expanding symbols.","marker":"[3]"},{"why":"Establishes that the only linear-fractional self-maps of $\\mathbb{C}_+$ inducing bounded composition operators are the affine maps under study.","marker":"[13]"},{"why":"Provides the boundedness criterion for composition operators on $H^2(\\mathbb{C}_+)$ in terms of the angular derivative at $\\infty$.","marker":"[14]"},{"why":"Studied the normal, self-adjoint, and unitary cases for half-plane composition operators, results the present paper re-proves more briefly.","marker":"[15]"}],"fun_headline_variants":["Complex symmetry equals normality on H²(C_+)","Cyclic affine composition ops iff a≥1 and Re(b)>0","No hypercyclic affine composition operators on H²(C_+)","Cyclicity splits affine composition operators on H²(C_+)","New adjoint formula proof for composition operators"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Complex symmetry equals normality on H²(C_+)","Cyclic affine composition ops iff a≥1 and Re(b)>0","No hypercyclic affine composition operators on H²(C_+)","Cyclicity splits affine composition operators on H²(C_+)","New adjoint formula proof for composition operators"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000666,"raw_usage":{"total_tokens":3014,"prompt_tokens":892,"completion_tokens":2122,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":508,"completion_tokens_details":{"reasoning_tokens":2039}},"tokens_in":508,"tokens_out":2122,"duration_ms":14148,"temperature":1.0,"reasoning_tokens":2039,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:36:44.666651+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"W orner, Commutants of certain composition operators, Acta Sci","cited_arxiv_id":null,"evidence_quote":"Supplies the lemma that Denjoy–Wolff iterates of a non-automorphic disk self-map are distinct, which makes the cyclic-vector argument in Proposition 4 work."},{"cited_title":"Gallardo-Guti´ errez and A","cited_arxiv_id":null,"evidence_quote":"Provides the original adjoint formula for affine composition operators and the similarity of automorphic operators to multiplication operators used in Theorem 9."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the multiple-eigenvalue criterion that rules out cyclicity for type I operators and the disk theory background for cyclic phenomena."},{"cited_title":"Gallardo-Guti´ errez and A","cited_arxiv_id":null,"evidence_quote":"Source of the non-cyclicity argument for multiplication by $e^{ist}$ in Lemma 8 and the disk hypercyclicity contrast in Section 4."},{"cited_title":"Elliott and M","cited_arxiv_id":null,"evidence_quote":"Gives the norm formula $\\|C_\\phi\\|=\\sqrt{\\phi'(\\infty)}$ used to rule out hypercyclicity for expanding symbols."},{"cited_title":"Matache, Composition operators on Hardy spaces of a half-plane , Proc","cited_arxiv_id":null,"evidence_quote":"Establishes that the only linear-fractional self-maps of $\\mathbb{C}_+$ inducing bounded composition operators are the affine maps under study."},{"cited_title":"Matache, W eighted composition operators on H 2 and applications, Compl","cited_arxiv_id":null,"evidence_quote":"Provides the boundedness criterion for composition operators on $H^2(\\mathbb{C}_+)$ in terms of the angular derivative at $\\infty$."},{"cited_title":"Matache, Invertible and normal composition operatos on the Hilbert H ardy space of a half-plane, Concr","cited_arxiv_id":null,"evidence_quote":"Studied the normal, self-adjoint, and unitary cases for half-plane composition operators, results the present paper re-proves more briefly."}],"review_version":1}