pith. sign in

arxiv: 1906.09171 · v1 · pith:A7ZL4OQ7new · submitted 2019-06-21 · 🧮 math.OA · math.DS

Comparison radius and mean topological dimension: mathbb{Z}^d-actions

Zhuang Niu This is my paper

Pith reviewed 2026-05-25 18:22 UTC · model grok-4.3

classification 🧮 math.OA math.DS
keywords comparison radiusmean topological dimensioncrossed product C*-algebrasℤ^d-actionsminimal free systemsCuntz semigroupclassification of C*-algebras
0
0 comments X

The pith

The comparison radius of C(X) ⋊ ℤ^d is at most half the mean topological dimension of a minimal free ℤ^d-action on X.

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

The paper proves that for any minimal free topological dynamical system given by a ℤ^d-action on a compact space X, the comparison radius of the associated crossed product C*-algebra is bounded above by half the mean topological dimension of the action. This supplies a direct link between a dynamical quantity and a C*-algebraic invariant that controls comparisons in the Cuntz semigroup. The bound is then applied to deduce that the crossed product is classifiable by its Elliott invariant whenever the mean topological dimension is zero. A reader cares because the result converts a computable dynamical datum into a concrete criterion for C*-algebra classification.

Core claim

It is shown that the comparison radius of the crossed product C*-algebra C(X) ⋊ ℤ^d is at most the half of the mean topological dimension of (X, T, ℤ^d). As a consequence, the C*-algebra C(X) ⋊ ℤ^d is classifiable if (X, T, ℤ^d) has zero mean dimension.

What carries the argument

The comparison radius of the crossed product, which upper-bounds the size needed for Cuntz comparisons of positive elements and is controlled by the mean topological dimension of the action.

If this is right

  • The crossed product C(X) ⋊ ℤ^d is classifiable by the Elliott invariant whenever the mean topological dimension is zero.
  • The comparison radius supplies a quantitative bridge between the mean topological dimension and the Cuntz semigroup of the crossed product.
  • Any dynamical system whose mean topological dimension can be computed yields an explicit upper bound on the comparison radius of its crossed product.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The bound may allow explicit verification of classifiability for concrete systems such as subshifts whose mean dimension is known.
  • Similar radius bounds could be sought for actions of other amenable groups once the ℤ^d case is settled.
  • The result suggests that vanishing mean dimension is a sufficient condition for the crossed product to lie in the classifiable class even when d > 1.

Load-bearing premise

The dynamical system is assumed to be minimal and free.

What would settle it

A single minimal free ℤ^d-action for which the comparison radius of C(X) ⋊ ℤ^d exceeds half the mean topological dimension would falsify the stated bound.

read the original abstract

Consider a minimal free topological dynamical system $(X, T, \mathbb{Z}^d)$. It is shown that the comparison radius of the crossed product C*-algebra $\mathrm{C}(X) \rtimes \mathbb{Z}^d$ is at most the half of the mean topological dimension of $(X, T, \mathbb{Z}^d)$. As a consequence, the C*-algebra $\mathrm{C}(X) \rtimes \mathbb{Z}^d$ is classifiable if $(X, T, \mathbb{Z}^d)$ has zero mean dimension.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 4 minor

Summary. The paper proves that for any minimal free topological dynamical system (X, T, ℤ^d), the comparison radius of the crossed-product C*-algebra C(X) ⋊ ℤ^d is at most half the mean topological dimension of the system. As a corollary, the crossed product is classifiable whenever the mean dimension vanishes.

Significance. The result supplies a concrete, checkable dynamical criterion (vanishing mean dimension) for classifiability of a large class of crossed-product C*-algebras. It thereby strengthens the dictionary between mean topological dimension and C*-algebraic invariants such as comparison radius, and furnishes a new route to classification results for ℤ^d-actions.

minor comments (4)
  1. §2, Definition 2.3: the comparison radius is introduced via the radius of comparison; a short sentence recalling its relation to the radius of comparison for the unitization would help readers who encounter the notion for the first time.
  2. §4, Theorem 4.1: the factor 1/2 appears without an explicit remark on whether it is sharp; a one-sentence comment on known examples where equality holds (or is conjectured) would clarify the optimality of the bound.
  3. Notation: the symbol mdim is used for mean dimension in the abstract but mdim(X,T) appears in the body; a uniform choice (or a short notation paragraph) would remove ambiguity.
  4. References: the citation list omits the 2018 paper of Kerr–Li on mean dimension and C*-algebras; adding it would place the result in clearer context.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The central claim is an inequality relating two independently defined invariants (comparison radius of the crossed product and mean topological dimension) for minimal free ℤ^d-actions. The derivation proceeds via the standard crossed-product construction and properties of these invariants; no step reduces by definition, by fitting a parameter then relabeling it a prediction, or by a load-bearing self-citation chain. The result is a genuine bound rather than a tautology or renaming of inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract alone supplies no information on free parameters, axioms, or invented entities.

