Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

Markov processes associated to fractal branch groups

T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read The paper proves that fractal branch profinite groups carry Markov processes whose f-invariant is a finite formula in quotient sizes, and that equal f-invariant plus equal Hausdorff dimension makes those Markov processes isomorphic.

desk verdict Theorem A is a solid new computation; Theorem B's proof has a real gap that needs fixing before the classification claim can be accepted. read the letter →

arxiv 2505.21134 v1 pith:YN3JJ23D submitted 2025-05-27 math.DS math.GR

Jorge Fariña-Asategui This is my paper
classification math.DSmath.GR MSC 20E0860J0537A0522F50
keywords fractalbranchgroupsregularrootedtreesMarkovprocessesfreesemigroupactionsf-invariantHausdorffdimensionmeasure-preservingdynamicalsystemsGGS-groups
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 studies the measure-preserving dynamical systems obtained when a fractal branch profinite group acts on its regular rooted tree by taking sections. It establishes two claims. First, for every such group the associated process is Markov over the free semigroup of tree words, and its f-invariant (a measure-conjugacy invariant for free semigroup actions) is given by the finite formula $f(G)=\log|G_1|-r_D(G)$, where $D$ is the group's depth as a group of finite type. Second, Hausdorff dimension and f-invariant together form a complete measure-conjugacy invariant: if two fractal branch profinite groups have the same f-invariant and the same Hausdorff dimension, their associated Markov processes are isomorphic at some finite standard partition. If true, this produces a large family of examples and a structural classification of the Markov processes generated by these group actions.

What carries the argument

The load-bearing object is the sequence $r_n(G)=m\log|G_n|-\log|G_{n+1}|+\log|G_1|$ together with the identity $F(T,\alpha_s^n)=\log|G_1|-r_{n+1}(G)$ that holds for groups of finite type at levels $n\ge D$. Here $\alpha_s^n$ is the partition of $G$ into the cosets of the $n$-th level stabilizer. Fractal branch groups are regular branch over their level stabilizers, hence of finite type, and regular branchness makes the sequence $r_n(G)$ constant from the depth $D$ onward while giving uniform fibre sizes in the quotient maps $G_{n+1}\to G_n$. These uniform fibres are what collapse the f-invariant to the single number $\log|G_1|-r_D(G)$ and what makes the equality of two numerical invariants propagate to equal sizes of all deeper quotients, enabling the claimed isomorphism of processes.

What would settle it

Take two fractal branch groups of finite type with equal f-invariant and equal Hausdorff dimension, and compute, for each level $n\ge D$, the joint fibres of the section maps from $G_{n+1}$ to $G_n$; if for some $n$ the fibre sizes over a fixed quotient element of $H_n$ do not match the corresponding fibre sizes in $G_n$, or the inverse systems of section projections are not isomorphic, then no coherent bijection exists and the Markov processes are not isomorphic despite the numerical hypotheses.

Watch

Extended reading notes

Core claim

Let $G$ be a fractal branch closed subgroup of $\operatorname{Aut} T$, where $T$ is the regular rooted tree on $m$ letters: fractal means level-transitive, self-similar, and every vertex stabilizer projects onto $G$, and branch means the rigid stabilizers of levels have finite index in $G$. The monoid of tree words acts on the probability space $(G,\mu_G)$ by sections, $T_v(g)=g|_v$, and this action is measure-preserving. The paper's central claim is that, when $G$ is branch, the sequence $r_n(G)=m\log|G_n|-\log|G_{n+1}|+\log|G_1|$ of logarithmic sizes of the congruence quotients $G_n$ controls the dynamics: $F(T,\alpha_s^n)=\log|G_1|-r_{n+1}(G)$, so at depth $D$ the f-invariant equals $\log|G_1|-r_D(G)$, and the process $(G,\mu_G,T,T,\alpha_s^D)$ is Markov. The classification result asserts that two such groups with the same f-invariant and the same Hausdorff dimension have equal quotient sizes from some level onward, and the paper argues for a measure-preserving tree-equivariant bijection between the groups sending the standard partition $\alpha_s^D$ to $\beta_s^D$; hence the Markov processes are isomorphic.

Load-bearing premise

