Pith. sign in

REVIEW 5 minor 14 references

Positive Rokhlin Entropy Implies Infinite $L^1$-Orbit Multiplicity: A Negative Answer to Thouvenot's Question

T0 review · 0 major / 5 minor · reviewed 2026-07-14 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read 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.

desk verdict 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. read the letter →

arxiv 2607.11549 v1 pith:WREDSEKS submitted 2026-07-13 math.DS math.FA

Zongrui Hu , Leiye Xu , Shuhao Zhang This is my paper · ORCID
classification math.DSmath.FA MSC 37A3537A1537A3041A4646B20
keywords RokhlinentropyL1-orbitmultiplicityKoopmanoperatoramenablegroupsBernoullifactorsMalykhinrigidityFølnersequencescyclicvectors
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

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.

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.

minor comments (5)
  1. 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.
  2. 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.
  3. 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.
  4. In Corollary 4.2 the essential-freeness argument for finite-order elements is correct, yet the probability ho_d is written without an explicit formula for a general base; a parenthetical remark that ho_d < 1 for any non-Dirac base would make the estimate fully explicit.
  5. 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: pure contradiction from external black-box theorems plus elementary estimates

full rationale

The derivation of Theorem 1.1 is a self-contained contradiction argument that never reduces the claim to its own inputs. Seward’s Bernoulli factor theorem (Thm 2.4, external) supplies an independent r-fold Bernoulli factor with r=2m+1; finite orbit sums approximate the centered normalized coordinates; Følner packing (Lem 2.3, standard amenability) produces r|F| independent L1-normalized mean-zero variables lying close to a real subspace of dimension at most 2m|FK|<(1-ε)r|F| (via Lem 2.2); Malykhin’s rigidity (Thm 2.1, external) then forces a uniform positive average distance, contradicting density of the m-orbit span. All intermediate steps (Prop 3.1, Lem 4.1) are elementary L1 estimates written out in full. There are no fitted parameters, no self-definitional equations, no load-bearing self-citations, and no uniqueness theorems imported from the authors. The result is independent of the paper’s own definitions once the two external theorems are granted.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

Pure existence/contradiction theorem with no fitted constants. Load-bearing external inputs are Malykhin’s rigidity theorem, Seward’s Bernoulli factor theorem, and the standard Følner characterization of amenability; all are cited and used as black boxes. No new physical or mathematical entities are postulated beyond the standard definition of L1-orbit multiplicity.

assumptions (5)
  • domain assumption Malykhin rigidity (Thm 2.1): independent real mean-zero L1-normalized RVs stay uniformly far in average L1-distance from subspaces of relative dimension ≤1−ε.
    Invoked as the sole quantitative lower bound that produces the contradiction in Proposition 3.1; taken from Malykhin [8].
  • domain assumption Seward Bernoulli factor theorem (Thm 2.4): free ergodic actions of countably infinite groups with positive Rokhlin entropy factor onto any Bernoulli shift whose base Shannon entropy is at most h_Rok.
    Used in the proof of Theorem 1.1 to embed an r-fold binary Bernoulli shift with rH(q)<h; taken from Seward [12].
  • standard math Countable amenability iff Følner packing: for finite K∋e and δ>0 there exists finite F with |FK|≤(1+δ)|F| (Lemma 2.3).
    Standard characterization; packaged from Kerr–Li [7, Ch. 4] and used to control dim W_F relative to r|F|.
  • domain assumption For free ergodic actions of countably infinite amenable groups, Rokhlin entropy equals Kolmogorov–Sinai entropy.
    Cited from Seward [11] and Seward–Tucker-Drob [13]; used only to interpret the result in classical entropy language, not in the contradiction itself.
  • standard math Conditional expectation onto a factor is an L1-contraction that commutes with Koopman operators and preserves integrals (used in Lemma 4.1).
    Standard fact from ergodic theory texts (Einsiedler–Ward [3]); lets multiplicity pass to factors.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Positive Rokhlin Entropy Implies Infinite $L^1$-Orbit Multiplicity: A Negative Answer to Thouvenot's Question." pith.science (2026). https://pith.science/paper/WREDSEKS

