{"id":"f0756ab3-38d1-4fe5-a7ef-86dd3326d8d9","arxiv_id":"2411.17037","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"On a uniform space, the Zadeh extension is transitive in the level-wise, Skorokhod, and sendograph uniformities if and only if the original map is weakly mixing.","lead":"This paper proves that a continuous map on a uniform space is weakly mixing exactly when its Zadeh extension is transitive on the fuzzy hyperspace under any of three natural uniformities. The result moves a known metric-space characterization into the more general uniform-space setting and adds continuity theorems for the extension.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The characterization hinges on Banks-Peris and weak-mixing-of-all-orders for arbitrary topological spaces; if those cited theorems require extra hypotheses, Theorem 3.7 overreaches.","rationale":"After careful reading, the main proof in Theorem 3.7 is structurally sound modulo typographical errors: the undefined entourage W in Eq. (3.4) and the mismatched K[V] in Eq. (3.5) appear to be typos, and Lemma 2.18 is true though its proof is omitted. The real soft spot is the unexamined scope of Theorems 3.1 and 3.2. The authors state them for arbitrary topological spaces, but the cited papers may impose additional hypotheses. If so, the uniform-space characterization would be overgeneralized. The reader identified exactly this assumption as weakest; I agree. Since the issue is about unverified external hypotheses rather than an internal contradiction, the appropriate verdict remains conditional on that verification. No fatal mathematical error was found; the paper is a credible extension if the cited theorems hold in the stated generality.","tokens_in":11766,"tokens_out":26233,"duration_ms":219779,"concrete_test":"Consult Banks (2005) and Peris (2005) and check the exact hypotheses of Theorems 3.1 and 3.2. If either theorem is stated only for compact metric spaces or under Baire/no-isolated-point conditions, then Theorem 3.7 is not proved beyond those classes; exhibit a non-metrizable uniform space (e.g., a Tychonoff cube) where the invocation of Theorem 3.2 cannot be justified, or find a counterexample. If both theorems hold for all topological spaces, the concern is dismissed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central equivalence in Theorem 3.7 is proven by importing Theorem 3.1 (Banks-Peris) and Theorem 3.2 (weak mixing implies weak mixing of all orders) for arbitrary topological spaces. Step (i) iff (ii) uses Theorem 3.1 on (X,f); step (ii) implies (iii) applies Theorem 3.2 to the hyperspace map fbar on K(X) to obtain simultaneous K_i and L_i. If either theorem actually requires compactness, metrizability, a Baire condition, or absence of isolated points (as some versions in the literature do), then the proof does not establish the theorem for a general uniform space, and the claimed characterization may fail in non-metrizable or non-Baire cases. The paper offers no verification of these hypotheses. This is a genuine load-bearing gap, not a typo: fixing the undefined entourage W in Eq. (3.4) and the mismatched K[V] in Eq. (3.5) would not resolve it. The metric-space version in [6] does not help because uniform spaces are broader.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the transitivity of the Zadeh extension f^ on the space F(X) of normal upper semicontinuous fuzzy sets with compact support over a uniform space (X,U), equipped with three uniformities: the level-wise uniformity U∞, the Skorokhod uniformity U0, and the sendograph uniformity US. The authors show that f^ is continuous with respect to each of these uniformities, and they prove Theorem 3.7: for a continuous f, weak mixing of f is equivalent to transitivity of f^ on each of the three fuzzy-set uniformities, as well as to transitivity of the induced hyperspace map on K(X). The proof proceeds via the chain (i)⇔(ii)⇒(iii)⇒(iv)⇒(v)⇒(ii), importing two external theorems: the Banks–Peris theorem on hyperspace transitivity and a theorem stating that weak mixing implies weak mixing of all orders.","tokens_in":11891,"tokens_out":25321,"duration_ms":216952,"significance":"If correct, Theorem 3.7 is a substantial generalization of the metric-space result in [6] to arbitrary uniform spaces, and it provides a unified characterization for three distinct uniformities on fuzzy sets. The continuity theorems (2.12, 2.16, 2.19) are useful in their own right. A particular strength of the paper is that the proof of (ii)⇒(iii) constructs explicit fuzzy sets w and z from the hyperspace return points, rather than invoking abstract machinery. The paper contains no fitted parameters and no circular reasoning; the main result is a falsifiable equivalence that can be checked in concrete examples. The principal caveat is the reliance on Theorem 3.2, which is not proved in the text and may require hypotheses beyond an arbitrary topological space.","major_comments":[{"comment":"The proof applies Theorem 3.2 to the hyperspace (K(X), τ_V) to obtain simultaneous return times K_i and L_i. Theorem 3.2 is stated for an arbitrary topological space X, but the citation [1, Theorem 1] (Banks) is, in many accounts, proved for compact metric spaces, and the authors do not give a proof of the general statement. Since (X,U) is an arbitrary uniform space, K(X) need not be compact or a Baire space. If Theorem 3.2 requires such hypotheses, the implication (ii)⇒(iii) is not established as written and the characterization in Theorem 3.7 would only hold under unstated additional assumptions. The authors should either supply a proof of Theorem 3.2 in the stated generality or restrict the main theorem to a class of spaces where the cited theorem is known to hold. The same verification should be provided for Theorem 3.1, although reference [9] is generally regarded as covering arbitrary topological spaces for that result.","section":"Section 3, proof of Theorem 3.7, implication (ii)⇒(iii)"}],"minor_comments":[{"comment":"The entourage W in (3.4) is undefined; it should be V to make the subsequent claim (f^m(w_{α_i}), z_{α_i}) ∈ K[V] true.","section":"Eq. (3.4)"},{"comment":"The relation (w_{α_i}, u_{α_i}) ∈ K[V] should read K[U], matching the earlier line from Proposition 3.4 and enabling the later K[U]^2 ⊆ K[U^2] ⊆ K[U_1] step.","section":"Eq. (3.5)"},{"comment":"In the display preceding (3.1), the interval should be β ∈ (α_k, α_{k+1}], not (u_{α_k}, u_{α_{k+1}}], since β is a level index in [0,1].","section":"Eq. (3.1)"},{"comment":"The entourages U and V should be chosen symmetric, or the authors should justify why K[U] is symmetric for the applications of Proposition 3.4 in the construction of w and z.","section":"Proof of Theorem 3.7, (ii)⇒(iii)"},{"comment":"The implication iii) ⇒ iv) ⇒ v) relies on the fact that transitivity on a finer topology implies transitivity on a coarser topology; this is correct but should be stated explicitly for completeness.","section":"Section 3, after Proposition 2.20"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the scope of the journal and the main result is plausible, but the proof of the central equivalence depends on an external theorem (weak mixing implies weak mixing of all orders) whose validity for arbitrary topological spaces is not documented in the manuscript. The authors should also attend to the several typographical slips in the proof of (ii)⇒(iii), which currently impede verification. I see no reason to doubt the authors' good faith; the issues are technical and correctable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThis is a workmanlike extension of a known metric-space theorem to uniform spaces. The main result, Theorem 3.7, characterizes transitivity of the Zadeh extension under the level-wise, Skorokhod, and sendograph uniformities in terms of weak mixing of the base map. That characterization is new; the metric version was in the authors' earlier paper [6], and the uniform version isn't in the cited literature. The continuity theorems (2.12, 2.16, 2.19) are also new. So the paper earns its place as a genuine, if modest, contribution.\n\nThe proof follows the Banks-Peris template and adapts the authors' own prior machinery. The logic chain i)–v) is coherent, and I found no fatal error. The self-citations are transparent and not circular—they use earlier results as tools, not as a way to sneak in the conclusion. No free parameters, no invented entities.\n\nThe soft spots are mostly presentation. There are several typos: an undefined entourage W in Eq. (3.4) (from context it should be V), a mismatched K[V] in Eq. (3.5) that should be K[U], and a misprinted interval in Eq. (3.1) where beta ranges over the indices, not over the sets u_{alpha}. Lemma 2.18 is omitted as \"easy to show\" but it is used in the sendograph continuity proof; a two-line proof would be better. These are all fixable.\n\nThe one substantive thing I would want pinned down is the importation of Theorem 3.2, \"weak mixing implies weak mixing of all orders,\" for arbitrary topological spaces. The proof of (ii) implies (iii) uses simultaneous return times for finitely many pairs, which is exactly what that theorem provides. If Banks's or Peris's version actually requires compactness, metrizability, or a Baire condition, then the argument as written wouldn't cover all uniform spaces. I don't see any evidence in the paper that the theorem is misstated—the citation is to the standard sources—but this is a legitimate referee question.\n\nBottom line: send it out. It is a careful, useful extension that with minor corrections will be publishable. The conditional verdict is right; the stress-test concern is a fair question to put to the authors, not a demonstrated flaw.","headline":"A clean, modest extension of the fuzzy-hyperspace transitivity theorem from metric to uniform spaces; worth reviewing, with typos and one citation-dependent step to check.","tokens_in":78,"tokens_out":17782,"would_cite":true,"duration_ms":282801,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["54E15","54B20","54H20"],"pacs":[],"model":"deepseek-v4-flash","headline":"For a continuous self-map of a uniform space, weak mixing is exactly equivalent to transitivity of the Zadeh extension on fuzzy sets under any of three natural uniformities.","keywords":["Fuzzy sets","Level-wise uniformity","Skorokhod uniformity","Sendograph uniformity","Zadeh's extension","Transitivity","Weakly mixing","Uniform spaces"],"falsifier":"Take the irrational rotation $f_\\theta$ on the circle with $\\theta$ irrational, which is transitive but not weakly mixing. The theorem predicts its Zadeh extension is not transitive on $(\\mathcal{F}(S^1),\\mathcal{U}_\\infty)$, $(\\mathcal{F}(S^1),\\mathcal{U}_0)$, or $(\\mathcal{F}(S^1),\\mathcal{U}_S)$. Computing whether two fuzzy sets with separated level sets can be brought into the same prescribed neighbourhood by some iterate would settle the prediction; any single transitive example here would refute Theorem 3.7.","tokens_in":11488,"feed_emoji":"🌀","tokens_out":11455,"duration_ms":96965,"temperature":0.7,"pith_summary":"Uniform spaces are a common generalization of metric spaces, and fuzzy sets here are normal upper semicontinuous functions from the space into [0,1] with compact support. The paper studies the induced dynamics of a continuous map f through its Zadeh extension, which moves fuzzy sets by taking suprema along fibers. The main theorem says f is weakly mixing, meaning f×f is transitive, exactly when the Zadeh extension is transitive on the fuzzy-set space under the level-wise uniformity, the Skorokhod uniformity, or the sendograph uniformity. This matters because it reduces a question about a large function space to one property of the original map and extends a previously metric-only characterization to all uniform spaces.","feed_headline":"Weak mixing controls transitivity on fuzzy-set uniformities","feed_subtitle":"For all three fuzzy-set uniformities, Zadeh-extension transitivity equals weak mixing of the base map.","key_machinery":"The central object is the Zadeh extension $\\widehat{f}$, defined on a fuzzy set $u$ by $\\widehat{f}(u)(x)=\\sup\\{u(z): z \\in f^{-1}(x)\\}$ when the preimage is nonempty and $0$ otherwise. It carries the argument because it is level-wise: $[\\widehat{f}(u)]_\\alpha = f(u_\\alpha)$, so image fuzzy sets are determined by images of $\\alpha$-cuts, which are compact sets. The three uniformities are built from the base uniformity $\\mathcal{U}$: the level-wise uniformity $\\mathcal{U}_\\infty$ requires every $\\alpha$-cut to stay close at once, the Skorokhod uniformity $\\mathcal{U}_0$ allows a small reparameterization of the level index, and the sendograph uniformity $\\mathcal{U}_S$ compares the sendographs, the parts of the endographs above the support, as compact subsets of $X \\times [0,1]$. The proof also leans on the hyperspace uniformity $\\mathcal{K}(\\mathcal{U})$ on compact subsets, whose induced topology is the Vietoris topology.","core_discovery":"The central claim is Theorem 3.7. For a uniform space $(X,\\mathcal{U})$ and a continuous map $f$, weak mixing of $f$, transitivity of the induced map on the compact hyperspace with the hyperspace uniformity, and transitivity of the Zadeh extension on $(\\mathcal{F}(X),\\mathcal{U}_\\infty)$, $(\\mathcal{F}(X),\\mathcal{U}_0)$, and $(\\mathcal{F}(X),\\mathcal{U}_S)$ are all equivalent. The proof derives the hyperspace equivalence from a cited theorem, proves the hardest implication by using weak mixing of all orders to move finitely many level sets of one fuzzy set toward the level sets of a target, then assembles the images into a fuzzy set in the prescribed neighbourhood. The reverse implication reads characteristic functions of compact sets as fuzzy sets and reconstructs hyperspace transitivity from transitivity in the sendograph uniformity.","pith_inferences":["A likely extension not stated in the paper: any uniformity on $\\mathcal{F}(X)$ whose topology lies between the sendograph topology and the level-wise topology, and for which the Zadeh extension is continuous, should have the same equivalence; the proof uses only these topology inclusions.","The theorem predicts that a transitive but not weakly mixing map, such as an irrational rotation on the circle, has a Zadeh extension that is not transitive on any of the three uniformities; a direct verification of this prediction would provide a concrete boundary example that the paper does not carry out.","If compact support is dropped from the definition of $\\mathcal{F}(X)$, the level-set approximation argument may fail because the $\\alpha$-cuts would no longer be compact; constructing an example with noncompact support that breaks transitivity would clarify which hypothesis is essential."],"forward_implications":["Transitivity of the Zadeh extension under any one of the three fuzzy-set uniformities implies transitivity under all three, since weak mixing is a single property of the base map.","Weak mixing is a complete criterion for fuzzy-set transitivity, so no special structure beyond uniformity of the base space is required.","The equivalence extends the metric-space theorem to uniform spaces, carrying known examples and counterexamples from metric fuzzy dynamics into the non-metrizable setting.","The theorem identifies fuzzy-set transitivity with classical hyperspace transitivity, so methods and examples for compact hyperspaces transfer directly to the fuzzy setting."],"supporting_citations":[{"why":"supplies the equivalence of weak mixing with transitivity on the compact hyperspace and the weak-mixing-of-all-orders property used in the main proof.","marker":"[1]"},{"why":"introduces the level-wise, Skorokhod, and sendograph uniformities and the inclusion relations among their topologies.","marker":"[4]"},{"why":"supplies the level-set formula for the Zadeh extension and the commutation with reparameterizations used in the continuity proofs.","marker":"[5]"},{"why":"establishes the metric-space version of the equivalence that the paper extends to uniform spaces.","marker":"[6]"},{"why":"provides the theorem that the hyperspace uniformity induces the Vietoris topology, needed to identify hyperspace transitivity.","marker":"[8]"},{"why":"gives the companion proof of the hyperspace transitivity characterization of weak mixing.","marker":"[9]"}],"fun_headline_variants":["Weak mixing equals transitivity for Zadeh extensions on fuzzy sets","Zadeh extension transitivity iff base map is weak mixing","Three uniformities, one condition: weak mixing for Zadeh extension transitivity","Weak mixing of base map makes all Zadeh extensions transitive","Transitivity on fuzzy-set uniformities collapses to weak mixing"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the imported result that weak mixing is equivalent to transitivity on the compact hyperspace and implies weak mixing of all orders for every topological space; if that result needs extra hypotheses, the equivalence chain could fail.","fun_headline_variants_meta":{"raw":{"variants":["Weak mixing equals transitivity for Zadeh extensions on fuzzy sets","Zadeh extension transitivity iff base map is weak mixing","Three uniformities, one condition: weak mixing for Zadeh extension transitivity","Weak mixing of base map makes all Zadeh extensions transitive","Transitivity on fuzzy-set uniformities collapses to weak mixing"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000806,"raw_usage":{"total_tokens":3537,"prompt_tokens":942,"completion_tokens":2595,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":558,"completion_tokens_details":{"reasoning_tokens":2509}},"tokens_in":558,"tokens_out":2595,"duration_ms":15396,"temperature":1.0,"reasoning_tokens":2509,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:37:24.864928+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the irrational rotation $f_\\theta$ on the circle with $\\theta$ irrational, which is transitive but not weakly mixing. The theorem predicts its Zadeh extension is not transitive on $(\\mathcal{F}(S^1),\\mathcal{U}_\\infty)$, $(\\mathcal{F}(S^1),\\mathcal{U}_0)$, or $(\\mathcal{F}(S^1),\\mathcal{U}_S)$. Computing whether two fuzzy sets with separated level sets can be brought into the same prescribed neighbourhood by some iterate would settle the prediction; any single transitive example here would refute Theorem 3.7.","supporting_citations":[{"cited_title":"Jard´ on, I","cited_arxiv_id":null,"evidence_quote":"introduces the level-wise, Skorokhod, and sendograph uniformities and the inclusion relations among their topologies."},{"cited_title":"Banks, Chaos for induced hyperspace maps, Chaos Solitons a nd Frac- tals 25 (2005) 1581–1583","cited_arxiv_id":null,"evidence_quote":"supplies the equivalence of weak mixing with transitivity on the compact hyperspace and the weak-mixing-of-all-orders property used in the main proof."},{"cited_title":"Jard´ on, I","cited_arxiv_id":null,"evidence_quote":"supplies the level-set formula for the Zadeh extension and the commutation with reparameterizations used in the continuity proofs."},{"cited_title":"Jard´ on, I","cited_arxiv_id":null,"evidence_quote":"establishes the metric-space version of the equivalence that the paper extends to uniform spaces."},{"cited_title":"Michael, Topologies on spaces of subsets, Transactions of th e American Mathematical Society, Vol","cited_arxiv_id":null,"evidence_quote":"provides the theorem that the hyperspace uniformity induces the Vietoris topology, needed to identify hyperspace transitivity."},{"cited_title":"Peris, Set-valued discrete chaos, Chaos, Solitons and Fract als 26 (2005) 19–23","cited_arxiv_id":null,"evidence_quote":"gives the companion proof of the hyperspace transitivity characterization of weak mixing."}],"review_version":1}