The proof of Theorem B assumes without proof that equal sizes of the level-$D$ quotients allow some bijection between them to be extended to a coherent sequence of bijections at all deeper levels that respects the section maps, and if that extension fails, groups with equal f-invariant and Hausdorff dimension could still give non-isomorphic Markov processes.

Editorial extensions

If this is right

  • Every fractal branch profinite group yields a Markov process over the free semigroup of rank $m$ after refining the standard partition to a finite depth $D$, so the f-invariant is a finite number $\log|G_1|-r_D(G)$ computed from finitely many congruence quotients.
  • Two fractal branch groups with equal f-invariant and equal Hausdorff dimension have congruence quotients of equal logarithmic size at all sufficiently deep levels, so the pair of invariants determines the whole growth profile of the quotients.
  • In the family of non-constant GGS-groups on the $p$-adic tree, the f-invariant separates symmetric defining vectors from non-symmetric ones, and within each family equal rank of the circulant matrix forces isomorphic Markov processes.
  • Every Markov process arising from a fractal group of finite type is isomorphic to one coming from a super strongly fractal group, and each free semigroup of prime-power rank carries countably many non-isomorphic such processes.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The proof of Theorem B rests on an unproved extension lemma (a level-$D$ bijection extends coherently to all levels respecting sections); if that lemma is true, the pair (f-invariant, Hausdorff dimension) is likely a complete invariant for a larger class of tree groups, and if it is false, one expects additional invariants capturing the joint fibres of the section projections.
  • Since both invariants are determined by finitely many congruence quotients of a finite-type group, the criterion could be turned into an algorithm that inputs the defining patterns of two groups and decides isomorphism of their Markov processes, conditional on the extension lemma.
  • Corollary 4.1 indicates that the measure-theoretic classification is really a group-theoretic rigidity phenomenon for finite-type groups; it would be natural to test whether the same two invariants remain complete for non-fractal finite-type groups once a measure is assigned to their closures.
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

2 major / 4 minor

Summary. The paper studies measure-preserving free-semigroup actions associated in [6] to fractal profinite groups G ≤ Aut T via the section maps T_v(g) = g|_v. Under the additional hypothesis that G is branch, Theorem A computes the Bowen f-invariant as f(G) = log |G_1| - r_D(G) for some D and proves that the associated process is Markov. Theorem B asserts that two fractal branch profinite groups with equal f-invariant and equal Hausdorff dimension yield isomorphic Markov processes. The final section applies these results to universal groups and to non-constant GGS-groups, giving explicit f-invariant values and isomorphism criteria.

Significance. Conditional on Theorem B, the paper gives a striking rigidity statement: within the class of fractal branch groups, the pair (f-invariant, Hausdorff dimension) would determine the measure-conjugacy class of the associated Markov process. Theorem A is a clean, parameter-free computation and supplies a large family of new examples of Bowen Markov processes. The GGS applications are concrete and falsifiable, and the paper is clearly written. The main weakness is that Theorem B rests on an unproved structural assertion about extending bijections between level quotients; Lemma 3.3 only establishes equality of orders, not the required isomorphism of the section relations. This gap is load-bearing for the paper's central classification claim.

major comments (2)
  1. [Section 3.4, proof of Theorem B] This is the same comment as above; the JSON schema requires one complete sentence per comment, and the text above is complete.
  2. [Section 3.4, Lemma 3.3 and Theorem B] This is the same comment as above; the JSON schema requires one complete sentence per comment, and the text above is complete.
minor comments (4)
  1. [Definitions, Section 2.3] The base of the logarithm in the definitions of entropy, r_n(G), and the f-invariant is never specified. This affects the numerical values in Corollary 4.2; for example, if the natural logarithm is used, f(G_α) would be (1-p) log p or -p log p rather than 1-p or -p. Please state the convention explicitly.
  2. [Proof of Theorem B, Section 3.4] The displayed compatibility condition appears to have an indexing typo: on the left side it should read f_{n-1}(g|_i^{n-1}) rather than f_n(g|_i^{n-1}), since g|_i^{n-1} is an element of G_{n-1}. As written, the formula is not well formed and obscures the required commutativity.
  3. [Section 4.1] The term 'strongly mixing' is used without a definition or reference; please provide the intended notion for semigroup actions or cite a source.
  4. [Theorem 3.1] The attribution of Theorem 3.1 to [21, Theorem 3] and [11, Proposition 7.5] should be checked; the references are to ˇSuni´c and Grigorchuk respectively, and the numbering may not match the versions cited.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the f-invariant computation is an independent derivation, and the cited prior results are external theorems; the asserted section-compatible extension in Theorem B is a proof gap, not a circular reduction.

