Frequently recurrent backward shifts
Pith reviewed 2026-05-23 22:45 UTC · model grok-4.3
The pith
If a backward shift on a Fréchet sequence space has one non-zero frequently recurrent vector, then the operator has a dense set of them.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
If a backward shift admits a non-zero frequently recurrent vector, then it supports a dense set of such vectors, so that the operator is frequently recurrent. The result applies to both unilateral and bilateral backward shifts on Fréchet sequence spaces and implies dense lineability of the frequently recurrent vectors.
What carries the argument
The density argument that propagates frequent recurrence from a single non-zero vector to a dense set via the action of the backward shift.
If this is right
- The operator is frequently recurrent whenever it admits at least one non-zero frequently recurrent vector.
- Two distinct characterizations of frequently recurrent backward shift operators become available.
- The set of frequently recurrent vectors is densely lineable.
Where Pith is reading between the lines
- The same density property may hold for other linear operators whose orbits interact with the shift in a comparable way.
- Frequent recurrence for these shifts behaves like an all-or-nothing dynamical property once a single vector is found.
- The characterizations may simplify the search for examples of frequently recurrent operators beyond the backward-shift case.
Load-bearing premise
The underlying space is a Fréchet sequence space on which the backward shift is well-defined and continuous.
What would settle it
A concrete Fréchet sequence space equipped with a backward shift that possesses exactly one non-zero frequently recurrent vector (up to scalar multiples) but no dense set of them.
read the original abstract
We study frequently recurrent unilateral and bilateral backward shift operators on Fr\'echet sequence spaces. We prove that if a backward shift admits a non-zero frequently recurrent vector, then it supports a dense set of such vectors, so that the operator is frequently recurrent. As a consequence, we provide two different characterizations for frequently recurrent backward shift operators and we show dense lineability of the set of the set of frequently recurrent vectors.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies frequently recurrent unilateral and bilateral backward shift operators on Fréchet sequence spaces. It proves that if a backward shift admits a non-zero frequently recurrent vector, then it supports a dense set of such vectors, so that the operator is frequently recurrent. As a consequence, it provides two different characterizations for frequently recurrent backward shift operators and shows dense lineability of the set of frequently recurrent vectors.
Significance. If the central result holds, it is significant for linear dynamics on Fréchet spaces: it shows that frequent recurrence for backward shifts is an 'all-or-nothing' property in the sense that a single non-zero vector implies density, allowing explicit construction via the shift action on the standard basis and the Fréchet topology. The two characterizations and the dense lineability corollary strengthen the contribution by providing verifiable criteria and quantifying the size of the set.
minor comments (1)
- Abstract: the phrase 'dense lineability of the set of the set of frequently recurrent vectors' contains a duplicated 'the set of'; this should be corrected for clarity.
Simulated Author's Rebuttal
We thank the referee for the careful reading and positive evaluation of our manuscript. The recommendation of minor revision is noted. However, the report contains no specific major comments requiring a point-by-point response.
Circularity Check
No significant circularity; direct implication proof is self-contained
full rationale
The central result is a direct implication: existence of one non-zero frequently recurrent vector for a backward shift on a Fréchet sequence space implies a dense set of such vectors, constructed explicitly via the unilateral/bilateral shift action on the standard basis, operator continuity, and Fréchet topology. The two characterizations and dense lineability are stated as immediate corollaries. No equations reduce a prediction to a fitted input by construction, no uniqueness theorem is imported from self-citation, and no ansatz is smuggled via prior work. The derivation relies on standard functional-analytic arguments that remain independent of the target conclusion.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
if a backward shift admits a non-zero frequently recurrent vector, then it supports a dense set of such vectors
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
characterization via sets Ap of positive lower density and seminorm bounds on sums en−m+Nj
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]
E. Abakumov and A. Abbar. Orbits of the backward shifts wi th limit points. Journal of Mathematical Analysis and Applications, page 128293, 2024
work page 2024
-
[2]
F. Bayart and S. Grivaux. Frequently hypercyclic operat ors. Trans. Am. Math. Soc. , 358(11):5083–5117, 2006
work page 2006
-
[3]
F. Bayart and S. Grivaux. Invariant Gaussian measures fo r operators on Banach spaces and linear dynamics. Proc. Lond. Math. Soc. (3) , 94(1):181–210, 2007
work page 2007
- [4]
-
[5]
F. Bayart and E. Matheron. Dynamics of linear operators , volume 179 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 2009
work page 2009
-
[6]
F. Bayart and I. Z. Ruzsa. Difference sets and frequently h ypercyclic weighted shifts. Ergodic Theory Dynam. Systems , 35(3):691–709, 2015. 20 RODRIGO CARDECCIA, SANTIAGO MURO
work page 2015
- [7]
-
[8]
A. Bonilla, R. Cardeccia, K.-G. Grosse-Erdmann, and S. M uro. Zero-one law of orbital limit points for weighted shift s. arXiv preprint arXiv:2007.01641v2 , 2024
-
[9]
A. Bonilla and K.-G. Grosse-Erdmann. Upper frequent hyp ercyclicity and related notions. Rev. Mat. Complut. , 31(3):673–711, 2018
work page 2018
-
[10]
A. Bonilla, K.-G. Grosse-Erdmann, A. L´ opez-Mart ´ ınez, and A. Peris. Frequently recurrent operators. J. Funct. Anal. , 283(12):36, 2022. Id/No 109713
work page 2022
-
[11]
R. Cardeccia and S. Muro. Arithmetic progressions and c haos in linear dynamics. Integral Equations Oper. Theory , 94(2):Paper No. 11, 18, 2022
work page 2022
-
[12]
R. Cardeccia and S. Muro. Frequently recurrence proper ties and block families. arXiv preprint arXiv:2204.13542 , 2022
-
[13]
R. Cardeccia and S. Muro. Multiple recurrence and hyper cyclicity. Math. Scand. , 128(3):589–610, 2022
work page 2022
-
[14]
K. Chan and I. Seceleanu. Hypercyclicity of shifts as a z ero-one law of orbital limit points. J. Operator Theory , 67(1):257–277, 2012
work page 2012
-
[15]
S. Charpentier, R. Ernst, and Q. Menet. Γ-supercyclici ty. J. Funct. Anal. , 270(12):4443–4465, 2016
work page 2016
-
[16]
S. Charpentier, K. Grosse-Erdmann, and Q. Menet. Chaos and frequent hypercyclicity for weighted shifts. Ergodic Theory and Dynamical Systems , pages 1–37, 2019
work page 2019
-
[17]
G. Costakis, A. Manoussos, and I. Parissis. Recurrent l inear operators. Complex Anal. Oper. Theory , 8(8):1601–1643, 2014
work page 2014
-
[18]
S. Grivaux and A. L´ opez-Mart ´ ınez. Recurrence proper ties for linear dynamical systems: an approach via invarian t measures. J. Math. Pures Appl. (9) , 169:155–188, 2023
work page 2023
-
[19]
S. Grivaux, A. L´ opez-Mart ´ ınez, and A. Peris. Questions in linear recurrence: From the T ⊕ T -problem to lineability. arXiv:2212.03652, 2022
-
[20]
K.-G. Grosse-Erdmann. Frequently hypercyclic bilate ral shifts. Glasg. Math. J. , 61(2):271–286, 2019
work page 2019
-
[21]
K.-G. Grosse-Erdmann and A. Peris Manguillot. Linear chaos . Berlin: Springer, 2011
work page 2011
-
[22]
S. He, Y. Huang, and Z. Yin. J F -class weighted backward shifts. International Journal of Bifurcation and Chaos , 28(06):1850076, 2018
work page 2018
-
[23]
A. L´ opez-Mart ´ ınez. Recurrent subspaces in Banach spaces. International Mathematics Research Notices, 2024(11):9067– 9087, 2024
work page 2024
-
[24]
A. L´ opez-Mart ´ ınez and Q. Menet. Two remarks on the setof recurrent vectors. arXiv preprint arXiv:2309.07573 , 2023
-
[25]
O. Martin, Q. Menet, and Y. Puig. Disjoint frequently hy percyclic pseudo-shifts. J. Funct. Anal. , 283(1):Paper No. 109474, 44, 2022. Instituto Balseiro, Universidad Nacional de Cuyo – C.N.E.A . and CONICET, San Carlos de Bariloche, Rep´ublica Argentina Email address : rodrigo.cardeccia@ib.edu.ar FCEIA, UNIVERSIDAD NACIONAL DE ROSARIO AND CIF ASIS, CONIC...
work page 2022
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.