@misc{pith2026260711549,
  author       = {Pith},
  title        = {Pith review of: Positive Rokhlin Entropy Implies Infinite $L^1$-Orbit Multiplicity: A Negative Answer to Thouvenot's Question},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WREDSEKS}},
  note         = {Machine review of arXiv:2607.11549}
}
abstract

We prove that every free ergodic measure-preserving action of a countably infinite amenable group with positive Rokhlin entropy has infinite complex $L^1$-orbit multiplicity, both on $L^1$ and on its mean-zero subspace $L^1_0$. This gives a negative answer to a question of J.-P. Thouvenot recorded by Iwanik and establishes the corresponding endpoint statement at $p=1$ of Iwanik's theorem that positive entropy implies infinite $L^p$-multiplicity for every $p>1$. The proof combines Malykhin's rigidity theorem for independent random variables, Seward's Bernoulli factor theorem, and a F{\o}lner set argument.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

14 extracted references · 9 canonical work pages

  1. [1]

    S. V. Astashkin and Yu. V. Malykhin,Rigidity of sets of independent functions in symmetric spaces, preprint, 2026, arXiv:2607.06530

    arXiv 2026

  2. [2]

    Burguet and R

    D. Burguet and R. Shi,Multiplicity of topological systems, Ergodic Theory Dynam. Systems44(2024), no. 10, 2832–2858. doi:10.1017/etds.2023.118

    work page doi:10.1017/etds.2023.118 2024

  3. [3]

    Einsiedler and T

    M. Einsiedler and T. Ward,Ergodic Theory with a View Towards Number Theory, Graduate Texts in Mathe- matics, vol. 259, Springer, London, 2011. doi:10.1007/978-0-85729-021-2

    doi:10.1007/978-0-85729-021-2 2011

  4. [4]

    Iwanik,Positive entropy implies infiniteL p-multiplicity forp >1, inErgodic Theory and Related Topics III(G¨ ustrow, 1990), Lecture Notes in Math., vol

    A. Iwanik,Positive entropy implies infiniteL p-multiplicity forp >1, inErgodic Theory and Related Topics III(G¨ ustrow, 1990), Lecture Notes in Math., vol. 1514, Springer, Berlin, 1992, pp. 124–127. doi:10.1007/BFb0097532

    work page doi:10.1007/bfb0097532 1990

  5. [5]

    Iwanik,The problem ofL p-simple spectrum for ergodic group automorphisms, Bull

    A. Iwanik,The problem ofL p-simple spectrum for ergodic group automorphisms, Bull. Soc. Math. France119 (1991), no. 1, 91–96. doi:10.24033/bsmf.2158

    work page doi:10.24033/bsmf.2158 1991

  6. [6]

    Kanigowski and M

    A. Kanigowski and M. Lema´ nczyk,Spectral theory of dynamical systems, preprint, 2020, arXiv:2006.11616

    arXiv 2020

  7. [7]

    Kerr and H

    D. Kerr and H. Li,Ergodic Theory: Independence and Dichotomies, Springer Monographs in Mathematics, Springer, Cham, 2016. doi:10.1007/978-3-319-49847-8

    doi:10.1007/978-3-319-49847-8 2016

  8. [8]

    Yu. V. Malykhin,Widths and rigidity, Sb. Math.215(2024), no. 4, 543–571. doi:10.4213/sm9958e; arXiv:2205.03453

    work page Pith review arXiv doi:10.4213/sm9958e 2024

Show all 14 references
  1. [9]

    Yu. V. Malykhin and K. S. Ryutin,Widths and rigidity of unconditional sets and random vectors, Izv. Math.89 (2025), no. 2, 261–273. doi:10.4213/im9620e; arXiv:2404.10098

    2025 doi arXiv

  2. [10]

    D. S. Ornstein and B. Weiss,Entropy and isomorphism theorems for actions of amenable groups, J. Analyse Math.48(1987), 1–141. doi:10.1007/BF02790325

    1987 doi

  3. [11]

    Seward,Krieger’s finite generator theorem for actions of countable groups

    B. Seward,Krieger’s finite generator theorem for actions of countable groups. I, Invent. Math.215(2019), no. 1, 265–310. doi:10.1007/s00222-018-0826-9; arXiv:1405.3604

    2019 doi arXiv

  4. [12]

    Seward,Positive entropy actions of countable groups factor onto Bernoulli shifts, J

    B. Seward,Positive entropy actions of countable groups factor onto Bernoulli shifts, J. Amer. Math. Soc.33 (2020), no. 1, 57–101. doi:10.1090/jams/931; arXiv:1804.05269

    2020 doi arXiv

  5. [13]

    Seward and R

    B. Seward and R. Tucker-Drob,Borel structurability on the 2-shift of a countable group, Annals of Pure and Applied Logic167(2016), no. 1, 1–21. doi:10.1016/j.apal.2015.07.005; arXiv:1402.4184

    2016 doi arXiv

  6. [14]

    Tiedra de Aldecoa,Spectral properties of horocycle flows for compact surfaces of constant negative curvature, Proyecciones36(2017), no

    R. Tiedra de Aldecoa,Spectral properties of horocycle flows for compact surfaces of constant negative curvature, Proyecciones36(2017), no. 1, 95–116. doi:10.4067/S0716-09172017000100006; arXiv:1506.06388. School of Mathematical Sciences, University of Science and Technology of...

    2017 doi arXiv

Pith tools

Reviewed July 14, 2026 · model on record in the stance chip above.