{"id":"ce6ded0c-1bd3-4c72-a5a1-99a977eb3041","arxiv_id":"2510.19337","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"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.","lead":"This paper studies what happens to several dynamical properties when a system is lifted to the space of fuzzy sets with the endograph metric. It proves that expansivity-type properties become trivial, chain recurrence collapses to dense range, and shadowing mostly fails unless the system is contractive and bounded.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the imported Lemma 2.5 is elementary and correct, and the central equivalences hold together.","rationale":"The reader's weakest_assumption correctly identifies Lemma 2.5 as the most external and unverified-looking ingredient: it is imported from [27], not proved in this paper, and it is genuinely load-bearing for Lemma 4.4(vi)⇒(ii) and Theorem 5.3(c). However, the lemma is actually easy to prove and is true. Given δ=d_E(χ_K,u)<1/2, the two Hausdorff inclusions defining d_E give exactly the two inclusions needed for d_H(K,u_α)≤δ: for K⊂u_α+δ one uses that (x,1)∈K×I must be δ-close to a point of end(u), forcing a point of u_α within δ for every α≤1−δ; for u_α⊂K+δ one uses that (x,α)∈end(u) must be δ-close to K×I. I also stress-tested the explicit chain in Theorem 4.3, where the apparent risk is whether the horizontal and vertical perturbations really stay within ε. They do: the inclusions U_{1−(j+1)ε}⊂U_{1−jε}⊂U_{1−(j+1)ε}+ε and W_{jε}⊂W_{(j+1)ε}⊂W_{jε}+ε follow by comparing βg(t) with β′g(t) and shifting the height by at most ε. The end of the chain is handled by choosing w with fhat^n(w) δ−ε-close to v and replacing the last point. Theorem 3.1's two directions also check out: constant maps give fhat(u)=χ_{x*} for all u, and Lemma 3.3 produces pairs whose d0/dS/dE distances are exactly 1/k before (or after) applying fhat, contradicting any contraction/expansion constant. No other passage asserts a missing proof or circular step that would change the verdict. Therefore the ACCEPT verdict stands.","tokens_in":36782,"tokens_out":26574,"duration_ms":201242,"concrete_test":"Independently verify Lemma 2.5 from the definition of d_E: prove K⊂u_α+δ using the point (x,1) and u_α⊂K+δ using the point (x,α), then check that Lemma 4.4(vi)⇒(ii) and Theorem 5.3(c) work verbatim with this proof. If the lemma passes, the flagged dependency is safe.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I checked the reader's flagged premise. Lemma 2.5 is true: if δ=d_E(χ_K,u)<1/2, then (i) K⊂u_α+δ for every α≤1−δ because each (x,1) with x∈K is within δ of a point (y,β)∈end(u), so u(y)≥β≥1−δ≥α; (ii) u_α⊂K+δ for every α because (x,α)∈end(u) is within δ of a point of K×I. Both inclusions follow directly from the Hausdorff-metric definition of d_E and Proposition 2.1(a). Thus the uses in Lemma 4.4(vi)⇒(ii) and Theorem 5.3(c) are legitimate. I also examined the explicit chain construction in Theorem 4.3: the vertical level sets U_β and W_β satisfy the claimed ε-inclusions by changing only the height coordinate by at most ε, and the concatenation with fhat^n(w) near v gives a genuine d_E-δ-chain of any length n≥2nδ. The contractive/expansive dichotomy in Theorem 3.1 follows from Lemma 3.3's distance-normalization construction, which is internally consistent. No false step or unsupported essential claim surfaced; the only unproved external input is an elementary lemma that can be verified in a few lines.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the Zadeh extension of a continuous self-map f on a metric space (X,d) to the space F(X) of normal fuzzy sets, endowed with the supremum, Skorokhod, sendograph, and endograph metrics. Its main claims are: (a) the systems (F_0(X), fhat), (F_S(X), fhat), (F_E(X), fhat) are contractive iff f is constant, and expansive/expanding/positively expansive iff X is a singleton (Theorem 3.1); (b) chain recurrence, chain transitivity, and chain mixing for (F_E(X),fhat) are all equivalent to f having dense range (Theorem 4.3); and (c) several shadowing results, including counterexamples to a claim in [5] and a positive shadowing theorem for contractions with a bounded iterate (Theorems 5.3, 5.4, 5.6). The paper also records an isolated-points dichotomy for the endograph metric (Lemma 2.6). The exposition is careful and the central constructions, especially in Lemma 3.3 and Theorem 4.3, are explicit and mostly rigorous.","tokens_in":37129,"tokens_out":48994,"duration_ms":353041,"significance":"If correct, the results give a complete and rather striking picture of the dynamical behaviour of fuzzy extensions with the endograph metric, resolving open problems from [18] and [20] and correcting [5, Theorem 5]. The paper's explicit chain construction in Theorem 4.3 and the distance-normalization technique in Lemma 3.3 are valuable and verify the claimed dichotomies without hidden parameters. The treatment of non-compact metric spaces is a genuine extension of earlier work. The main theorems, if sound, are significant for the fuzzy-dynamics community. However, two proof issues — one in the standalone Lemma 2.6 and one in the proof of Theorem 5.6 — need attention before the paper is fully convincing.","major_comments":[{"comment":"The proposed perturbation w := u · χ_{X\\B_d(x,δ)} is not guaranteed to lie in B_E(u,ε). For X={0,1} with the discrete metric, u=χ_X and x=0, every δ<1 gives w=χ_{1}; by Proposition 2.4(d), d_E(χ_X,χ_{1})=1, so w∉B_E(u,ε) for 0<ε<1. Thus the proof of part (c) as written fails. The same kind of support-deletion construction in part (b), Case 2, also requires a careful choice of δ and is not valid for arbitrary δ<ε. Since this lemma is not used later, the central theorems are unaffected, but the proof should be replaced — for instance by lowering membership values on a small ball rather than deleting the support.","section":"Lemma 2.6, proof, Case 2"},{"comment":"The proof covers complete spaces and then 'bounded but not complete' spaces. However, the theorem's hypothesis — f^k(X) bounded for some k and f contractive — does not imply that X is bounded. For example, X=Q with f(x)=c x/(1+|x|), 0<c<1, is a contraction with f(X) bounded and X unbounded and incomplete. The completion argument can be extended to this case because f*^k(X*) is contained in the closure of f^k(X) and hence bounded, but the manuscript does not state or prove this. As written, Theorem 5.6 is not proved for all metric spaces covered by its statement. Please add the missing case or restrict the theorem accordingly.","section":"Theorem 5.6, proof, second part"}],"minor_comments":[{"comment":"The definition reads 'f^n(U) ∪ V ≠ ∅', which is trivially true; it should be 'f^n(U) ∩ V ≠ ∅'.","section":"Section 5.2, definition of topologically mixing"},{"comment":"The intermediate displayed inclusion contains indexing slips: the term with l=0 uses a negative radius '(l−1)δ_ε', and the inclusions following the choice of x_{j+1}, y_{j+1} refer to end(fhat^j(u)) where the conclusion concerns end(fhat^{j+1}(u)). These are typos, but should be corrected for readability.","section":"Theorem 5.6, Case 2 of the proof"},{"comment":"In the induction step for chain weak-mixing, the concatenated sequences are correct, but the second displayed sequence would be clearer if it were explicitly described as an (N+1)-tuple with the first coordinate repeated; the current typesetting invites misreading.","section":"Theorem 4.1, proof (i)⇒(ii)"},{"comment":"References [2] and [23] are both assigned the same arXiv number (2411.17037v1); one of them appears to be a typo.","section":"References"},{"comment":"Typo: 'ca be used' should be 'can be used'.","section":"Remark 3.2"}],"recommendation":"major_revision","confidential_remarks":"The core theorems (Theorem 3.1, Theorem 4.3, and the shadowing equivalences in Theorem 5.3) appear sound on close inspection. The requested revision is driven by two local but real gaps: the flawed perturbation in Lemma 2.6 and the missing unbounded-incomplete case in the proof of Theorem 5.6. Both are fixable within the scope of the manuscript; if the authors address them, I expect the paper to be acceptable for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nYou can take this paper at face value: it is a substantive, honest continuation of the author's Part I, and the 'extremely radical' claims in the title are real. The paper proves that for the endograph metric on normal fuzzy sets, contractivity of the Zadeh extension forces the base map to be constant, and any expansive/expanding/positively expansive behavior forces the base space to be a singleton. It also gives a clean characterization of chain recurrence/transitivity/mixing on F_E(X) as equivalent to the base map having dense range, and it fixes the flawed shadowing theorem from Bartoll et al. by counterexample plus a corrected result. Those are genuinely new results and solve several open problems from the literature. The proofs are explicit and, as far as I can tell, correct.\n\nThe main thing that looked fragile was Lemma 2.5, imported from the companion paper, which converts d_E-density into Hausdorff-dimensional-level approximation. I checked it directly: the lemma is true, and the uses in Lemma 4.4 and Theorem 5.3 are legitimate. So the central equivalences hold together. What remains is a set of minor issues: a fair number of typographical slips (e.g., 'ca be used' in Remark 3.2, and a concatenation in Theorem 4.1 that is hard to parse), and the proof of Theorem 5.6 is quite long and case-heavy. The paper would benefit from a round of careful editing, but the arguments are recoverable.\n\nOne thing to keep in mind: the paper leans on the author's own Part I for key background and for Lemma 2.5. That is not circular, but it means the referee should look at both parts together. The citation pattern to the rest of the literature is appropriate. The author is not overclaiming; the conclusions are stated with the right scope.\n\nThis is a niche paper — it will matter to people working on fuzzy/hyperspace dynamics, not to a broad dynamical systems audience. But within that niche it's important: it resolves open problems and fixes a published theorem. I'd send it to a serious referee, and I'd probably cite it if I worked in the area.\n\nRecommendation: engage with it; the referee should be someone who can check the long shadowing proof and who has access to [27].","headline":"A solid, no-nonsense contribution to the fuzzy-hyperspace dynamics niche; the main dichotomies hold up, and the imported lemma is fine.","tokens_in":37581,"tokens_out":2080,"would_cite":true,"duration_ms":20457,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37B02","37B05","37B65","54A40","54B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"The endograph metric makes fuzzified dynamics contractive only for constant maps, expansive only on one-point spaces, and chain-mixing exactly when the original map has dense range.","keywords":["topological dynamics","fuzzy dynamical systems","endograph metric","Zadeh extension","expansive properties","chain recurrence","shadowing property","normal fuzzy sets"],"falsifier":"Compute d_E and d_H for X={0,1} with the discrete metric, K={0}, and u with u(0)=1, u(1)=β for β∈(0,1/2). Lemma 2.5 predicts that d_H({0},u_α)=0 for α>β and that the exceptional level α≤β lies outside the interval (δ,1-δ] where δ=d_E(χ_K,u)=β. Verifying this boundary directly is the decisive check: if any α∈(β,1-β] had d_H({0},u_α)>0, the lemma — and with it the dense-range characterizations of Theorem 4.3 — would fail.","tokens_in":36707,"feed_emoji":"🔗","tokens_out":7696,"duration_ms":64665,"temperature":0.7,"pith_summary":"This paper asks how the standard fuzzification of a continuous map behaves when the space of fuzzy sets is equipped with the endograph metric, which measures the Hausdorff distance between the regions under the graphs of two fuzzy sets. The author establishes that this metric makes the dynamical behaviour extreme: the fuzzy system is contractive exactly when the original map is constant, and it is expansive, expanding, or positively expansive exactly when the space is a singleton. More strikingly, chain recurrence, chain transitivity, and chain mixing all become equivalent to a single condition on the original map — that it has dense range. The paper also corrects a published shadowing result by giving counterexamples and proving that, for a dense-range map, the endograph fuzzy system cannot have finite shadowing unless the original system is topologically mixing.","feed_headline":"Chain dynamics under the endograph metric reduce to dense range","feed_subtitle":"Fuzzification is contractive only for constant maps, expansive only on one-point spaces, and chain-mixing iff the map has dense range.","key_machinery":"The key object is the endograph metric d_E on the space F(X) of normal fuzzy sets: end(u) = {(x,α)∈X×I: u(x)≥α} is the closed region under a fuzzy set's graph, and d_E(u,v) is the Hausdorff distance between end(u) and end(v) in X×[0,1]. Its strange topology — no isolated points, path-connectedness — comes from the fact that every endograph contains X×{0}. The engine of the proofs is Lemma 2.5, which converts a small d_E-distance between a crisp set χ_K and a fuzzy set u into small Hausdorff distance between K and the α-level u_α for every intermediate level; this bridge lets the author transfer dense range and shadowing between the fuzzy system and the classical hyperspace.","core_discovery":"The paper's central discovery is a series of 'if and only if' collapses. For the Zadeh extension fhat acting on normal fuzzy sets with the endograph metric d_E, the system (F_E(X), fhat) is chain recurrent, chain transitive, and chain mixing if and only if the original continuous map f has dense range. In the same setting, contractivity of the fuzzy system occurs exactly when f is constant, and expansiveness, expanding, or positive expansiveness occurs exactly when X is a singleton. The shadowing property sits in between: if f has dense range and (X,f) is not topologically mixing, then (F_E(X), fhat) lacks even finite shadowing; if f is contractive and some iterate f^k(X) is bounded, then (F","pith_inferences":["The pattern suggests d_E is dynamically 'forgetful': long-term orbit-tracing properties are determined almost entirely by the image of f rather than by the fine structure of X, so analogous reductions might hold for other chain-type or tracing notions not treated here.","Because d0 and dS also appear in the counterexamples and in the shadowing results, the phenomenon is not unique to the endograph metric; a promising test would be to see whether the Skorokhod metric admits similar dense-range collapses for chain notions.","The imported Lemma 2.5 is the single point to stress-test; if one replaces d_E by a truncated or level-limited variant, the equivalences may fail, giving a way to build metrics with intermediate behaviour.","For maps lacking dense range, one could try to characterize chain recurrence of F_E via the closure of f(X), perhaps recovering a graded version of the dense-range collapse."],"forward_implications":["If f has dense range, then (F_E(X), fhat) is chain mixing, hence chain transitive and chain recurrent; conversely, any chain recurrent fuzzy system forces f(X) dense.","For any nonconstant f, none of the fuzzy systems with the Skorokhod, sendograph, or endograph metrics can be contractive; for any nonsingleton X, none of them can be expansive, expanding, or positively expansive.","The metric space F_E(X) has no isolated points whenever X is not a singleton (and is path-connected), so isolated-point arguments cannot be used in the endograph setting.","A published equivalence claiming that finite shadowing passes between (X,f), (K(X),f), and (F0(X),fhat) is only partially true; the correct equivalence for finite shadowing involves F∞, and d0, dS, dE require extra hypotheses such as contractivity with bounded eventual image.","For dense-range non-mixing systems, (F_E(X), fhat) cannot have even finite shadowing, so many natural surjective or dense-range systems fail a common orbit-tracing property."],"fun_headline_variants":["Endograph metric collapses dynamics to dense range","Chain mixing on fuzzy sets iff map has dense range","Radical endograph dynamics: only dense range matters","Zadeh extension: chain dynamics reduced to dense range","For endograph metric, contractivity only for constants"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"A single imported metric lemma (Lemma 2.5) carries the weight: it asserts that a fuzzy set that is d_E-close to a crisp set must have all intermediate levels Hausdorff-close to the crisp set; if that fails, the chain-recurrence and shadowing collapses break.","fun_headline_variants_meta":{"raw":{"variants":["Endograph metric collapses dynamics to dense range","Chain mixing on fuzzy sets iff map has dense range","Radical endograph dynamics: only dense range matters","Zadeh extension: chain dynamics reduced to dense range","For endograph metric, contractivity only for constants"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000164,"raw_usage":{"total_tokens":1031,"prompt_tokens":642,"completion_tokens":389,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":386,"completion_tokens_details":{"reasoning_tokens":315}},"tokens_in":386,"tokens_out":389,"duration_ms":3840,"temperature":1.0,"reasoning_tokens":315,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T08:42:32.900591+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute d_E and d_H for X={0,1} with the discrete metric, K={0}, and u with u(0)=1, u(1)=β for β∈(0,1/2). Lemma 2.5 predicts that d_H({0},u_α)=0 for α>β and that the exceptional level α≤β lies outside the interval (δ,1-δ] where δ=d_E(χ_K,u)=β. Verifying this boundary directly is the decisive check: if any α∈(β,1-β] had d_H({0},u_α)>0, the lemma — and with it the dense-range characterizations of Theorem 4.3 — would fail.","supporting_citations":[],"review_version":1}