pith. machine review for the scientific record. sign in

arxiv: 2604.27762 · v1 · submitted 2026-04-30 · 🧮 math.FA

Recognition: unknown

Iterated Aluthge transforms of some composition operators on weighted Bergman spaces

Riddhick Birbonshi, Sarita Ojha, Sudeshna Lahiri

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

classification 🧮 math.FA
keywords Aluthge transformcomposition operatorweighted Bergman spacestrong operator topologynumerical radiusoperator normaffine symboliterated transforms
0
0 comments X

The pith

The iterated Aluthge transforms of the composition operator induced by φ(z)=az+(1-a) on weighted Bergman spaces admit explicit expressions, known norms and radii, and strong convergence.

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

This paper computes the n-fold Aluthge transforms of the composition operator C_φ on the weighted Bergman space A_α²(D) for the specific affine symbol φ(z)=az+(1-a) with 0

Core claim

The iterated Aluthge transforms of C_φ are computed explicitly on A_α²(D) for φ(z)=az+(1-a), 0<a<1. The norm and numerical radius of each iterate are obtained. The sequence converges in the strong operator topology on A_α²(D). Using the iterated Aluthge transforms of C_φ* yields the iterates of the adjoint-induced operator C_σ on the weighted Hardy space H²(β_α) and establishes its convergence as well.

What carries the argument

The Aluthge transform of an operator T, obtained from its polar decomposition T=U|T| as |T|^{1/2} U |T|^{1/2} and then iterated n times to give the n-th iterate of C_φ.

Load-bearing premise

The affine linear form of the symbol φ permits the polar decomposition and the resulting Aluthge iterates to be written in closed form without additional weight-dependent correction terms.

What would settle it

For concrete values a=1/2 and α=0, compute the first Aluthge iterate by hand or numerically on a finite-dimensional model space and check whether the resulting operator applied to the monomials z^k matches the claimed closed-form expression and whether the sequence of iterates applied to a fixed test function converges in norm.

read the original abstract

In this paper, we compute the iterated Aluthge transforms $\widetilde{C_\phi}^{(n)}$ of the composition operator $C_\phi$ on the weighted Bergman spaces $\mathcal{A}_\alpha^2(\mathbb{D})$, where $\phi(z)=az+(1-a)$ for $0<a<1$. Also, we obtain the norm and numerical radius of $\widetilde{C_\phi}^{(n)}$ on $\mathcal{A}_\alpha^2(\mathbb{D})$. We establish that $\widetilde{C_\phi}^{(n)}$ converges in the strong operator topology on $\mathcal{A}_\alpha^2(\mathbb{D})$. The purpose of this paper is to examine the results of \cite{jung2015iterated} for the weighted Bergman spaces $\mathcal{A}_\alpha^2(\mathbb{D})$. Additionally, by using the iterated Aluthge transforms of $C_\phi^*$ on $\mathcal{A}_\alpha^2(\mathbb{D})$, we derive the iterated Aluthge transforms of $C_\sigma$, where $\displaystyle\sigma(z)=\frac{az}{-(1-a)z+1}$ for $0<a<1$, on some weighted Hardy space $H^2(\beta_\alpha)$ and study its convergence. Finally, we raise some questions that emerge from these findings.

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.

Referee Report

3 major / 3 minor

Summary. The paper computes the iterated Aluthge transforms of the composition operator C_φ on weighted Bergman spaces A_α²(D) for the linear symbol φ(z)=az+(1-a) with 0<a<1, obtains explicit formulas for the norm and numerical radius of each iterate, and proves strong-operator convergence of the sequence. It extends the unweighted results of Jung et al. (2015), derives analogous iterates for the related operator C_σ on a weighted Hardy space H²(β_α) via duality with C_φ^*, and poses open questions.

Significance. If the claimed closed-form expressions are verified to hold without additional α-dependent factors arising from the weighted inner product, the work supplies concrete, computable examples of iterated Aluthge transforms on Bergman spaces and their convergence, which are scarce in the literature. The extension to the weighted Hardy-space setting and the explicit norm/radius formulas would be useful for testing general conjectures about Aluthge iteration and for applications involving composition operators on spaces with weights.

