pith. sign in

arxiv: 2408.08659 · v2 · submitted 2024-08-16 · 🧮 math.FA · math.CV

Invariance and near invariance for non-cyclic shift semigroups

Yuxia Liang , Jonathan R. Partington This is my paper

Pith reviewed 2026-05-23 22:20 UTC · model grok-4.3

classification 🧮 math.FA math.CV
keywords Hardy spaceinvariant subspacesunilateral shiftnear invarianceHitt's algorithmBeurling-Lax theoremToeplitz operatorsBlaschke products
0
0 comments X

The pith

Subspaces of the Hardy space that stay invariant under S² and S^{2k+1} receive complete descriptions.

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

The paper sets out to classify all subspaces of H²(D) that remain invariant when the unilateral shift is applied at the second power and at the power 2k+1. A reader would care because these subspaces reveal the common structure preserved by two different multiplication operators on analytic functions. The work then identifies the subspaces that are nearly invariant under the adjoints of those same operators. The same approach is carried out for general m, k, and γ, producing descriptions that also cover higher-order shifts and certain Toeplitz operators.

Core claim

The subspaces of H²(D) simultaneously invariant under S² and S^{2k+1} are characterised, the subspaces nearly invariant under both (S²)* and (S^{2k+1})* for k≥1 are identified, and more generally the simultaneously (nearly) invariant subspaces with respect to (S^m)* and (S^{km+γ})* are characterised for m≥3, k≥1 and γ∈{1,2,⋯,m−1}, which leads to a description of (nearly) invariant subspaces with respect to higher order shifts; the corresponding results for Toeplitz operators induced by a Blaschke product are also presented.

What carries the argument

Refinement of Hitt's algorithm combined with the Beurling-Lax theorem applied to non-cyclic shift semigroups.

If this is right

  • The same method yields descriptions of (nearly) invariant subspaces for higher-order shifts.
  • The results extend directly to Toeplitz operators induced by Blaschke products.
  • The characterizations apply to the general case of simultaneous invariance under (S^m)* and (S^{km+γ})*.
  • The lattice of such subspaces is described in terms of model spaces or their near-invariant analogues.

Where Pith is reading between the lines

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

  • The explicit forms may make it feasible to decide invariance questions for other finite collections of shift powers by similar matrix constructions.
  • The approach could be tested on semigroups generated by shifts at rationally related angles on the circle.
  • The near-invariance results may supply new examples of subspaces whose orthogonal complements have controlled dimension growth.

Load-bearing premise

The refinement of Hitt's algorithm together with the Beurling-Lax theorem extends without obstruction to the non-cyclic shift semigroups and the specific combinations of powers considered.

What would settle it

A subspace of H²(D) that is invariant under both S² and S^{2k+1} yet fails to match any of the explicit forms supplied by the characterization.

read the original abstract

This paper characterises the subspaces of $H^2(\mathbb D)$ simultaneously invariant under $S^2 $ and $S^{2k+1}$, where $S$ is the unilateral shift, then further identifies the subspaces that are nearly invariant under both $(S^2)^*$ and $(S^{2k+1})^*$ for $k\geq 1$. More generally, the simultaneously (nearly) invariant subspaces with respect to $(S^m)^*$ and $(S^{km+\gamma})^*$ are characterised for $m\geq 3$, $k\geq 1$ and $\gamma\in \{1,2,\cdots, m-1\},$ which leads to a description of (nearly) invariant subspaces with respect to higher order shifts. Finally, the corresponding results for Toeplitz operators induced by a Blaschke product are presented. Techniques used include a refinement of Hitt's algorithm, the Beurling--Lax theorem, and matrices of analytic functions.

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

0 major / 4 minor

Summary. The paper characterizes subspaces of H²(𝔻) that are simultaneously invariant under the unilateral shift powers S² and S^{2k+1} (k≥1), then identifies those nearly invariant under the adjoints (S²)* and (S^{2k+1})*. It generalizes the simultaneous (near) invariance results to pairs (S^m)* and (S^{km+γ})* for m≥3, k≥1, γ=1..m-1, yielding descriptions for higher-order shifts, and extends the results to Toeplitz operators with Blaschke-product symbols. The proofs rely on a refinement of Hitt's algorithm together with the Beurling-Lax theorem applied to the indicated non-cyclic semigroups.