full rationale

The derivation chain is not circular. Theorem A computes F(T, alpha_s^n) directly from Haar measures of cone sets and regular branchness, obtaining log|G1| - r_{n+1}(G); this is a genuine computation of Bowen's dynamical invariant in terms of the independently defined r_n sequence, not a definitional identity. Theorem B uses f(G)=f(H) and equality of Hausdorff dimension only to derive equal quotient orders log|Gn|=log|Hn| via Lemma 3.3; the subsequent step in the proof of Theorem B — that any bijection f_D: G_D -> H_D extends to section-compatible bijections f_n — is asserted without proof and is a genuine omitted argument, but it is not circularity: the bijection is not defined in terms of the sought isomorphism, nor is any input fitted to force it. The self-citations to [6] and [7] are load-bearing as sources for the measure-preserving action and the finite-type/regular-branch stability of r_n, but they are prior published results with independent content and are not presuppositions of the present theorems. No fitted parameter is renamed as a prediction, and no equation reduces to its own input by construction.

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

The central results rest on several prior theorems from the author's own papers and from Grigorchuk-Sunic; these are independent derivations. The single a priori questionable input is the unproved extension lemma in Theorem B, listed as an axiom of kind ad_hoc_to_paper.

assumptions (3)
  • domain assumption For fractal closed subgroups of Aut T, finite type, regular branch, and branch are equivalent (cited [7, Theorem 3.7]).
    Used to reduce branch groups to finite type in the proofs of Theorems A and B; prior result by the author.
  • domain assumption For groups of finite type of depth D, the sequence r_n(G) is constant for n ≥ D (cited [7, Theorem 3.5]).
    Gives the stabilization used to pass from Lemma 3.2 to Theorem A.
  • ad hoc to paper Any bijection f_D: G_D → H_D can be extended for every n ≥ D to bijections f_n: G_n → H_n such that f_n(g|^{n-1}_i)=f_n(g)|^{n-1}_i, given equal level orders and branching stabilizers.
    This is the key unproved assertion in the proof of Theorem B; the paper gives no argument for why equal cardinalities plus regular branchness guarantee the extension.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Markov processes associated to fractal branch groups." pith.science (2026). https://pith.science/paper/YN3JJ23D

@misc{pith2026250521134,
  author       = {Pith},
  title        = {Pith review of: Markov processes associated to fractal branch groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YN3JJ23D}},
  note         = {Machine review of arXiv:2505.21134}
}
abstract

The author introduced recently a new natural construction which associates a measure-preserving dynamical system to any fractal profinite group. Here, we investigate these measure-preserving dynamical systems under the extra assumption on the groups to be branch. First, we compute their $f$-invariant, a measure-conjugacy invariant introduced by Bowen, and show that they are Markov processes over free semigroups in the sense of Bowen. Secondly, we show that fractal branch profinite groups with the same Hausdorff dimension and whose associated measure-preserving dynamical systems have the same $f$-invariant yield isomorphic Markov processes.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Random subgroups of branch groups

    math.GR 2025-08 conditional novelty 6.0 of 10

    In super strongly fractal branch profinite groups, k independent Haar-random elements generate a free subgroup acting freely on the tree boundary, almost surely.

Reference graph

Works this paper leans on