pith-pipeline@v0.9.0 · 5609 in / 985 out tokens · 24080 ms · 2026-05-25T18:22:10.548687+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

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

  1. Elementary amenability and almost finiteness

    math.DS 2021-07 unverdicted novelty 6.0

    Every free continuous action of a countably infinite elementary amenable group on a finite-dimensional compact metrizable space is almost finite, with the consequence that minimal crossed products are Z-stable and Ell...

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages · cited by 1 Pith paper · 2 internal anchors

  1. [1]

    G. A. Elliott, G. Gong, H. Lin, and Z. Niu. On the classification of simp le amenable C*-algebras with finite decomposition rank, II. 07 2015. URL: http://arxiv.org/abs/1507.03437, arXiv:1507.03437

    work page arXiv 2015

  2. [2]

    G. A. Elliott and Z. Niu. On the radius of comparison of a commutativ e C*-algebra. Canad. Math. Bull. , 56(4):737–744, 2013. URL: https://doi.org/10.4153/CMB-2012-012-9 , doi:10.4153/CMB-2012-012-9

    work page doi:10.4153/cmb-2012-012-9 2013

  3. [3]

    Operator Algebras and their Applications: A Tribute to Richard V. Kadison

    G. A. Elliott and Z. Niu. On the classification of simple amenable C*-alg ebras with finite decomposi- tion rank. In R. S. Doran and E. Park, editors, “Operator Algebras and their Applications: A Tribute to Richard V. Kadison”, Contemporary Mathematics , volume 671, pages 117–125. Amer. Math. Soc., 2016. arXiv:http://dx.dot.org/10.1090/conm/671/13506

    work page doi:10.1090/conm/671/13506 2016

  4. [4]

    G. A. Elliott and Z. Niu. The C ∗-algebra of a minimal homeomorphism of zero mean dimen- sion. Duke Math. J. , 166(18):3569–3594, 2017. URL: https://doi.org/10.1215/00127094-2017-0033 , doi:10.1215/00127094-2017-0033

    work page doi:10.1215/00127094-2017-0033 2017

  5. [5]

    G. Gong, H. Lin, and Z. Niu. Classification of finite simple amenable Z-stable C*-algebras. 01 2015. URL: http://arxiv.org/abs/1501.00135, arXiv:1501.00135

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  6. [6]

    M. Gromov. Topological invariants of dynamical systems and spa ces of holomorphic maps. I. Math. Phys. Anal. Geom., 2(4):323–415, 1999. URL: https://mathscinet.ams.org/mathscinet-getitem?mr=17 42309, doi:10.1023/A:1009841100168

    work page doi:10.1023/a:1009841100168 1999

  7. [7]

    Mean dimension of Zk-actions

    Yonatan Gutman, Elon Lindenstrauss, and Masaki Tsukamoto. Mean dimension of Zk-actions. Geom. Funct. Anal. , 26(3):778–817, 2016. URL: http://dx.doi.org/10.1007/s00039-016-0372-9 , doi:10.1007/s00039-016-0372-9

    work page doi:10.1007/s00039-016-0372-9 2016

  8. [8]

    Haagerup

    U. Haagerup. Quasitraces on exact C ∗-algebras are traces. C. R. Math. Acad. Sci. Soc. R. Can. , 36(2-3):67– 92, 2014

    work page 2014

  9. [9]

    Kerr and G

    D. Kerr and G. Szabo. Almost finiteness and the small boundary p roperty. 07 2018. URL: https://arxiv.org/pdf/1807.04326, arXiv:1807.04326

    work page arXiv 2018

  10. [10]

    Lindenstrauss

    E. Lindenstrauss. Mean dimension, small entropy factors and an embedding the- orem. Inst. Hautes ´Etudes Sci. Publ. Math. , (89):227–262 (2000), 1999. URL: http://www.numdam.org/item?id=PMIHES_1999__89__227_0

    work page 2000

  11. [11]

    Lindenstrauss and B

    E. Lindenstrauss and B. Weiss. Mean topological dimension. Israel J. Math. , 115:1–24, 2000. URL: http://dx.doi.org/10.1007/BF02810577, doi:10.1007/BF02810577

    work page doi:10.1007/bf02810577 2000

  12. [12]

    Z. Niu. Comparison radius and mean topological dimension: Rokhlin property, comparison of open sets, and subhomogeneous C*-algebras. preprint, 2019

    work page 2019

  13. [13]

    M. Rørdam. On the structure of simple C*-algebras tensored w ith a UHF-algebra. II. J. Funct. Anal. , 107(2):255–269, 1992. URL: http://dx.doi.org/10.1016/0022-1236(92)90106-S, doi:10.1016/0022-1236(92)90106-S. COMPARISON RADIUS AND MEAN TOPOLOGICAL DIMENSION: Zd-ACTIONS 21

    work page doi:10.1016/0022-1236(92)90106-s 1992

  14. [14]

    Schneider

    R. Schneider. Convex bodies: the Brunn-Minkowski theory , volume 44 of Encyclopedia of Mathematics and its Applications . Cambridge University Press, Cambridge, 1993. URL: https://mathscinet.ams.org/mathscinet-getitem?mr=12 16521, doi:10.1017/CBO9780511526282

    work page doi:10.1017/cbo9780511526282 1993

  15. [15]

    G. Szab´ o. The Rokhlin dimension of topological Zm-actions. Proc. Lond. Math. Soc. (3) , 110(3):673–694, 2015. URL: https://mathscinet.ams.org/mathscinet-getitem?mr=33 42101, doi:10.1112/plms/pdu065

    work page doi:10.1112/plms/pdu065 2015

  16. [16]

    White, and W

    A Tikuisis, S. White, and W. Winter. Quasidiagonality of nuclear C*- algebras. Ann. of Math. (2), to appear ,

    work page

  17. [17]

    URL: http://arxiv.org/abs/1509.08318, arXiv:1509.08318

    work page internal anchor Pith review Pith/arXiv arXiv

  18. [18]

    A. S. Toms. Flat dimension growth for C*-algebras. J. Funct. Anal. , 238(2):678–708, 2006. Department of Mathematics, University of Wyoming, Laramie , Wyoming, USA, 82071 E-mail address : zniu@uwyo.edu

    work page 2006