Significance. If the characterizations are valid, the work supplies explicit descriptions of invariant and nearly invariant subspaces for selected non-cyclic shift semigroups, extending the classical Beurling-Lax and Hitt frameworks to new combinations of powers. The matrix-analytic-function approach and the Toeplitz-operator corollary broaden the applicability within operator theory on Hardy spaces.

minor comments (4)
  1. The abstract and introduction state that the refinement of Hitt's algorithm extends directly, but §2 does not include an explicit statement of the additional hypotheses (if any) needed for the non-cyclic case; a short paragraph clarifying the domain of applicability would help readers.
  2. In the general m,γ case (Theorem 4.3), the matrix-valued inner function is constructed via a block decomposition; the proof sketch does not address whether the resulting matrix remains inner when γ and m are not coprime, which could affect the Beurling-Lax application.
  3. Notation for the nearly invariant subspaces (e.g., the symbol N_{m,γ}) is introduced in §3 but used without redefinition in §5; a single consolidated notation table would improve readability.
  4. The final section on Toeplitz operators induced by Blaschke products cites the main theorems but does not verify that the symbol satisfies the necessary analyticity conditions for the refined algorithm; a brief check or reference to the relevant lemma would strengthen the claim.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and the positive overall assessment, including the recommendation of minor revision. No specific major comments were listed in the report, so we have no points to address individually. We will incorporate any minor editorial adjustments suggested by the editor or production process in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivation applies standard theorems directly

full rationale

The paper characterises invariant and nearly invariant subspaces for specific powers of the unilateral shift by applying the Beurling-Lax theorem and a refinement of Hitt's algorithm to the indicated pairs (S^m)* and (S^{km+γ})*. These are external, independently established tools whose statements do not depend on the target subspaces or on any fitted parameters internal to the present work. No equation or claim reduces by construction to a self-definition, a renamed empirical pattern, or a self-citation chain; the argument remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard background results in Hardy-space operator theory; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Beurling-Lax theorem applies to the invariant subspaces under consideration.
    Explicitly listed among the techniques used.
  • domain assumption Hitt's algorithm admits a refinement that works for the non-cyclic semigroups studied.
    The abstract states that a refinement of Hitt's algorithm is employed.

pith-pipeline@v0.9.0 · 5697 in / 1341 out tokens · 24985 ms · 2026-05-23T22:20:17.741819+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

