arxiv: 2605.07563 · v1 · submitted 2026-05-08 · 🧮 math.FA

Recognition: no theorem link

On hypercyclic spaces and (common) mathscr{U}-frequently hypercyclic spaces

Geraldo Botelho, Nacib G. Albuquerque, Thiago R. Alves, Vin\'icius V. F\'avaro

Pith reviewed 2026-05-11 03:22 UTC · model grok-4.3

classification 🧮 math.FA MSC 47A16

keywords hypercyclic operatorsfrequently hypercyclic vectorsU-frequently hypercyclic subspacesweighted backward shiftsBanach spacessubspace constructions

0 comments

The pith

If a unilateral weighted backward shift on ℓ_p admits a U-frequently hypercyclic subspace, then it admits one containing no frequently hypercyclic vectors.

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

The paper establishes that for any unilateral weighted backward shift B on ℓ_p with 1 ≤ p < ∞ that already possesses at least one U-frequently hypercyclic subspace, a refined subspace of the same kind can be found that avoids all frequently hypercyclic vectors entirely. The same construction technique yields a hypercyclic subspace free of U-frequently hypercyclic vectors. These results also settle an existence question from 2015 concerning common U-frequently hypercyclic subspaces across families of such operators. The work focuses on how the presence of one structured subspace guarantees the presence of another with stricter avoidance properties.

Core claim

Let B be a unilateral weighted backward shift on ℓ_p, 1 ≤ p < ∞, that admits a U-frequently hypercyclic subspace. Then B admits a U-frequently hypercyclic subspace containing no frequently hypercyclic vectors. The same method shows that B admits a hypercyclic subspace containing no U-frequently hypercyclic vectors, and that certain families of such shifts admit common U-frequently hypercyclic subspaces.

What carries the argument

A U-frequently hypercyclic subspace for the weighted backward shift B, refined via explicit construction to exclude all frequently hypercyclic vectors while preserving the U-frequent hypercyclicity property.

If this is right

Any unilateral weighted backward shift admitting one U-frequently hypercyclic subspace must admit another that excludes all frequently hypercyclic vectors.
The same operators admit hypercyclic subspaces that contain no U-frequently hypercyclic vectors.
Certain families of these shifts possess common U-frequently hypercyclic subspaces.
The refinement technique separates different layers of hypercyclic behavior within the same operator.

Where Pith is reading between the lines

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

Similar refinement arguments might apply to other classes of operators on sequence spaces once a single U-frequently hypercyclic subspace is known to exist.
The separation of frequently hypercyclic vectors from U-frequently hypercyclic subspaces suggests that hypercyclicity notions can be stratified more finely than previously shown for these shifts.

Load-bearing premise

The shift B must already admit at least one U-frequently hypercyclic subspace, and the proofs start from that existence to build the refined versions.

What would settle it

Finding a unilateral weighted backward shift on some ℓ_p that possesses a U-frequently hypercyclic subspace but where every such subspace contains at least one frequently hypercyclic vector would disprove the main claim.

read the original abstract

