{"id":"19d9cee6-7a1e-48b4-bfce-f4950ac79880","arxiv_id":"2607.26446","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Distal points are dense in 2^G exactly when G admits an effective point-distal action; almost automorphic points are dense exactly when G is maximally almost periodic; only constant distal points exactly when G is minimally almost periodic.","lead":"For a countable group G, points of the two-sided symbol space 2^G may be 'distal', meaning no two orbit points ever become proximal. This paper answers when such distal points are dense: for the stronger almost automorphic points this happens exactly for maximally almost periodic groups, and it gives a general criterion plus new examples showing the distal case resists any simple algebraic description.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.5 (3)=>(4) invokes a denseness-of-distal-points result for point-distal flows that the paper only states under strict-AI; the missing bridge is patchable but must be written.","rationale":"The reader's weakest assumption — the unstated bridge in Theorem 4.5 (3)=>(4) — is the same load-bearing concern I identify. I independently checked the surrounding arguments: Lemma 2.15's TIP*-set characterization, Theorem 3.11's metric-separation construction, Lemma 4.3's zero-dimensional extension, Lemma 5.10's transfinite isometric-step argument, and Theorem 6.1's coset argument all appear internally coherent. The one genuinely fragile point is that the proof of (3)=>(4) relies on a denseness-of-distal-points fact whose stated source, as used in Lemma 5.9, is limited to strictly AI actions. This is not a fatal error: Veech's structure theorem, which the paper itself invokes later, provides the missing bridge, and the fixed set of a nontrivial element in a minimal action is nowhere dense. But the chain is not written in Section 4, so the main characterization remains conditional. The imported Abels examples are a secondary support issue; even if those examples were weakened, the logical structure of Theorems 1.3–1.5 would stand. Hence I do not move the verdict: it should remain CONDITIONAL, with the requested bridge supplied before acceptance.","tokens_in":20250,"tokens_out":10919,"duration_ms":101392,"concrete_test":"Check the exact statement of [15, VI.6.4.6] (and Ellis [7]): does it directly assert that a point-distal minimal flow has a dense G_delta of distal points? If not, supply the missing bridge: apply Veech's structure theorem [13] to the point-distal minimal X in (3), obtain a strictly AI almost 1-1 extension Y→X, apply Lemma 5.9 to Y to get a dense G_delta of distal points, push them down to X, and intersect with X\\Fix(g). If this bridge cannot be produced, Theorem 4.5 (3)=>(4) fails and Theorem 1.4 is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central equivalence Theorem 1.4 rests on Theorem 4.5. In the proof of (3)=>(4), the authors start with a point-distal action X and a point x with gx≠x, then assert 'by a result of Ellis [7] (see also [15, VI.6.4.6]) there is a dense G_delta subset of X consisting of distal points.' But the paper's own Lemma 5.9, citing the same sources, states this denseness fact only for strictly AI actions, and Lemma 5.9's proof statement does not cover point-distal flows directly. The natural bridge is Veech's structure theorem [13] (also used later in Theorem 5.11): a point-distal minimal flow admits a strictly AI almost 1-1 extension Y→X. Then Lemma 5.9 gives a dense G_delta of distal points in Y; their images are distal in X and form a dense G_delta, so X itself has a dense G_delta of distal points. Since the fixed set of a nontrivial g in a minimal action is closed with empty interior, one can choose a distal point x' with gx'≠x'. This argument is not written in Section 4, and the citation as used appears stronger than the stated Lemma 5.9. Without either [15, VI.6.4.6] directly covering point-distal flows or the explicit Veech bridge, step (3)=>(4) is unsupported. The contrast examples 4.6 and 5.13 also import decisive properties from Abels [1] without proof, but those are secondary to the main theorem.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies Xu-Ye's Question 1.1: for which countably infinite groups G is the set of distal points dense in the Bernoulli shift (2^G, G)? It introduces combinatorial notions TIP*-sets and TDelta*-sets, proves that distal (resp. almost automorphic) points in 2^G are characterized by such sets, and characterizes the almost automorphic case by maximal almost periodicity (Theorem 1.3). The central Theorem 1.4 characterizes distal denseness by the existence of an effective point-distal continuous action on a compact metrizable space; Theorem 4.5 gives a list of equivalent formulations. A new invariant, the point-distal radical, is introduced, and Theorem 1.5 shows its triviality is necessary for distal denseness. The paper also proves closure of the distal-denseness class under finite-index extensions and characterizes groups for which 0 and 1 are the only distal (or almost automorphic) points as minimally almost periodic groups.","tokens_in":20495,"tokens_out":34410,"duration_ms":325847,"significance":"If the main results are correct, they answer a question of Xu and Ye and introduce a promising new invariant, the point-distal radical. The TIP*- and TDelta*-set characterizations are clean and potentially reusable. The paper is also honest about the limits of its characterization: Theorem 1.4 is not intrinsic, and the converse of Theorem 1.5 is left open. The construction of two 2-step nilpotent groups with different behaviors is a nice illustration. The proofs are detailed and generally careful in their use of external structure theorems, although a few load-bearing steps need repair as detailed below.","major_comments":[{"comment":"The proof asserts that for the point-distal action produced in (3), 'by a result of Ellis [7] (see also [15, VI.6.4.6]) there is a dense G_delta subset of X consisting of distal points.' This is not supported by the paper's own Lemma 5.9, which is stated only for strictly AI minimal actions and only asserts existence of a distal point; the dense-G_delta assertion is only a parenthetical. No argument connects the point-distal action from (3) to the strictly AI hypothesis. If the cited theorem in [15, VI.6.4.6] indeed applies directly to point-distal minimal flows, the exact statement must be given. Otherwise the standard Veech structure theorem [13] should be used to pass to a strictly AI almost 1-1 extension Y of X, transfer the residual distal points from Y to X, and then choose a distal point avoiding the fixed set of g. Since this implication is load-bearing for Theorem 1.4, it must b","section":"Theorem 4.5, (3)=>(4)"},{"comment":"The zero-dimensional extension construction has a boundary/closure issue. In Lemma 4.3, Cases II and III choose r>0 such that B(x_{j+1},r) is disjoint from the union of the previously constructed open pieces V_{b,j}. This is possible only if x_{j+1} is not in the closure of any V_{b,j}, but the proof establishes only that x_{j+1} is not in the union. Since the orbit of x is dense, a future orbit point can lie on the common boundary of two previously constructed pieces, making the required r nonexistent. The invariant should be strengthened to pairwise disjointness of closures, or the radii should be chosen generically to avoid the countable set of distances to orbit points. Similarly, in Lemma 4.1 the assertion that one can find z_g with gx in the open set z_g seems to require membership in z_g, whereas the preceding paragraph proves only coverage by closures; if the intended statement i","section":"Lemma 4.3 and Lemma 4.1"}],"minor_comments":[{"comment":"The claim that the proof of [1, Example 4.3] gives the point-distal radical of G2 equal to Q should be substantiated. The point-distal radical is a new notion, and the cited example concerns Abels's distal radical; at least a short explanation of why the computation carries over is needed.","section":"Example 5.13"},{"comment":"The step from 'every tau_d-open neighbourhood of e is a Delta*-set' to 'every tau_d-clopen neighbourhood of e is a TDelta*-set' uses conjugation invariance and left-translation of Delta*-sets; this should be spelled out for readability.","section":"Lemma 3.10"},{"comment":"The existence of the TDelta*-set A in pi(G) separating e from pi(g) is asserted without proof. Since this is essentially the MAP characterization from Theorem 3.11, the authors should cite it explicitly or give a short argument.","section":"Theorem 6.3, (3)=>(1)"},{"comment":"Typos and minor wording issues: 'frist' in Section 3; 'Furstenburg' should be 'Furstenberg'; 'disal' in the title; the attribution paragraph after Lemma 5.9 is awkwardly placed and should be merged into the lemma statement.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"I believe the central results are likely correct and the identified gaps are patchable, but the proof of Theorem 4.5 and the extension lemmas need real repair before the paper can be accepted. The reliance on [1] for the examples should also be made explicit."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nHere’s my honest take. The paper is a real advance on Xu-Ye’s questions. It settles the almost automorphic version completely: dense almost automorphic points in 2^G characterize MAP groups (Theorem 1.3). For distal points it gives a clean but explicitly non-intrinsic criterion (Theorem 1.4) and a necessary condition via the new point-distal radical (Theorem 1.5). The tools introduced — TIP*-sets, TDelta*-sets, point-distal radical — are natural and likely to be useful beyond this paper.\n\nWhat I did verify by hand held up. The translate conventions in Lemma 2.15 are correct. The metric separation construction in Theorem 3.11 works. The coset argument in Theorem 6.1 is clean. The authors state the open converse of Theorem 1.5 honestly, and I found no circularity: TIP*-sets are defined combinatorially and only later linked to distality.\n\nThe main soft spot is exactly the one flagged in the stress test. In Theorem 4.5, step (3)=>(4), the proof cites Ellis for a dense G_delta of distal points in a point-distal action, but the version the paper itself proves (Lemma 5.9) is stated only for strictly AI actions. The bridge is available — the point-distal action is minimal, and Veech’s structure theorem gives a strictly AI almost 1-1 extension; distal points push forward to distal points, and the fixed set of a nonidentity element has empty interior. That argument is essentially what the paper uses in Section 5, but it is not written in Section 4. So the proof as printed has a gap, though a patchable one. A referee should ask for the bridge to be written out.\n\nThe examples in Section 4 and 5 import their decisive properties from Abels [1]. That is legitimate but makes those examples dependent on old results being exactly as cited. The paper would be stronger if it stated the imported facts explicitly.\n\nOverall: this is a solid paper for people working in topological dynamics, recurrence, or the disjointness program. It deserves a serious referee. Send it out, and ask for the Section 4 bridge and a fuller statement of the Abels facts.","headline":"Strong paper that answers two open questions and introduces likely-to-be-reused tools; the main equivalence has a patchable but unwritten bridge in Theorem 4.5.","tokens_in":21205,"tokens_out":3295,"would_cite":true,"duration_ms":29245,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37B05","37B10","22D05","43A60"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that distal points are dense in the Bernoulli shift 2^G for a countably infinite group G exactly when G admits an effective point-distal continuous action on some compact metrizable space.","keywords":["distal points","Bernoulli shift","almost automorphic points","maximally almost periodic","minimally almost periodic","point-distal radical","TIP*-sets","symbolic dynamics"],"falsifier":"Exhibit a countably infinite group G that has an effective point-distal continuous action on a compact metrizable space yet for which some cylinder set in 2^G contains no distal point; such a pair would refute the 'if' direction of Theorem 1.4. Alternatively, find a countable group with trivial point-distal radical whose distal points are not dense, which would disprove the open converse of Theorem 5.11 and thereby rule out the intrinsic characterization the paper sketches.","tokens_in":19928,"feed_emoji":"🎲","tokens_out":7946,"duration_ms":70104,"temperature":0.7,"pith_summary":"The paper settles, for every countably infinite discrete group, when the distal points are dense in the full shift 2^G acting by right shifts: this happens exactly when the group admits an effective point-distal continuous action on some compact metrizable space. For the stronger notion of almost automorphic points, it gives a complete characterization: they are dense exactly when the group is maximally almost periodic (MAP). It also introduces a point-distal radical for countable groups, proves this radical must be trivial if the distal points are dense, and leaves the converse open. Using these criteria, the authors construct two 2-step nilpotent groups, neither MAP, one with dense distal points and one without, and they show the class of groups with dense distal points is closed under finite-index extensions. Finally, the paper characterizes the opposite extreme: a group has only the two constant sequences as distal (or almost automorphic) points if and only if it is minimally almost periodic.","feed_headline":"A group has dense distal points iff it acts effectively point-distally","feed_subtitle":"For countable groups the almost automorphic case matches the MAP condition; two nilpotent examples split the distal case.","key_machinery":"The paper's central mechanism is the translation of distality in the Bernoulli shift into combinatorial recurrence: a point x is distal iff its return set {g : x(g)=x(e_G)} is a TIP*-set, meaning every left translate of either the set or its complement is an IP*-set (where IP*-sets are exactly the return sets of distal points in arbitrary systems, sets that meet every finite-product set). Almost automorphic points obey the same law with T∆*-sets, built from ∆*-sets. These equivalences reduce the denseness questions to pure group combinatorics. The second load-bearing mechanism is the point-distal radical: a transfinite chain of normal subgroups obtained by repeatedly taking the kernel of all","core_discovery":"The central claim is Theorem 1.4: for a countably infinite group G, the distal points are dense in the Bernoulli shift (2^G, G) if and only if G admits an effective point-distal continuous action on some compact metrizable space. In proving this, the authors also establish Theorem 1.3, which gives a complete answer to the almost automorphic analogue: such points are dense in (2^G, G) exactly when G is maximally almost periodic. They then introduce the point-distal radical of a countable group, a transfinite chain of normal subgroups, and prove (Theorem 5.11) that if the distal points are dense then this radical is trivial; the converse is left as an open question. Using the criteria, the pap","pith_inferences":["If the necessary condition from the point-distal radical turns out to be sufficient, the property would be an intrinsic invariant of countable groups, one step down from the distal radical; the paper's examples suggest the hierarchy between Bohr, point-distal, and distal radicals is genuinely non-collapsing.","The TIP*-set characterization suggests a route to compute distal denseness in other subshifts or general symbolic actions, where the return-set combinatorics might be tractable even when the group-theoretic criterion is not.","The two nilpotent examples likely belong to a broader family: one may be able to tune the point-distal radical inside a semidirect product of Q with various subgroups of the multiplicative group of Q, producing groups with arbitrary prescribed behavior.","The finite-index-extension closure, combined with subgroup closure, means the class is invariant under commensurability of countable groups; testing whether the class is also closed under finite-index preimages could connect to residual finiteness."],"forward_implications":["The question of which countable groups have dense distal points in their Bernoulli shift is now completely answered, with a criterion that is correct but existential rather than algebraic.","Every countable MAP group, including all countable abelian and residually finite groups, has dense distal points in its Bernoulli shift.","The point-distal radical being trivial is a necessary condition; if the stated open converse holds, it would give the first intrinsic algebraic characterization of such groups.","There exist 2-step nilpotent groups (hence non-MAP) for which the distal points are dense, and others for which they are not, showing the boundary is finer than algebra alone.","The class of groups with dense distal points is closed under taking subgroups and finite-index extensions, while failing under quotients and arbitrary extensions."],"fun_headline_variants":["Distal points dense iff group is effectively point-distal","Solving Xu-Ye: distal points dense iff effective point-distal","Effective point-distal action characterizes dense distal points","Effective point-distal actions: the key to dense distal points"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof leans on imported structure theorems, especially the assertion that every point-distal minimal system contains a dense G_delta set of distal points; the paper cites this result but only spells out a strictly AI version in its own Lemma 5.9, so the bridge from point-distal to strictly AI is not written out, and if that bridge fails the equivalence in Theorem 1.4 has a gap.","fun_headline_variants_meta":{"raw":{"variants":["Distal points dense iff group is effectively point-distal","Solving Xu-Ye: distal points dense iff effective point-distal","Effective point-distal action characterizes dense distal points","Effective point-distal actions: the key to dense distal points"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001283,"raw_usage":{"total_tokens":5084,"prompt_tokens":756,"completion_tokens":4328,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":500,"completion_tokens_details":{"reasoning_tokens":4260}},"tokens_in":500,"tokens_out":4328,"duration_ms":74386,"temperature":1.0,"reasoning_tokens":4260,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T15:42:10.028759+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a countably infinite group G that has an effective point-distal continuous action on a compact metrizable space yet for which some cylinder set in 2^G contains no distal point; such a pair would refute the 'if' direction of Theorem 1.4. Alternatively, find a countable group with trivial point-distal radical whose distal points are not dense, which would disprove the open converse of Theorem 5.11 and thereby rule out the intrinsic characterization the paper sketches.","supporting_citations":[],"review_version":1}