Pith. sign in

REVIEW 2 major objections 2 minor 1 cited by

The hyperfinite II$_1$-factor is Ulam stable

T0 review · 2 major / 2 minor · reviewed 2026-06-27 · grok-4.3

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

Pith's one-line read The hyperfinite II₁-factor is Ulam stable: sufficiently additive and multiplicative maps into other II₁-factors are close to genuine *-homomorphisms after small target amplification.

desk verdict The paper proves Ulam stability for the hyperfinite II1 factor by reducing it to a new dimension-free stability result for matrix algebras, which looks like the real technical contribution. read the letter →

arxiv 2606.07369 v1 pith:KN6WQVSL submitted 2026-06-05 math.OA

Vadim Alekseev , Andreas Thom This is my paper · ORCID
classification math.OA
keywords UlamstabilityhyperfiniteII1factorvonNeumannalgebrastracenormapproximatehomomorphismsoperatorofmapsmatrix
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 shows that the hyperfinite II₁-factor satisfies Ulam stability in the trace norm on the unit ball. This means that any map from it into another II₁-factor that is close enough to preserving addition, multiplication, the unit, and the * operation must be uniformly close to an actual unital *-homomorphism once the target is amplified by a small factor. The argument rests on first proving a stability result for matrix algebras that does not depend on their size. If this holds, the hyperfinite factor cannot be approximated arbitrarily well by other II₁-factors via almost-isomorphisms, which separates it structurally inside the class of all such algebras.

What carries the argument

dimension-free stability theorem for matrix algebras in the trace-norm setting, which lifts approximate maps on finite matrices to the infinite hyperfinite factor

What would settle it

An explicit map from the hyperfinite II₁-factor to some II₁-factor that stays sufficiently additive and multiplicative yet remains bounded away from every unital *-homomorphism even after arbitrary small amplification of the target, or a matrix-algebra counterexample showing that the required stability constant grows with dimension.

Watch

Extended reading notes

Core claim

We prove Ulam stability of the hyperfinite II₁-factor with respect to the trace norm on the operator-norm unit ball. More precisely, every sufficiently additive, multiplicative, unital, *-preserving map from the hyperfinite II₁-factor into a II₁-factor von Neumann algebra is uniformly close, after passing to a small amplification of the target, to a genuine unital *-homomorphism. As a key finite-dimensional ingredient, we establish a dimension-free stability theorem for matrix algebras in the same trace-norm setting. As an application, we show that the hyperfinite II₁-factor is isolated among II₁-factors with respect to sufficiently accurate approximate *-isomorphisms.

Load-bearing premise

A dimension-free stability theorem for matrix algebras in the trace-norm setting holds and serves as the key finite-dimensional ingredient.

Editorial extensions

If this is right

  • The hyperfinite II₁-factor is isolated among II₁-factors with respect to sufficiently accurate approximate *-isomorphisms.
  • Stability results proved for matrices transfer directly to the infinite hyperfinite factor via the dimension-free property.
  • Amplification of the target algebra suffices to convert approximate maps into exact homomorphisms with uniform control.
  • Any two sufficiently close approximate *-isomorphisms between II₁-factors involving the hyperfinite one must actually be close to true isomorphisms.

Reading between the lines

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

  • The isolation result suggests that the hyperfinite factor occupies a discrete point in the metric space of II₁-factors equipped with approximate isomorphism distance.
  • The same lifting technique from matrices might apply to stability questions for other approximately finite-dimensional algebras once a suitable dimension-free estimate is available.
  • If the matrix stability constant can be made explicit, one obtains quantitative bounds on how close an approximate map must be before it is guaranteed to be near a homomorphism.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 2 minor

Summary. The manuscript proves Ulam stability of the hyperfinite II₁-factor R with respect to the trace norm on the operator-norm unit ball: every map from R into a II₁-factor that is sufficiently additive, multiplicative, unital and *-preserving is uniformly close, after a small amplification of the target, to a genuine unital *-homomorphism. The argument reduces the infinite-dimensional statement to a new dimension-free stability theorem for unital *-maps from matrix algebras M_n(ℂ) into arbitrary II₁-factors (measured in trace norm), then passes to the inductive limit along the ascending union of matrix subalgebras inside R while controlling the amplification factor uniformly. As an application the paper shows that R is isolated among II₁-factors with respect to sufficiently accurate approximate *-isomorphisms.

