{"id":"3def4176-caa0-4117-98cb-9396dc337726","arxiv_id":"2607.11549","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Free ergodic amenable actions with positive Rokhlin entropy have infinite complex L1- and L10-orbit multiplicity, so no finite family of functions has dense Koopman orbit span.","lead":"Positive Rokhlin entropy forces infinite L1-orbit multiplicity for free ergodic actions of infinite amenable groups. This closes the p=1 endpoint of Iwanik’s theorem and answers Thouvenot’s cyclic-vector question in the negative for positive-entropy systems.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The manuscript is a clean pure-math note that settles a recorded open question by combining three standard tools. The only external ingredients are Seward’s factor theorem and Malykhin’s rigidity theorem; both are cited with precise statements and applied inside their stated hypotheses. The Følner estimate, the real-part dimension bound, and the factor-multiplicity comparison are elementary and fully written. Because the argument contains no free parameters, no circular reductions, and no unverified computational steps, the reader’s ACCEPT / HIGH-confidence verdict is appropriate. The single concrete verification suggested above merely reconfirms that the reduction itself introduces no extra hypotheses; it is not expected to fail.","tokens_in":9535,"tokens_out":499,"duration_ms":6203,"concrete_test":"Independently re-derive the inequality chain of Prop 3.1 from (10)–(13) without invoking any property of the Bernoulli shift beyond joint independence of the ξ j,h and the L1-isometry of the Koopman operators; if the average-distance lower bound still follows from Malykhin + Følner packing alone, the reduction is airtight.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorem 1.1) is supported by a short, fully written chain: Seward’s Bernoulli factor (Thm 2.4) supplies r=2m+1 independent binary coordinates of small base entropy; finite orbit sums approximate them; Følner packing (Lem 2.3) produces r|F| independent L1-normalized mean-zero variables that remain close to a real subspace of dimension at most 2m|FK|<(1-ε)r|F|; Malykhin’s rigidity (Thm 2.1) then yields a uniform positive lower bound on average distance, a contradiction. All steps are elementary once the two external black boxes are granted; the dimension comparison (Lem 2.2 + Prop 3.1) and the passage to factors (Lem 4.1) contain no hidden gaps. The reader’s identification of Malykhin as the weakest external assumption is accurate, but that theorem is published and applied exactly in the regime it covers (independent, centered, L1-normalized real r.v.s). No internal inconsistency or missing estimate appears.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper proves that every free ergodic p.m.p. action of a countably infinite amenable group with positive Rokhlin entropy has infinite complex L^{1}-orbit multiplicity, both on L^{1} and on the mean-zero subspace L^{1}_{0} (Theorem 1.1). The argument proceeds by contradiction: Seward’s Bernoulli factor theorem supplies an r-fold Bernoulli factor with r = 2m + 1 independent binary coordinates of base entropy strictly less than h_Rok; these coordinates are approximated by finite orbit sums sharing a common finite set K_{0}; a Følner packing produces r|F| independent centered L^{1}-normalized real variables that remain close to a real subspace of dimension at most 2m|FK_{0}| ≤ (1-ε)r|F|; Malykhin’s rigidity theorem then yields a uniform positive lower bound on average distance, a contradiction. The same reasoning applies to L^{1}_{0}. As a corollary, every nontrivial Bernoulli shift over a countably infinite amenable group has infinite L^{1}- and L^{1}_{0}-multiplicity. The result answers Thouvenot’s cyclic-vector question negatively for free positive-entropy ℤ-actions and supplies the p = 1 endpoint of Iwanik’s theorem for p > 1.","tokens_in":9786,"tokens_out":894,"duration_ms":7695,"significance":"The result closes a long-standing gap left open by Iwanik’s L^{p} theorem (p > 1) and by the survey of Kanigowski–Lemańczyk. For free ergodic amenable actions, Rokhlin entropy coincides with Kolmogorov–Sinai entropy, so the theorem applies in particular to every free positive-entropy ℤ-action and to all nontrivial Bernoulli shifts. The proof is short, modular, and relies only on three external black boxes (Malykhin rigidity, Seward’s factor theorem, standard Følner packing) together with elementary L^{1} estimates and a realification lemma; once those tools are granted, the dimension comparison and the passage to factors contain no hidden gaps. The manuscript also cleanly separates the amenable case from the open non-amenable and zero-entropy questions, and it recovers the topological-multiplicity statement of Burguet–Shi for ℤ via the variational principle. These features make the paper a solid contribution to the spectral theory of dynamical systems.","major_comments":[],"minor_comments":[{"comment":"In the abstract and title the phrase “infinite complex L^{1}-orbit multiplicity” is clear, but the body occasionally writes “L^{1}-orbit multiplicity” without the adjective “complex.” A single clarifying sentence early in §1 that all spaces are complex (except the real subspaces appearing in Malykhin’s theorem) would remove any residual ambiguity.","section":null},{"comment":"Lemma 2.2 is elementary but load-bearing for the dimension count. Adding one sentence that the same bound holds for the mean-zero subspace (already used later) would make the L^{1}_{0} case completely self-contained.","section":null},{"comment":"The date line “July 14, 2026” and the arXiv stamp “13 Jul 2026” are future-dated; this is harmless but should be corrected before publication.","section":null},{"comment":"In Corollary 4.2 the essential-freeness argument for finite-order elements is correct, yet the probability \rho_d is written without an explicit formula for a general base; a parenthetical remark that \rho_d < 1 for any non-Dirac base would make the estimate fully explicit.","section":null},{"comment":"References [1] and [8]–[9] are recent preprints on rigidity of independent families; a brief parenthetical note that Malykhin’s constant c_ε is taken from the published version (or the arXiv version used) would help future readers.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is short, self-contained, and correctly uses two substantial external theorems. I see no reason to delay acceptance; the open questions in §§5–6 are appropriately framed and do not affect the main claim. Fit for a general dynamics or ergodic-theory journal is excellent."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper settles Thouvenot’s question (recorded by Iwanik, still listed open in Kanigowski–Lemańczyk) for free ergodic positive-entropy actions of countably infinite amenable groups: Rokhlin entropy >0 forces infinite complex L1- and L10-orbit multiplicity. No finite family of functions has dense Koopman orbit span. That is the new fact; Iwanik already had the result for every p>1, and the p=1 case needed a different toolkit.\n\nWhat they do well is keep the argument short and fully written. Seward supplies a Bernoulli factor with r=2m+1 independent binary coordinates of entropy less than hRok. Finite orbit approximants share a common finite K0. Følner packing produces r|F| independent centered L1-normalized variables that stay close to a real subspace of dimension at most 2m|FK0|<(1−ε)r|F|. Malykhin’s rigidity then gives a uniform positive lower bound on average distance, contradiction. Realification (Lemma 2.2), the factor-multiplicity comparison (Lemma 4.1), and the Bernoulli freeness check in Corollary 4.2 are elementary and correct. Citations are appropriate; no circularity, no free parameters.\n\nThe soft spots are minor and already flagged by the authors. The argument uses amenability for the Følner packing step, so it says nothing about non-amenable groups (they pose the free-group Bernoulli question explicitly). Zero-entropy systems are left open, again with honest questions. Malykhin is an external black box, but it is applied exactly in the regime it covers. Nothing load-bearing is missing.\n\nThis is for people who work on entropy, spectral multiplicity, or Koopman representations on L1. It is a clean theorem paper that deserves a serious referee and should be accepted after ordinary checks. I would bring it to reading group and cite the main theorem when the L1 endpoint comes up.","headline":"Clean negative answer to Thouvenot’s L1-cyclic-vector question for free positive-entropy amenable actions; the p=1 endpoint is settled by a short, standard chain.","tokens_in":10433,"tokens_out":513,"would_cite":true,"duration_ms":4902,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37A35","37A15","37A30","41A46","46B20"],"pacs":[],"model":"grok-4.5","headline":"Positive Rokhlin entropy forces infinite L1 orbit multiplicity for free ergodic amenable actions, so no finite family of L1 functions has dense Koopman orbit span.","keywords":["Rokhlin entropy","L1-orbit multiplicity","Koopman operator","amenable groups","Bernoulli factors","Malykhin rigidity","Følner sequences","cyclic vectors"],"falsifier":"Exhibit a free ergodic positive-entropy amenable action that admits a finite family of L1 (or mean-zero L1) functions whose complex orbit span is dense; equivalently, construct a finite-dimensional complex orbit space that comes within Malykhin’s constant of the independent Bernoulli coordinates after Følner translation.","tokens_in":10417,"feed_emoji":"∞","tokens_out":735,"duration_ms":6769,"temperature":0.7,"pith_summary":"The paper settles a long-open endpoint question in ergodic theory: if a free ergodic action of a countably infinite amenable group has positive Rokhlin entropy, then its Koopman representation on complex L1 (and on the mean-zero subspace) has infinite orbit multiplicity. In plain terms, no finite collection of integrable functions can generate a dense subspace under the group action. This answers Thouvenot’s classical question in the negative for free positive-entropy transformations and supplies the missing p=1 case of Iwanik’s earlier Lp result. The argument is modular: Seward’s theorem supplies a Bernoulli factor whose independent binary coordinates are rigid under L1 approximation by low-dimensional subspaces (Malykhin), and a Følner packing shows that the dimension of any finite-orbit span cannot keep up with the number of independent variables. Readers who care about the interface between entropy and functional analysis therefore obtain a clean dichotomy: positive entropy precludes cyclic vectors in L1.","feed_headline":"Positive entropy kills finite L1 orbit multiplicity","feed_subtitle":"No finite family of integrable functions can generate a dense Koopman span for free ergodic amenable actions","key_machinery":"Malykhin’s rigidity theorem for independent mean-zero L1-normalized random variables: any real subspace of dimension at most (1-ε)N stays, on average, a definite positive distance away from N such variables. Combined with Seward’s Bernoulli factor and a Følner packing of the approximating orbit sums, this lower bound produces the dimension contradiction that forces infinite multiplicity.","core_discovery":"Every free ergodic measure-preserving action of a countably infinite amenable group with positive Rokhlin entropy has infinite complex L1-orbit multiplicity, both on L1 and on its mean-zero subspace L10. Consequently no finite family of functions has dense Koopman orbit span, answering Thouvenot’s cyclic-vector question negatively for free positive-entropy Z-actions and establishing the p=1 endpoint of Iwanik’s theorem.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Positive Rokhlin entropy forces infinite L1-orbit multiplicity","Free positive-entropy actions have infinite L1-orbit multiplicity","Positive entropy kills finite L1 Koopman generators","No finite L1 orbit span for positive Rokhlin entropy actions","Rokhlin entropy >0 implies infinite complex L1 multiplicity"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The proof collapses if independent mean-zero L1-normalized Bernoulli coordinates can be approximated arbitrarily well, on average, by a real subspace whose dimension is a strictly smaller fraction of their number.","fun_headline_variants_meta":{"raw":{"variants":["Positive Rokhlin entropy forces infinite L1-orbit multiplicity","Free positive-entropy actions have infinite L1-orbit multiplicity","Positive entropy kills finite L1 Koopman generators","No finite L1 orbit span for positive Rokhlin entropy actions","Rokhlin entropy >0 implies infinite complex L1 multiplicity"]},"model":"grok-4.5","effort":"low","cost_usd":0.005294,"raw_usage":{"total_tokens":1407,"prompt_tokens":691,"num_sources_used":0,"completion_tokens":73,"cost_in_usd_ticks":52940000,"prompt_tokens_details":{"text_tokens":691,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":643,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":691,"tokens_out":73,"duration_ms":5646,"temperature":1.0,"reasoning_tokens":643,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-14T04:49:21.204049+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a free ergodic positive-entropy amenable action that admits a finite family of L1 (or mean-zero L1) functions whose complex orbit span is dense; equivalently, construct a finite-dimensional complex orbit space that comes within Malykhin’s constant of the independent Bernoulli coordinates after Følner translation.","supporting_citations":[],"review_version":1}