{"id":"0ffb8702-c8fd-4c23-9a17-7b23c83da672","arxiv_id":"2412.05659","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"TMD is a new class of topological groups with tractable minimal dynamics, characterized by several equivalent conditions, equal to GPP on Polish groups, admitting an abstract KPT correspondence, and yielding a forcing-based proof of the revised Newelski conjecture for all definable NIP groups.","lead":"The paper introduces TMD, the class of topological groups whose minimal dynamics are 'tractable', generalizing the generic point property from Polish groups to all topological groups. It proves a Ramsey-theoretic correspondence for TMD and uses forcing and absoluteness to prove the revised Newelski conjecture for all definable NIP groups.","discovery_kind":"paradigm_shift","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The all-cardinality Newelski proof hinges on an unverified Section 11 absoluteness claim: 'Hausdorff Ellis group' and 'tame' must be Delta_1 for preflows, and the supplied text stops before that proof.","rationale":"The reader's conditional verdict is well supported. The internal equivalence theorems in Sections 5, 7, and 9 are detailed and appear internally consistent; the abstract's inversion of the first-countability characterization and the duplicated items in Theorem 5.17 are real defects but do not undermine the main equivalences. The Section 10 proof that EA, CMD, and TMD are Delta_1 also has the right quantifier shape: existence of a G-skeleton with the minimality, ED, and Ramsey properties is Sigma_1, and existence of a minimal preflow failing the Rosendal criterion is Sigma_1 for the complement, with bounded quantifier analyses supplied in Lemma 10.1. I found no concrete failure in that part. The genuinely load-bearing unsecured step is the absoluteness transfer in Section 11: without Delta_1 reformulations of 'tame' and 'Hausdorff Ellis group' for preflows, the proof of the revised Newelski conjecture at uncountable cardinalities has no mechanism, since the countable case [17] concerns metrizable flows and does not by itself transfer. The supplied text truncates precisely before this argument, so the concern cannot be settled from the material provided. The honest verdict is therefore the same conditional one: the mathematically visible core is strong, but acceptance depends on the Section 11 Delta_1 claims and the forcing transfer checking out. If those claims fail, the revised Newelski theorem and the other absoluteness-based transfer theorems would need to be weakened or withdrawn.","tokens_in":68955,"tokens_out":17966,"duration_ms":180481,"concrete_test":"Locate the Section 11 definitions of 'X has Hausdorff Ellis group' and 'X is tame' for G-preflows, and rewrite each in prenex form over a set code for X. Pass if every quantifier after the leading block is bounded by a set parameter (the preflow's base, its completion, or finite sequences), so each formula is Sigma_1 or Pi_1 with no hidden unbounded quantifiers; fail if either formula quantifies unboundedly over elementary extensions of the ambient structure, over externally definable subsets of M, over all countable sequences, or over C(beta omega,X). If the formulas pass, additionally trace the Levy-collapse argument and confirm that the induced map from the ground-model preflow for S_G,ext(M) to the W-computed external flow restricts to a bijection on minimal subflows; if W adds a new minimal subflow, the Delta_1 transfer cannot establish the ground-model conclusion.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central all-cardinalities application—the revised Newelski conjecture—depends on a forcing and absoluteness transfer from the countable case [17] to arbitrary NIP structures. The stated mechanism is that, when phrased for preflows, the assertions 'X has Hausdorff Ellis group' and 'X is tame' are Delta_1, so a Levy collapse making the ambient structure countable preserves these properties and imports the countable theorem back to the ground model. This is exactly the step the provided text does not contain: Section 11 is truncated, and the visible end of Section 10 only asserts that such Delta_1 reformulations will be given. The condition that must hold is very specific: for a definable group G in an NIP structure M, the externally definable flow S_G,ext(M) must be representable by a G-preflow in the ground model, and the properties 'the Ellis group of the universal minimal externally definable flow is Hausdorff' and 'the flow is tame' must be absolute between V and a Coll(omega,kappa) extension W. If either formula contains an unbounded quantifier over elementary extensions of M, over externally definable subsets, over C(beta omega,X), or over the enveloping semigroup in a way that depends on points added by the forcing, then W can satisfy the countable-case theorem while V does not, or vice versa. The visible Section 10 proof of Delta_1 for EA/CMD/TMD has the right quantifier shape and appears internally sound; the same cannot be checked for the Section 11 properties, which are precisely the load-bearing bridge for the revised Newelski conjecture.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces the class TMD ('tractable minimal dynamics') for arbitrary topological groups G, defined by requiring that the universal minimal flow M(G) satisfies the equivalent conditions of Theorem 5.17: the Rosendal criterion, the thickness condition, uniqueness of the minimal subflow in every ultracopower of M(G), high proximality of the ultracopower map, and compact Hausdorffness of the meets topology on Min_G(Z) for every G-flow Z. Theorem 5.5 gives the analogous class CMD ('concrete minimal dynamics'); for Polish groups, CMD ∩ Polish = PCMD and, by Theorem 7.7, TMD ∩ Polish = GPP, with GPP also characterized by M(G) having a point of first countability. Section 9 states and proves an abstract KPT correspondence (Theorems 9.19 and 9.20): G is in TMD (resp. CMD, EA) iff it admits a G-skeleton with the Ramsey, minimality, and ED properties (resp. a precompact such skeleton, the trivial skeleton with the Ramsey property). Section 8 studies the tau-topology on Aut(M(G)), proves it is Hausdorff for TMD groups, and gives a structure theorem for minimal flows with Hausdorff Ellis group via proximal/equicontinuous extensions. Section 10 shows that EA, CMD, and TMD are Delta-1 in the Levy hierarchy (Theorem 10.5) and derives forcing-transfer theorems (Theorems 10.6 and 10.8) that recover and extend results previously proved only for Polish groups.","tokens_in":69158,"tokens_out":17794,"duration_ms":154677,"significance":"Assuming the missing Section 11 claims, this is a genuinely novel and unifying contribution. The class TMD is characterized by several independent dynamical conditions, each a natural weakening of the corresponding CMD condition, and the Polish case identifies TMD with the previously studied class GPP while adding a clean first-countability criterion (Theorem 7.7). The abstract KPT correspondence of Theorems 9.19-9.20 genuinely extends the Kechris-Pestov-Todorcevic framework to arbitrary topological groups, with G-skeletons serving as explicit certificates, and the Delta-1 classification of EA/CMD/TMD in Theorem 10.5 is a clever two-sided use of the Levy hierarchy that explains why many results for Polish groups transfer verbatim to all TMD groups. The visible proofs of Theorems 5.5, 5.17, 7.7, 9.19, 9.20, and 10.5 are detailed and largely self-contained; the characterizations are given in closed form with no free parameters. The paper does not include machine-checked proofs or code, so correctness rests on the detailed by-hand arguments, which I found coherent for the portions supplied.","major_comments":[{"comment":"The Abstract and Introduction claim that, suitably phrased for preflows, the assertions 'X has Hausdorff Ellis group' and 'X is tame' are Delta-1, and that a forcing/absoluteness transfer from the countable case [17] proves the revised Newelski conjecture at all cardinalities and gives a partial Glasner structure theorem for all minimal tame flows. The supplied text does not contain these proofs: Section 10 announces the absoluteness result for Hausdorff Ellis groups in its final subsection and then breaks off at the beginning of the recovery of Bartosova's example, and Section 11 is entirely absent. This is load-bearing: the transfer must show that the externally definable flow of a definable group G in an NIP structure is represented by a G-preflow in the ground model, and that the two properties are absolute between V and a Coll(omega,kappa) extension, with the Pi-1 side witnessed among preflows rather than via unbounded quantifiers over elementary extensions, externally definable subsets, C(beta omega, X), or the enveloping semigroup. The visible Section 10 proofs for EA/CMD/TMD (Lemmas 10.1 and 10.4, Theorem 10.5) have exactly the right quantifier shape and appear sound, but the corresponding Section 11 claims cannot be checked from the manuscript as provided. The authors should either include the missing proofs or explicitly restate the Newelski and tame-structure results as conditional on them.","section":"Section 11 and final part of Section 10"},{"comment":"The characterization of TMD via the meets topology on Min_G(Z), and the statement that uniqueness of minimal subflows in all ultracopowers of M(G) implies compact Hausdorffness of the meets topology, rest on Proposition 5.11, whose proof cites 'Proposition 4.4 of [69]', an unpublished preprint that the text says 'will be revised and expanded using concepts developed in this paper.' Lemma 6.3 and Theorem 6.5 (closure of TMD under group extensions) subsequently rely on the meets-topology formulation of TMD. A referee cannot verify the cited statement, so the paper's stated results depend on an external, unverifiable source. Please either prove the Vietoris-limit-factor statement in the present paper, or reformulate the proofs of Lemma 6.3 and Theorem 6.5 directly in terms of the other conditions of Theorem 5.17, which are developed in full.","section":"Proposition 5.11, Lemma 6.3, Theorem 6.5"}],"minor_comments":[{"comment":"The abstract states that 'a Polish group is in GPP iff its UMF has no points of first countability,' which is the negation of the theorem proved in the paper: Theorem 7.7(3) and the Introduction say that G is in GPP iff M(G) has a point of first countability. The abstract should state the characterization with 'a point of first countability.'","section":"Abstract; Theorem 7.7"},{"comment":"Items (6) and (7) of Theorem 5.17 are printed identically, both reading 'For each sigma in SN(G), partial_sigma has a dense set of compatibility points.' Based on the proof of (6) iff (7) via Proposition 3.3, and on the hierarchy leading to item (8), one of the two items should be the weaker condition 'partial_sigma has some compatibility point'; the statement should be corrected.","section":"Theorem 5.17"},{"comment":"Several cross-references in Section 5 point to 'by Theorem 5.4' and 'by Theorem 5.15' where the intended statements are Lemma 5.4 and Lemma 5.15, respectively; see the proofs of (3) implies (2), (8) implies (2), and (1) iff (6) inside Theorem 5.17.","section":"Section 5 proofs"},{"comment":"The remark in Section 4.1 says 'see the remark following Theorem 3.6,' but there is no Theorem 3.6; the reference should be to Definition 3.6 or to the remark following it.","section":"Section 4.1 remark"},{"comment":"The numbering in Section 3 is out of order: Theorem 3.32 is stated and its proof uses 'Fact 3.31,' but Fact 3.31 is printed after the statement of Theorem 3.32; please renumber or move the fact for readability.","section":"Section 3 numbering"}],"recommendation":"major_revision","confidential_remarks":"The visible core of the paper - the fattening-space framework, the equivalence Theorem 5.17, Theorem 7.7 for Polish groups, the abstract KPT correspondence (Theorems 9.19-9.20), and the Delta-1 classification of EA/CMD/TMD (Theorem 10.5) - is substantial, carefully argued, and, as far as I can check, internally consistent. My recommendation of major revision is driven almost entirely by the fact that the review copy stops before Section 11, so the paper's headline application (the revised Newelski conjecture at all cardinalities) and the announced absoluteness of 'Hausdorff Ellis group' and 'tame' for preflows cannot be verified. I would ask the editor to obtain the complete version and to have the authors spell out, in particular, the exact Delta-1 formulas for the two properties, since the transfer to arbitrary NIP structures is the point where quantifiers over points added by forcing are easy to hide. Two smaller matters deserve editorial attention: the abstract misstates Theorem 7.7 (a sign error that reverses the GPP characterization), and the proof of Theorem 6.5 depends on an unpublished preprint ([69, Proposition 4.4]). Neither is a substantive mathematical objection to the framework itself."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version: this is a serious research paper. It defines the class TMD for all topological groups, proves it extends GPP for Polish groups via a new first-countability criterion (Theorem 7.7), builds an abstract KPT correspondence through G-skeletons (Theorem 9.20), and shows the classes EA, CMD, and TMD are Δ₁ in the Lévy hierarchy (Theorem 10.5). If the closing application is right, it also proves the revised Newelski conjecture for all definable NIP groups. The parts I could inspect—Theorems 5.17, 7.7, 9.19/9.20, 10.5—are coherent and detailed, and the machinery hangs together. Credit where due: the fattening-space framework unifying Samuel and Gleason completions is genuinely useful, and the ultracopower characterizations are clean.\n\nNow the soft spots, in proportion. The concrete defects: the abstract inverts the first-countability characterization relative to Theorem 7.7 (it says 'no points of first countability' where the theorem says 'has a point'). That's fixable but embarrassing. Theorem 5.17 lists items (6) and (7) as verbatim duplicates, clearly a typo, minor. The bigger issue is Proposition 5.11's dependence on the unpublished, self-referential preprint [69] at a step the paper claims to have made self-contained. That dependency should be replaced or fully proved.\n\nThe load-bearing worry is the Newelski application. The supplied text stops right before the proof that 'Hausdorff Ellis group' and 'tame' are Δ₁ for preflows, and Section 11 is truncated. That absoluteness claim is the bridge that lets the countable case [17] transfer to all cardinalities. I cannot certify that step from what's in front of me. If the claim fails, the Newelski theorem and the transfer theorems (10.6, 10.15) fall, though the core equivalence theorems of Sections 5 and 7 might survive. The visible structure of Lemma 10.4 and Theorem 10.5 has the right quantifier shape, so I'm not predicting failure—I'm saying the decisive proof is missing from the version I saw.\n\nWho gets value: anyone working in abstract topological dynamics, definable dynamics, or Ramsey theory on structures. The TMD class and the KPT correspondence are worth knowing even if the Newelski proof takes a hit. This paper deserves peer review; send it to a serious referee, ideally one who can check Section 11. If the absoluteness proof holds, this is a major result; if not, the TMD material stands on its own.","headline":"A serious, substantial paper introducing the TMD class and an abstract KPT correspondence; the revised Newelski application is the right target, but the decisive absoluteness proof is cut off in the version I saw.","tokens_in":69896,"tokens_out":4330,"would_cite":true,"duration_ms":36068,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37B05","54H11","22A05"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper defines TMD, the class of topological groups with tractable minimal dynamics, shows it matches the generic point property on Polish groups, and uses forcing to prove the revised Newelski conjecture at all cardinalities.","keywords":["topological groups","universal minimal flows","generic point property","tractable minimal dynamics","structural Ramsey theory","KPT correspondence","definable NIP groups","Newelski conjecture"],"falsifier":"Concretely, the claims predict that every Polish group outside GPP has an $M(G)$ with no first-countable points and with some ultracopower containing two distinct minimal subflows, and that every group definable in an NIP structure, at every cardinality, has a Hausdorff Ellis group for its universal minimal externally definable flow. The first counterexample to either prediction — a non-GPP Polish group with a first-countable point in $M(G)$, or a definable NIP group with a non-Hausdorff Ellis group — refutes the corresponding theorem; the paper itself points to countable discrete groups and to oligomorphic permutation groups as the natural candidates to probe.","tokens_in":68533,"feed_emoji":"🔄","tokens_out":21452,"duration_ms":182295,"temperature":0.7,"pith_summary":"The paper's aim is to find the right generalization of the generic point property (GPP) — the property of Polish groups whose universal minimal flow has a comeager orbit — to all topological groups, and to show that the resulting class supports structure theorems and model-theoretic applications. The class is called TMD, for tractable minimal dynamics, and is defined by demanding that the universal minimal flow $M(G)$ satisfy the Rosendal criterion: at every scale and in every open region of the flow, some sub-region is topologically transitive. Five equivalent formulations are proved (Theorem 5.17), including a thickness condition on $M(G)$, the statement that every ultracopower of $M(G)$ contains a unique minimal subflow (equivalently, that every ultracopower map is highly proximal), and the compactness of a new meets topology on the space of minimal subflows of any $G$-flow. For Polish groups the new class recovers GPP exactly, and a Polish group is in GPP precisely when $M(G)$ contains a point of first countability (Theorem 7.7), a new result even for the older class. The paper then proves an abstract KPT correspondence: $G$ is in TMD iff it admits a $G$-skeleton — a directed system of metric spaces indexed by the continuous semi-norms on $G$ — satisfying Ramsey, minimality and extremal-disconnectedness properties, in which case the skeleton's folded flow is $M(G)$ (Theorem 9.20). This certificate makes membership in the classes EA, CMD and TMD a $\\Delta_1$ property in the Lévy hierarchy (Theorem 10.5), so forcing and absoluteness arguments transfer Polish-group theorems to all TMD groups; the applications are a structure theorem for $M(G)$ of the form $M(G)\\cong S_G(\\mathrm{UCF}(G))$ with Hausdorff Ellis group, and a proof of the revised Newelski conjecture for groups definable in NIP structures at all cardinalities.","feed_headline":"Five tests decide whether a group's minimal dynamics are tractable","feed_subtitle":"TMD matches the generic point property for Polish groups and proves the Newelski conjecture at every size.","key_machinery":"Three objects carry the argument. (1) The universal minimal flow $M(G)$ together with the equivalence chain of Theorem 5.17: the Rosendal criterion says that for every open $A$ and every neighborhood $U$ of the identity, some open sub-region of $A$ is $U$-topologically transitive, and the theorem equates this with the thickness condition, with uniqueness of the minimal subflow in every ultracopower of $M(G)$, with high proximality of the ultracopower map, and with the compactness of the meets topology on the space of minimal subflows of every $G$-flow; TMD is defined by any one of these conditions holding for $M(G)$ (Definition 5.18). (2) The $G$-skeleton: a directed system of metric spaces $X_\\sigma$ indexed by the continuous semi-norms $\\sigma$ on $G$, with bonding maps and a compatible $G$-action, satisfying a Ramsey property, a minimality property and an ED (extremally disconnected) property; the folded flow is the inverse limit of the Samuel compactifications of the levels, and the abstract KPT correspondence (Theorem 9.20) says $G\\in\\mathrm{TMD}$ iff such a skeleton exists, in which case the folded flow is $M(G)$. For $G=\\mathrm{Aut}(K)$ the automorphism group of a Fraïssé structure, a $G$-skeleton is exactly a reasonable expansion class and the three properties become the usual Ramsey, expansion and amalgamation properties (Proposition 9.16). (3) $G$-preflows and the Lévy hierarchy: by phrasing every notion over precompact uniform $G$-spaces presented by explicit bases, the paper writes membership in EA, CMD and TMD as both a $\\Sigma_1$ and a $\\Pi_1$ formula (Lemmas 10.1 and 10.4, Theorem 10.5); since $\\Delta_1$ formulas are absolute between transitive models of set theory, this is what makes the forcing transfer work.","core_discovery":"On its own terms, the paper's central discovery is that 'the universal minimal flow has a comeager orbit' is not a Polish-specific phenomenon: what makes the property work is that $M(G)$ satisfies the Rosendal criterion, and this condition is meaningful and productive for every topological group. Theorem 5.17 proves that this single condition is equivalent to four others: the thickness condition on $M(G)$; the statement that every ultracopower of $M(G)$ contains a unique minimal subflow; the statement that every ultracopower map is highly proximal; and the compactness of the meets topology on $\\mathrm{Min}_G(Z)$ for every $G$-flow $Z$. The paper defines TMD as the class of groups for which these equivalent conditions hold (Definition 5.18) and then establishes three large claims about it. First, for Polish groups TMD coincides with GPP, and a Polish group is in GPP iff $M(G)$ has a point of first countability (Theorem 7.7). Second, $G$ is in TMD iff it admits a $G$-skeleton with the Ramsey, minimality and ED properties, in which case the folded flow of the skeleton is $M(G)$; this is the abstract KPT correspondence (Theorem 9.20). Third, the classes EA, CMD and TMD are $\\Delta_1$ in the Lévy hierarchy (Theorem 10.5), so membership is absolute under forcing, and a group is TMD iff in some forcing extension its Raikov completion is GPP. The final theorems put this machinery to work: a structure theorem for $M(G)$ for TMD groups with $\\mathrm{Aut}(M(G))$ a compact Hausdorff group for the tau-topology, and the revised Newelski conjecture — for any group definable in an NIP structure, the Ellis group of the universal minimal externally definable flow is Hausdorff — proved at all cardinalities.","pith_inferences":["Beyond the paper: the abstract KPT correspondence draws a boundary. If TMD is the largest class carrying Ramsey-style certificates, then computing the universal minimal flow of a group outside TMD — a locally compact non-compact group, for example — is not simply hard but structurally impossible by expansion-class methods, and the failure of the Ramsey certificate is a negative criterion one can c","Beyond the paper: the $\\Delta_1$ absoluteness scheme is a general template. Any dynamical property that can be written as a $\\Delta_1$ formula over preflows automatically transfers between a structure and its forcing extensions, so the Newelski-style transfer should extend to further questions about tame flows and Ellis groups at uncountable cardinalities, not just to the Hausdorffness statement s","Beyond the paper: the paper leaves open whether TMD equals the pointwise-defined class WCAP (Question 5.20) and whether $M(G)$ itself, rather than only its Gleason completion, is always the universal compactification flow. If WCAP catches up with TMD, the meets-topology criterion is provably the sharp boundary of tractability; if the Gleason step is ever necessary, the correction in the structure "],"forward_implications":["For Polish groups the new class is exactly the old one: $G\\in\\mathrm{TMD}$ iff $G\\in\\mathrm{GPP}$, and membership is decided by a single point of first countability in $M(G)$; in particular every non-compact locally compact Polish group has a universal minimal flow with no first-countable points (Theorem 7.7, Proposition 7.13).","TMD is a well-behaved class: it is closed under group extensions, surjective inverse limits and arbitrary products, and it contains no locally compact non-compact groups (Theorems 6.5 and 6.10, Proposition 6.8, Theorem 10.6).","Membership in TMD has a certificate: $G\\in\\mathrm{TMD}$ iff $G$ admits a $G$-skeleton with the Ramsey, minimality and ED properties, and then the folded flow is isomorphic to $M(G)$; adding precompactness of the skeleton characterizes CMD (Theorem 9.20).","The classes EA, CMD and TMD are $\\Delta_1$ in the Lévy hierarchy, so membership is absolute between transitive models of set theory; a group is TMD iff in some forcing extension its Raikov completion is GPP (Theorem 10.5, Section 10).","For TMD groups the universal minimal flow has the concrete form $M(G)\\cong S_G(\\mathrm{UCF}(G))$, the Gleason completion of the universal compactification flow, and the tau-topology on $\\mathrm{Aut}(M(G))$ is compact Hausdorff; the revised Newelski conjecture follows for NIP groups at all cardinalities (Theorems 8.24 and 10.15, Corollary 8.17, Section 11)."],"supporting_citations":[{"why":"Establishes the existence and uniqueness of the universal minimal flow $M(G)$, the object all of the paper's definitions and theorems are about.","marker":"[21]"},{"why":"Supplies the original KPT correspondence between automorphism group dynamics and structural Ramsey theory that Section 9 generalizes into the abstract G-skeleton correspondence.","marker":"[44]"},{"why":"Provides Rosendal's criterion for comeager orbits of Polish group actions, the condition whose topological-group analogue defines TMD in Theorem 5.17.","marker":"[14]"},{"why":"Characterizes GPP via presyndetic extremely amenable subgroups with $M(G)\\cong\\mathrm{Sa}(G/H)$; Theorem 7.7 and the Section 8 structure theorems build directly on it.","marker":"[73]"},{"why":"Defines the CAP/SCAP/CMD classes of the authors' earlier work whose equivalences Theorem 5.5 generalizes and whose closure theory TMD extends.","marker":"[11]"},{"why":"Characterizes Polish groups with metrizable universal minimal flow via co-precompact presyndetic extremely amenable subgroups, the template for Theorem 7.12 and for the Aut(M(G)) results.","marker":"[52]"},{"why":"Proves the revised Newelski conjecture for countable structures, the base case that Section 11's forcing and absoluteness argument transfers to all cardinalities.","marker":"[17]"},{"why":"Supplies the structure theory of minimal metrizable tame flows with Hausdorff Ellis groups that Section 11 generalizes to non-metrizable tame flows.","marker":"[30]"}],"fun_headline_variants":["Tractable minimal dynamics: five equivalent tests for any group","TMD: the generalization that proves Newelski for all NIP groups","One condition makes minimal dynamics tractable for every topological group","Abstract KPT correspondence: tractable minimal dynamics for all groups"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the forcing transfer is sound: membership in TMD, EA and CMD, the Hausdorffness of the Ellis group, and tameness can all be expressed as $\\Delta_1$ properties of preflows, so that forcing a group to become countable does not change which of these properties it has — if even one of these complexity classifications fails, the transfer theorems and the Newelski proof collapse even though the internal equivalences of Theorem 5.17 could survive.","fun_headline_variants_meta":{"raw":{"variants":["Tractable minimal dynamics: five equivalent tests for any group","TMD: the generalization that proves Newelski for all NIP groups","One condition makes minimal dynamics tractable for every topological group","Abstract KPT correspondence: tractable minimal dynamics for all groups"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000777,"raw_usage":{"total_tokens":3593,"prompt_tokens":1259,"completion_tokens":2334,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":875,"completion_tokens_details":{"reasoning_tokens":2274}},"tokens_in":875,"tokens_out":2334,"duration_ms":17629,"temperature":1.0,"reasoning_tokens":2274,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T20:32:25.141600+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Concretely, the claims predict that every Polish group outside GPP has an $M(G)$ with no first-countable points and with some ultracopower containing two distinct minimal subflows, and that every group definable in an NIP structure, at every cardinality, has a Hausdorff Ellis group for its universal minimal externally definable flow. The first counterexample to either prediction — a non-GPP Polish group with a first-countable point in $M(G)$, or a definable NIP group with a non-Hausdorff Ellis group — refutes the corresponding theorem; the paper itself points to countable discrete groups and to oligomorphic permutation groups as the natural candidates to probe.","supporting_citations":[{"cited_title":"Ellis,Universal minimal sets, Proc","cited_arxiv_id":null,"evidence_quote":"Establishes the existence and uniqueness of the universal minimal flow $M(G)$, the object all of the paper's definitions and theorems are about."},{"cited_title":"Kechris, V.G","cited_arxiv_id":null,"evidence_quote":"Supplies the original KPT correspondence between automorphism group dynamics and structural Ramsey theory that Section 9 generalizes into the abstract G-skeleton correspondence."},{"cited_title":"Ben Yaacov, J","cited_arxiv_id":null,"evidence_quote":"Provides Rosendal's criterion for comeager orbits of Polish group actions, the condition whose topological-group analogue defines TMD in Theorem 5.17."},{"cited_title":"Syst.41(2021), no","cited_arxiv_id":null,"evidence_quote":"Characterizes GPP via presyndetic extremely amenable subgroups with $M(G)\\cong\\mathrm{Sa}(G/H)$; Theorem 7.7 and the Section 8 structure theorems build directly on it."},{"cited_title":"Basso and A","cited_arxiv_id":null,"evidence_quote":"Defines the CAP/SCAP/CMD classes of the authors' earlier work whose equivalences Theorem 5.5 generalizes and whose closure theory TMD extends."},{"cited_title":"Melleray, L","cited_arxiv_id":null,"evidence_quote":"Characterizes Polish groups with metrizable universal minimal flow via co-precompact presyndetic extremely amenable subgroups, the template for Theorem 7.12 and for the Aut(M(G)) results."},{"cited_title":"Glasner,The structure of tame minimal dynamical systems for general groups, Invent","cited_arxiv_id":null,"evidence_quote":"Supplies the structure theory of minimal metrizable tame flows with Hausdorff Ellis groups that Section 11 generalizes to non-metrizable tame flows."}],"review_version":1}