Recognition: 2 theorem links
· Lean TheoremWeak limit semigroup in operator theory and ergodic theory
Pith reviewed 2026-05-15 00:02 UTC · model grok-4.3
The pith
The weak limit points of an operator's powers form a large semigroup in generic cases across three settings.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The weak limit semigroup of an operator T is the set of all operators that appear as weak limits of subsequences of its powers. In the contexts of Koopman operators of measure-preserving transformations, contractions, isometries and unitaries on separable Hilbert spaces, and positive operators on L^p spaces, this set is shown to contain large subsets, with particular attention to the generic case where the size of the semigroup is maximal.
What carries the argument
The weak limit semigroup, the set of all weak-operator-topology limit points of the sequence of powers T^n.
If this is right
- Generic Koopman operators possess weak limit semigroups containing many distinct idempotents and projections.
- For generic contractions on separable Hilbert space the weak limit semigroup is non-trivial and contains the zero operator together with other limit points.
- Positive operators on L^p spaces generically have weak limit semigroups that include positive projections of various ranks.
- The same genericity statements hold when restricting to the subclass of isometries or unitaries.
Where Pith is reading between the lines
- The results suggest a uniform way to describe long-term dynamics for generic systems in both ergodic theory and operator theory without case-by-case spectral analysis.
- One could test the size of the semigroup for concrete families such as weighted shifts or multiplication operators to see whether the generic picture already appears in low-dimensional examples.
- The construction may extend naturally to other Banach-space settings where the weak operator topology still yields a semigroup structure.
Load-bearing premise
The spaces are separable so that the weak operator topology is metrizable and the collection of limit points is closed under composition.
What would settle it
An explicit contraction on a separable Hilbert space whose sequence of powers has only the zero operator as a weak limit point, or a generic set of such contractions whose weak limit semigroups are all trivial.
read the original abstract
We study the weak limit semigroup of an operator $T$, i.e., the set of all operators being weak limit points of the powers of $T$, in three different but related contexts: Koopman operators of measure-preserving transformations, contractions/isometries/unitaries on separable Hilbert spaces and positive operators on $L^p$-spaces. Hereby we focus on finding large subsets of the weak limit semigroup, in particular in the generic case.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript defines the weak limit semigroup of an operator T as the set of all weak-operator-topology (WOT) limit points of the sequence {T^n : n ≥ 1} and studies this object in three settings: Koopman operators arising from measure-preserving transformations, contractions/isometries/unitaries on separable Hilbert spaces, and positive operators on L^p spaces. The central aim is to exhibit large subsets of this set, with emphasis on generic cases with respect to suitable topologies or measures on the space of operators or transformations.
Significance. If the semigroup property is rigorously established and the generic large-subset results hold, the work would supply concrete structural information about the asymptotic behavior of operator powers under the weak topology, linking ergodic theory with operator-algebraic techniques. The explicit treatment of genericity across the three contexts could serve as a template for similar investigations in related areas of functional analysis.
major comments (2)
- [§2] §2 (Definition of the weak limit semigroup): the claim that the set of WOT limit points forms a semigroup under composition requires a proof that it is closed under operator multiplication. Since multiplication is only separately continuous in the WOT on the unit ball, the existence of a subsequence l_j such that T^{l_j} converges weakly to SR whenever S = w-lim T^{k_n} and R = w-lim T^{m_n} is not automatic; the manuscript must supply an explicit argument establishing this closure in each of the three settings before the subsequent discussion of “large subsets” can proceed.
- [§4] §4 (Generic results for contractions on Hilbert space): the genericity statement that a comeager set of contractions has a weak limit semigroup containing all rank-one operators (or a specified large subset) relies on the Baire-category argument in the space of contractions; the proof sketch does not address whether the WOT closure of the powers remains invariant under the perturbation used to achieve genericity, which could affect the size of the limit set.
minor comments (2)
- Notation for the weak limit semigroup is introduced without a dedicated symbol; adopting a consistent abbreviation (e.g., WLS(T)) would improve readability when the object is referenced across sections.
- [Theorem 5.3] The statement of the main generic theorem for positive L^p operators (Theorem 5.3) omits the precise measure on the space of positive contractions with respect to which genericity is taken; this should be stated explicitly.
Simulated Author's Rebuttal
We thank the referee for the thorough review and insightful comments on our manuscript. We address each major comment below and plan to incorporate the necessary revisions to strengthen the paper.
read point-by-point responses
-
Referee: [§2] §2 (Definition of the weak limit semigroup): the claim that the set of WOT limit points forms a semigroup under composition requires a proof that it is closed under operator multiplication. Since multiplication is only separately continuous in the WOT on the unit ball, the existence of a subsequence l_j such that T^{l_j} converges weakly to SR whenever S = w-lim T^{k_n} and R = w-lim T^{m_n} is not automatic; the manuscript must supply an explicit argument establishing this closure in each of the three settings before the subsequent discussion of “large subsets” can proceed.
Authors: We agree with the referee that an explicit proof of the semigroup property is required. The manuscript currently states the property but relies on the separate continuity without detailing the subsequence construction. In the revised version, we will add a dedicated subsection in §2 providing rigorous arguments for each of the three contexts. For Koopman operators, the proof will use the correspondence with the transformation and weak convergence in L^2. For contractions on Hilbert spaces, we will use a diagonal subsequence argument leveraging the metrizability of the WOT on bounded sets. For positive operators on L^p, positivity and the lattice structure will be employed to establish the product limit. This addresses the concern directly and allows the subsequent results to proceed on a solid foundation. revision: yes
-
Referee: [§4] §4 (Generic results for contractions on Hilbert space): the genericity statement that a comeager set of contractions has a weak limit semigroup containing all rank-one operators (or a specified large subset) relies on the Baire-category argument in the space of contractions; the proof sketch does not address whether the WOT closure of the powers remains invariant under the perturbation used to achieve genericity, which could affect the size of the limit set.
Authors: The referee correctly identifies a potential gap in the genericity argument. Our Baire-category construction perturbs the operator to ensure the existence of certain weak limits, but we must verify that these perturbations do not inadvertently reduce the size of the weak limit semigroup. In the revision, we will strengthen the proof by showing that the set of operators whose weak limit semigroup contains a given large set (such as all rank-one operators) is both dense and G_delta. Specifically, we will demonstrate that small norm perturbations preserve the WOT limits of subsequences due to the joint continuity properties in the relevant topologies for generic cases. A new lemma will be added to §4 to formalize the invariance of the limit set under the perturbations used in the category argument. revision: yes
Circularity Check
No circularity: definition and claims rest on external topology and genericity notions
full rationale
The weak limit semigroup is defined directly as the set of all WOT-limit points of the sequence {T^n}, using the standard weak operator topology on the unit ball of operators. This is an external definition from functional analysis and does not reduce to the semigroup property by construction. No parameters are fitted to data and then relabeled as predictions, no uniqueness theorems are imported solely via self-citation, and no ansatz is smuggled in. The focus on large subsets in generic cases proceeds from independent arguments in ergodic theory and operator theory on separable spaces. The paper is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Weak operator topology on bounded operators yields a semigroup under composition
- domain assumption The spaces (separable Hilbert, L^p) admit a suitable notion of genericity for operators or transformations
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We call such operators V weak limit operators for the operator T, and the set of all such operators, denoted by LT, the weak limit semigroup.
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
LT is closed under multiplication.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
O. N. Ageev, C. E. Silva,Genericity of rigid and multiply recurrent infinite measure- preserving and nonsingular transformations, Topology Proc.26(2001), 357–365. 28
work page 2001
-
[2]
Ageev,On the genericity of some non-asymptotic dynamical properties, Uspekhi Mat
O.N. Ageev,On the genericity of some non-asymptotic dynamical properties, Uspekhi Mat. Nauk58(2003), 177–178; translation in Russian Math. Surveys58(2003), 173–
work page 2003
-
[3]
W. Bartoszek and B. Kuna,On residualities in the set of Markov operators onC1, Proc. Amer. Math. Soc.133(2005), 2119–2129. 3
work page 2005
- [4]
- [5]
-
[6]
Brezis, Functional Analysis, Sobolev Spaces and Partial Differential Equations
H. Brezis, Functional Analysis, Sobolev Spaces and Partial Differential Equations. Springer, New York, 2011. 25
work page 2011
-
[7]
J. R. Brown,Approximation theorems for Markov operators, Pacific J. Math.16 (1966), 13–23. 3
work page 1966
- [8]
- [9]
-
[10]
R. V. Chacon, N. Friedman,Approximation and invariant measures, Z. Wahrschein- lichkeitstheorie3(1965), 286–295. 3, 26, 27, 28, 29
work page 1965
-
[11]
R. V. Chacon,Weakly mixing transformations which are not strongly mixing, Proc. Am. Math. Soc.22(1969), 559–562. 2
work page 1969
-
[12]
R. V. Chacon, T. Schwartzbauer,Commuting point transformations, Z. Wahrschein- lichkeitstheorie und Verw. Gebiete11(1969), 277–287. 2
work page 1969
-
[13]
J. R. Choksi, S. Kakutani,Residuality of ergodic measurable transformations and of ergodic transformations which preserve an infinite measure, Indiana Univ. Math. J. 28(1979), 453–469. 3, 24
work page 1979
-
[14]
J. R. Choksi, M. G. Nadkarni,Baire category in spaces of measures, unitary operators, and transformations, Invariant Subspaces and Allied Topics, pp. 147–163. Narosa Publishing House (1990). 3, 12
work page 1990
-
[15]
J. B. Conway, A Course in Functional Analysis. Graduate Texts in Mathematics 96, Springer-Verlag, New York, 1990. 33
work page 1990
-
[16]
del Junco,A simple measure-preserving transformation with trivial centralizer, Pacific J
A. del Junco,A simple measure-preserving transformation with trivial centralizer, Pacific J. Math.79(1978), 357–362. 2
work page 1978
-
[17]
A. del Junco, M. Lemańczyk,Generic spectral properties of measure-preserving maps and applications, Proc. Amer. Math. Soc.115(1992), 725–736. 3
work page 1992
-
[18]
T. de la Rue, J. de Sam Lazaro,Une transformation générique peut être insérée dans un flot, Ann. Inst. H. Poincaré Probab. Stat.39(2003), 121–134. 3
work page 2003
-
[19]
T. de la Rue, É. Janvresse, A. A. Prikhod’ko, V. V. Ryzhikov,Weak limits of powers of Chacon’s automorphism, Ergodic Theory Dynam. Systems35(2015), 128–141. 2
work page 2015
-
[20]
K. Deleeuw, I. Glicksberg,Applications of almost periodic compactifications, Acta Math.105(1961), 63–97. 2
work page 1961
- [21]
-
[22]
Eisner,A “typical” contraction is unitary, Enseign
T. Eisner,A “typical” contraction is unitary, Enseign. Math.56(2010), 403–410. 3, 4, 12, 13, 21, 23
work page 2010
-
[23]
Eisner, Stability of Operators and Operator Semigroups
T. Eisner, Stability of Operators and Operator Semigroups. Operator Theory: Ad- vances and Applications, Vol. 209. Birkhäuser Verlag, Basel, 2010. 3, 8, 9, 11, 12, 28, 29
work page 2010
- [24]
- [25]
- [26]
-
[27]
A generic transformation is invertible
T. Eisner,A generic transformation is invertible. Preprint, 2025, available at https://arxiv.org/abs/2512.19893. 3, 21, 22, 33
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[28]
V. Gillet,Typical properties of positive contractions and the invariant subspace prob- lem, Positivity29(2025), Paper No. 48, 29 pp. 3, 34
work page 2025
-
[29]
Gillet,Similar operator topologies on the space of positive contractions, Illinois J
V. Gillet,Similar operator topologies on the space of positive contractions, Illinois J. Math.69(2025), 373–398. 3, 34
work page 2025
-
[30]
G. R. Goodson,A survey of recent results in the spectral theory of ergodic dynamical systems, J. Dynam. Control Systems5(1999), 173–226. 20
work page 1999
-
[31]
S. Grivaux, É. Matheron, Q. Menet,Linear dynamical systems on Hilbert spaces: typical properties and explicit examples, Mem. Amer. Math. Soc.269(2021), no. 1315, v+147 pp. 3
work page 2021
-
[32]
S. Grivaux, É. Matheron, Q. Menet,Does a typicalℓp-space contraction have a non- trivial invariant subspace?, Trans. Amer. Math. Soc.374(2021), 7359–7410. 3, 22, 35
work page 2021
-
[33]
S. Grivaux, A. López-Martínez,Recurrence properties for linear dynamical systems: an approach via invariant measures, J. Math. Pures Appl.169(2023), 155–188. 3
work page 2023
-
[34]
S. Grivaux, É. Matheron, Q. Menet,Generic properties ofℓp-contractions and similar operator topologies, Israel J. Math. (2026), DOI: 10.1007/s11856-026-2901-z. 3, 21, 22, 25, 35
-
[35]
Grząślewicz,Approximation theorems for positive operators onLp-spaces, J
R. Grząślewicz,Approximation theorems for positive operators onLp-spaces, J. Ap- prox. Theory63(1990), 123–136. 3, 25
work page 1990
-
[36]
P. R. Halmos,In general a measure preserving transformation is mixing, Ann. Math. 45(1944), 786–792. 2, 3
work page 1944
-
[37]
Halmos, Lectures on Ergodic Theory, Chelsea Publishing Company, 1956
P. Halmos, Lectures on Ergodic Theory, Chelsea Publishing Company, 1956. 2, 5, 19, 20
work page 1956
-
[38]
J.Hölz,A note on the uniform ergodicity of dynamical systems, IsraelJ.Math.(2025), DOI: 10.1007/s11856-025-2868-1. 29
-
[39]
Ionescu Tulcea,On the category of certain classes of transformations in ergodic theory, Trans
A. Ionescu Tulcea,On the category of certain classes of transformations in ergodic theory, Trans. Amer. Math. Soc.114(1965), 261–279. 3, 24, 28, 29, 31
work page 1965
-
[40]
Iwanik,Approximation theorems for stochastic operators, Indiana Univ
A. Iwanik,Approximation theorems for stochastic operators, Indiana Univ. Math. J. 29(1980), 415–425. 3, 31
work page 1980
-
[41]
A. B. Katok, A. M. Stepin,Approximations in ergodic theory, Uspehi Mat. Nauk22 (1967), 77–102. 2, 3
work page 1967
-
[42]
Katok, Approximation and Generity in Abstract Ergodic Theory, Notes 1985
A. Katok, Approximation and Generity in Abstract Ergodic Theory, Notes 1985. 3
work page 1985
-
[43]
Katok, Combinatorial Constructions in Ergodic Theory and Dynamics
A. Katok, Combinatorial Constructions in Ergodic Theory and Dynamics. Univ. Lec- ture Ser., 30 American Mathematical Society, Providence, RI, 2003. 2, 3, 20
work page 2003
-
[44]
A. S. Kechris, Classical Descriptive Set Theory. Graduate Texts in Mathematics, vol. 156, Springer, 1995. 19, 22
work page 1995
-
[45]
C. W. Kim,Uniform approximation of doubly stochastic operators, Pacific J. Math. 26(1968), 515–527. 3
work page 1968
-
[46]
J. King,The commutant is the weak closure of the powers, for rank-1 transformations, Ergodic Theory Dynam. Systems6(1986), 363–384. 2, 7, 33
work page 1986
-
[47]
J. L. King,The generic transformation has roots of all orders, Colloq. Math.84/85 (2000), 521–547. 3
work page 2000
-
[48]
L. Kuipers, H. Niederreiter, Uniform Distribution of Sequences. Pure and Applied Mathematics, Interscience Publishers [John Wiley & Sons, Inc.], New York, 1974. 13 38 TANJA EISNER AND V ALENTIN GILLET
work page 1974
-
[49]
Lamperti,On the isometries of certain function spaces, Pacific J
J. Lamperti,On the isometries of certain function spaces, Pacific J. Math.8(1958), 459–466. 24
work page 1958
-
[50]
M. Lemańczyk, F. Parreau, J.-P. Thouvenot,Gaussian automorphisms whose ergodic self-joinings are Gaussian, Fund. Math.164(2000), 253–293. 17
work page 2000
-
[51]
Lyapunov,Sur les fonctions-vecteurs complètement additives, Bull
A. Lyapunov,Sur les fonctions-vecteurs complètement additives, Bull. Acad. Sci. URSS Ser. Math.4(1940), 465–478. 14
work page 1940
-
[52]
M. G. Nadkarni, Spectral Theory of Dynamical Systems. Birkhäuser Advanced Texts, Basler Lehrbücher, 1991. 3, 12, 14, 24, 26, 35
work page 1991
-
[53]
O’Brien,Dissipative contractions, limit algebras, and recurrence, Illinois J
R. O’Brien,Dissipative contractions, limit algebras, and recurrence, Illinois J. Math. 69(2025), 449–468. 2
work page 2025
-
[54]
V. I. Oseledets,An automorphism with simple, continuous spectrum not having the group property, Math. Notes5(1969), 196–198. 2
work page 1969
-
[55]
Peller, Hankel Operators and Applications
V. Peller, Hankel Operators and Applications. Springer Monographs in Mathemat ics, Springer-Verlag, New-York, 2003. 17
work page 2003
-
[56]
V. A. Rokhlin,A “general” measure-preserving transformation is not mixing, Doklady Akad. Nauk SSSR60(1948), 349–351. 3
work page 1948
-
[57]
V. A. Rokhlin,Entropy of metric automorphism, Doklady Akad. Nauk SSSR124 (1959), 980–983. 3
work page 1959
-
[58]
H. L. Royden, Real Analysis, Macmillan Company, New York, 1968. 24
work page 1968
-
[59]
Rudin, Fourier Analysis on Groups, John Wiley & Sons, Inc., New York, 1990
W. Rudin, Fourier Analysis on Groups, John Wiley & Sons, Inc., New York, 1990. 13
work page 1990
-
[60]
V. V. Ryzhikov,Weak limits of powers, the simple spectrum of symmetric products, and mixing constructions of rank1, Mat. Sb.198(2007), 137–159; translation in Sb. Math.198(2007), 733–754. 2, 3, 7, 20
work page 2007
-
[61]
Ryzhikov,Self-joinings of rank-one actions and applications, École de Théorie Ergodique, 193–206
V. Ryzhikov,Self-joinings of rank-one actions and applications, École de Théorie Ergodique, 193–206. Sémin. Congr. 20, Société Mathématique de France, Paris, 2010. 2
work page 2010
-
[62]
Weak Closure Theorem for Double Staircase Actions
V. V Ryzhikov,Weak closure theorem for double staircase actions, preprint available at https://arxiv.org/abs/1108.0568 (2011). 2
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[63]
Minimal Self-Joinings, Bounded Constructions, and Weak Closure of Ergodic Actions
V. V Ryzhikov,Minimal self-joinings, bounded constructions, and weak closure of ergodic actions, preprint available at https://arxiv.org/abs/1212.2602 (2012). 2
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[64]
V. V Ryzhikov,Generic properties of ergodic automorphisms, preprint available at https://arxiv.org/abs/2407.18236 (2024). 3
-
[65]
H. H. Schaefer, Banach Lattices and Positive Operators. Springer-Verlag, 1974. 29
work page 1974
-
[66]
Solecki,Closed subgroups generated by generic measure automorphisms, Ergodic Theory Dynam
S. Solecki,Closed subgroups generated by generic measure automorphisms, Ergodic Theory Dynam. Systems34(2014), 1011–1017. 2
work page 2014
-
[67]
Solecki,Generic measure preserving transformations and the closed groups they generate, Invent
S. Solecki,Generic measure preserving transformations and the closed groups they generate, Invent. Math.231(2023), 805–850. 1
work page 2023
-
[68]
A. M. Stepin,Spectral properties of generic dynamical systems, Math. USSR-Izv.29 (1987), 801–834, 879. 2, 3, 10, 11
work page 1987
-
[69]
A. M. Stepin, A. M. Eremenko,Nonuniqueness of an inclusion in a flow and the vastness of a centralizer for a generic measure-preserving transformation, Mat. Sb. 195(2004), 95–108; translation in Sb. Math.195(2004), 1795–1808. 3
work page 2004
-
[70]
T. T. West,Weakly compact monothetic semigroups of operators in Banach spaces, Proc. Roy. Irish Acad. Sect. A67(1968), 27–37. 2
work page 1968
-
[71]
Zorin-Kranich,Typical operators admit common cyclic vectors, Proc
P. Zorin-Kranich,Typical operators admit common cyclic vectors, Proc. Amer. Math. Soc.141(2013), 2371–2378. 3 Institute of Mathematics, University of Leipzig, P.O. Box 100 920, 04009 Leipzig, Germany Email address:eisner@math.uni-leipzig.de Laboratoire Paul Painlevé, UMR 8524, Université de Lille, Cité Scientifique, Bâtiment M2, 59655 Villeneuve d’Ascq Ce...
work page 2013
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.