major comments (3)
  1. [§3 (main theorems on iterated transforms)] The central computations (Theorems 3.1–3.3 and the statements in §4) assert explicit closed-form expressions for the n-fold Aluthge iterates without supplying the intermediate steps that compute |C_φ| = (C_φ^* C_φ)^{1/2} with respect to the weighted inner product ⟨f,g⟩_α = ∫_D f(z) conj(g(z)) (1-|z|²)^α dA(z). Because the reproducing kernels and orthonormal basis of A_α² carry α-dependent factors, it is not immediate that the square-root and conjugation steps in the Aluthge definition cancel these factors exactly; the manuscript must exhibit the calculation showing that the iterates remain of the same linear-symbol form as in the unweighted case.
  2. [§4 (convergence results)] The strong-convergence claim (Theorem 4.2) is said to follow directly from the norm formulas. However, strong-operator convergence requires showing that ||(widetilde{C_φ}^{(n)} - T) f||_α → 0 for every f in A_α², not merely that the operator norms are bounded. The manuscript provides no uniform estimate or explicit limit operator that accounts for possible α-dependence in the rate of convergence; this step is load-bearing for the final assertion.
  3. [§5 (extension to weighted Hardy space)] The derivation of the iterates for C_σ on H²(β_α) (Theorem 5.1) invokes a correspondence between C_φ^* on A_α² and C_σ on the weighted Hardy space. The precise definition of the weight sequence β_α and the verification that the correspondence preserves the Aluthge iteration are not supplied; without these, the claimed formulas for the Hardy-space iterates rest on an unverified identification.
minor comments (3)
  1. [Abstract and §1] The abstract and introduction should state the precise range of the weight parameter α (typically α > -1) for which the spaces A_α²(D) and H²(β_α) are defined.
  2. [§1 (introduction)] A short paragraph recalling the explicit formulas obtained in the unweighted case (Jung et al., 2015) would allow readers to see immediately which expressions remain unchanged and which acquire α-factors.
  3. [Throughout] Notation for the Aluthge iterate (widetilde{C_φ}^{(n)}) and the numerical radius w(·) should be introduced once and used consistently; several passages use slightly varying symbols.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful and constructive review of our manuscript. The comments highlight important points where additional details and clarifications are needed to make the arguments fully rigorous, especially in the weighted setting. We address each major comment below and outline the revisions we will make.

read point-by-point responses

  1. Referee: [§3 (main theorems on iterated transforms)] The central computations (Theorems 3.1–3.3 and the statements in §4) assert explicit closed-form expressions for the n-fold Aluthge iterates without supplying the intermediate steps that compute |C_φ| = (C_φ^* C_φ)^{1/2} with respect to the weighted inner product ⟨f,g⟩_α = ∫_D f(z) conj(g(z)) (1-|z|²)^α dA(z). Because the reproducing kernels and orthonormal basis of A_α² carry α-dependent factors, it is not immediate that the square-root and conjugation steps in the Aluthge definition cancel these factors exactly; the manuscript must exhibit the calculation showing that the iterates remain of the same linear-symbol form as in the unweighted case.

    Authors: We appreciate the referee's observation that the intermediate steps for the polar decomposition in the weighted inner product were not sufficiently detailed. While the final expressions match those of the unweighted case, we agree that an explicit verification is necessary to confirm the cancellation of α-dependent factors. In the revised manuscript, we will insert a new subsection or appendix providing the full calculation of C_φ^* C_φ, its positive square root, and the unitary part, using the explicit action on the orthonormal basis {z^k normalized with α}. This will show that the factors cancel, and the Aluthge iterates retain the linear symbol form without additional α-dependent multipliers. revision: yes

  2. Referee: [§4 (convergence results)] The strong-convergence claim (Theorem 4.2) is said to follow directly from the norm formulas. However, strong-operator convergence requires showing that ||(widetilde{C_φ}^{(n)} - T) f||_α → 0 for every f in A_α², not merely that the operator norms are bounded. The manuscript provides no uniform estimate or explicit limit operator that accounts for possible α-dependence in the rate of convergence; this step is load-bearing for the final assertion.

    Authors: The referee is right to emphasize that convergence of operator norms does not automatically imply strong convergence. Our original statement was too brief. In the revision, we will expand the proof of Theorem 4.2 to explicitly construct the candidate limit operator T from the closed-form expressions of the iterates and verify strong convergence directly. Specifically, we apply the iterates to the orthonormal basis of A_α² (normalized monomials with α-dependent coefficients) and show that the difference tends to zero for each basis vector; by density and the uniform boundedness of the sequence (which follows from the norm formulas), the result extends to all f in the space. The rate of convergence depends on α, but since α is fixed for each space under consideration, this suffices. revision: yes

  3. Referee: [§5 (extension to weighted Hardy space)] The derivation of the iterates for C_σ on H²(β_α) (Theorem 5.1) invokes a correspondence between C_φ^* on A_α² and C_σ on the weighted Hardy space. The precise definition of the weight sequence β_α and the verification that the correspondence preserves the Aluthge iteration are not supplied; without these, the claimed formulas for the Hardy-space iterates rest on an unverified identification.

    Authors: We concur that the details of the duality and the weight sequence were not adequately specified. In the revised version, we will add the explicit definition of the weight sequence β_α, which is given by the normalizing sequence making the correspondence isometric between the dual of A_α² and H²(β_α). Furthermore, we will include a lemma proving that the correspondence is a unitary equivalence that commutes with the Aluthge transform operation, thereby justifying that the iterates on one space correspond to those on the other. This will make the derivation of Theorem 5.1 complete. revision: yes

