{"id":"c11aa46f-fe5e-406b-820f-c12b0d743638","arxiv_id":"2510.17990","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Topological A-transitivity, (ℓ,A)-recurrence, Devaney chaos, and the specification property are shown to be equivalent across the hyperspace and the supremum, Skorokhod, sendograph, and endograph fuzzy extensions.","lead":"This paper proves that several chaos and recurrence properties of a dynamical system are unchanged when the system is lifted to spaces of fuzzy sets, no matter which of four standard metrics is used, including the endograph metric, which had resisted such equivalences. It answers an open question from the fuzzy-dynamics literature and adds new pointwise transitivity results for complete separable spaces.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Pointwise endograph results hinge on an unproved no-isolated-points assertion for FE(X), deferred to [39]; without it, Corollary 3.5(b) and Theorem 3.7 are unsupported.","rationale":"The main equivalences are supported by Lemma 2.4 and the return-set arguments are sound; the endograph-to-Hausdorff reduction is the right engine. The most load-bearing unresolved point is the no-isolated-points property of FE(X), exactly as the reader identified. It is needed to convert point-transitivity into topological transitivity in Corollary 3.5(b) and to close the pointwise directions of Theorem 3.7. Unlike the secondary Bauer-Sigmund adaptation in Corollary 4.4(a), this fact is used by the genuinely new point-A-transitivity results and is explicitly deferred to a self-cited forthcoming paper. The proposed direct construction should settle it; if it works, the conditional should be lifted, but the submitted text is not fully self-contained as written.","tokens_in":22724,"tokens_out":48444,"duration_ms":379279,"concrete_test":"Prove the deferred assertion directly: for any non-singleton metric space X, any u in F(X), and any epsilon > 0, choose distinct x,y in X and define v by v(y) = min(1, u(y)+epsilon), v = u elsewhere (or a symmetric lowering if y is the unique point of maximal membership). Verify v is in F(X), v != u, and d_E(u,v) <= epsilon by checking end(v) subset end(u)+epsilon and end(u) subset end(v)+epsilon. If this construction works for examples such as X = {0,1}, u = chi_{0}, and for arbitrary u, the missing lemma is true and Corollary 3.5(b)/Theorem 3.7 are repaired; if a counterexample is found, the pointwise results collapse.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central equivalences (Theorems 3.1, 3.3, 4.2, 4.3) rest on Lemma 2.4 and appear correct. The fragile step is in Section 3.3: Corollary 3.5(b) and Theorem 3.7 need the implication 'FE(X) point-transitive => FE(X) topologically transitive'. This is false in general for metric spaces with isolated points (e.g. the bi-infinite shift on Z has a dense orbit but is not topologically transitive), so the proof must use the assertion 'FE(X) is either a singleton or has no isolated points'. That assertion is stated without proof and deferred to the author's forthcoming [39]. Since the pointwise and point-A-transitivity results are presented as new, this is a real gap: if the assertion failed, Theorem 3.7's (iii)/(vii) => (i) directions and Corollary 3.5(b) would not follow from Theorem 3.1. The assertion is plausibly true: a second point in X lets one add a small membership layer of height delta and change d_E by at most delta. But the paper itself supplies no proof, so a reader cannot verify the step from the submitted manuscript alone.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":23038,"tokens_out":28581,"duration_ms":221767,"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":[{"comment":"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","section":"§3.3"}],"minor_comments":[{"comment":"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.","section":"Theorem 3.1"},{"comment":"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.","section":"§2.1"},{"comment":"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.","section":"§4.2"},{"comment":"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.","section":"Lemma 3.6"}],"recommendation":"major_revision","confidential_remarks":"The central equivalence theorems (3.1, 3.3, 4.2, 4.3) appear sound and are a genuine contribution; the deferred no-isolated-points assertion in §3.3, however, is false as stated and affects the advertised new point-\\mathcal{A}-transitivity results. The author should be encouraged to prove the correct version under the hypotheses of Theorem 3.7 or to remove/rewrite the pointwise results. This is a substantive issue but is local to Section 3.3, and the paper's main equivalence program can likely be salvaged."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a real paper. It closes the long-open gap for the endograph metric in the fuzzy-dynamics equivalence circle, and the engine is an elegant geometric lemma (Lemma 2.4) that transfers return-set arguments from endograph neighborhoods of characteristic functions to Hausdorff neighborhoods of compact sets. For A-transitivity, (ℓ,A)-recurrence, Devaney chaos, and specification, Theorems 3.1, 3.3, 4.2, and 4.3 are correctly argued and give the endograph metric the same status as d∞, d0, and dS. That is a clean, citable contribution.\n\nThe honest weakness is in §3.3. The point-transitivity and point-A-transitivity results — Corollary 3.5(b) and Theorem 3.7 — depend on the assertion that F_E(X) is either a singleton or has no isolated points for every metric space X. That fact is stated without proof and deferred to a self-cited forthcoming paper [39]. This is not cosmetic: the direction from point-transitivity to topological transitivity is used in those results, and it is false for arbitrary metric spaces with isolated points (e.g., the bi-infinite shift). The assertion is likely true — a second point in X lets you add a thin membership layer to a characteristic function and move it by an arbitrarily small endograph distance — but the manuscript does not include that argument. A referee cannot verify the new pointwise claims from the submitted text alone. The main equivalences do not rely on this fact, so the core of the paper survives.\n\nThere is a second, smaller gap in Corollary 4.4(a): the adaptation of Bauer–Sigmund to noncompact spaces is asserted to be 'easily adapted' without details. Since this concerns only the specification property of (K(X), f) and does not affect Theorem 4.3, I read the omission as minor but worth a referee note.\n\nOne more observation: the proof of Theorem 3.1 compresses the reduction to full families. I followed it, but it is the densest part of the paper and would benefit from an expanded write-up.\n\nThe audience is researchers in fuzzy and hyperspace dynamics; the main transfer lemma is reusable beyond this paper. Overall, the central equivalence results are correct and new, the key lemma is reusable, and the author is transparent about what is deferred. The paper deserves peer review, but the referee should ask for the no-isolated-points proof to be included (or for the pointwise claims to be explicitly conditional on it). If [39] appears with that proof, the pointwise section will stand. I would cite this for the main theorems and the lemma, and I might bring it to a reading group as a good example of a load-bearing structural lemma — with the gap as a talking point.\n\nRecommendation: send it to a serious referee, with a clear request to verify or import the no-isolated-points proof before acceptance.","headline":"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.","tokens_in":23549,"tokens_out":4722,"would_cite":true,"duration_ms":35749,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37B02","37B20","47A16","54A40","54B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["topological dynamics","fuzzy dynamical systems","endograph metric","Zadeh extension","Furstenberg families","transitivity","recurrence","specification property"],"falsifier":"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.","tokens_in":22603,"feed_emoji":"🌀","tokens_out":7058,"duration_ms":51980,"temperature":0.7,"pith_summary":"This paper establishes that the endograph metric, the coarsest of four standard metrics on the space of normal fuzzy sets, yields exactly the same topological dynamics as the stronger supremum, Skorokhod, and sendograph metrics for a precise list of properties: topological A-transitivity, (ℓ,A)-recurrence (covering ordinary recurrence and multiple recurrence), Devaney chaos, and the specification property. For each property, the induced Zadeh-extension system on fuzzy sets has the property exactly when the induced map on the compact hyperspace does. The entire argument rests on one lemma: a fuzzy set at endograph distance δ<1/2 from the characteristic function of a compact set K has all its α-level sets within Hausdorff distance δ of K, for α in an interval near 1. This answers an open question—whether endograph transitivity forces the original system to be weakly mixing—in the affirmative, and a block-family variation produces new equivalences for point-A-transitivity on separable complete metric spaces.","feed_headline":"Endograph metric equals the others for chaos, recurrence, and specification","feed_subtitle":"A single distance inequality transfers return-set properties between fuzzy systems and compact hyperspaces.","key_machinery":"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","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Endograph metric matches others for chaos, recurrence, specification","Endograph metric: same dynamics as supremum and Skorokhod metrics","Endograph metric proves equivalence for transitivity and chaos","Endograph metric unifies chaos, recurrence, and specification properties","Endograph metric: equivalent to sendograph for key dynamical properties"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Endograph metric matches others for chaos, recurrence, specification","Endograph metric: same dynamics as supremum and Skorokhod metrics","Endograph metric proves equivalence for transitivity and chaos","Endograph metric unifies chaos, recurrence, and specification properties","Endograph metric: equivalent to sendograph for key dynamical properties"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000718,"raw_usage":{"total_tokens":3041,"prompt_tokens":706,"completion_tokens":2335,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":450,"completion_tokens_details":{"reasoning_tokens":2249}},"tokens_in":450,"tokens_out":2335,"duration_ms":16216,"temperature":1.0,"reasoning_tokens":2249,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T08:54:39.792874+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}