Significance. If the dimension-free matrix stability holds with constants independent of n, the result supplies the first Ulam-stability theorem for an infinite-dimensional von Neumann algebra in the trace-norm setting and yields a concrete isolation statement for the hyperfinite factor. The reduction via the ascending union and the uniform control on amplification are technically clean once the finite-dimensional ingredient is granted.

major comments (2)
  1. [matrix stability theorem (section containing the finite-dimensional result)] The dimension-free stability theorem for matrix algebras (the key finite-dimensional ingredient referenced in the abstract and used to control the inductive limit) must be checked for explicit n-independence of both the closeness threshold and the amplification factor. If any error term or constant grows with n—even logarithmically—the uniform bound required for the passage to the limit inside R fails, and the isolation application collapses.
  2. [reduction to inductive limit / passage to the limit] The reduction from maps on R to maps on the finite matrix subalgebras (presumably in the section deriving the infinite-dimensional statement from the matrix case) requires a uniform amplification factor across all n. The manuscript must exhibit an explicit bound on this factor that does not depend on the particular approximating sequence of matrix algebras.
minor comments (2)
  1. Notation for the trace-norm distance on the operator-norm unit ball should be introduced once and used consistently; the abstract uses “uniformly close” without specifying the metric.
  2. The precise meaning of “sufficiently additive, multiplicative” (i.e., the quantitative thresholds) should be stated in the introduction before the main theorem.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the detailed comments. We address the two major comments below. The manuscript already establishes the required n-independence in the finite-dimensional result, but we will make the uniformity explicit in the text for clarity.

read point-by-point responses

  1. Referee: [matrix stability theorem (section containing the finite-dimensional result)] The dimension-free stability theorem for matrix algebras (the key finite-dimensional ingredient referenced in the abstract and used to control the inductive limit) must be checked for explicit n-independence of both the closeness threshold and the amplification factor. If any error term or constant grows with n—even logarithmically—the uniform bound required for the passage to the limit inside R fails, and the isolation application collapses.

    Authors: The dimension-free stability theorem (Theorem 3.1) is proved with constants independent of n. The estimates for the closeness threshold and amplification factor are obtained from trace-norm inequalities that depend only on the unit-ball operator-norm bound, approximate multiplicativity, and *-preservation; the argument never invokes the matrix dimension and yields absolute constants. No logarithmic or other n-dependent error terms appear. We will add a short remark after the proof of Theorem 3.1 explicitly stating that both constants are absolute (independent of n). revision: partial

  2. Referee: [reduction to inductive limit / passage to the limit] The reduction from maps on R to maps on the finite matrix subalgebras (presumably in the section deriving the infinite-dimensional statement from the matrix case) requires a uniform amplification factor across all n. The manuscript must exhibit an explicit bound on this factor that does not depend on the particular approximating sequence of matrix algebras.

    Authors: The amplification factor in the inductive-limit argument (Section 4) is exactly the absolute constant furnished by Theorem 3.1 and is therefore independent of n. Because the same δ works uniformly for all restrictions to the ascending union of matrix subalgebras, the bound carries over verbatim to the limit and does not depend on the choice of approximating sequence. We will revise the proof of the main theorem to state the amplification bound explicitly as the constant from Theorem 3.1. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; finite-dimensional result established independently before application.

full rationale

The manuscript states that it establishes the dimension-free matrix stability theorem directly as its key finite-dimensional ingredient and then applies the result to obtain the Ulam stability statement for the hyperfinite II₁-factor via approximation by matrix subalgebras and passage to the inductive limit. No self-definitional reductions, fitted parameters renamed as predictions, or load-bearing self-citations appear in the derivation chain. The central claim therefore remains self-contained against external benchmarks.

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

The central claim rests on the standard framework of von Neumann algebras and II₁-factors with no free parameters, no invented entities, and only background mathematical axioms.

assumptions (1)
  • standard math Standard properties of II₁-factors, the hyperfinite factor as inductive limit of matrix algebras, and the trace norm on the operator-norm unit ball
    The result is stated in the language of these established objects and norms from operator algebra theory.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The hyperfinite II$_1$-factor is Ulam stable." pith.science (2026). https://pith.science/paper/KN6WQVSL

