A Metric Framework for Approximate Transitivity, Mixing, and Hypercyclicity

Dimitrios Chiotis; Hadi Obaid Alshammari; Otmane Benchiheb

arxiv: 2604.18142 · v1 · submitted 2026-04-20 · 🧮 math.FA · math.DS

A Metric Framework for Approximate Transitivity, Mixing, and Hypercyclicity

Hadi Obaid Alshammari , Otmane Benchiheb , Dimitrios Chiotis This is my paper

Pith reviewed 2026-05-10 03:40 UTC · model grok-4.3

classification 🧮 math.FA math.DS

keywords hypercyclicitytopological mixingtransitivityF-spacesweighted backward shiftsapproximate dynamicsmetric topology

0 comments

The pith

Classical hypercyclicity criteria extend directly to approximate δ-versions for every positive radius in separable F-spaces.

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

The paper defines approximate versions of transitivity and mixing by requiring that the image of an open set under iterates intersects a δ-ball around any target set, rather than hitting the set exactly. It proves that a uniform-from-below δ-mixing property implies ordinary δ-mixing, which in turn implies δ-transitivity. In the linear setting, it introduces a δ-Hypercyclicity Criterion and shows both that this criterion produces δ-hypercyclicity and that the classical Hypercyclicity Criterion automatically satisfies the δ-version for any δ > 0. The same criterion also forces eventual δ-mixing along the relevant sequence, and the results apply in particular to weighted backward shifts.

Core claim

In separable F-spaces the δ-Hypercyclicity Criterion implies δ-hypercyclicity, the classical Hypercyclicity Criterion implies the δ-criterion for every δ > 0, and λB satisfies the δ-criterion for every δ > 0. These facts also yield eventual δ-mixing and sufficient conditions for δ-topological mixing on weighted backward shifts.

What carries the argument

The δ-Hypercyclicity Criterion, which adapts the classical two-sequence dense-set conditions to guarantee intersections with δ-balls instead of exact points.

If this is right

The δ-Hypercyclicity Criterion implies δ-hypercyclicity.
The classical Hypercyclicity Criterion implies the δ-Hypercyclicity Criterion for every δ > 0.
The operator λB satisfies the δ-Hypercyclicity Criterion for every δ > 0.
The δ-Hypercyclicity Criterion produces eventual δ-mixing along the given sequence.
Weighted backward shifts admit sufficient conditions for δ-topological mixing.

Where Pith is reading between the lines

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

The same implication pattern may allow classical mixing results on Banach spaces to transfer immediately to their approximate counterparts.
Verification of hypercyclicity for concrete operators can be reduced to checking the classical criterion, since the δ-versions follow automatically.
The framework opens the possibility of studying stability of dynamical properties under small metric perturbations of the target sets.

Load-bearing premise

The underlying space is a separable F-space whose metric is compatible with the vector topology and the maps under study are continuous or linear and continuous.

What would settle it

An explicit separable F-space, a continuous linear operator that meets the classical Hypercyclicity Criterion, yet fails to meet the δ-Hypercyclicity Criterion for some fixed δ > 0.

read the original abstract

We study metric versions of transitivity, mixing, and hypercyclicity for continuous maps, based on intersections of the form $ f^{n}(U)\cap B_{\delta}(V)\neq\varnothing. $ We introduce $\delta$-topological transitivity, $\delta$-topological mixing, and a uniform-from-below version of $\delta$-mixing, and prove $ \mathrm{UFB\mbox{-}}\delta\text{-TM} \;\Rightarrow\; \delta\text{-TM} \;\Rightarrow\; \delta\text{-TT}. $ In the linear setting of separable F-spaces, we formulate a $\delta$-Hypercyclicity Criterion, prove that it implies $\delta$-hypercyclicity, and show that the classical Hypercyclicity Criterion implies the $\delta$-criterion for every $\delta>0$. We further show that this criterion yields eventual $\delta$-mixing along the underlying sequence. Finally, we discuss weighted backward shifts, derive sufficient conditions for $\delta$-topological mixing, and show that $\lambda B$ satisfies the $\delta$-Hypercyclicity Criterion for every $\delta>0$.

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

The paper defines δ-approximate transitivity, mixing and hypercyclicity and shows the classical criterion implies the δ-version for all δ>0 in separable F-spaces.

read the letter

