Source authenticated

The Phillips-Toms conjecture for minimal homeomorphisms: radius of comparison equals half the mean dimension

Theorem 1.1: for every minimal homeomorphism hh of an infinite compact metrizable XX, rc(C(X)⋊hZ)=12mdim(X,h)\mathrm{rc}(C(X)\rtimes_h\mathbb Z)=\frac12\mathrm{mdim}(X,h) in [0,∞][0,\infty]. The new part is mdim≤2 rc\mathrm{mdim}\le2\,\mathrm{rc}, obtained by turning comparison witnesses into bundle data and compressing cube-valued maps via the companion's cobordism theorem, for every finite open cover and with no finite-dimensionality hypothesis on XX. Corollary 1.2: zero mean dimension, the small boundary property, Jiang-Su stability, finite nuclear dimension and nuclear dimension at most one are equivalent for these crossed products. It does not treat Zd\mathbb Z^d or general amenable group actions (Niu's broader formulation).

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Sep 25, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: The Phillips-Toms conjecture for minimal homeomorphisms: radius of comparison equals half the mean dimension · Phillips-Toms conjecture (integer actions)

Confidence: Not scored

Registry verification: unreviewed · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Lineage and corrections

This event attributed to Unreleased internal OpenAI model

The Phillips-Toms conjecture for minimal homeomorphisms: radius of comparison equals half the mean dimension parent of this event

The Phillips-Toms conjecture for minimal homeomorphisms: radius of comparison equals half the mean dimension evidence for this event

Theorem 1.1: for every minimal homeomorphism hh of an infinite compact metrizable XX, rc(C(X)⋊hZ)=12mdim(X,h)\mathrm{rc}(C(X)\rtimes_h\mathbb Z)=\frac12\mathrm{mdim}(X,h) in [0,∞][0,\infty]. The new part is mdim≤2 rc\mathrm{mdim}\le2\,\mathrm{rc}, obtained by turning comparison witnesses into bundle data and compressing cube-valued maps via the companion's cobordism theorem, for every finite open cover and with no finite-dimensionality hypothesis on XX. Corollary 1.2: zero mean dimension, the small boundary property, Jiang-Su stability, finite nuclear dimension and nuclear dimension at most one are equivalent for these crossed products. It does not treat Zd\mathbb Z^d or general amenable group actions (Niu's broader formulation). parent of this event

VibeMathed record: The Phillips-Toms conjecture for minimal homeomorphisms: radius of comparison equals half the mean dimension evidence for this event

Elliott-Niu, The C*-algebra of a minimal homeomorphism of zero mean dimension (Duke 2017) evidence for this event

Companion: Filtered products and boundary-preserving compression in complex cobordism evidence for this event

Schafhauser-Tikuisis-White, Nuclear C*-algebras: 99 problems (Problem XXXVI) evidence for this event

Act on this frontier

Verify, challenge, or extend the result.