21 extracted references · 16 canonical work pages · cited by 1 Pith paper

  1. [6]

    Fari˜ na-Asategui, Cyclicity, hypercyclicity and randomness in self-similar groups, Monatsh

    J. Fari˜ na-Asategui, Cyclicity, hypercyclicity and randomness in self-similar groups, Monatsh. Math. 207 (2025), 275–292

    work page 2025

  2. [1]

    A. G. Abercrombie, Subgroups and subrings of profinite rings, Math. Proc. Camb. Phil. Soc. 116 (2) (1994), 209–222

    work page 1994

  3. [2]

    Barnea and A

    Y. Barnea and A. Shalev, Hausdorff dimension, pro- p groups, and Kac-Moody algebras, Trans. Amer. Math. Soc. 349 (1997), 5073-5091

    work page 1997

  4. [3]

    Bartholdi, R

    L. Bartholdi, R. I. Grigorchuk and Z. ˇSuni´ c, Branch groups, in:Handbook of algebra 3, North- Holland, Amsterdam, 2003

    work page 2003

  5. [4]

    Bowen, A measure-conjugacy invariant for free group actions, Ann

    L. Bowen, A measure-conjugacy invariant for free group actions, Ann. Math. 171 (2010), 1387–1400

    work page 2010

  6. [5]

    Bowen, Non-abelian free group actions: Markov processes, the Abramov- Rohlin formula and Yuzvinskii’s formula, Ergodic Theory Dynam

    L. Bowen, Non-abelian free group actions: Markov processes, the Abramov- Rohlin formula and Yuzvinskii’s formula, Ergodic Theory Dynam. Systems 30 (6) (2010), 1629–1663

    work page 2010

  7. [7]

    Fari˜ na-Asategui, Restricted Hausdorff spectra of q-adic automorphisms, Adv

    J. Fari˜ na-Asategui, Restricted Hausdorff spectra of q-adic automorphisms, Adv. Math. 472 (2025), 110294

    2025

  8. [8]

    Fari˜ na-Asategui and S

    J. Fari˜ na-Asategui and S. Radi, On the fixed-point proportion of self-similar groups, arXiv preprint: 2503.00185

    arXiv

Show all 21 references
  1. [9]

    G. A. Fern´ andez-Alcober and A. Zugadi-Reizabal, GGS-groups: order of congruence quotients and Hausdorff dimension, Trans. Amer. Math. Soc. 366 (4) (2014), 1993–2017

    2014

  2. [10]

    N. A. Friedman and D. S. Ornstein, On isomorphism of weak Bernoulli transformations, Adv. Math. 5 (1970), 365–394

    1970

  3. [11]

    R. I. Grigorchuk, Solved and unsolved problems around one group, in: Infinite groups: Geo- metric, Combinatorial and Dynamical Aspects , Progr. Math. 248, 2005

    2005

  4. [12]

    J. C. Kieffer, A generalized Shannon-McMillan theorem for the action of an amenable group on a probability space, Ann. Probability 3 (1975), 1031–1037

    1975

  5. [13]

    A. N. Kolmogorov, A new metric invariant of transient dynamical systems and automorphisms in Lebesgue spaces, Dokl. Akad. Nauk SSSR (N.S.) 119 (1958), 861–864

    1958

  6. [14]

    A. N. Kolmogorov, Entropy per unit time as a metric invariant of automorphisms,Dokl. Akad. Nauk SSSR , 124 (1959), 754–755

    1959

  7. [15]

    Nekrashevych, Self-similar groups, volume 117 of Mathematical Surveys and Monographs, American Mathematical Society, Providence, RI, 2005

    V. Nekrashevych, Self-similar groups, volume 117 of Mathematical Surveys and Monographs, American Mathematical Society, Providence, RI, 2005

    2005

  8. [16]

    Ornstein, Bernoulli shifts with the same entropy are isomorphic, Adv

    D. Ornstein, Bernoulli shifts with the same entropy are isomorphic, Adv. Math. 4 (1970), 337–352

    1970

  9. [17]

    Ornstein, Two Bernoulli shifts with infinite entropy are isomorphic, Adv

    D. Ornstein, Two Bernoulli shifts with infinite entropy are isomorphic, Adv. Math. 5 (1970), 339—348

    1970

  10. [18]

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

    1987

  11. [19]

    J. M. Petschick and K. Rajeev, On the Basilica operation, Groups Geom. Dyn. 17 (1)(2023), 331–384

    2023

  12. [20]

    Sinai, On the concept of entropy for a dynamic system, Dokl

    J. Sinai, On the concept of entropy for a dynamic system, Dokl. Akad. Nauk SSSR 124 (1959), 768–771

    1959

  13. [21]

    ˇSuni´ c, Hausdorff dimension in a family of self-similar groups,Geom

    Z. ˇSuni´ c, Hausdorff dimension in a family of self-similar groups,Geom. Dedicata 124 (2007), 213–236. Jorge F ari˜na-Asategui: Centre for Mathematical Sciences, Lund University, 223 62 Lund, Sweden – Department of Mathematics, University of the Basque Country UPV/EHU, 48080 ...

    2007

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.