The main takeaway is that this paper introduces δ-metric versions of transitivity, mixing, and hypercyclicity via nonempty intersections with δ-balls, proves the implication chain UFB-δ-TM implies δ-TM implies δ-TT, and shows that the standard Hypercyclicity Criterion yields the δ-criterion for every δ>0 in separable F-spaces. It also checks that λB satisfies the δ-criterion for all δ>0 using the usual weighted shift estimates. The δ-definitions and the direct carry-over from the classical case are the genuinely new pieces here, and they rest only on density of the relevant sets plus the fact that convergence can be steered inside any fixed ball of radius δ. That part is clean and requires no extra assumptions beyond the separable F-space topology. The proofs adapt standard arguments without hidden steps or circularity. The soft spot is that the work stays incremental: once the definitions are written down, the implications follow immediately from existing density properties, and the shift-operator examples are the familiar ones. No new phenomena, counterexamples, or tools for open problems appear. The paper is aimed at specialists already working on hypercyclicity and linear dynamics in Banach or F-spaces. Readers in that narrow area will see a consistent but modest extension; outsiders will not find much to engage with. I would send it to peer review because the claims are well-grounded in the definitions and standard facts, even though the overall advance is limited.

Referee Report

0 major / 3 minor

Summary. The paper introduces δ-approximate versions of topological transitivity (δ-TT), topological mixing (δ-TM), and a uniform-from-below variant (UFB-δ-TM) for continuous maps on metric spaces, defined via nonempty intersections f^n(U) ∩ B_δ(V). In separable F-spaces it formulates a δ-Hypercyclicity Criterion, proves that this criterion implies δ-hypercyclicity and eventual δ-mixing, shows that the classical Hypercyclicity Criterion implies the δ-criterion for every δ > 0, and verifies that weighted backward shifts λB satisfy the δ-criterion for all δ > 0. It also establishes the implication chain UFB-δ-TM ⇒ δ-TM ⇒ δ-TT.

Significance. If the derivations hold, the work supplies a consistent metric relaxation of classical hypercyclicity notions that remains compatible with the standard Hypercyclicity Criterion and applies directly to weighted shifts. This framework may prove useful for studying approximate dynamical behavior in infinite-dimensional spaces where exact transitivity fails but δ-approximations capture the essential orbit density.

minor comments (3)

[§2] §2 (Definitions): the precise quantifiers on the neighborhoods U and V in the δ-TM and UFB-δ-TM definitions should be stated explicitly (e.g., whether they range over all nonempty open sets or a basis) to avoid ambiguity with the classical notions.
[§4] §4 (δ-Hypercyclicity Criterion): the proof that the classical criterion implies the δ-version relies on density of the sets D and E; a short remark clarifying how the fixed δ-ball is absorbed by the convergence to zero would improve readability.
[§5] §5 (Weighted shifts): the sufficient conditions for δ-topological mixing are stated in terms of the weight sequence; adding a brief comparison table with the classical (δ=0) case would highlight the relaxation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful and positive assessment of our work. The recommendation for minor revision is noted, but the report contains no specific major comments to address. We are pleased that the referee recognizes the potential utility of the δ-approximate framework for studying dynamical properties in separable F-spaces where exact hypercyclicity may fail. No changes to the manuscript are required on the basis of the comments received.

Circularity Check

0 steps flagged

No significant circularity; derivations follow from new definitions plus standard F-space facts

full rationale

The paper introduces δ-versions of transitivity, mixing, and hypercyclicity via explicit metric-ball intersection conditions and derives the implication chain UFB-δ-TM ⇒ δ-TM ⇒ δ-TT directly from those definitions. In separable F-spaces the δ-Hypercyclicity Criterion is formulated and shown to imply δ-hypercyclicity by standard density arguments; the classical Hypercyclicity Criterion is shown to imply the δ-criterion for every δ>0 because convergence to zero can be made to land inside any fixed B_δ. Verification that λB satisfies the δ-criterion proceeds by direct adaptation of the usual weighted-shift estimates. No step reduces by construction to a fitted parameter, self-citation, or ansatz; all load-bearing arguments rest on the paper's own definitions together with the separable F-space topology and continuity, which are external to the new concepts.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claims rest on standard properties of separable F-spaces, continuity of maps, and the metric topology; the main addition is the family of new δ-definitions.

axioms (2)

standard math Separable F-spaces are complete metrizable topological vector spaces with the usual properties of addition and scalar multiplication.
Invoked throughout the linear setting section for the δ-Hypercyclicity Criterion.
standard math Continuous maps preserve the topology needed for open-set intersections with balls.
Used in the definitions of δ-TT, δ-TM and the implication proofs.