@misc{pith2026260607369,
  author       = {Pith},
  title        = {Pith review of: The hyperfinite II$_1$-factor is Ulam stable},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KN6WQVSL}},
  note         = {Machine review of arXiv:2606.07369}
}
abstract

We prove Ulam stability of the hyperfinite II$_1$-factor with respect to the trace norm on the operator-norm unit ball. More precisely, every sufficiently additive, multiplicative, unital, $*$-preserving map from the hyperfinite II$_1$-factor-factor into a II$_1$-factor-factor von Neumann algebra is uniformly close, after passing to a small amplification of the target, to a genuine unital $*$-homomorphism. As a key finite-dimensional ingredient, we establish a dimension-free stability theorem for matrix algebras in the same trace-norm setting. As an application, we show that the hyperfinite II$_1$-factor is isolated among II$_1$-factors with respect to sufficiently accurate approximate $*$-isomorphisms.

Discussion (0). Continue with ORCID 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. Trace-norm rigidity for reduced products of unitary groups and matrix algebras

    math.OA 2026-07 conditional novelty 7.0 of 10

    Under OCA+MA, isomorphisms of tracial reduced products of unitary groups or matrix algebras reduce to almost permutations of coordinates plus coordinatewise automorphisms, with asymptotic dimension matching.

Reference graph

Works this paper leans on

31 extracted references · 2 canonical work pages · cited by 1 Pith paper

  1. [1]

    Ulam stability for classes of nuclear C*-algebras

    V. Alekseev, I. Farah, and A. Thom,Ulam stability for classes of nuclear C*-algebras(2026), available at2606.03757.↑2

    work page Pith review arXiv 2026

  2. [2]

    Burger, N

    M. Burger, N. Ozawa, and A. Thom,On Ulam stability, Israel J. Math.193(2013), 109–129. ↑2

    2013

  3. [3]

    Christensen,Near inclusions ofC∗-algebras, Acta Math.144(1980), no

    E. Christensen,Near inclusions ofC∗-algebras, Acta Math.144(1980), no. 3-4, 249–265.↑2

    1980

  4. [4]

    Christensen, A

    E. Christensen, A. M. Sinclair, R. R. Smith, S. White, and W. Winter,Perturbations of nuclearC∗-algebras, Acta Math.208(2012), no. 1, 93–150.↑2

    2012

  5. [5]

    Connes,Classification of injective factors

    A. Connes,Classification of injective factors. CasesII1, II∞, IIIλ, λ̸= 1, Ann. of Math. 104(1976), no. 1, 73–115.↑29

    1976

  6. [6]

    De Bondt and A

    B. De Bondt and A. Vignati,A metric lifting theorem, Comptes Rendus Mathématique363 (2025), 415–424.↑2

    2025

  7. [7]

    De Bondt and A

    B. De Bondt and A. Thom,On automorphism groups of metric reduced products of symmetric groups(2024), available at2412.10802.↑2

    work page arXiv 2024

  8. [8]

    ,Trace-norm rigidity for reduced products of unitary groups and matrix algebras,

