arxiv: 2604.24142 · v1 · submitted 2026-04-27 · 🧮 math.GN · math.DS

Recognition: unknown

A Descriptive Perspective on Devaney's Chaos and Some Results on Topologically Conjugate Systems

Fatih Ucan , Tane Vergili

Authors on Pith no claims yet

Pith reviewed 2026-05-07 17:27 UTC · model grok-4.3

classification 🧮 math.GN math.DS

keywords Devaney chaosdescriptive proximityBanks theoremtopological conjugacytransitivitysensitivitydynamical systemsgeneral topology

0 comments

The pith

Devaney's chaos loses its standard implication chain when translated into descriptive proximity.

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

The paper re-examines the three ingredients of Devaney chaos by replacing ordinary open sets with descriptive neighborhoods. It defines descriptive transitivity, the density of descriptive periodic points, and descriptive sensitivity, then shows that the classical implication from the first two to the third, guaranteed by Banks' theorem, fails in general. The authors also establish that some of these descriptive properties are preserved when two systems are topologically conjugate. A sympathetic reader would care because the result indicates that the internal structure of chaos can depend on the precise notion of nearness employed, opening the possibility that different proximity frameworks yield genuinely different classifications of dynamical behavior.

Core claim

The central claim is that Banks' theorem does not hold in the descriptive-proximity setting: a descriptively transitive map with dense descriptive periodic points need not be descriptively sensitive. The authors introduce the three descriptive versions of the Devaney conditions and supply counterexamples to the expected hierarchy while proving that, under suitable conditions, the descriptive properties survive replacement of the system by any topologically conjugate copy.

What carries the argument

The descriptive versions of transitivity, periodic-point density, and sensitivity, which replace classical open sets by descriptive neighborhoods to express the three Devaney conditions.

Load-bearing premise

The descriptive versions of transitivity, periodic density, and sensitivity are meaningful extensions of the classical notions rather than artificial re-labelings.

What would settle it

A descriptive proximity space in which every descriptively transitive map with dense descriptive periodic points is also descriptively sensitive would show that the claimed failure of Banks' theorem is not general.

Figures

Figures reproduced from arXiv: 2604.24142 by Fatih Ucan, Tane Vergili.

**Figure 1.** Figure 1: Genus-2 like a surface The comparison of objects results is presented in the table below. 4 view at source ↗