Let $B$ be an unilateral weighted backward shift on $\ell_p$, $1 \leq p < \infty$, that admits a $\mathscr{U}$-frequently hypercyclic subspace. We prove that $B$ admits such a subspace free of frequently hypercyclic vectors. The proof technique we develop also allows us to prove that $B$ admits a hypercyclic subspace free of $\mathscr{U}$-frequently hypercyclic vectors, and to solve a question posed by B\`es and Menet in 2015 on the existence of common $\mathscr{U}$-frequently hypercyclic subspaces.

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.

Desk Editor's Note private letter to a colleague

This paper resolves the 2015 Bès-Menet question on common U-frequently hypercyclic subspaces and supplies conditional constructions for mixed hypercyclicity on weighted backward shifts.

read the letter

The key takeaway is that the authors have resolved the open question from Bès and Menet in 2015 regarding the existence of common U-frequently hypercyclic subspaces. They have also established two additional existence results for subspaces that possess one hypercyclicity property but lack another, using a new proof technique for unilateral weighted backward shifts on ell_p spaces. What the paper does well is develop a method to refine an existing U-frequently hypercyclic subspace into one that contains no frequently hypercyclic vectors. The same technique is applied to show the existence of a hypercyclic subspace without U-frequently hypercyclic vectors. This provides concrete ways to control the types of hypercyclicity present in the subspace. The arguments appear consistent with the literature on hypercyclic operators. The constructions are operator-theoretic and do not rely on circular reasoning or fitted parameters. The resolution of the 2015 question stands out as a direct contribution. A soft spot is the conditional nature of the mixed results. They require that the shift already admits a U-frequently hypercyclic subspace. This assumption is explicit, but it means the results are not unconditional. The common subspace result seems less dependent on this and directly addresses the open problem. The paper shows clear engagement with the relevant literature and prior results in the area. No major internal contradictions are apparent from the abstract and the stress-test note. This work is intended for researchers in functional analysis specializing in linear dynamics and hypercyclicity. A reader familiar with the Bès-Menet question or working on frequent hypercyclicity will find the new constructions and the solved question useful. It is worth sending to peer review because it provides answers to a standing open problem with targeted techniques. I recommend engaging with the work through the referee process.

Referee Report

0 major / 1 minor

Summary. The paper proves that if a unilateral weighted backward shift B on ℓ_p (1 ≤ p < ∞) admits a 𝒰-frequently hypercyclic subspace, then it admits a 𝒰-frequently hypercyclic subspace containing no frequently hypercyclic vectors. It further establishes the existence of a hypercyclic subspace free of 𝒰-frequently hypercyclic vectors and resolves a 2015 question of Bès and Menet on the existence of common 𝒰-frequently hypercyclic subspaces.

Significance. Conditional on the stated hypothesis, the results refine the theory of hypercyclic subspaces by separating notions of frequent hypercyclicity via explicit constructions. The resolution of the Bès-Menet question is a concrete advance in linear dynamics. The new proof techniques for subspace refinement may extend to other classes of operators on Banach spaces.

minor comments (1)

The abstract states the three main results but does not indicate the precise definition of a 𝒰-frequently hypercyclic subspace; a one-sentence reminder would improve accessibility for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No major comments were raised in the report, so we have no specific points to address point-by-point. We will prepare a revised version incorporating any minor editorial suggestions from the editor or referee if provided.

Circularity Check

0 steps flagged

No circularity detected; derivation is self-contained

full rationale

The paper's central result is explicitly conditional on the hypothesis that the unilateral weighted backward shift B already admits at least one U-frequently hypercyclic subspace; from this assumption it constructs a refined subspace that is still U-frequently hypercyclic but contains no frequently hypercyclic vectors. The argument proceeds via operator-theoretic constructions on ℓ_p spaces that do not reduce the target property to a definition or fit involving itself, nor rely on load-bearing self-citations or imported uniqueness theorems. No enumerated circular pattern appears: the existence assumption is external and stated upfront, the 2015 question by Bès and Menet is solved by external reference, and the proof technique is developed independently within the paper. The derivation chain therefore remains non-circular and self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on the standard definition of unilateral weighted backward shifts on ℓ_p and on the existence of at least one U-frequently hypercyclic subspace for the given operator; no new entities or free parameters are introduced.

axioms (2)

domain assumption B is a unilateral weighted backward shift on ℓ_p (1 ≤ p < ∞) that admits a U-frequently hypercyclic subspace
This is the explicit hypothesis under which all three main statements are proved.
standard math Standard properties of hypercyclicity and U-frequent hypercyclicity on Banach spaces hold
The paper invokes the usual definitions and basic facts from linear dynamics without re-deriving them.

pith-pipeline@v0.9.0 · 5415 in / 1402 out tokens · 43978 ms · 2026-05-11T03:22:26.951576+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

[1]

Bayart; R

F. Bayart; R. Ernst; Q. Menet , Non-existence of frequently hypercyclic subspaces for P(D) , Israel Journal of Mathematics 214 , No. 1, 149--166 (2016)

work page 2016
[2]

Bayart and S

F. Bayart and S. Grivaux , Hypercyclicité : le rôle du spectre ponctuel unimodulaire Hypercyclicity: the role of the unimodular point spectrum, Comptes Rendus Mathematique 338 , 703--708, (2004)

work page 2004
[3]

Bayart and S

F. Bayart and S. Grivaux , Frequently hypercyclic operators, Transactions of the American Mathematical Society 358 , No. 11, 5083--5117 (2006)

work page 2006
[4]

Bayart and E

F. Bayart and E. Matheron , Dynamics of Linear Operators. Cambridge University Press, New York, 2009

work page 2009
[5]

Bayart and I

F. Bayart and I. Z. Ruzsa , Difference sets and frequently hypercyclic weighted shifts, Ergodic Theory and Dynamical Systems 35 , No. 11, 691--709 (2006)

work page 2006
[6]

Bernal-Gonz\' a lez , Hypercyclic subspaces in Fréchet spaces, Proceedings of the American Mathematical Society 134 , 1955--1961 (2006)

L. Bernal-Gonz\' a lez , Hypercyclic subspaces in Fréchet spaces, Proceedings of the American Mathematical Society 134 , 1955--1961 (2006)

work page 1955
[7]

Bernal-Gonz\' a lez; M

L. Bernal-Gonz\' a lez; M. C. Calderón-Moreno, J. López-Salazar; J. A. Prado-Bassas , Hypercyclic subspaces for sequences of finite order differential operators, Journal of Mathematical Analysis and Applications 546 , No 1, 13p (2025)

work page 2025
[8]

Bernal-Gonz\' a lez and A

L. Bernal-Gonz\' a lez and A. Montes-Rodr\' guez , Universal functions for composition operators, Complex Variables, Theory and Application: An International Journal 27 , 47--56 (1995)

work page 1995
[9]

B\`es and Q

J. B\`es and Q. Menet , Existence of common and upper frequently hypercyclic subspaces, Journal of Mathematical Analysis and Applications 432 , 10--37 (2015)

work page 2015
[10]

Bonilla and K.-G

A. Bonilla and K.-G. Grosse-Erdmann , Frequently hypercyclic subspaces, Monatshefte f\"ur Mathematik 168 , No. 3-4, 305--320 (2012)

work page 2012
[11]

K. C. Chan and Z. Madarasz , A strictly weakly hypercyclic operator with a hypercyclic subspace, Journal of Operator Theory 93 , No. 2, 435--476 (2025)

work page 2025
[12]

B. K. Das and A. Mundayadan , Dynamics of weighted backward shifts on certain analytic function spaces, Results in Mathematics 79 , 242 (2024)

work page 2024
[13]

Gonz\'alez, F

M. Gonz\'alez, F. Le\'on-Saavedra and A. Montes-Rodr\' guez , Semi-Fredholm theory: hypercyclic and supercyclic subspaces, Proceedings of the London Mathematical Society (3) 81 169--189 (2000)

work page 2000
[14]

Grosse-Erdmann and A

K.-G. Grosse-Erdmann and A. Peris Manguillot , Linear Chaos. Berlin: Springer, 2011

work page 2011
[15]

Guerre-Delabri\`ere , Classical Sequences in Banach Spaces, Marcel Dekker, Inc, New York, 1992

S. Guerre-Delabri\`ere , Classical Sequences in Banach Spaces, Marcel Dekker, Inc, New York, 1992

work page 1992
[16]

León-Saavedra and A

F. León-Saavedra and A. Montes-Rodríguez , Linear structure of hypercyclic vectors, Journal of Functional Analysis 148 , 524--545 (1997)

work page 1997
[17]

León-Saavedra and V

F. León-Saavedra and V. Müller , Hypercyclic sequences of operators, Studia Mathematica 175 , No 1, 1--18 (2006)

work page 2006
[18]

Menet , Hypercyclic subspaces and weighted shifts, Advances in Mathematics 255 , 305--337 (2014)

Q. Menet , Hypercyclic subspaces and weighted shifts, Advances in Mathematics 255 , 305--337 (2014)

work page 2014
[19]

Menet , Existence and non-existence of frequently hypercyclic subspaces for weighted shifts, Proceedings of the American Mathematical Society 143 , No 6, 2469--2477 (2015)

Q. Menet , Existence and non-existence of frequently hypercyclic subspaces for weighted shifts, Proceedings of the American Mathematical Society 143 , No 6, 2469--2477 (2015)

work page 2015
[20]

Montes-Rodríguez , Banach spaces of hypercyclic vectors, The Michigan Mathematical Journal 43 , No 3, 419--436 (1996)

A. Montes-Rodríguez , Banach spaces of hypercyclic vectors, The Michigan Mathematical Journal 43 , No 3, 419--436 (1996)

work page 1996
[21]

Shkarin , On the spectrum of frequently hypercyclic operators, Proceedings of the American Mathematical Society 137 , 123--134 (2009)

S. Shkarin , On the spectrum of frequently hypercyclic operators, Proceedings of the American Mathematical Society 137 , 123--134 (2009)

work page 2009
[22]

Shkarin , On the set of hypercyclic vectors for the differentiation operator, Israel Journal of Mathematics 180 , 271--283 (2010)

S. Shkarin , On the set of hypercyclic vectors for the differentiation operator, Israel Journal of Mathematics 180 , 271--283 (2010)

work page 2010