invented entities (1)

δ-topological transitivity, δ-topological mixing, UFB-δ-mixing, δ-hypercyclicity no independent evidence
purpose: To formalize approximate versions of classical dynamical properties via metric balls of radius δ.
These are newly introduced concepts whose relations and criteria form the paper's core.

pith-pipeline@v0.9.0 · 5545 in / 1552 out tokens · 48961 ms · 2026-05-10T03:40:50.333268+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

[1]

(2009).Dynamics of Linear Operators

Bayart, F., Matheron, ´E. (2009).Dynamics of Linear Operators. Cambridge University Press

work page 2009
[2]

Alshammari, H., Benchiheb, O. (2024). Approximate topological transitivity in metric spaces.Preprint

work page 2024
[3]

B `es, J., Peris, A. (1999). Hereditarily hypercyclic operators.Journal of Functional Analysis, 167(1), 94–112

work page 1999
[4]

Birkhoff, G. D. (1929). D´emonstration d’un th´eor`eme ´el´ementaire sur les fonctions enti`eres.C. R. Acad. Sci. Paris, 189, 473–475

work page 1929
[5]

Feldman, N. S. (2002). Perturbations of hypercyclic vectors.Journal of Mathematical Analysis and Applications, 273(1), 67–74

work page 2002
[6]

(2011).Linear Chaos

Grosse-Erdmann, K.-G., Peris, A. (2011).Linear Chaos. Universitext, Springer, London

work page 2011
[7]

M., Shapiro, J

Gethner, R. M., Shapiro, J. H. (1987). Universal vectors for operators on spaces of holomorphic functions. Proceedings of the American Mathematical Society, 100(2), 281–288

work page 1987
[8]

Kitai, C. (1982). Invariant closed sets for linear operators. Ph.D. Thesis, University of Toronto

work page 1982
[9]

Rolewicz, S. (1969). On orbits of elements.Studia Mathematica, 32, 17–22

work page 1969
[10]

Salas, H. N. (1995). Hypercyclic weighted shifts.Transactions of the American Mathematical Society, 347(3), 993–1004. Department of Mathematics, College of Science, Jouf University , Sakaka, P .O. Box 2014, Saudi Arabia Email address:hahammari@ju.edu.sa Department of Mathematics, Faculty of Sciences, Chouaib Doukkali University , El Jadida, Morocco Email ...

work page 1995

[1] [1]

(2009).Dynamics of Linear Operators

Bayart, F., Matheron, ´E. (2009).Dynamics of Linear Operators. Cambridge University Press

work page 2009

[2] [2]

Alshammari, H., Benchiheb, O. (2024). Approximate topological transitivity in metric spaces.Preprint

work page 2024

[3] [3]

B `es, J., Peris, A. (1999). Hereditarily hypercyclic operators.Journal of Functional Analysis, 167(1), 94–112

work page 1999

[4] [4]

Birkhoff, G. D. (1929). D´emonstration d’un th´eor`eme ´el´ementaire sur les fonctions enti`eres.C. R. Acad. Sci. Paris, 189, 473–475

work page 1929

[5] [5]

Feldman, N. S. (2002). Perturbations of hypercyclic vectors.Journal of Mathematical Analysis and Applications, 273(1), 67–74

work page 2002

[6] [6]

(2011).Linear Chaos

Grosse-Erdmann, K.-G., Peris, A. (2011).Linear Chaos. Universitext, Springer, London

work page 2011

[7] [7]

M., Shapiro, J

Gethner, R. M., Shapiro, J. H. (1987). Universal vectors for operators on spaces of holomorphic functions. Proceedings of the American Mathematical Society, 100(2), 281–288

work page 1987

[8] [8]

Kitai, C. (1982). Invariant closed sets for linear operators. Ph.D. Thesis, University of Toronto

work page 1982

[9] [9]

Rolewicz, S. (1969). On orbits of elements.Studia Mathematica, 32, 17–22

work page 1969

[10] [10]

Salas, H. N. (1995). Hypercyclic weighted shifts.Transactions of the American Mathematical Society, 347(3), 993–1004. Department of Mathematics, College of Science, Jouf University , Sakaka, P .O. Box 2014, Saudi Arabia Email address:hahammari@ju.edu.sa Department of Mathematics, Faculty of Sciences, Chouaib Doukkali University , El Jadida, Morocco Email ...

work page 1995