Circularity Check

0 steps flagged

Direct computations of Aluthge iterates on weighted spaces; no reduction to inputs by construction

full rationale

The paper performs explicit calculations of the iterated Aluthge transforms for the affine symbol φ(z)=az+(1-a) directly on A_α²(D) using the definitions of the Aluthge transform and the weighted inner product. Norms, numerical radii, and strong-operator convergence are then obtained from these closed-form expressions. The reference to Jung et al. (2015) is invoked only to motivate the extension from the unweighted case and to compare results; it supplies no load-bearing theorem or fitted quantity that forces the weighted formulas. No self-definitional loops, fitted parameters renamed as predictions, or ansatzes smuggled via self-citation appear in the derivation chain. The calculations remain self-contained against the standard operator-theoretic definitions on the weighted space.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the standard definition of the Aluthge transform, the boundedness of the composition operator C_φ for the given linear symbol on the weighted Bergman space, and the Hilbert-space structure that permits the modulus and adjoint operations. No quantities are fitted to data; a and α are fixed parameters of the setup. No new entities are postulated.

axioms (2)
  • domain assumption The weighted Bergman space A_α²(D) is a Hilbert space on which the composition operator C_φ with φ(z)=az+(1-a) is bounded for 0<a<1.
    Invoked throughout the abstract when norms and strong convergence are discussed; standard in the literature on composition operators.
  • standard math The Aluthge transform is well-defined via the polar decomposition or the formula involving |T|^{-1/2} T |T|^{1/2} (with appropriate conventions for non-invertible operators).
    Used to define the iterated sequencewidetilde{C_φ}^{(n)}; this is a background definition from operator theory.

pith-pipeline@v0.9.0 · 5535 in / 1851 out tokens · 51546 ms · 2026-05-07T05:50:50.893228+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