**Figure 2.** Figure 2: Descriptive transitivity. Lemma 3.0.2. Topological transitivity implies descriptive transitivity. Proof. Let X be a topological space, (X, f, Φ) descriptive dynamical system and U and V be two non-empty open subsets of X. Since f is topologically transitive, f k (U) ∩ V ̸= ∅ for a postive integer k > 0 . In this case, there exists a object b ∈ f k (U) ∩ V ⊆ f k (U) ∪ V , which means that b is in both f k (… view at source ↗

**Figure 3.** Figure 3: Distributions of objects in S 1 . Let the unit circle S 1 be partitioned into four distinct sectors of equal length, defined as: W1 = [0, π 2 ), W2 = [π 2 , π), W3 = [π, 3π 2 ), W4 = [ 3π 2 , 2π) where S 1 = S4 i=1 Wi and Wi∩Wj = ∅ for i ̸= j. Let define the probe function Φ : S 1 → R n , Φ(θ) =    v1, if θ ∈ W1 v2, if θ ∈ W2 v3, if θ ∈ W3 v4, if θ ∈ W4 in this respect, the following examples will… view at source ↗

**Figure 4.** Figure 4: Classical approach to dynamical systems. view at source ↗

**Figure 5.** Figure 5: Topological chaos and descriptive instabilities. view at source ↗

**Figure 6.** Figure 6: Conjugate systems. Discussion In contrast to the well-known Banks’ theorem in classical topological dynamics, we show that descriptive transitivity and the density of descriptive periodic objects do not necessarily imply descriptive sensitivity. This distinction reveals that the descriptive proximity structure imposes a stricter or more specific constraint on the system’s behavior than the standard metri… view at source ↗

read the original abstract

In this study, Devaney's chaos conditions are revisited within the framework of descriptive proximity. The concepts of descriptive transitivity, the density of descriptive periodic objects, and descriptive sensitivity are defined. The most notable finding of the study is that Banks Theorem, which establishes the hierarchy among these conditions in classical topology, does not generally hold in the descriptive perspective, and some of the concepts above remain invariant under topological conjugacy certain conditions.

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 descriptive versions of transitivity, periodic density, and sensitivity, then shows Banks' theorem fails for them, but the result's interest depends on whether those definitions match the classical ones in the standard limit.

read the letter

The main point is that Banks' theorem stops holding once you move to descriptive proximity: the authors define descriptive transitivity, density of descriptive periodic points, and descriptive sensitivity, then give a case where the first two do not force the third. They also check that some of these properties are preserved under topological conjugacy, at least under extra conditions. That is the concrete new content. The work is a direct, incremental extension of the classical Devaney framework into a descriptive setting, and the negative result on the hierarchy is the part that stands out. They earn credit for spelling out the definitions and for producing an explicit counter-example rather than just gesturing at one. The conjugacy invariance claim is also a useful check, even if it only holds conditionally. The soft spot is exactly the one the stress-test flags. For the failure of Banks' theorem to say something meaningful about descriptive dynamics rather than just about the chosen definitions, the new notions need to agree with the ordinary ones when the proximity relation collapses to the usual topology or metric. The abstract does not make that reduction explicit, so the proofs have to carry that load. If the descriptive versions diverge even in the classical case, the claimed breakdown becomes less informative. The paper stays narrow: it sits at the overlap of descriptive set theory and topological dynamics, and it will mainly interest readers who already work with proximity relations or with variants of Devaney chaos. A general dynamical systems audience will not find immediate applications or broad new techniques. I would send it to peer review. The negative result is worth a referee's time to verify the definitions and the counter-example, even though the scope stays specialized and the impact is likely modest.

Referee Report

3 major / 2 minor

Summary. The paper introduces notions of descriptive transitivity, density of descriptive periodic objects, and descriptive sensitivity within descriptive proximity spaces. It claims that the classical Banks theorem (transitivity plus dense periodic points implying sensitivity) fails to hold in general under these descriptive definitions, while certain of the new properties remain invariant under topological conjugacy under specified conditions.

Significance. If the descriptive notions are shown to coincide with their classical counterparts when the proximity reduces to a standard topology or metric, the reported failure of Banks' theorem would constitute a meaningful distinction between the descriptive and classical settings, potentially clarifying the role of proximity in chaotic dynamics. The conjugacy-invariance results, if rigorously established, would add to the structural understanding of these properties. The work introduces new definitions in a specialized framework (math.GN), but its impact hinges on the naturalness and consistency of those definitions rather than on parameter-free derivations or machine-checked proofs.

major comments (3)

[§2] §2 (or equivalent definitions section): The central claim that Banks' theorem fails in the descriptive setting is load-bearing on the new definitions; the manuscript must explicitly verify that descriptive transitivity, descriptive periodic density, and descriptive sensitivity reduce exactly to the classical notions when the descriptive proximity is the standard one induced by the topology/metric. Without this reduction property, the observed non-implication does not directly illuminate the descriptive framework but may instead reflect a mismatch in the definitions.
[Main result section] Main result section (presumably §3 or §4): The counter-example or construction showing that descriptive transitivity plus density of descriptive periodic objects does not imply descriptive sensitivity must be checked for internal consistency with the proximity axioms; if the construction relies on a proximity that never reduces to a classical metric, the comparison to Banks' theorem remains indirect.
[Conjugacy section] Conjugacy-invariance theorem: The statement that 'some of the concepts remain invariant under topological conjugacy certain conditions' requires a precise formulation of the conditions and a proof that the invariance holds only for the descriptive versions and not trivially for the classical ones; the current abstract phrasing leaves the scope unclear.

minor comments (2)

[Abstract] Abstract: the phrase 'remain invariant under topological conjugacy certain conditions' is grammatically incomplete and should be rephrased for clarity.
Notation: ensure that the descriptive proximity relation is denoted distinctly from the classical topology throughout, and that all new terms are defined before their first use in theorems.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the detailed and constructive report. The comments highlight important points for strengthening the manuscript's clarity and rigor. We address each major comment below, indicating planned revisions where appropriate.

read point-by-point responses

Referee: [§2] The manuscript must explicitly verify that descriptive transitivity, descriptive periodic density, and descriptive sensitivity reduce exactly to the classical notions when the descriptive proximity is the standard one induced by the topology/metric.

Authors: We agree that this reduction property is essential to ensure the non-implication result meaningfully distinguishes the descriptive setting. In the revised version, we will add a new proposition in §2 that directly verifies the coincidence: when the descriptive proximity δ is induced by a standard topology (or metric), the descriptive notions coincide with their classical counterparts by substituting the proximity definition into the descriptive conditions and recovering the usual open-set formulations. revision: yes
Referee: [Main result section] The counter-example showing that descriptive transitivity plus density of descriptive periodic objects does not imply descriptive sensitivity must be checked for internal consistency with the proximity axioms; if the construction relies on a proximity that never reduces to a classical metric, the comparison to Banks' theorem remains indirect.

Authors: The counterexample in §3 is constructed on a descriptive proximity space that satisfies all proximity axioms (including the descriptive axioms) and is internally consistent. We will revise the section to include an explicit verification that the chosen proximity satisfies the axioms and to add a remark explaining that the example is deliberately non-classical to illustrate the failure in the broader descriptive framework. While we acknowledge the comparison is indirect for this particular space, the result still demonstrates that the implication does not hold generally under the new definitions. revision: partial
Referee: [Conjugacy section] The statement that 'some of the concepts remain invariant under topological conjugacy certain conditions' requires a precise formulation of the conditions and a proof that the invariance holds only for the descriptive versions and not trivially for the classical ones.

Authors: We will revise both the abstract and the statement of the conjugacy theorem to give a precise formulation of the conditions (specifically, when the conjugacy is a descriptive proximity isomorphism). The proof will be expanded to show that the invariance is non-trivial for the descriptive notions by contrasting with the classical case, where invariance is already known but follows from different arguments; we will include a short comparison paragraph. revision: yes

Circularity Check

0 steps flagged

No circularity: new descriptive definitions yield independent non-implication for Banks theorem

full rationale

The paper introduces descriptive transitivity, descriptive periodic density, and descriptive sensitivity via new definitions in the descriptive proximity framework, then directly exhibits that the classical Banks implication fails for these notions. No step reduces a result to a fitted parameter, self-citation chain, or definitional tautology; the non-implication is a consequence of the explicit definitions rather than an artifact of renaming or smuggling prior results. The derivation chain is self-contained against the introduced concepts and does not rely on load-bearing self-citations or uniqueness theorems from the authors' prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 3 invented entities

The work rests on standard topological axioms plus the new descriptive proximity relation; no free parameters or invented physical entities appear. The main added content is the three descriptive chaos notions themselves.

axioms (1)

standard math Standard axioms of general topology and dynamical systems
The paper builds directly on classical definitions of transitivity, periodic points, and sensitivity.

invented entities (3)

Descriptive transitivity no independent evidence
purpose: To adapt the classical transitivity condition to descriptive proximity
Newly defined concept whose properties are studied in the paper.
Density of descriptive periodic objects no independent evidence
purpose: To adapt the classical dense periodic points condition to descriptive proximity
Newly defined concept whose properties are studied in the paper.
Descriptive sensitivity no independent evidence
purpose: To adapt the classical sensitivity condition to descriptive proximity
Newly defined concept whose properties are studied in the paper.

pith-pipeline@v0.9.0 · 5360 in / 1431 out tokens · 65179 ms · 2026-05-07T17:27:18.434561+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

16 extracted references

[1]

Devaney, An introduction to chaotic dynamical systems, CRC press, 2018

R. Devaney, An introduction to chaotic dynamical systems, CRC press, 2018

2018
[2]

R.Liang, Q.Wang, Y.Li, Anewhigh-dimensionaldigitalchaoticsystem and its s-box application, Chaos, Solitons & Fractals 199 (2025) 116826

2025
[3]

Mezzi, K

S. Mezzi, K. Ben Rejeb, Chaos of trajectories, Topology and its Appli- cations 375 (2025) 109571. 14

2025
[4]

Banks, J

J. Banks, J. Brooks, G. Cairns, G. Davis, P. Stacey, On devaney’s def- inition of chaos, The American mathematical monthly 99 (4) (1992) 332–334

1992
[5]

V. I. Arnold, A. Avez, Ergodic Problems of Classical Mechanics, W. A. Benjamin, New York, 1968, english translation of the original French edition

1968
[6]

S. A. Morris, Topology without tears, University of New England, 1989

1989
[7]

J. F. Peters, et al., Near sets. general theory about nearness of objects, Applied Mathematical Sciences 1 (53) (2007) 2609–2629

2007
[8]

J. F. Peters, Near sets: An introduction, Mathematics in Computer Science 7 (1) (2013) 3–9

2013
[9]

Naimpally, J

S. Naimpally, J. Peters, M. Wolski, Foreword [near set theory and ap- plications], Math. Comput. Sci 7 (1) (2013) 1–2

2013
[10]

Peters, Computational Proximity

J. Peters, Computational Proximity. Excursions in the Topology of Dig- ital Images., 2016

2016
[11]

S. A. Naimpally, J. F. Peters, Topology with applications: topological spaces via near and far, World Scientific, 2013

2013
[12]

Di Concilio, C

A. Di Concilio, C. Guadagni, J. F. Peters, S. Ramanna, Descriptive proximities: Properties and interplay between classical proximities and overlap, Mathematics in Computer Science 12 (1) (2018) 91–106

2018
[13]

M. S. Haider, J.F. Peters, Temporal proximities: Self-similar temporally close shapes, Chaos, Solitons & Fractals 151 (2021) 111237

2021
[14]

Alexan, N

W. Alexan, N. H. E. Shabasy, N. Ehab, E. A. Maher, A secure and effi- cient image encryption scheme based on chaotic systems and nonlinear transformations, Scientific Reports 15 (1) (2025) 31246

2025
[15]

F. J. Dyson, H. Falk, The period of arnold’s cat map, The American Mathematical Monthly 99 (7) (1992) 603–614

1992
[16]

G. Chen, Y. Mao, C. K. Chui, A symmetric image encryption scheme based on 3d chaotic cat maps, Chaos, Solitons & Fractals 21 (3) (2004) 749–761. 15

2004