{"id":"7ecf83d8-2f05-499b-8127-cb8675f88087","arxiv_id":"1908.08277","paper_version":3,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"Under the generalized continuum hypothesis, the paper asserts every space with a free and transitive transformation group of size k^+ admits an invariant extension of its k-additive measurable structure containing 2^{k^+} sets pairwise separated in a uniformity.","lead":"This mathematics paper claims an abstract generalization of a classical 1950 theorem about nonseparable invariant extensions of Lebesgue measure, using set-theoretic tools like independent families and small systems. A generalist might read it to see how set theory is applied to measure extension problems, but the proof as written has serious gaps.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The Ulam-matrix selection in Theorem 2.13 is unsupported: once every Ωγ is in N∞, standard entries of size ≤k make every E_{ξ,ρ} null, so the asserted ξ0,Ξ cannot be derived.","rationale":"The paper's central claim is Theorem 2.14, which extends a k-additive measurable structure while preserving G-invariance and producing a strictly k-independent family of size 2^{k^+}. The proof route is Theorem 2.13, whose key step is the extraction of many non-N∞ sets E_{ξ0,ρ} from an Ulam(k,k^+)-matrix. This step is not just under-explained; under the standard definition of Ulam matrices it is false. Once gL∈N∞ is granted (which does follow from k^+-saturation and free action), each Ωγ is a union of at most k such null sets, so Ωγ∈N∞. If the matrix entries have size at most k, every E_{ξ,ρ} is null and the asserted ξ0,Ξ does not exist. The paper's justification 'N∞ is k-additive and X∉N∞' is insufficient: a row consists of k^+ many cells, so k-additivity does not propagate nullness from the cells to their union. The later family {Ai:i∈I} is built directly from these E_{ξ0,ρ}; hence the proof of Theorem 2.13, and therefore Theorem 2.14, collapses at this point. The reader's weakest assumption identified precisely this selection step, and I agree. I also note that Proposition 2.5's proof invokes a transfinite construction of length k where a contradiction with k^+-saturation would require k^+ many sets, a second unsupported point, but it is secondary to the Ulam selection failure. The concern is internal to the argument and does not depend on disagreement with any consensus; it is a contradiction between the proof's own conclusions (all Ωγ∈N∞) and its claimed selection. Therefore the reader's REJECT verdict should stand unchanged.","tokens_in":8331,"tokens_out":18464,"duration_ms":184652,"concrete_test":"Look up the definition of Ulam(k,k^+)-matrix in the cited reference [1] and check the cardinality of its entries. If, as standard, every entry Π_{ξ,ρ} has cardinality ≤k, then for every ξ,ρ the set E_{ξ,ρ} is a union of at most k members of N∞, hence E_{ξ,ρ}∈N∞, making the claimed selection of ξ0 and Ξ impossible. A concrete instance is k=ω, X=G=ω_1 with G acting on itself by left multiplication, L={e}, S the countable/cocountable algebra, and Nα the ideal of countable sets; then every Ωγ is countable, so every E_{ξ,ρ} is countable and the asserted ξ0,Ξ does not exist.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Theorem 2.13 the proof first derives gL ∈ N∞ for every g∈G from k^+-saturation. Since Ωγ = (Gγ \\ ∪_{η<γ}Gη)L is a union of at most k of the sets gL and N∞ is k-additive, every Ωγ belongs to N∞. The proof then invokes an Ulam(k,k^+)-matrix (Π_{ξ,ρ}) and defines E_{ξ,ρ}=∪_{γ∈Π_{ξ,ρ}}Ωγ. Under the standard Ulam-matrix definition used in this literature, each entry Π_{ξ,ρ} has cardinality at most k. If so, every E_{ξ,ρ} is a union of at most k N∞-null sets, hence E_{ξ,ρ}∈N∞; the asserted existence of ξ0 and Ξ⊆k^+ of size k^+ with E_{ξ0,ρ}∉N∞ is false. The stated justification, 'N∞ is k-additive and X∉N∞', is insufficient: each row has k^+ cells, so k-additivity does not propagate nullness from the cells to the row union. The paper states no nonstandard matrix property allowing entries of size k^+, and no such property follows from the row/column structure. Because the family {Ai:i∈I} and the conclusion Ai∉~S are built directly on this selection, the proofs of Theorems 2.13 and 2.14 are not established. A secondary gap is Proposition 2.5, whose transfinite construction appears to need length k^+ rather than k to contradict k^+-saturation; the Ulam selection failure is already fatal.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes an abstract and generalized formulation of the Kakutani-Oxtoby nonseparable invariant extension theorem. It works in the setting of a space (X,G) with a transformation group, using k-additive measurable structures (S,I), k-small systems {N_α}, Ulam(k,k^+)-matrices, and strictly k-independent families. The main results are Theorem 2.13, which asserts, under GCH, the existence of a strictly k-independent family of size 2^{k^+} with respect to (~S,N∞), and Theorem 2.14, which packages this into an extension (~~S,N∞) equipped with a uniformity whose α0-th entourage separates the family. The intended contribution is a uniform framework that specializes to extensions of Lebesgue measure and generalizes them to arbitrary infinite cardinals k.","tokens_in":8699,"tokens_out":16540,"duration_ms":162789,"significance":"If the main theorems were proved, the framework would be a genuinely useful abstraction: it connects Kharazishvili-style measurable structures, Riečan-Neubrunn small systems, Ulam matrices, and Tarski-style independent families, and it replaces the metric character of a measure with a uniformity in a natural way. The paper also makes explicit use of GCH and of external results from the authors' earlier work and from Pantsulaia. However, the central proof contains a load-bearing gap: the selection of a row of the Ulam matrix with non-null entries is not justified and is, under the standard Ulam-matrix definition, incompatible with the preceding conclusion that every Ω_γ is in N∞. Because the construction of the family {A_i} and the nonmeasurability conclusion depend directly on that selection, the main results are not established in the present form.","major_comments":[{"comment":"The selection of ξ0 and Ξ is unsupported and conflicts with the preceding steps. From k^+-saturation the proof correctly obtains gL ∈ N∞ for every g ∈ G. Since Ω_γ = (G_γ \\ ∪_{η<γ} G_η)L is a union of at most k of the sets gL and N∞ is k-additive, every Ω_γ belongs to N∞. For the standard Ulam(k,k^+)-matrix used in this literature, each entry Π_{ξ,ρ} has cardinality at most k; hence E_{ξ,ρ} = ∪_{γ∈Π_{ξ,ρ}} Ω_γ is a union of at most k null sets and therefore E_{ξ,ρ} ∈ N∞ for all ξ<k and ρ<k^+. The asserted existence of ξ0 and a set Ξ ⊆ k^+ of cardinality k^+ with E_{ξ0,ρ} ∉ N∞ is therefore false under that definition. The justification 'because N∞ is k-additive and X ∉ N∞' does not suffice: a row of the matrix has k^+ cells, and k-additivity does not allow one to pass from the nullness of each cell to the nullness of the row union. Since the whole construction of the family {A_i : i∈I}, the thickness argument, and the nonmeasurability conclusion in Theorem 2.13 are built on this selection, the proofs of Theorems 2.13 and 2.14 are not established. The authors must either state an explicit nonstandard Ulam-matrix property with entries of cardinality up to k^+ and prove it, or supply a different argument for the selection.","section":"Theorem 2.13, proof (Ulam selection)"},{"comment":"The transfinite construction in the proof of Proposition 2.5 is not specified, and as written it does not contradict k^+-saturation. To contradict k^+-saturation one needs a family of more than k pairwise disjoint sets from S \\ I, but the proof constructs a family {g_α : α < k} of length k; such a family has cardinality k and is allowed by the definition of k^+-saturation. Moreover, no argument is given for the existence of the g_α with X \\ ∪_{α<k} g_α E ∈ I; this is a nontrivial covering property of the action. Proposition 2.5 is used in Theorem 2.13 to infer that each E_{ξ0,ρ} is (~S,N∞)-thick and that the sets A_i are not in ~S, so this gap is also load-bearing for the main result.","section":"Proposition 2.5"},{"comment":"Even if the previous steps were granted, the proof has not shown that (A_i,A_j) ∉ U_{α0} for i≠j. The family {~Ξ_i} is strictly k-independent in the sense that intersections of at most k choices of members or complements are nonempty; this does not imply that ~Ξ_i Δ ~Ξ_j has cardinality at least k, nor that the corresponding union of the sets E_{ξ0,ρ} lies outside N_{α0}. The classes N_{α0} are only required to satisfy the small-system conditions of Definition 2.6; in particular, they are not shown to be closed under finite unions of arbitrary sets outside N∞. Thus the final separation conclusion of Theorem 2.14 is not justified by the stated construction.","section":"Theorem 2.14, final separation step"}],"minor_comments":[{"comment":"There are many typographical and grammatical errors, including 'NONSEPERABLE' in the title, 'U lam' and 'som e' in the abstract, 'frammework', 'classess', and 'an uniform'. The paper needs a careful proofreading pass.","section":"Title, abstract, and body"},{"comment":"The sentence 'We write card A and card A to denote the cardinals of any set A or any class A of sets' contains a duplicated symbol; the intended distinction between a set and a class of sets is unclear and should be clarified.","section":"Introduction, notation paragraph"},{"comment":"The term 'diffused' is used in Theorem 2.14 but is not defined in the paper; it is only explained for measures in the introduction. The authors should define what it means for a k-additive algebra or measurable structure to be diffused.","section":"Theorem 2.14 statement"},{"comment":"In the verification that V = {U_α} is a base of a uniformity, the line 'N_β ∪ N_γ ⊆ N_α' is not a direct consequence of conditions (v) and (vi) as written; condition (v) applies to unions of chosen sets E_β ∈ N_β, not to unions of the classes. This can likely be repaired with a more explicit choice of δ, β, and γ, but the argument should be rewritten.","section":"Uniformity proof after Theorem 2.13"}],"recommendation":"reject","confidential_remarks":"The paper relies heavily on the authors' own prior work [1] for the definition of Ulam(k,k^+)-matrix and for k-additive measurable structures; the crucial property of the Ulam matrix is not stated in this manuscript. The main proof's Ulam-selection step is not a local gap but a fundamental incompatibility with the earlier conclusion that all Ω_γ are null under the standard matrix definition. A corrected proof would likely require a different construction or a new lemma, so the current manuscript does not meet the standard for publication. The abstract framework may be salvageable, but the present text is not."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the main theorem is not proved; the Ulam-matrix selection step in Theorem 2.13 is a real gap. The paper has a nice abstract setup, but the load-bearing argument is broken.\n\nThe new stuff: the k-additive measurable structures, k-small systems, and strict k-independence with respect to a structure are reasonable generalizations of ideas from Riečan–Neubrunn and Kharazishvili. The uniformity on ~~S defined from the small system is a clever way to talk about nonseparability without a measure. The writing is clear and the debt to [1] and [12] is explicit.\n\nThe soft spot is the proof of Theorem 2.13. The authors correctly show that each Ωγ is a union of at most k sets gL, each in N∞, so Ωγ ∈ N∞. Then they claim that from the Ulam(k,k+)-matrix one can pick ξ0 and k+ columns with E_{ξ0,ρ} ∉ N∞. But under the standard Ulam-matrix definition used in this literature, each Π_{ξ,ρ} has size at most k, so each E_{ξ,ρ} is again a union of at most k null sets and is null. The sentence 'This is so because N∞ is k-additive and X∉N∞' does not work: k-additivity does not lift from cells to the row union when the row has k+ cells. The construction of the independent family {Ai} and their nonmeasurability depends on this selection, so Theorem 2.14 collapses.\n\nProposition 2.5 is also underproved: the transfinite recursion produces only k many translates, which cannot contradict k+-saturation. That result is used later, so it is another load-bearing gap. And the claim of generalizing Kakutani–Oxtoby is overstated because the theorem assumes a free transitive action, while KO's isometry group is neither.\n\nThe abstract framework is worth thinking about, but as it stands the paper does not establish its central result. If the authors can fix the selection argument (or state and prove a nonstandard Ulam matrix property), there may be a respectable paper here. I would send it to a referee who knows Ulam matrices and measure extension theory, but with the expectation of major revision. My own recommendation is not to cite it as a result until the proof is repaired.","headline":"The Ulam-matrix selection step in Theorem 2.13 is unsupported, so the main theorem is not established, but the abstract framework is genuinely interesting.","tokens_in":9259,"tokens_out":4629,"would_cite":false,"duration_ms":42218,"reading_group":"no","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["28A05","28D05","28A99","28C10"],"pacs":[],"model":"deepseek-v4-flash","headline":"Under GCH, every free transitive group action on a $k^+$-sized set admits a nonseparable invariant extension of its $k$-additive structure, with $2^{k^+}$ mutually separated sets.","keywords":["Transformation groups","invariant measures","nonseparable invariant extension","Ulam(k,k+)-matrix","k-additive measurable structure","strictly k-independent family","k-small system","admissible k-additive algebra"],"falsifier":"To test the proof's pivotal step, take $k=\\omega_0$, $X$ of cardinality $\\omega_1$, a free transitive action, and choose $S$ and $\\{N_\\alpha\\}$ so that every $E_{\\xi,\\rho}$ obtained from the Ulam($\\omega_0,\\omega_1$)-matrix lies in $N_\\infty$. If in fact no row $\\xi$ has $\\omega_1$ many columns with $E_{\\xi,\\rho}\\notin N_\\infty$, the construction in Theorem 2.13 cannot proceed; checking this configuration would settle the claim.","tokens_in":8074,"feed_emoji":"∞","tokens_out":14950,"duration_ms":121961,"temperature":0.7,"pith_summary":"This paper claims that the classical construction of a nonseparable invariant extension of Lebesgue measure is a special case of a general set-theoretic mechanism. Under the generalized continuum hypothesis, the same mechanism works for any set $X$ of cardinality $k^+$ carrying a transformation group $G$ that acts freely and transitively: from a $k$-additive algebra $S$ and a $k$-small system of small sets, one can build an invariant $k$-additive extension containing a strictly $k$-independent family (all Boolean intersections over at most $k$ members are nonempty) of $2^{k^+}$ sets. The paper packages nonseparability without a measure, using a uniformity whose entourages compare sets by symmetric difference. If the theorem is right, the 1950 result is not an accident of the real line but an instance of a general combinatorial principle.","feed_headline":"Nonseparable invariant extensions for any free transitive action","feed_subtitle":"Turns the classical real-line construction into a general GCH theorem for k-additive structures.","key_machinery":"The machinery has four interacting pieces: the $k$-additive measurable structure $(S,I)$, an invariant algebra together with a proper invariant ideal closed under unions of at most $k$ sets; the $k$-small system $\\{N_\\alpha\\}$, a sequence of invariant families of small sets whose intersection $N_\\infty$ is a $k$-additive ideal; the Ulam($k$,$k^+$)-matrix, a $k$ by $k^+$ array of subsets of $k^+$ used to carve the orbit partition $\\{\\Omega_\\gamma\\}$ into many candidate sets $E_{\\xi,\\rho}$; and a strictly $k$-independent family on the index set (all Boolean intersections of size at most $k$ are nonempty), transplanted to $X$ as the family $\\{A_i\\}$. The uniformity on the extended algebra is defined by $U_\\alpha=\\{(E,F): E\\triangle F\\in N_\\alpha\\}$, so that $A_i$ and $A_j$ being separated at $U_{\\alpha_0}$ is exactly the statement that their symmetric difference is not a small set.","core_discovery":"The central claim is Theorem 2.14. It states that if $G$ acts freely and transitively on a set $X$ with $\\mathrm{card}(X)=k^+$, and $S$ is a diffused, $k$-additive, $G$-invariant algebra admissible with respect to a $k$-small system $\\{N_\\alpha\\}_{\\alpha<k}$, then under GCH the measurable structure $(\\tilde S,N_\\infty)$ extends to some $(\\tilde{\\tilde S},N_\\infty)$ with a uniformity base $\\{U_\\alpha\\}_{\\alpha<k}$ and a strictly $k$-independent family $\\{A_i:i\\in I\\}$ of sets from $\\tilde{\\tilde S}$ such that $\\mathrm{card}(I)=2^{k^+}$ and $(A_i,A_j)\\notin U_{\\alpha_0}$ for distinct $i,j$. The proof realizes each $A_i$ as a union of selected blocks $E_{\\xi_0,\\rho}$ taken from the rows of the Ulam($k$,$k^+$)-matrix, and the separation condition says their symmetric differences are not small.","pith_inferences":["The GCH hypothesis is probably stronger than necessary: what Proposition 2.11 really needs is the cardinal arithmetic $k^\\lambda=k$ for $\\lambda<k$, so the same argument may work in models where $2^k$ is larger but the relevant exponentiation is tame.","The same matrix combinatorics that blocks maximal extensions of diffused measures is here repurposed to create many separated extension sets, suggesting a common root for nonmeasurability and nonseparability.","The uniformity on $\\tilde{\\tilde S}$ could be used to define a topological character for arbitrary $k$-additive measurable structures, letting uniform-space language carry over to measure extension theory.","A natural test case is a compact metrizable group with its translation-invariant measure: the theorem should yield the known nonseparable invariant extension without any appeal to the group's topology."],"forward_implications":["Taking $k=\\omega_0$ and $X=[0,1)$ recovers the classical nonseparable invariant extension, with $2^{2^{\\omega_0}}=2^{\\mathfrak c}$ many separated sets.","Nonseparability becomes a purely structural notion: a $k$-additive measurable structure is nonseparable exactly when it has such a uniformity base and a strictly $k$-independent family separated at some entourage.","Under GCH the construction delivers $2^{k^+}$ mutually separated invariant sets, the maximum possible cardinality for a family on a $k^+$-sized set.","Every transformation in $G$ preserves the extended structure, so the extension inherits full $G$-invariance rather than only quasi-invariance.","The adjoined sets are not in the original algebra $\\tilde S$ but are thick, so the extension produces a large supply of new nonmeasurable sets at no extra metrical cost."],"supporting_citations":[{"why":"It is the classical theorem being generalized, a nonseparable invariant extension of Lebesgue measure with character $2^{\\mathfrak c}$.","marker":"[10]"},{"why":"It provides the definitions of $k$-additive measurable structure, saturation, and thickness on which the paper builds.","marker":"[1]"},{"why":"It supplies the combinatorial matrix used to select disjoint non-small unions of orbit blocks.","marker":"[19]"},{"why":"It gives the maximal strictly $k$-independent family of subsets used to index the construction.","marker":"[12]"},{"why":"It is the origin of the small-system axioms that the paper adapts into $k$-small systems.","marker":"[15]"}],"fun_headline_variants":["Nonseparable invariant measure extensions for any free transitive G-action","GCH yields huge independent families in abstract nonseparable extensions","From real line to all groups: nonseparable measure extensions generalized","Abstract Kakutani-Oxtoby: extending invariant measures under GCH","Nonseparable extensions beyond the real line via combinatorial set theory"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof rests on one row of the Ulam matrix producing $k^+$ many unions $E_{\\xi_0,\\rho}$ that do not belong to the small ideal $N_\\infty$; if every such union were small, the strictly $k$-independent family and the nonmeasurability argument would not get off the ground.","fun_headline_variants_meta":{"raw":{"variants":["Nonseparable invariant measure extensions for any free transitive G-action","GCH yields huge independent families in abstract nonseparable extensions","From real line to all groups: nonseparable measure extensions generalized","Abstract Kakutani-Oxtoby: extending invariant measures under GCH","Nonseparable extensions beyond the real line via combinatorial set theory"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000585,"raw_usage":{"total_tokens":2695,"prompt_tokens":835,"completion_tokens":1860,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":451,"completion_tokens_details":{"reasoning_tokens":1771}},"tokens_in":451,"tokens_out":1860,"duration_ms":13183,"temperature":1.0,"reasoning_tokens":1771,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:45:30.674417+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"To test the proof's pivotal step, take $k=\\omega_0$, $X$ of cardinality $\\omega_1$, a free transitive action, and choose $S$ and $\\{N_\\alpha\\}$ so that every $E_{\\xi,\\rho}$ obtained from the Ulam($\\omega_0,\\omega_1$)-matrix lies in $N_\\infty$. If in fact no row $\\xi$ has $\\omega_1$ many columns with $E_{\\xi,\\rho}\\notin N_\\infty$, the construction in Theorem 2.13 cannot proceed; checking this configuration would settle the claim.","supporting_citations":[{"cited_title":"Math, Vol 52, 1950, pp 580 − 590","cited_arxiv_id":null,"evidence_quote":"It is the classical theorem being generalized, a nonseparable invariant extension of Lebesgue measure with character $2^{\\mathfrak c}$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It provides the definitions of $k$-additive measurable structure, saturation, and thickness on which the paper builds."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It supplies the combinatorial matrix used to select disjoint non-small unions of orbit blocks."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It gives the maximal strictly $k$-independent family of subsets used to index the construction."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It is the origin of the small-system axioms that the paper adapts into $k$-small systems."}],"review_version":1}