21 extracted references

  1. [1]

    Integral Equations and Operator Theory 13(3), 307-315 (1990)

    Aluthge, A.: Onp-hyponormal operators for 0< p <1. Integral Equations and Operator Theory 13(3), 307-315 (1990)

    1990

  2. [2]

    Advances in Mathematics 226(2), 1591-1620 (2011)

    Antezana, J., Pujals, E.R., Stojanoff, D.: The iterated Aluthge transforms of a matrix converge. Advances in Mathematics 226(2), 1591-1620 (2011)

    2011

  3. [3]

    Integral Equations and Operator Theory 37(4), 437-448 (2000)

    Bong, Jung, I., Ko, E., Pearcy, C.: Aluthge transforms of operators. Integral Equations and Operator Theory 37(4), 437-448 (2000)

    2000

  4. [4]

    Integral Equations and Operator Theory 45(4), 375-387 (2003)

    Bong, Jung, I., Ko, E., Pearcy, C.: The iterated Aluthge transform of an operator. Integral Equations and Operator Theory 45(4), 375-387 (2003)

    2003

  5. [5]

    Integral Equations and Operator Theory 53(3), 321-329 (2005)

    Ch¯ o, M., Jung, I.B., Lee, W.Y.: On Aluthge transforms ofp-hyponormal operators. Integral Equations and Operator Theory 53(3), 321-329 (2005)

    2005

  6. [6]

    Transactions of the American Mathematical Society 362(11), 5771-5801 (2010)

    Cowen, C., Ko, E.: Hermitian weighted composition operators onH 2. Transactions of the American Mathematical Society 362(11), 5771-5801 (2010)

    2010

  7. [7]

    Complex Analysis and Operator Theory 7(1), 69-99 (2013)

    Cowen, C.C., Gunatillake, G., Ko, E.: Hermitian weighted composition operators and Bergman extremal functions. Complex Analysis and Operator Theory 7(1), 69-99 (2013)

    2013

  8. [8]

    Journal of functional Analysis 81(2), 298-319 (1988) 20 S

    Cowen, C.C., Kriete, III T.L.: Subnormality and composition operators onH 2. Journal of functional Analysis 81(2), 298-319 (1988) 20 S. LAHIRI, S. OJHA, R. BIRBONSHI

    1988

  9. [9]

    Boca Raton, CRC press (1995)

    Cowen, C.C., MacCluer, B.D.: Composition operators on spaces of analytic functions. Boca Raton, CRC press (1995)

    1995

  10. [10]

    Pacific Journal of Mathematics 35(2), 331-336 (1970)

    Embry, M.: Similarities involving normal operators on Hilbert space. Pacific Journal of Mathematics 35(2), 331-336 (1970)

    1970

  11. [11]

    Springer Science & Business Media (2012)

    Hedenmalm, H., Korenblum, B., Zhu, K.: Theory of Bergman spaces. Springer Science & Business Media (2012)

    2012

  12. [12]

    Archiv der Mathematik 68(6), 503-513 (1997)

    Hurst, P.R.: Relating composition operators on different weighted Hardy spaces. Archiv der Mathematik 68(6), 503-513 (1997)

    1997

  13. [13]

    Journal of Operator Theory 303-319 (2004)

    Ito, M., Yamazaki, T., Yanagida, M.: On the polar decomposition of the Aluthge trans- formation and related results. Journal of Operator Theory 303-319 (2004)

    2004

  14. [14]

    Mathematische Nachrichten 283(11), 1629-1636 (2010)

    Jaoua, N.: Isometric composition operators on the weighted Hardy spaces. Mathematische Nachrichten 283(11), 1629-1636 (2010)

    2010

  15. [15]

    Applied Mathematics and Computation 261, 252-263 (2015)

    Jung, S., Kim, Y., Ko, E.: Characterizations of binormal composition operators with linear fractional symbols onH 2. Applied Mathematics and Computation 261, 252-263 (2015)

    2015

  16. [16]

    International Journal of Mathematics 26(10), 1550079 (2015)

    Jung, S., Kim, Y., Ko, E.: Iterated Aluthge transforms of composition operators onH 2. International Journal of Mathematics 26(10), 1550079 (2015)

    2015

  17. [17]

    Mathematische Zeitschrift 38(1), 177-216 (1934)

    L¨ owner, K.: ¨Uber monotone matrixfunktionen. Mathematische Zeitschrift 38(1), 177-216 (1934)

    1934

  18. [18]

    Illinois Journal of Mathematics 40(4), 662-677 (1996)

    MacCluer, B.D., Zeng, X., Zorboska, N.: Composition operators on small weighted Hardy spaces. Illinois Journal of Mathematics 40(4), 662-677 (1996)

    1996

  19. [19]

    Scientiae Mathemat- icae Japonicae 55(1), 77-83 (2002)

    Muneo, C., Tanahashi, K.: Spectral relations for Aluthge transform. Scientiae Mathemat- icae Japonicae 55(1), 77-83 (2002)

    2002

  20. [20]

    Integral Equations and Operator Theory 45(1), 105-124 (2003)

    Richman, A.E.: Subnormality and composition operators on the Bergman space. Integral Equations and Operator Theory 45(1), 105-124 (2003)

    2003

  21. [21]

    Acta Sci

    Zorboska, N.: Hyponormal composition operators on weighted Hardy spaces. Acta Sci. Math.(Szeged) 55(3-4), 399-402 (1991) (Lahiri)Department of Mathematics, Indian Institute of Engineering Science and Technology, Shibpur, Howrah 711103, West Bengal, India Email address:sudeshna.lahiri88@gmail.com (Ojha)Department of Mathematics, Indian Institute of Enginee...

    1991