Show all 31 references
  1. [9]

    de Chiffre, N

    M. de Chiffre, N. Ozawa, and A. Thom,Operator algebraic approach to inverse and stability theorems for amenable groups, Mathematika65(2019), no. 1, 98–118.↑2, 3, 10, 12, 27

    2019

  2. [10]

    Dixmier, C∗-algebras, North-Holland Mathematical Library, vol

    J. Dixmier, C∗-algebras, North-Holland Mathematical Library, vol. 15, North-Holland Publishing Co., Amsterdam–New York–Oxford, 1977.↑11

    1977

  3. [11]

    G. A. Elliott and D. E. Handelman,Extending traces to factorial traces, Math. Scand.49 (1981), 95–98.↑4

    1981

  4. [12]

    Farah,Combinatorial set theory of C*-algebras, Springer Monographs in Mathematics, Springer, Cham, 2019.↑2, 13

    I. Farah,Combinatorial set theory of C*-algebras, Springer Monographs in Mathematics, Springer, Cham, 2019.↑2, 13

    2019

  5. [13]

    Farah, S

    I. Farah, S. Ghasemi, A. Vaccaro, and A. Vignati,Corona rigidity, Bull. Symb. Log.31 (2025), no. 2, 195–287.↑2

    2025

  6. [14]

    H. D. Fegan,The heat equation on a compact Lie group, Trans. Amer. Math. Soc.246 (1978), 339–357.↑19

    1978

  7. [15]

    W. T. Gowers and O. Hatami,Inverse and stability theorems for approximate representations of finite groups, Sbornik: Mathematics208(2017), no. 12, 1784–1817.↑1, 2, 10

    2017

  8. [16]

    Hadwin and T

    D. Hadwin and T. Shulman,Tracial stability forC∗-algebras, Integral Equations Operator Theory90(2018), no. 1, Art. 1.↑3

    2018

  9. [17]

    ,Stability under small Hilbert–Schmidt perturbations forC∗-algebras, Funct. Anal. Appl.52(2018), no. 3, 236–240.↑3

    2018

  10. [18]

    Hirshberg, E

    I. Hirshberg, E. Kirchberg, and S. White,Decomposable approximations of nuclearC∗- algebras, Adv. Math.230(2012), no. 3, 1029–1039.↑2

    2012

  11. [19]

    B. E. Johnson,Approximately multiplicative maps between Banach algebras, J. London Math. Soc.37(1988), no. 2, 294–316.↑2

    1988

  12. [20]

    London Math

    ,Near inclusions for subhomogeneous C∗-algebras, Proc. London Math. Soc.68 (1994), no. 2, 399–422.↑2

    1994

  13. [21]

    Jung,Amenability, tubularity, and embeddings intoRω, Math

    K. Jung,Amenability, tubularity, and embeddings intoRω, Math. Ann.338(2007), 241–248. ↑3

    2007

  14. [22]

    Kazhdan,Onε-representations, Israel J

    D. Kazhdan,Onε-representations, Israel J. Math.43(1982), 315–323.↑2

    1982

  15. [23]

    A. W. Knapp,Lie Groups Beyond an Introduction, Second, Progress in Mathematics, vol. 140, Birkhäuser, Boston, 2002.↑17

    2002

  16. [24]

    McKenney and A

    P. McKenney and A. Vignati,Ulam stability for some classes ofC∗-algebras, Proceedings of the Royal Society of Edinburgh: Section A Mathematics149(2019), no. 1, 45–59.↑2

    2019

  17. [25]

    B. J. Pettis,On continuity and openness of homomorphisms in topological groups, Annals of Mathematics52(1950), no. 2, 293–308.↑10, 11

    1950

  18. [26]

    Phillips and I

    J. Phillips and I. Raeburn,Perturbations of AF-algebras, Canad. J. Math.31(1979), no. 5, 1012–1016.↑2

    1979

  19. [27]

    Pimsner and S

    M. Pimsner and S. Popa,Entropy and index for subfactors, Ann. Sci. École Norm. Sup.19 (1986), no. 1, 57–106.↑29

    1986

  20. [28]

    Popa,Classification of amenable subfactors of typeII, Acta Math.172(1994), 163–255

    S. Popa,Classification of amenable subfactors of typeII, Acta Math.172(1994), 163–255. ↑29 32 V ADIM ALEKSEEV AND ANDREAS THOM

    1994

  21. [29]

    ,Asymptotic orthogonalization of subalgebras inII1 factors, Publ. Res. Inst. Math. Sci.55(2019), 795–809.↑28

    2019

  22. [30]

    Takesaki,Theory of operator algebras

    M. Takesaki,Theory of operator algebras. I, Encyclopaedia of Mathematical Sciences, vol. 124, Springer-Verlag, Berlin, 2002. Reprint of the first (1979) edition; Operator Algebras and Non-commutative Geometry, 5.↑13

    2002

  23. [31]

    S. M. Ulam,A Collection of Mathematical Problems, Interscience Tracts in Pure and Applied Mathematics, vol. 8, Interscience Publishers, New York–London, 1960.↑1 V adim Alekseev, TU Dresden, 01062 Dresden, Germany Email address:vadim.alekseev@tu-dresden.de Andreas Thom, TU Dres...

    1960

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.