REVIEW 1 major objections 4 minor 2 cited by
Topological dynamics for the endograph metric I: Equivalences with other metrics
T0 review · 1 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash
Pith's one-line read The endograph metric on fuzzy sets yields exactly the same topological dynamics as the stronger supremum, Skorokhod, and sendograph metrics, for transitivity, recurrence, Devaney chaos, and the specification property.
desk verdict Solid central equivalences for the endograph metric via a neat lemma; the new pointwise results in §3.3 rest on an unproved no-isolated-points fact deferred to the author's forthcoming paper. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The key machinery is Lemma 2.4, a quantitative bridge between the endograph metric and the Hausdorff metric: if a normal fuzzy set u satisfies d_E(χ_K,u)=δ<1/2 for a compact set K, then every α-level set u_α lies within Hausdorff distance δ of K for all α∈(δ,1−δ]. The lemma makes the endograph topology fine enough to carry return-set arguments: any orbit segment in a d_E-neighborhood of the characteristic function of a compact set projects down to an orbit segment in a Hausdorff neighborhood of the compact set, with the same return times, because the dynamics on α-levels is just the original map. The reverse inclusions τ_E⊂τ_S⊂τ_0⊂τ_∞ then give the opposite direction at the level of open set
What would settle it
Produce a counterexample to Lemma 2.4: a compact set K and a normal fuzzy set u with d_E(χ_K,u)=δ<1/2 but d_H(K,u_α)>δ for some α∈(δ,1−δ]. Since the lemma is used in every (vii)⇒(iii) direction, its failure would break the equivalences for transitivity, recurrence, Devaney chaos, and specification simultaneously. Alternatively, for the pointwise theorems, exhibit a separable complete metric space X where F_E(X) has an isolated point despite X having none (or vice versa), contradicting the deferred assumption.
Extended reading notes
Core claim
The core discovery is Theorem 3.1 with Theorems 3.3, 4.2, and 4.3: for every Furstenberg family A, the Zadeh-extension system (F_E(X), fhat) is topologically A-transitive if and only if the compact-hyperspace system (K(X), f) is topologically A-transitive, and the same holds for (ℓ,A)-recurrence, Devaney chaos, and the specification property. The engine is Lemma 2.4: if d_E(χ_K,u)=δ<1/2, then d_H(K,u_α)≤δ for every α∈(δ,1−δ]. Because α-levels commute with the dynamics, [fhat^n(u)]_α=f^n(u_α), this transfers return-set conditions from fuzzy systems to set-valued systems, completing the equivalence circle that was previously known only for the stronger metrics. A separate block-family argument
Load-bearing premise
The pointwise equivalences rest on a deferred claim (F_E(X) is either a singleton or has no isolated points for every metric space X), and the noncompact specification extension is asserted without proof; if either gap is not filled, those results collapse.
Editorial extensions
If this is right
- Answered open question: endograph transitivity is equivalent to transitivity of the compact hyperspace system and to weak mixing of the original system; the answer to Question 1.1 and 1.2 is yes.
- Recurrence unification: for any ℓ and Furstenberg family A, (ℓ,A)-recurrence of the endograph system is equivalent to that of the hyperspace system and of all finite products of the original system.
- Devaney chaos: dense periodic points and transitivity hold for the endograph system if and only if they hold for the hyperspace system; in the linear Fréchet-space setting this also matches the original operator.
- Specification property: holds for the endograph system if and only if it holds for the hyperspace system, and specification of the original system implies specification of all extended systems even when X is not compact.
- Pointwise results: on separable complete metric spaces, for block Furstenberg families such as positive upper Banach density sets, point-A-transitivity is equivalent across the original, hyperspace, and all four fuzzy systems.
Reading between the lines
- Since the endograph metric is strictly coarser than the others, these equivalences suggest that the listed properties are determined only by the coarse return-set structure of the system; a natural testable extension is whether the same Lemma 2.4 handles other open-return-set-definable properties such as mixing or weak mixing with prescribed return sets.
- The block-family pointwise theorem implies that on Polish spaces a weakly mixing point-A-transitive map has a fuzzy point whose fhat-orbit hits every endograph-open set along a set in A; this offers a constructive way to build fuzzy sets with prescribed recurrence from compact-set data, which is not in the paper.
- Lemma 2.4 is sharp at δ=1/2 in the sense that the chosen α-interval (δ,1−δ] becomes empty; it would be interesting to check whether the inequality still holds with δ=1/2 at α=1/2, which would delineate the exact threshold of the method.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies a family of fuzzy dynamical systems (F(X), \hat f) on the space of normal fuzzy sets, comparing the endograph metric d_E with the supremum, Skorokhod, and sendograph metrics. The main technical contribution is Lemma 2.4, which states that if d_E(\chi_K, u) = \delta < 1/2, then d_H(K, u_\alpha) \le \delta for every \alpha \in (\delta, 1-\delta]. This lemma is used to transfer return-set arguments from d_E-neighbourhoods of characteristic functions to Hausdorff-neighbourhoods of compact sets. With it, the paper proves equivalences of topological \mathcal{A}-transitivity (Theorem 3.1), topological (\ell,\mathcal{A})-recurrence (Theorem 3.3), Devaney chaos (Theorem 4.2), and the specification property (Theorem 4.3) between (K(X), f), (F_\infty(X), \hat f), (F_0(X), \hat f), (F_S(X), \hat f), and (F_E(X), \hat f). It also formulates new point-\mathcal{A}-transitivity results (Theorem 3.7 and Corollary 3.9) for separable complete metric spaces and block Furstenberg families.
Significance. If the main equivalences hold, they unify and extend a substantial body of prior work by Jardón–Sánchez–Sanchis, Martínez-Giménez–Peris–Rodenas, Bartoll et al., and Álvarez et al., and they answer an open question (Question 1.1) about the endograph metric. The paper's core idea — Lemma 2.4 — is elegant, simple, and proved cleanly; it turns endograph closeness into Hausdorff closeness of level sets, which is exactly what is needed for return-set arguments. The reductions via the topology inclusions \tau_E \subset \tau_S \subset \tau_0 \subset \tau_\infty are sound, and the central equivalence theorems are well structured. The point-\mathcal{A}-transitivity results are the advertised new outcomes; however, as discussed in the major comment, they rely on an unproved and, in fact, false assertion about isolated points of F_E(X). The paper's central equivalences survive that issue, but the novelty advertised in the abstract is not fully supported as written.
major comments (1)
- [§3.3] The text states that F_E(X) is either a singleton or has no isolated points, 'regardless of whether (X,d) itself has isolated points', and defers the proof to the forthcoming paper [39]. This assertion is false. For example, take X = {0,1} with the discrete metric and consider u = \chi_{\{0\}}. For every v \ne u in F(X), the endograph end(v) contains a point (y,\beta) with y \ne 0, and the d_E-distance from that point to end(\chi_{\{0\}}) is at least d(0,1) = 1. Hence d_E(u,v) \ge 1, so u is d_E-isolated. This property is load-bearing: it is used in Corollary 3.5(b)(vi)⇒(i) and in Theorem 3.7 (iii),(vii)⇒(i) to infer topological transitivity of (F_E(X), \hat f) from point-transitivity. Since the stated fact is false, those implications are not justified by the submitted manuscript. The author should provide a correct proof under the hypotheses of the theorems (e.g., when X is weakly-mixi
minor comments (4)
- [Theorem 3.1] In the sentence 'given any arbitrary but fixed n∈A one can find compact sets...', the symbol 'A' should be 'B'; the argument is intended for an element of the intersection B.
- [§2.1] The definition contains the phrase 'but A ≠ P(N0)'. This is confusing: the earlier condition ∅∉A already excludes A=P(N0). The phrase seems redundant and should be removed or clarified.
- [§4.2] The claim that the Bauer–Sigmund compactness argument 'can be easily adapted to general metric spaces' is stated without proof. Since uniform continuity is not available in the noncompact setting, this is not a completely routine adaptation. Please include a proof or a precise reference.
- [Lemma 3.6] The proofs of parts (d) and (e) omit several details ('we omit the routine verification', 'arguing as in [2, Theorem 4.1]'). These steps are important for constructing an \mathcal{A}-recurrent compact set / fuzzy set from an \mathcal{A}-recurrent point in a product. Please expand them so that the construction is verifiable from the submitted text.
Circularity Check
Pointwise endograph results rest on an unproved no-isolated-points assertion deferred to the author's own [39].
-
self citation load bearing
[Section 3.3, paragraph before Corollary 3.5; used in the proof of Corollary 3.5(b) and Theorem 3.7]
"Moreover, one can show with not too much difficulty that for any metric space (X, d), the associated fuzzy metric space FE(X) is either a singleton (precisely when X is a singleton) or has no isolated points, regardless of whether (X, d) itself has isolated points (a proof of this fact will appear in [39])."
This is the only support for the implication 'FE(X) point-transitive ⇒ FE(X) topologically transitive' used explicitly in Corollary 3.5(b)(vi)⇒(i) and, through Corollary 3.5(b), in Theorem 3.7. The proof is not given; it is deferred to the author's own forthcoming paper [39]. Thus the new point-transitivity and point-A-transitivity conclusions are carried by a load-bearing self-citation rather than by a proof contained in this manuscript.
full rationale
No definitional circularity, fitted-input-called-prediction, renaming, or ansatz-smuggling is present. The main equivalences (Theorems 3.1, 3.3, 4.2 and 4.3) are genuine deductions: the key Lemma 2.4 is a new geometric argument converting endograph-neighborhoods of characteristic functions into Hausdorff-neighborhoods of their slices, and the return-set inclusions in (vii)⇒(iii), (vi)⇒(ii), and (v)⇒(i) do not reduce to their hypotheses. Reliance on [2,4,29,41] for the d∞/d0/sendograph parts is citation of independent published work. The only circularity concern is the asserted no-isolated-points structure of FE(X), which is load-bearing for the pointwise results in Section 3.3 but is explicitly deferred to the author's companion paper [39]; under the reviewing rules this is a load-bearing unverified self-citation. Corollary 4.4(a)'s 'proof can be easily adapted' to noncompact spaces is a completeness gap, not circularity. Hence the central claims retain independent content, but the pointwise new results are not fully self-contained.
Assumptions & free parameters
assumptions (5)
- domain assumption For each ρ ∈ {d∞, d0, dS, dE}, the Zadeh extension hat f: (F(X), ρ) → (F(X), ρ) is continuous.
- standard math For every u ∈ F(X) and α > 0, the α-level u_α is a non-empty compact set and d_H is a metric on K(X).
- standard math The identity d_E(u,v) ≤ d_S(u,v) ≤ d_0(u,v) ≤ d_∞(u,v), hence τ_E ⊂ τ_S ⊂ τ_0 ⊂ τ_∞.
- domain assumption F_E(X) is either a singleton or has no isolated points.
- domain assumption The Bauer–Sigmund proof that specification on (X,f) implies specification on (K(X),f) adapts from compact to arbitrary metric spaces.
Cite this review
Pith. "Pith review of Topological dynamics for the endograph metric I: Equivalences with other metrics." pith.science (2026). https://pith.science/paper/OW2ZGDLF
@misc{pith2026251017990,
author = {Pith},
title = {Pith review of: Topological dynamics for the endograph metric I: Equivalences with other metrics},
year = {2026},
howpublished = {\url{https://pith.science/paper/OW2ZGDLF}},
note = {Machine review of arXiv:2510.17990}
}
abstract
Given a dynamical system $(X,f)$ we investigate several topological dynamical properties for its Zadeh extension $(\mathcal{F}(X),\hat{f})$ endowed with the endograph metric $d_{E}$. In particular, we prove that for topological $\mathcal{A}$-transitivity, topological $(\ell,\mathcal{A})$-recurrence, Devaney chaos, and for the specification property, the endograph metric behaves similarly to the supremum metric $d_{\infty}$, the Skorokhod metric $d_{0}$ and the sendograph metric $d_{S}$. Our results not only resolve certain open questions in the existing literature, but also yield completely new outcomes in terms of point-$\mathcal{A}$-transitivity.
Forward citations
Cited by 2 Pith papers
-
Li-Yorke chaos on fuzzy dynamical systems
Li-Yorke and distributional chaos transfer from a dynamical system to its hyperspace and fuzzy-set extensions, while a new Cantor-dense variant transfers back under completeness and linearity assumptions.
-
Topological dynamics for the endograph metric II: Extremely radical properties
For the endograph-metric Zadeh extension, contractivity iff f is constant, expansivity-type iff X is a singleton, and chain recurrence/transitivity/mixing iff f has dense range.
Reference graph
Works this paper leans on
-
[39]
L´ opez-Mart ´ ınez
A. L´ opez-Mart ´ ınez. Topological dynamics for the endograph metric II: Extremely radical properties.arXiv preprint, to appear
-
[1]
Abakumov and A
E. Abakumov and A. Abbar. On several dynamical properties of shifts acting on directed trees.Canad. J. Math., (2025), 1–30
2025
-
[2]
´Alvarez, A
I. ´Alvarez, A. L´ opez-Mart ´ ınez, and A. Peris. Recurrence in collective dynamics: From the hyperspace to fuzzy dynamical systems.Fuzzy Sets Syst.,506(109296) (2025), 1–13
2025
-
[3]
J. Banks. Chaos for induced hyperspace maps.Chaos Solitons Fractals,25(2005), 681–685
2005
-
[4]
Bartoll, F
S. Bartoll, F. Mart ´ ınez-Gim´ enez, A. Peris, and F. Rodenas. Orbit Tracing Properties on Hyperspaces and Fuzzy Dynamical Systems.Axioms,11(12) (2022), 733
2022
-
[5]
Bauer and K
W. Bauer and K. Sigmund. Topological dynamics of transformations induced on the space of probability measures. Monatsh. Math.,79(1975), 81–92
1975
-
[6]
Bayart and ´E
F. Bayart and ´E. Matheron.Dynamics of linear operators. Cambridge University Press, 2009
2009
-
[7]
N. C. Bernardes, A. Peris, and F. Rodenas. Set-valued chaos in linear dynamics.Integr. Equ. Oper. Theory,88 (2017), 451–463
2017
Show all 45 references
-
[8]
B` es, Q
J. B` es, Q. Menet, A. Peris, and Y. Puig. Recurrence properties of hypercyclic operators.Math. Ann.,366(1-2) (2016), 545–572
2016
-
[9]
Billingsley.Convergence of Probability Measures
P. Billingsley.Convergence of Probability Measures. Wiley, New York, 1968
1968
-
[10]
Bonilla, K.-G
A. Bonilla, K.-G. Grosse-Erdmann, A. L´ opez-Mart ´ ınez, and A. Peris. Frequently recurrent operators.J. Funct. Anal.,283(12) (2022), 36 pages
2022
-
[11]
Cardeccia and S
R. Cardeccia and S. Muro. Frequently recurrence properties and block families.Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat.,119(3) (2025), 27 pages
2025
-
[12]
Chen.Fuzzy Values and Their Applications to Fuzzy Reasoning
Q. Chen.Fuzzy Values and Their Applications to Fuzzy Reasoning. Beijing Normal University Press, Beijing, 2000
2000
-
[13]
Costakis, A
G. Costakis, A. Manoussos, and I. Parissis. Recurrent linear operators.Complex Anal. Oper. Theory,8(2014), 1601–1643. 21
2014
-
[14]
Fu and Z
H. Fu and Z. Xing. Mixing properties of set-valued maps on hyperspaces via Furstenberg families.Chaos Solitons Fractals,45(4) (2012), 439–443
2012
-
[15]
E. Glasner. Classifying dynamical systems by their recurrence properties.Topol. Methods Nonlinear Anal.,24 (2004), 21–40
2004
-
[16]
Greco, M
G. Greco, M. Moschen, E. Rezende, and Q. F. E. Quelho. On the variational convergence of fuzzy sets in metric spaces.Ann. Univ. Ferrara Sez.,44(1998), 27–39
1998
-
[17]
Grivaux and A
S. Grivaux and A. L´ opez-Mart ´ ınez. Recurrence properties for linear dynamical systems: An approach via invariant measures.J. Math. Pures Appl.,169(2023), 155–188
2023
-
[18]
Grivaux, A
S. Grivaux, A. L´ opez-Mart ´ ınez, and A. Peris. Questions in linear recurrence I: TheT⊕T-recurrence problem.Anal. Math. Phys.,15(1) (2025), 26 pages
2025
-
[19]
Grivaux, A
S. Grivaux, A. L´ opez-Mart ´ ınez, and A. Peris. Questions in linear recurrence II: Lineability properties.Banach J. Math. Anal.,19(61) (2025), 28 pages
2025
-
[20]
Grosse-Erdmann and A
K.-G. Grosse-Erdmann and A. Peris.Linear Chaos. Springer, London, 2011
2011
-
[21]
J. L. Garc ´ ıa-Guirao, D. Kwietniak, M. Lampart, P. Oprocha, and A. Peris. Chaos on hyperspaces.Nonlinear Anal., 71(2009), 1–8
2009
-
[22]
H. Huang. Some properties of Skorokhod metric on fuzzy sets.Fuzzy Sets Syst.,437(2022), 35–52
2022
-
[23]
Huang, H
W. Huang, H. Li, and X. Ye. Family independence for topological and measurable dynamics.Trans. Am. Math. Soc.,364(10) (2012), 5209–5242
2012
-
[24]
H. Hung. Characterizations of endograph metric and Γ-convergence on fuzzy sets.Fuzzy Sets Syst.,350(2018), 55–84
2018
-
[25]
Illanes and S
A. Illanes and S. B. Nadler Jr.Hyperspaces: Fundamentals and Recent Advances. 1st ed., Marcel Dekker, Inc.: New York, NY, USA, 1999
1999
-
[26]
Jard´ on and I
D. Jard´ on and I. S´ anchez. Expansive properties of induced dynamical systems.Fuzzy Sets Syst.,425(2021), 48–61
2021
-
[27]
Jard´ on and I
D. Jard´ on and I. S´ anchez. Sensitivity and strong sensitivity on induced dynamical systems.Iran. J. Fuzzy Syst., 18(4) (2021), 69–78
2021
-
[28]
Jard´ on, I
D. Jard´ on, I. S´ anchez, and M. Sanchis. Some questions about Zadeh’s extension on metric spaces.Fuzzy Sets Syst., 379(2020), 115–124
2020
-
[29]
Jard´ on, I
D. Jard´ on, I. S´ anchez, and M. Sanchis. Transitivity in fuzzy hyperspaces.Mathematics,8(2020), 1862
2020
-
[30]
Jard´ on, I
D. Jard´ on, I. S´ anchez, and M. Sanchis. Fuzzy sets on uniform spaces.Iran. J. Fuzzy Syst.,20(6) (2023), 123–135
2023
-
[31]
Jard´ on, I
D. Jard´ on, I. S´ anchez, and M. Sanchis. Transitivity of some uniformities on fuzzy sets.arXiv preprint, arXiv:2411.17037v1, 15 pages
-
[32]
S. Y. Joo and Y. K. Kim. The Skorokhod topology on space of fuzzy numbers.Fuzzy Sets Syst.,111(2000), 497–501
2000
-
[33]
J. Kupka. On fuzzifications of discrete dynamical systems.Inf. Sci.,181(2011), 2858–2872
2011
-
[34]
Kwietniak, J
D. Kwietniak, J. Li, P. Oprocha, and X. Ye. Multi-recurrence and van der waerden systems.Science China Mathe- matics, vol.60, no. 1, 59–82 (2017)
2017
-
[35]
J. Li. Transitive points via Furstenberg family.Topology Appl.,158(16) (2011), 2221–2231
2011
-
[36]
G. Liao, L. Wang, and Y. Zhang. Transitivity, mixing and chaos for a class of set-valued mappings.Sci. China Ser. A-Math.,49(2006), 1–8
2006
-
[37]
L´ opez-Mart ´ ınez
A. L´ opez-Mart ´ ınez. Invariant measures from locally bounded orbits.Results Math.,79(185) (2024), 30 pages
2024
-
[38]
L´ opez-Mart ´ ınez
A. L´ opez-Mart ´ ınez. Frequently hypercyclic composition operators on the little Lipschitz space of a rooted tree. arXiv preprint, arXiv:2505.02397v1
-
[40]
L´ opez-Mart ´ ınez and Q
A. L´ opez-Mart ´ ınez and Q. Menet. Two remarks on the set of recurrent vectors.J. Math. Anal. Appl.,541(1) (2025), 17 pages
2025
-
[41]
Mart ´ ınez-Gim´ enez, A
F. Mart ´ ınez-Gim´ enez, A. Peris, and F. Rodenas. Chaos on Fuzzy Dynamical Systems.Mathematics,9(2021), 2629
2021
-
[42]
A. Peris. Set-valued discrete chaos.Chaos Solitons Fractals,26(2005), 19–23
2005
-
[43]
Rom´ an-Flores and Y
H. Rom´ an-Flores and Y. Chalco-Cano. Some chaotic properties of Zadeh’s extensions.Chaos Solitons Fractals,35 (2008), 452–459
2008
-
[44]
A. V. Skorokhod. Limit theorems for stochastic processes.Th. Probab. Appl.,1(1956), 261–290
1956
-
[45]
X. Wu, X. Ding, T. Lu, and J. Wang. Topological Dynamics of Zadeh’s Extension on Upper Semi-Continuous Fuzzy Sets.Internat. J. Bifur. Chaos,27(10) (2017), 13 pages. 22 Antoni L´opez-Mart´ınez: Universitat Polit` ecnica de Val` encia, Institut Universitari de Matem` atica Pura ...
2017
Reviewed August 4, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.