{"id":"985db3d5-208e-4ae0-9e9e-eb11c0dcd932","arxiv_id":"2412.02209","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper claims t(QC(X)) = kL(X) for Hausdorff spaces and related Frechet-Urysohn characterizations, but the proofs use invalid cutoff-function constructions.","lead":"Cardinal invariants of the space of quasicontinuous functions under uniform convergence on compacta are studied, with the main claim that tightness equals the compact Lindelöf number for Hausdorff spaces. The proofs contain serious errors, so the paper fails to establish its results.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central proof of Theorem 3.4 relies on cutoff functions that are not quasicontinuous at boundary points, so the claimed equality t(QC(X))=kL(X) is not established.","rationale":"The reader's weakest assumption identifies the same core defect: the paper repeatedly defines functions by assigning one value on an open set and another on its complement, then applying Lemma 2.4. This is not legitimate because the resulting function is not locally constant on the boundary of the open set, and it may fail quasicontinuity entirely. The concrete counterexample X=R, U=R\\{0} demonstrates the failure. Since Theorem 3.4 is the central claim and both of its inequalities depend on this construction, the chain of results built on it (Corollary 3.5, Theorem 3.6, Theorem 4.1, Theorem 4.2, Corollary 4.3) loses its supporting proof. The theorem might still be true, but the paper does not provide a sound derivation. The false assertion in Lemma 3.11 that closed subsets of a regular space are compact is a second, independent defect affecting Theorem 3.12, but the cutoff-function issue is more directly load-bearing for the central claim. The reader's verdict of REJECT is appropriate, and our stress test does not change it.","tokens_in":12371,"tokens_out":7594,"duration_ms":73946,"concrete_test":"Take X=R and the open set U=R\\{0}. Define f(0)=1, f(x)=0 for x≠0. Test quasicontinuity at 0. For N=(-1,1) and V=(1/2,3/2), any nonempty open W⊂N contains a real x≠0, so f(W) contains 0 and is not contained in V. Thus f is not quasicontinuous, contradicting the application of Lemma 2.4 in Theorem 3.4. This settles that the proof's construction is invalid; a different, valid proof would be required to establish the theorem.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The main theorem (Theorem 3.4) is proved by constructing, for each member U of an open k-cover, a function f_U with f_U=0 on U and f_U=1 on X\\U, and then invoking Lemma 2.4. Lemma 2.4 only applies to locally constant functions; f_U is not locally constant at any point of the boundary of U. In fact, such a cutoff need not be quasicontinuous at all. For X=R and U=R\\{0}, the function f(0)=1 and f(x)=0 for x≠0 fails quasicontinuity at 0: for the neighbourhood (-1,1) of 0 and the open set V=(1/2,3/2) around f(0), every nonempty open W⊂(-1,1) contains a point x≠0 with f(x)=0∉V. Since both directions of the proof of Theorem 3.4 use this construction, and Theorem 4.1, Corollary 4.3 and others inherit it, the central claim is not established. A separate issue is Lemma 3.11, which asserts closed sets in a regular space are compact; the density result Theorem 3.12 depends on it. The lemma is false as stated, but the primary load-bearing defect is the invalid quasicontinuity of the cutoff functions.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies cardinal invariants of the space QC(X) of real-valued quasicontinuous functions on a topological space X, equipped with the topology of uniform convergence on compact subsets. The main claimed results are: Theorem 3.4, t(QC(X)) = kL(X) for Hausdorff X; Theorem 3.7, dt(QC(X)) = t(QC(X)); Theorems 3.9 and 3.10, characterizations of fan tightness and strong fan tightness in terms of open k-covers; Theorem 3.12, d(QC(X)) ≤ kcof(X) for regular X; and in Section 4, equivalences between countable tightness, the Frechet-Urysohn property of QC(X), and sigma-compactness of a locally compact Hausdorff space X, together with results on kf-covers and Whyburn spaces. The paper consists mostly of proofs that use cutoff functions built from open sets U and asserts their quasicontinuity by Lemma 2.4.","tokens_in":12641,"tokens_out":6342,"duration_ms":60313,"significance":"The topic is natural and the proposed analogues of classical Cp-theory theorems, such as the Ferrando-Moll theorem for C(X), are worth investigating. If the claims were correct, the equality t(QC(X)) = kL(X) and the locally compact equivalence between the Frechet-Urysohn property, countable tightness, and sigma-compactness would be useful additions to the theory of quasicontinuous function spaces. However, the manuscript contains no machine-checked proofs or reproducible artifacts, and the central arguments are invalid as written: the cutoff functions used throughout Section 3 are generally not quasicontinuous, and several topological assertions (closed sets in regular spaces are compact; open sets in locally compact spaces are compact) are false. The main results are therefore not supported by the present proofs.","major_comments":[{"comment":"The functions f_K defined by f_K(U_K) = {0} and f_K(X\\U_K) subset {1} are not shown to be quasicontinuous. Lemma 2.4 applies only to locally constant functions, and such a cutoff is not locally constant at boundary points of U_K; it need not be quasicontinuous at all. For example, with X = R and U = R\\{0}, the function f(0)=1 and f(x)=0 for x≠0 fails quasicontinuity at 0: for the neighbourhood (-1,1) of 0 and the open set (1/2,3/2) around f(0), every nonempty open W subset (-1,1) contains a point x≠0 with f(x)=0 not in (1/2,3/2). The same problem occurs in the second half of the proof, where f_U_K is defined to equal f on U_K and 1 outside U_K. Since this construction is used in both directions of Theorem 3.4 and in Corollaries 3.5, 3.6, and Theorem 4.1, the central equality t(QC(X)) = kL(X) is not established.","section":"Theorem 3.4"},{"comment":"The proof of Lemma 3.11 begins with the assertion that F1, F2, ..., Fn are compact subsets of X; in a regular space, closed sets need not be compact. The lemma is false as stated (for example, in R with the usual topology, F = [0,∞) is closed but not compact), so Theorem 3.12, which invokes the lemma to construct the family D, is not proved. Moreover, the function f defined by f(x) = y_i f_i(x) if x in F_i and f(x)=0 otherwise is not shown to be quasicontinuous by the cited lemma.","section":"Lemma 3.11"},{"comment":"In the proof of (1)=>(3) of Theorem 4.2, the authors take a countable k-subcover U' of an open k-cover U and set M = {U : U in U'}; they then assert that 'Since X is locally compact, each set in M is compact.' Open sets in a locally compact space are not generally compact. Consequently the conclusion that M is a cofinal family in K(X) and that X is hemicompact or sigma-compact does not follow. The claimed equivalence between countable tightness of QC(X), the Frechet-Urysohn property, and sigma-compactness of X is therefore unsupported.","section":"Theorem 4.2"},{"comment":"The functions f_n^m in the proof of Theorem 4.6 are required to satisfy f_n^m|F_n^m ≡ 1/n and f_n^m|(X\\U_n^m) ≡ 1. Since the hypotheses only give F_n^m subset U_{m+1}^n, and not F_n^m subset U_m^n, the two defining conditions can assign conflicting values at points of F_n^m ∩ (X\\U_n^m). Even when the sets are disjoint, the resulting cutoff is not automatically quasicontinuous by Lemma 2.4. The subsequent assertions that the zero function h lies in S and that the Whyburn property yields the set F are also not justified. Thus Theorem 4.6 is not established.","section":"Theorem 4.6"},{"comment":"The proofs of Theorems 3.9 and 3.10 repeatedly define auxiliary functions by h(x)=g(x) for x in U and h(X\\U) subset {0}, and then assert h in QC(X) by Lemma 2.4; as in Theorem 3.4, this cutoff is generally not quasicontinuous at boundary points of U. In addition, the statements 'g_m(X) = (-1/m, 1/m)' and 'f_m(X) = (-1/m, 1/m)' are not meaningful for real-valued functions, since an image is a subset and equality to an interval would force the function to be constant on X with that image. This makes the convergence arguments in the two cases unverifiable. Hence the fan-tightness and strong-fan-tightness characterizations are not supported.","section":"Theorems 3.9 and 3.10"}],"minor_comments":[{"comment":"The notation 't(U_X)' should be 't(QC(X))', and 'Theorem (2)' should refer to the inequality dt(Z) ≤ t(Z) from the preliminaries rather than an unnamed theorem.","section":"Theorem 3.7"},{"comment":"The manuscript uses 'X/U' for set difference, which is confusing; the standard notation is X\\U. The abstract and proof text also contain many typos, such as 'Frechet-Uryshon', 'Thud', and 'X/A' in the introduction.","section":"Throughout"},{"comment":"In the proof of (2)=>(3), the statement that sigma-compactness of X implies separability of QC(X) needs an explicit argument; it is not an immediate consequence of sigma-compactness and is not otherwise proved in the paper.","section":"Corollary 4.3"},{"comment":"The proof refers to 'f1' when defining the neighborhood W(f1, K_i, epsilon); the intended function is presumably the constant function g1. The notation should be made consistent.","section":"Theorem 4.5"}],"recommendation":"reject","confidential_remarks":"Given the number of load-bearing gaps in the central proofs, I do not think a normal revision can repair the manuscript within its current scope; the necessary work is essentially a new proof of the main theorems. I recommend rejection. If the authors can supply correct proofs of at least Theorems 3.4 and 4.2, a fresh submission would be worth considering."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"I agree with the reader and the stress-test note: the central theorem is not proved, and the errors are load-bearing. What is new is the set of statements themselves—tightness of QC(X) equals kL(X), and the Frechet-Urysohn/σ-compact equivalence for locally compact X—which are genuine analogues of known C_c(X) results and not present in Hola-Holy. The paper is organized, and the authors clearly know the relevant literature.\n\nBut the proofs repeatedly construct functions by setting f=0 on U and f=1 on X\\U, then invoke Lemma 2.4, which only covers locally constant functions. Such a cutoff is not locally constant at boundary points and need not be quasicontinuous at all. Example: X=R, U=R\\{0}, f(0)=1, f(x)=0 otherwise; quasicontinuity fails at 0. This construction appears in both directions of Theorem 3.4 and in Theorem 4.1, Corollary 4.3, and elsewhere, so the main claims are unsupported. Lemma 3.11 says closed subsets of a regular space are compact—this is false (e.g., R). The proof of Theorem 4.2 says each set in an open k-cover is compact because X is locally compact, which is also false. Theorem 4.6 defines f_m^n with values 1/n on F_m^n and 1 on X\\U_m^n; those sets can overlap, so the function is contradictory. These are not minor gaps; they are the load-bearing steps.\n\nThe paper does not supply machine-checked proofs or code, and the errors are elementary. I do not think this is ready for refereeing. The topic is legitimate, and the intended theorems may be true in restricted settings, but as submitted the derivation is not reliable. I would tell the authors to fix the cutoff-function lemma first; if they can produce a correct lemma for quasicontinuous extensions, many of the results might go through. As it stands, I would reject.","headline":"The paper's intended theorems are plausible analogues of known C_c(X) results, but the proofs rely on cutoff functions that are not quasicontinuous and on false compactness assumptions, so the central claims are not established.","tokens_in":13077,"tokens_out":2436,"would_cite":false,"duration_ms":25364,"reading_group":"no","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["54C35","54A25","54C08","54C30","54D10"],"pacs":[],"model":"deepseek-v4-flash","headline":"For Hausdorff X, tightness of QC(X) equals the compact Lindelöf number of X.","keywords":["quasicontinuous functions","topology of uniform convergence on compacta","tightness","density tightness","fan tightness","Frechet-Urysohn property","k-covers","compact Lindelöf number"],"falsifier":"Take $X = \\mathbb{R}$, let $U = (0,1)$, and define $f$ by $f(x)=0$ on $U$ and $f(x)=1$ on $\\mathbb{R}\\setminus U$. At either boundary point, every neighbourhood contains points where $f$ takes both values, so $f$ fails the definition of quasicontinuity; checking this function against the definition settles whether the cutoff construction used in the proof of Theorem 3.4 is valid.","tokens_in":12197,"feed_emoji":"📐","tokens_out":9870,"duration_ms":85110,"temperature":0.7,"pith_summary":"This paper studies the space $QC(X)$ of real-valued quasicontinuous functions on a topological space $X$, equipped with the topology of uniform convergence on compact subsets. Its central aim is to show that cardinal invariants of this function space are controlled by covering properties of $X$: the tightness of $QC(X)$ equals the compact Lindelöf number $kL(X)$ for Hausdorff $X$, and density tightness, fan tightness, and the Frechet-Urysohn property are characterized in similar terms. If true, these results turn questions about how hard it is to approximate one quasicontinuous function by others into concrete questions about how compact subsets of $X$ can be covered by open sets. A reader who wants to know whether a quasicontinuous function space behaves discretely or sequentially can now read the answer directly from the size of $X$'s compact-cover families.","feed_headline":"Quasicontinuous-space tightness equals compact Lindelöf number","feed_subtitle":"A Hausdorff space's compact-cover number sets the tightness of its quasicontinuous functions.","key_machinery":"The central object is the function space $QC(X)$: all real-valued quasicontinuous functions on a topological space $X$, topologized by uniform convergence on compact subsets. The argument is carried by $k$-covers — families of open sets such that every compact subset of $X$ lies inside some member — and by the compact Lindelöf number $kL(X)$, the least cardinal of a subcover that still covers every compact set. The bridge between the two is a construction that assigns to each member $U$ of a $k$-cover a quasicontinuous function taking value $0$ on $U$ and $1$ outside; closure properties of families of such functions in $QC(X)$ are then translated back into covering properties of $X$. A second structural tool is homogeneity (Lemma 3.8): translation by a continuous function is a homeomorphism of $QC(X)$, so conclusions obtained at the zero function extend to every function.","core_discovery":"The paper's central claim is a structural identity: for any Hausdorff space $X$, the tightness of $QC(X)$ is exactly the compact Lindelöf number $kL(X)$ (Theorem 3.4). Tightness here measures the smallest cardinal $\\kappa$ such that, whenever a point lies in the closure of a set, it lies in the closure of a subset of size at most $\\kappa$; the compact Lindelöf number measures the smallest cardinal $\\lambda$ such that every open cover of the compact subsets of $X$ contains a subcover of cardinality at most $\\lambda$. The proof proceeds through $k$-covers and cutoff functions built from them, and a companion result (Theorem 4.2) states that for locally compact Hausdorff $X$, countable tightness of $QC(X)$, the Frechet-Urysohn property of $QC(X)$, and $\\sigma$-compactness of $X$ are equivalent.","pith_inferences":["If the equality $t(QC(X)) = kL(X)$ holds, it suggests a broad dictionary between cardinal invariants of generalized-continuous function spaces and covering numbers of the base space; the same $k$-cover technique might be adapted to other classes of functions that admit a similar locally-constant cutoff construction.","The cutoff-function step is the natural stress point: a single Hausdorff space where such a piecewise-constant function fails to be quasicontinuous would not refute the equality outright but would force a new proof, and such examples likely exist whenever members of the $k$-cover have nonempty boundary.","A testable extension: replace 'quasicontinuous' with 'Baire-one' or 'Darboux' functions and compare the resulting tightness with $kL(X)$; divergence would show which properties of quasicontinuity are actually carrying the cardinal bound."],"forward_implications":["If $X$ is a second countable Hausdorff space, then $QC(X)$ has countable tightness (Corollary 3.5).","For a locally compact Hausdorff space $X$, $QC(X)$ is Frechet-Urysohn if and only if $X$ is $\\sigma$-compact (Theorem 4.2).","For a Hausdorff space $X$, the density tightness of $QC(X)$ equals its tightness (Theorem 3.7).","If $QC(X)$ is Frechet-Urysohn for a Hausdorff space $X$, then every open $k$-cover of $X$ has a countable $k$-subcover (Theorem 4.1).","For a locally compact metric space $X$, $QC(X)$ is Frechet-Urysohn if and only if $X$ is separable (Corollary 4.3)."],"supporting_citations":[{"why":"Supplies Lemma 2.4, used to claim the cutoff functions in Theorems 3.4, 3.7, 3.9 and 4.1 are quasicontinuous.","marker":"[12]"},{"why":"Introduces QC(X) and the topology of uniform convergence on compacta that the paper investigates.","marker":"[13]"},{"why":"Supplies Lemma 2.5, the existence of quasicontinuous functions separating a point from a closed set, used in Theorem 4.5.","marker":"[16]"},{"why":"Provides the analogue for C(X) on locally compact Hausdorff spaces that Theorem 4.2 extends to quasicontinuous functions.","marker":"[8]"},{"why":"Defines density tightness and the inequality dt ≤ t used in Theorem 3.7.","marker":"[19]"},{"why":"Provides the definition of quasicontinuity on which every construction rests.","marker":"[18]"}],"fun_headline_variants":["Tightness of quasicontinuous functions equals compact Lindelöf number","For Hausdorff X, tightness of QC(X) = compact Lindelöf number","Countable tightness of QC(X) iff sigma-compactness for locally compact X","Quasicontinuous space tightness matches compact Lindelöf number"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The arguments rely on treating functions that are constant on an open set and constant (with a different value) on the rest of the space as quasicontinuous, and on treating finite closed sets in regular spaces as compact.","fun_headline_variants_meta":{"raw":{"variants":["Tightness of quasicontinuous functions equals compact Lindelöf number","For Hausdorff X, tightness of QC(X) = compact Lindelöf number","Countable tightness of QC(X) iff sigma-compactness for locally compact X","Quasicontinuous space tightness matches compact Lindelöf number"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001347,"raw_usage":{"total_tokens":5492,"prompt_tokens":988,"completion_tokens":4504,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":604,"completion_tokens_details":{"reasoning_tokens":4415}},"tokens_in":604,"tokens_out":4504,"duration_ms":30296,"temperature":1.0,"reasoning_tokens":4415,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T23:43:44.752085+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $X = \\mathbb{R}$, let $U = (0,1)$, and define $f$ by $f(x)=0$ on $U$ and $f(x)=1$ on $\\mathbb{R}\\setminus U$. At either boundary point, every neighbourhood contains points where $f$ takes both values, so $f$ fails the definition of quasicontinuity; checking this function against the definition settles whether the cutoff construction used in the proof of Theorem 3.4 is valid.","supporting_citations":[{"cited_title":"Hola and D","cited_arxiv_id":null,"evidence_quote":"Supplies Lemma 2.4, used to claim the cutoff functions in Theorems 3.4, 3.7, 3.9 and 4.1 are quasicontinuous."},{"cited_title":"Hola and D","cited_arxiv_id":null,"evidence_quote":"Introduces QC(X) and the topology of uniform convergence on compacta that the paper investigates."},{"cited_title":"Kumar and B.K","cited_arxiv_id":null,"evidence_quote":"Supplies Lemma 2.5, the existence of quasicontinuous functions separating a point from a closed set, used in Theorem 4.5."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the analogue for C(X) on locally compact Hausdorff spaces that Theorem 4.2 extends to quasicontinuous functions."},{"cited_title":"Okunev and V.V","cited_arxiv_id":null,"evidence_quote":"Defines density tightness and the inequality dt ≤ t used in Theorem 3.7."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the definition of quasicontinuity on which every construction rests."}],"review_version":1}