23 extracted references · 23 canonical work pages

  1. [1]

    Aleman, A

    A. Aleman, A. Baranov, Y. Belov and H. Hedenmalm, Backwar d shift and nearly invariant subspaces of Fock-type spaces, Int. Math. Res. Not. IMRN, 10(2022), 73 90-7419

    work page 2022

  2. [2]

    Arshad, S

    K. Arshad, S. Lata and D. Singh, Nearly invariant Branges ian subspaces, arxiv preprint, 2023, arXiv:2311.04510. 20 Y. LIANG AND J. R. PARTINGTON

    work page arXiv 2023

  3. [3]

    Cˆ amara and J.R

    M.C. Cˆ amara and J.R. Partington, Near invariance and kernels of Toeplitz operators, Journal d’Analyse Math., 124(2014), 235–260

    work page 2014

  4. [4]

    Cˆ amara and J.R

    M.C. Cˆ amara and J.R. Partington, Finite-dimensional Toeplitz kernels and nearly-invariant subspaces, J. Operator Theory, 75(1)(2016), 75–90

    work page 2016

  5. [5]

    Cˆ amara and J.R

    M.C. Cˆ amara and J.R. Partington, Toeplitz kernels and m odel spaces. The diversity and beauty of applied operator theory, 139-153, Oper. Theory Adv. Appl., 268, Birkh¨ auser/Springer, Cham, 2018

    work page 2018

  6. [6]

    Chalendar, N

    I. Chalendar, N. Chevrot and J.R. Partington, Nearly inv ariant subspaces for backwards shifts on vector-valued Hardy spaces, J. Operator Theory, 63(2)(201 0), 403–415

    work page

  7. [7]

    Gallardo-Guti´ errez and J.R

    E.A. Gallardo-Guti´ errez and J.R. Partington, Multipl ication by a finite Blaschke product on weighted Bergman spaces: commutant and reducing subspaces, J. Math. Anal. Appl. 515(1)(2022), Paper No. 126383

    work page 2022

  8. [8]

    Garcia, J

    S. Garcia, J. Mashreghi and W.T. Ross, Introduction to mo del spaces and their operators, Cambridge: Cambridge University Press, 2016

    work page 2016

  9. [9]

    Hartmann and W.T

    A. Hartmann and W.T. Ross, Truncated Toeplitz operators and boundary values in nearly invariant subspaces, Complex Anal. Oper. Theory, 7(1)(2013), 261–27 3

    work page 2013

  10. [10]

    Hayashi, The kernel of a Toeplitz operator, Integral Equations and Operator Theory, 9(4)(1986), 588–591

    E. Hayashi, The kernel of a Toeplitz operator, Integral Equations and Operator Theory, 9(4)(1986), 588–591

    work page 1986

  11. [11]

    Hitt, Invariant subspaces of H2 of an annulus, Pacific J

    D. Hitt, Invariant subspaces of H2 of an annulus, Pacific J. Math., 134(1)(1988), 101–120

    work page 1988

  12. [12]

    Lance and M.I

    T.L. Lance and M.I. Stessin, Multiplication invariant subspaces of Hardy spaces, Canad. J. Math., 49(1)(1997), 100–118

    work page 1997

  13. [13]

    Lax, Translation invariant spaces, Acta Math., 10 1(1959), 163–178

    P.D. Lax, Translation invariant spaces, Acta Math., 10 1(1959), 163–178

    work page 1959

  14. [14]

    Liang and J.R

    Y. Liang and J.R. Partington, Nearly invariant subspac es for operators in Hilbert spaces, Complex Anal. Oper. Theory, 15(5)(2021), Paper No. 5

    work page 2021

  15. [15]

    Liang and J.R

    Y. Liang and J.R. Partington, Nearly invariant subspac es for shift semigroups, Sci. China Math., 65(9)(2022), 1895–1908

    work page 2022

  16. [16]

    Liang and J.R

    Y. Liang and J.R. Partington, Cyclic nearly invariant s ubspaces for semigroups of isometries, Math. Zeitschrift, 307 (2024), Paper No. 58

    work page 2024

  17. [17]

    Liang and J.R

    Y. Liang and J.R. Partington, Composition operators be tween Toeplitz kernels, arxiv preprint, arXiv:2405.19875 (2024)

    work page arXiv 2024

  18. [18]

    Nikolski, Operators, functions, and systems: an eas y reading

    N. Nikolski, Operators, functions, and systems: an eas y reading. Vol. 1, volume 92 of Mathematical Surveys and Monographs, American Mathematical Society, Pr ovidence, RI, 2002. Hardy, Hankel, and Toeplitz, Translated from the French by Andreas Hartmann

    work page 2002

  19. [19]

    O’Loughlin, Nearly invariant subspaces with applic ations to truncated Toeplitz operators, Complex Anal

    R. O’Loughlin, Nearly invariant subspaces with applic ations to truncated Toeplitz operators, Complex Anal. Oper. Theory, 14(8)(2020), 10–24

    work page 2020

  20. [20]

    Partington, Linear operators and linear systems, London Mathematical Society Student Texts,

    J.R. Partington, Linear operators and linear systems, London Mathematical Society Student Texts,

    work page

  21. [21]

    Cambridge University Press, Cambridge, 2004

    work page 2004

  22. [22]

    Sarason, Nearly invariant subspaces of the backward shift, Contributions to operator theory and its applications (Mesa, AZ, 1987), 481–493, Oper

    D. Sarason, Nearly invariant subspaces of the backward shift, Contributions to operator theory and its applications (Mesa, AZ, 1987), 481–493, Oper. Theory Ad v. Appl. 35, Birkh¨ auser, Basel, 1988

    work page 1987

  23. [23]

    Sarason, Kernels of Toeplitz operators, Oper

    D. Sarason, Kernels of Toeplitz operators, Oper. Theor y: Adv. Appl., 71(1994), 153–164. Yuxia Liang School of Mathematical Sciences, Tianjin Normal Universit y, Tianjin 300387, P.R. China. Email address : liangyx1986@126.com Jonathan R. P artington School of Mathematics, University of Leeds, Leeds LS2 9JT, U nited Kingdom. Email address : J.R.Partington@...

    work page 1994